About the Execution of LoLA for BlocksWorld-PT-17
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2647.235 | 1800000.00 | 5408263.00 | 3528.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r614-tall-171774432200185.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is BlocksWorld-PT-17, examination is OneSafe
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r614-tall-171774432200185
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 127M
-rw-r--r-- 1 mcc users 2.3M Jun 7 06:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 11M Jun 7 06:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0M Jun 7 06:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 21M Jun 7 06:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 49K Jun 7 06:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 152K Jun 7 06:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7M Jun 7 06:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 6.2M Jun 7 06:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 7 06:26 NewModel
-rw-r--r-- 1 mcc users 4.2M Jun 7 06:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19M Jun 7 06:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2M Jun 7 06:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 43M Jun 7 06:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 338K Jun 7 06:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 812K Jun 7 06:43 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jun 7 06:26 equiv_col
-rw-r--r-- 1 mcc users 3 Jun 7 06:26 instance
-rw-r--r-- 1 mcc users 6 Jun 7 06:26 iscolored
-rw-r--r-- 1 mcc users 7.4M Jun 7 06:26 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME OneSafe
=== Now, execution of the tool begins
BK_START 1717781032832
starting LoLA
BK_EXAMINATION: OneSafe
BK_TIME_CONFINEMENT: 1800
BK_MEMORY_CONFINEMENT: 16384
BK_BIN_PATH: /home/mcc/BenchKit/bin/
current directory: /home/mcc/execution
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 1800 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7824
[[35mlola[0m][I] state equation: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7816
[[35mlola[0m][I] state equation: 14
[[35mlola[0m][I] symmetry: 1
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7808
[[35mlola[0m][I] state equation: 22
[[35mlola[0m][I] symmetry: 1
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7801
[[35mlola[0m][I] state equation: 29
[[35mlola[0m][I] symmetry: 1
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7794
[[35mlola[0m][I] state equation: 36
[[35mlola[0m][I] symmetry: 1
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7785
[[35mlola[0m][I] state equation: 44
[[35mlola[0m][I] symmetry: 2
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7778
[[35mlola[0m][I] state equation: 51
[[35mlola[0m][I] symmetry: 2
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7770
[[35mlola[0m][I] state equation: 59
[[35mlola[0m][I] symmetry: 2
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7763
[[35mlola[0m][I] state equation: 66
[[35mlola[0m][I] symmetry: 2
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7754
[[35mlola[0m][I] state equation: 74
[[35mlola[0m][I] symmetry: 3
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7747
[[35mlola[0m][I] state equation: 81
[[35mlola[0m][I] symmetry: 3
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7740
[[35mlola[0m][I] state equation: 88
[[35mlola[0m][I] symmetry: 3
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7732
[[35mlola[0m][I] state equation: 96
[[35mlola[0m][I] symmetry: 3
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7725
[[35mlola[0m][I] state equation: 103
[[35mlola[0m][I] symmetry: 3
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7717
[[35mlola[0m][I] state equation: 111
[[35mlola[0m][I] symmetry: 3
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7709
[[35mlola[0m][I] state equation: 119
[[35mlola[0m][I] symmetry: 3
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7702
[[35mlola[0m][I] state equation: 126
[[35mlola[0m][I] symmetry: 3
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7695
[[35mlola[0m][I] state equation: 133
[[35mlola[0m][I] symmetry: 3
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7686
[[35mlola[0m][I] state equation: 141
[[35mlola[0m][I] symmetry: 4
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7679
[[35mlola[0m][I] state equation: 148
[[35mlola[0m][I] symmetry: 4
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7670
[[35mlola[0m][I] state equation: 156
[[35mlola[0m][I] symmetry: 5
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7663
[[35mlola[0m][I] state equation: 163
[[35mlola[0m][I] symmetry: 5
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7656
[[35mlola[0m][I] state equation: 170
[[35mlola[0m][I] symmetry: 5
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7648
[[35mlola[0m][I] state equation: 178
[[35mlola[0m][I] symmetry: 5
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7641
[[35mlola[0m][I] state equation: 185
[[35mlola[0m][I] symmetry: 5
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7633
[[35mlola[0m][I] state equation: 193
[[35mlola[0m][I] symmetry: 5
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7626
[[35mlola[0m][I] state equation: 200
[[35mlola[0m][I] symmetry: 5
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7618
[[35mlola[0m][I] state equation: 208
[[35mlola[0m][I] symmetry: 5
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7611
[[35mlola[0m][I] state equation: 215
[[35mlola[0m][I] symmetry: 5
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7604
[[35mlola[0m][I] state equation: 222
[[35mlola[0m][I] symmetry: 5
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7597
[[35mlola[0m][I] state equation: 229
[[35mlola[0m][I] symmetry: 5
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7590
[[35mlola[0m][I] state equation: 236
[[35mlola[0m][I] symmetry: 5
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7581
[[35mlola[0m][I] state equation: 244
[[35mlola[0m][I] symmetry: 6
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7574
[[35mlola[0m][I] state equation: 251
[[35mlola[0m][I] symmetry: 6
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7566
[[35mlola[0m][I] state equation: 259
[[35mlola[0m][I] symmetry: 6
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7559
[[35mlola[0m][I] state equation: 266
[[35mlola[0m][I] symmetry: 6
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7552
[[35mlola[0m][I] state equation: 273
[[35mlola[0m][I] symmetry: 6
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7544
[[35mlola[0m][I] state equation: 281
[[35mlola[0m][I] symmetry: 6
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7536
[[35mlola[0m][I] state equation: 289
[[35mlola[0m][I] symmetry: 6
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7528
[[35mlola[0m][I] state equation: 296
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7520
[[35mlola[0m][I] state equation: 304
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7513
[[35mlola[0m][I] state equation: 311
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7505
[[35mlola[0m][I] state equation: 319
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7498
[[35mlola[0m][I] state equation: 326
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7490
[[35mlola[0m][I] state equation: 334
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7482
[[35mlola[0m][I] state equation: 342
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7475
[[35mlola[0m][I] state equation: 349
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7467
[[35mlola[0m][I] state equation: 357
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7460
[[35mlola[0m][I] state equation: 364
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7453
[[35mlola[0m][I] state equation: 371
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7446
[[35mlola[0m][I] state equation: 378
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7439
[[35mlola[0m][I] state equation: 385
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7432
[[35mlola[0m][I] state equation: 392
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7424
[[35mlola[0m][I] state equation: 400
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7417
[[35mlola[0m][I] state equation: 407
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7410
[[35mlola[0m][I] state equation: 414
[[35mlola[0m][I] symmetry: 7
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7401
[[35mlola[0m][I] state equation: 422
[[35mlola[0m][I] symmetry: 8
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7394
[[35mlola[0m][I] state equation: 429
[[35mlola[0m][I] symmetry: 8
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7386
[[35mlola[0m][I] state equation: 437
[[35mlola[0m][I] symmetry: 8
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7379
[[35mlola[0m][I] state equation: 444
[[35mlola[0m][I] symmetry: 8
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7371
[[35mlola[0m][I] state equation: 452
[[35mlola[0m][I] symmetry: 8
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7362
[[35mlola[0m][I] state equation: 460
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7355
[[35mlola[0m][I] state equation: 467
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7348
[[35mlola[0m][I] state equation: 474
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7340
[[35mlola[0m][I] state equation: 482
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7332
[[35mlola[0m][I] state equation: 490
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7324
[[35mlola[0m][I] state equation: 498
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7316
[[35mlola[0m][I] state equation: 506
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7307
[[35mlola[0m][I] state equation: 515
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7300
[[35mlola[0m][I] state equation: 522
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7292
[[35mlola[0m][I] state equation: 530
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7284
[[35mlola[0m][I] state equation: 538
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7276
[[35mlola[0m][I] state equation: 546
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7269
[[35mlola[0m][I] state equation: 553
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7261
[[35mlola[0m][I] state equation: 561
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7253
[[35mlola[0m][I] state equation: 569
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7246
[[35mlola[0m][I] state equation: 576
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7238
[[35mlola[0m][I] state equation: 584
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7231
[[35mlola[0m][I] state equation: 591
[[35mlola[0m][I] symmetry: 9
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7223
[[35mlola[0m][I] state equation: 598
[[35mlola[0m][I] symmetry: 10
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7216
[[35mlola[0m][I] state equation: 605
[[35mlola[0m][I] symmetry: 10
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7209
[[35mlola[0m][I] state equation: 612
[[35mlola[0m][I] symmetry: 10
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7202
[[35mlola[0m][I] state equation: 619
[[35mlola[0m][I] symmetry: 10
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7195
[[35mlola[0m][I] state equation: 626
[[35mlola[0m][I] symmetry: 10
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7188
[[35mlola[0m][I] state equation: 633
[[35mlola[0m][I] symmetry: 10
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7179
[[35mlola[0m][I] state equation: 641
[[35mlola[0m][I] symmetry: 11
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7172
[[35mlola[0m][I] state equation: 648
[[35mlola[0m][I] symmetry: 11
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7164
[[35mlola[0m][I] state equation: 656
[[35mlola[0m][I] symmetry: 11
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7156
[[35mlola[0m][I] state equation: 664
[[35mlola[0m][I] symmetry: 11
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7148
[[35mlola[0m][I] state equation: 672
[[35mlola[0m][I] symmetry: 11
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7140
[[35mlola[0m][I] state equation: 680
[[35mlola[0m][I] symmetry: 11
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7133
[[35mlola[0m][I] state equation: 687
[[35mlola[0m][I] symmetry: 11
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7124
[[35mlola[0m][I] state equation: 695
[[35mlola[0m][I] symmetry: 12
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7116
[[35mlola[0m][I] state equation: 703
[[35mlola[0m][I] symmetry: 12
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7108
[[35mlola[0m][I] state equation: 711
[[35mlola[0m][I] symmetry: 12
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7101
[[35mlola[0m][I] state equation: 718
[[35mlola[0m][I] symmetry: 12
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7094
[[35mlola[0m][I] state equation: 725
[[35mlola[0m][I] symmetry: 12
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7087
[[35mlola[0m][I] state equation: 732
[[35mlola[0m][I] symmetry: 12
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7079
[[35mlola[0m][I] state equation: 740
[[35mlola[0m][I] symmetry: 12
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7072
[[35mlola[0m][I] state equation: 747
[[35mlola[0m][I] symmetry: 12
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7065
[[35mlola[0m][I] state equation: 754
[[35mlola[0m][I] symmetry: 12
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7058
[[35mlola[0m][I] state equation: 761
[[35mlola[0m][I] symmetry: 12
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7051
[[35mlola[0m][I] state equation: 768
[[35mlola[0m][I] symmetry: 12
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7043
[[35mlola[0m][I] state equation: 776
[[35mlola[0m][I] symmetry: 12
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7035
[[35mlola[0m][I] state equation: 783
[[35mlola[0m][I] symmetry: 13
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7027
[[35mlola[0m][I] state equation: 791
[[35mlola[0m][I] symmetry: 13
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7019
[[35mlola[0m][I] state equation: 799
[[35mlola[0m][I] symmetry: 13
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7012
[[35mlola[0m][I] state equation: 806
[[35mlola[0m][I] symmetry: 13
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7005
[[35mlola[0m][I] state equation: 813
[[35mlola[0m][I] symmetry: 13
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6997
[[35mlola[0m][I] state equation: 821
[[35mlola[0m][I] symmetry: 13
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6990
[[35mlola[0m][I] state equation: 828
[[35mlola[0m][I] symmetry: 13
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6982
[[35mlola[0m][I] state equation: 836
[[35mlola[0m][I] symmetry: 13
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6974
[[35mlola[0m][I] state equation: 844
[[35mlola[0m][I] symmetry: 13
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6966
[[35mlola[0m][I] state equation: 852
[[35mlola[0m][I] symmetry: 13
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6958
[[35mlola[0m][I] state equation: 859
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6950
[[35mlola[0m][I] state equation: 867
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6942
[[35mlola[0m][I] state equation: 875
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6935
[[35mlola[0m][I] state equation: 882
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6927
[[35mlola[0m][I] state equation: 890
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6920
[[35mlola[0m][I] state equation: 897
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6913
[[35mlola[0m][I] state equation: 904
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6905
[[35mlola[0m][I] state equation: 912
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6897
[[35mlola[0m][I] state equation: 920
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6889
[[35mlola[0m][I] state equation: 928
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6882
[[35mlola[0m][I] state equation: 935
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6874
[[35mlola[0m][I] state equation: 943
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6867
[[35mlola[0m][I] state equation: 950
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6859
[[35mlola[0m][I] state equation: 958
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6852
[[35mlola[0m][I] state equation: 965
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6844
[[35mlola[0m][I] state equation: 973
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6837
[[35mlola[0m][I] state equation: 980
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6829
[[35mlola[0m][I] state equation: 988
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6822
[[35mlola[0m][I] state equation: 995
[[35mlola[0m][I] symmetry: 14
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6814
[[35mlola[0m][I] state equation: 1002
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6807
[[35mlola[0m][I] state equation: 1009
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6800
[[35mlola[0m][I] state equation: 1016
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6793
[[35mlola[0m][I] state equation: 1023
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6785
[[35mlola[0m][I] state equation: 1031
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6778
[[35mlola[0m][I] state equation: 1038
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6771
[[35mlola[0m][I] state equation: 1045
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6764
[[35mlola[0m][I] state equation: 1052
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6757
[[35mlola[0m][I] state equation: 1059
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6750
[[35mlola[0m][I] state equation: 1066
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6742
[[35mlola[0m][I] state equation: 1074
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6735
[[35mlola[0m][I] state equation: 1081
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6727
[[35mlola[0m][I] state equation: 1089
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6721
[[35mlola[0m][I] state equation: 1095
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6713
[[35mlola[0m][I] state equation: 1103
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6706
[[35mlola[0m][I] state equation: 1110
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6699
[[35mlola[0m][I] state equation: 1117
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6692
[[35mlola[0m][I] state equation: 1124
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6684
[[35mlola[0m][I] state equation: 1132
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6677
[[35mlola[0m][I] state equation: 1139
[[35mlola[0m][I] symmetry: 15
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6669
[[35mlola[0m][I] state equation: 1146
[[35mlola[0m][I] symmetry: 16
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6662
[[35mlola[0m][I] state equation: 1153
[[35mlola[0m][I] symmetry: 16
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6655
[[35mlola[0m][I] state equation: 1160
[[35mlola[0m][I] symmetry: 16
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6647
[[35mlola[0m][I] state equation: 1168
[[35mlola[0m][I] symmetry: 16
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6639
[[35mlola[0m][I] state equation: 1176
[[35mlola[0m][I] symmetry: 16
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6631
[[35mlola[0m][I] state equation: 1183
[[35mlola[0m][I] symmetry: 17
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6623
[[35mlola[0m][I] state equation: 1191
[[35mlola[0m][I] symmetry: 17
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6615
[[35mlola[0m][I] state equation: 1199
[[35mlola[0m][I] symmetry: 17
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6608
[[35mlola[0m][I] state equation: 1206
[[35mlola[0m][I] symmetry: 17
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6601
[[35mlola[0m][I] state equation: 1213
[[35mlola[0m][I] symmetry: 17
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6592
[[35mlola[0m][I] state equation: 1221
[[35mlola[0m][I] symmetry: 18
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6584
[[35mlola[0m][I] state equation: 1229
[[35mlola[0m][I] symmetry: 18
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6575
[[35mlola[0m][I] state equation: 1238
[[35mlola[0m][I] symmetry: 18
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6567
[[35mlola[0m][I] state equation: 1246
[[35mlola[0m][I] symmetry: 18
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6559
[[35mlola[0m][I] state equation: 1254
[[35mlola[0m][I] symmetry: 18
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6551
[[35mlola[0m][I] state equation: 1262
[[35mlola[0m][I] symmetry: 18
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6543
[[35mlola[0m][I] state equation: 1270
[[35mlola[0m][I] symmetry: 18
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6533
[[35mlola[0m][I] state equation: 1279
[[35mlola[0m][I] symmetry: 19
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6527
[[35mlola[0m][I] state equation: 1285
[[35mlola[0m][I] symmetry: 19
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6517
[[35mlola[0m][I] state equation: 1294
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6509
[[35mlola[0m][I] state equation: 1302
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6501
[[35mlola[0m][I] state equation: 1310
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6492
[[35mlola[0m][I] state equation: 1319
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6485
[[35mlola[0m][I] state equation: 1326
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6477
[[35mlola[0m][I] state equation: 1334
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6470
[[35mlola[0m][I] state equation: 1341
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6461
[[35mlola[0m][I] state equation: 1350
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6453
[[35mlola[0m][I] state equation: 1358
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6445
[[35mlola[0m][I] state equation: 1366
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6438
[[35mlola[0m][I] state equation: 1373
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6431
[[35mlola[0m][I] state equation: 1380
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6422
[[35mlola[0m][I] state equation: 1389
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6414
[[35mlola[0m][I] state equation: 1397
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6406
[[35mlola[0m][I] state equation: 1405
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6398
[[35mlola[0m][I] state equation: 1413
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6391
[[35mlola[0m][I] state equation: 1420
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6383
[[35mlola[0m][I] state equation: 1428
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6374
[[35mlola[0m][I] state equation: 1437
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6367
[[35mlola[0m][I] state equation: 1444
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6359
[[35mlola[0m][I] state equation: 1452
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6351
[[35mlola[0m][I] state equation: 1460
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6342
[[35mlola[0m][I] state equation: 1469
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6335
[[35mlola[0m][I] state equation: 1476
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6327
[[35mlola[0m][I] state equation: 1484
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6318
[[35mlola[0m][I] state equation: 1493
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6311
[[35mlola[0m][I] state equation: 1500
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6303
[[35mlola[0m][I] state equation: 1508
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6296
[[35mlola[0m][I] state equation: 1515
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6288
[[35mlola[0m][I] state equation: 1523
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6281
[[35mlola[0m][I] state equation: 1530
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6274
[[35mlola[0m][I] state equation: 1537
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6266
[[35mlola[0m][I] state equation: 1545
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6258
[[35mlola[0m][I] state equation: 1553
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6251
[[35mlola[0m][I] state equation: 1560
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6244
[[35mlola[0m][I] state equation: 1567
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6236
[[35mlola[0m][I] state equation: 1575
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6228
[[35mlola[0m][I] state equation: 1583
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6221
[[35mlola[0m][I] state equation: 1590
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6214
[[35mlola[0m][I] state equation: 1597
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6206
[[35mlola[0m][I] state equation: 1605
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6199
[[35mlola[0m][I] state equation: 1612
[[35mlola[0m][I] symmetry: 20
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6190
[[35mlola[0m][I] state equation: 1620
[[35mlola[0m][I] symmetry: 21
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6183
[[35mlola[0m][I] state equation: 1627
[[35mlola[0m][I] symmetry: 21
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6175
[[35mlola[0m][I] state equation: 1635
[[35mlola[0m][I] symmetry: 21
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6168
[[35mlola[0m][I] state equation: 1642
[[35mlola[0m][I] symmetry: 21
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6160
[[35mlola[0m][I] state equation: 1649
[[35mlola[0m][I] symmetry: 22
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6152
[[35mlola[0m][I] state equation: 1657
[[35mlola[0m][I] symmetry: 22
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6144
[[35mlola[0m][I] state equation: 1665
[[35mlola[0m][I] symmetry: 22
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6137
[[35mlola[0m][I] state equation: 1672
[[35mlola[0m][I] symmetry: 22
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6129
[[35mlola[0m][I] state equation: 1680
[[35mlola[0m][I] symmetry: 22
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6121
[[35mlola[0m][I] state equation: 1688
[[35mlola[0m][I] symmetry: 22
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6113
[[35mlola[0m][I] state equation: 1696
[[35mlola[0m][I] symmetry: 22
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6105
[[35mlola[0m][I] state equation: 1703
[[35mlola[0m][I] symmetry: 23
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6097
[[35mlola[0m][I] state equation: 1711
[[35mlola[0m][I] symmetry: 23
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6089
[[35mlola[0m][I] state equation: 1719
[[35mlola[0m][I] symmetry: 23
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6082
[[35mlola[0m][I] state equation: 1726
[[35mlola[0m][I] symmetry: 23
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6075
[[35mlola[0m][I] state equation: 1733
[[35mlola[0m][I] symmetry: 23
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6066
[[35mlola[0m][I] state equation: 1741
[[35mlola[0m][I] symmetry: 24
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6059
[[35mlola[0m][I] state equation: 1748
[[35mlola[0m][I] symmetry: 24
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6052
[[35mlola[0m][I] state equation: 1755
[[35mlola[0m][I] symmetry: 24
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6044
[[35mlola[0m][I] state equation: 1763
[[35mlola[0m][I] symmetry: 24
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6036
[[35mlola[0m][I] state equation: 1770
[[35mlola[0m][I] symmetry: 25
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6029
[[35mlola[0m][I] state equation: 1777
[[35mlola[0m][I] symmetry: 25
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6022
[[35mlola[0m][I] state equation: 1784
[[35mlola[0m][I] symmetry: 25
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6015
[[35mlola[0m][I] state equation: 1791
[[35mlola[0m][I] symmetry: 25
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6007
[[35mlola[0m][I] state equation: 1799
[[35mlola[0m][I] symmetry: 25
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5999
[[35mlola[0m][I] state equation: 1806
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5992
[[35mlola[0m][I] state equation: 1813
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5985
[[35mlola[0m][I] state equation: 1820
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5978
[[35mlola[0m][I] state equation: 1827
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5971
[[35mlola[0m][I] state equation: 1834
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5964
[[35mlola[0m][I] state equation: 1841
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5957
[[35mlola[0m][I] state equation: 1848
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5950
[[35mlola[0m][I] state equation: 1855
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5943
[[35mlola[0m][I] state equation: 1862
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5936
[[35mlola[0m][I] state equation: 1869
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5929
[[35mlola[0m][I] state equation: 1876
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5921
[[35mlola[0m][I] state equation: 1884
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5914
[[35mlola[0m][I] state equation: 1891
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5906
[[35mlola[0m][I] state equation: 1899
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5899
[[35mlola[0m][I] state equation: 1906
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5892
[[35mlola[0m][I] state equation: 1913
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5885
[[35mlola[0m][I] state equation: 1920
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5878
[[35mlola[0m][I] state equation: 1927
[[35mlola[0m][I] symmetry: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5869
[[35mlola[0m][I] state equation: 1935
[[35mlola[0m][I] symmetry: 27
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5862
[[35mlola[0m][I] state equation: 1942
[[35mlola[0m][I] symmetry: 27
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5855
[[35mlola[0m][I] state equation: 1949
[[35mlola[0m][I] symmetry: 27
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5848
[[35mlola[0m][I] state equation: 1956
[[35mlola[0m][I] symmetry: 27
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5841
[[35mlola[0m][I] state equation: 1963
[[35mlola[0m][I] symmetry: 27
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5834
[[35mlola[0m][I] state equation: 1970
[[35mlola[0m][I] symmetry: 27
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5827
[[35mlola[0m][I] state equation: 1977
[[35mlola[0m][I] symmetry: 27
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5820
[[35mlola[0m][I] state equation: 1984
[[35mlola[0m][I] symmetry: 27
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5811
[[35mlola[0m][I] state equation: 1992
[[35mlola[0m][I] symmetry: 28
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5804
[[35mlola[0m][I] state equation: 1999
[[35mlola[0m][I] symmetry: 28
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5796
[[35mlola[0m][I] state equation: 2007
[[35mlola[0m][I] symmetry: 28
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5789
[[35mlola[0m][I] state equation: 2014
[[35mlola[0m][I] symmetry: 28
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5780
[[35mlola[0m][I] state equation: 2022
[[35mlola[0m][I] symmetry: 29
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5773
[[35mlola[0m][I] state equation: 2029
[[35mlola[0m][I] symmetry: 29
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5765
[[35mlola[0m][I] state equation: 2037
[[35mlola[0m][I] symmetry: 29
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5757
[[35mlola[0m][I] state equation: 2045
[[35mlola[0m][I] symmetry: 29
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5749
[[35mlola[0m][I] state equation: 2053
[[35mlola[0m][I] symmetry: 29
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5741
[[35mlola[0m][I] state equation: 2061
[[35mlola[0m][I] symmetry: 29
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5734
[[35mlola[0m][I] state equation: 2068
[[35mlola[0m][I] symmetry: 29
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5726
[[35mlola[0m][I] state equation: 2076
[[35mlola[0m][I] symmetry: 29
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5718
[[35mlola[0m][I] state equation: 2084
[[35mlola[0m][I] symmetry: 29
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5710
[[35mlola[0m][I] state equation: 2092
[[35mlola[0m][I] symmetry: 29
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5702
[[35mlola[0m][I] state equation: 2100
[[35mlola[0m][I] symmetry: 29
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5694
[[35mlola[0m][I] state equation: 2108
[[35mlola[0m][I] symmetry: 29
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5685
[[35mlola[0m][I] state equation: 2116
[[35mlola[0m][I] symmetry: 30
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5678
[[35mlola[0m][I] state equation: 2123
[[35mlola[0m][I] symmetry: 30
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5670
[[35mlola[0m][I] state equation: 2131
[[35mlola[0m][I] symmetry: 30
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5662
[[35mlola[0m][I] state equation: 2139
[[35mlola[0m][I] symmetry: 30
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5654
[[35mlola[0m][I] state equation: 2147
[[35mlola[0m][I] symmetry: 30
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5646
[[35mlola[0m][I] state equation: 2155
[[35mlola[0m][I] symmetry: 30
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5638
[[35mlola[0m][I] state equation: 2163
[[35mlola[0m][I] symmetry: 30
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5629
[[35mlola[0m][I] state equation: 2171
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5621
[[35mlola[0m][I] state equation: 2179
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5613
[[35mlola[0m][I] state equation: 2187
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5605
[[35mlola[0m][I] state equation: 2195
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5597
[[35mlola[0m][I] state equation: 2203
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5589
[[35mlola[0m][I] state equation: 2211
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5581
[[35mlola[0m][I] state equation: 2219
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5574
[[35mlola[0m][I] state equation: 2226
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5566
[[35mlola[0m][I] state equation: 2234
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5559
[[35mlola[0m][I] state equation: 2241
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5551
[[35mlola[0m][I] state equation: 2249
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5544
[[35mlola[0m][I] state equation: 2256
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5536
[[35mlola[0m][I] state equation: 2264
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5529
[[35mlola[0m][I] state equation: 2271
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5523
[[35mlola[0m][I] state equation: 2277
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5517
[[35mlola[0m][I] state equation: 2283
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5511
[[35mlola[0m][I] state equation: 2289
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5504
[[35mlola[0m][I] state equation: 2296
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5498
[[35mlola[0m][I] state equation: 2302
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5490
[[35mlola[0m][I] state equation: 2310
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5484
[[35mlola[0m][I] state equation: 2316
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5476
[[35mlola[0m][I] state equation: 2324
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5470
[[35mlola[0m][I] state equation: 2330
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5462
[[35mlola[0m][I] state equation: 2338
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5455
[[35mlola[0m][I] state equation: 2345
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5448
[[35mlola[0m][I] state equation: 2352
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5441
[[35mlola[0m][I] state equation: 2359
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5434
[[35mlola[0m][I] state equation: 2366
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5427
[[35mlola[0m][I] state equation: 2373
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5420
[[35mlola[0m][I] state equation: 2380
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5413
[[35mlola[0m][I] state equation: 2387
[[35mlola[0m][I] symmetry: 31
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5405
[[35mlola[0m][I] state equation: 2394
[[35mlola[0m][I] symmetry: 32
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5398
[[35mlola[0m][I] state equation: 2401
[[35mlola[0m][I] symmetry: 32
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5391
[[35mlola[0m][I] state equation: 2408
[[35mlola[0m][I] symmetry: 32
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5384
[[35mlola[0m][I] state equation: 2415
[[35mlola[0m][I] symmetry: 32
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5377
[[35mlola[0m][I] state equation: 2422
[[35mlola[0m][I] symmetry: 32
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5370
[[35mlola[0m][I] state equation: 2429
[[35mlola[0m][I] symmetry: 32
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5363
[[35mlola[0m][I] state equation: 2436
[[35mlola[0m][I] symmetry: 32
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5356
[[35mlola[0m][I] state equation: 2443
[[35mlola[0m][I] symmetry: 32
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5349
[[35mlola[0m][I] state equation: 2450
[[35mlola[0m][I] symmetry: 32
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5342
[[35mlola[0m][I] state equation: 2457
[[35mlola[0m][I] symmetry: 32
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5334
[[35mlola[0m][I] state equation: 2464
[[35mlola[0m][I] symmetry: 33
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5327
[[35mlola[0m][I] state equation: 2471
[[35mlola[0m][I] symmetry: 33
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5320
[[35mlola[0m][I] state equation: 2478
[[35mlola[0m][I] symmetry: 33
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5312
[[35mlola[0m][I] state equation: 2486
[[35mlola[0m][I] symmetry: 33
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5304
[[35mlola[0m][I] state equation: 2493
[[35mlola[0m][I] symmetry: 34
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5297
[[35mlola[0m][I] state equation: 2500
[[35mlola[0m][I] symmetry: 34
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5290
[[35mlola[0m][I] state equation: 2507
[[35mlola[0m][I] symmetry: 34
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5283
[[35mlola[0m][I] state equation: 2514
[[35mlola[0m][I] symmetry: 34
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5275
[[35mlola[0m][I] state equation: 2522
[[35mlola[0m][I] symmetry: 34
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5268
[[35mlola[0m][I] state equation: 2529
[[35mlola[0m][I] symmetry: 34
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5261
[[35mlola[0m][I] state equation: 2536
[[35mlola[0m][I] symmetry: 34
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5253
[[35mlola[0m][I] state equation: 2544
[[35mlola[0m][I] symmetry: 34
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5246
[[35mlola[0m][I] state equation: 2551
[[35mlola[0m][I] symmetry: 34
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5238
[[35mlola[0m][I] state equation: 2559
[[35mlola[0m][I] symmetry: 34
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5230
[[35mlola[0m][I] state equation: 2567
[[35mlola[0m][I] symmetry: 34
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5222
[[35mlola[0m][I] state equation: 2575
[[35mlola[0m][I] symmetry: 34
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5215
[[35mlola[0m][I] state equation: 2582
[[35mlola[0m][I] symmetry: 34
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5207
[[35mlola[0m][I] state equation: 2589
[[35mlola[0m][I] symmetry: 35
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5199
[[35mlola[0m][I] state equation: 2597
[[35mlola[0m][I] symmetry: 35
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5192
[[35mlola[0m][I] state equation: 2604
[[35mlola[0m][I] symmetry: 35
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5184
[[35mlola[0m][I] state equation: 2612
[[35mlola[0m][I] symmetry: 35
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5177
[[35mlola[0m][I] state equation: 2619
[[35mlola[0m][I] symmetry: 35
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5169
[[35mlola[0m][I] state equation: 2627
[[35mlola[0m][I] symmetry: 35
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5162
[[35mlola[0m][I] state equation: 2634
[[35mlola[0m][I] symmetry: 35
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5153
[[35mlola[0m][I] state equation: 2642
[[35mlola[0m][I] symmetry: 36
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5146
[[35mlola[0m][I] state equation: 2649
[[35mlola[0m][I] symmetry: 36
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5138
[[35mlola[0m][I] state equation: 2657
[[35mlola[0m][I] symmetry: 36
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5131
[[35mlola[0m][I] state equation: 2664
[[35mlola[0m][I] symmetry: 36
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="BlocksWorld-PT-17"
export BK_EXAMINATION="OneSafe"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool lola"
echo " Input is BlocksWorld-PT-17, examination is OneSafe"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r614-tall-171774432200185"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BlocksWorld-PT-17.tgz
mv BlocksWorld-PT-17 execution
cd execution
if [ "OneSafe" = "ReachabilityDeadlock" ] || [ "OneSafe" = "UpperBounds" ] || [ "OneSafe" = "QuasiLiveness" ] || [ "OneSafe" = "StableMarking" ] || [ "OneSafe" = "Liveness" ] || [ "OneSafe" = "OneSafe" ] || [ "OneSafe" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "OneSafe" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "OneSafe" != "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 "OneSafe.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property OneSafe.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "OneSafe.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "OneSafe" = "ReachabilityDeadlock" ] || [ "OneSafe" = "QuasiLiveness" ] || [ "OneSafe" = "StableMarking" ] || [ "OneSafe" = "Liveness" ] || [ "OneSafe" = "OneSafe" ] ; then
echo "FORMULA_NAME OneSafe"
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 ;