About the Execution of LoLA for BlocksWorld-PT-19
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3841.783 | 1800000.00 | 5404147.00 | 4658.90 | [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-171774432200195.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-19, examination is OneSafe
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r614-tall-171774432200195
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 167M
-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 3.1M Jun 7 06:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 17M Jun 7 06:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 63K Jun 7 06:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 196K Jun 7 06:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.5M Jun 7 06:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 5.4M Jun 7 06:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 7 06:26 NewModel
-rw-r--r-- 1 mcc users 9.6M Jun 7 06:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 43M Jun 7 06:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11M Jun 7 06:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56M Jun 7 06:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 282K Jun 7 06:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 678K 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 9.2M 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 1717782197797
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: 9693
[[35mlola[0m][I] state equation: 4
[[35mlola[0m][I] symmetry: 4
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9681
[[35mlola[0m][I] state equation: 10
[[35mlola[0m][I] symmetry: 10
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9669
[[35mlola[0m][I] state equation: 16
[[35mlola[0m][I] symmetry: 16
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9657
[[35mlola[0m][I] state equation: 22
[[35mlola[0m][I] symmetry: 22
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9643
[[35mlola[0m][I] state equation: 29
[[35mlola[0m][I] symmetry: 29
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9632
[[35mlola[0m][I] state equation: 35
[[35mlola[0m][I] symmetry: 34
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9623
[[35mlola[0m][I] state equation: 41
[[35mlola[0m][I] symmetry: 37
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9612
[[35mlola[0m][I] state equation: 48
[[35mlola[0m][I] symmetry: 41
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9603
[[35mlola[0m][I] state equation: 53
[[35mlola[0m][I] symmetry: 45
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9592
[[35mlola[0m][I] state equation: 60
[[35mlola[0m][I] symmetry: 49
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9583
[[35mlola[0m][I] state equation: 66
[[35mlola[0m][I] symmetry: 52
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9572
[[35mlola[0m][I] state equation: 73
[[35mlola[0m][I] symmetry: 56
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9563
[[35mlola[0m][I] state equation: 79
[[35mlola[0m][I] symmetry: 59
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9554
[[35mlola[0m][I] state equation: 85
[[35mlola[0m][I] symmetry: 62
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9542
[[35mlola[0m][I] state equation: 92
[[35mlola[0m][I] symmetry: 67
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9534
[[35mlola[0m][I] state equation: 98
[[35mlola[0m][I] symmetry: 69
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9525
[[35mlola[0m][I] state equation: 104
[[35mlola[0m][I] symmetry: 72
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9516
[[35mlola[0m][I] state equation: 110
[[35mlola[0m][I] symmetry: 75
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9507
[[35mlola[0m][I] state equation: 117
[[35mlola[0m][I] symmetry: 77
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9498
[[35mlola[0m][I] state equation: 123
[[35mlola[0m][I] symmetry: 80
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9488
[[35mlola[0m][I] state equation: 130
[[35mlola[0m][I] symmetry: 83
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9480
[[35mlola[0m][I] state equation: 136
[[35mlola[0m][I] symmetry: 85
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9470
[[35mlola[0m][I] state equation: 142
[[35mlola[0m][I] symmetry: 89
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9462
[[35mlola[0m][I] state equation: 148
[[35mlola[0m][I] symmetry: 91
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9454
[[35mlola[0m][I] state equation: 155
[[35mlola[0m][I] symmetry: 92
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9445
[[35mlola[0m][I] state equation: 162
[[35mlola[0m][I] symmetry: 94
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9436
[[35mlola[0m][I] state equation: 168
[[35mlola[0m][I] symmetry: 97
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9426
[[35mlola[0m][I] state equation: 175
[[35mlola[0m][I] symmetry: 100
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9419
[[35mlola[0m][I] state equation: 180
[[35mlola[0m][I] symmetry: 102
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9411
[[35mlola[0m][I] state equation: 186
[[35mlola[0m][I] symmetry: 104
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9405
[[35mlola[0m][I] state equation: 192
[[35mlola[0m][I] symmetry: 104
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9398
[[35mlola[0m][I] state equation: 199
[[35mlola[0m][I] symmetry: 104
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9387
[[35mlola[0m][I] state equation: 205
[[35mlola[0m][I] symmetry: 109
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9380
[[35mlola[0m][I] state equation: 210
[[35mlola[0m][I] symmetry: 111
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9372
[[35mlola[0m][I] state equation: 216
[[35mlola[0m][I] symmetry: 113
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9364
[[35mlola[0m][I] state equation: 222
[[35mlola[0m][I] symmetry: 115
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9356
[[35mlola[0m][I] state equation: 228
[[35mlola[0m][I] symmetry: 117
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9348
[[35mlola[0m][I] state equation: 234
[[35mlola[0m][I] symmetry: 119
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9342
[[35mlola[0m][I] state equation: 240
[[35mlola[0m][I] symmetry: 119
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9335
[[35mlola[0m][I] state equation: 246
[[35mlola[0m][I] symmetry: 120
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9329
[[35mlola[0m][I] state equation: 252
[[35mlola[0m][I] symmetry: 120
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9322
[[35mlola[0m][I] state equation: 259
[[35mlola[0m][I] symmetry: 120
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9314
[[35mlola[0m][I] state equation: 265
[[35mlola[0m][I] symmetry: 122
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9308
[[35mlola[0m][I] state equation: 271
[[35mlola[0m][I] symmetry: 122
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9304
[[35mlola[0m][I] state equation: 275
[[35mlola[0m][I] symmetry: 122
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9298
[[35mlola[0m][I] state equation: 281
[[35mlola[0m][I] symmetry: 122
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9290
[[35mlola[0m][I] state equation: 288
[[35mlola[0m][I] symmetry: 123
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9284
[[35mlola[0m][I] state equation: 294
[[35mlola[0m][I] symmetry: 123
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9278
[[35mlola[0m][I] state equation: 300
[[35mlola[0m][I] symmetry: 123
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9271
[[35mlola[0m][I] state equation: 306
[[35mlola[0m][I] symmetry: 124
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9265
[[35mlola[0m][I] state equation: 311
[[35mlola[0m][I] symmetry: 125
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9259
[[35mlola[0m][I] state equation: 317
[[35mlola[0m][I] symmetry: 125
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9253
[[35mlola[0m][I] state equation: 323
[[35mlola[0m][I] symmetry: 125
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9246
[[35mlola[0m][I] state equation: 329
[[35mlola[0m][I] symmetry: 126
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9239
[[35mlola[0m][I] state equation: 335
[[35mlola[0m][I] symmetry: 127
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9233
[[35mlola[0m][I] state equation: 341
[[35mlola[0m][I] symmetry: 127
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9226
[[35mlola[0m][I] state equation: 347
[[35mlola[0m][I] symmetry: 128
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9220
[[35mlola[0m][I] state equation: 353
[[35mlola[0m][I] symmetry: 128
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9214
[[35mlola[0m][I] state equation: 359
[[35mlola[0m][I] symmetry: 128
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9208
[[35mlola[0m][I] state equation: 365
[[35mlola[0m][I] symmetry: 128
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9202
[[35mlola[0m][I] state equation: 371
[[35mlola[0m][I] symmetry: 128
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9195
[[35mlola[0m][I] state equation: 377
[[35mlola[0m][I] symmetry: 129
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9190
[[35mlola[0m][I] state equation: 382
[[35mlola[0m][I] symmetry: 129
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9183
[[35mlola[0m][I] state equation: 388
[[35mlola[0m][I] symmetry: 130
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9178
[[35mlola[0m][I] state equation: 393
[[35mlola[0m][I] symmetry: 130
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9171
[[35mlola[0m][I] state equation: 399
[[35mlola[0m][I] symmetry: 131
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9165
[[35mlola[0m][I] state equation: 404
[[35mlola[0m][I] symmetry: 132
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9158
[[35mlola[0m][I] state equation: 410
[[35mlola[0m][I] symmetry: 133
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9152
[[35mlola[0m][I] state equation: 416
[[35mlola[0m][I] symmetry: 133
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9147
[[35mlola[0m][I] state equation: 421
[[35mlola[0m][I] symmetry: 133
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9141
[[35mlola[0m][I] state equation: 427
[[35mlola[0m][I] symmetry: 133
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9134
[[35mlola[0m][I] state equation: 433
[[35mlola[0m][I] symmetry: 134
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9129
[[35mlola[0m][I] state equation: 438
[[35mlola[0m][I] symmetry: 134
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9121
[[35mlola[0m][I] state equation: 444
[[35mlola[0m][I] symmetry: 136
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9116
[[35mlola[0m][I] state equation: 449
[[35mlola[0m][I] symmetry: 136
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9109
[[35mlola[0m][I] state equation: 455
[[35mlola[0m][I] symmetry: 137
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9103
[[35mlola[0m][I] state equation: 461
[[35mlola[0m][I] symmetry: 137
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9095
[[35mlola[0m][I] state equation: 466
[[35mlola[0m][I] symmetry: 140
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9089
[[35mlola[0m][I] state equation: 472
[[35mlola[0m][I] symmetry: 140
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9083
[[35mlola[0m][I] state equation: 477
[[35mlola[0m][I] symmetry: 141
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9076
[[35mlola[0m][I] state equation: 483
[[35mlola[0m][I] symmetry: 142
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9071
[[35mlola[0m][I] state equation: 488
[[35mlola[0m][I] symmetry: 142
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9065
[[35mlola[0m][I] state equation: 494
[[35mlola[0m][I] symmetry: 142
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9060
[[35mlola[0m][I] state equation: 499
[[35mlola[0m][I] symmetry: 142
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9052
[[35mlola[0m][I] state equation: 505
[[35mlola[0m][I] symmetry: 144
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9047
[[35mlola[0m][I] state equation: 510
[[35mlola[0m][I] symmetry: 144
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9041
[[35mlola[0m][I] state equation: 516
[[35mlola[0m][I] symmetry: 144
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9035
[[35mlola[0m][I] state equation: 522
[[35mlola[0m][I] symmetry: 144
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9029
[[35mlola[0m][I] state equation: 527
[[35mlola[0m][I] symmetry: 145
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9022
[[35mlola[0m][I] state equation: 533
[[35mlola[0m][I] symmetry: 146
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9016
[[35mlola[0m][I] state equation: 538
[[35mlola[0m][I] symmetry: 147
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9010
[[35mlola[0m][I] state equation: 544
[[35mlola[0m][I] symmetry: 147
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9005
[[35mlola[0m][I] state equation: 549
[[35mlola[0m][I] symmetry: 147
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8998
[[35mlola[0m][I] state equation: 555
[[35mlola[0m][I] symmetry: 148
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8991
[[35mlola[0m][I] state equation: 561
[[35mlola[0m][I] symmetry: 149
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8986
[[35mlola[0m][I] state equation: 566
[[35mlola[0m][I] symmetry: 149
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8980
[[35mlola[0m][I] state equation: 572
[[35mlola[0m][I] symmetry: 149
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8974
[[35mlola[0m][I] state equation: 577
[[35mlola[0m][I] symmetry: 150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8968
[[35mlola[0m][I] state equation: 583
[[35mlola[0m][I] symmetry: 150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8962
[[35mlola[0m][I] state equation: 589
[[35mlola[0m][I] symmetry: 150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8957
[[35mlola[0m][I] state equation: 594
[[35mlola[0m][I] symmetry: 150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8950
[[35mlola[0m][I] state equation: 600
[[35mlola[0m][I] symmetry: 151
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8944
[[35mlola[0m][I] state equation: 606
[[35mlola[0m][I] symmetry: 151
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8938
[[35mlola[0m][I] state equation: 611
[[35mlola[0m][I] symmetry: 152
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8932
[[35mlola[0m][I] state equation: 617
[[35mlola[0m][I] symmetry: 152
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8925
[[35mlola[0m][I] state equation: 623
[[35mlola[0m][I] symmetry: 153
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8919
[[35mlola[0m][I] state equation: 629
[[35mlola[0m][I] symmetry: 153
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8911
[[35mlola[0m][I] state equation: 635
[[35mlola[0m][I] symmetry: 155
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8906
[[35mlola[0m][I] state equation: 640
[[35mlola[0m][I] symmetry: 155
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8899
[[35mlola[0m][I] state equation: 646
[[35mlola[0m][I] symmetry: 156
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8892
[[35mlola[0m][I] state equation: 653
[[35mlola[0m][I] symmetry: 156
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8886
[[35mlola[0m][I] state equation: 659
[[35mlola[0m][I] symmetry: 156
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8880
[[35mlola[0m][I] state equation: 664
[[35mlola[0m][I] symmetry: 157
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8874
[[35mlola[0m][I] state equation: 670
[[35mlola[0m][I] symmetry: 157
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8862
[[35mlola[0m][I] state equation: 676
[[35mlola[0m][I] symmetry: 163
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8850
[[35mlola[0m][I] state equation: 682
[[35mlola[0m][I] symmetry: 169
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8838
[[35mlola[0m][I] state equation: 688
[[35mlola[0m][I] symmetry: 175
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8826
[[35mlola[0m][I] state equation: 694
[[35mlola[0m][I] symmetry: 181
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8814
[[35mlola[0m][I] state equation: 700
[[35mlola[0m][I] symmetry: 187
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8805
[[35mlola[0m][I] state equation: 706
[[35mlola[0m][I] symmetry: 190
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8797
[[35mlola[0m][I] state equation: 711
[[35mlola[0m][I] symmetry: 193
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8787
[[35mlola[0m][I] state equation: 717
[[35mlola[0m][I] symmetry: 197
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8778
[[35mlola[0m][I] state equation: 723
[[35mlola[0m][I] symmetry: 200
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8770
[[35mlola[0m][I] state equation: 728
[[35mlola[0m][I] symmetry: 203
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8760
[[35mlola[0m][I] state equation: 735
[[35mlola[0m][I] symmetry: 206
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8750
[[35mlola[0m][I] state equation: 741
[[35mlola[0m][I] symmetry: 210
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8741
[[35mlola[0m][I] state equation: 747
[[35mlola[0m][I] symmetry: 213
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8731
[[35mlola[0m][I] state equation: 753
[[35mlola[0m][I] symmetry: 217
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8722
[[35mlola[0m][I] state equation: 759
[[35mlola[0m][I] symmetry: 220
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8711
[[35mlola[0m][I] state equation: 766
[[35mlola[0m][I] symmetry: 224
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8703
[[35mlola[0m][I] state equation: 772
[[35mlola[0m][I] symmetry: 226
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8694
[[35mlola[0m][I] state equation: 778
[[35mlola[0m][I] symmetry: 229
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8686
[[35mlola[0m][I] state equation: 785
[[35mlola[0m][I] symmetry: 230
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8677
[[35mlola[0m][I] state equation: 791
[[35mlola[0m][I] symmetry: 233
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8668
[[35mlola[0m][I] state equation: 797
[[35mlola[0m][I] symmetry: 236
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8658
[[35mlola[0m][I] state equation: 804
[[35mlola[0m][I] symmetry: 239
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8652
[[35mlola[0m][I] state equation: 810
[[35mlola[0m][I] symmetry: 239
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8645
[[35mlola[0m][I] state equation: 816
[[35mlola[0m][I] symmetry: 240
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8638
[[35mlola[0m][I] state equation: 822
[[35mlola[0m][I] symmetry: 241
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8632
[[35mlola[0m][I] state equation: 828
[[35mlola[0m][I] symmetry: 241
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8625
[[35mlola[0m][I] state equation: 835
[[35mlola[0m][I] symmetry: 241
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8618
[[35mlola[0m][I] state equation: 841
[[35mlola[0m][I] symmetry: 242
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8612
[[35mlola[0m][I] state equation: 847
[[35mlola[0m][I] symmetry: 242
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8605
[[35mlola[0m][I] state equation: 853
[[35mlola[0m][I] symmetry: 243
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8598
[[35mlola[0m][I] state equation: 860
[[35mlola[0m][I] symmetry: 243
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8592
[[35mlola[0m][I] state equation: 866
[[35mlola[0m][I] symmetry: 243
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8586
[[35mlola[0m][I] state equation: 872
[[35mlola[0m][I] symmetry: 243
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8578
[[35mlola[0m][I] state equation: 879
[[35mlola[0m][I] symmetry: 244
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8571
[[35mlola[0m][I] state equation: 885
[[35mlola[0m][I] symmetry: 245
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8565
[[35mlola[0m][I] state equation: 891
[[35mlola[0m][I] symmetry: 245
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8557
[[35mlola[0m][I] state equation: 898
[[35mlola[0m][I] symmetry: 246
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8550
[[35mlola[0m][I] state equation: 904
[[35mlola[0m][I] symmetry: 247
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8544
[[35mlola[0m][I] state equation: 910
[[35mlola[0m][I] symmetry: 247
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8536
[[35mlola[0m][I] state equation: 917
[[35mlola[0m][I] symmetry: 248
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8529
[[35mlola[0m][I] state equation: 923
[[35mlola[0m][I] symmetry: 249
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8523
[[35mlola[0m][I] state equation: 929
[[35mlola[0m][I] symmetry: 249
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8517
[[35mlola[0m][I] state equation: 935
[[35mlola[0m][I] symmetry: 249
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8511
[[35mlola[0m][I] state equation: 941
[[35mlola[0m][I] symmetry: 249
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8504
[[35mlola[0m][I] state equation: 947
[[35mlola[0m][I] symmetry: 250
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8499
[[35mlola[0m][I] state equation: 952
[[35mlola[0m][I] symmetry: 250
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8493
[[35mlola[0m][I] state equation: 958
[[35mlola[0m][I] symmetry: 250
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8487
[[35mlola[0m][I] state equation: 963
[[35mlola[0m][I] symmetry: 251
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8480
[[35mlola[0m][I] state equation: 969
[[35mlola[0m][I] symmetry: 252
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8475
[[35mlola[0m][I] state equation: 974
[[35mlola[0m][I] symmetry: 252
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8468
[[35mlola[0m][I] state equation: 980
[[35mlola[0m][I] symmetry: 253
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8463
[[35mlola[0m][I] state equation: 985
[[35mlola[0m][I] symmetry: 253
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8455
[[35mlola[0m][I] state equation: 992
[[35mlola[0m][I] symmetry: 254
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8450
[[35mlola[0m][I] state equation: 997
[[35mlola[0m][I] symmetry: 254
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8443
[[35mlola[0m][I] state equation: 1003
[[35mlola[0m][I] symmetry: 255
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8437
[[35mlola[0m][I] state equation: 1009
[[35mlola[0m][I] symmetry: 255
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8431
[[35mlola[0m][I] state equation: 1015
[[35mlola[0m][I] symmetry: 255
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8424
[[35mlola[0m][I] state equation: 1022
[[35mlola[0m][I] symmetry: 255
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8417
[[35mlola[0m][I] state equation: 1028
[[35mlola[0m][I] symmetry: 256
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8410
[[35mlola[0m][I] state equation: 1034
[[35mlola[0m][I] symmetry: 257
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8406
[[35mlola[0m][I] state equation: 1038
[[35mlola[0m][I] symmetry: 257
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8401
[[35mlola[0m][I] state equation: 1043
[[35mlola[0m][I] symmetry: 257
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8394
[[35mlola[0m][I] state equation: 1050
[[35mlola[0m][I] symmetry: 257
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8388
[[35mlola[0m][I] state equation: 1056
[[35mlola[0m][I] symmetry: 257
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8382
[[35mlola[0m][I] state equation: 1062
[[35mlola[0m][I] symmetry: 257
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8374
[[35mlola[0m][I] state equation: 1069
[[35mlola[0m][I] symmetry: 258
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8367
[[35mlola[0m][I] state equation: 1075
[[35mlola[0m][I] symmetry: 259
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8361
[[35mlola[0m][I] state equation: 1081
[[35mlola[0m][I] symmetry: 259
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8354
[[35mlola[0m][I] state equation: 1087
[[35mlola[0m][I] symmetry: 260
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8348
[[35mlola[0m][I] state equation: 1093
[[35mlola[0m][I] symmetry: 260
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8340
[[35mlola[0m][I] state equation: 1099
[[35mlola[0m][I] symmetry: 262
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8334
[[35mlola[0m][I] state equation: 1105
[[35mlola[0m][I] symmetry: 262
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8326
[[35mlola[0m][I] state equation: 1112
[[35mlola[0m][I] symmetry: 263
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8320
[[35mlola[0m][I] state equation: 1118
[[35mlola[0m][I] symmetry: 263
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8314
[[35mlola[0m][I] state equation: 1124
[[35mlola[0m][I] symmetry: 263
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8306
[[35mlola[0m][I] state equation: 1131
[[35mlola[0m][I] symmetry: 264
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8300
[[35mlola[0m][I] state equation: 1137
[[35mlola[0m][I] symmetry: 264
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8294
[[35mlola[0m][I] state equation: 1143
[[35mlola[0m][I] symmetry: 264
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8288
[[35mlola[0m][I] state equation: 1149
[[35mlola[0m][I] symmetry: 264
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8281
[[35mlola[0m][I] state equation: 1155
[[35mlola[0m][I] symmetry: 265
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8273
[[35mlola[0m][I] state equation: 1162
[[35mlola[0m][I] symmetry: 266
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8266
[[35mlola[0m][I] state equation: 1168
[[35mlola[0m][I] symmetry: 267
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8260
[[35mlola[0m][I] state equation: 1174
[[35mlola[0m][I] symmetry: 267
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8252
[[35mlola[0m][I] state equation: 1181
[[35mlola[0m][I] symmetry: 268
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8245
[[35mlola[0m][I] state equation: 1187
[[35mlola[0m][I] symmetry: 269
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8238
[[35mlola[0m][I] state equation: 1194
[[35mlola[0m][I] symmetry: 269
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8232
[[35mlola[0m][I] state equation: 1200
[[35mlola[0m][I] symmetry: 269
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8224
[[35mlola[0m][I] state equation: 1207
[[35mlola[0m][I] symmetry: 270
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8218
[[35mlola[0m][I] state equation: 1213
[[35mlola[0m][I] symmetry: 270
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8212
[[35mlola[0m][I] state equation: 1219
[[35mlola[0m][I] symmetry: 270
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8205
[[35mlola[0m][I] state equation: 1226
[[35mlola[0m][I] symmetry: 270
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8198
[[35mlola[0m][I] state equation: 1232
[[35mlola[0m][I] symmetry: 271
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8192
[[35mlola[0m][I] state equation: 1238
[[35mlola[0m][I] symmetry: 271
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8185
[[35mlola[0m][I] state equation: 1244
[[35mlola[0m][I] symmetry: 272
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8177
[[35mlola[0m][I] state equation: 1251
[[35mlola[0m][I] symmetry: 273
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8171
[[35mlola[0m][I] state equation: 1257
[[35mlola[0m][I] symmetry: 273
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8163
[[35mlola[0m][I] state equation: 1263
[[35mlola[0m][I] symmetry: 275
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8157
[[35mlola[0m][I] state equation: 1269
[[35mlola[0m][I] symmetry: 275
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8149
[[35mlola[0m][I] state equation: 1276
[[35mlola[0m][I] symmetry: 276
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8143
[[35mlola[0m][I] state equation: 1282
[[35mlola[0m][I] symmetry: 276
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8136
[[35mlola[0m][I] state equation: 1289
[[35mlola[0m][I] symmetry: 276
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8129
[[35mlola[0m][I] state equation: 1295
[[35mlola[0m][I] symmetry: 277
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8122
[[35mlola[0m][I] state equation: 1302
[[35mlola[0m][I] symmetry: 277
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8116
[[35mlola[0m][I] state equation: 1308
[[35mlola[0m][I] symmetry: 277
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8110
[[35mlola[0m][I] state equation: 1314
[[35mlola[0m][I] symmetry: 277
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8103
[[35mlola[0m][I] state equation: 1321
[[35mlola[0m][I] symmetry: 277
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8095
[[35mlola[0m][I] state equation: 1328
[[35mlola[0m][I] symmetry: 278
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8089
[[35mlola[0m][I] state equation: 1334
[[35mlola[0m][I] symmetry: 278
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8081
[[35mlola[0m][I] state equation: 1341
[[35mlola[0m][I] symmetry: 279
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8075
[[35mlola[0m][I] state equation: 1347
[[35mlola[0m][I] symmetry: 279
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8068
[[35mlola[0m][I] state equation: 1353
[[35mlola[0m][I] symmetry: 280
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8060
[[35mlola[0m][I] state equation: 1360
[[35mlola[0m][I] symmetry: 281
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8053
[[35mlola[0m][I] state equation: 1366
[[35mlola[0m][I] symmetry: 282
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8046
[[35mlola[0m][I] state equation: 1373
[[35mlola[0m][I] symmetry: 282
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8037
[[35mlola[0m][I] state equation: 1381
[[35mlola[0m][I] symmetry: 283
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8031
[[35mlola[0m][I] state equation: 1387
[[35mlola[0m][I] symmetry: 283
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8024
[[35mlola[0m][I] state equation: 1393
[[35mlola[0m][I] symmetry: 284
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8017
[[35mlola[0m][I] state equation: 1400
[[35mlola[0m][I] symmetry: 284
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8009
[[35mlola[0m][I] state equation: 1407
[[35mlola[0m][I] symmetry: 285
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8002
[[35mlola[0m][I] state equation: 1414
[[35mlola[0m][I] symmetry: 285
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7995
[[35mlola[0m][I] state equation: 1420
[[35mlola[0m][I] symmetry: 286
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7988
[[35mlola[0m][I] state equation: 1426
[[35mlola[0m][I] symmetry: 287
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7980
[[35mlola[0m][I] state equation: 1434
[[35mlola[0m][I] symmetry: 287
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7972
[[35mlola[0m][I] state equation: 1441
[[35mlola[0m][I] symmetry: 288
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7965
[[35mlola[0m][I] state equation: 1447
[[35mlola[0m][I] symmetry: 289
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7959
[[35mlola[0m][I] state equation: 1453
[[35mlola[0m][I] symmetry: 289
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7950
[[35mlola[0m][I] state equation: 1461
[[35mlola[0m][I] symmetry: 290
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7943
[[35mlola[0m][I] state equation: 1468
[[35mlola[0m][I] symmetry: 290
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7937
[[35mlola[0m][I] state equation: 1474
[[35mlola[0m][I] symmetry: 290
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7931
[[35mlola[0m][I] state equation: 1480
[[35mlola[0m][I] symmetry: 290
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7922
[[35mlola[0m][I] state equation: 1488
[[35mlola[0m][I] symmetry: 291
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7913
[[35mlola[0m][I] state equation: 1495
[[35mlola[0m][I] symmetry: 293
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7906
[[35mlola[0m][I] state equation: 1501
[[35mlola[0m][I] symmetry: 294
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7900
[[35mlola[0m][I] state equation: 1507
[[35mlola[0m][I] symmetry: 294
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7893
[[35mlola[0m][I] state equation: 1514
[[35mlola[0m][I] symmetry: 294
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7886
[[35mlola[0m][I] state equation: 1521
[[35mlola[0m][I] symmetry: 294
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7879
[[35mlola[0m][I] state equation: 1527
[[35mlola[0m][I] symmetry: 295
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7871
[[35mlola[0m][I] state equation: 1534
[[35mlola[0m][I] symmetry: 296
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7863
[[35mlola[0m][I] state equation: 1541
[[35mlola[0m][I] symmetry: 297
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7857
[[35mlola[0m][I] state equation: 1547
[[35mlola[0m][I] symmetry: 297
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7850
[[35mlola[0m][I] state equation: 1554
[[35mlola[0m][I] symmetry: 297
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7843
[[35mlola[0m][I] state equation: 1561
[[35mlola[0m][I] symmetry: 297
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7836
[[35mlola[0m][I] state equation: 1567
[[35mlola[0m][I] symmetry: 298
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7828
[[35mlola[0m][I] state equation: 1575
[[35mlola[0m][I] symmetry: 298
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7821
[[35mlola[0m][I] state equation: 1581
[[35mlola[0m][I] symmetry: 299
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7815
[[35mlola[0m][I] state equation: 1587
[[35mlola[0m][I] symmetry: 299
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7807
[[35mlola[0m][I] state equation: 1594
[[35mlola[0m][I] symmetry: 300
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7800
[[35mlola[0m][I] state equation: 1599
[[35mlola[0m][I] symmetry: 302
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7794
[[35mlola[0m][I] state equation: 1605
[[35mlola[0m][I] symmetry: 302
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7788
[[35mlola[0m][I] state equation: 1611
[[35mlola[0m][I] symmetry: 302
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7781
[[35mlola[0m][I] state equation: 1618
[[35mlola[0m][I] symmetry: 302
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7775
[[35mlola[0m][I] state equation: 1624
[[35mlola[0m][I] symmetry: 302
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7767
[[35mlola[0m][I] state equation: 1631
[[35mlola[0m][I] symmetry: 303
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7760
[[35mlola[0m][I] state equation: 1637
[[35mlola[0m][I] symmetry: 304
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7754
[[35mlola[0m][I] state equation: 1643
[[35mlola[0m][I] symmetry: 304
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7746
[[35mlola[0m][I] state equation: 1650
[[35mlola[0m][I] symmetry: 305
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7740
[[35mlola[0m][I] state equation: 1656
[[35mlola[0m][I] symmetry: 305
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7732
[[35mlola[0m][I] state equation: 1662
[[35mlola[0m][I] symmetry: 307
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7725
[[35mlola[0m][I] state equation: 1669
[[35mlola[0m][I] symmetry: 307
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7718
[[35mlola[0m][I] state equation: 1675
[[35mlola[0m][I] symmetry: 308
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7712
[[35mlola[0m][I] state equation: 1681
[[35mlola[0m][I] symmetry: 308
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7704
[[35mlola[0m][I] state equation: 1688
[[35mlola[0m][I] symmetry: 309
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7698
[[35mlola[0m][I] state equation: 1694
[[35mlola[0m][I] symmetry: 309
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7692
[[35mlola[0m][I] state equation: 1700
[[35mlola[0m][I] symmetry: 309
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7686
[[35mlola[0m][I] state equation: 1706
[[35mlola[0m][I] symmetry: 309
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7678
[[35mlola[0m][I] state equation: 1713
[[35mlola[0m][I] symmetry: 310
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7672
[[35mlola[0m][I] state equation: 1719
[[35mlola[0m][I] symmetry: 310
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7664
[[35mlola[0m][I] state equation: 1725
[[35mlola[0m][I] symmetry: 312
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7657
[[35mlola[0m][I] state equation: 1732
[[35mlola[0m][I] symmetry: 312
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7651
[[35mlola[0m][I] state equation: 1738
[[35mlola[0m][I] symmetry: 312
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7644
[[35mlola[0m][I] state equation: 1744
[[35mlola[0m][I] symmetry: 313
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7636
[[35mlola[0m][I] state equation: 1751
[[35mlola[0m][I] symmetry: 314
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7630
[[35mlola[0m][I] state equation: 1757
[[35mlola[0m][I] symmetry: 314
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7623
[[35mlola[0m][I] state equation: 1763
[[35mlola[0m][I] symmetry: 315
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7616
[[35mlola[0m][I] state equation: 1770
[[35mlola[0m][I] symmetry: 315
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7608
[[35mlola[0m][I] state equation: 1776
[[35mlola[0m][I] symmetry: 317
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7599
[[35mlola[0m][I] state equation: 1783
[[35mlola[0m][I] symmetry: 319
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7592
[[35mlola[0m][I] state equation: 1789
[[35mlola[0m][I] symmetry: 320
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7583
[[35mlola[0m][I] state equation: 1795
[[35mlola[0m][I] symmetry: 323
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7573
[[35mlola[0m][I] state equation: 1802
[[35mlola[0m][I] symmetry: 326
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7565
[[35mlola[0m][I] state equation: 1808
[[35mlola[0m][I] symmetry: 328
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7555
[[35mlola[0m][I] state equation: 1815
[[35mlola[0m][I] symmetry: 331
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7546
[[35mlola[0m][I] state equation: 1821
[[35mlola[0m][I] symmetry: 334
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7538
[[35mlola[0m][I] state equation: 1827
[[35mlola[0m][I] symmetry: 336
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7528
[[35mlola[0m][I] state equation: 1834
[[35mlola[0m][I] symmetry: 339
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7520
[[35mlola[0m][I] state equation: 1840
[[35mlola[0m][I] symmetry: 341
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7512
[[35mlola[0m][I] state equation: 1846
[[35mlola[0m][I] symmetry: 343
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7500
[[35mlola[0m][I] state equation: 1853
[[35mlola[0m][I] symmetry: 348
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7492
[[35mlola[0m][I] state equation: 1859
[[35mlola[0m][I] symmetry: 350
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7484
[[35mlola[0m][I] state equation: 1865
[[35mlola[0m][I] symmetry: 352
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7475
[[35mlola[0m][I] state equation: 1871
[[35mlola[0m][I] symmetry: 355
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7465
[[35mlola[0m][I] state equation: 1878
[[35mlola[0m][I] symmetry: 358
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7457
[[35mlola[0m][I] state equation: 1884
[[35mlola[0m][I] symmetry: 360
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7447
[[35mlola[0m][I] state equation: 1891
[[35mlola[0m][I] symmetry: 363
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7438
[[35mlola[0m][I] state equation: 1897
[[35mlola[0m][I] symmetry: 366
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7428
[[35mlola[0m][I] state equation: 1904
[[35mlola[0m][I] symmetry: 369
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7416
[[35mlola[0m][I] state equation: 1911
[[35mlola[0m][I] symmetry: 374
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7406
[[35mlola[0m][I] state equation: 1918
[[35mlola[0m][I] symmetry: 377
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7396
[[35mlola[0m][I] state equation: 1924
[[35mlola[0m][I] symmetry: 381
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7385
[[35mlola[0m][I] state equation: 1931
[[35mlola[0m][I] symmetry: 385
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7374
[[35mlola[0m][I] state equation: 1938
[[35mlola[0m][I] symmetry: 389
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7363
[[35mlola[0m][I] state equation: 1945
[[35mlola[0m][I] symmetry: 393
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7351
[[35mlola[0m][I] state equation: 1951
[[35mlola[0m][I] symmetry: 399
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7337
[[35mlola[0m][I] state equation: 1958
[[35mlola[0m][I] symmetry: 406
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7323
[[35mlola[0m][I] state equation: 1965
[[35mlola[0m][I] symmetry: 413
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7309
[[35mlola[0m][I] state equation: 1972
[[35mlola[0m][I] symmetry: 420
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7300
[[35mlola[0m][I] state equation: 1978
[[35mlola[0m][I] symmetry: 423
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7293
[[35mlola[0m][I] state equation: 1985
[[35mlola[0m][I] symmetry: 423
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7286
[[35mlola[0m][I] state equation: 1992
[[35mlola[0m][I] symmetry: 423
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7278
[[35mlola[0m][I] state equation: 1999
[[35mlola[0m][I] symmetry: 424
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7270
[[35mlola[0m][I] state equation: 2006
[[35mlola[0m][I] symmetry: 425
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7263
[[35mlola[0m][I] state equation: 2013
[[35mlola[0m][I] symmetry: 425
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7255
[[35mlola[0m][I] state equation: 2019
[[35mlola[0m][I] symmetry: 427
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7248
[[35mlola[0m][I] state equation: 2026
[[35mlola[0m][I] symmetry: 427
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7240
[[35mlola[0m][I] state equation: 2033
[[35mlola[0m][I] symmetry: 428
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7234
[[35mlola[0m][I] state equation: 2039
[[35mlola[0m][I] symmetry: 428
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7227
[[35mlola[0m][I] state equation: 2046
[[35mlola[0m][I] symmetry: 428
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7220
[[35mlola[0m][I] state equation: 2053
[[35mlola[0m][I] symmetry: 428
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7213
[[35mlola[0m][I] state equation: 2059
[[35mlola[0m][I] symmetry: 429
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7206
[[35mlola[0m][I] state equation: 2066
[[35mlola[0m][I] symmetry: 429
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7199
[[35mlola[0m][I] state equation: 2073
[[35mlola[0m][I] symmetry: 429
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7192
[[35mlola[0m][I] state equation: 2079
[[35mlola[0m][I] symmetry: 430
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7184
[[35mlola[0m][I] state equation: 2086
[[35mlola[0m][I] symmetry: 431
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7177
[[35mlola[0m][I] state equation: 2092
[[35mlola[0m][I] symmetry: 432
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7170
[[35mlola[0m][I] state equation: 2099
[[35mlola[0m][I] symmetry: 432
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7161
[[35mlola[0m][I] state equation: 2106
[[35mlola[0m][I] symmetry: 434
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7155
[[35mlola[0m][I] state equation: 2112
[[35mlola[0m][I] symmetry: 434
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7148
[[35mlola[0m][I] state equation: 2119
[[35mlola[0m][I] symmetry: 434
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7140
[[35mlola[0m][I] state equation: 2126
[[35mlola[0m][I] symmetry: 435
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7133
[[35mlola[0m][I] state equation: 2133
[[35mlola[0m][I] symmetry: 435
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7127
[[35mlola[0m][I] state equation: 2139
[[35mlola[0m][I] symmetry: 435
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7119
[[35mlola[0m][I] state equation: 2146
[[35mlola[0m][I] symmetry: 436
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7111
[[35mlola[0m][I] state equation: 2153
[[35mlola[0m][I] symmetry: 437
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7105
[[35mlola[0m][I] state equation: 2159
[[35mlola[0m][I] symmetry: 437
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7098
[[35mlola[0m][I] state equation: 2166
[[35mlola[0m][I] symmetry: 437
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7092
[[35mlola[0m][I] state equation: 2172
[[35mlola[0m][I] symmetry: 437
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7083
[[35mlola[0m][I] state equation: 2179
[[35mlola[0m][I] symmetry: 439
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7077
[[35mlola[0m][I] state equation: 2185
[[35mlola[0m][I] symmetry: 439
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7069
[[35mlola[0m][I] state equation: 2192
[[35mlola[0m][I] symmetry: 440
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7063
[[35mlola[0m][I] state equation: 2198
[[35mlola[0m][I] symmetry: 440
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7056
[[35mlola[0m][I] state equation: 2205
[[35mlola[0m][I] symmetry: 440
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7049
[[35mlola[0m][I] state equation: 2212
[[35mlola[0m][I] symmetry: 440
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-19"
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-19, 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-171774432200195"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BlocksWorld-PT-19.tgz
mv BlocksWorld-PT-19 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 ;