fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r203-smll-167840349700504
Last Updated
May 14, 2023

About the Execution of Smart+red for HirschbergSinclair-PT-50

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
7659.495 3600000.00 3620046.00 13511.10 [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/mcc2023-input.r203-smll-167840349700504.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is HirschbergSinclair-PT-50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349700504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 13K Feb 26 02:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 02:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 02:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 02:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 02:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 101K Feb 26 02:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 02:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 02:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 652K Mar 5 18:22 model.pnml

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

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678653186195

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HirschbergSinclair-PT-50
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 20:33:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 20:33:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 20:33:10] [INFO ] Load time of PNML (sax parser for PT used): 246 ms
[2023-03-12 20:33:10] [INFO ] Transformed 1208 places.
[2023-03-12 20:33:10] [INFO ] Transformed 1102 transitions.
[2023-03-12 20:33:10] [INFO ] Parsed PT model containing 1208 places and 1102 transitions and 3361 arcs in 416 ms.
[2023-03-12 20:33:10] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1208 places, 1102 transitions and 3361 arcs took 30 ms.
Total runtime 510 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HirschbergSinclair (PT), instance 50
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1208 places, 1102 transitions, 3361 arcs.
AT ITER 0 NEW BEST:: SOT 1156366 SOS 566567 HAS SOPS 566567 HAS SOUS 565929 HAS SOUPS 565929 WITH SCORE 566495.567
AT ITER 5 NEW BEST:: SOT 1150293 SOS 569317 HAS SOPS 569317 HAS SOUS 561185 HAS SOUPS 561185 WITH SCORE 561754.317
AT ITER 8 NEW BEST:: SOT 1141199 SOS 568385 HAS SOPS 568385 HAS SOUS 553716 HAS SOUPS 553716 WITH SCORE 554284.385
AT ITER 15 NEW BEST:: SOT 1141199 SOS 568383 HAS SOPS 568383 HAS SOUS 553714 HAS SOUPS 553714 WITH SCORE 554282.383
AT ITER 26 NEW BEST:: SOT 1138999 SOS 566300 HAS SOPS 566300 HAS SOUS 551631 HAS SOUPS 551631 WITH SCORE 552197.3
AT ITER 32 NEW BEST:: SOT 1138999 SOS 566299 HAS SOPS 566299 HAS SOUS 551630 HAS SOUPS 551630 WITH SCORE 552196.299
AT ITER 53 NEW BEST:: SOT 1126354 SOS 554280 HAS SOPS 554280 HAS SOUS 539264 HAS SOUPS 539264 WITH SCORE 539818.28
AT ITER 63 NEW BEST:: SOT 1126353 SOS 554216 HAS SOPS 554216 HAS SOUS 539262 HAS SOUPS 539262 WITH SCORE 539816.216
AT ITER 82 NEW BEST:: SOT 1126056 SOS 553932 HAS SOPS 553932 HAS SOUS 538978 HAS SOUPS 538978 WITH SCORE 539531.932
AT ITER 86 NEW BEST:: SOT 1126056 SOS 553931 HAS SOPS 553931 HAS SOUS 538977 HAS SOUPS 538977 WITH SCORE 539530.931
AT ITER 99 NEW BEST:: SOT 1118745 SOS 550681 HAS SOPS 550681 HAS SOUS 532692 HAS SOUPS 532692 WITH SCORE 533242.681
AT ITER 111 NEW BEST:: SOT 1109518 SOS 549956 HAS SOPS 549956 HAS SOUS 525137 HAS SOUPS 525137 WITH SCORE 525686.956
AT ITER 126 NEW BEST:: SOT 1099269 SOS 545879 HAS SOPS 545879 HAS SOUS 516084 HAS SOUPS 516084 WITH SCORE 516629.879
AT ITER 137 NEW BEST:: SOT 1090239 SOS 542591 HAS SOPS 542591 HAS SOUS 508461 HAS SOUPS 508461 WITH SCORE 509003.591
AT ITER 144 NEW BEST:: SOT 1077279 SOS 536551 HAS SOPS 536551 HAS SOUS 496980 HAS SOUPS 496980 WITH SCORE 497516.551
AT ITER 146 NEW BEST:: SOT 1067822 SOS 533765 HAS SOPS 533765 HAS SOUS 489061 HAS SOUPS 489061 WITH SCORE 489594.765
AT ITER 152 NEW BEST:: SOT 1064880 SOS 531147 HAS SOPS 531147 HAS SOUS 486384 HAS SOUPS 486384 WITH SCORE 486915.147
AT ITER 169 NEW BEST:: SOT 1059296 SOS 530434 HAS SOPS 530434 HAS SOUS 482022 HAS SOUPS 482022 WITH SCORE 482552.434
AT ITER 171 NEW BEST:: SOT 1050507 SOS 526117 HAS SOPS 526117 HAS SOUS 474236 HAS SOUPS 474236 WITH SCORE 474762.117
AT ITER 183 NEW BEST:: SOT 1038819 SOS 523298 HAS SOPS 523298 HAS SOUS 463944 HAS SOUPS 463944 WITH SCORE 464467.298
AT ITER 195 NEW BEST:: SOT 1028103 SOS 517737 HAS SOPS 517737 HAS SOUS 454622 HAS SOUPS 454622 WITH SCORE 455139.737
AT ITER 202 NEW BEST:: SOT 1026777 SOS 519040 HAS SOPS 519040 HAS SOUS 453691 HAS SOUPS 453691 WITH SCORE 454210.04
AT ITER 208 NEW BEST:: SOT 1024905 SOS 517284 HAS SOPS 517284 HAS SOUS 451935 HAS SOUPS 451935 WITH SCORE 452452.284
AT ITER 218 NEW BEST:: SOT 1024887 SOS 517265 HAS SOPS 517265 HAS SOUS 451916 HAS SOUPS 451916 WITH SCORE 452433.265
AT ITER 228 NEW BEST:: SOT 1024887 SOS 516877 HAS SOPS 516877 HAS SOUS 451528 HAS SOUPS 451528 WITH SCORE 452044.877
AT ITER 237 NEW BEST:: SOT 1024887 SOS 516557 HAS SOPS 516557 HAS SOUS 451208 HAS SOUPS 451208 WITH SCORE 451724.557
AT ITER 248 NEW BEST:: SOT 1024873 SOS 516543 HAS SOPS 516543 HAS SOUS 451194 HAS SOUPS 451194 WITH SCORE 451710.543
AT ITER 264 NEW BEST:: SOT 1024855 SOS 516525 HAS SOPS 516525 HAS SOUS 451176 HAS SOUPS 451176 WITH SCORE 451692.525
AT ITER 266 NEW BEST:: SOT 1024504 SOS 516173 HAS SOPS 516173 HAS SOUS 450824 HAS SOUPS 450824 WITH SCORE 451340.173
AT ITER 270 NEW BEST:: SOT 1024650 SOS 515488 HAS SOPS 515488 HAS SOUS 450673 HAS SOUPS 450673 WITH SCORE 451188.488
AT ITER 301 NEW BEST:: SOT 1015796 SOS 513527 HAS SOPS 513527 HAS SOUS 442627 HAS SOUPS 442627 WITH SCORE 443140.527
AT ITER 320 NEW BEST:: SOT 1012002 SOS 509974 HAS SOPS 509974 HAS SOUS 439074 HAS SOUPS 439074 WITH SCORE 439583.974
AT ITER 325 NEW BEST:: SOT 1012015 SOS 509666 HAS SOPS 509666 HAS SOUS 438753 HAS SOUPS 438753 WITH SCORE 439262.666
AT ITER 328 NEW BEST:: SOT 1011813 SOS 509261 HAS SOPS 509261 HAS SOUS 438752 HAS SOUPS 438752 WITH SCORE 439261.261
AT ITER 337 NEW BEST:: SOT 1010905 SOS 510636 HAS SOPS 510636 HAS SOUS 438125 HAS SOUPS 438125 WITH SCORE 438635.636
AT ITER 346 NEW BEST:: SOT 998025 SOS 504834 HAS SOPS 504834 HAS SOUS 426683 HAS SOUPS 426683 WITH SCORE 427187.834
AT ITER 356 NEW BEST:: SOT 998024 SOS 504832 HAS SOPS 504832 HAS SOUS 426682 HAS SOUPS 426682 WITH SCORE 427186.832
AT ITER 357 NEW BEST:: SOT 989707 SOS 503217 HAS SOPS 503217 HAS SOUS 419772 HAS SOUPS 419772 WITH SCORE 420275.217
AT ITER 380 NEW BEST:: SOT 989707 SOS 503215 HAS SOPS 503215 HAS SOUS 419770 HAS SOUPS 419770 WITH SCORE 420273.215
AT ITER 381 NEW BEST:: SOT 985874 SOS 500449 HAS SOPS 500449 HAS SOUS 416306 HAS SOUPS 416306 WITH SCORE 416806.449
AT ITER 386 NEW BEST:: SOT 985465 SOS 500090 HAS SOPS 500090 HAS SOUS 415947 HAS SOUPS 415947 WITH SCORE 416447.09
AT ITER 390 NEW BEST:: SOT 985416 SOS 500041 HAS SOPS 500041 HAS SOUS 415898 HAS SOUPS 415898 WITH SCORE 416398.041
AT ITER 393 NEW BEST:: SOT 979323 SOS 494294 HAS SOPS 494294 HAS SOUS 409999 HAS SOUPS 409999 WITH SCORE 410493.294
AT ITER 396 NEW BEST:: SOT 979217 SOS 494187 HAS SOPS 494187 HAS SOUS 409892 HAS SOUPS 409892 WITH SCORE 410386.187
AT ITER 406 NEW BEST:: SOT 979038 SOS 494008 HAS SOPS 494008 HAS SOUS 409878 HAS SOUPS 409878 WITH SCORE 410372.008
AT ITER 416 NEW BEST:: SOT 979022 SOS 493991 HAS SOPS 493991 HAS SOUS 409861 HAS SOUPS 409861 WITH SCORE 410354.991
AT ITER 428 NEW BEST:: SOT 978582 SOS 493132 HAS SOPS 493132 HAS SOUS 409002 HAS SOUPS 409002 WITH SCORE 409495.132
AT ITER 461 NEW BEST:: SOT 976729 SOS 491391 HAS SOPS 491391 HAS SOUS 407261 HAS SOUPS 407261 WITH SCORE 407752.391
AT ITER 482 NEW BEST:: SOT 976685 SOS 491302 HAS SOPS 491302 HAS SOUS 407172 HAS SOUPS 407172 WITH SCORE 407663.302
AT ITER 483 NEW BEST:: SOT 976685 SOS 491301 HAS SOPS 491301 HAS SOUS 407171 HAS SOUPS 407171 WITH SCORE 407662.301
AT ITER 486 NEW BEST:: SOT 967466 SOS 488142 HAS SOPS 488142 HAS SOUS 399451 HAS SOUPS 399451 WITH SCORE 399939.142
AT ITER 508 NEW BEST:: SOT 966250 SOS 486959 HAS SOPS 486959 HAS SOUS 398268 HAS SOUPS 398268 WITH SCORE 398754.959
AT ITER 517 NEW BEST:: SOT 966038 SOS 486743 HAS SOPS 486743 HAS SOUS 398136 HAS SOUPS 398136 WITH SCORE 398622.743
AT ITER 523 NEW BEST:: SOT 965691 SOS 486651 HAS SOPS 486651 HAS SOUS 398053 HAS SOUPS 398053 WITH SCORE 398539.651
AT ITER 549 NEW BEST:: SOT 965662 SOS 486920 HAS SOPS 486920 HAS SOUS 397801 HAS SOUPS 397801 WITH SCORE 398287.92
AT ITER 557 NEW BEST:: SOT 960623 SOS 482589 HAS SOPS 482589 HAS SOUS 393322 HAS SOUPS 393322 WITH SCORE 393804.589
AT ITER 567 NEW BEST:: SOT 953521 SOS 480228 HAS SOPS 480228 HAS SOUS 387351 HAS SOUPS 387351 WITH SCORE 387831.228
AT ITER 569 NEW BEST:: SOT 953494 SOS 480200 HAS SOPS 480200 HAS SOUS 387323 HAS SOUPS 387323 WITH SCORE 387803.2
AT ITER 570 NEW BEST:: SOT 953338 SOS 479715 HAS SOPS 479715 HAS SOUS 386838 HAS SOUPS 386838 WITH SCORE 387317.715
AT ITER 587 NEW BEST:: SOT 952077 SOS 478528 HAS SOPS 478528 HAS SOUS 385651 HAS SOUPS 385651 WITH SCORE 386129.528
AT ITER 618 NEW BEST:: SOT 944945 SOS 474062 HAS SOPS 474062 HAS SOUS 378998 HAS SOUPS 378998 WITH SCORE 379472.062
AT ITER 621 NEW BEST:: SOT 939640 SOS 472996 HAS SOPS 472996 HAS SOUS 374868 HAS SOUPS 374868 WITH SCORE 375340.996
AT ITER 644 NEW BEST:: SOT 928805 SOS 464910 HAS SOPS 464910 HAS SOUS 365189 HAS SOUPS 365189 WITH SCORE 365653.91
AT ITER 673 NEW BEST:: SOT 928337 SOS 463974 HAS SOPS 463974 HAS SOUS 365185 HAS SOUPS 365185 WITH SCORE 365648.974
AT ITER 684 NEW BEST:: SOT 923340 SOS 459896 HAS SOPS 459896 HAS SOUS 360711 HAS SOUPS 360711 WITH SCORE 361170.896
AT ITER 687 NEW BEST:: SOT 923340 SOS 459544 HAS SOPS 459544 HAS SOUS 360359 HAS SOUPS 360359 WITH SCORE 360818.544
AT ITER 700 NEW BEST:: SOT 921311 SOS 457769 HAS SOPS 457769 HAS SOUS 358542 HAS SOUPS 358542 WITH SCORE 358999.769
AT ITER 701 NEW BEST:: SOT 914330 SOS 451832 HAS SOPS 451832 HAS SOUS 352159 HAS SOUPS 352159 WITH SCORE 352610.832
AT ITER 709 NEW BEST:: SOT 914047 SOS 451548 HAS SOPS 451548 HAS SOUS 351991 HAS SOUPS 351991 WITH SCORE 352442.548
AT ITER 711 NEW BEST:: SOT 909233 SOS 450685 HAS SOPS 450685 HAS SOUS 348252 HAS SOUPS 348252 WITH SCORE 348702.685
AT ITER 718 NEW BEST:: SOT 909224 SOS 450675 HAS SOPS 450675 HAS SOUS 348242 HAS SOUPS 348242 WITH SCORE 348692.675
AT ITER 722 NEW BEST:: SOT 905013 SOS 447281 HAS SOPS 447281 HAS SOUS 344509 HAS SOUPS 344509 WITH SCORE 344956.281
AT ITER 736 NEW BEST:: SOT 905013 SOS 447037 HAS SOPS 447037 HAS SOUS 344265 HAS SOUPS 344265 WITH SCORE 344712.037
AT ITER 740 NEW BEST:: SOT 905500 SOS 447903 HAS SOPS 447903 HAS SOUS 344056 HAS SOUPS 344056 WITH SCORE 344503.903
AT ITER 748 NEW BEST:: SOT 897772 SOS 448122 HAS SOPS 448122 HAS SOUS 338060 HAS SOUPS 338060 WITH SCORE 338508.122
AT ITER 760 NEW BEST:: SOT 897640 SOS 447989 HAS SOPS 447989 HAS SOUS 338043 HAS SOUPS 338043 WITH SCORE 338490.989
AT ITER 776 NEW BEST:: SOT 893255 SOS 443918 HAS SOPS 443918 HAS SOUS 333749 HAS SOUPS 333749 WITH SCORE 334192.918
AT ITER 784 NEW BEST:: SOT 892683 SOS 443431 HAS SOPS 443431 HAS SOUS 333538 HAS SOUPS 333538 WITH SCORE 333981.431
AT ITER 796 NEW BEST:: SOT 892309 SOS 443057 HAS SOPS 443057 HAS SOUS 332945 HAS SOUPS 332945 WITH SCORE 333388.057
AT ITER 803 NEW BEST:: SOT 892439 SOS 443008 HAS SOPS 443008 HAS SOUS 332896 HAS SOUPS 332896 WITH SCORE 333339.008
AT ITER 806 NEW BEST:: SOT 892427 SOS 442996 HAS SOPS 442996 HAS SOUS 332884 HAS SOUPS 332884 WITH SCORE 333326.996
AT ITER 807 NEW BEST:: SOT 892427 SOS 442773 HAS SOPS 442773 HAS SOUS 332661 HAS SOUPS 332661 WITH SCORE 333103.773
AT ITER 826 NEW BEST:: SOT 892391 SOS 442737 HAS SOPS 442737 HAS SOUS 332625 HAS SOUPS 332625 WITH SCORE 333067.737
AT ITER 828 NEW BEST:: SOT 891815 SOS 442160 HAS SOPS 442160 HAS SOUS 332048 HAS SOUPS 332048 WITH SCORE 332490.16
AT ITER 830 NEW BEST:: SOT 885982 SOS 442587 HAS SOPS 442587 HAS SOUS 327997 HAS SOUPS 327997 WITH SCORE 328439.587
AT ITER 852 NEW BEST:: SOT 886034 SOS 442501 HAS SOPS 442501 HAS SOUS 327871 HAS SOUPS 327871 WITH SCORE 328313.501
AT ITER 853 NEW BEST:: SOT 885788 SOS 441885 HAS SOPS 441885 HAS SOUS 327379 HAS SOUPS 327379 WITH SCORE 327820.885
AT ITER 863 NEW BEST:: SOT 883380 SOS 442285 HAS SOPS 442285 HAS SOUS 325696 HAS SOUPS 325696 WITH SCORE 326138.285
AT ITER 876 NEW BEST:: SOT 882624 SOS 441161 HAS SOPS 441161 HAS SOUS 324572 HAS SOUPS 324572 WITH SCORE 325013.161
AT ITER 877 NEW BEST:: SOT 882513 SOS 440764 HAS SOPS 440764 HAS SOUS 324175 HAS SOUPS 324175 WITH SCORE 324615.764
AT ITER 881 NEW BEST:: SOT 882359 SOS 440610 HAS SOPS 440610 HAS SOUS 323873 HAS SOUPS 323873 WITH SCORE 324313.61
AT ITER 886 NEW BEST:: SOT 882359 SOS 441251 HAS SOPS 441251 HAS SOUS 323872 HAS SOUPS 323872 WITH SCORE 324313.251
AT ITER 895 NEW BEST:: SOT 882178 SOS 441070 HAS SOPS 441070 HAS SOUS 323691 HAS SOUPS 323691 WITH SCORE 324132.07
AT ITER 902 NEW BEST:: SOT 881716 SOS 440923 HAS SOPS 440923 HAS SOUS 323636 HAS SOUPS 323636 WITH SCORE 324076.923
AT ITER 919 NEW BEST:: SOT 881591 SOS 441217 HAS SOPS 441217 HAS SOUS 323580 HAS SOUPS 323580 WITH SCORE 324021.217
AT ITER 920 NEW BEST:: SOT 881535 SOS 441160 HAS SOPS 441160 HAS SOUS 323563 HAS SOUPS 323563 WITH SCORE 324004.16
AT ITER 936 NEW BEST:: SOT 880058 SOS 440175 HAS SOPS 440175 HAS SOUS 322208 HAS SOUPS 322208 WITH SCORE 322648.175
AT ITER 946 NEW BEST:: SOT 879505 SOS 439195 HAS SOPS 439195 HAS SOUS 321228 HAS SOUPS 321228 WITH SCORE 321667.195
AT ITER 950 NEW BEST:: SOT 878604 SOS 438126 HAS SOPS 438126 HAS SOUS 320159 HAS SOUPS 320159 WITH SCORE 320597.126
AT ITER 952 NEW BEST:: SOT 875784 SOS 437679 HAS SOPS 437679 HAS SOUS 317728 HAS SOUPS 317728 WITH SCORE 318165.679
AT ITER 956 NEW BEST:: SOT 875355 SOS 437328 HAS SOPS 437328 HAS SOUS 317344 HAS SOUPS 317344 WITH SCORE 317781.328
AT ITER 957 NEW BEST:: SOT 875355 SOS 437084 HAS SOPS 437084 HAS SOUS 317329 HAS SOUPS 317329 WITH SCORE 317766.084
AT ITER 958 NEW BEST:: SOT 875353 SOS 437081 HAS SOPS 437081 HAS SOUS 317326 HAS SOUPS 317326 WITH SCORE 317763.081
AT ITER 966 NEW BEST:: SOT 874525 SOS 436252 HAS SOPS 436252 HAS SOUS 316175 HAS SOUPS 316175 WITH SCORE 316611.252
AT ITER 968 NEW BEST:: SOT 873776 SOS 440511 HAS SOPS 440511 HAS SOUS 315905 HAS SOUPS 315905 WITH SCORE 316345.511
AT ITER 970 NEW BEST:: SOT 873667 SOS 440354 HAS SOPS 440354 HAS SOUS 315686 HAS SOUPS 315686 WITH SCORE 316126.354
AT ITER 975 NEW BEST:: SOT 873891 SOS 439879 HAS SOPS 439879 HAS SOUS 315205 HAS SOUPS 315205 WITH SCORE 315644.879
AT ITER 980 NEW BEST:: SOT 873759 SOS 440670 HAS SOPS 440670 HAS SOUS 315204 HAS SOUPS 315204 WITH SCORE 315644.67
AT ITER 983 NEW BEST:: SOT 870460 SOS 437706 HAS SOPS 437706 HAS SOUS 312201 HAS SOUPS 312201 WITH SCORE 312638.706
AT ITER 1009 NEW BEST:: SOT 870202 SOS 437145 HAS SOPS 437145 HAS SOUS 311681 HAS SOUPS 311681 WITH SCORE 312118.145
AT ITER 1017 NEW BEST:: SOT 869250 SOS 437620 HAS SOPS 437620 HAS SOUS 310966 HAS SOUPS 310966 WITH SCORE 311403.62
AT ITER 1061 NEW BEST:: SOT 869249 SOS 437547 HAS SOPS 437547 HAS SOUS 310929 HAS SOUPS 310929 WITH SCORE 311366.547
AT ITER 1068 NEW BEST:: SOT 867870 SOS 436264 HAS SOPS 436264 HAS SOUS 309741 HAS SOUPS 309741 WITH SCORE 310177.264
AT ITER 1079 NEW BEST:: SOT 867859 SOS 436253 HAS SOPS 436253 HAS SOUS 309719 HAS SOUPS 309719 WITH SCORE 310155.253
AT ITER 1087 NEW BEST:: SOT 867265 SOS 439700 HAS SOPS 439700 HAS SOUS 309588 HAS SOUPS 309588 WITH SCORE 310027.7
AT ITER 1091 NEW BEST:: SOT 866774 SOS 439205 HAS SOPS 439205 HAS SOUS 309093 HAS SOUPS 309093 WITH SCORE 309532.205
AT ITER 1093 NEW BEST:: SOT 866663 SOS 439094 HAS SOPS 439094 HAS SOUS 308982 HAS SOUPS 308982 WITH SCORE 309421.094
AT ITER 1097 NEW BEST:: SOT 860186 SOS 436690 HAS SOPS 436690 HAS SOUS 303839 HAS SOUPS 303839 WITH SCORE 304275.69
AT ITER 1112 NEW BEST:: SOT 860186 SOS 436655 HAS SOPS 436655 HAS SOUS 303804 HAS SOUPS 303804 WITH SCORE 304240.655
AT ITER 1126 NEW BEST:: SOT 860152 SOS 436620 HAS SOPS 436620 HAS SOUS 303769 HAS SOUPS 303769 WITH SCORE 304205.62
AT ITER 1140 NEW BEST:: SOT 860188 SOS 436656 HAS SOPS 436656 HAS SOUS 303577 HAS SOUPS 303577 WITH SCORE 304013.656
AT ITER 1163 NEW BEST:: SOT 860106 SOS 436574 HAS SOPS 436574 HAS SOUS 303495 HAS SOUPS 303495 WITH SCORE 303931.574
AT ITER 1166 NEW BEST:: SOT 860105 SOS 436573 HAS SOPS 436573 HAS SOUS 303493 HAS SOUPS 303493 WITH SCORE 303929.573
AT ITER 1179 NEW BEST:: SOT 860104 SOS 435990 HAS SOPS 435990 HAS SOUS 303424 HAS SOUPS 303424 WITH SCORE 303859.99
AT ITER 1193 NEW BEST:: SOT 859563 SOS 435448 HAS SOPS 435448 HAS SOUS 302970 HAS SOUPS 302970 WITH SCORE 303405.448
AT ITER 1208 NEW BEST:: SOT 858621 SOS 434903 HAS SOPS 434903 HAS SOUS 302162 HAS SOUPS 302162 WITH SCORE 302596.903
AT ITER 1209 NEW BEST:: SOT 851807 SOS 429727 HAS SOPS 429727 HAS SOUS 296155 HAS SOUPS 296155 WITH SCORE 296584.727
AT ITER 1210 NEW BEST:: SOT 851806 SOS 429727 HAS SOPS 429727 HAS SOUS 296154 HAS SOUPS 296154 WITH SCORE 296583.727
AT ITER 1219 NEW BEST:: SOT 851806 SOS 429726 HAS SOPS 429726 HAS SOUS 296153 HAS SOUPS 296153 WITH SCORE 296582.726
AT ITER 1220 NEW BEST:: SOT 846197 SOS 428873 HAS SOPS 428873 HAS SOUS 291800 HAS SOUPS 291800 WITH SCORE 292228.873
AT ITER 1226 NEW BEST:: SOT 844863 SOS 428633 HAS SOPS 428633 HAS SOUS 290721 HAS SOUPS 290721 WITH SCORE 291149.633
AT ITER 1236 NEW BEST:: SOT 844502 SOS 427807 HAS SOPS 427807 HAS SOUS 289995 HAS SOUPS 289995 WITH SCORE 290422.807
AT ITER 1241 NEW BEST:: SOT 841588 SOS 432291 HAS SOPS 432291 HAS SOUS 288058 HAS SOUPS 288058 WITH SCORE 288490.291
AT ITER 1253 NEW BEST:: SOT 841587 SOS 432290 HAS SOPS 432290 HAS SOUS 287962 HAS SOUPS 287962 WITH SCORE 288394.29
AT ITER 1266 NEW BEST:: SOT 841843 SOS 432546 HAS SOPS 432546 HAS SOUS 287958 HAS SOUPS 287958 WITH SCORE 288390.546
AT ITER 1271 NEW BEST:: SOT 841992 SOS 432695 HAS SOPS 432695 HAS SOUS 287920 HAS SOUPS 287920 WITH SCORE 288352.695
AT ITER 1277 NEW BEST:: SOT 839808 SOS 430987 HAS SOPS 430987 HAS SOUS 286128 HAS SOUPS 286128 WITH SCORE 286558.987
AT ITER 1293 NEW BEST:: SOT 839807 SOS 430772 HAS SOPS 430772 HAS SOUS 286126 HAS SOUPS 286126 WITH SCORE 286556.772
AT ITER 1294 NEW BEST:: SOT 837610 SOS 438387 HAS SOPS 438387 HAS SOUS 284786 HAS SOUPS 284786 WITH SCORE 285224.387
AT ITER 1296 NEW BEST:: SOT 832541 SOS 438641 HAS SOPS 438641 HAS SOUS 281230 HAS SOUPS 281230 WITH SCORE 281668.641
AT ITER 1337 NEW BEST:: SOT 832082 SOS 438064 HAS SOPS 438064 HAS SOUS 280652 HAS SOUPS 280652 WITH SCORE 281090.064
AT ITER 1338 NEW BEST:: SOT 824723 SOS 435806 HAS SOPS 435806 HAS SOUS 274601 HAS SOUPS 274601 WITH SCORE 275036.806
AT ITER 1340 NEW BEST:: SOT 824723 SOS 435815 HAS SOPS 435815 HAS SOUS 274600 HAS SOUPS 274600 WITH SCORE 275035.815
AT ITER 1362 NEW BEST:: SOT 824204 SOS 435213 HAS SOPS 435213 HAS SOUS 273925 HAS SOUPS 273925 WITH SCORE 274360.213
AT ITER 1363 NEW BEST:: SOT 823521 SOS 434526 HAS SOPS 434526 HAS SOUS 273238 HAS SOUPS 273238 WITH SCORE 273672.526
AT ITER 1365 NEW BEST:: SOT 823447 SOS 434452 HAS SOPS 434452 HAS SOUS 273164 HAS SOUPS 273164 WITH SCORE 273598.452
AT ITER 1375 NEW BEST:: SOT 823661 SOS 434666 HAS SOPS 434666 HAS SOUS 273022 HAS SOUPS 273022 WITH SCORE 273456.666
AT ITER 1402 NEW BEST:: SOT 823661 SOS 434665 HAS SOPS 434665 HAS SOUS 273021 HAS SOUPS 273021 WITH SCORE 273455.665
AT ITER 1406 NEW BEST:: SOT 815378 SOS 440232 HAS SOPS 440232 HAS SOUS 266766 HAS SOUPS 266766 WITH SCORE 267206.232
AT ITER 1407 NEW BEST:: SOT 811428 SOS 442809 HAS SOPS 442809 HAS SOUS 264353 HAS SOUPS 264353 WITH SCORE 264795.809
AT ITER 1419 NEW BEST:: SOT 809696 SOS 448055 HAS SOPS 448055 HAS SOUS 263620 HAS SOUPS 263620 WITH SCORE 264068.055
AT ITER 1423 NEW BEST:: SOT 808556 SOS 451098 HAS SOPS 451098 HAS SOUS 262861 HAS SOUPS 262861 WITH SCORE 263312.098
AT ITER 1445 NEW BEST:: SOT 808497 SOS 451039 HAS SOPS 451039 HAS SOUS 262802 HAS SOUPS 262802 WITH SCORE 263253.039
AT ITER 1447 NEW BEST:: SOT 808469 SOS 451011 HAS SOPS 451011 HAS SOUS 262636 HAS SOUPS 262636 WITH SCORE 263087.011
AT ITER 1454 NEW BEST:: SOT 807923 SOS 450194 HAS SOPS 450194 HAS SOUS 261742 HAS SOUPS 261742 WITH SCORE 262192.194
AT ITER 1467 NEW BEST:: SOT 807922 SOS 450152 HAS SOPS 450152 HAS SOUS 261741 HAS SOUPS 261741 WITH SCORE 262191.152
AT ITER 1474 NEW BEST:: SOT 807921 SOS 450025 HAS SOPS 450025 HAS SOUS 261739 HAS SOUPS 261739 WITH SCORE 262189.025
AT ITER 1480 NEW BEST:: SOT 807152 SOS 449255 HAS SOPS 449255 HAS SOUS 261564 HAS SOUPS 261564 WITH SCORE 262013.255
AT ITER 1496 NEW BEST:: SOT 804478 SOS 449727 HAS SOPS 449727 HAS SOUS 259585 HAS SOUPS 259585 WITH SCORE 260034.727
AT ITER 1536 NEW BEST:: SOT 804433 SOS 449362 HAS SOPS 449362 HAS SOUS 259171 HAS SOUPS 259171 WITH SCORE 259620.362
AT ITER 1537 NEW BEST:: SOT 804285 SOS 449213 HAS SOPS 449213 HAS SOUS 259022 HAS SOUPS 259022 WITH SCORE 259471.213
AT ITER 1574 NEW BEST:: SOT 803862 SOS 448708 HAS SOPS 448708 HAS SOUS 258525 HAS SOUPS 258525 WITH SCORE 258973.708
AT ITER 1592 NEW BEST:: SOT 803816 SOS 448885 HAS SOPS 448885 HAS SOUS 258479 HAS SOUPS 258479 WITH SCORE 258927.885
AT ITER 1594 NEW BEST:: SOT 801392 SOS 449245 HAS SOPS 449245 HAS SOUS 256419 HAS SOUPS 256419 WITH SCORE 256868.245
AT ITER 1598 NEW BEST:: SOT 801047 SOS 448450 HAS SOPS 448450 HAS SOUS 255743 HAS SOUPS 255743 WITH SCORE 256191.45
AT ITER 1613 NEW BEST:: SOT 799729 SOS 449586 HAS SOPS 449586 HAS SOUS 254635 HAS SOUPS 254635 WITH SCORE 255084.586
AT ITER 1619 NEW BEST:: SOT 799262 SOS 448973 HAS SOPS 448973 HAS SOUS 253877 HAS SOUPS 253877 WITH SCORE 254325.973
AT ITER 1643 NEW BEST:: SOT 799225 SOS 448935 HAS SOPS 448935 HAS SOUS 253839 HAS SOUPS 253839 WITH SCORE 254287.935
AT ITER 1658 NEW BEST:: SOT 799204 SOS 449140 HAS SOPS 449140 HAS SOUS 253827 HAS SOUPS 253827 WITH SCORE 254276.14
AT ITER 1669 NEW BEST:: SOT 799203 SOS 449139 HAS SOPS 449139 HAS SOUS 253825 HAS SOUPS 253825 WITH SCORE 254274.139
AT ITER 1713 NEW BEST:: SOT 798725 SOS 448661 HAS SOPS 448661 HAS SOUS 252895 HAS SOUPS 252895 WITH SCORE 253343.661
AT ITER 1719 NEW BEST:: SOT 798725 SOS 448661 HAS SOPS 448661 HAS SOUS 252873 HAS SOUPS 252873 WITH SCORE 253321.661
AT ITER 1726 NEW BEST:: SOT 798698 SOS 448634 HAS SOPS 448634 HAS SOUS 252820 HAS SOUPS 252820 WITH SCORE 253268.634
AT ITER 1731 NEW BEST:: SOT 797660 SOS 450223 HAS SOPS 450223 HAS SOUS 251997 HAS SOUPS 251997 WITH SCORE 252447.223
AT ITER 1739 NEW BEST:: SOT 797592 SOS 450152 HAS SOPS 450152 HAS SOUS 251926 HAS SOUPS 251926 WITH SCORE 252376.152
AT ITER 1747 NEW BEST:: SOT 796265 SOS 450822 HAS SOPS 450822 HAS SOUS 250978 HAS SOUPS 250978 WITH SCORE 251428.822
AT ITER 1760 NEW BEST:: SOT 795882 SOS 450439 HAS SOPS 450439 HAS SOUS 250591 HAS SOUPS 250591 WITH SCORE 251041.439
AT ITER 1764 NEW BEST:: SOT 795867 SOS 450543 HAS SOPS 450543 HAS SOUS 250585 HAS SOUPS 250585 WITH SCORE 251035.543
AT ITER 1769 NEW BEST:: SOT 795866 SOS 450542 HAS SOPS 450542 HAS SOUS 250248 HAS SOUPS 250248 WITH SCORE 250698.542
AT ITER 1790 NEW BEST:: SOT 795545 SOS 449899 HAS SOPS 449899 HAS SOUS 250247 HAS SOUPS 250247 WITH SCORE 250696.899
AT ITER 1793 NEW BEST:: SOT 795495 SOS 449849 HAS SOPS 449849 HAS SOUS 249944 HAS SOUPS 249944 WITH SCORE 250393.849
AT ITER 1794 NEW BEST:: SOT 794536 SOS 449214 HAS SOPS 449214 HAS SOUS 249148 HAS SOUPS 249148 WITH SCORE 249597.214
AT ITER 1826 NEW BEST:: SOT 794531 SOS 449208 HAS SOPS 449208 HAS SOUS 249142 HAS SOUPS 249142 WITH SCORE 249591.208
AT ITER 1850 NEW BEST:: SOT 794570 SOS 449247 HAS SOPS 449247 HAS SOUS 248936 HAS SOUPS 248936 WITH SCORE 249385.247
AT ITER 1862 NEW BEST:: SOT 792953 SOS 453086 HAS SOPS 453086 HAS SOUS 247848 HAS SOUPS 247848 WITH SCORE 248301.086
AT ITER 1904 NEW BEST:: SOT 792952 SOS 452940 HAS SOPS 452940 HAS SOUS 247846 HAS SOUPS 247846 WITH SCORE 248298.94
AT ITER 1912 NEW BEST:: SOT 792631 SOS 452619 HAS SOPS 452619 HAS SOUS 247524 HAS SOUPS 247524 WITH SCORE 247976.619
AT ITER 1947 NEW BEST:: SOT 792627 SOS 452615 HAS SOPS 452615 HAS SOUS 247520 HAS SOUPS 247520 WITH SCORE 247972.615
AT ITER 1950 NEW BEST:: SOT 792535 SOS 452501 HAS SOPS 452501 HAS SOUS 247428 HAS SOUPS 247428 WITH SCORE 247880.501
AT ITER 1952 NEW BEST:: SOT 792534 SOS 452500 HAS SOPS 452500 HAS SOUS 247426 HAS SOUPS 247426 WITH SCORE 247878.5
AT ITER 1967 NEW BEST:: SOT 792537 SOS 452503 HAS SOPS 452503 HAS SOUS 247414 HAS SOUPS 247414 WITH SCORE 247866.503
AT ITER 1978 NEW BEST:: SOT 792516 SOS 452482 HAS SOPS 452482 HAS SOUS 247376 HAS SOUPS 247376 WITH SCORE 247828.482
AT ITER 1983 NEW BEST:: SOT 792145 SOS 451679 HAS SOPS 451679 HAS SOUS 247025 HAS SOUPS 247025 WITH SCORE 247476.679
AT ITER 1997 NEW BEST:: SOT 792144 SOS 451587 HAS SOPS 451587 HAS SOUS 247023 HAS SOUPS 247023 WITH SCORE 247474.587
AT ITER 2036 NEW BEST:: SOT 792006 SOS 451449 HAS SOPS 451449 HAS SOUS 246747 HAS SOUPS 246747 WITH SCORE 247198.449
AT ITER 2040 NEW BEST:: SOT 791983 SOS 451426 HAS SOPS 451426 HAS SOUS 246724 HAS SOUPS 246724 WITH SCORE 247175.426
AT ITER 2043 NEW BEST:: SOT 792006 SOS 451449 HAS SOPS 451449 HAS SOUS 246354 HAS SOUPS 246354 WITH SCORE 246805.449
AT ITER 2061 NEW BEST:: SOT 791989 SOS 451452 HAS SOPS 451452 HAS SOUS 246269 HAS SOUPS 246269 WITH SCORE 246720.452
AT ITER 2065 NEW BEST:: SOT 791918 SOS 451381 HAS SOPS 451381 HAS SOUS 246198 HAS SOUPS 246198 WITH SCORE 246649.381
AT ITER 2093 NEW BEST:: SOT 790734 SOS 453688 HAS SOPS 453688 HAS SOUS 245485 HAS SOUPS 245485 WITH SCORE 245938.688
AT ITER 2104 NEW BEST:: SOT 785917 SOS 452268 HAS SOPS 452268 HAS SOUS 241196 HAS SOUPS 241196 WITH SCORE 241648.268
AT ITER 2109 NEW BEST:: SOT 785787 SOS 452138 HAS SOPS 452138 HAS SOUS 241098 HAS SOUPS 241098 WITH SCORE 241550.138
AT ITER 2146 NEW BEST:: SOT 785786 SOS 452137 HAS SOPS 452137 HAS SOUS 241096 HAS SOUPS 241096 WITH SCORE 241548.137
AT ITER 2180 NEW BEST:: SOT 785415 SOS 455472 HAS SOPS 455472 HAS SOUS 240996 HAS SOUPS 240996 WITH SCORE 241451.472
AT ITER 2182 NEW BEST:: SOT 785350 SOS 455139 HAS SOPS 455139 HAS SOUS 240863 HAS SOUPS 240863 WITH SCORE 241318.139
AT ITER 2186 NEW BEST:: SOT 785286 SOS 455075 HAS SOPS 455075 HAS SOUS 240826 HAS SOUPS 240826 WITH SCORE 241281.075
AT ITER 2197 NEW BEST:: SOT 785121 SOS 454910 HAS SOPS 454910 HAS SOUS 240698 HAS SOUPS 240698 WITH SCORE 241152.91
AT ITER 2204 NEW BEST:: SOT 784865 SOS 454654 HAS SOPS 454654 HAS SOUS 240524 HAS SOUPS 240524 WITH SCORE 240978.654
AT ITER 2206 NEW BEST:: SOT 784864 SOS 454653 HAS SOPS 454653 HAS SOUS 240375 HAS SOUPS 240375 WITH SCORE 240829.653
AT ITER 2221 NEW BEST:: SOT 784864 SOS 454462 HAS SOPS 454462 HAS SOUS 240184 HAS SOUPS 240184 WITH SCORE 240638.462
AT ITER 2236 NEW BEST:: SOT 785103 SOS 454648 HAS SOPS 454648 HAS SOUS 240028 HAS SOUPS 240028 WITH SCORE 240482.648
AT ITER 2247 NEW BEST:: SOT 784951 SOS 454496 HAS SOPS 454496 HAS SOUS 239875 HAS SOUPS 239875 WITH SCORE 240329.496
AT ITER 2263 NEW BEST:: SOT 783877 SOS 455114 HAS SOPS 455114 HAS SOUS 239114 HAS SOUPS 239114 WITH SCORE 239569.114
AT ITER 2269 NEW BEST:: SOT 783876 SOS 455113 HAS SOPS 455113 HAS SOUS 239112 HAS SOUPS 239112 WITH SCORE 239567.113
AT ITER 2275 NEW BEST:: SOT 783819 SOS 455056 HAS SOPS 455056 HAS SOUS 239055 HAS SOUPS 239055 WITH SCORE 239510.056
AT ITER 2288 NEW BEST:: SOT 783732 SOS 455055 HAS SOPS 455055 HAS SOUS 238991 HAS SOUPS 238991 WITH SCORE 239446.055
AT ITER 2301 NEW BEST:: SOT 783731 SOS 455053 HAS SOPS 455053 HAS SOUS 238989 HAS SOUPS 238989 WITH SCORE 239444.053
AT ITER 2334 NEW BEST:: SOT 783731 SOS 455053 HAS SOPS 455053 HAS SOUS 238977 HAS SOUPS 238977 WITH SCORE 239432.053
AT ITER 2351 NEW BEST:: SOT 783724 SOS 455046 HAS SOPS 455046 HAS SOUS 238963 HAS SOUPS 238963 WITH SCORE 239418.046
AT ITER 2353 NEW BEST:: SOT 783676 SOS 455382 HAS SOPS 455382 HAS SOUS 238915 HAS SOUPS 238915 WITH SCORE 239370.382
AT ITER 2360 NEW BEST:: SOT 783609 SOS 455315 HAS SOPS 455315 HAS SOUS 238781 HAS SOUPS 238781 WITH SCORE 239236.315
AT ITER 2363 NEW BEST:: SOT 783541 SOS 455247 HAS SOPS 455247 HAS SOUS 238645 HAS SOUPS 238645 WITH SCORE 239100.247
AT ITER 2368 NEW BEST:: SOT 783541 SOS 455247 HAS SOPS 455247 HAS SOUS 238510 HAS SOUPS 238510 WITH SCORE 238965.247
AT ITER 2398 NEW BEST:: SOT 783501 SOS 455167 HAS SOPS 455167 HAS SOUS 238470 HAS SOUPS 238470 WITH SCORE 238925.167
AT ITER 2409 NEW BEST:: SOT 783470 SOS 455136 HAS SOPS 455136 HAS SOUS 238408 HAS SOUPS 238408 WITH SCORE 238863.136
AT ITER 2410 NEW BEST:: SOT 783458 SOS 455124 HAS SOPS 455124 HAS SOUS 238396 HAS SOUPS 238396 WITH SCORE 238851.124
AT ITER 2421 NEW BEST:: SOT 783457 SOS 455123 HAS SOPS 455123 HAS SOUS 238394 HAS SOUPS 238394 WITH SCORE 238849.123
AT ITER 2440 NEW BEST:: SOT 783019 SOS 454742 HAS SOPS 454742 HAS SOUS 238013 HAS SOUPS 238013 WITH SCORE 238467.742
AT ITER 2456 NEW BEST:: SOT 782426 SOS 455223 HAS SOPS 455223 HAS SOUS 237593 HAS SOUPS 237593 WITH SCORE 238048.223
AT ITER 2457 NEW BEST:: SOT 779954 SOS 458296 HAS SOPS 458296 HAS SOUS 236012 HAS SOUPS 236012 WITH SCORE 236470.296
AT ITER 2476 NEW BEST:: SOT 779870 SOS 458212 HAS SOPS 458212 HAS SOUS 235692 HAS SOUPS 235692 WITH SCORE 236150.212
AT ITER 2488 NEW BEST:: SOT 779869 SOS 458211 HAS SOPS 458211 HAS SOUS 235690 HAS SOUPS 235690 WITH SCORE 236148.211
AT ITER 2501 NEW BEST:: SOT 779995 SOS 458190 HAS SOPS 458190 HAS SOUS 235656 HAS SOUPS 235656 WITH SCORE 236114.19
AT ITER 2506 NEW BEST:: SOT 774824 SOS 460244 HAS SOPS 460244 HAS SOUS 231782 HAS SOUPS 231782 WITH SCORE 232242.244
AT ITER 2525 NEW BEST:: SOT 774755 SOS 460175 HAS SOPS 460175 HAS SOUS 231713 HAS SOUPS 231713 WITH SCORE 232173.175
AT ITER 2539 NEW BEST:: SOT 774586 SOS 460576 HAS SOPS 460576 HAS SOUS 231643 HAS SOUPS 231643 WITH SCORE 232103.576
AT ITER 2561 NEW BEST:: SOT 774568 SOS 460556 HAS SOPS 460556 HAS SOUS 231623 HAS SOUPS 231623 WITH SCORE 232083.556
AT ITER 2563 NEW BEST:: SOT 774101 SOS 460088 HAS SOPS 460088 HAS SOUS 231155 HAS SOUPS 231155 WITH SCORE 231615.088
AT ITER 2564 NEW BEST:: SOT 774101 SOS 460087 HAS SOPS 460087 HAS SOUS 231154 HAS SOUPS 231154 WITH SCORE 231614.087
AT ITER 2573 NEW BEST:: SOT 774101 SOS 460125 HAS SOPS 460125 HAS SOUS 231116 HAS SOUPS 231116 WITH SCORE 231576.125
AT ITER 2581 NEW BEST:: SOT 774097 SOS 460123 HAS SOPS 460123 HAS SOUS 231114 HAS SOUPS 231114 WITH SCORE 231574.123
AT ITER 2596 NEW BEST:: SOT 774096 SOS 460122 HAS SOPS 460122 HAS SOUS 231112 HAS SOUPS 231112 WITH SCORE 231572.122
AT ITER 2600 NEW BEST:: SOT 773921 SOS 460000 HAS SOPS 460000 HAS SOUS 230903 HAS SOUPS 230903 WITH SCORE 231363.0
AT ITER 2613 NEW BEST:: SOT 773350 SOS 459429 HAS SOPS 459429 HAS SOUS 230374 HAS SOUPS 230374 WITH SCORE 230833.429
AT ITER 2620 NEW BEST:: SOT 773349 SOS 459427 HAS SOPS 459427 HAS SOUS 230371 HAS SOUPS 230371 WITH SCORE 230830.427
AT ITER 2633 NEW BEST:: SOT 773391 SOS 459469 HAS SOPS 459469 HAS SOUS 230322 HAS SOUPS 230322 WITH SCORE 230781.469
AT ITER 2646 NEW BEST:: SOT 773047 SOS 459125 HAS SOPS 459125 HAS SOUS 229634 HAS SOUPS 229634 WITH SCORE 230093.125
AT ITER 2652 NEW BEST:: SOT 772563 SOS 461731 HAS SOPS 461731 HAS SOUS 229545 HAS SOUPS 229545 WITH SCORE 230006.731
AT ITER 2659 NEW BEST:: SOT 772406 SOS 461305 HAS SOPS 461305 HAS SOUS 229113 HAS SOUPS 229113 WITH SCORE 229574.305
AT ITER 2661 NEW BEST:: SOT 772037 SOS 460936 HAS SOPS 460936 HAS SOUS 228744 HAS SOUPS 228744 WITH SCORE 229204.936
AT ITER 2666 NEW BEST:: SOT 771956 SOS 460855 HAS SOPS 460855 HAS SOUS 228663 HAS SOUPS 228663 WITH SCORE 229123.855
AT ITER 2681 NEW BEST:: SOT 771954 SOS 460851 HAS SOPS 460851 HAS SOUS 228659 HAS SOUPS 228659 WITH SCORE 229119.851
AT ITER 2686 NEW BEST:: SOT 768812 SOS 460983 HAS SOPS 460983 HAS SOUS 226215 HAS SOUPS 226215 WITH SCORE 226675.983
AT ITER 2700 NEW BEST:: SOT 768812 SOS 460972 HAS SOPS 460972 HAS SOUS 226215 HAS SOUPS 226215 WITH SCORE 226675.972
AT ITER 2717 NEW BEST:: SOT 768811 SOS 460971 HAS SOPS 460971 HAS SOUS 226213 HAS SOUPS 226213 WITH SCORE 226673.971
AT ITER 2724 NEW BEST:: SOT 768811 SOS 460692 HAS SOPS 460692 HAS SOUS 226078 HAS SOUPS 226078 WITH SCORE 226538.692
AT ITER 2782 NEW BEST:: SOT 768318 SOS 461675 HAS SOPS 461675 HAS SOUS 225830 HAS SOUPS 225830 WITH SCORE 226291.675
AT ITER 2793 NEW BEST:: SOT 768536 SOS 461893 HAS SOPS 461893 HAS SOUS 225823 HAS SOUPS 225823 WITH SCORE 226284.893
AT ITER 2824 NEW BEST:: SOT 768201 SOS 461558 HAS SOPS 461558 HAS SOUS 225153 HAS SOUPS 225153 WITH SCORE 225614.558
AT ITER 2827 NEW BEST:: SOT 768107 SOS 461001 HAS SOPS 461001 HAS SOUS 224855 HAS SOUPS 224855 WITH SCORE 225316.001
AT ITER 2833 NEW BEST:: SOT 768033 SOS 460927 HAS SOPS 460927 HAS SOUS 224781 HAS SOUPS 224781 WITH SCORE 225241.927
AT ITER 2834 NEW BEST:: SOT 768032 SOS 460926 HAS SOPS 460926 HAS SOUS 224779 HAS SOUPS 224779 WITH SCORE 225239.926
AT ITER 2835 NEW BEST:: SOT 768005 SOS 460899 HAS SOPS 460899 HAS SOUS 224752 HAS SOUPS 224752 WITH SCORE 225212.899
AT ITER 2837 NEW BEST:: SOT 767649 SOS 460543 HAS SOPS 460543 HAS SOUS 224439 HAS SOUPS 224439 WITH SCORE 224899.543
AT ITER 2838 NEW BEST:: SOT 767642 SOS 460536 HAS SOPS 460536 HAS SOUS 224425 HAS SOUPS 224425 WITH SCORE 224885.536
AT ITER 2875 NEW BEST:: SOT 767530 SOS 460312 HAS SOPS 460312 HAS SOUS 224201 HAS SOUPS 224201 WITH SCORE 224661.312
AT ITER 2876 NEW BEST:: SOT 762888 SOS 464820 HAS SOPS 464820 HAS SOUS 220607 HAS SOUPS 220607 WITH SCORE 221071.82
AT ITER 2883 NEW BEST:: SOT 762875 SOS 464807 HAS SOPS 464807 HAS SOUS 220594 HAS SOUPS 220594 WITH SCORE 221058.807
AT ITER 2885 NEW BEST:: SOT 762874 SOS 464806 HAS SOPS 464806 HAS SOUS 220592 HAS SOUPS 220592 WITH SCORE 221056.806
AT ITER 2894 NEW BEST:: SOT 762870 SOS 464802 HAS SOPS 464802 HAS SOUS 220588 HAS SOUPS 220588 WITH SCORE 221052.802
AT ITER 2905 NEW BEST:: SOT 762987 SOS 464919 HAS SOPS 464919 HAS SOUS 220568 HAS SOUPS 220568 WITH SCORE 221032.919
AT ITER 2911 NEW BEST:: SOT 762987 SOS 464919 HAS SOPS 464919 HAS SOUS 220560 HAS SOUPS 220560 WITH SCORE 221024.919
AT ITER 2929 NEW BEST:: SOT 762553 SOS 464485 HAS SOPS 464485 HAS SOUS 220126 HAS SOUPS 220126 WITH SCORE 220590.485
AT ITER 2950 NEW BEST:: SOT 762537 SOS 464469 HAS SOPS 464469 HAS SOUS 220110 HAS SOUPS 220110 WITH SCORE 220574.469
AT ITER 2959 NEW BEST:: SOT 762496 SOS 464428 HAS SOPS 464428 HAS SOUS 220069 HAS SOUPS 220069 WITH SCORE 220533.428
AT ITER 2975 NEW BEST:: SOT 759411 SOS 469655 HAS SOPS 469655 HAS SOUS 218097 HAS SOUPS 218097 WITH SCORE 218566.655
AT ITER 2997 NEW BEST:: SOT 759410 SOS 469654 HAS SOPS 469654 HAS SOUS 218095 HAS SOUPS 218095 WITH SCORE 218564.654
AT ITER 3019 NEW BEST:: SOT 759590 SOS 469834 HAS SOPS 469834 HAS SOUS 217995 HAS SOUPS 217995 WITH SCORE 218464.834
AT ITER 3031 NEW BEST:: SOT 759590 SOS 469845 HAS SOPS 469845 HAS SOUS 217994 HAS SOUPS 217994 WITH SCORE 218463.845
AT ITER 3032 NEW BEST:: SOT 759590 SOS 469705 HAS SOPS 469705 HAS SOUS 217993 HAS SOUPS 217993 WITH SCORE 218462.705
AT ITER 3041 NEW BEST:: SOT 759096 SOS 469554 HAS SOPS 469554 HAS SOUS 217475 HAS SOUPS 217475 WITH SCORE 217944.554
AT ITER 3055 NEW BEST:: SOT 759096 SOS 469554 HAS SOPS 469554 HAS SOUS 217459 HAS SOUPS 217459 WITH SCORE 217928.554
AT ITER 3096 NEW BEST:: SOT 759096 SOS 469504 HAS SOPS 469504 HAS SOUS 217409 HAS SOUPS 217409 WITH SCORE 217878.504
AT ITER 3121 NEW BEST:: SOT 759149 SOS 469557 HAS SOPS 469557 HAS SOUS 217377 HAS SOUPS 217377 WITH SCORE 217846.557
AT ITER 3139 NEW BEST:: SOT 759125 SOS 469397 HAS SOPS 469397 HAS SOUS 217353 HAS SOUPS 217353 WITH SCORE 217822.397
AT ITER 3191 NEW BEST:: SOT 758782 SOS 469054 HAS SOPS 469054 HAS SOUS 217092 HAS SOUPS 217092 WITH SCORE 217561.054
AT ITER 3221 NEW BEST:: SOT 758674 SOS 468928 HAS SOPS 468928 HAS SOUS 216894 HAS SOUPS 216894 WITH SCORE 217362.928
AT ITER 3249 NEW BEST:: SOT 758729 SOS 468983 HAS SOPS 468983 HAS SOUS 216773 HAS SOUPS 216773 WITH SCORE 217241.983
AT ITER 3276 NEW BEST:: SOT 758729 SOS 468983 HAS SOPS 468983 HAS SOUS 216518 HAS SOUPS 216518 WITH SCORE 216986.983
AT ITER 3282 NEW BEST:: SOT 758653 SOS 468907 HAS SOPS 468907 HAS SOUS 216442 HAS SOUPS 216442 WITH SCORE 216910.907
AT ITER 3291 NEW BEST:: SOT 758652 SOS 468906 HAS SOPS 468906 HAS SOUS 216440 HAS SOUPS 216440 WITH SCORE 216908.906
AT ITER 3298 NEW BEST:: SOT 758612 SOS 468866 HAS SOPS 468866 HAS SOUS 216360 HAS SOUPS 216360 WITH SCORE 216828.866
AT ITER 3299 NEW BEST:: SOT 758608 SOS 468862 HAS SOPS 468862 HAS SOUS 216356 HAS SOUPS 216356 WITH SCORE 216824.862
AT ITER 3307 NEW BEST:: SOT 758609 SOS 468792 HAS SOPS 468792 HAS SOUS 216303 HAS SOUPS 216303 WITH SCORE 216771.792
AT ITER 3312 NEW BEST:: SOT 758560 SOS 469103 HAS SOPS 469103 HAS SOUS 216277 HAS SOUPS 216277 WITH SCORE 216746.103
AT ITER 3320 NEW BEST:: SOT 758507 SOS 469050 HAS SOPS 469050 HAS SOUS 216171 HAS SOUPS 216171 WITH SCORE 216640.05
AT ITER 3327 NEW BEST:: SOT 758497 SOS 469040 HAS SOPS 469040 HAS SOUS 216151 HAS SOUPS 216151 WITH SCORE 216620.04
AT ITER 3350 NEW BEST:: SOT 758397 SOS 469220 HAS SOPS 469220 HAS SOUS 216071 HAS SOUPS 216071 WITH SCORE 216540.22
AT ITER 3370 NEW BEST:: SOT 758358 SOS 469136 HAS SOPS 469136 HAS SOUS 216019 HAS SOUPS 216019 WITH SCORE 216488.136
AT ITER 3378 NEW BEST:: SOT 758304 SOS 469082 HAS SOPS 469082 HAS SOUS 215961 HAS SOUPS 215961 WITH SCORE 216430.082
AT ITER 3386 NEW BEST:: SOT 758259 SOS 468991 HAS SOPS 468991 HAS SOUS 215902 HAS SOUPS 215902 WITH SCORE 216370.991
AT ITER 3389 NEW BEST:: SOT 758258 SOS 468990 HAS SOPS 468990 HAS SOUS 215901 HAS SOUPS 215901 WITH SCORE 216369.99
AT ITER 3400 NEW BEST:: SOT 758308 SOS 469089 HAS SOPS 469089 HAS SOUS 215802 HAS SOUPS 215802 WITH SCORE 216271.089
AT ITER 3429 NEW BEST:: SOT 758237 SOS 469018 HAS SOPS 469018 HAS SOUS 215658 HAS SOUPS 215658 WITH SCORE 216127.018
AT ITER 3430 NEW BEST:: SOT 757313 SOS 468284 HAS SOPS 468284 HAS SOUS 215336 HAS SOUPS 215336 WITH SCORE 215804.284
AT ITER 3436 NEW BEST:: SOT 757268 SOS 468256 HAS SOPS 468256 HAS SOUS 215324 HAS SOUPS 215324 WITH SCORE 215792.256
AT ITER 3441 NEW BEST:: SOT 757224 SOS 468212 HAS SOPS 468212 HAS SOUS 215236 HAS SOUPS 215236 WITH SCORE 215704.212
AT ITER 3459 NEW BEST:: SOT 757223 SOS 468211 HAS SOPS 468211 HAS SOUS 215234 HAS SOUPS 215234 WITH SCORE 215702.211
AT ITER 3464 NEW BEST:: SOT 757169 SOS 468157 HAS SOPS 468157 HAS SOUS 215126 HAS SOUPS 215126 WITH SCORE 215594.157
AT ITER 3469 NEW BEST:: SOT 757154 SOS 468142 HAS SOPS 468142 HAS SOUS 215111 HAS SOUPS 215111 WITH SCORE 215579.142
AT ITER 3483 NEW BEST:: SOT 757094 SOS 468082 HAS SOPS 468082 HAS SOUS 215051 HAS SOUPS 215051 WITH SCORE 215519.082
AT ITER 3485 NEW BEST:: SOT 757335 SOS 468323 HAS SOPS 468323 HAS SOUS 215049 HAS SOUPS 215049 WITH SCORE 215517.323
AT ITER 3487 NEW BEST:: SOT 757282 SOS 469570 HAS SOPS 469570 HAS SOUS 215047 HAS SOUPS 215047 WITH SCORE 215516.57
AT ITER 3540 NEW BEST:: SOT 757398 SOS 469686 HAS SOPS 469686 HAS SOUS 215001 HAS SOUPS 215001 WITH SCORE 215470.686
AT ITER 3550 NEW BEST:: SOT 756310 SOS 469045 HAS SOPS 469045 HAS SOUS 214013 HAS SOUPS 214013 WITH SCORE 214482.045
AT ITER 3580 NEW BEST:: SOT 756309 SOS 469044 HAS SOPS 469044 HAS SOUS 214011 HAS SOUPS 214011 WITH SCORE 214480.044
AT ITER 3604 NEW BEST:: SOT 756374 SOS 469109 HAS SOPS 469109 HAS SOUS 213926 HAS SOUPS 213926 WITH SCORE 214395.109
AT ITER 3618 NEW BEST:: SOT 756279 SOS 469014 HAS SOPS 469014 HAS SOUS 213831 HAS SOUPS 213831 WITH SCORE 214300.014
AT ITER 3634 NEW BEST:: SOT 756523 SOS 469258 HAS SOPS 469258 HAS SOUS 213755 HAS SOUPS 213755 WITH SCORE 214224.258
AT ITER 3674 NEW BEST:: SOT 756472 SOS 469213 HAS SOPS 469213 HAS SOUS 213710 HAS SOUPS 213710 WITH SCORE 214179.213
AT ITER 3684 NEW BEST:: SOT 755729 SOS 469012 HAS SOPS 469012 HAS SOUS 213062 HAS SOUPS 213062 WITH SCORE 213531.012
AT ITER 3693 NEW BEST:: SOT 755537 SOS 468820 HAS SOPS 468820 HAS SOUS 212895 HAS SOUPS 212895 WITH SCORE 213363.82
AT ITER 3727 NEW BEST:: SOT 755470 SOS 468693 HAS SOPS 468693 HAS SOUS 212569 HAS SOUPS 212569 WITH SCORE 213037.693
AT ITER 3733 NEW BEST:: SOT 755469 SOS 468692 HAS SOPS 468692 HAS SOUS 212567 HAS SOUPS 212567 WITH SCORE 213035.692
AT ITER 3735 NEW BEST:: SOT 755343 SOS 468565 HAS SOPS 468565 HAS SOUS 212440 HAS SOUPS 212440 WITH SCORE 212908.565
AT ITER 3789 NEW BEST:: SOT 754766 SOS 467988 HAS SOPS 467988 HAS SOUS 211839 HAS SOUPS 211839 WITH SCORE 212306.988
AT ITER 3802 NEW BEST:: SOT 754765 SOS 467987 HAS SOPS 467987 HAS SOUS 211837 HAS SOUPS 211837 WITH SCORE 212304.987
AT ITER 3809 NEW BEST:: SOT 753530 SOS 474694 HAS SOPS 474694 HAS SOUS 211232 HAS SOUPS 211232 WITH SCORE 211706.694
AT ITER 3824 NEW BEST:: SOT 753529 SOS 474682 HAS SOPS 474682 HAS SOUS 211230 HAS SOUPS 211230 WITH SCORE 211704.682
AT ITER 3825 NEW BEST:: SOT 753529 SOS 474502 HAS SOPS 474502 HAS SOUS 211230 HAS SOUPS 211230 WITH SCORE 211704.502
AT ITER 3862 NEW BEST:: SOT 753528 SOS 474501 HAS SOPS 474501 HAS SOUS 211228 HAS SOUPS 211228 WITH SCORE 211702.501
AT ITER 3867 NEW BEST:: SOT 753504 SOS 474477 HAS SOPS 474477 HAS SOUS 211180 HAS SOUPS 211180 WITH SCORE 211654.477
AT ITER 3872 NEW BEST:: SOT 753469 SOS 474442 HAS SOPS 474442 HAS SOUS 211145 HAS SOUPS 211145 WITH SCORE 211619.442
AT ITER 3920 NEW BEST:: SOT 753474 SOS 474447 HAS SOPS 474447 HAS SOUS 211093 HAS SOUPS 211093 WITH SCORE 211567.447
AT ITER 3921 NEW BEST:: SOT 753411 SOS 474384 HAS SOPS 474384 HAS SOUS 210967 HAS SOUPS 210967 WITH SCORE 211441.384
AT ITER 3924 NEW BEST:: SOT 753003 SOS 474024 HAS SOPS 474024 HAS SOUS 210583 HAS SOUPS 210583 WITH SCORE 211057.024
AT ITER 3996 NEW BEST:: SOT 752889 SOS 474175 HAS SOPS 474175 HAS SOUS 210557 HAS SOUPS 210557 WITH SCORE 211031.175
AT ITER 4009 NEW BEST:: SOT 744862 SOS 477217 HAS SOPS 477217 HAS SOUS 204485 HAS SOUPS 204485 WITH SCORE 204962.217
AT ITER 4015 NEW BEST:: SOT 744901 SOS 477256 HAS SOPS 477256 HAS SOUS 204369 HAS SOUPS 204369 WITH SCORE 204846.256
AT ITER 4025 NEW BEST:: SOT 744901 SOS 476679 HAS SOPS 476679 HAS SOUS 204368 HAS SOUPS 204368 WITH SCORE 204844.679
AT ITER 4032 NEW BEST:: SOT 744900 SOS 476678 HAS SOPS 476678 HAS SOUS 204366 HAS SOUPS 204366 WITH SCORE 204842.678
AT ITER 4035 NEW BEST:: SOT 744805 SOS 476583 HAS SOPS 476583 HAS SOUS 204271 HAS SOUPS 204271 WITH SCORE 204747.583
AT ITER 4072 NEW BEST:: SOT 743292 SOS 478589 HAS SOPS 478589 HAS SOUS 203421 HAS SOUPS 203421 WITH SCORE 203899.589
AT ITER 4114 NEW BEST:: SOT 743291 SOS 478588 HAS SOPS 478588 HAS SOUS 203344 HAS SOUPS 203344 WITH SCORE 203822.588
AT ITER 4145 NEW BEST:: SOT 743277 SOS 478646 HAS SOPS 478646 HAS SOUS 203338 HAS SOUPS 203338 WITH SCORE 203816.646
AT ITER 4156 NEW BEST:: SOT 743066 SOS 478435 HAS SOPS 478435 HAS SOUS 202916 HAS SOUPS 202916 WITH SCORE 203394.435
AT ITER 4166 NEW BEST:: SOT 743064 SOS 478433 HAS SOPS 478433 HAS SOUS 202837 HAS SOUPS 202837 WITH SCORE 203315.433
AT ITER 4167 NEW BEST:: SOT 743153 SOS 478522 HAS SOPS 478522 HAS SOUS 202814 HAS SOUPS 202814 WITH SCORE 203292.522
AT ITER 4200 NEW BEST:: SOT 743116 SOS 478485 HAS SOPS 478485 HAS SOUS 202740 HAS SOUPS 202740 WITH SCORE 203218.485
AT ITER 4204 NEW BEST:: SOT 743140 SOS 478509 HAS SOPS 478509 HAS SOUS 202738 HAS SOUPS 202738 WITH SCORE 203216.509
AT ITER 4217 NEW BEST:: SOT 743136 SOS 478515 HAS SOPS 478515 HAS SOUS 202736 HAS SOUPS 202736 WITH SCORE 203214.515
AT ITER 4230 NEW BEST:: SOT 743117 SOS 478496 HAS SOPS 478496 HAS SOUS 202717 HAS SOUPS 202717 WITH SCORE 203195.496
AT ITER 4235 NEW BEST:: SOT 743093 SOS 478472 HAS SOPS 478472 HAS SOUS 202693 HAS SOUPS 202693 WITH SCORE 203171.472
AT ITER 4248 NEW BEST:: SOT 743092 SOS 478465 HAS SOPS 478465 HAS SOUS 202691 HAS SOUPS 202691 WITH SCORE 203169.465
AT ITER 4262 NEW BEST:: SOT 743065 SOS 478438 HAS SOPS 478438 HAS SOUS 202664 HAS SOUPS 202664 WITH SCORE 203142.438
AT ITER 4270 NEW BEST:: SOT 743064 SOS 478437 HAS SOPS 478437 HAS SOUS 202663 HAS SOUPS 202663 WITH SCORE 203141.437
AT ITER 4286 NEW BEST:: SOT 743065 SOS 478438 HAS SOPS 478438 HAS SOUS 202550 HAS SOUPS 202550 WITH SCORE 203028.438
AT ITER 4308 NEW BEST:: SOT 743063 SOS 478436 HAS SOPS 478436 HAS SOUS 202546 HAS SOUPS 202546 WITH SCORE 203024.436
AT ITER 4326 NEW BEST:: SOT 741779 SOS 484957 HAS SOPS 484957 HAS SOUS 202319 HAS SOUPS 202319 WITH SCORE 202803.957
AT ITER 4327 NEW BEST:: SOT 740363 SOS 487633 HAS SOPS 487633 HAS SOUS 201318 HAS SOUPS 201318 WITH SCORE 201805.633
AT ITER 4341 NEW BEST:: SOT 740263 SOS 487449 HAS SOPS 487449 HAS SOUS 201279 HAS SOUPS 201279 WITH SCORE 201766.449
AT ITER 4353 NEW BEST:: SOT 739849 SOS 492151 HAS SOPS 492151 HAS SOUS 201070 HAS SOUPS 201070 WITH SCORE 201562.151
AT ITER 4358 NEW BEST:: SOT 739394 SOS 491122 HAS SOPS 491122 HAS SOUS 200477 HAS SOUPS 200477 WITH SCORE 200968.122
AT ITER 4387 NEW BEST:: SOT 739274 SOS 491002 HAS SOPS 491002 HAS SOUS 200237 HAS SOUPS 200237 WITH SCORE 200728.002
AT ITER 4396 NEW BEST:: SOT 739047 SOS 492300 HAS SOPS 492300 HAS SOUS 200193 HAS SOUPS 200193 WITH SCORE 200685.3
AT ITER 4413 NEW BEST:: SOT 739047 SOS 492300 HAS SOPS 492300 HAS SOUS 200132 HAS SOUPS 200132 WITH SCORE 200624.3
AT ITER 4429 NEW BEST:: SOT 739057 SOS 492308 HAS SOPS 492308 HAS SOUS 199978 HAS SOUPS 199978 WITH SCORE 200470.308
AT ITER 4483 NEW BEST:: SOT 736743 SOS 493104 HAS SOPS 493104 HAS SOUS 198174 HAS SOUPS 198174 WITH SCORE 198667.104
AT ITER 4510 NEW BEST:: SOT 736743 SOS 493104 HAS SOPS 493104 HAS SOUS 198154 HAS SOUPS 198154 WITH SCORE 198647.104
AT ITER 4521 NEW BEST:: SOT 736734 SOS 493095 HAS SOPS 493095 HAS SOUS 198136 HAS SOUPS 198136 WITH SCORE 198629.095
AT ITER 4546 NEW BEST:: SOT 736791 SOS 493152 HAS SOPS 493152 HAS SOUS 198067 HAS SOUPS 198067 WITH SCORE 198560.152
AT ITER 4547 NEW BEST:: SOT 736857 SOS 493218 HAS SOPS 493218 HAS SOUS 198031 HAS SOUPS 198031 WITH SCORE 198524.218
AT ITER 4548 NEW BEST:: SOT 736822 SOS 493183 HAS SOPS 493183 HAS SOUS 198010 HAS SOUPS 198010 WITH SCORE 198503.183
AT ITER 4555 NEW BEST:: SOT 736821 SOS 493182 HAS SOPS 493182 HAS SOUS 198008 HAS SOUPS 198008 WITH SCORE 198501.182
AT ITER 4559 NEW BEST:: SOT 736821 SOS 493182 HAS SOPS 493182 HAS SOUS 198005 HAS SOUPS 198005 WITH SCORE 198498.182
AT ITER 4568 NEW BEST:: SOT 736904 SOS 493265 HAS SOPS 493265 HAS SOUS 198003 HAS SOUPS 198003 WITH SCORE 198496.265
AT ITER 4576 NEW BEST:: SOT 736903 SOS 493264 HAS SOPS 493264 HAS SOUS 198001 HAS SOUPS 198001 WITH SCORE 198494.264
AT ITER 4607 NEW BEST:: SOT 736789 SOS 493150 HAS SOPS 493150 HAS SOUS 197780 HAS SOUPS 197780 WITH SCORE 198273.15
AT ITER 4643 NEW BEST:: SOT 736775 SOS 493136 HAS SOPS 493136 HAS SOUS 197754 HAS SOUPS 197754 WITH SCORE 198247.136
AT ITER 4651 NEW BEST:: SOT 736699 SOS 493060 HAS SOPS 493060 HAS SOUS 197602 HAS SOUPS 197602 WITH SCORE 198095.06
AT ITER 4711 NEW BEST:: SOT 736656 SOS 493017 HAS SOPS 493017 HAS SOUS 197516 HAS SOUPS 197516 WITH SCORE 198009.017
AT ITER 4738 NEW BEST:: SOT 736403 SOS 492764 HAS SOPS 492764 HAS SOUS 197010 HAS SOUPS 197010 WITH SCORE 197502.764
AT ITER 4769 NEW BEST:: SOT 736380 SOS 492741 HAS SOPS 492741 HAS SOUS 196964 HAS SOUPS 196964 WITH SCORE 197456.741
AT ITER 4772 NEW BEST:: SOT 736160 SOS 494061 HAS SOPS 494061 HAS SOUS 196854 HAS SOUPS 196854 WITH SCORE 197348.061
AT ITER 4823 NEW BEST:: SOT 735692 SOS 496320 HAS SOPS 496320 HAS SOUS 196722 HAS SOUPS 196722 WITH SCORE 197218.32
AT ITER 4831 NEW BEST:: SOT 735479 SOS 497030 HAS SOPS 497030 HAS SOUS 196651 HAS SOUPS 196651 WITH SCORE 197148.03
AT ITER 4834 NEW BEST:: SOT 735478 SOS 497029 HAS SOPS 497029 HAS SOUS 196649 HAS SOUPS 196649 WITH SCORE 197146.029
AT ITER 4835 NEW BEST:: SOT 735477 SOS 497028 HAS SOPS 497028 HAS SOUS 196648 HAS SOUPS 196648 WITH SCORE 197145.028
AT ITER 4861 NEW BEST:: SOT 735443 SOS 496994 HAS SOPS 496994 HAS SOUS 196580 HAS SOUPS 196580 WITH SCORE 197076.994
AT ITER 4864 NEW BEST:: SOT 735442 SOS 496993 HAS SOPS 496993 HAS SOUS 196578 HAS SOUPS 196578 WITH SCORE 197074.993
AT ITER 4867 NEW BEST:: SOT 735442 SOS 496979 HAS SOPS 496979 HAS SOUS 196578 HAS SOUPS 196578 WITH SCORE 197074.979
AT ITER 4868 NEW BEST:: SOT 735441 SOS 496978 HAS SOPS 496978 HAS SOUS 196576 HAS SOUPS 196576 WITH SCORE 197072.978
AT ITER 4880 NEW BEST:: SOT 735440 SOS 496977 HAS SOPS 496977 HAS SOUS 196574 HAS SOUPS 196574 WITH SCORE 197070.977
AT ITER 4918 NEW BEST:: SOT 735415 SOS 496952 HAS SOPS 496952 HAS SOUS 196524 HAS SOUPS 196524 WITH SCORE 197020.952
AT ITER 4960 NEW BEST:: SOT 735414 SOS 496951 HAS SOPS 496951 HAS SOUS 196522 HAS SOUPS 196522 WITH SCORE 197018.951
AT ITER 4976 NEW BEST:: SOT 735355 SOS 496892 HAS SOPS 496892 HAS SOUS 196404 HAS SOUPS 196404 WITH SCORE 196900.892
AT ITER 4979 NEW BEST:: SOT 735356 SOS 496893 HAS SOPS 496893 HAS SOUS 196400 HAS SOUPS 196400 WITH SCORE 196896.893
AT ITER 4984 NEW BEST:: SOT 735356 SOS 496893 HAS SOPS 496893 HAS SOUS 196363 HAS SOUPS 196363 WITH SCORE 196859.893
AT ITER 5027 NEW BEST:: SOT 735271 SOS 496808 HAS SOPS 496808 HAS SOUS 196154 HAS SOUPS 196154 WITH SCORE 196650.808
AT ITER 5037 NEW BEST:: SOT 735180 SOS 496717 HAS SOPS 496717 HAS SOUS 196141 HAS SOUPS 196141 WITH SCORE 196637.717
AT ITER 5094 NEW BEST:: SOT 735180 SOS 496717 HAS SOPS 496717 HAS SOUS 195858 HAS SOUPS 195858 WITH SCORE 196354.717
AT ITER 5107 NEW BEST:: SOT 735178 SOS 496715 HAS SOPS 496715 HAS SOUS 195856 HAS SOUPS 195856 WITH SCORE 196352.715
AT ITER 5125 NEW BEST:: SOT 735178 SOS 496714 HAS SOPS 496714 HAS SOUS 195855 HAS SOUPS 195855 WITH SCORE 196351.714
AT ITER 5135 NEW BEST:: SOT 735116 SOS 496652 HAS SOPS 496652 HAS SOUS 195727 HAS SOUPS 195727 WITH SCORE 196223.652
AT ITER 5149 NEW BEST:: SOT 735112 SOS 496648 HAS SOPS 496648 HAS SOUS 195723 HAS SOUPS 195723 WITH SCORE 196219.648
AT ITER 5176 NEW BEST:: SOT 735111 SOS 496647 HAS SOPS 496647 HAS SOUS 195721 HAS SOUPS 195721 WITH SCORE 196217.647
AT ITER 5241 NEW BEST:: SOT 735073 SOS 496609 HAS SOPS 496609 HAS SOUS 195645 HAS SOUPS 195645 WITH SCORE 196141.609
AT ITER 5299 NEW BEST:: SOT 735072 SOS 496608 HAS SOPS 496608 HAS SOUS 195643 HAS SOUPS 195643 WITH SCORE 196139.608
AT ITER 5312 NEW BEST:: SOT 735004 SOS 496540 HAS SOPS 496540 HAS SOUS 195507 HAS SOUPS 195507 WITH SCORE 196003.54
AT ITER 5333 NEW BEST:: SOT 734949 SOS 496485 HAS SOPS 496485 HAS SOUS 195502 HAS SOUPS 195502 WITH SCORE 195998.485
AT ITER 5336 NEW BEST:: SOT 734929 SOS 496464 HAS SOPS 496464 HAS SOUS 195481 HAS SOUPS 195481 WITH SCORE 195977.464
AT ITER 5342 NEW BEST:: SOT 734907 SOS 496442 HAS SOPS 496442 HAS SOUS 195481 HAS SOUPS 195481 WITH SCORE 195977.442
AT ITER 5343 NEW BEST:: SOT 734907 SOS 496160 HAS SOPS 496160 HAS SOUS 195241 HAS SOUPS 195241 WITH SCORE 195737.16
AT ITER 5387 NEW BEST:: SOT 734906 SOS 496159 HAS SOPS 496159 HAS SOUS 195239 HAS SOUPS 195239 WITH SCORE 195735.159
AT ITER 5397 NEW BEST:: SOT 734906 SOS 496159 HAS SOPS 496159 HAS SOUS 195072 HAS SOUPS 195072 WITH SCORE 195568.159
AT ITER 5414 NEW BEST:: SOT 734906 SOS 496159 HAS SOPS 496159 HAS SOUS 195068 HAS SOUPS 195068 WITH SCORE 195564.159
AT ITER 5425 NEW BEST:: SOT 734340 SOS 495593 HAS SOPS 495593 HAS SOUS 194379 HAS SOUPS 194379 WITH SCORE 194874.593
AT ITER 5461 NEW BEST:: SOT 734339 SOS 495592 HAS SOPS 495592 HAS SOUS 194378 HAS SOUPS 194378 WITH SCORE 194873.592
AT ITER 5468 NEW BEST:: SOT 734241 SOS 495494 HAS SOPS 495494 HAS SOUS 194182 HAS SOUPS 194182 WITH SCORE 194677.494
AT ITER 5470 NEW BEST:: SOT 734200 SOS 495453 HAS SOPS 495453 HAS SOUS 194141 HAS SOUPS 194141 WITH SCORE 194636.453
AT ITER 5498 NEW BEST:: SOT 733781 SOS 499767 HAS SOPS 499767 HAS SOUS 194061 HAS SOUPS 194061 WITH SCORE 194560.767
AT ITER 5553 NEW BEST:: SOT 734009 SOS 499995 HAS SOPS 499995 HAS SOUS 193979 HAS SOUPS 193979 WITH SCORE 194478.995
AT ITER 5567 NEW BEST:: SOT 734009 SOS 500040 HAS SOPS 500040 HAS SOUS 193978 HAS SOUPS 193978 WITH SCORE 194478.04
AT ITER 5569 NEW BEST:: SOT 733991 SOS 500022 HAS SOPS 500022 HAS SOUS 193942 HAS SOUPS 193942 WITH SCORE 194442.022
AT ITER 5582 NEW BEST:: SOT 733983 SOS 500168 HAS SOPS 500168 HAS SOUS 193940 HAS SOUPS 193940 WITH SCORE 194440.168
AT ITER 5613 NEW BEST:: SOT 733578 SOS 503229 HAS SOPS 503229 HAS SOUS 193738 HAS SOUPS 193738 WITH SCORE 194241.229
AT ITER 5630 NEW BEST:: SOT 733416 SOS 505180 HAS SOPS 505180 HAS SOUS 193715 HAS SOUPS 193715 WITH SCORE 194220.18
AT ITER 5633 NEW BEST:: SOT 733498 SOS 505262 HAS SOPS 505262 HAS SOUS 193479 HAS SOUPS 193479 WITH SCORE 193984.262
AT ITER 5641 NEW BEST:: SOT 733497 SOS 505261 HAS SOPS 505261 HAS SOUS 193477 HAS SOUPS 193477 WITH SCORE 193982.261
AT ITER 5657 NEW BEST:: SOT 733420 SOS 505184 HAS SOPS 505184 HAS SOUS 193428 HAS SOUPS 193428 WITH SCORE 193933.184
AT ITER 5660 NEW BEST:: SOT 733125 SOS 504915 HAS SOPS 504915 HAS SOUS 193242 HAS SOUPS 193242 WITH SCORE 193746.915
AT ITER 5670 NEW BEST:: SOT 733089 SOS 504879 HAS SOPS 504879 HAS SOUS 193170 HAS SOUPS 193170 WITH SCORE 193674.879
AT ITER 5679 NEW BEST:: SOT 733088 SOS 504878 HAS SOPS 504878 HAS SOUS 193168 HAS SOUPS 193168 WITH SCORE 193672.878
AT ITER 5700 NEW BEST:: SOT 733088 SOS 504878 HAS SOPS 504878 HAS SOUS 193127 HAS SOUPS 193127 WITH SCORE 193631.878
AT ITER 5729 NEW BEST:: SOT 733100 SOS 504890 HAS SOPS 504890 HAS SOUS 193061 HAS SOUPS 193061 WITH SCORE 193565.89
AT ITER 5734 NEW BEST:: SOT 733050 SOS 504840 HAS SOPS 504840 HAS SOUS 192836 HAS SOUPS 192836 WITH SCORE 193340.84
AT ITER 5747 NEW BEST:: SOT 733049 SOS 504839 HAS SOPS 504839 HAS SOUS 192834 HAS SOUPS 192834 WITH SCORE 193338.839
AT ITER 5764 NEW BEST:: SOT 733049 SOS 504839 HAS SOPS 504839 HAS SOUS 192830 HAS SOUPS 192830 WITH SCORE 193334.839
AT ITER 5774 NEW BEST:: SOT 733048 SOS 504838 HAS SOPS 504838 HAS SOUS 192793 HAS SOUPS 192793 WITH SCORE 193297.838
AT ITER 5815 NEW BEST:: SOT 733043 SOS 504833 HAS SOPS 504833 HAS SOUS 192783 HAS SOUPS 192783 WITH SCORE 193287.833
AT ITER 5840 NEW BEST:: SOT 733042 SOS 504832 HAS SOPS 504832 HAS SOUS 192781 HAS SOUPS 192781 WITH SCORE 193285.832
AT ITER 5893 NEW BEST:: SOT 733032 SOS 504822 HAS SOPS 504822 HAS SOUS 192771 HAS SOUPS 192771 WITH SCORE 193275.822
AT ITER 5915 NEW BEST:: SOT 732976 SOS 505158 HAS SOPS 505158 HAS SOUS 192743 HAS SOUPS 192743 WITH SCORE 193248.158
AT ITER 5954 NEW BEST:: SOT 732892 SOS 505074 HAS SOPS 505074 HAS SOUS 192615 HAS SOUPS 192615 WITH SCORE 193120.074
AT ITER 5961 NEW BEST:: SOT 732892 SOS 505074 HAS SOPS 505074 HAS SOUS 192504 HAS SOUPS 192504 WITH SCORE 193009.074
AT ITER 5980 NEW BEST:: SOT 732851 SOS 505033 HAS SOPS 505033 HAS SOUS 192498 HAS SOUPS 192498 WITH SCORE 193003.033
AT ITER 6002 NEW BEST:: SOT 732805 SOS 505400 HAS SOPS 505400 HAS SOUS 192497 HAS SOUPS 192497 WITH SCORE 193002.4
AT ITER 6012 NEW BEST:: SOT 732804 SOS 505399 HAS SOPS 505399 HAS SOUS 192495 HAS SOUPS 192495 WITH SCORE 193000.399
AT ITER 6048 NEW BEST:: SOT 732803 SOS 505398 HAS SOPS 505398 HAS SOUS 192493 HAS SOUPS 192493 WITH SCORE 192998.398
AT ITER 6056 NEW BEST:: SOT 732719 SOS 505350 HAS SOPS 505350 HAS SOUS 192409 HAS SOUPS 192409 WITH SCORE 192914.35
AT ITER 6061 NEW BEST:: SOT 732647 SOS 505278 HAS SOPS 505278 HAS SOUS 192112 HAS SOUPS 192112 WITH SCORE 192617.278
AT ITER 6062 NEW BEST:: SOT 732647 SOS 505268 HAS SOPS 505268 HAS SOUS 192102 HAS SOUPS 192102 WITH SCORE 192607.268
AT ITER 6111 NEW BEST:: SOT 732603 SOS 505224 HAS SOPS 505224 HAS SOUS 192014 HAS SOUPS 192014 WITH SCORE 192519.224
AT ITER 6123 NEW BEST:: SOT 732602 SOS 505223 HAS SOPS 505223 HAS SOUS 192012 HAS SOUPS 192012 WITH SCORE 192517.223
AT ITER 6126 NEW BEST:: SOT 732599 SOS 505220 HAS SOPS 505220 HAS SOUS 192003 HAS SOUPS 192003 WITH SCORE 192508.22
AT ITER 6158 NEW BEST:: SOT 732592 SOS 505213 HAS SOPS 505213 HAS SOUS 191989 HAS SOUPS 191989 WITH SCORE 192494.213
AT ITER 6216 NEW BEST:: SOT 732559 SOS 505819 HAS SOPS 505819 HAS SOUS 191988 HAS SOUPS 191988 WITH SCORE 192493.819
AT ITER 6258 NEW BEST:: SOT 732558 SOS 505818 HAS SOPS 505818 HAS SOUS 191986 HAS SOUPS 191986 WITH SCORE 192491.818
AT ITER 6301 NEW BEST:: SOT 732346 SOS 505606 HAS SOPS 505606 HAS SOUS 191562 HAS SOUPS 191562 WITH SCORE 192067.606
AT ITER 6306 NEW BEST:: SOT 732345 SOS 505605 HAS SOPS 505605 HAS SOUS 191560 HAS SOUPS 191560 WITH SCORE 192065.605
AT ITER 6313 NEW BEST:: SOT 732346 SOS 505585 HAS SOPS 505585 HAS SOUS 191530 HAS SOUPS 191530 WITH SCORE 192035.585
AT ITER 6336 NEW BEST:: SOT 731871 SOS 504541 HAS SOPS 504541 HAS SOUS 190574 HAS SOUPS 190574 WITH SCORE 191078.541
AT ITER 6342 NEW BEST:: SOT 731870 SOS 504540 HAS SOPS 504540 HAS SOUS 190572 HAS SOUPS 190572 WITH SCORE 191076.54
AT ITER 6350 NEW BEST:: SOT 731878 SOS 504548 HAS SOPS 504548 HAS SOUS 190410 HAS SOUPS 190410 WITH SCORE 190914.548
AT ITER 6373 NEW BEST:: SOT 731878 SOS 502514 HAS SOPS 502514 HAS SOUS 190314 HAS SOUPS 190314 WITH SCORE 190816.514
AT ITER 6429 NEW BEST:: SOT 731841 SOS 502477 HAS SOPS 502477 HAS SOUS 190311 HAS SOUPS 190311 WITH SCORE 190813.477
AT ITER 6441 NEW BEST:: SOT 731841 SOS 502477 HAS SOPS 502477 HAS SOUS 190010 HAS SOUPS 190010 WITH SCORE 190512.477
AT ITER 6444 NEW BEST:: SOT 731836 SOS 502472 HAS SOPS 502472 HAS SOUS 190000 HAS SOUPS 190000 WITH SCORE 190502.472
AT ITER 6472 NEW BEST:: SOT 730864 SOS 504830 HAS SOPS 504830 HAS SOUS 189235 HAS SOUPS 189235 WITH SCORE 189739.83
AT ITER 6480 NEW BEST:: SOT 731087 SOS 505053 HAS SOPS 505053 HAS SOUS 189208 HAS SOUPS 189208 WITH SCORE 189713.053
AT ITER 6496 NEW BEST:: SOT 731072 SOS 505038 HAS SOPS 505038 HAS SOUS 189178 HAS SOUPS 189178 WITH SCORE 189683.038
AT ITER 6518 NEW BEST:: SOT 730949 SOS 504814 HAS SOPS 504814 HAS SOUS 188973 HAS SOUPS 188973 WITH SCORE 189477.814
AT ITER 6567 NEW BEST:: SOT 730949 SOS 504806 HAS SOPS 504806 HAS SOUS 188973 HAS SOUPS 188973 WITH SCORE 189477.806
AT ITER 6569 NEW BEST:: SOT 730949 SOS 504598 HAS SOPS 504598 HAS SOUS 188973 HAS SOUPS 188973 WITH SCORE 189477.598
AT ITER 6585 NEW BEST:: SOT 730930 SOS 504579 HAS SOPS 504579 HAS SOUS 188954 HAS SOUPS 188954 WITH SCORE 189458.579
AT ITER 6628 NEW BEST:: SOT 730844 SOS 504493 HAS SOPS 504493 HAS SOUS 188835 HAS SOUPS 188835 WITH SCORE 189339.493
AT ITER 6685 NEW BEST:: SOT 730837 SOS 504486 HAS SOPS 504486 HAS SOUS 188821 HAS SOUPS 188821 WITH SCORE 189325.486
AT ITER 6711 NEW BEST:: SOT 730655 SOS 504304 HAS SOPS 504304 HAS SOUS 188728 HAS SOUPS 188728 WITH SCORE 189232.304
AT ITER 6722 NEW BEST:: SOT 730456 SOS 504105 HAS SOPS 504105 HAS SOUS 188728 HAS SOUPS 188728 WITH SCORE 189232.105
AT ITER 6737 NEW BEST:: SOT 730212 SOS 507374 HAS SOPS 507374 HAS SOUS 188625 HAS SOUPS 188625 WITH SCORE 189132.374
AT ITER 6745 NEW BEST:: SOT 730192 SOS 507354 HAS SOPS 507354 HAS SOUS 188585 HAS SOUPS 188585 WITH SCORE 189092.354
AT ITER 6769 NEW BEST:: SOT 730172 SOS 507334 HAS SOPS 507334 HAS SOUS 188545 HAS SOUPS 188545 WITH SCORE 189052.334
AT ITER 6782 NEW BEST:: SOT 730172 SOS 507334 HAS SOPS 507334 HAS SOUS 188441 HAS SOUPS 188441 WITH SCORE 188948.334
AT ITER 6793 NEW BEST:: SOT 730067 SOS 507229 HAS SOPS 507229 HAS SOUS 188215 HAS SOUPS 188215 WITH SCORE 188722.229
AT ITER 6796 NEW BEST:: SOT 730023 SOS 507141 HAS SOPS 507141 HAS SOUS 188127 HAS SOUPS 188127 WITH SCORE 188634.141
AT ITER 6805 NEW BEST:: SOT 729991 SOS 507109 HAS SOPS 507109 HAS SOUS 188063 HAS SOUPS 188063 WITH SCORE 188570.109
AT ITER 6818 NEW BEST:: SOT 729956 SOS 507074 HAS SOPS 507074 HAS SOUS 187993 HAS SOUPS 187993 WITH SCORE 188500.074
AT ITER 6831 NEW BEST:: SOT 729952 SOS 507102 HAS SOPS 507102 HAS SOUS 187991 HAS SOUPS 187991 WITH SCORE 188498.102
AT ITER 6853 NEW BEST:: SOT 729948 SOS 507098 HAS SOPS 507098 HAS SOUS 187983 HAS SOUPS 187983 WITH SCORE 188490.098
AT ITER 6854 NEW BEST:: SOT 729937 SOS 507087 HAS SOPS 507087 HAS SOUS 187961 HAS SOUPS 187961 WITH SCORE 188468.087
AT ITER 6877 NEW BEST:: SOT 729873 SOS 507023 HAS SOPS 507023 HAS SOUS 187833 HAS SOUPS 187833 WITH SCORE 188340.023
AT ITER 6920 NEW BEST:: SOT 729728 SOS 508890 HAS SOPS 508890 HAS SOUS 187805 HAS SOUPS 187805 WITH SCORE 188313.89
AT ITER 6926 NEW BEST:: SOT 729720 SOS 508882 HAS SOPS 508882 HAS SOUS 187797 HAS SOUPS 187797 WITH SCORE 188305.882
AT ITER 6930 NEW BEST:: SOT 729714 SOS 508876 HAS SOPS 508876 HAS SOUS 187785 HAS SOUPS 187785 WITH SCORE 188293.876
AT ITER 6944 NEW BEST:: SOT 729713 SOS 508875 HAS SOPS 508875 HAS SOUS 187768 HAS SOUPS 187768 WITH SCORE 188276.875
AT ITER 6964 NEW BEST:: SOT 729712 SOS 508874 HAS SOPS 508874 HAS SOUS 187767 HAS SOUPS 187767 WITH SCORE 188275.874
AT ITER 6988 NEW BEST:: SOT 729454 SOS 509865 HAS SOPS 509865 HAS SOUS 187601 HAS SOUPS 187601 WITH SCORE 188110.865
AT ITER 7017 NEW BEST:: SOT 729557 SOS 509968 HAS SOPS 509968 HAS SOUS 187499 HAS SOUPS 187499 WITH SCORE 188008.968
AT ITER 7038 NEW BEST:: SOT 729510 SOS 509921 HAS SOPS 509921 HAS SOUS 187234 HAS SOUPS 187234 WITH SCORE 187743.921
AT ITER 7054 NEW BEST:: SOT 729477 SOS 509660 HAS SOPS 509660 HAS SOUS 187168 HAS SOUPS 187168 WITH SCORE 187677.66
AT ITER 7056 NEW BEST:: SOT 729477 SOS 509660 HAS SOPS 509660 HAS SOUS 187157 HAS SOUPS 187157 WITH SCORE 187666.66
AT ITER 7066 NEW BEST:: SOT 729448 SOS 509631 HAS SOPS 509631 HAS SOUS 186879 HAS SOUPS 186879 WITH SCORE 187388.631
AT ITER 7067 NEW BEST:: SOT 729431 SOS 509614 HAS SOPS 509614 HAS SOUS 186845 HAS SOUPS 186845 WITH SCORE 187354.614
AT ITER 7070 NEW BEST:: SOT 729430 SOS 509613 HAS SOPS 509613 HAS SOUS 186843 HAS SOUPS 186843 WITH SCORE 187352.613
AT ITER 7071 NEW BEST:: SOT 729430 SOS 509613 HAS SOPS 509613 HAS SOUS 186752 HAS SOUPS 186752 WITH SCORE 187261.613
AT ITER 7104 NEW BEST:: SOT 729532 SOS 509715 HAS SOPS 509715 HAS SOUS 186674 HAS SOUPS 186674 WITH SCORE 187183.715
AT ITER 7105 NEW BEST:: SOT 729610 SOS 509793 HAS SOPS 509793 HAS SOUS 186666 HAS SOUPS 186666 WITH SCORE 187175.793
AT ITER 7109 NEW BEST:: SOT 729484 SOS 509667 HAS SOPS 509667 HAS SOUS 186666 HAS SOUPS 186666 WITH SCORE 187175.667
AT ITER 7131 NEW BEST:: SOT 729445 SOS 509628 HAS SOPS 509628 HAS SOUS 186627 HAS SOUPS 186627 WITH SCORE 187136.628
AT ITER 7198 NEW BEST:: SOT 729384 SOS 509567 HAS SOPS 509567 HAS SOUS 186559 HAS SOUPS 186559 WITH SCORE 187068.567
AT ITER 7215 NEW BEST:: SOT 729296 SOS 509479 HAS SOPS 509479 HAS SOUS 186383 HAS SOUPS 186383 WITH SCORE 186892.479
AT ITER 7224 NEW BEST:: SOT 729363 SOS 509546 HAS SOPS 509546 HAS SOUS 186319 HAS SOUPS 186319 WITH SCORE 186828.546
AT ITER 7235 NEW BEST:: SOT 729130 SOS 509313 HAS SOPS 509313 HAS SOUS 185853 HAS SOUPS 185853 WITH SCORE 186362.313
AT ITER 7242 NEW BEST:: SOT 729003 SOS 509186 HAS SOPS 509186 HAS SOUS 185599 HAS SOUPS 185599 WITH SCORE 186108.186
AT ITER 7243 NEW BEST:: SOT 729002 SOS 509185 HAS SOPS 509185 HAS SOUS 185597 HAS SOUPS 185597 WITH SCORE 186106.185
AT ITER 7294 NEW BEST:: SOT 729001 SOS 509184 HAS SOPS 509184 HAS SOUS 185564 HAS SOUPS 185564 WITH SCORE 186073.184
AT ITER 7297 NEW BEST:: SOT 728991 SOS 509174 HAS SOPS 509174 HAS SOUS 185561 HAS SOUPS 185561 WITH SCORE 186070.174
AT ITER 7356 NEW BEST:: SOT 728969 SOS 509152 HAS SOPS 509152 HAS SOUS 185539 HAS SOUPS 185539 WITH SCORE 186048.152
AT ITER 7385 NEW BEST:: SOT 728969 SOS 509152 HAS SOPS 509152 HAS SOUS 185435 HAS SOUPS 185435 WITH SCORE 185944.152
AT ITER 7390 NEW BEST:: SOT 728947 SOS 509130 HAS SOPS 509130 HAS SOUS 185391 HAS SOUPS 185391 WITH SCORE 185900.13
AT ITER 7392 NEW BEST:: SOT 728895 SOS 509078 HAS SOPS 509078 HAS SOUS 185287 HAS SOUPS 185287 WITH SCORE 185796.078
AT ITER 7406 NEW BEST:: SOT 728894 SOS 509077 HAS SOPS 509077 HAS SOUS 185285 HAS SOUPS 185285 WITH SCORE 185794.077
AT ITER 7427 NEW BEST:: SOT 728893 SOS 509076 HAS SOPS 509076 HAS SOUS 185283 HAS SOUPS 185283 WITH SCORE 185792.076
AT ITER 7456 NEW BEST:: SOT 728875 SOS 509058 HAS SOPS 509058 HAS SOUS 185247 HAS SOUPS 185247 WITH SCORE 185756.058
AT ITER 7500 NEW BEST:: SOT 728762 SOS 508945 HAS SOPS 508945 HAS SOUS 185134 HAS SOUPS 185134 WITH SCORE 185642.945
AT ITER 7536 NEW BEST:: SOT 728761 SOS 509004 HAS SOPS 509004 HAS SOUS 185132 HAS SOUPS 185132 WITH SCORE 185641.004
AT ITER 7537 NEW BEST:: SOT 728750 SOS 508918 HAS SOPS 508918 HAS SOUS 185121 HAS SOUPS 185121 WITH SCORE 185629.918
AT ITER 7539 NEW BEST:: SOT 728610 SOS 508778 HAS SOPS 508778 HAS SOUS 184995 HAS SOUPS 184995 WITH SCORE 185503.778
AT ITER 7570 NEW BEST:: SOT 728599 SOS 508767 HAS SOPS 508767 HAS SOUS 184973 HAS SOUPS 184973 WITH SCORE 185481.767
AT ITER 7582 NEW BEST:: SOT 728606 SOS 508774 HAS SOPS 508774 HAS SOUS 184971 HAS SOUPS 184971 WITH SCORE 185479.774
AT ITER 7619 NEW BEST:: SOT 728561 SOS 508729 HAS SOPS 508729 HAS SOUS 184881 HAS SOUPS 184881 WITH SCORE 185389.729
AT ITER 7692 NEW BEST:: SOT 728542 SOS 508710 HAS SOPS 508710 HAS SOUS 184843 HAS SOUPS 184843 WITH SCORE 185351.71
AT ITER 7708 NEW BEST:: SOT 728566 SOS 508734 HAS SOPS 508734 HAS SOUS 184795 HAS SOUPS 184795 WITH SCORE 185303.734
AT ITER 7728 NEW BEST:: SOT 728565 SOS 508733 HAS SOPS 508733 HAS SOUS 184793 HAS SOUPS 184793 WITH SCORE 185301.733
AT ITER 7749 NEW BEST:: SOT 728565 SOS 508732 HAS SOPS 508732 HAS SOUS 184792 HAS SOUPS 184792 WITH SCORE 185300.732
AT ITER 7797 NEW BEST:: SOT 728138 SOS 513936 HAS SOPS 513936 HAS SOUS 184620 HAS SOUPS 184620 WITH SCORE 185133.936
AT ITER 7811 NEW BEST:: SOT 728128 SOS 513926 HAS SOPS 513926 HAS SOUS 184600 HAS SOUPS 184600 WITH SCORE 185113.926
AT ITER 7821 NEW BEST:: SOT 728119 SOS 513917 HAS SOPS 513917 HAS SOUS 184600 HAS SOUPS 184600 WITH SCORE 185113.917
AT ITER 7859 NEW BEST:: SOT 728073 SOS 513871 HAS SOPS 513871 HAS SOUS 184508 HAS SOUPS 184508 WITH SCORE 185021.871
AT ITER 7897 NEW BEST:: SOT 728054 SOS 513852 HAS SOPS 513852 HAS SOUS 184389 HAS SOUPS 184389 WITH SCORE 184902.852
AT ITER 7943 NEW BEST:: SOT 727777 SOS 513329 HAS SOPS 513329 HAS SOUS 184389 HAS SOUPS 184389 WITH SCORE 184902.329
AT ITER 7975 NEW BEST:: SOT 727756 SOS 513182 HAS SOPS 513182 HAS SOUS 184368 HAS SOUPS 184368 WITH SCORE 184881.182
AT ITER 7987 NEW BEST:: SOT 727732 SOS 513158 HAS SOPS 513158 HAS SOUS 184320 HAS SOUPS 184320 WITH SCORE 184833.158
AT ITER 8063 NEW BEST:: SOT 727671 SOS 513097 HAS SOPS 513097 HAS SOUS 184198 HAS SOUPS 184198 WITH SCORE 184711.097
AT ITER 8073 NEW BEST:: SOT 727671 SOS 510697 HAS SOPS 510697 HAS SOUS 184006 HAS SOUPS 184006 WITH SCORE 184516.697
AT ITER 8076 NEW BEST:: SOT 727647 SOS 511591 HAS SOPS 511591 HAS SOUS 183982 HAS SOUPS 183982 WITH SCORE 184493.591
AT ITER 8121 NEW BEST:: SOT 727627 SOS 511571 HAS SOPS 511571 HAS SOUS 183942 HAS SOUPS 183942 WITH SCORE 184453.571
AT ITER 8130 NEW BEST:: SOT 727624 SOS 511568 HAS SOPS 511568 HAS SOUS 183939 HAS SOUPS 183939 WITH SCORE 184450.568
AT ITER 8134 NEW BEST:: SOT 727372 SOS 511316 HAS SOPS 511316 HAS SOUS 183882 HAS SOUPS 183882 WITH SCORE 184393.316
AT ITER 8157 NEW BEST:: SOT 727317 SOS 511208 HAS SOPS 511208 HAS SOUS 183772 HAS SOUPS 183772 WITH SCORE 184283.208
AT ITER 8161 NEW BEST:: SOT 727316 SOS 511207 HAS SOPS 511207 HAS SOUS 183770 HAS SOUPS 183770 WITH SCORE 184281.207
AT ITER 8163 NEW BEST:: SOT 727092 SOS 510983 HAS SOPS 510983 HAS SOUS 183588 HAS SOUPS 183588 WITH SCORE 184098.983
AT ITER 8180 NEW BEST:: SOT 726863 SOS 510754 HAS SOPS 510754 HAS SOUS 183130 HAS SOUPS 183130 WITH SCORE 183640.754
AT ITER 8216 NEW BEST:: SOT 726804 SOS 510695 HAS SOPS 510695 HAS SOUS 183012 HAS SOUPS 183012 WITH SCORE 183522.695
AT ITER 8237 NEW BEST:: SOT 726822 SOS 510713 HAS SOPS 510713 HAS SOUS 182993 HAS SOUPS 182993 WITH SCORE 183503.713
AT ITER 8244 NEW BEST:: SOT 726687 SOS 510578 HAS SOPS 510578 HAS SOUS 182939 HAS SOUPS 182939 WITH SCORE 183449.578
AT ITER 8264 NEW BEST:: SOT 726686 SOS 509055 HAS SOPS 509055 HAS SOUS 182937 HAS SOUPS 182937 WITH SCORE 183446.055
AT ITER 8270 NEW BEST:: SOT 726685 SOS 509054 HAS SOPS 509054 HAS SOUS 182935 HAS SOUPS 182935 WITH SCORE 183444.054
AT ITER 8307 NEW BEST:: SOT 726647 SOS 509016 HAS SOPS 509016 HAS SOUS 182897 HAS SOUPS 182897 WITH SCORE 183406.016
AT ITER 8330 NEW BEST:: SOT 726592 SOS 508961 HAS SOPS 508961 HAS SOUS 182721 HAS SOUPS 182721 WITH SCORE 183229.961
AT ITER 8350 NEW BEST:: SOT 726571 SOS 509038 HAS SOPS 509038 HAS SOUS 182700 HAS SOUPS 182700 WITH SCORE 183209.038
AT ITER 8351 NEW BEST:: SOT 726563 SOS 509030 HAS SOPS 509030 HAS SOUS 182684 HAS SOUPS 182684 WITH SCORE 183193.03
AT ITER 8358 NEW BEST:: SOT 726562 SOS 509029 HAS SOPS 509029 HAS SOUS 182682 HAS SOUPS 182682 WITH SCORE 183191.029
AT ITER 8360 NEW BEST:: SOT 726561 SOS 509028 HAS SOPS 509028 HAS SOUS 182680 HAS SOUPS 182680 WITH SCORE 183189.028
AT ITER 8380 NEW BEST:: SOT 726562 SOS 509029 HAS SOPS 509029 HAS SOUS 182659 HAS SOUPS 182659 WITH SCORE 183168.029
AT ITER 8387 NEW BEST:: SOT 726545 SOS 509012 HAS SOPS 509012 HAS SOUS 182625 HAS SOUPS 182625 WITH SCORE 183134.012
AT ITER 8396 NEW BEST:: SOT 725804 SOS 510065 HAS SOPS 510065 HAS SOUS 182033 HAS SOUPS 182033 WITH SCORE 182543.065
AT ITER 8419 NEW BEST:: SOT 725804 SOS 509952 HAS SOPS 509952 HAS SOUS 182033 HAS SOUPS 182033 WITH SCORE 182542.952
AT ITER 8451 NEW BEST:: SOT 725754 SOS 509902 HAS SOPS 509902 HAS SOUS 182026 HAS SOUPS 182026 WITH SCORE 182535.902
AT ITER 8509 NEW BEST:: SOT 725722 SOS 509870 HAS SOPS 509870 HAS SOUS 181962 HAS SOUPS 181962 WITH SCORE 182471.87
AT ITER 8513 NEW BEST:: SOT 725635 SOS 509783 HAS SOPS 509783 HAS SOUS 181875 HAS SOUPS 181875 WITH SCORE 182384.783
AT ITER 8531 NEW BEST:: SOT 725597 SOS 509745 HAS SOPS 509745 HAS SOUS 181799 HAS SOUPS 181799 WITH SCORE 182308.745
AT ITER 8536 NEW BEST:: SOT 725615 SOS 509763 HAS SOPS 509763 HAS SOUS 181683 HAS SOUPS 181683 WITH SCORE 182192.763
AT ITER 8547 NEW BEST:: SOT 725559 SOS 509707 HAS SOPS 509707 HAS SOUS 181547 HAS SOUPS 181547 WITH SCORE 182056.707
AT ITER 8625 NEW BEST:: SOT 725558 SOS 509700 HAS SOPS 509700 HAS SOUS 181527 HAS SOUPS 181527 WITH SCORE 182036.7
AT ITER 8642 NEW BEST:: SOT 725557 SOS 509699 HAS SOPS 509699 HAS SOUS 181525 HAS SOUPS 181525 WITH SCORE 182034.699
AT ITER 8657 NEW BEST:: SOT 725506 SOS 509648 HAS SOPS 509648 HAS SOUS 181457 HAS SOUPS 181457 WITH SCORE 181966.648
AT ITER 8668 NEW BEST:: SOT 725482 SOS 509624 HAS SOPS 509624 HAS SOUS 181409 HAS SOUPS 181409 WITH SCORE 181918.624
AT ITER 8697 NEW BEST:: SOT 725387 SOS 509529 HAS SOPS 509529 HAS SOUS 181314 HAS SOUPS 181314 WITH SCORE 181823.529
AT ITER 8726 NEW BEST:: SOT 725378 SOS 509520 HAS SOPS 509520 HAS SOUS 181296 HAS SOUPS 181296 WITH SCORE 181805.52
AT ITER 8754 NEW BEST:: SOT 725284 SOS 509426 HAS SOPS 509426 HAS SOUS 181202 HAS SOUPS 181202 WITH SCORE 181711.426
AT ITER 8765 NEW BEST:: SOT 725131 SOS 509273 HAS SOPS 509273 HAS SOUS 181147 HAS SOUPS 181147 WITH SCORE 181656.273
AT ITER 8769 NEW BEST:: SOT 725071 SOS 509213 HAS SOPS 509213 HAS SOUS 181027 HAS SOUPS 181027 WITH SCORE 181536.213
AT ITER 8817 NEW BEST:: SOT 724740 SOS 510172 HAS SOPS 510172 HAS SOUS 180905 HAS SOUPS 180905 WITH SCORE 181415.172
AT ITER 8826 NEW BEST:: SOT 724740 SOS 510172 HAS SOPS 510172 HAS SOUS 180876 HAS SOUPS 180876 WITH SCORE 181386.172
AT ITER 8838 NEW BEST:: SOT 724740 SOS 510172 HAS SOPS 510172 HAS SOUS 180835 HAS SOUPS 180835 WITH SCORE 181345.172
AT ITER 8852 NEW BEST:: SOT 724853 SOS 510285 HAS SOPS 510285 HAS SOUS 180750 HAS SOUPS 180750 WITH SCORE 181260.285
AT ITER 8883 NEW BEST:: SOT 724928 SOS 510360 HAS SOPS 510360 HAS SOUS 180692 HAS SOUPS 180692 WITH SCORE 181202.36
AT ITER 8911 NEW BEST:: SOT 725036 SOS 510468 HAS SOPS 510468 HAS SOUS 180657 HAS SOUPS 180657 WITH SCORE 181167.468
AT ITER 8924 NEW BEST:: SOT 725036 SOS 510467 HAS SOPS 510467 HAS SOUS 180648 HAS SOUPS 180648 WITH SCORE 181158.467
AT ITER 8947 NEW BEST:: SOT 724960 SOS 510391 HAS SOPS 510391 HAS SOUS 180496 HAS SOUPS 180496 WITH SCORE 181006.391
AT ITER 8998 NEW BEST:: SOT 724947 SOS 510378 HAS SOPS 510378 HAS SOUS 180470 HAS SOUPS 180470 WITH SCORE 180980.378
AT ITER 9000 NEW BEST:: SOT 724803 SOS 510234 HAS SOPS 510234 HAS SOUS 180464 HAS SOUPS 180464 WITH SCORE 180974.234
AT ITER 9008 NEW BEST:: SOT 724779 SOS 510210 HAS SOPS 510210 HAS SOUS 180416 HAS SOUPS 180416 WITH SCORE 180926.21
AT ITER 9015 NEW BEST:: SOT 724779 SOS 510210 HAS SOPS 510210 HAS SOUS 180373 HAS SOUPS 180373 WITH SCORE 180883.21
AT ITER 9018 NEW BEST:: SOT 724770 SOS 510201 HAS SOPS 510201 HAS SOUS 180364 HAS SOUPS 180364 WITH SCORE 180874.201
AT ITER 9070 NEW BEST:: SOT 724730 SOS 510161 HAS SOPS 510161 HAS SOUS 180337 HAS SOUPS 180337 WITH SCORE 180847.161
AT ITER 9099 NEW BEST:: SOT 724713 SOS 510144 HAS SOPS 510144 HAS SOUS 180303 HAS SOUPS 180303 WITH SCORE 180813.144
AT ITER 9128 NEW BEST:: SOT 724664 SOS 510095 HAS SOPS 510095 HAS SOUS 180205 HAS SOUPS 180205 WITH SCORE 180715.095
AT ITER 9154 NEW BEST:: SOT 724569 SOS 510000 HAS SOPS 510000 HAS SOUS 180131 HAS SOUPS 180131 WITH SCORE 180641.0
AT ITER 9172 NEW BEST:: SOT 724584 SOS 510015 HAS SOPS 510015 HAS SOUS 180095 HAS SOUPS 180095 WITH SCORE 180605.015
AT ITER 9264 NEW BEST:: SOT 724579 SOS 510010 HAS SOPS 510010 HAS SOUS 180090 HAS SOUPS 180090 WITH SCORE 180600.01
AT ITER 9268 NEW BEST:: SOT 724578 SOS 508729 HAS SOPS 508729 HAS SOUS 180009 HAS SOUPS 180009 WITH SCORE 180517.729
AT ITER 9300 NEW BEST:: SOT 724568 SOS 508719 HAS SOPS 508719 HAS SOUS 179989 HAS SOUPS 179989 WITH SCORE 180497.719
AT ITER 9318 NEW BEST:: SOT 724502 SOS 508653 HAS SOPS 508653 HAS SOUS 179861 HAS SOUPS 179861 WITH SCORE 180369.653
AT ITER 9319 NEW BEST:: SOT 724499 SOS 508650 HAS SOPS 508650 HAS SOUS 179855 HAS SOUPS 179855 WITH SCORE 180363.65
AT ITER 9353 NEW BEST:: SOT 724490 SOS 508606 HAS SOPS 508606 HAS SOUS 179837 HAS SOUPS 179837 WITH SCORE 180345.606
AT ITER 9376 NEW BEST:: SOT 724472 SOS 508588 HAS SOPS 508588 HAS SOUS 179804 HAS SOUPS 179804 WITH SCORE 180312.588
AT ITER 9393 NEW BEST:: SOT 724459 SOS 508575 HAS SOPS 508575 HAS SOUS 179791 HAS SOUPS 179791 WITH SCORE 180299.575
AT ITER 9413 NEW BEST:: SOT 724442 SOS 508558 HAS SOPS 508558 HAS SOUS 179682 HAS SOUPS 179682 WITH SCORE 180190.558
AT ITER 9453 NEW BEST:: SOT 724441 SOS 508557 HAS SOPS 508557 HAS SOUS 179680 HAS SOUPS 179680 WITH SCORE 180188.557
AT ITER 9462 NEW BEST:: SOT 724341 SOS 508457 HAS SOPS 508457 HAS SOUS 179600 HAS SOUPS 179600 WITH SCORE 180108.457
AT ITER 9475 NEW BEST:: SOT 723920 SOS 508036 HAS SOPS 508036 HAS SOUS 178758 HAS SOUPS 178758 WITH SCORE 179266.036
AT ITER 9480 NEW BEST:: SOT 723412 SOS 507528 HAS SOPS 507528 HAS SOUS 178439 HAS SOUPS 178439 WITH SCORE 178946.528
AT ITER 9514 NEW BEST:: SOT 723394 SOS 507586 HAS SOPS 507586 HAS SOUS 178429 HAS SOUPS 178429 WITH SCORE 178936.586
AT ITER 9516 NEW BEST:: SOT 723484 SOS 507676 HAS SOPS 507676 HAS SOUS 178389 HAS SOUPS 178389 WITH SCORE 178896.676
AT ITER 9532 NEW BEST:: SOT 723456 SOS 507648 HAS SOPS 507648 HAS SOUS 178347 HAS SOUPS 178347 WITH SCORE 178854.648
AT ITER 9562 NEW BEST:: SOT 723476 SOS 507668 HAS SOPS 507668 HAS SOUS 178331 HAS SOUPS 178331 WITH SCORE 178838.668
AT ITER 9564 NEW BEST:: SOT 723475 SOS 507667 HAS SOPS 507667 HAS SOUS 178329 HAS SOUPS 178329 WITH SCORE 178836.667
AT ITER 9605 NEW BEST:: SOT 723499 SOS 507691 HAS SOPS 507691 HAS SOUS 178278 HAS SOUPS 178278 WITH SCORE 178785.691
AT ITER 9609 NEW BEST:: SOT 723424 SOS 507616 HAS SOPS 507616 HAS SOUS 178203 HAS SOUPS 178203 WITH SCORE 178710.616
AT ITER 9612 NEW BEST:: SOT 723375 SOS 507567 HAS SOPS 507567 HAS SOUS 178184 HAS SOUPS 178184 WITH SCORE 178691.567
AT ITER 9669 NEW BEST:: SOT 723315 SOS 507507 HAS SOPS 507507 HAS SOUS 178124 HAS SOUPS 178124 WITH SCORE 178631.507
AT ITER 9701 NEW BEST:: SOT 723314 SOS 507506 HAS SOPS 507506 HAS SOUS 178122 HAS SOUPS 178122 WITH SCORE 178629.506
AT ITER 9726 NEW BEST:: SOT 723262 SOS 507454 HAS SOPS 507454 HAS SOUS 178070 HAS SOUPS 178070 WITH SCORE 178577.454
AT ITER 9790 NEW BEST:: SOT 723260 SOS 507452 HAS SOPS 507452 HAS SOUS 178068 HAS SOUPS 178068 WITH SCORE 178575.452
AT ITER 9808 NEW BEST:: SOT 723259 SOS 507451 HAS SOPS 507451 HAS SOUS 178066 HAS SOUPS 178066 WITH SCORE 178573.451
AT ITER 9814 NEW BEST:: SOT 723214 SOS 507406 HAS SOPS 507406 HAS SOUS 177979 HAS SOUPS 177979 WITH SCORE 178486.406
AT ITER 9843 NEW BEST:: SOT 723210 SOS 507402 HAS SOPS 507402 HAS SOUS 177975 HAS SOUPS 177975 WITH SCORE 178482.402
AT ITER 9913 NEW BEST:: SOT 723206 SOS 507398 HAS SOPS 507398 HAS SOUS 177971 HAS SOUPS 177971 WITH SCORE 178478.398
AT ITER 9924 NEW BEST:: SOT 723128 SOS 507320 HAS SOPS 507320 HAS SOUS 177834 HAS SOUPS 177834 WITH SCORE 178341.32
AT ITER 9930 NEW BEST:: SOT 723127 SOS 507319 HAS SOPS 507319 HAS SOUS 177832 HAS SOUPS 177832 WITH SCORE 178339.319
AT ITER 9948 NEW BEST:: SOT 723066 SOS 507111 HAS SOPS 507111 HAS SOUS 177710 HAS SOUPS 177710 WITH SCORE 178217.111
AT ITER 9964 NEW BEST:: SOT 723012 SOS 507147 HAS SOPS 507147 HAS SOUS 177656 HAS SOUPS 177656 WITH SCORE 178163.147
AT ITER 9983 NEW BEST:: SOT 723035 SOS 506768 HAS SOPS 506768 HAS SOUS 177296 HAS SOUPS 177296 WITH SCORE 177802.768
AT ITER 9986 NEW BEST:: SOT 722664 SOS 508529 HAS SOPS 508529 HAS SOUS 177147 HAS SOUPS 177147 WITH SCORE 177655.529
AT ITER 9998 NEW BEST:: SOT 722663 SOS 508528 HAS SOPS 508528 HAS SOUS 177145 HAS SOUPS 177145 WITH SCORE 177653.528
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8510328 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124984 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="HirschbergSinclair-PT-50"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is HirschbergSinclair-PT-50, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-smll-167840349700504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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