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.r049-oct2-155234405700839.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 lola
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 r049-oct2-155234405700839
=====================================================================

--------------------
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 1552490177189

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ DatabaseWithMutex-PT-40 @ 3570 seconds

FORMULA DatabaseWithMutex-PT-40-UpperBounds-02 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-05 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-00 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-06 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-01 1560 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-07 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-04 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DatabaseWithMutex-PT-40-UpperBounds-03 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 1476
rslt: Output for UpperBounds @ DatabaseWithMutex-PT-40

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Mar 13 15:16:17 2019
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": -1,
"cont": 1,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "MAX(all_passive_10 + all_passive_11 + all_passive_12 + all_passive_13 + all_passive_14 + all_passive_15 + all_passive_16 + all_passive_17 + all_passive_18 + all_passive_19 + all_passive_20 + all_passive_21 + all_passive_22 + all_passive_23 + all_passive_24 + all_passive_25 + all_passive_26 + all_passive_27 + all_passive_28 + all_passive_29 + all_passive_30 + all_passive_31 + all_passive_32 + all_passive_33 + all_passive_34 + all_passive_35 + all_passive_36 + all_passive_37 + all_passive_38 + all_passive_39 + all_passive_40 + all_passive_1 + all_passive_2 + all_passive_3 + all_passive_4 + all_passive_5 + all_passive_6 + all_passive_7 + all_passive_8 + all_passive_9)",
"processed_size": 673,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 40
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 236
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": -1,
"cont": 1,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "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_9 + all_active_5 + all_active_1 + all_active_2 + all_active_3 + all_active_4 + all_active_6 + all_active_7 + all_active_8)",
"processed_size": 633,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 40
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 251
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(WaitMutex_38_32)",
"processed_size": 20,
"rewrites": 0
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 270
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(MesBuffReply_18_20)",
"processed_size": 23,
"rewrites": 0
},
"result":
{
"edges": 6,
"markings": 7,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 292
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(Acknowledge_34_19)",
"processed_size": 22,
"rewrites": 0
},
"result":
{
"edges": 7,
"markings": 8,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 318
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(Acknowledge_12_39)",
"processed_size": 22,
"rewrites": 0
},
"result":
{
"edges": 7,
"markings": 8,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 349
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(Message_13_35)",
"processed_size": 18,
"rewrites": 0
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 387
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(Acknowledge_11_14)",
"processed_size": 22,
"rewrites": 0
},
"result":
{
"edges": 7,
"markings": 8,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 434
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(Acknowledge_13_4)",
"processed_size": 21,
"rewrites": 0
},
"result":
{
"edges": 7,
"markings": 8,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 495
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(Acknowledge_10_10)",
"processed_size": 22,
"rewrites": 0
},
"result":
{
"edges": 7,
"markings": 8,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 576
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 40,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 40,
"visible_transitions": 0
},
"processed": "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_9 + all_active_5 + all_active_1 + all_active_2 + all_active_3 + all_active_4 + all_active_6 + all_active_7 + all_active_8)",
"processed_size": 633,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 40
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 688
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 40,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 40,
"visible_transitions": 0
},
"processed": "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_9 + all_active_5 + all_active_1 + all_active_2 + all_active_3 + all_active_4 + all_active_6 + all_active_7 + all_active_8)",
"processed_size": 633,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 40
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 847
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1600,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1600,
"visible_transitions": 0
},
"processed": "MAX(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_23_10 + RecBuff_23_11 + RecBuff_23_12 + RecBuff_23_13 + RecBuff_23_14 + RecBuff_23_15 + RecBuff_23_16 + RecBuff_23_17 + RecBuff_23_18 + RecBuff_23_19 + 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_23_31 + RecBuff_23_32 + RecBuff_23_33 + RecBuff_23_34 + RecBuff_23_35 + RecBuff_23_36 + RecBuff_23_37 + RecBuff_23_38 + RecBuff_23_39 + RecBuff_23_40 + 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_10_32 + RecBuff_10_33 + RecBuff_10_34 + RecBuff_10_35 + RecBuff_10_36 + RecBuff_10_37 + RecBuff_10_38 + RecBuff_10_39 + RecBuff_10_40 + RecBuff_35_10 + RecBuff_35_11 + RecBuff_35_12 + RecBuff_35_13 + RecBuff_35_14 + RecBuff_35_15 + RecBuff_35_16 + RecBuff_35_17 + RecBuff_35_18 + RecBuff_35_19 + 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_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_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_22_10 + RecBuff_22_11 + RecBuff_22_12 + RecBuff_22_13 + RecBuff_22_14 + RecBuff_22_15 + RecBuff_22_16 + RecBuff_22_17 + RecBuff_22_18 + RecBuff_22_19 + 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_22_32 + RecBuff_22_33 + RecBuff_22_34 + RecBuff_22_35 + RecBuff_22_36 + RecBuff_22_37 + RecBuff_22_38 + RecBuff_22_39 + RecBuff_22_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_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_34_10 + RecBuff_34_11 + RecBuff_34_12 + RecBuff_34_13 + RecBuff_34_14 + RecBuff_34_15 + RecBuff_34_16 + RecBuff_34_17 + RecBuff_34_18 + RecBuff_34_19 + 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_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_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_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_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_21_32 + RecBuff_21_33 + RecBuff_21_34 + RecBuff_21_35 + RecBuff_21_36 + RecBuff_21_37 + RecBuff_21_38 + RecBuff_21_39 + RecBuff_21_40 + RecBuff_19_10 + RecBuff_19_11 + RecBuff_19_12 + RecBuff_19_13 + RecBuff_19_14 + RecBuff_19_15 + RecBuff_19_16 + RecBuff_19_17 + RecBuff_19_18 + RecBuff_19_19 + 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 + 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_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_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_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_33_10 + RecBuff_33_11 + RecBuff_33_12 + RecBuff_33_13 + RecBuff_33_14 + RecBuff_33_15 + RecBuff_33_16 + RecBuff_33_17 + RecBuff_33_18 + RecBuff_33_19 + 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_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_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_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_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_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_20_31 + RecBuff_20_32 + RecBuff_20_33 + RecBuff_20_34 + RecBuff_20_35 + RecBuff_20_36 + RecBuff_20_37 + RecBuff_20_38 + RecBuff_20_39 + RecBuff_20_40 + 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_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_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_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_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_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_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_1_1 + RecBuff_1_2 + RecBuff_1_3 + RecBuff_1_4 + RecBuff_1_5 + RecBuff_1_6 + RecBuff_1_7 + RecBuff_1_8 + RecBuff_1_9 + RecBuff_32_10 + RecBuff_32_11 + RecBuff_32_12 + RecBuff_32_13 + RecBuff_32_14 + RecBuff_32_15 + RecBuff_32_16 + RecBuff_32_17 + RecBuff_32_18 + RecBuff_32_19 + 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_32_40 + 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_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_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_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_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_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_17_31 + RecBuff_17_32 + RecBuff_17_33 + RecBuff_17_34 + RecBuff_17_35 + RecBuff_17_36 + RecBuff_17_37 + RecBuff_17_38 + RecBuff_17_39 + RecBuff_17_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_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_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_15_1 + RecBuff_15_2 + RecBuff_15_3 + RecBuff_15_4 + RecBuff_15_5 + RecBuff_15_6 + RecBuff_15_7 + RecBuff_15_8 + RecBuff_15_9 + 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_28_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_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_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_29_10 + RecBuff_29_11 + RecBuff_29_12 + RecBuff_29_13 + RecBuff_29_14 + RecBuff_29_15 + RecBuff_29_16 + RecBuff_29_17 + RecBuff_29_18 + RecBuff_29_19 + 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_16_1 + RecBuff_16_2 + RecBuff_16_3 + RecBuff_16_4 + RecBuff_16_5 + RecBuff_16_6 + RecBuff_16_7 + RecBuff_16_8 + RecBuff_16_9 + RecBuff_29_1 + RecBuff_29_2 + RecBuff_29_3 + RecBuff_29_4 + RecBuff_29_5 + RecBuff_29_6 + RecBuff_29_7 + RecBuff_29_8 + RecBuff_29_9 + 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_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_16_32 + RecBuff_16_33 + RecBuff_16_34 + RecBuff_16_35 + RecBuff_16_36 + RecBuff_16_37 + RecBuff_16_38 + RecBuff_16_39 + RecBuff_16_40 + RecBuff_17_1 + RecBuff_17_2 + RecBuff_17_3 + RecBuff_17_4 + RecBuff_17_5 + RecBuff_17_6 + RecBuff_17_7 + RecBuff_17_8 + RecBuff_17_9 + 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_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_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_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_3_10 + RecBuff_3_11 + RecBuff_3_12 + RecBuff_3_13 + RecBuff_3_14 + RecBuff_3_15 + RecBuff_3_16 + RecBuff_3_17 + RecBuff_3_18 + RecBuff_3_19 + RecBuff_3_20 + RecBuff_3_21 + RecBuff_3_22 + RecBuff_3_23 + RecBuff_3_24 + RecBuff_3_25 + RecBuff_3_26 + RecBuff_3_27 + RecBuff_3_28 + RecBuff_3_29 + RecBuff_3_30 + RecBuff_3_31 + RecBuff_3_32 + RecBuff_3_33 + RecBuff_3_34 + RecBuff_3_35 + RecBuff_3_36 + RecBuff_3_37 + RecBuff_3_38 + RecBuff_3_39 + RecBuff_3_40 + RecBuff_28_10 + RecBuff_28_11 + RecBuff_28_12 + RecBuff_28_13 + RecBuff_28_14 + RecBuff_28_15 + RecBuff_28_16 + RecBuff_28_17 + RecBuff_28_18 + RecBuff_28_19 + 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_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_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_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_15_31 + RecBuff_15_32 + RecBuff_15_33 + RecBuff_15_34 + RecBuff_15_35 + RecBuff_15_36 + RecBuff_15_37 + RecBuff_15_38 + RecBuff_15_39 + RecBuff_15_40 + 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_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_27_10 + RecBuff_27_11 + RecBuff_27_12 + RecBuff_27_13 + RecBuff_27_14 + RecBuff_27_15 + RecBuff_27_16 + RecBuff_27_17 + RecBuff_27_18 + RecBuff_27_19 + 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_27_31 + RecBuff_27_32 + RecBuff_27_33 + RecBuff_27_34 + RecBuff_27_35 + RecBuff_27_36 + RecBuff_27_37 + RecBuff_27_38 + RecBuff_27_39 + RecBuff_27_40 + RecBuff_14_10 + RecBuff_14_11 + RecBuff_14_12 + RecBuff_14_13 + RecBuff_14_14 + RecBuff_14_15 + RecBuff_14_16 + RecBuff_14_17 + RecBuff_14_18 + RecBuff_14_19 + RecBuff_14_20 + RecBuff_14_21 + RecBuff_14_22 + RecBuff_14_23 + RecBuff_14_24 + RecBuff_14_25 + RecBuff_14_26 + RecBuff_14_27 + RecBuff_14_28 + RecBuff_14_29 + RecBuff_14_30 + RecBuff_14_31 + RecBuff_14_32 + RecBuff_14_33 + RecBuff_14_34 + RecBuff_14_35 + RecBuff_14_36 + RecBuff_14_37 + RecBuff_14_38 + RecBuff_14_39 + RecBuff_14_40 + RecBuff_39_10 + RecBuff_39_11 + RecBuff_39_12 + RecBuff_39_13 + RecBuff_39_14 + RecBuff_39_15 + RecBuff_39_16 + RecBuff_39_17 + RecBuff_39_18 + RecBuff_39_19 + 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_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_26_10 + RecBuff_26_11 + RecBuff_26_12 + RecBuff_26_13 + RecBuff_26_14 + RecBuff_26_15 + RecBuff_26_16 + RecBuff_26_17 + RecBuff_26_18 + RecBuff_26_19 + RecBuff_26_20 + RecBuff_26_21 + RecBuff_26_22 + RecBuff_26_23 + RecBuff_26_24 + RecBuff_26_25 + RecBuff_26_26 + RecBuff_26_27 + RecBuff_26_28 + RecBuff_26_29 + RecBuff_26_30 + RecBuff_26_31 + RecBuff_26_32 + RecBuff_26_33 + RecBuff_26_34 + RecBuff_26_35 + RecBuff_26_36 + RecBuff_26_37 + RecBuff_26_38 + RecBuff_26_39 + RecBuff_26_40 + RecBuff_12_23 + RecBuff_12_24 + RecBuff_12_25 + RecBuff_12_26 + RecBuff_12_27 + RecBuff_12_28 + RecBuff_12_29 + RecBuff_12_22 + RecBuff_12_30 + RecBuff_12_31 + RecBuff_12_32 + RecBuff_12_33 + RecBuff_12_34 + RecBuff_12_35 + RecBuff_12_36 + RecBuff_12_37 + RecBuff_12_38 + RecBuff_12_39 + RecBuff_12_40 + RecBuff_12_21 + RecBuff_12_20 + RecBuff_12_19 + RecBuff_12_18 + RecBuff_12_17 + RecBuff_12_16 + RecBuff_12_15 + RecBuff_12_14 + RecBuff_12_13 + RecBuff_12_12 + RecBuff_12_11 + RecBuff_12_10 + RecBuff_25_40 + RecBuff_25_39 + RecBuff_25_38 + RecBuff_25_37 + RecBuff_25_36 + RecBuff_25_35 + RecBuff_25_34 + RecBuff_25_33 + RecBuff_25_32 + RecBuff_25_31 + RecBuff_25_30 + RecBuff_25_29 + RecBuff_25_28 + RecBuff_25_27 + RecBuff_25_26 + RecBuff_25_25 + RecBuff_25_24 + RecBuff_25_23 + RecBuff_25_22 + RecBuff_25_21 + RecBuff_25_20 + RecBuff_25_19 + RecBuff_25_18 + RecBuff_25_17 + RecBuff_25_16 + RecBuff_25_15 + RecBuff_25_14 + RecBuff_25_13 + RecBuff_25_12 + RecBuff_25_11 + RecBuff_25_10 + RecBuff_38_40 + 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_38_25 + RecBuff_38_24 + RecBuff_38_23 + RecBuff_38_22 + RecBuff_38_21 + RecBuff_38_20 + RecBuff_38_19 + RecBuff_38_18 + RecBuff_38_17 + RecBuff_38_16 + RecBuff_38_15 + RecBuff_38_14 + RecBuff_38_13 + RecBuff_38_12 + RecBuff_38_11 + RecBuff_38_10 + RecBuff_37_10 + RecBuff_37_11 + RecBuff_37_12 + RecBuff_37_13 + RecBuff_37_14 + RecBuff_37_15 + RecBuff_37_16 + RecBuff_37_17 + RecBuff_37_18 + RecBuff_37_19 + RecBuff_40_40 + RecBuff_40_39 + RecBuff_40_38 + RecBuff_40_37 + 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_40_36 + RecBuff_40_35 + RecBuff_40_34 + RecBuff_40_33 + RecBuff_40_32 + RecBuff_40_31 + RecBuff_40_30 + RecBuff_40_29 + RecBuff_40_28 + RecBuff_40_27 + RecBuff_40_26 + RecBuff_40_25 + RecBuff_40_24 + RecBuff_40_23 + RecBuff_40_22 + RecBuff_40_21 + RecBuff_40_20 + RecBuff_40_19 + RecBuff_40_18 + RecBuff_40_17 + RecBuff_40_16 + RecBuff_40_15 + RecBuff_40_14 + RecBuff_40_13 + RecBuff_40_12 + RecBuff_40_11 + RecBuff_40_10 + RecBuff_13_40 + RecBuff_13_39 + RecBuff_13_38 + RecBuff_13_37 + RecBuff_13_36 + RecBuff_13_35 + RecBuff_13_34 + RecBuff_13_33 + RecBuff_13_32 + RecBuff_13_31 + RecBuff_13_30 + RecBuff_13_29 + RecBuff_13_28 + RecBuff_13_27 + RecBuff_13_26 + RecBuff_13_25 + RecBuff_13_24 + RecBuff_13_23 + RecBuff_13_22 + RecBuff_13_21 + RecBuff_13_20 + RecBuff_13_19 + RecBuff_13_18 + RecBuff_13_17 + RecBuff_13_16 + RecBuff_13_15 + RecBuff_13_14 + RecBuff_13_13 + RecBuff_13_12 + RecBuff_13_11 + RecBuff_13_10 + RecBuff_24_10 + RecBuff_24_11 + RecBuff_24_12 + RecBuff_24_13 + RecBuff_24_14 + RecBuff_24_15 + RecBuff_24_16 + RecBuff_24_17 + RecBuff_24_18 + RecBuff_24_19 + 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_24_31 + RecBuff_24_32 + RecBuff_24_33 + RecBuff_24_34 + RecBuff_24_35 + RecBuff_24_36 + RecBuff_24_37 + RecBuff_24_38 + RecBuff_24_39 + RecBuff_24_40 + 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_11_31 + RecBuff_11_32 + RecBuff_11_33 + RecBuff_11_34 + RecBuff_11_35 + RecBuff_11_36 + RecBuff_11_37 + RecBuff_11_38 + RecBuff_11_39 + RecBuff_11_40 + RecBuff_36_10 + RecBuff_36_11 + RecBuff_36_12 + RecBuff_36_13 + RecBuff_36_14 + RecBuff_36_15 + RecBuff_36_16 + RecBuff_36_17 + RecBuff_36_18 + RecBuff_36_19 + 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_9_10 + RecBuff_9_11 + RecBuff_9_12 + RecBuff_9_13 + RecBuff_9_14 + RecBuff_9_15 + RecBuff_9_16 + RecBuff_9_17 + RecBuff_9_18 + RecBuff_9_19 + RecBuff_9_20 + RecBuff_9_21 + RecBuff_9_22 + RecBuff_9_23 + RecBuff_9_24 + RecBuff_9_25 + RecBuff_9_26 + RecBuff_9_27 + RecBuff_9_28 + RecBuff_9_29 + RecBuff_9_30 + RecBuff_9_31 + RecBuff_9_32 + RecBuff_9_33 + RecBuff_9_34 + RecBuff_9_35 + RecBuff_9_36 + RecBuff_9_37 + RecBuff_9_38 + RecBuff_9_39 + RecBuff_9_40)",
"processed_size": 24882,
"rewrites": 0
},
"result":
{
"edges": 8659,
"markings": 8561,
"produced_by": "search",
"value": 1560
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 610284,
"runtime": 2070.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 156800,
"conflict_clusters": 6560,
"places": 12920,
"places_significant": 11200,
"singleton_clusters": 0,
"transitions": 12800
},
"result":
{
"preliminary_value": "40 1560 40 unknown unknown 40 40 1 1 1 1 1 1 1 1 ",
"value": "40 1560 40 unknown unknown 40 40 1 1 1 1 1 1 1 1 "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 25720/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 413440
lola: finding significant places
lola: 12920 places, 12800 transitions, 11200 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
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_9 + all_active_5 + all_active_1 + all_active_2 + all_active_3 + all_active_4 + all_active_6 + all_active_7 + all_active_8) : MAX(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_23_10 + RecBuff_23_11 + RecBuff_23_12 + RecBuff_23_13 + RecBuff_23_14 + RecBuff_23_15 + RecBuff_23_16 + RecBuff_23_17 + RecBuff_23_18 + RecBuff_23_19 + 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_23_31 + RecBuff_23_32 + RecBuff_23_33 + RecBuff_23_34 + RecBuff_23_35 + RecBuff_23_36 + RecBuff_23_37 + RecBuff_23_38 + RecBuff_23_39 + RecBuff_23_40 + 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_10_32 + RecBuff_10_33 + RecBuff_10_34 + RecBuff_10_35 + RecBuff_10_36 + RecBuff_10_37 + RecBuff_10_38 + RecBuff_10_39 + RecBuff_10_40 + RecBuff_35_10 + RecBuff_35_11 + RecBuff_35_12 + RecBuff_35_13 + RecBuff_35_14 + RecBuff_35_15 + RecBuff_35_16 + RecBuff_35_17 + RecBuff_35_18 + RecBuff_35_19 + 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_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_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_22_10 + RecBuff_22_11 + RecBuff_22_12 + RecBuff_22_13 + RecBuff_22_14 + RecBuff_22_15 + RecBuff_22_16 + RecBuff_22_17 + RecBuff_22_18 + RecBuff_22_19 + 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_22_32 + RecBuff_22_33 + RecBuff_22_34 + RecBuff_22_35 + RecBuff_22_36 + RecBuff_22_37 + RecBuff_22_38 + RecBuff_22_39 + RecBuff_22_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_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_34_10 + RecBuff_34_11 + RecBuff_34_12 + RecBuff_34_13 + RecBuff_34_14 + RecBuff_34_15 + RecBuff_34_16 + RecBuff_34_17 + RecBuff_34_18 + RecBuff_34_19 + 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_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_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_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_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_21_32 + RecBuff_21_33 + RecBuff_21_34 + RecBuff_21_35 + RecBuff_21_36 + RecBuff_21_37 + RecBuff_21_38 + RecBuff_21_39 + RecBuff_21_40 + RecBuff_19_10 + RecBuff_19_11 + RecBuff_19_12 + RecBuff_19_13 + RecBuff_19_14 + RecBuff_19_15 + RecBuff_19_16 + RecBuff_19_17 + RecBuff_19_18 + RecBuff_19_19 + 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 + 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_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_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_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_33_10 + RecBuff_33_11 + RecBuff_33_12 + RecBuff_33_13 + RecBuff_33_14 + RecBuff_33_15 + RecBuff_33_16 + RecBuff_33_17 + RecBuff_33_18 + RecBuff_33_19 + 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_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_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_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_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_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_20_31 + RecBuff_20_32 + RecBuff_20_33 + RecBuff_20_34 + RecBuff_20_35 + RecBuff_20_36 + RecBuff_20_37 + RecBuff_20_38 + RecBuff_20_39 + RecBuff_20_40 + 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_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_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_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_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_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_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_1_1 + RecBuff_1_2 + RecBuff_1_3 + RecBuff_1_4 + RecBuff_1_5 + RecBuff_1_6 + RecBuff_1_7 + RecBuff_1_8 + RecBuff_1_9 + RecBuff_32_10 + RecBuff_32_11 + RecBuff_32_12 + RecBuff_32_13 + RecBuff_32_14 + RecBuff_32_15 + RecBuff_32_16 + RecBuff_32_17 + RecBuff_32_18 + RecBuff_32_19 + 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_32_40 + 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_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_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_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_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_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_17_31 + RecBuff_17_32 + RecBuff_17_33 + RecBuff_17_34 + RecBuff_17_35 + RecBuff_17_36 + RecBuff_17_37 + RecBuff_17_38 + RecBuff_17_39 + RecBuff_17_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_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_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_15_1 + RecBuff_15_2 + RecBuff_15_3 + RecBuff_15_4 + RecBuff_15_5 + RecBuff_15_6 + RecBuff_15_7 + RecBuff_15_8 + RecBuff_15_9 + 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_28_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_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_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_29_10 + RecBuff_29_11 + RecBuff_29_12 + RecBuff_29_13 + RecBuff_29_14 + RecBuff_29_15 + RecBuff_29_16 + RecBuff_29_17 + RecBuff_29_18 + RecBuff_29_19 + 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_16_1 + RecBuff_16_2 + RecBuff_16_3 + RecBuff_16_4 + RecBuff_16_5 + RecBuff_16_6 + RecBuff_16_7 + RecBuff_16_8 + RecBuff_16_9 + RecBuff_29_1 + RecBuff_29_2 + RecBuff_29_3 + RecBuff_29_4 + RecBuff_29_5 + RecBuff_29_6 + RecBuff_29_7 + RecBuff_29_8 + RecBuff_29_9 + 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_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_16_32 + RecBuff_16_33 + RecBuff_16_34 + RecBuff_16_35 + RecBuff_16_36 + RecBuff_16_37 + RecBuff_16_38 + RecBuff_16_39 + RecBuff_16_40 + RecBuff_17_1 + RecBuff_17_2 + RecBuff_17_3 + RecBuff_17_4 + RecBuff_17_5 + RecBuff_17_6 + RecBuff_17_7 + RecBuff_17_8 + RecBuff_17_9 + 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_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_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_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_3_10 + RecBuff_3_11 + RecBuff_3_12 + RecBuff_3_13 + RecBuff_3_14 + RecBuff_3_15 + RecBuff_3_16 + RecBuff_3_17 + RecBuff_3_18 + RecBuff_3_19 + RecBuff_3_20 + RecBuff_3_21 + RecBuff_3_22 + RecBuff_3_23 + RecBuff_3_24 + RecBuff_3_25 + RecBuff_3_26 + RecBuff_3_27 + RecBuff_3_28 + RecBuff_3_29 + RecBuff_3_30 + RecBuff_3_31 + RecBuff_3_32 + RecBuff_3_33 + RecBuff_3_34 + RecBuff_3_35 + RecBuff_3_36 + RecBuff_3_37 + RecBuff_3_38 + RecBuff_3_39 + RecBuff_3_40 + RecBuff_28_10 + RecBuff_28_11 + RecBuff_28_12 + RecBuff_28_13 + RecBuff_28_14 + RecBuff_28_15 + RecBuff_28_16 + RecBuff_28_17 + RecBuff_28_18 + RecBuff_28_19 + 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_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_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_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_15_31 + RecBuff_15_32 + RecBuff_15_33 + RecBuff_15_34 + RecBuff_15_35 + RecBuff_15_36 + RecBuff_15_37 + RecBuff_15_38 + RecBuff_15_39 + RecBuff_15_40 + 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_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_27_10 + RecBuff_27_11 + RecBuff_27_12 + RecBuff_27_13 + RecBuff_27_14 + RecBuff_27_15 + RecBuff_27_16 + RecBuff_27_17 + RecBuff_27_18 + RecBuff_27_19 + 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_27_31 + RecBuff_27_32 + RecBuff_27_33 + RecBuff_27_34 + RecBuff_27_35 + RecBuff_27_36 + RecBuff_27_37 + RecBuff_27_38 + RecBuff_27_39 + RecBuff_27_40 + RecBuff_14_10 + RecBuff_14_11 + RecBuff_14_12 + RecBuff_14_13 + RecBuff_14_14 + RecBuff_14_15 + RecBuff_14_16 + RecBuff_14_17 + RecBuff_14_18 + RecBuff_14_19 + RecBuff_14_20 + RecBuff_14_21 + RecBuff_14_22 + RecBuff_14_23 + RecBuff_14_24 + RecBuff_14_25 + RecBuff_14_26 + RecBuff_14_27 + RecBuff_14_28 + RecBuff_14_29 + RecBuff_14_30 + RecBuff_14_31 + RecBuff_14_32 + RecBuff_14_33 + RecBuff_14_34 + RecBuff_14_35 + RecBuff_14_36 + RecBuff_14_37 + RecBuff_14_38 + RecBuff_14_39 + RecBuff_14_40 + RecBuff_39_10 + RecBuff_39_11 + RecBuff_39_12 + RecBuff_39_13 + RecBuff_39_14 + RecBuff_39_15 + RecBuff_39_16 + RecBuff_39_17 + RecBuff_39_18 + RecBuff_39_19 + 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_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_26_10 + RecBuff_26_11 + RecBuff_26_12 + RecBuff_26_13 + RecBuff_26_14 + RecBuff_26_15 + RecBuff_26_16 + RecBuff_26_17 + RecBuff_26_18 + RecBuff_26_19 + RecBuff_26_20 + RecBuff_26_21 + RecBuff_26_22 + RecBuff_26_23 + RecBuff_26_24 + RecBuff_26_25 + RecBuff_26_26 + RecBuff_26_27 + RecBuff_26_28 + RecBuff_26_29 + RecBuff_26_30 + RecBuff_26_31 + RecBuff_26_32 + RecBuff_26_33 + RecBuff_26_34 + RecBuff_26_35 + RecBuff_26_36 + RecBuff_26_37 + RecBuff_26_38 + RecBuff_26_39 + RecBuff_26_40 + RecBuff_12_23 + RecBuff_12_24 + RecBuff_12_25 + RecBuff_12_26 + RecBuff_12_27 + RecBuff_12_28 + RecBuff_12_29 + RecBuff_12_22 + RecBuff_12_30 + RecBuff_12_31 + RecBuff_12_32 + RecBuff_12_33 + RecBuff_12_34 + RecBuff_12_35 + RecBuff_12_36 + RecBuff_12_37 + RecBuff_12_38 + RecBuff_12_39 + RecBuff_12_40 + RecBuff_12_21 + RecBuff_12_20 + RecBuff_12_19 + RecBuff_12_18 + RecBuff_12_17 + RecBuff_12_16 + RecBuff_12_15 + RecBuff_12_14 + RecBuff_12_13 + RecBuff_12_12 + RecBuff_12_11 + RecBuff_12_10 + RecBuff_25_40 + RecBuff_25_39 + RecBuff_25_38 + RecBuff_25_37 + RecBuff_25_36 + RecBuff_25_35 + RecBuff_25_34 + RecBuff_25_33 + RecBuff_25_32 + RecBuff_25_31 + RecBuff_25_30 + RecBuff_25_29 + RecBuff_25_28 + RecBuff_25_27 + RecBuff_25_26 + RecBuff_25_25 + RecBuff_25_24 + RecBuff_25_23 + RecBuff_25_22 + RecBuff_25_21 + RecBuff_25_20 + RecBuff_25_19 + RecBuff_25_18 + RecBuff_25_17 + RecBuff_25_16 + RecBuff_25_15 + RecBuff_25_14 + RecBuff_25_13 + RecBuff_25_12 + RecBuff_25_11 + RecBuff_25_10 + RecBuff_38_40 + 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_38_25 + RecBuff_38_24 + RecBuff_38_23 + RecBuff_38_22 + RecBuff_38_21 + RecBuff_38_20 + RecBuff_38_19 + RecBuff_38_18 + RecBuff_38_17 + RecBuff_38_16 + RecBuff_38_15 + RecBuff_38_14 + RecBuff_38_13 + RecBuff_38_12 + RecBuff_38_11 + RecBuff_38_10 + RecBuff_37_10 + RecBuff_37_11 + RecBuff_37_12 + RecBuff_37_13 + RecBuff_37_14 + RecBuff_37_15 + RecBuff_37_16 + RecBuff_37_17 + RecBuff_37_18 + RecBuff_37_19 + RecBuff_40_40 + RecBuff_40_39 + RecBuff_40_38 + RecBuff_40_37 + 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_40_36 + RecBuff_40_35 + RecBuff_40_34 + RecBuff_40_33 + RecBuff_40_32 + RecBuff_40_31 + RecBuff_40_30 + RecBuff_40_29 + RecBuff_40_28 + RecBuff_40_27 + RecBuff_40_26 + RecBuff_40_25 + RecBuff_40_24 + RecBuff_40_23 + RecBuff_40_22 + RecBuff_40_21 + RecBuff_40_20 + RecBuff_40_19 + RecBuff_40_18 + RecBuff_40_17 + RecBuff_40_16 + RecBuff_40_15 + RecBuff_40_14 + RecBuff_40_13 + RecBuff_40_12 + RecBuff_40_11 + RecBuff_40_10 + RecBuff_13_40 + RecBuff_13_39 + RecBuff_13_38 + RecBuff_13_37 + RecBuff_13_36 + RecBuff_13_35 + RecBuff_13_34 + RecBuff_13_33 + RecBuff_13_32 + RecBuff_13_31 + RecBuff_13_30 + RecBuff_13_29 + RecBuff_13_28 + RecBuff_13_27 + RecBuff_13_26 + RecBuff_13_25 + RecBuff_13_24 + RecBuff_13_23 + RecBuff_13_22 + RecBuff_13_21 + RecBuff_13_20 + RecBuff_13_19 + RecBuff_13_18 + RecBuff_13_17 + RecBuff_13_16 + RecBuff_13_15 + RecBuff_13_14 + RecBuff_13_13 + RecBuff_13_12 + RecBuff_13_11 + RecBuff_13_10 + RecBuff_24_10 + RecBuff_24_11 + RecBuff_24_12 + RecBuff_24_13 + RecBuff_24_14 + RecBuff_24_15 + RecBuff_24_16 + RecBuff_24_17 + RecBuff_24_18 + RecBuff_24_19 + 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_24_31 + RecBuff_24_32 + RecBuff_24_33 + RecBuff_24_34 + RecBuff_24_35 + RecBuff_24_36 + RecBuff_24_37 + RecBuff_24_38 + RecBuff_24_39 + RecBuff_24_40 + 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_11_31 + RecBuff_11_32 + RecBuff_11_33 + RecBuff_11_34 + RecBuff_11_35 + RecBuff_11_36 + RecBuff_11_37 + RecBuff_11_38 + RecBuff_11_39 + RecBuff_11_40 + RecBuff_36_10 + RecBuff_36_11 + RecBuff_36_12 + RecBuff_36_13 + RecBuff_36_14 + RecBuff_36_15 + RecBuff_36_16 + RecBuff_36_17 + RecBuff_36_18 + RecBuff_36_19 + 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_9_10 + RecBuff_9_11 + RecBuff_9_12 + RecBuff_9_13 + RecBuff_9_14 + RecBuff_9_15 + RecBuff_9_16 + RecBuff_9_17 + RecBuff_9_18 + RecBuff_9_19 + RecBuff_9_20 + RecBuff_9_21 + RecBuff_9_22 + RecBuff_9_23 + RecBuff_9_24 + RecBuff_9_25 + RecBuff_9_26 + RecBuff_9_27 + RecBuff_9_28 + RecBuff_9_29 + RecBuff_9_30 + RecBuff_9_31 + RecBuff_9_32 + RecBuff_9_33 + RecBuff_9_34 + RecBuff_9_35 + RecBuff_9_36 + RecBuff_9_37 + RecBuff_9_38 + RecBuff_9_39 + RecBuff_9_40) : MAX(all_passive_10 + all_passive_11 + all_passive_12 + all_passive_13 + all_passive_14 + all_passive_15 + all_passive_16 + all_passive_17 + all_passive_18 + all_passive_19 + all_passive_20 + all_passive_21 + all_passive_22 + all_passive_23 + all_passive_24 + all_passive_25 + all_passive_26 + all_passive_27 + all_passive_28 + all_passive_29 + all_passive_30 + all_passive_31 + all_passive_32 + all_passive_33 + all_passive_34 + all_passive_35 + all_passive_36 + all_passive_37 + all_passive_38 + all_passive_39 + all_passive_40 + all_passive_1 + all_passive_2 + all_passive_3 + all_passive_4 + all_passive_5 + all_passive_6 + all_passive_7 + all_passive_8 + all_passive_9) : MAX(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_13_31 + Acknowledge_13_32 + Acknowledge_13_33 + Acknowledge_13_34 + Acknowledge_13_35 + Acknowledge_13_36 + Acknowledge_13_37 + Acknowledge_13_38 + Acknowledge_13_39 + Acknowledge_13_40 + 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_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_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_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_38_10 + Acknowledge_38_11 + Acknowledge_38_12 + Acknowledge_38_13 + Acknowledge_38_14 + Acknowledge_38_15 + Acknowledge_38_16 + Acknowledge_38_17 + Acknowledge_38_18 + Acknowledge_38_19 + 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_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_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_25_10 + Acknowledge_25_11 + Acknowledge_25_12 + Acknowledge_25_13 + Acknowledge_25_14 + Acknowledge_25_15 + Acknowledge_25_16 + Acknowledge_25_17 + Acknowledge_25_18 + Acknowledge_25_19 + 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_25_32 + Acknowledge_25_33 + Acknowledge_25_34 + Acknowledge_25_35 + Acknowledge_25_36 + Acknowledge_25_37 + Acknowledge_25_38 + Acknowledge_25_39 + Acknowledge_25_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_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_12_31 + Acknowledge_12_32 + Acknowledge_12_33 + Acknowledge_12_34 + Acknowledge_12_35 + Acknowledge_12_36 + Acknowledge_12_37 + Acknowledge_12_38 + Acknowledge_12_39 + Acknowledge_12_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_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_37_10 + Acknowledge_37_11 + Acknowledge_37_12 + Acknowledge_37_13 + Acknowledge_37_14 + Acknowledge_37_15 + Acknowledge_37_16 + Acknowledge_37_17 + Acknowledge_37_18 + Acknowledge_37_19 + 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_19_1 + Acknowledge_19_2 + Acknowledge_19_3 + Acknowledge_19_4 + Acknowledge_19_5 + Acknowledge_19_6 + Acknowledge_19_7 + Acknowledge_19_8 + Acknowledge_19_9 + Acknowledge_24_10 + Acknowledge_24_11 + Acknowledge_24_12 + Acknowledge_24_13 + Acknowledge_24_14 + Acknowledge_24_15 + Acknowledge_24_16 + Acknowledge_24_17 + Acknowledge_24_18 + Acknowledge_24_19 + 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_24_31 + Acknowledge_24_32 + Acknowledge_24_33 + Acknowledge_24_34 + Acknowledge_24_35 + Acknowledge_24_36 + Acknowledge_24_37 + Acknowledge_24_38 + Acknowledge_24_39 + Acknowledge_24_40 + 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_11_31 + Acknowledge_11_32 + Acknowledge_11_33 + Acknowledge_11_34 + Acknowledge_11_35 + Acknowledge_11_36 + Acknowledge_11_37 + Acknowledge_11_38 + Acknowledge_11_39 + Acknowledge_11_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_36_10 + Acknowledge_36_11 + Acknowledge_36_12 + Acknowledge_36_13 + Acknowledge_36_14 + Acknowledge_36_15 + Acknowledge_36_16 + Acknowledge_36_17 + Acknowledge_36_18 + Acknowledge_36_19 + 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_23_10 + Acknowledge_23_11 + Acknowledge_23_12 + Acknowledge_23_13 + Acknowledge_23_14 + Acknowledge_23_15 + Acknowledge_23_16 + Acknowledge_23_17 + Acknowledge_23_18 + Acknowledge_23_19 + 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_23_31 + Acknowledge_23_32 + Acknowledge_23_33 + Acknowledge_23_34 + Acknowledge_23_35 + Acknowledge_23_36 + Acknowledge_23_37 + Acknowledge_23_38 + Acknowledge_23_39 + Acknowledge_23_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_10_31 + Acknowledge_10_32 + Acknowledge_10_33 + Acknowledge_10_34 + Acknowledge_10_35 + Acknowledge_10_36 + Acknowledge_10_37 + Acknowledge_10_38 + Acknowledge_10_39 + Acknowledge_10_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_35_10 + Acknowledge_35_11 + Acknowledge_35_12 + Acknowledge_35_13 + Acknowledge_35_14 + Acknowledge_35_15 + Acknowledge_35_16 + Acknowledge_35_17 + Acknowledge_35_18 + Acknowledge_35_19 + 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_22_10 + Acknowledge_22_11 + Acknowledge_22_12 + Acknowledge_22_13 + Acknowledge_22_14 + Acknowledge_22_15 + Acknowledge_22_16 + Acknowledge_22_17 + Acknowledge_22_18 + Acknowledge_22_19 + 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_22_31 + Acknowledge_22_32 + Acknowledge_22_33 + Acknowledge_22_34 + Acknowledge_22_35 + Acknowledge_22_36 + Acknowledge_22_37 + Acknowledge_22_38 + Acknowledge_22_39 + Acknowledge_22_40 + Acknowledge_34_10 + Acknowledge_34_11 + Acknowledge_34_12 + Acknowledge_34_13 + Acknowledge_34_14 + Acknowledge_34_15 + Acknowledge_34_16 + Acknowledge_34_17 + Acknowledge_34_18 + Acknowledge_34_19 + 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_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_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_21_31 + Acknowledge_21_32 + Acknowledge_21_33 + Acknowledge_21_34 + Acknowledge_21_35 + Acknowledge_21_36 + Acknowledge_21_37 + Acknowledge_21_38 + Acknowledge_21_39 + Acknowledge_21_40 + 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_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 + 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_3_1 + Acknowledge_3_2 + Acknowledge_3_3 + Acknowledge_3_4 + Acknowledge_3_5 + Acknowledge_3_6 + Acknowledge_3_7 + Acknowledge_3_8 + Acknowledge_3_9 + Acknowledge_33_10 + Acknowledge_33_11 + Acknowledge_33_12 + Acknowledge_33_13 + Acknowledge_33_14 + Acknowledge_33_15 + Acknowledge_33_16 + Acknowledge_33_17 + Acknowledge_33_18 + Acknowledge_33_19 + 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_4_1 + Acknowledge_4_2 + Acknowledge_4_3 + Acknowledge_4_4 + Acknowledge_4_5 + Acknowledge_4_6 + Acknowledge_4_7 + Acknowledge_4_8 + Acknowledge_4_9 + 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_20_31 + Acknowledge_20_32 + Acknowledge_20_33 + Acknowledge_20_34 + Acknowledge_20_35 + Acknowledge_20_36 + Acknowledge_20_37 + Acknowledge_20_38 + Acknowledge_20_39 + Acknowledge_20_40 + 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_5_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_6_40 + Acknowledge_6_39 + Acknowledge_6_38 + Acknowledge_6_37 + Acknowledge_6_36 + Acknowledge_6_35 + Acknowledge_6_34 + Acknowledge_6_33 + Acknowledge_6_32 + Acknowledge_6_31 + Acknowledge_6_30 + Acknowledge_6_29 + Acknowledge_6_28 + Acknowledge_6_27 + Acknowledge_6_26 + Acknowledge_6_25 + Acknowledge_6_24 + Acknowledge_6_23 + Acknowledge_6_22 + Acknowledge_6_21 + Acknowledge_6_20 + Acknowledge_6_19 + Acknowledge_6_18 + Acknowledge_6_17 + Acknowledge_6_16 + Acknowledge_6_15 + Acknowledge_6_14 + Acknowledge_6_13 + Acknowledge_6_12 + Acknowledge_6_11 + Acknowledge_6_10 + Acknowledge_35_9 + Acknowledge_35_8 + Acknowledge_35_7 + Acknowledge_35_6 + Acknowledge_35_5 + Acknowledge_35_4 + Acknowledge_35_3 + Acknowledge_35_2 + Acknowledge_35_1 + Acknowledge_22_9 + Acknowledge_22_8 + Acknowledge_22_7 + Acknowledge_22_6 + Acknowledge_22_5 + Acknowledge_22_4 + Acknowledge_22_3 + Acknowledge_22_2 + Acknowledge_22_1 + Acknowledge_15_40 + Acknowledge_15_39 + Acknowledge_15_38 + Acknowledge_15_37 + Acknowledge_15_36 + Acknowledge_15_35 + Acknowledge_15_34 + Acknowledge_15_33 + Acknowledge_15_32 + Acknowledge_15_31 + Acknowledge_15_30 + Acknowledge_15_29 + Acknowledge_15_28 + Acknowledge_15_27 + Acknowledge_15_26 + Acknowledge_15_25 + Acknowledge_15_24 + Acknowledge_15_23 + Acknowledge_15_22 + Acknowledge_15_21 + Acknowledge_15_20 + Acknowledge_15_19 + Acknowledge_15_18 + Acknowledge_15_17 + Acknowledge_15_16 + Acknowledge_15_15 + Acknowledge_15_14 + Acknowledge_15_13 + Acknowledge_15_12 + Acknowledge_15_11 + Acknowledge_15_10 + Acknowledge_28_40 + Acknowledge_28_39 + Acknowledge_28_38 + Acknowledge_28_37 + Acknowledge_28_36 + Acknowledge_28_35 + Acknowledge_28_34 + Acknowledge_28_33 + Acknowledge_28_32 + Acknowledge_28_31 + Acknowledge_28_30 + Acknowledge_28_29 + Acknowledge_28_28 + Acknowledge_28_27 + Acknowledge_28_26 + Acknowledge_28_25 + Acknowledge_28_24 + Acknowledge_28_23 + Acknowledge_28_22 + Acknowledge_28_21 + Acknowledge_28_20 + Acknowledge_28_19 + Acknowledge_28_18 + Acknowledge_28_17 + Acknowledge_28_16 + Acknowledge_28_15 + Acknowledge_28_14 + Acknowledge_28_13 + Acknowledge_28_12 + Acknowledge_28_11 + Acknowledge_28_10 + Acknowledge_30_40 + Acknowledge_30_39 + Acknowledge_30_38 + Acknowledge_30_37 + Acknowledge_30_36 + Acknowledge_30_35 + Acknowledge_30_34 + Acknowledge_30_33 + Acknowledge_30_32 + Acknowledge_30_31 + Acknowledge_30_30 + Acknowledge_30_29 + Acknowledge_30_28 + Acknowledge_30_27 + Acknowledge_30_26 + Acknowledge_30_25 + Acknowledge_30_24 + Acknowledge_30_23 + Acknowledge_30_22 + Acknowledge_30_21 + Acknowledge_30_20 + Acknowledge_30_19 + Acknowledge_30_18 + Acknowledge_30_17 + Acknowledge_30_16 + Acknowledge_30_15 + Acknowledge_30_14 + Acknowledge_30_13 + Acknowledge_30_12 + Acknowledge_30_11 + Acknowledge_30_10 + Acknowledge_27_10 + Acknowledge_27_11 + Acknowledge_27_12 + Acknowledge_27_13 + Acknowledge_27_14 + Acknowledge_27_15 + Acknowledge_27_16 + Acknowledge_27_17 + Acknowledge_27_18 + Acknowledge_27_19 + 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_27_31 + Acknowledge_27_32 + Acknowledge_27_33 + Acknowledge_27_34 + Acknowledge_27_35 + Acknowledge_27_36 + Acknowledge_27_37 + Acknowledge_27_38 + Acknowledge_27_39 + Acknowledge_27_40 + 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_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_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_16_40 + Acknowledge_16_39 + Acknowledge_16_38 + Acknowledge_16_37 + Acknowledge_16_36 + Acknowledge_16_35 + Acknowledge_16_34 + Acknowledge_16_33 + Acknowledge_16_32 + Acknowledge_16_31 + Acknowledge_16_30 + Acknowledge_16_29 + Acknowledge_16_28 + Acknowledge_16_27 + Acknowledge_16_26 + Acknowledge_16_25 + Acknowledge_16_24 + Acknowledge_16_23 + Acknowledge_16_22 + Acknowledge_16_21 + Acknowledge_16_20 + Acknowledge_16_19 + Acknowledge_16_18 + Acknowledge_16_17 + Acknowledge_16_16 + Acknowledge_16_15 + Acknowledge_16_14 + Acknowledge_16_13 + Acknowledge_16_12 + Acknowledge_16_11 + Acknowledge_16_10 + Acknowledge_29_40 + Acknowledge_29_39 + Acknowledge_29_38 + Acknowledge_29_37 + Acknowledge_29_36 + Acknowledge_29_35 + Acknowledge_29_34 + Acknowledge_29_33 + Acknowledge_29_32 + Acknowledge_29_31 + Acknowledge_29_30 + Acknowledge_29_29 + Acknowledge_29_28 + Acknowledge_29_27 + Acknowledge_29_26 + Acknowledge_29_25 + Acknowledge_29_24 + Acknowledge_29_23 + Acknowledge_29_22 + Acknowledge_29_21 + Acknowledge_29_20 + Acknowledge_29_19 + Acknowledge_29_18 + Acknowledge_29_17 + Acknowledge_29_16 + Acknowledge_29_15 + Acknowledge_29_14 + Acknowledge_29_13 + Acknowledge_29_12 + Acknowledge_29_11 + Acknowledge_29_10 + Acknowledge_31_40 + Acknowledge_31_39 + Acknowledge_31_38 + Acknowledge_31_37 + Acknowledge_31_36 + Acknowledge_31_35 + Acknowledge_31_34 + Acknowledge_31_33 + Acknowledge_31_32 + Acknowledge_31_31 + Acknowledge_31_30 + Acknowledge_31_29 + Acknowledge_31_28 + Acknowledge_31_27 + Acknowledge_31_26 + Acknowledge_31_25 + Acknowledge_31_24 + Acknowledge_31_23 + Acknowledge_31_22 + Acknowledge_31_21 + Acknowledge_31_20 + Acknowledge_31_19 + Acknowledge_31_18 + Acknowledge_31_17 + Acknowledge_31_16 + Acknowledge_31_15 + Acknowledge_31_14 + Acknowledge_31_13 + Acknowledge_31_12 + Acknowledge_31_11 + Acknowledge_31_10 + Acknowledge_9_9 + Acknowledge_9_8 + Acknowledge_9_7 + Acknowledge_9_6 + Acknowledge_9_5 + Acknowledge_9_4 + Acknowledge_9_3 + Acknowledge_9_2 + 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_14_31 + Acknowledge_14_32 + Acknowledge_14_33 + Acknowledge_14_34 + Acknowledge_14_35 + Acknowledge_14_36 + Acknowledge_14_37 + Acknowledge_14_38 + Acknowledge_14_39 + Acknowledge_14_40 + 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_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_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_9_1 + Acknowledge_17_40 + Acknowledge_17_39 + Acknowledge_17_38 + Acknowledge_17_37 + Acknowledge_17_36 + Acknowledge_17_35 + Acknowledge_17_34 + Acknowledge_17_33 + Acknowledge_17_32 + Acknowledge_17_31 + Acknowledge_17_30 + Acknowledge_17_29 + Acknowledge_17_28 + 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_17_27 + Acknowledge_17_26 + Acknowledge_17_25 + Acknowledge_17_24 + Acknowledge_17_23 + Acknowledge_17_22 + Acknowledge_17_21 + Acknowledge_17_20 + Acknowledge_17_19 + Acknowledge_17_18 + Acknowledge_17_17 + Acknowledge_17_16 + Acknowledge_17_15 + Acknowledge_17_14 + Acknowledge_17_13 + Acknowledge_17_12 + Acknowledge_17_11 + Acknowledge_17_10 + Acknowledge_32_40 + Acknowledge_32_39 + Acknowledge_32_38 + Acknowledge_32_37 + Acknowledge_32_36 + Acknowledge_32_35 + Acknowledge_32_34 + Acknowledge_32_33 + Acknowledge_32_32 + Acknowledge_32_31 + Acknowledge_32_30 + Acknowledge_32_29 + Acknowledge_32_28 + Acknowledge_32_27 + Acknowledge_32_26 + Acknowledge_32_25 + Acknowledge_32_24 + Acknowledge_32_23 + Acknowledge_32_22 + Acknowledge_32_21 + Acknowledge_32_20 + Acknowledge_32_19 + Acknowledge_32_18 + Acknowledge_32_17 + Acknowledge_32_16 + Acknowledge_32_15 + Acknowledge_32_14 + Acknowledge_32_13 + Acknowledge_32_12 + Acknowledge_32_11 + Acknowledge_39_10 + Acknowledge_39_11 + Acknowledge_39_12 + Acknowledge_39_13 + Acknowledge_39_14 + Acknowledge_39_15 + Acknowledge_39_16 + Acknowledge_39_17 + Acknowledge_39_18 + Acknowledge_39_19 + 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_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_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_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_32_10 + Acknowledge_18_40 + Acknowledge_18_39 + Acknowledge_18_38 + Acknowledge_18_37 + Acknowledge_18_36 + Acknowledge_18_35 + Acknowledge_18_34 + Acknowledge_18_33 + Acknowledge_18_32 + Acknowledge_18_31 + Acknowledge_18_30 + Acknowledge_18_29 + Acknowledge_18_28 + Acknowledge_26_10 + Acknowledge_26_11 + Acknowledge_26_12 + Acknowledge_26_13 + Acknowledge_26_14 + Acknowledge_26_15 + Acknowledge_26_16 + Acknowledge_26_17 + Acknowledge_26_18 + Acknowledge_26_19 + 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_26_31 + Acknowledge_26_32 + Acknowledge_26_33 + Acknowledge_26_34 + Acknowledge_26_35 + Acknowledge_26_36 + Acknowledge_26_37 + Acknowledge_26_38 + Acknowledge_26_39 + Acknowledge_26_40 + Acknowledge_18_27 + Acknowledge_18_26 + Acknowledge_18_25 + Acknowledge_18_24 + Acknowledge_18_23 + Acknowledge_18_22 + Acknowledge_18_21 + Acknowledge_18_20 + Acknowledge_18_19 + Acknowledge_18_18 + Acknowledge_18_17 + Acknowledge_18_16 + Acknowledge_18_15 + Acknowledge_18_14 + Acknowledge_18_13 + Acknowledge_18_12 + Acknowledge_18_11 + Acknowledge_18_10 + 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_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) : MAX(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_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_21_31 + Active_21_32 + Active_21_33 + Active_21_34 + Active_21_35 + Active_21_36 + Active_21_37 + Active_21_38 + Active_21_39 + Active_21_40 + 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_33_10 + Active_33_11 + Active_33_12 + Active_33_13 + Active_33_14 + Active_33_15 + Active_33_16 + Active_33_17 + Active_33_18 + Active_33_19 + 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_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_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_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_20_32 + Active_20_33 + Active_20_34 + Active_20_35 + Active_20_36 + Active_20_37 + Active_20_38 + Active_20_39 + Active_20_40 + 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_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_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_32_10 + Active_32_11 + Active_32_12 + Active_32_13 + Active_32_14 + Active_32_15 + Active_32_16 + Active_32_17 + Active_32_18 + Active_32_19 + 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_32_40 + 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_17_32 + Active_17_33 + Active_17_34 + Active_17_35 + Active_17_36 + Active_17_37 + Active_17_38 + Active_17_39 + Active_17_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_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_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_29_10 + Active_29_11 + Active_29_12 + Active_29_13 + Active_29_14 + Active_29_15 + Active_29_16 + Active_29_17 + Active_29_18 + Active_29_19 + 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_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_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_16_32 + Active_16_33 + Active_16_34 + Active_16_35 + Active_16_36 + Active_16_37 + Active_16_38 + Active_16_39 + Active_16_40 + 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_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_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_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_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_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_28_10 + Active_28_11 + Active_28_12 + Active_28_13 + Active_28_14 + Active_28_15 + Active_28_16 + Active_28_17 + 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_28_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_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_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 + Active_15_31 + Active_15_32 + Active_15_33 + Active_15_34 + Active_15_35 + Active_15_36 + Active_15_37 + Active_15_38 + Active_15_39 + Active_15_40 + 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_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_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_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_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_11_1 + Active_11_2 + Active_11_3 + Active_11_4 + Active_11_5 + Active_11_6 + Active_11_7 + Active_11_8 + Active_11_9 + Active_24_1 + Active_24_2 + Active_24_3 + Active_24_4 + Active_24_5 + Active_24_6 + Active_24_7 + Active_24_8 + Active_24_9 + Active_37_1 + Active_37_2 + Active_37_3 + Active_37_4 + Active_37_5 + Active_37_6 + Active_37_7 + Active_37_8 + Active_37_9 + Active_27_10 + Active_27_11 + Active_27_12 + Active_27_13 + Active_27_14 + Active_27_15 + Active_27_16 + Active_27_17 + Active_27_18 + Active_27_19 + 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_27_31 + Active_27_32 + Active_27_33 + Active_27_34 + Active_27_35 + Active_27_36 + Active_27_37 + Active_27_38 + Active_27_39 + Active_27_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_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_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_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_14_31 + Active_14_32 + Active_14_33 + Active_14_34 + Active_14_35 + Active_14_36 + Active_14_37 + Active_14_38 + Active_14_39 + Active_14_40 + Active_5_10 + Active_5_11 + Active_5_12 + Active_5_13 + Active_5_14 + Active_5_15 + Active_5_16 + Active_5_17 + Active_5_18 + Active_5_19 + Active_5_20 + Active_5_21 + Active_5_22 + Active_5_23 + Active_5_24 + Active_5_25 + Active_5_26 + Active_5_27 + Active_5_28 + Active_5_29 + 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_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_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_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_39_10 + Active_39_11 + Active_39_12 + Active_39_13 + Active_39_14 + Active_39_15 + Active_39_16 + Active_39_17 + Active_39_18 + Active_39_19 + 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_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_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_26_10 + Active_26_11 + Active_26_12 + Active_26_13 + Active_26_14 + Active_26_15 + Active_26_16 + Active_26_17 + Active_26_18 + Active_26_19 + 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_26_32 + Active_26_33 + Active_26_34 + Active_26_35 + Active_26_36 + Active_26_37 + Active_26_38 + Active_26_39 + Active_26_40 + 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_28_1 + Active_28_2 + Active_28_3 + Active_28_4 + Active_28_5 + Active_28_6 + Active_28_7 + Active_28_8 + 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_13_31 + Active_13_32 + Active_13_33 + Active_13_34 + Active_13_35 + Active_13_36 + Active_13_37 + Active_13_38 + Active_13_39 + Active_13_40 + 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_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_16_1 + Active_16_2 + Active_16_3 + Active_16_4 + Active_16_5 + Active_16_6 + Active_16_7 + Active_16_8 + 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_38_10 + Active_38_11 + Active_38_12 + Active_38_13 + Active_38_14 + Active_38_15 + Active_38_16 + Active_38_17 + Active_38_18 + Active_38_19 + 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_25_10 + Active_25_11 + Active_25_12 + Active_25_13 + Active_25_14 + Active_25_15 + Active_25_16 + Active_25_17 + Active_25_18 + Active_25_19 + 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_25_32 + Active_25_33 + Active_25_34 + Active_25_35 + Active_25_36 + Active_25_37 + Active_25_38 + Active_25_39 + Active_25_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_12_31 + Active_12_32 + Active_12_33 + Active_12_34 + Active_12_35 + Active_12_36 + Active_12_37 + Active_12_38 + Active_12_39 + Active_12_40 + Active_37_10 + Active_37_11 + Active_37_12 + Active_37_13 + Active_37_14 + Active_37_15 + Active_37_16 + Active_37_17 + Active_37_18 + Active_37_19 + 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_35_39 + Active_35_38 + Active_35_37 + Active_35_36 + Active_35_35 + Active_35_34 + Active_35_33 + Active_35_32 + Active_35_31 + Active_35_30 + Active_35_29 + Active_35_28 + Active_35_27 + Active_24_10 + Active_24_11 + Active_24_12 + Active_24_13 + Active_24_14 + Active_24_15 + Active_24_16 + Active_24_17 + Active_24_18 + Active_24_19 + 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_24_31 + Active_24_32 + Active_24_33 + Active_24_34 + Active_24_35 + Active_24_36 + Active_24_37 + Active_24_38 + Active_24_39 + Active_24_40 + Active_35_26 + Active_35_25 + Active_35_24 + Active_35_23 + Active_35_22 + Active_35_21 + Active_35_20 + Active_35_19 + Active_35_18 + Active_35_17 + Active_35_16 + Active_35_15 + Active_35_14 + Active_35_13 + Active_35_12 + Active_35_11 + Active_35_10 + 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_11_32 + Active_11_33 + Active_11_34 + Active_11_35 + Active_11_36 + Active_11_37 + Active_11_38 + Active_11_39 + Active_11_40 + Active_36_10 + Active_36_11 + Active_36_12 + Active_36_13 + Active_36_14 + Active_36_15 + Active_36_16 + Active_36_17 + Active_36_18 + Active_36_19 + 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_10_39 + Active_10_38 + Active_10_37 + Active_10_36 + Active_10_35 + Active_10_34 + Active_10_33 + Active_10_32 + Active_10_31 + Active_10_30 + Active_10_29 + Active_10_28 + Active_10_27 + Active_10_26 + Active_10_25 + Active_23_10 + Active_23_11 + Active_23_12 + Active_23_13 + Active_23_14 + Active_23_15 + Active_23_16 + Active_23_17 + Active_23_18 + Active_23_19 + 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_23_32 + Active_23_33 + Active_23_34 + Active_23_35 + Active_23_36 + Active_23_37 + Active_23_38 + Active_23_39 + Active_10_24 + Active_10_23 + Active_10_22 + Active_10_21 + Active_10_20 + Active_10_19 + Active_10_18 + Active_10_17 + Active_10_16 + Active_10_15 + Active_10_14 + Active_10_13 + Active_10_12 + Active_10_11 + Active_10_10 + Active_23_40 + Active_10_40 + 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_2_40 + Active_2_39 + Active_2_38 + Active_2_37 + Active_2_36 + Active_2_35 + Active_2_34 + Active_2_33 + Active_2_32 + Active_2_31 + Active_2_30 + Active_2_29 + Active_2_28 + Active_2_27 + Active_2_26 + Active_2_25 + Active_2_24 + Active_2_23 + Active_2_22 + Active_2_21 + Active_2_20 + Active_2_19 + Active_2_18 + Active_2_17 + Active_2_16 + Active_2_15 + Active_2_14 + Active_2_13 + Active_2_12 + Active_2_11 + Active_2_10 + Active_35_40 + Active_19_9 + Active_19_8 + Active_19_7 + Active_19_6 + Active_19_5 + Active_19_4 + Active_19_3 + Active_19_2 + Active_19_1 + Active_3_40 + Active_3_39 + Active_3_38 + Active_3_37 + Active_3_36 + Active_3_35 + Active_3_34 + Active_3_33 + Active_3_32 + Active_3_31 + Active_3_30 + Active_3_29 + Active_3_28 + Active_3_27 + Active_3_26 + Active_3_25 + Active_3_24 + Active_3_23 + Active_3_22 + Active_3_21 + Active_3_20 + Active_3_19 + Active_3_18 + Active_3_17 + Active_3_16 + Active_3_15 + Active_3_14 + Active_3_13 + Active_3_12 + Active_3_11 + Active_3_10 + Active_18_9 + Active_18_8 + Active_18_7 + Active_18_6 + Active_18_5 + Active_18_4 + Active_18_3 + Active_18_2 + Active_18_1 + Active_9_9 + Active_9_8 + Active_9_7 + Active_9_6 + Active_9_5 + Active_9_4 + Active_9_3 + Active_9_2 + Active_9_1 + Active_17_9 + Active_17_8 + Active_17_7 + Active_17_6 + Active_17_5 + Active_17_4 + Active_17_3 + Active_17_2 + Active_17_1 + Active_22_10 + Active_22_11 + Active_22_12 + Active_22_13 + Active_22_14 + Active_22_15 + Active_22_16 + Active_22_17 + Active_22_18 + Active_22_19 + 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_22_31 + Active_22_32 + Active_22_33 + Active_22_34 + Active_22_35 + Active_22_36 + Active_22_37 + Active_22_38 + Active_22_39 + Active_22_40 + Active_8_9 + Active_8_8 + Active_8_7 + Active_8_6 + Active_8_5 + Active_8_4 + Active_8_3 + Active_8_2 + Active_8_1 + Active_29_9 + Active_16_9 + Active_7_9 + Active_7_8 + Active_7_7 + Active_7_6 + Active_7_5 + Active_7_4 + Active_7_3 + Active_7_2 + Active_7_1 + Active_28_9 + Active_15_9 + Active_6_9 + Active_6_8 + Active_6_7 + Active_6_6 + Active_6_5 + Active_6_4 + Active_6_3 + Active_6_2 + Active_6_1 + Active_5_9 + Active_5_8 + Active_5_7 + Active_5_6 + Active_5_5 + Active_5_4 + Active_5_3 + Active_5_2 + Active_5_1 + Active_4_9 + Active_4_8 + Active_4_7 + Active_4_6 + Active_4_5 + Active_4_4 + Active_4_3 + Active_4_2 + Active_4_1 + Active_3_9 + Active_3_8 + Active_34_10 + Active_34_11 + Active_34_12 + Active_34_13 + Active_34_14 + Active_34_15 + Active_34_16 + Active_34_17 + Active_34_18 + Active_34_19 + 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_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_3_7 + Active_3_6 + Active_3_5 + Active_3_4 + Active_3_3 + Active_3_2 + Active_3_1 + Active_2_9 + Active_2_8 + Active_2_7 + Active_2_6 + Active_2_5 + Active_2_4 + Active_2_3 + Active_2_2 + Active_2_1) : 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_9 + all_active_5 + all_active_1 + all_active_2 + all_active_3 + all_active_4 + all_active_6 + all_active_7 + all_active_8) : 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_9 + all_active_5 + all_active_1 + all_active_2 + all_active_3 + all_active_4 + all_active_6 + all_active_7 + all_active_8) : MAX(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_13_31 + Acknowledge_13_32 + Acknowledge_13_33 + Acknowledge_13_34 + Acknowledge_13_35 + Acknowledge_13_36 + Acknowledge_13_37 + Acknowledge_13_38 + Acknowledge_13_39 + Acknowledge_13_40 + 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_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_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_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_38_10 + Acknowledge_38_11 + Acknowledge_38_12 + Acknowledge_38_13 + Acknowledge_38_14 + Acknowledge_38_15 + Acknowledge_38_16 + Acknowledge_38_17 + Acknowledge_38_18 + Acknowledge_38_19 + 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_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_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_25_10 + Acknowledge_25_11 + Acknowledge_25_12 + Acknowledge_25_13 + Acknowledge_25_14 + Acknowledge_25_15 + Acknowledge_25_16 + Acknowledge_25_17 + Acknowledge_25_18 + Acknowledge_25_19 + 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_25_32 + Acknowledge_25_33 + Acknowledge_25_34 + Acknowledge_25_35 + Acknowledge_25_36 + Acknowledge_25_37 + Acknowledge_25_38 + Acknowledge_25_39 + Acknowledge_25_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_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_12_31 + Acknowledge_12_32 + Acknowledge_12_33 + Acknowledge_12_34 + Acknowledge_12_35 + Acknowledge_12_36 + Acknowledge_12_37 + Acknowledge_12_38 + Acknowledge_12_39 + Acknowledge_12_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_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_37_10 + Acknowledge_37_11 + Acknowledge_37_12 + Acknowledge_37_13 + Acknowledge_37_14 + Acknowledge_37_15 + Acknowledge_37_16 + Acknowledge_37_17 + Acknowledge_37_18 + Acknowledge_37_19 + 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_19_1 + Acknowledge_19_2 + Acknowledge_19_3 + Acknowledge_19_4 + Acknowledge_19_5 + Acknowledge_19_6 + Acknowledge_19_7 + Acknowledge_19_8 + Acknowledge_19_9 + Acknowledge_24_10 + Acknowledge_24_11 + Acknowledge_24_12 + Acknowledge_24_13 + Acknowledge_24_14 + Acknowledge_24_15 + Acknowledge_24_16 + Acknowledge_24_17 + Acknowledge_24_18 + Acknowledge_24_19 + 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_24_31 + Acknowledge_24_32 + Acknowledge_24_33 + Acknowledge_24_34 + Acknowledge_24_35 + Acknowledge_24_36 + Acknowledge_24_37 + Acknowledge_24_38 + Acknowledge_24_39 + Acknowledge_24_40 + 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_11_31 + Acknowledge_11_32 + Acknowledge_11_33 + Acknowledge_11_34 + Acknowledge_11_35 + Acknowledge_11_36 + Acknowledge_11_37 + Acknowledge_11_38 + Acknowledge_11_39 + Acknowledge_11_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_36_10 + Acknowledge_36_11 + Acknowledge_36_12 + Acknowledge_36_13 + Acknowledge_36_14 + Acknowledge_36_15 + Acknowledge_36_16 + Acknowledge_36_17 + Acknowledge_36_18 + Acknowledge_36_19 + 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_23_10 + Acknowledge_23_11 + Acknowledge_23_12 + Acknowledge_23_13 + Acknowledge_23_14 + Acknowledge_23_15 + Acknowledge_23_16 + Acknowledge_23_17 + Acknowledge_23_18 + Acknowledge_23_19 + 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_23_31 + Acknowledge_23_32 + Acknowledge_23_33 + Acknowledge_23_34 + Acknowledge_23_35 + Acknowledge_23_36 + Acknowledge_23_37 + Acknowledge_23_38 + Acknowledge_23_39 + Acknowledge_23_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_10_31 + Acknowledge_10_32 + Acknowledge_10_33 + Acknowledge_10_34 + Acknowledge_10_35 + Acknowledge_10_36 + Acknowledge_10_37 + Acknowledge_10_38 + Acknowledge_10_39 + Acknowledge_10_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_35_10 + Acknowledge_35_11 + Acknowledge_35_12 + Acknowledge_35_13 + Acknowledge_35_14 + Acknowledge_35_15 + Acknowledge_35_16 + Acknowledge_35_17 + Acknowledge_35_18 + Acknowledge_35_19 + 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_22_10 + Acknowledge_22_11 + Acknowledge_22_12 + Acknowledge_22_13 + Acknowledge_22_14 + Acknowledge_22_15 + Acknowledge_22_16 + Acknowledge_22_17 + Acknowledge_22_18 + Acknowledge_22_19 + 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_22_31 + Acknowledge_22_32 + Acknowledge_22_33 + Acknowledge_22_34 + Acknowledge_22_35 + Acknowledge_22_36 + Acknowledge_22_37 + Acknowledge_22_38 + Acknowledge_22_39 + Acknowledge_22_40 + Acknowledge_34_10 + Acknowledge_34_11 + Acknowledge_34_12 + Acknowledge_34_13 + Acknowledge_34_14 + Acknowledge_34_15 + Acknowledge_34_16 + Acknowledge_34_17 + Acknowledge_34_18 + Acknowledge_34_19 + 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_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_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_21_31 + Acknowledge_21_32 + Acknowledge_21_33 + Acknowledge_21_34 + Acknowledge_21_35 + Acknowledge_21_36 + Acknowledge_21_37 + Acknowledge_21_38 + Acknowledge_21_39 + Acknowledge_21_40 + 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_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 + 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_3_1 + Acknowledge_3_2 + Acknowledge_3_3 + Acknowledge_3_4 + Acknowledge_3_5 + Acknowledge_3_6 + Acknowledge_3_7 + Acknowledge_3_8 + Acknowledge_3_9 + Acknowledge_33_10 + Acknowledge_33_11 + Acknowledge_33_12 + Acknowledge_33_13 + Acknowledge_33_14 + Acknowledge_33_15 + Acknowledge_33_16 + Acknowledge_33_17 + Acknowledge_33_18 + Acknowledge_33_19 + 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_4_1 + Acknowledge_4_2 + Acknowledge_4_3 + Acknowledge_4_4 + Acknowledge_4_5 + Acknowledge_4_6 + Acknowledge_4_7 + Acknowledge_4_8 + Acknowledge_4_9 + 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_20_31 + Acknowledge_20_32 + Acknowledge_20_33 + Acknowledge_20_34 + Acknowledge_20_35 + Acknowledge_20_36 + Acknowledge_20_37 + Acknowledge_20_38 + Acknowledge_20_39 + Acknowledge_20_40 + 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_5_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_6_40 + Acknowledge_6_39 + Acknowledge_6_38 + Acknowledge_6_37 + Acknowledge_6_36 + Acknowledge_6_35 + Acknowledge_6_34 + Acknowledge_6_33 + Acknowledge_6_32 + Acknowledge_6_31 + Acknowledge_6_30 + Acknowledge_6_29 + Acknowledge_6_28 + Acknowledge_6_27 + Acknowledge_6_26 + Acknowledge_6_25 + Acknowledge_6_24 + Acknowledge_6_23 + Acknowledge_6_22 + Acknowledge_6_21 + Acknowledge_6_20 + Acknowledge_6_19 + Acknowledge_6_18 + Acknowledge_6_17 + Acknowledge_6_16 + Acknowledge_6_15 + Acknowledge_6_14 + Acknowledge_6_13 + Acknowledge_6_12 + Acknowledge_6_11 + Acknowledge_6_10 + Acknowledge_35_9 + Acknowledge_35_8 + Acknowledge_35_7 + Acknowledge_35_6 + Acknowledge_35_5 + Acknowledge_35_4 + Acknowledge_35_3 + Acknowledge_35_2 + Acknowledge_35_1 + Acknowledge_22_9 + Acknowledge_22_8 + Acknowledge_22_7 + Acknowledge_22_6 + Acknowledge_22_5 + Acknowledge_22_4 + Acknowledge_22_3 + Acknowledge_22_2 + Acknowledge_22_1 + Acknowledge_15_40 + Acknowledge_15_39 + Acknowledge_15_38 + Acknowledge_15_37 + Acknowledge_15_36 + Acknowledge_15_35 + Acknowledge_15_34 + Acknowledge_15_33 + Acknowledge_15_32 + Acknowledge_15_31 + Acknowledge_15_30 + Acknowledge_15_29 + Acknowledge_15_28 + Acknowledge_15_27 + Acknowledge_15_26 + Acknowledge_15_25 + Acknowledge_15_24 + Acknowledge_15_23 + Acknowledge_15_22 + Acknowledge_15_21 + Acknowledge_15_20 + Acknowledge_15_19 + Acknowledge_15_18 + Acknowledge_15_17 + Acknowledge_15_16 + Acknowledge_15_15 + Acknowledge_15_14 + Acknowledge_15_13 + Acknowledge_15_12 + Acknowledge_15_11 + Acknowledge_15_10 + Acknowledge_28_40 + Acknowledge_28_39 + Acknowledge_28_38 + Acknowledge_28_37 + Acknowledge_28_36 + Acknowledge_28_35 + Acknowledge_28_34 + Acknowledge_28_33 + Acknowledge_28_32 + Acknowledge_28_31 + Acknowledge_28_30 + Acknowledge_28_29 + Acknowledge_28_28 + Acknowledge_28_27 + Acknowledge_28_26 + Acknowledge_28_25 + Acknowledge_28_24 + Acknowledge_28_23 + Acknowledge_28_22 + Acknowledge_28_21 + Acknowledge_28_20 + Acknowledge_28_19 + Acknowledge_28_18 + Acknowledge_28_17 + Acknowledge_28_16 + Acknowledge_28_15 + Acknowledge_28_14 + Acknowledge_28_13 + Acknowledge_28_12 + Acknowledge_28_11 + Acknowledge_28_10 + Acknowledge_30_40 + Acknowledge_30_39 + Acknowledge_30_38 + Acknowledge_30_37 + Acknowledge_30_36 + Acknowledge_30_35 + Acknowledge_30_34 + Acknowledge_30_33 + Acknowledge_30_32 + Acknowledge_30_31 + Acknowledge_30_30 + Acknowledge_30_29 + Acknowledge_30_28 + Acknowledge_30_27 + Acknowledge_30_26 + Acknowledge_30_25 + Acknowledge_30_24 + Acknowledge_30_23 + Acknowledge_30_22 + Acknowledge_30_21 + Acknowledge_30_20 + Acknowledge_30_19 + Acknowledge_30_18 + Acknowledge_30_17 + Acknowledge_30_16 + Acknowledge_30_15 + Acknowledge_30_14 + Acknowledge_30_13 + Acknowledge_30_12 + Acknowledge_30_11 + Acknowledge_30_10 + Acknowledge_27_10 + Acknowledge_27_11 + Acknowledge_27_12 + Acknowledge_27_13 + Acknowledge_27_14 + Acknowledge_27_15 + Acknowledge_27_16 + Acknowledge_27_17 + Acknowledge_27_18 + Acknowledge_27_19 + 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_27_31 + Acknowledge_27_32 + Acknowledge_27_33 + Acknowledge_27_34 + Acknowledge_27_35 + Acknowledge_27_36 + Acknowledge_27_37 + Acknowledge_27_38 + Acknowledge_27_39 + Acknowledge_27_40 + 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_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_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_16_40 + Acknowledge_16_39 + Acknowledge_16_38 + Acknowledge_16_37 + Acknowledge_16_36 + Acknowledge_16_35 + Acknowledge_16_34 + Acknowledge_16_33 + Acknowledge_16_32 + Acknowledge_16_31 + Acknowledge_16_30 + Acknowledge_16_29 + Acknowledge_16_28 + Acknowledge_16_27 + Acknowledge_16_26 + Acknowledge_16_25 + Acknowledge_16_24 + Acknowledge_16_23 + Acknowledge_16_22 + Acknowledge_16_21 + Acknowledge_16_20 + Acknowledge_16_19 + Acknowledge_16_18 + Acknowledge_16_17 + Acknowledge_16_16 + Acknowledge_16_15 + Acknowledge_16_14 + Acknowledge_16_13 + Acknowledge_16_12 + Acknowledge_16_11 + Acknowledge_16_10 + Acknowledge_29_40 + Acknowledge_29_39 + Acknowledge_29_38 + Acknowledge_29_37 + Acknowledge_29_36 + Acknowledge_29_35 + Acknowledge_29_34 + Acknowledge_29_33 + Acknowledge_29_32 + Acknowledge_29_31 + Acknowledge_29_30 + Acknowledge_29_29 + Acknowledge_29_28 + Acknowledge_29_27 + Acknowledge_29_26 + Acknowledge_29_25 + Acknowledge_29_24 + Acknowledge_29_23 + Acknowledge_29_22 + Acknowledge_29_21 + Acknowledge_29_20 + Acknowledge_29_19 + Acknowledge_29_18 + Acknowledge_29_17 + Acknowledge_29_16 + Acknowledge_29_15 + Acknowledge_29_14 + Acknowledge_29_13 + Acknowledge_29_12 + Acknowledge_29_11 + Acknowledge_29_10 + Acknowledge_31_40 + Acknowledge_31_39 + Acknowledge_31_38 + Acknowledge_31_37 + Acknowledge_31_36 + Acknowledge_31_35 + Acknowledge_31_34 + Acknowledge_31_33 + Acknowledge_31_32 + Acknowledge_31_31 + Acknowledge_31_30 + Acknowledge_31_29 + Acknowledge_31_28 + Acknowledge_31_27 + Acknowledge_31_26 + Acknowledge_31_25 + Acknowledge_31_24 + Acknowledge_31_23 + Acknowledge_31_22 + Acknowledge_31_21 + Acknowledge_31_20 + Acknowledge_31_19 + Acknowledge_31_18 + Acknowledge_31_17 + Acknowledge_31_16 + Acknowledge_31_15 + Acknowledge_31_14 + Acknowledge_31_13 + Acknowledge_31_12 + Acknowledge_31_11 + Acknowledge_31_10 + Acknowledge_9_9 + Acknowledge_9_8 + Acknowledge_9_7 + Acknowledge_9_6 + Acknowledge_9_5 + Acknowledge_9_4 + Acknowledge_9_3 + Acknowledge_9_2 + 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_14_31 + Acknowledge_14_32 + Acknowledge_14_33 + Acknowledge_14_34 + Acknowledge_14_35 + Acknowledge_14_36 + Acknowledge_14_37 + Acknowledge_14_38 + Acknowledge_14_39 + Acknowledge_14_40 + 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_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_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_9_1 + Acknowledge_17_40 + Acknowledge_17_39 + Acknowledge_17_38 + Acknowledge_17_37 + Acknowledge_17_36 + Acknowledge_17_35 + Acknowledge_17_34 + Acknowledge_17_33 + Acknowledge_17_32 + Acknowledge_17_31 + Acknowledge_17_30 + Acknowledge_17_29 + Acknowledge_17_28 + 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_17_27 + Acknowledge_17_26 + Acknowledge_17_25 + Acknowledge_17_24 + Acknowledge_17_23 + Acknowledge_17_22 + Acknowledge_17_21 + Acknowledge_17_20 + Acknowledge_17_19 + Acknowledge_17_18 + Acknowledge_17_17 + Acknowledge_17_16 + Acknowledge_17_15 + Acknowledge_17_14 + Acknowledge_17_13 + Acknowledge_17_12 + Acknowledge_17_11 + Acknowledge_17_10 + Acknowledge_32_40 + Acknowledge_32_39 + Acknowledge_32_38 + Acknowledge_32_37 + Acknowledge_32_36 + Acknowledge_32_35 + Acknowledge_32_34 + Acknowledge_32_33 + Acknowledge_32_32 + Acknowledge_32_31 + Acknowledge_32_30 + Acknowledge_32_29 + Acknowledge_32_28 + Acknowledge_32_27 + Acknowledge_32_26 + Acknowledge_32_25 + Acknowledge_32_24 + Acknowledge_32_23 + Acknowledge_32_22 + Acknowledge_32_21 + Acknowledge_32_20 + Acknowledge_32_19 + Acknowledge_32_18 + Acknowledge_32_17 + Acknowledge_32_16 + Acknowledge_32_15 + Acknowledge_32_14 + Acknowledge_32_13 + Acknowledge_32_12 + Acknowledge_32_11 + Acknowledge_39_10 + Acknowledge_39_11 + Acknowledge_39_12 + Acknowledge_39_13 + Acknowledge_39_14 + Acknowledge_39_15 + Acknowledge_39_16 + Acknowledge_39_17 + Acknowledge_39_18 + Acknowledge_39_19 + 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_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_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_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_32_10 + Acknowledge_18_40 + Acknowledge_18_39 + Acknowledge_18_38 + Acknowledge_18_37 + Acknowledge_18_36 + Acknowledge_18_35 + Acknowledge_18_34 + Acknowledge_18_33 + Acknowledge_18_32 + Acknowledge_18_31 + Acknowledge_18_30 + Acknowledge_18_29 + Acknowledge_18_28 + Acknowledge_26_10 + Acknowledge_26_11 + Acknowledge_26_12 + Acknowledge_26_13 + Acknowledge_26_14 + Acknowledge_26_15 + Acknowledge_26_16 + Acknowledge_26_17 + Acknowledge_26_18 + Acknowledge_26_19 + 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_26_31 + Acknowledge_26_32 + Acknowledge_26_33 + Acknowledge_26_34 + Acknowledge_26_35 + Acknowledge_26_36 + Acknowledge_26_37 + Acknowledge_26_38 + Acknowledge_26_39 + Acknowledge_26_40 + Acknowledge_18_27 + Acknowledge_18_26 + Acknowledge_18_25 + Acknowledge_18_24 + Acknowledge_18_23 + Acknowledge_18_22 + Acknowledge_18_21 + Acknowledge_18_20 + Acknowledge_18_19 + Acknowledge_18_18 + Acknowledge_18_17 + Acknowledge_18_16 + Acknowledge_18_15 + Acknowledge_18_14 + Acknowledge_18_13 + Acknowledge_18_12 + Acknowledge_18_11 + Acknowledge_18_10 + 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_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) : 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 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(all_passive_10 + all_passive_11 + all_passive_12 + all_passive_13 + all_passive_14 + all_passive_15 + all_passive_16 + all_passive_17 + all_passive_18 + all_passive_19 + all_passive_20 + all_passive_21 + all_passive_22 + all_passive_23 + all_passive_24 + all_passive_25 + all_passive_26 + all_passive_27 + all_passive_28 + all_passive_29 + all_passive_30 + all_passive_31 + all_passive_32 + all_p... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(all_passive_10 + all_passive_11 + all_passive_12 + all_passive_13 + all_passive_14 + all_passive_15 + all_passive_16 + all_passive_17 + all_passive_18 + all_passive_19 + all_passive_20 + all_passive_21 + all_passive_22 + all_passive_23 + all_passive_24 + all_passive_25 + all_passive_26 + all_passive_27 + all_passive_28 + all_passive_29 + all_passive_30 + all_passive_31 + all_passive_32 + all_p... (shortened)
lola: processed formula length: 673
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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
lola: ========================================
lola: subprocess 1 will run for 236 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 UpperBounds.xml
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: ========================================
lola: subprocess 2 will run for 251 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 UpperBounds.xml
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: 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: ========================================
lola: subprocess 3 will run for 270 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 UpperBounds.xml
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: ========================================
lola: subprocess 4 will run for 292 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 UpperBounds.xml
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: ========================================
lola: subprocess 5 will run for 318 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 UpperBounds.xml
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: ========================================
lola: subprocess 6 will run for 349 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 UpperBounds.xml
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: ========================================
lola: subprocess 7 will run for 387 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 UpperBounds.xml
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: ========================================
lola: subprocess 8 will run for 434 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 UpperBounds.xml
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: ========================================
lola: subprocess 9 will run for 495 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 UpperBounds.xml
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: ========================================
lola: subprocess 10 will run for 576 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 UpperBounds.xml
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: ========================================
lola: subprocess 11 will run for 688 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 UpperBounds.xml
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: ========================================
lola: subprocess 12 will run for 854 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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_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_21_31 + Active_21_32 + Active_21_33 + Active_21_34 + Active_21_35 + Active... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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_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_21_31 + Active_21_32 + Active_21_33 + Active_21_34 + Active_21_35 + Active... (shortened)
lola: processed formula length: 23282
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 17953 markings, 18381 edges, 3591 markings/sec, 15 secs
lola: 37807 markings, 38835 edges, 3971 markings/sec, 20 secs
lola: 57705 markings, 59334 edges, 3980 markings/sec, 25 secs
lola: 77598 markings, 79829 edges, 3979 markings/sec, 30 secs
lola: 97486 markings, 100318 edges, 3978 markings/sec, 35 secs
lola: 117383 markings, 120816 edges, 3979 markings/sec, 40 secs
lola: 137298 markings, 141332 edges, 3983 markings/sec, 45 secs
lola: 157258 markings, 161895 edges, 3992 markings/sec, 50 secs
lola: 177243 markings, 182542 edges, 3997 markings/sec, 55 secs
lola: 197209 markings, 203209 edges, 3993 markings/sec, 60 secs
lola: 217147 markings, 223748 edges, 3988 markings/sec, 65 secs
lola: 236983 markings, 244185 edges, 3967 markings/sec, 70 secs
lola: 256766 markings, 265213 edges, 3957 markings/sec, 75 secs
lola: 275248 markings, 290004 edges, 3696 markings/sec, 80 secs
lola: 294947 markings, 310302 edges, 3940 markings/sec, 85 secs
lola: 314685 markings, 330640 edges, 3948 markings/sec, 90 secs
lola: 334449 markings, 351005 edges, 3953 markings/sec, 95 secs
lola: 354174 markings, 371331 edges, 3945 markings/sec, 100 secs
lola: 373974 markings, 391731 edges, 3960 markings/sec, 105 secs
lola: 393795 markings, 412153 edges, 3964 markings/sec, 110 secs
lola: 413625 markings, 432718 edges, 3966 markings/sec, 115 secs
lola: 433497 markings, 453217 edges, 3974 markings/sec, 120 secs
lola: 453366 markings, 473687 edges, 3974 markings/sec, 125 secs
lola: 473225 markings, 494147 edges, 3972 markings/sec, 130 secs
lola: 493088 markings, 514612 edges, 3973 markings/sec, 135 secs
lola: 512973 markings, 535098 edges, 3977 markings/sec, 140 secs
lola: 531345 markings, 560421 edges, 3674 markings/sec, 145 secs
lola: 551012 markings, 580688 edges, 3933 markings/sec, 150 secs
lola: 570685 markings, 600960 edges, 3935 markings/sec, 155 secs
lola: 590420 markings, 621296 edges, 3947 markings/sec, 160 secs
lola: 610189 markings, 641666 edges, 3954 markings/sec, 165 secs
lola: 629955 markings, 662033 edges, 3953 markings/sec, 170 secs
lola: 649777 markings, 682454 edges, 3964 markings/sec, 175 secs
lola: 669607 markings, 703002 edges, 3966 markings/sec, 180 secs
lola: 689482 markings, 723521 edges, 3975 markings/sec, 185 secs
lola: 709425 markings, 744067 edges, 3989 markings/sec, 190 secs
lola: 729303 markings, 764545 edges, 3976 markings/sec, 195 secs
lola: 749183 markings, 785027 edges, 3976 markings/sec, 200 secs
lola: 769079 markings, 805524 edges, 3979 markings/sec, 205 secs
lola: 787591 markings, 830775 edges, 3702 markings/sec, 210 secs
lola: 807273 markings, 851270 edges, 3936 markings/sec, 215 secs
lola: 827017 markings, 871614 edges, 3949 markings/sec, 220 secs
lola: 846762 markings, 892001 edges, 3949 markings/sec, 225 secs
lola: 866528 markings, 912440 edges, 3953 markings/sec, 230 secs
lola: 886312 markings, 932871 edges, 3957 markings/sec, 235 secs
lola: 906148 markings, 953308 edges, 3967 markings/sec, 240 secs
lola: 926047 markings, 973808 edges, 3980 markings/sec, 245 secs
lola: 945949 markings, 994311 edges, 3980 markings/sec, 250 secs
lola: 965876 markings, 1014841 edges, 3985 markings/sec, 255 secs
lola: 985776 markings, 1035342 edges, 3980 markings/sec, 260 secs
lola: 1005678 markings, 1055844 edges, 3980 markings/sec, 265 secs
lola: 1025553 markings, 1076320 edges, 3975 markings/sec, 270 secs
lola: 1045151 markings, 1097851 edges, 3920 markings/sec, 275 secs
lola: 1063760 markings, 1122240 edges, 3722 markings/sec, 280 secs
lola: 1083462 markings, 1142542 edges, 3940 markings/sec, 285 secs
lola: 1103215 markings, 1162897 edges, 3951 markings/sec, 290 secs
lola: 1123008 markings, 1183290 edges, 3959 markings/sec, 295 secs
lola: 1142811 markings, 1203694 edges, 3961 markings/sec, 300 secs
lola: 1162647 markings, 1224130 edges, 3967 markings/sec, 305 secs
lola: 1182481 markings, 1244565 edges, 3967 markings/sec, 310 secs
lola: 1202358 markings, 1265043 edges, 3975 markings/sec, 315 secs
lola: 1222253 markings, 1285539 edges, 3979 markings/sec, 320 secs
lola: 1242179 markings, 1306066 edges, 3985 markings/sec, 325 secs
lola: 1262040 markings, 1326528 edges, 3972 markings/sec, 330 secs
lola: 1281891 markings, 1346980 edges, 3970 markings/sec, 335 secs
lola: 1301773 markings, 1367465 edges, 3976 markings/sec, 340 secs
lola: 1320172 markings, 1392976 edges, 3680 markings/sec, 345 secs
lola: 1339870 markings, 1413273 edges, 3940 markings/sec, 350 secs
lola: 1359572 markings, 1433575 edges, 3940 markings/sec, 355 secs
lola: 1379311 markings, 1453914 edges, 3948 markings/sec, 360 secs
lola: 1399097 markings, 1474301 edges, 3957 markings/sec, 365 secs
lola: 1418913 markings, 1494717 edges, 3963 markings/sec, 370 secs
lola: 1438729 markings, 1515134 edges, 3963 markings/sec, 375 secs
lola: 1458609 markings, 1535615 edges, 3976 markings/sec, 380 secs
lola: 1478516 markings, 1556124 edges, 3981 markings/sec, 385 secs
lola: 1498476 markings, 1576685 edges, 3992 markings/sec, 390 secs
lola: 1518360 markings, 1597171 edges, 3977 markings/sec, 395 secs
lola: 1538218 markings, 1617630 edges, 3972 markings/sec, 400 secs
lola: 1558104 markings, 1638118 edges, 3977 markings/sec, 405 secs
lola: 1576519 markings, 1663645 edges, 3683 markings/sec, 410 secs
lola: 1596245 markings, 1683970 edges, 3945 markings/sec, 415 secs
lola: 1615917 markings, 1704242 edges, 3934 markings/sec, 420 secs
lola: 1635650 markings, 1724575 edges, 3947 markings/sec, 425 secs
lola: 1655339 markings, 1744865 edges, 3938 markings/sec, 430 secs
lola: 1674780 markings, 1764904 edges, 3888 markings/sec, 435 secs
lola: 1694426 markings, 1785149 edges, 3929 markings/sec, 440 secs
lola: 1714278 markings, 1805602 edges, 3970 markings/sec, 445 secs
lola: 1734159 markings, 1826084 edges, 3976 markings/sec, 450 secs
lola: 1753758 markings, 1846283 edges, 3920 markings/sec, 455 secs
lola: 1773666 markings, 1866793 edges, 3982 markings/sec, 460 secs
lola: 1793521 markings, 1887249 edges, 3971 markings/sec, 465 secs
lola: 1813357 markings, 1907685 edges, 3967 markings/sec, 470 secs
lola: 1832894 markings, 1929206 edges, 3907 markings/sec, 475 secs
lola: 1851520 markings, 1953562 edges, 3725 markings/sec, 480 secs
lola: 1871230 markings, 1973871 edges, 3942 markings/sec, 485 secs
lola: 1890963 markings, 1994204 edges, 3947 markings/sec, 490 secs
lola: 1910661 markings, 2014502 edges, 3940 markings/sec, 495 secs
lola: 1930447 markings, 2034888 edges, 3957 markings/sec, 500 secs
lola: 1950270 markings, 2055312 edges, 3965 markings/sec, 505 secs
lola: 1970123 markings, 2075766 edges, 3971 markings/sec, 510 secs
lola: 1989987 markings, 2096231 edges, 3973 markings/sec, 515 secs
lola: 2009879 markings, 2116725 edges, 3978 markings/sec, 520 secs
lola: 2029830 markings, 2137278 edges, 3990 markings/sec, 525 secs
lola: 2049733 markings, 2157782 edges, 3981 markings/sec, 530 secs
lola: 2069612 markings, 2178263 edges, 3976 markings/sec, 535 secs
lola: 2089504 markings, 2198755 edges, 3978 markings/sec, 540 secs
lola: 2107887 markings, 2224250 edges, 3677 markings/sec, 545 secs
lola: 2127647 markings, 2244610 edges, 3952 markings/sec, 550 secs
lola: 2147399 markings, 2264963 edges, 3950 markings/sec, 555 secs
lola: 2167188 markings, 2285353 edges, 3958 markings/sec, 560 secs
lola: 2186940 markings, 2305704 edges, 3950 markings/sec, 565 secs
lola: 2206755 markings, 2326120 edges, 3963 markings/sec, 570 secs
lola: 2226352 markings, 2346317 edges, 3919 markings/sec, 575 secs
lola: 2245955 markings, 2366519 edges, 3921 markings/sec, 580 secs
lola: 2265736 markings, 2386901 edges, 3956 markings/sec, 585 secs
lola: 2285633 markings, 2407400 edges, 3979 markings/sec, 590 secs
lola: 2305490 markings, 2427857 edges, 3971 markings/sec, 595 secs
lola: 2325359 markings, 2448327 edges, 3974 markings/sec, 600 secs
lola: 2345240 markings, 2468809 edges, 3976 markings/sec, 605 secs
lola: 2363657 markings, 2494339 edges, 3683 markings/sec, 610 secs
lola: 2383414 markings, 2514696 edges, 3951 markings/sec, 615 secs
lola: 2403160 markings, 2535042 edges, 3949 markings/sec, 620 secs
lola: 2422919 markings, 2555402 edges, 3952 markings/sec, 625 secs
lola: 2442650 markings, 2575733 edges, 3946 markings/sec, 630 secs
lola: 2462419 markings, 2596102 edges, 3954 markings/sec, 635 secs
lola: 2482244 markings, 2616528 edges, 3965 markings/sec, 640 secs
lola: 2502082 markings, 2636967 edges, 3968 markings/sec, 645 secs
lola: 2521967 markings, 2657454 edges, 3977 markings/sec, 650 secs
lola: 2541914 markings, 2678002 edges, 3989 markings/sec, 655 secs
lola: 2561850 markings, 2698539 edges, 3987 markings/sec, 660 secs
lola: 2581722 markings, 2719012 edges, 3974 markings/sec, 665 secs
lola: 2601586 markings, 2739477 edges, 3973 markings/sec, 670 secs
lola: 2621056 markings, 2761397 edges, 3894 markings/sec, 675 secs
lola: 2639812 markings, 2785417 edges, 3751 markings/sec, 680 secs
lola: 2659552 markings, 2805756 edges, 3948 markings/sec, 685 secs
lola: 2679228 markings, 2826032 edges, 3935 markings/sec, 690 secs
lola: 2698947 markings, 2846353 edges, 3944 markings/sec, 695 secs
lola: 2718742 markings, 2866747 edges, 3959 markings/sec, 700 secs
lola: 2738554 markings, 2887161 edges, 3962 markings/sec, 705 secs
lola: 2758399 markings, 2907606 edges, 3969 markings/sec, 710 secs
lola: 2778282 markings, 2928090 edges, 3977 markings/sec, 715 secs
lola: 2798199 markings, 2948608 edges, 3983 markings/sec, 720 secs
lola: 2818249 markings, 2969261 edges, 4010 markings/sec, 725 secs
lola: 2838372 markings, 2989986 edges, 4025 markings/sec, 730 secs
lola: 2858499 markings, 3010716 edges, 4025 markings/sec, 735 secs
lola: 2878623 markings, 3031442 edges, 4025 markings/sec, 740 secs
lola: 2897253 markings, 3057186 edges, 3726 markings/sec, 745 secs
lola: 2917251 markings, 3077786 edges, 4000 markings/sec, 750 secs
lola: 2936959 markings, 3098095 edges, 3942 markings/sec, 755 secs
lola: 2956729 markings, 3118465 edges, 3954 markings/sec, 760 secs
lola: 2976512 markings, 3138848 edges, 3957 markings/sec, 765 secs
lola: 2996306 markings, 3159243 edges, 3959 markings/sec, 770 secs
lola: 3016145 markings, 3179682 edges, 3968 markings/sec, 775 secs
lola: 3036011 markings, 3200150 edges, 3973 markings/sec, 780 secs
lola: 3055914 markings, 3220655 edges, 3981 markings/sec, 785 secs
lola: 3075864 markings, 3241205 edges, 3990 markings/sec, 790 secs
lola: 3095730 markings, 3261672 edges, 3973 markings/sec, 795 secs
lola: 3115589 markings, 3282132 edges, 3972 markings/sec, 800 secs
lola: 3135473 markings, 3302618 edges, 3977 markings/sec, 805 secs
lola: 3153871 markings, 3328128 edges, 3680 markings/sec, 810 secs
lola: 3173647 markings, 3348504 edges, 3955 markings/sec, 815 secs
lola: 3193398 markings, 3368856 edges, 3950 markings/sec, 820 secs
lola: 3213158 markings, 3389216 edges, 3952 markings/sec, 825 secs
lola: 3232892 markings, 3409550 edges, 3947 markings/sec, 830 secs
lola: 3252686 markings, 3429945 edges, 3959 markings/sec, 835 secs
lola: 3272475 markings, 3450334 edges, 3958 markings/sec, 840 secs
lola: 3292361 markings, 3470822 edges, 3977 markings/sec, 845 secs
lola: local time limit reached - aborting
lola:
preliminary result: 40 unknown 40 unknown unknown 40 40 unknown 1 1 1 1 1 1 1 1
lola: memory consumption: 6763828 KB
lola: time consumption: 1005 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 40 unknown 40 unknown unknown 40 40 unknown 1 1 1 1 1 1 1 1
lola: memory consumption: 6771484 KB
lola: time consumption: 1006 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 847 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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_23_10 + RecBuff_23_11 + RecBuff_23_12 + RecBuff_23_13 + RecBuff_23_14 + RecBuff_23_15 + RecBuff_23_16 + RecBuff_23_17 + RecBuff_23_18 + RecBuff_23_19 + RecBuff_23_20 + RecBuff_23_21 + RecBuff_23_22 + RecBuff_23_23 + RecBuff_23_24 + RecBuff_23_25 + RecBu... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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_23_10 + RecBuff_23_11 + RecBuff_23_12 + RecBuff_23_13 + RecBuff_23_14 + RecBuff_23_15 + RecBuff_23_16 + RecBuff_23_17 + RecBuff_23_18 + RecBuff_23_19 + RecBuff_23_20 + RecBuff_23_21 + RecBuff_23_22 + RecBuff_23_23 + RecBuff_23_24 + RecBuff_23_25 + RecBu... (shortened)
lola: processed formula length: 24882
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 6574 markings, 6660 edges, 1315 markings/sec, 25 secs
lola: SUBRESULT
lola: result: 1560
lola: produced by: state space
lola: The maximum value of the given expression is 1560
lola: 8561 markings, 8659 edges
lola: subprocess 14 will run for 1255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(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_2... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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_2... (shortened)
lola: processed formula length: 31282
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 1560
lola: 1100 markings, 1104 edges, 220 markings/sec, 20 secs
lola: 13213 markings, 22021 edges, 2423 markings/sec, 25 secs
lola: 25490 markings, 41033 edges, 2455 markings/sec, 30 secs
lola: 37563 markings, 61905 edges, 2415 markings/sec, 35 secs
lola: 49246 markings, 85089 edges, 2337 markings/sec, 40 secs
lola: 60686 markings, 109942 edges, 2288 markings/sec, 45 secs
lola: 72337 markings, 133036 edges, 2330 markings/sec, 50 secs
lola: 84500 markings, 153299 edges, 2433 markings/sec, 55 secs
lola: 96488 markings, 174305 edges, 2398 markings/sec, 60 secs
lola: 108212 markings, 197154 edges, 2345 markings/sec, 65 secs
lola: 119675 markings, 220748 edges, 2293 markings/sec, 70 secs
lola: 131367 markings, 242764 edges, 2338 markings/sec, 75 secs
lola: 142192 markings, 269173 edges, 2165 markings/sec, 80 secs
lola: 152988 markings, 295216 edges, 2159 markings/sec, 85 secs
lola: 164623 markings, 317141 edges, 2327 markings/sec, 90 secs
lola: 174774 markings, 348094 edges, 2030 markings/sec, 95 secs
lola: 186873 markings, 367042 edges, 2420 markings/sec, 100 secs
lola: 198685 markings, 386263 edges, 2362 markings/sec, 105 secs
lola: 210509 markings, 404853 edges, 2365 markings/sec, 110 secs
lola: 221694 markings, 427498 edges, 2237 markings/sec, 115 secs
lola: 233164 markings, 449502 edges, 2294 markings/sec, 120 secs
lola: 244570 markings, 471763 edges, 2281 markings/sec, 125 secs
lola: 256563 markings, 491175 edges, 2399 markings/sec, 130 secs
lola: 268446 markings, 512104 edges, 2377 markings/sec, 135 secs
lola: 280092 markings, 533899 edges, 2329 markings/sec, 140 secs
lola: 291552 markings, 556447 edges, 2292 markings/sec, 145 secs
lola: 303399 markings, 576599 edges, 2369 markings/sec, 150 secs
lola: 315172 markings, 598019 edges, 2355 markings/sec, 155 secs
lola: 326474 markings, 621561 edges, 2260 markings/sec, 160 secs
lola: 337765 markings, 645396 edges, 2258 markings/sec, 165 secs
lola: 349113 markings, 667523 edges, 2270 markings/sec, 170 secs
lola: 360876 markings, 687428 edges, 2353 markings/sec, 175 secs
lola: 372009 markings, 710583 edges, 2227 markings/sec, 180 secs
lola: 383833 markings, 730589 edges, 2365 markings/sec, 185 secs
lola: 395564 markings, 751421 edges, 2346 markings/sec, 190 secs
lola: 406766 markings, 774796 edges, 2240 markings/sec, 195 secs
lola: 418175 markings, 796772 edges, 2282 markings/sec, 200 secs
lola: 429549 markings, 819025 edges, 2275 markings/sec, 205 secs
lola: 441286 markings, 838591 edges, 2347 markings/sec, 210 secs
lola: 453008 markings, 859279 edges, 2344 markings/sec, 215 secs
lola: 464082 markings, 883174 edges, 2215 markings/sec, 220 secs
lola: 474936 markings, 908278 edges, 2171 markings/sec, 225 secs
lola: 485689 markings, 934257 edges, 2151 markings/sec, 230 secs
lola: 495861 markings, 963824 edges, 2034 markings/sec, 235 secs
lola: 507582 markings, 984526 edges, 2344 markings/sec, 240 secs
lola: 519324 markings, 1005266 edges, 2348 markings/sec, 245 secs
lola: 530612 markings, 1028825 edges, 2258 markings/sec, 250 secs
lola: 542562 markings, 1049473 edges, 2390 markings/sec, 255 secs
lola: 554217 markings, 1071292 edges, 2331 markings/sec, 260 secs
lola: 565673 markings, 1093472 edges, 2291 markings/sec, 265 secs
lola: 577063 markings, 1116995 edges, 2278 markings/sec, 270 secs
lola: 588880 markings, 1137326 edges, 2363 markings/sec, 275 secs
lola: 600655 markings, 1158175 edges, 2355 markings/sec, 280 secs
lola: 612179 markings, 1180889 edges, 2305 markings/sec, 285 secs
lola: 623395 markings, 1204620 edges, 2243 markings/sec, 290 secs
lola: 634266 markings, 1230761 edges, 2174 markings/sec, 295 secs
lola: 644946 markings, 1257519 edges, 2136 markings/sec, 300 secs
lola: 656342 markings, 1279242 edges, 2279 markings/sec, 305 secs
lola: 667166 markings, 1304874 edges, 2165 markings/sec, 310 secs
lola: 677712 markings, 1332192 edges, 2109 markings/sec, 315 secs
lola: 687933 markings, 1361334 edges, 2044 markings/sec, 320 secs
lola: 698814 markings, 1387671 edges, 2176 markings/sec, 325 secs
lola: 709463 markings, 1415091 edges, 2130 markings/sec, 330 secs
lola: 719682 markings, 1444358 edges, 2044 markings/sec, 335 secs
lola: 730017 markings, 1471723 edges, 2067 markings/sec, 340 secs
lola: 740391 markings, 1500796 edges, 2075 markings/sec, 345 secs
lola: 751204 markings, 1526191 edges, 2163 markings/sec, 350 secs
lola: 761974 markings, 1553467 edges, 2154 markings/sec, 355 secs
lola: 772224 markings, 1583395 edges, 2050 markings/sec, 360 secs
lola: 782637 markings, 1612461 edges, 2083 markings/sec, 365 secs
lola: 792571 markings, 1644312 edges, 1987 markings/sec, 370 secs
lola: 802300 markings, 1676724 edges, 1946 markings/sec, 375 secs
lola: 811842 markings, 1709140 edges, 1908 markings/sec, 380 secs
lola: 822783 markings, 1735663 edges, 2188 markings/sec, 385 secs
lola: 833705 markings, 1760821 edges, 2184 markings/sec, 390 secs
lola: 845730 markings, 1779375 edges, 2405 markings/sec, 395 secs
lola: 857163 markings, 1800857 edges, 2287 markings/sec, 400 secs
lola: 868750 markings, 1821295 edges, 2317 markings/sec, 405 secs
lola: 879727 markings, 1845258 edges, 2195 markings/sec, 410 secs
lola: 890324 markings, 1871742 edges, 2119 markings/sec, 415 secs
lola: 900516 markings, 1900675 edges, 2038 markings/sec, 420 secs
lola: 912168 markings, 1921308 edges, 2330 markings/sec, 425 secs
lola: 923558 markings, 1943661 edges, 2278 markings/sec, 430 secs
lola: 934284 markings, 1969790 edges, 2145 markings/sec, 435 secs
lola: 944972 markings, 1996499 edges, 2138 markings/sec, 440 secs
lola: 956098 markings, 2019917 edges, 2225 markings/sec, 445 secs
lola: 967545 markings, 2041300 edges, 2289 markings/sec, 450 secs
lola: 978723 markings, 2064676 edges, 2236 markings/sec, 455 secs
lola: 989661 markings, 2089637 edges, 2188 markings/sec, 460 secs
lola: 1001878 markings, 2106462 edges, 2443 markings/sec, 465 secs
lola: 1013566 markings, 2126160 edges, 2338 markings/sec, 470 secs
lola: 1024993 markings, 2147741 edges, 2285 markings/sec, 475 secs
lola: 1036167 markings, 2172065 edges, 2235 markings/sec, 480 secs
lola: 1048011 markings, 2193669 edges, 2369 markings/sec, 485 secs
lola: 1059580 markings, 2215865 edges, 2314 markings/sec, 490 secs
lola: 1071374 markings, 2237988 edges, 2359 markings/sec, 495 secs
lola: 1083211 markings, 2257644 edges, 2367 markings/sec, 500 secs
lola: 1094531 markings, 2280437 edges, 2264 markings/sec, 505 secs
lola: 1105615 markings, 2304563 edges, 2217 markings/sec, 510 secs
lola: 1116216 markings, 2331344 edges, 2120 markings/sec, 515 secs
lola: 1127997 markings, 2352321 edges, 2356 markings/sec, 520 secs
lola: 1139235 markings, 2374933 edges, 2248 markings/sec, 525 secs
lola: 1150893 markings, 2395371 edges, 2332 markings/sec, 530 secs
lola: 1162379 markings, 2417150 edges, 2297 markings/sec, 535 secs
lola: 1173521 markings, 2439673 edges, 2228 markings/sec, 540 secs
lola: 1185237 markings, 2459748 edges, 2343 markings/sec, 545 secs
lola: 1196756 markings, 2480519 edges, 2304 markings/sec, 550 secs
lola: 1207131 markings, 2503276 edges, 2075 markings/sec, 555 secs
lola: 1219012 markings, 2521537 edges, 2376 markings/sec, 560 secs
lola: 1230287 markings, 2544469 edges, 2255 markings/sec, 565 secs
lola: 1241701 markings, 2567124 edges, 2283 markings/sec, 570 secs
lola: 1252489 markings, 2593275 edges, 2158 markings/sec, 575 secs
lola: 1264206 markings, 2613323 edges, 2343 markings/sec, 580 secs
lola: 1275740 markings, 2636569 edges, 2307 markings/sec, 585 secs
lola: 1287494 markings, 2656567 edges, 2351 markings/sec, 590 secs
lola: 1299296 markings, 2677132 edges, 2360 markings/sec, 595 secs
lola: 1310726 markings, 2698390 edges, 2286 markings/sec, 600 secs
lola: 1322096 markings, 2720780 edges, 2274 markings/sec, 605 secs
lola: 1334050 markings, 2740637 edges, 2391 markings/sec, 610 secs
lola: 1345553 markings, 2763303 edges, 2301 markings/sec, 615 secs
lola: 1357082 markings, 2785905 edges, 2306 markings/sec, 620 secs
lola: 1368402 markings, 2810517 edges, 2264 markings/sec, 625 secs
lola: 1380508 markings, 2829252 edges, 2421 markings/sec, 630 secs
lola: 1392425 markings, 2850124 edges, 2383 markings/sec, 635 secs
lola: 1403697 markings, 2874014 edges, 2254 markings/sec, 640 secs
lola: 1414684 markings, 2899061 edges, 2197 markings/sec, 645 secs
lola: 1425411 markings, 2925204 edges, 2145 markings/sec, 650 secs
lola: 1435845 markings, 2953768 edges, 2087 markings/sec, 655 secs
lola: 1447311 markings, 2976746 edges, 2293 markings/sec, 660 secs
lola: 1459275 markings, 2996972 edges, 2393 markings/sec, 665 secs
lola: 1470605 markings, 3021504 edges, 2266 markings/sec, 670 secs
lola: 1482856 markings, 3041622 edges, 2450 markings/sec, 675 secs
lola: 1494686 markings, 3063931 edges, 2366 markings/sec, 680 secs
lola: 1506172 markings, 3086659 edges, 2297 markings/sec, 685 secs
lola: 1517659 markings, 3109537 edges, 2297 markings/sec, 690 secs
lola: 1529390 markings, 3130144 edges, 2346 markings/sec, 695 secs
lola: 1541146 markings, 3150742 edges, 2351 markings/sec, 700 secs
lola: 1552717 markings, 3173173 edges, 2314 markings/sec, 705 secs
lola: 1564010 markings, 3197501 edges, 2259 markings/sec, 710 secs
lola: 1575054 markings, 3223796 edges, 2209 markings/sec, 715 secs
lola: 1585684 markings, 3250779 edges, 2126 markings/sec, 720 secs
lola: 1596999 markings, 3272175 edges, 2263 markings/sec, 725 secs
lola: 1607641 markings, 3297157 edges, 2128 markings/sec, 730 secs
lola: 1618364 markings, 3324353 edges, 2145 markings/sec, 735 secs
lola: 1627993 markings, 3352877 edges, 1926 markings/sec, 740 secs
lola: 1638465 markings, 3377686 edges, 2094 markings/sec, 745 secs
lola: 1648477 markings, 3402933 edges, 2002 markings/sec, 750 secs
lola: 1658209 markings, 3429961 edges, 1946 markings/sec, 755 secs
lola: 1667941 markings, 3456511 edges, 1946 markings/sec, 760 secs
lola: 1677714 markings, 3485277 edges, 1955 markings/sec, 765 secs
lola: 1688068 markings, 3509449 edges, 2071 markings/sec, 770 secs
lola: 1698321 markings, 3534979 edges, 2051 markings/sec, 775 secs
lola: 1708821 markings, 3562568 edges, 2100 markings/sec, 780 secs
lola: 1718870 markings, 3592063 edges, 2010 markings/sec, 785 secs
lola: 1728932 markings, 3623118 edges, 2012 markings/sec, 790 secs
lola: 1738925 markings, 3654871 edges, 1999 markings/sec, 795 secs
lola: 1748368 markings, 3689028 edges, 1889 markings/sec, 800 secs
lola: 1759613 markings, 3712289 edges, 2249 markings/sec, 805 secs
lola: 1771454 markings, 3732251 edges, 2368 markings/sec, 810 secs
lola: 1782584 markings, 3756413 edges, 2226 markings/sec, 815 secs
lola: 1794520 markings, 3776006 edges, 2387 markings/sec, 820 secs
lola: 1806130 markings, 3797796 edges, 2322 markings/sec, 825 secs
lola: 1817477 markings, 3820739 edges, 2269 markings/sec, 830 secs
lola: 1829033 markings, 3842865 edges, 2311 markings/sec, 835 secs
lola: 1840677 markings, 3863733 edges, 2329 markings/sec, 840 secs
lola: 1852415 markings, 3884379 edges, 2348 markings/sec, 845 secs
lola: 1863992 markings, 3906431 edges, 2315 markings/sec, 850 secs
lola: 1875132 markings, 3930402 edges, 2228 markings/sec, 855 secs
lola: 1886043 markings, 3956090 edges, 2182 markings/sec, 860 secs
lola: 1896691 markings, 3983282 edges, 2130 markings/sec, 865 secs
lola: 1907180 markings, 4011508 edges, 2098 markings/sec, 870 secs
lola: 1919190 markings, 4031526 edges, 2402 markings/sec, 875 secs
lola: 1930848 markings, 4053492 edges, 2332 markings/sec, 880 secs
lola: 1942219 markings, 4076271 edges, 2274 markings/sec, 885 secs
lola: 1954447 markings, 4096316 edges, 2446 markings/sec, 890 secs
lola: 1966076 markings, 4119234 edges, 2326 markings/sec, 895 secs
lola: 1977640 markings, 4141950 edges, 2313 markings/sec, 900 secs
lola: 1988993 markings, 4166498 edges, 2271 markings/sec, 905 secs
lola: 2001105 markings, 4185413 edges, 2422 markings/sec, 910 secs
lola: 2013112 markings, 4206232 edges, 2401 markings/sec, 915 secs
lola: 2024436 markings, 4230336 edges, 2265 markings/sec, 920 secs
lola: 2035459 markings, 4255975 edges, 2205 markings/sec, 925 secs
lola: 2046440 markings, 4282288 edges, 2196 markings/sec, 930 secs
lola: 2057619 markings, 4306398 edges, 2236 markings/sec, 935 secs
lola: 2068729 markings, 4330642 edges, 2222 markings/sec, 940 secs
lola: 2079532 markings, 4357236 edges, 2161 markings/sec, 945 secs
lola: 2089997 markings, 4385640 edges, 2093 markings/sec, 950 secs
lola: 2100551 markings, 4413816 edges, 2111 markings/sec, 955 secs
lola: 2111530 markings, 4440159 edges, 2196 markings/sec, 960 secs
lola: 2121958 markings, 4469462 edges, 2086 markings/sec, 965 secs
lola: 2132491 markings, 4497281 edges, 2107 markings/sec, 970 secs
lola: 2142864 markings, 4526989 edges, 2075 markings/sec, 975 secs
lola: 2153677 markings, 4553160 edges, 2163 markings/sec, 980 secs
lola: 2164402 markings, 4579945 edges, 2145 markings/sec, 985 secs
lola: 2175113 markings, 4608151 edges, 2142 markings/sec, 990 secs
lola: 2185280 markings, 4637915 edges, 2033 markings/sec, 995 secs
lola: 2194378 markings, 4657056 edges, 1820 markings/sec, 1000 secs
lola: Child process aborted or communication problem between parent and child process
lola: Cannot launch process for handling subproblem
lola: Cannot launch process for handling subproblem
lola: Cannot launch process for handling subproblem
lola: RESULT
lola:
SUMMARY: 40 1560 40 unknown unknown 40 40 1 1 1 1 1 1 1 1
lola:
preliminary result: 40 1560 40 unknown unknown 40 40 1 1 1 1 1 1 1 1
lola: memory consumption: 610284 KB
lola: time consumption: 2070 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1552492271548

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

grep: GenericPropertiesVerdict.xml: No such file or directory
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="lola"
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 lola"
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 r049-oct2-155234405700839"
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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;