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

About the Execution of Smart+red for SafeBus-PT-10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
14698.647 3600000.00 3631445.00 8747.20 [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.r363-smll-167891814000280.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 SafeBus-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814000280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.6M
-rw-r--r-- 1 mcc users 19K Feb 26 01:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 26 01:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 81K Feb 26 01:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 393K Feb 26 01:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 42K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 151K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 31K Feb 26 01:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 198K Feb 26 01:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 244K Feb 26 01:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Feb 26 01:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 5 18:23 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 1679099824819

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=SafeBus-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 00:37:08] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 00:37:08] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 00:37:08] [INFO ] Load time of PNML (sax parser for PT used): 265 ms
[2023-03-18 00:37:08] [INFO ] Transformed 316 places.
[2023-03-18 00:37:08] [INFO ] Transformed 1631 transitions.
[2023-03-18 00:37:08] [INFO ] Parsed PT model containing 316 places and 1631 transitions and 11384 arcs in 399 ms.
[2023-03-18 00:37:08] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 316 places, 1631 transitions and 11384 arcs took 46 ms.
Total runtime 502 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (PT), instance 10
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: 316 places, 1631 transitions, 11384 arcs.
AT ITER 0 NEW BEST:: SOT 281875 SOS 216369 HAS SOPS 215646 HAS SOUS 81136 HAS SOUPS 80864 WITH SCORE 81080.369
AT ITER 12 NEW BEST:: SOT 281940 SOS 218410 HAS SOPS 217687 HAS SOUS 81129 HAS SOUPS 80857 WITH SCORE 81075.41
AT ITER 14 NEW BEST:: SOT 281940 SOS 228186 HAS SOPS 222263 HAS SOUS 81077 HAS SOUPS 80753 WITH SCORE 80981.186
AT ITER 20 NEW BEST:: SOT 281912 SOS 228484 HAS SOPS 222561 HAS SOUS 81012 HAS SOUPS 80688 WITH SCORE 80916.484
AT ITER 41 NEW BEST:: SOT 277791 SOS 226147 HAS SOPS 220487 HAS SOUS 77229 HAS SOUPS 77168 WITH SCORE 77394.147
AT ITER 59 NEW BEST:: SOT 277665 SOS 226021 HAS SOPS 220361 HAS SOUS 77103 HAS SOUPS 77042 WITH SCORE 77268.021
AT ITER 67 NEW BEST:: SOT 277665 SOS 226009 HAS SOPS 220349 HAS SOUS 77092 HAS SOUPS 77031 WITH SCORE 77257.009
AT ITER 71 NEW BEST:: SOT 277465 SOS 221855 HAS SOPS 216195 HAS SOUS 76937 HAS SOUPS 76876 WITH SCORE 77097.855
AT ITER 88 NEW BEST:: SOT 277540 SOS 221930 HAS SOPS 216270 HAS SOUS 76884 HAS SOUPS 76823 WITH SCORE 77044.93
AT ITER 91 NEW BEST:: SOT 277475 SOS 221382 HAS SOPS 215722 HAS SOUS 76573 HAS SOUPS 76512 WITH SCORE 76733.382
AT ITER 101 NEW BEST:: SOT 273983 SOS 217926 HAS SOPS 212266 HAS SOUS 73095 HAS SOUPS 73034 WITH SCORE 73251.926
AT ITER 108 NEW BEST:: SOT 273983 SOS 217846 HAS SOPS 212186 HAS SOUS 73090 HAS SOUPS 73029 WITH SCORE 73246.846
AT ITER 117 NEW BEST:: SOT 273397 SOS 217274 HAS SOPS 211614 HAS SOUS 72224 HAS SOUPS 72163 WITH SCORE 72380.274
AT ITER 125 NEW BEST:: SOT 273381 SOS 217258 HAS SOPS 211598 HAS SOUS 72224 HAS SOUPS 72163 WITH SCORE 72380.258
AT ITER 130 NEW BEST:: SOT 273363 SOS 217240 HAS SOPS 211580 HAS SOUS 72224 HAS SOUPS 72163 WITH SCORE 72380.24
AT ITER 131 NEW BEST:: SOT 273881 SOS 217768 HAS SOPS 212098 HAS SOUS 72169 HAS SOUPS 72098 WITH SCORE 72315.768
AT ITER 132 NEW BEST:: SOT 273913 SOS 217800 HAS SOPS 212130 HAS SOUS 72151 HAS SOUPS 72080 WITH SCORE 72297.8
AT ITER 147 NEW BEST:: SOT 273913 SOS 217758 HAS SOPS 212088 HAS SOUS 72142 HAS SOUPS 72071 WITH SCORE 72288.758
AT ITER 154 NEW BEST:: SOT 273841 SOS 217606 HAS SOPS 211936 HAS SOUS 71982 HAS SOUPS 71911 WITH SCORE 72128.606
AT ITER 158 NEW BEST:: SOT 273838 SOS 217775 HAS SOPS 212105 HAS SOUS 71970 HAS SOUPS 71899 WITH SCORE 72116.775
AT ITER 160 NEW BEST:: SOT 273913 SOS 217850 HAS SOPS 212180 HAS SOUS 71965 HAS SOUPS 71894 WITH SCORE 72111.85
AT ITER 177 NEW BEST:: SOT 274433 SOS 218370 HAS SOPS 212700 HAS SOUS 71716 HAS SOUPS 71645 WITH SCORE 71863.37
AT ITER 180 NEW BEST:: SOT 274758 SOS 218172 HAS SOPS 212502 HAS SOUS 71561 HAS SOUPS 71490 WITH SCORE 71708.172
AT ITER 186 NEW BEST:: SOT 274841 SOS 218255 HAS SOPS 212585 HAS SOUS 71486 HAS SOUPS 71415 WITH SCORE 71633.255
AT ITER 189 NEW BEST:: SOT 274408 SOS 217822 HAS SOPS 212152 HAS SOUS 71423 HAS SOUPS 71352 WITH SCORE 71569.822
AT ITER 200 NEW BEST:: SOT 267351 SOS 210838 HAS SOPS 205168 HAS SOUS 64293 HAS SOUPS 64222 WITH SCORE 64432.838
AT ITER 203 NEW BEST:: SOT 267339 SOS 210826 HAS SOPS 205156 HAS SOUS 64281 HAS SOUPS 64210 WITH SCORE 64420.826
AT ITER 210 NEW BEST:: SOT 267495 SOS 209168 HAS SOPS 203739 HAS SOUS 64336 HAS SOUPS 64106 WITH SCORE 64315.168
AT ITER 216 NEW BEST:: SOT 267229 SOS 208902 HAS SOPS 203473 HAS SOUS 64063 HAS SOUPS 63833 WITH SCORE 64041.902
AT ITER 224 NEW BEST:: SOT 267253 SOS 209516 HAS SOPS 204087 HAS SOUS 64046 HAS SOUPS 63816 WITH SCORE 64025.516
AT ITER 225 NEW BEST:: SOT 267237 SOS 209500 HAS SOPS 204071 HAS SOUS 64044 HAS SOUPS 63814 WITH SCORE 64023.5
AT ITER 229 NEW BEST:: SOT 266713 SOS 208976 HAS SOPS 203547 HAS SOUS 63476 HAS SOUPS 63246 WITH SCORE 63454.976
AT ITER 231 NEW BEST:: SOT 266713 SOS 211044 HAS SOPS 204515 HAS SOUS 63465 HAS SOUPS 63224 WITH SCORE 63435.044
AT ITER 250 NEW BEST:: SOT 266703 SOS 211034 HAS SOPS 204505 HAS SOUS 63465 HAS SOUPS 63224 WITH SCORE 63435.034
AT ITER 263 NEW BEST:: SOT 266635 SOS 210966 HAS SOPS 204437 HAS SOUS 63397 HAS SOUPS 63156 WITH SCORE 63366.966
AT ITER 266 NEW BEST:: SOT 266799 SOS 210660 HAS SOPS 204104 HAS SOUS 63402 HAS SOUPS 63134 WITH SCORE 63344.66
AT ITER 277 NEW BEST:: SOT 266822 SOS 210683 HAS SOPS 204127 HAS SOUS 63398 HAS SOUPS 63130 WITH SCORE 63340.683
AT ITER 284 NEW BEST:: SOT 266822 SOS 210663 HAS SOPS 204127 HAS SOUS 63158 HAS SOUPS 62910 WITH SCORE 63120.663
AT ITER 288 NEW BEST:: SOT 267543 SOS 211384 HAS SOPS 204848 HAS SOUS 63132 HAS SOUPS 62884 WITH SCORE 63095.384
AT ITER 297 NEW BEST:: SOT 267543 SOS 211384 HAS SOPS 204848 HAS SOUS 63123 HAS SOUPS 62875 WITH SCORE 63086.384
AT ITER 299 NEW BEST:: SOT 267568 SOS 211409 HAS SOPS 204873 HAS SOUS 63104 HAS SOUPS 62856 WITH SCORE 63067.409
AT ITER 301 NEW BEST:: SOT 267568 SOS 211402 HAS SOPS 204873 HAS SOUS 62910 HAS SOUPS 62669 WITH SCORE 62880.402
AT ITER 305 NEW BEST:: SOT 268046 SOS 211844 HAS SOPS 205351 HAS SOUS 62764 HAS SOUPS 62559 WITH SCORE 62770.844
AT ITER 318 NEW BEST:: SOT 268046 SOS 211726 HAS SOPS 205233 HAS SOUS 62764 HAS SOUPS 62559 WITH SCORE 62770.726
AT ITER 319 NEW BEST:: SOT 268040 SOS 211720 HAS SOPS 205227 HAS SOUS 62711 HAS SOUPS 62506 WITH SCORE 62717.72
AT ITER 337 NEW BEST:: SOT 268026 SOS 211522 HAS SOPS 205011 HAS SOUS 62593 HAS SOUPS 62370 WITH SCORE 62581.522
AT ITER 346 NEW BEST:: SOT 268026 SOS 211522 HAS SOPS 205011 HAS SOUS 62583 HAS SOUPS 62360 WITH SCORE 62571.522
AT ITER 351 NEW BEST:: SOT 268026 SOS 211522 HAS SOPS 205011 HAS SOUS 62552 HAS SOUPS 62329 WITH SCORE 62540.522
AT ITER 366 NEW BEST:: SOT 268012 SOS 211508 HAS SOPS 204997 HAS SOUS 62538 HAS SOUPS 62315 WITH SCORE 62526.508
AT ITER 369 NEW BEST:: SOT 267908 SOS 211372 HAS SOPS 204898 HAS SOUS 61526 HAS SOUPS 61340 WITH SCORE 61551.372
AT ITER 374 NEW BEST:: SOT 267898 SOS 211362 HAS SOPS 204888 HAS SOUS 61426 HAS SOUPS 61240 WITH SCORE 61451.362
AT ITER 383 NEW BEST:: SOT 267870 SOS 211334 HAS SOPS 204860 HAS SOUS 61411 HAS SOUPS 61225 WITH SCORE 61436.334
AT ITER 393 NEW BEST:: SOT 267836 SOS 211300 HAS SOPS 204826 HAS SOUS 61377 HAS SOUPS 61191 WITH SCORE 61402.3
AT ITER 397 NEW BEST:: SOT 267812 SOS 211276 HAS SOPS 204802 HAS SOUS 61353 HAS SOUPS 61167 WITH SCORE 61378.276
AT ITER 409 NEW BEST:: SOT 267797 SOS 212350 HAS SOPS 205876 HAS SOUS 61231 HAS SOUPS 61045 WITH SCORE 61257.35
AT ITER 410 NEW BEST:: SOT 267860 SOS 212413 HAS SOPS 205939 HAS SOUS 61222 HAS SOUPS 61036 WITH SCORE 61248.413
AT ITER 423 NEW BEST:: SOT 267860 SOS 212573 HAS SOPS 206099 HAS SOUS 61218 HAS SOUPS 61032 WITH SCORE 61244.573
AT ITER 427 NEW BEST:: SOT 267828 SOS 212541 HAS SOPS 206067 HAS SOUS 61186 HAS SOUPS 61000 WITH SCORE 61212.541
AT ITER 455 NEW BEST:: SOT 267719 SOS 212432 HAS SOPS 205958 HAS SOUS 61185 HAS SOUPS 60999 WITH SCORE 61211.432
AT ITER 460 NEW BEST:: SOT 267684 SOS 213090 HAS SOPS 206616 HAS SOUS 61091 HAS SOUPS 60905 WITH SCORE 61118.09
AT ITER 468 NEW BEST:: SOT 267691 SOS 213097 HAS SOPS 206630 HAS SOUS 61071 HAS SOUPS 60892 WITH SCORE 61105.097
AT ITER 472 NEW BEST:: SOT 267665 SOS 213071 HAS SOPS 206604 HAS SOUS 61044 HAS SOUPS 60865 WITH SCORE 61078.071
AT ITER 478 NEW BEST:: SOT 267603 SOS 213009 HAS SOPS 206542 HAS SOUS 60982 HAS SOUPS 60803 WITH SCORE 61016.009
AT ITER 487 NEW BEST:: SOT 267600 SOS 213006 HAS SOPS 206539 HAS SOUS 60979 HAS SOUPS 60800 WITH SCORE 61013.006
AT ITER 491 NEW BEST:: SOT 267600 SOS 212994 HAS SOPS 206527 HAS SOUS 60979 HAS SOUPS 60800 WITH SCORE 61012.994
AT ITER 499 NEW BEST:: SOT 267528 SOS 212922 HAS SOPS 206455 HAS SOUS 60907 HAS SOUPS 60728 WITH SCORE 60940.922
AT ITER 502 NEW BEST:: SOT 267528 SOS 212920 HAS SOPS 206453 HAS SOUS 60906 HAS SOUPS 60727 WITH SCORE 60939.92
AT ITER 506 NEW BEST:: SOT 267238 SOS 212630 HAS SOPS 206163 HAS SOUS 60622 HAS SOUPS 60443 WITH SCORE 60655.63
AT ITER 523 NEW BEST:: SOT 267224 SOS 212616 HAS SOPS 206149 HAS SOUS 60622 HAS SOUPS 60443 WITH SCORE 60655.616
AT ITER 531 NEW BEST:: SOT 267201 SOS 212811 HAS SOPS 206344 HAS SOUS 60593 HAS SOUPS 60414 WITH SCORE 60626.811
AT ITER 550 NEW BEST:: SOT 267201 SOS 212811 HAS SOPS 206344 HAS SOUS 60533 HAS SOUPS 60354 WITH SCORE 60566.811
AT ITER 553 NEW BEST:: SOT 267188 SOS 212798 HAS SOPS 206331 HAS SOUS 60520 HAS SOUPS 60341 WITH SCORE 60553.798
AT ITER 557 NEW BEST:: SOT 267129 SOS 212766 HAS SOPS 206272 HAS SOUS 60399 HAS SOUPS 60193 WITH SCORE 60405.766
AT ITER 562 NEW BEST:: SOT 267129 SOS 210613 HAS SOPS 203639 HAS SOUS 60367 HAS SOUPS 60161 WITH SCORE 60371.613
AT ITER 565 NEW BEST:: SOT 266917 SOS 210399 HAS SOPS 203425 HAS SOUS 60168 HAS SOUPS 59962 WITH SCORE 60172.399
AT ITER 575 NEW BEST:: SOT 266875 SOS 210357 HAS SOPS 203383 HAS SOUS 60143 HAS SOUPS 59937 WITH SCORE 60147.357
AT ITER 577 NEW BEST:: SOT 266861 SOS 209974 HAS SOPS 202993 HAS SOUS 59724 HAS SOUPS 59511 WITH SCORE 59720.974
AT ITER 581 NEW BEST:: SOT 266861 SOS 209882 HAS SOPS 202901 HAS SOUS 59720 HAS SOUPS 59507 WITH SCORE 59716.882
AT ITER 583 NEW BEST:: SOT 266813 SOS 209834 HAS SOPS 202853 HAS SOUS 59714 HAS SOUPS 59501 WITH SCORE 59710.834
AT ITER 590 NEW BEST:: SOT 266813 SOS 210037 HAS SOPS 203056 HAS SOUS 59685 HAS SOUPS 59472 WITH SCORE 59682.037
AT ITER 594 NEW BEST:: SOT 266740 SOS 209981 HAS SOPS 202983 HAS SOUS 59686 HAS SOUPS 59456 WITH SCORE 59665.981
AT ITER 604 NEW BEST:: SOT 266663 SOS 210289 HAS SOPS 203302 HAS SOUS 59618 HAS SOUPS 59399 WITH SCORE 59609.289
AT ITER 614 NEW BEST:: SOT 266625 SOS 210274 HAS SOPS 203264 HAS SOUS 59249 HAS SOUPS 59007 WITH SCORE 59217.274
AT ITER 639 NEW BEST:: SOT 266677 SOS 210326 HAS SOPS 203316 HAS SOUS 59197 HAS SOUPS 58955 WITH SCORE 59165.326
AT ITER 641 NEW BEST:: SOT 266701 SOS 210278 HAS SOPS 203268 HAS SOUS 58869 HAS SOUPS 58627 WITH SCORE 58837.278
AT ITER 666 NEW BEST:: SOT 266701 SOS 210278 HAS SOPS 203268 HAS SOUS 58868 HAS SOUPS 58626 WITH SCORE 58836.278
AT ITER 670 NEW BEST:: SOT 266675 SOS 210252 HAS SOPS 203242 HAS SOUS 58847 HAS SOUPS 58605 WITH SCORE 58815.252
AT ITER 678 NEW BEST:: SOT 266891 SOS 210487 HAS SOPS 203458 HAS SOUS 58848 HAS SOUPS 58587 WITH SCORE 58797.487
AT ITER 702 NEW BEST:: SOT 266891 SOS 210564 HAS SOPS 203535 HAS SOUS 58837 HAS SOUPS 58576 WITH SCORE 58786.564
AT ITER 703 NEW BEST:: SOT 266891 SOS 210697 HAS SOPS 203668 HAS SOUS 58818 HAS SOUPS 58557 WITH SCORE 58767.697
AT ITER 717 NEW BEST:: SOT 267057 SOS 210499 HAS SOPS 203468 HAS SOUS 58724 HAS SOUPS 58461 WITH SCORE 58671.499
AT ITER 724 NEW BEST:: SOT 267068 SOS 210469 HAS SOPS 203413 HAS SOUS 58723 HAS SOUPS 58435 WITH SCORE 58645.469
AT ITER 747 NEW BEST:: SOT 265898 SOS 209317 HAS SOPS 202261 HAS SOUS 57571 HAS SOUPS 57283 WITH SCORE 57492.317
AT ITER 752 NEW BEST:: SOT 265887 SOS 209306 HAS SOPS 202250 HAS SOUS 57560 HAS SOUPS 57272 WITH SCORE 57481.306
AT ITER 758 NEW BEST:: SOT 265763 SOS 209140 HAS SOPS 202126 HAS SOUS 57357 HAS SOUPS 57111 WITH SCORE 57320.14
AT ITER 763 NEW BEST:: SOT 265726 SOS 209099 HAS SOPS 202089 HAS SOUS 57313 HAS SOUPS 57071 WITH SCORE 57280.099
AT ITER 765 NEW BEST:: SOT 265717 SOS 209004 HAS SOPS 201994 HAS SOUS 57292 HAS SOUPS 57050 WITH SCORE 57259.004
AT ITER 767 NEW BEST:: SOT 265717 SOS 209002 HAS SOPS 201992 HAS SOUS 57291 HAS SOUPS 57049 WITH SCORE 57258.002
AT ITER 790 NEW BEST:: SOT 265633 SOS 208918 HAS SOPS 201908 HAS SOUS 57207 HAS SOUPS 56965 WITH SCORE 57173.918
AT ITER 801 NEW BEST:: SOT 265293 SOS 208575 HAS SOPS 204755 HAS SOUS 56835 HAS SOUPS 56633 WITH SCORE 56841.575
AT ITER 835 NEW BEST:: SOT 264924 SOS 208216 HAS SOPS 204413 HAS SOUS 56529 HAS SOUPS 56344 WITH SCORE 56552.216
AT ITER 866 NEW BEST:: SOT 264934 SOS 208226 HAS SOPS 204423 HAS SOUS 56519 HAS SOUPS 56334 WITH SCORE 56542.226
AT ITER 881 NEW BEST:: SOT 264844 SOS 208126 HAS SOPS 204323 HAS SOUS 56419 HAS SOUPS 56234 WITH SCORE 56442.126
AT ITER 884 NEW BEST:: SOT 264777 SOS 208059 HAS SOPS 204256 HAS SOUS 56404 HAS SOUPS 56219 WITH SCORE 56427.059
AT ITER 899 NEW BEST:: SOT 264759 SOS 208059 HAS SOPS 204274 HAS SOUS 56348 HAS SOUPS 56181 WITH SCORE 56389.059
AT ITER 900 NEW BEST:: SOT 264444 SOS 207458 HAS SOPS 203630 HAS SOUS 55857 HAS SOUPS 55647 WITH SCORE 55854.458
AT ITER 906 NEW BEST:: SOT 264444 SOS 207458 HAS SOPS 203630 HAS SOUS 55854 HAS SOUPS 55644 WITH SCORE 55851.458
AT ITER 911 NEW BEST:: SOT 264426 SOS 207461 HAS SOPS 203612 HAS SOUS 55609 HAS SOUPS 55378 WITH SCORE 55585.461
AT ITER 920 NEW BEST:: SOT 264426 SOS 207527 HAS SOPS 203678 HAS SOUS 55607 HAS SOUPS 55376 WITH SCORE 55583.527
AT ITER 935 NEW BEST:: SOT 264426 SOS 206975 HAS SOPS 203126 HAS SOUS 55607 HAS SOUPS 55376 WITH SCORE 55582.975
AT ITER 938 NEW BEST:: SOT 264426 SOS 204085 HAS SOPS 198783 HAS SOUS 55607 HAS SOUPS 55375 WITH SCORE 55579.085
AT ITER 946 NEW BEST:: SOT 264426 SOS 204047 HAS SOPS 198745 HAS SOUS 55601 HAS SOUPS 55369 WITH SCORE 55573.047
AT ITER 947 NEW BEST:: SOT 264407 SOS 203992 HAS SOPS 198726 HAS SOUS 54972 HAS SOUPS 54776 WITH SCORE 54979.992
AT ITER 950 NEW BEST:: SOT 264388 SOS 203973 HAS SOPS 198707 HAS SOUS 54944 HAS SOUPS 54748 WITH SCORE 54951.973
AT ITER 958 NEW BEST:: SOT 264378 SOS 203963 HAS SOPS 198697 HAS SOUS 54928 HAS SOUPS 54732 WITH SCORE 54935.963
AT ITER 974 NEW BEST:: SOT 264378 SOS 203969 HAS SOPS 198703 HAS SOUS 54918 HAS SOUPS 54722 WITH SCORE 54925.969
AT ITER 980 NEW BEST:: SOT 264378 SOS 203969 HAS SOPS 198703 HAS SOUS 54909 HAS SOUPS 54713 WITH SCORE 54916.969
AT ITER 985 NEW BEST:: SOT 264366 SOS 203935 HAS SOPS 198691 HAS SOUS 54621 HAS SOUPS 54447 WITH SCORE 54650.935
AT ITER 996 NEW BEST:: SOT 264366 SOS 204165 HAS SOPS 199531 HAS SOUS 54571 HAS SOUPS 54397 WITH SCORE 54601.165
AT ITER 999 NEW BEST:: SOT 264366 SOS 204160 HAS SOPS 199525 HAS SOUS 54571 HAS SOUPS 54397 WITH SCORE 54601.16
AT ITER 1000 NEW BEST:: SOT 264260 SOS 204044 HAS SOPS 199419 HAS SOUS 54444 HAS SOUPS 54280 WITH SCORE 54484.044
AT ITER 1024 NEW BEST:: SOT 264260 SOS 206457 HAS SOPS 204392 HAS SOUS 54439 HAS SOUPS 54275 WITH SCORE 54481.457
AT ITER 1050 NEW BEST:: SOT 264260 SOS 206419 HAS SOPS 204335 HAS SOUS 54439 HAS SOUPS 54275 WITH SCORE 54481.419
AT ITER 1063 NEW BEST:: SOT 264252 SOS 206411 HAS SOPS 204309 HAS SOUS 54411 HAS SOUPS 54247 WITH SCORE 54453.411
AT ITER 1065 NEW BEST:: SOT 263453 SOS 205612 HAS SOPS 203510 HAS SOUS 53485 HAS SOUPS 53321 WITH SCORE 53526.612
AT ITER 1066 NEW BEST:: SOT 263418 SOS 205577 HAS SOPS 203475 HAS SOUS 53450 HAS SOUPS 53286 WITH SCORE 53491.577
AT ITER 1070 NEW BEST:: SOT 263418 SOS 203366 HAS SOPS 199497 HAS SOUS 53443 HAS SOUPS 53279 WITH SCORE 53482.366
AT ITER 1078 NEW BEST:: SOT 263376 SOS 203321 HAS SOPS 199455 HAS SOUS 53335 HAS SOUPS 53174 WITH SCORE 53377.321
AT ITER 1102 NEW BEST:: SOT 263218 SOS 203155 HAS SOPS 199297 HAS SOUS 53141 HAS SOUPS 52988 WITH SCORE 53191.155
AT ITER 1110 NEW BEST:: SOT 263208 SOS 203145 HAS SOPS 199287 HAS SOUS 53131 HAS SOUPS 52978 WITH SCORE 53181.145
AT ITER 1124 NEW BEST:: SOT 263183 SOS 203120 HAS SOPS 199262 HAS SOUS 53106 HAS SOUPS 52953 WITH SCORE 53156.12
AT ITER 1148 NEW BEST:: SOT 263183 SOS 203350 HAS SOPS 199552 HAS SOUS 53077 HAS SOUPS 52924 WITH SCORE 53127.35
AT ITER 1151 NEW BEST:: SOT 263145 SOS 203312 HAS SOPS 199514 HAS SOUS 53039 HAS SOUPS 52886 WITH SCORE 53089.312
AT ITER 1158 NEW BEST:: SOT 263145 SOS 200201 HAS SOPS 193283 HAS SOUS 53017 HAS SOUPS 52843 WITH SCORE 53043.201
AT ITER 1171 NEW BEST:: SOT 263145 SOS 200287 HAS SOPS 193609 HAS SOUS 52993 HAS SOUPS 52819 WITH SCORE 53019.287
AT ITER 1181 NEW BEST:: SOT 263173 SOS 200315 HAS SOPS 193637 HAS SOUS 52981 HAS SOUPS 52807 WITH SCORE 53007.315
AT ITER 1193 NEW BEST:: SOT 263113 SOS 200201 HAS SOPS 193523 HAS SOUS 52903 HAS SOUPS 52729 WITH SCORE 52929.201
AT ITER 1223 NEW BEST:: SOT 263122 SOS 200210 HAS SOPS 193532 HAS SOUS 52894 HAS SOUPS 52720 WITH SCORE 52920.21
AT ITER 1238 NEW BEST:: SOT 263122 SOS 200200 HAS SOPS 193522 HAS SOUS 52894 HAS SOUPS 52720 WITH SCORE 52920.2
AT ITER 1247 NEW BEST:: SOT 263121 SOS 200199 HAS SOPS 193521 HAS SOUS 52893 HAS SOUPS 52719 WITH SCORE 52919.199
AT ITER 1255 NEW BEST:: SOT 263121 SOS 199810 HAS SOPS 193434 HAS SOUS 52892 HAS SOUPS 52719 WITH SCORE 52918.81
AT ITER 1259 NEW BEST:: SOT 263121 SOS 199910 HAS SOPS 193767 HAS SOUS 52860 HAS SOUPS 52687 WITH SCORE 52886.91
AT ITER 1260 NEW BEST:: SOT 262958 SOS 199745 HAS SOPS 193604 HAS SOUS 52658 HAS SOUPS 52487 WITH SCORE 52686.745
AT ITER 1275 NEW BEST:: SOT 262798 SOS 199654 HAS SOPS 193514 HAS SOUS 52525 HAS SOUPS 52355 WITH SCORE 52554.654
AT ITER 1276 NEW BEST:: SOT 262798 SOS 199654 HAS SOPS 193514 HAS SOUS 52515 HAS SOUPS 52345 WITH SCORE 52544.654
AT ITER 1292 NEW BEST:: SOT 262798 SOS 199738 HAS SOPS 193598 HAS SOUS 52508 HAS SOUPS 52338 WITH SCORE 52537.738
AT ITER 1298 NEW BEST:: SOT 262798 SOS 199738 HAS SOPS 193598 HAS SOUS 52381 HAS SOUPS 52211 WITH SCORE 52410.738
AT ITER 1300 NEW BEST:: SOT 262700 SOS 199523 HAS SOPS 193383 HAS SOUS 52271 HAS SOUPS 52101 WITH SCORE 52300.523
AT ITER 1315 NEW BEST:: SOT 262700 SOS 197499 HAS SOPS 191359 HAS SOUS 52227 HAS SOUPS 52057 WITH SCORE 52254.499
AT ITER 1322 NEW BEST:: SOT 262700 SOS 197721 HAS SOPS 191597 HAS SOUS 52206 HAS SOUPS 52036 WITH SCORE 52233.721
AT ITER 1332 NEW BEST:: SOT 262700 SOS 197720 HAS SOPS 191626 HAS SOUS 52204 HAS SOUPS 52035 WITH SCORE 52232.72
AT ITER 1346 NEW BEST:: SOT 262700 SOS 197839 HAS SOPS 191870 HAS SOUS 52187 HAS SOUPS 52018 WITH SCORE 52215.839
AT ITER 1365 NEW BEST:: SOT 262700 SOS 197761 HAS SOPS 191862 HAS SOUS 52180 HAS SOUPS 52011 WITH SCORE 52208.761
AT ITER 1370 NEW BEST:: SOT 262700 SOS 197721 HAS SOPS 191692 HAS SOUS 52179 HAS SOUPS 52010 WITH SCORE 52207.721
AT ITER 1373 NEW BEST:: SOT 262696 SOS 197717 HAS SOPS 191688 HAS SOUS 52175 HAS SOUPS 52006 WITH SCORE 52203.717
AT ITER 1374 NEW BEST:: SOT 262682 SOS 197703 HAS SOPS 191674 HAS SOUS 52161 HAS SOUPS 51992 WITH SCORE 52189.703
AT ITER 1378 NEW BEST:: SOT 262682 SOS 198074 HAS SOPS 192128 HAS SOUS 52130 HAS SOUPS 51961 WITH SCORE 52159.074
AT ITER 1383 NEW BEST:: SOT 263224 SOS 198260 HAS SOPS 192238 HAS SOUS 52186 HAS SOUPS 51941 WITH SCORE 52139.26
AT ITER 1398 NEW BEST:: SOT 263218 SOS 198254 HAS SOPS 192232 HAS SOUS 52180 HAS SOUPS 51935 WITH SCORE 52133.254
AT ITER 1425 NEW BEST:: SOT 263218 SOS 198471 HAS SOPS 192477 HAS SOUS 52172 HAS SOUPS 51927 WITH SCORE 52125.471
AT ITER 1434 NEW BEST:: SOT 263218 SOS 198481 HAS SOPS 192497 HAS SOUS 52170 HAS SOUPS 51925 WITH SCORE 52123.481
AT ITER 1452 NEW BEST:: SOT 263150 SOS 198413 HAS SOPS 192429 HAS SOUS 51889 HAS SOUPS 51644 WITH SCORE 51842.413
AT ITER 1475 NEW BEST:: SOT 263150 SOS 198413 HAS SOPS 192429 HAS SOUS 51877 HAS SOUPS 51632 WITH SCORE 51830.413
AT ITER 1481 NEW BEST:: SOT 263150 SOS 198419 HAS SOPS 192468 HAS SOUS 51874 HAS SOUPS 51629 WITH SCORE 51827.419
AT ITER 1486 NEW BEST:: SOT 263150 SOS 198515 HAS SOPS 192564 HAS SOUS 51866 HAS SOUPS 51621 WITH SCORE 51819.515
AT ITER 1493 NEW BEST:: SOT 262919 SOS 198300 HAS SOPS 192333 HAS SOUS 51632 HAS SOUPS 51371 WITH SCORE 51569.3
AT ITER 1495 NEW BEST:: SOT 262919 SOS 198150 HAS SOPS 192183 HAS SOUS 51630 HAS SOUPS 51369 WITH SCORE 51567.15
AT ITER 1546 NEW BEST:: SOT 262875 SOS 198106 HAS SOPS 192139 HAS SOUS 51617 HAS SOUPS 51356 WITH SCORE 51554.106
AT ITER 1560 NEW BEST:: SOT 262875 SOS 198102 HAS SOPS 192135 HAS SOUS 51617 HAS SOUPS 51356 WITH SCORE 51554.102
AT ITER 1576 NEW BEST:: SOT 262875 SOS 198404 HAS SOPS 192437 HAS SOUS 51595 HAS SOUPS 51334 WITH SCORE 51532.404
AT ITER 1577 NEW BEST:: SOT 262875 SOS 195377 HAS SOPS 187062 HAS SOUS 51592 HAS SOUPS 51331 WITH SCORE 51526.377
AT ITER 1580 NEW BEST:: SOT 262875 SOS 195559 HAS SOPS 187336 HAS SOUS 51586 HAS SOUPS 51325 WITH SCORE 51520.559
AT ITER 1597 NEW BEST:: SOT 262849 SOS 195533 HAS SOPS 187310 HAS SOUS 51555 HAS SOUPS 51294 WITH SCORE 51489.533
AT ITER 1599 NEW BEST:: SOT 262858 SOS 195542 HAS SOPS 187319 HAS SOUS 51546 HAS SOUPS 51285 WITH SCORE 51480.542
AT ITER 1605 NEW BEST:: SOT 262858 SOS 195544 HAS SOPS 187401 HAS SOUS 51544 HAS SOUPS 51283 WITH SCORE 51478.544
AT ITER 1610 NEW BEST:: SOT 262850 SOS 195536 HAS SOPS 187393 HAS SOUS 51525 HAS SOUPS 51264 WITH SCORE 51459.536
AT ITER 1612 NEW BEST:: SOT 262850 SOS 195358 HAS SOPS 187675 HAS SOUS 51509 HAS SOUPS 51248 WITH SCORE 51443.358
AT ITER 1615 NEW BEST:: SOT 262850 SOS 195358 HAS SOPS 187685 HAS SOUS 51499 HAS SOUPS 51238 WITH SCORE 51433.358
AT ITER 1642 NEW BEST:: SOT 262661 SOS 195169 HAS SOPS 187496 HAS SOUS 51490 HAS SOUPS 51229 WITH SCORE 51424.169
AT ITER 1652 NEW BEST:: SOT 262632 SOS 195143 HAS SOPS 187467 HAS SOUS 51253 HAS SOUPS 50989 WITH SCORE 51184.143
AT ITER 1655 NEW BEST:: SOT 262587 SOS 195098 HAS SOPS 187422 HAS SOUS 51253 HAS SOUPS 50989 WITH SCORE 51184.098
AT ITER 1669 NEW BEST:: SOT 262462 SOS 194969 HAS SOPS 187293 HAS SOUS 51127 HAS SOUPS 50863 WITH SCORE 51057.969
AT ITER 1674 NEW BEST:: SOT 262552 SOS 195059 HAS SOPS 187383 HAS SOUS 51113 HAS SOUPS 50849 WITH SCORE 51044.059
AT ITER 1682 NEW BEST:: SOT 262552 SOS 195005 HAS SOPS 187439 HAS SOUS 51110 HAS SOUPS 50846 WITH SCORE 51041.005
AT ITER 1686 NEW BEST:: SOT 262540 SOS 194993 HAS SOPS 187427 HAS SOUS 51050 HAS SOUPS 50786 WITH SCORE 50980.993
AT ITER 1693 NEW BEST:: SOT 262462 SOS 194915 HAS SOPS 187349 HAS SOUS 50972 HAS SOUPS 50708 WITH SCORE 50902.915
AT ITER 1700 NEW BEST:: SOT 262460 SOS 194913 HAS SOPS 187347 HAS SOUS 50932 HAS SOUPS 50668 WITH SCORE 50862.913
AT ITER 1706 NEW BEST:: SOT 262460 SOS 196452 HAS SOPS 191246 HAS SOUS 50912 HAS SOUPS 50648 WITH SCORE 50844.452
AT ITER 1707 NEW BEST:: SOT 262460 SOS 196398 HAS SOPS 191188 HAS SOUS 50912 HAS SOUPS 50648 WITH SCORE 50844.398
AT ITER 1721 NEW BEST:: SOT 262406 SOS 196344 HAS SOPS 191134 HAS SOUS 50858 HAS SOUPS 50594 WITH SCORE 50790.344
AT ITER 1730 NEW BEST:: SOT 262398 SOS 196336 HAS SOPS 191126 HAS SOUS 50850 HAS SOUPS 50586 WITH SCORE 50782.336
AT ITER 1738 NEW BEST:: SOT 262398 SOS 196352 HAS SOPS 190923 HAS SOUS 50812 HAS SOUPS 50548 WITH SCORE 50744.352
AT ITER 1742 NEW BEST:: SOT 262398 SOS 196482 HAS SOPS 191013 HAS SOUS 50774 HAS SOUPS 50510 WITH SCORE 50706.482
AT ITER 1745 NEW BEST:: SOT 262483 SOS 196723 HAS SOPS 191239 HAS SOUS 50769 HAS SOUPS 50505 WITH SCORE 50701.723
AT ITER 1749 NEW BEST:: SOT 262379 SOS 196619 HAS SOPS 191135 HAS SOUS 50665 HAS SOUPS 50401 WITH SCORE 50597.619
AT ITER 1751 NEW BEST:: SOT 262379 SOS 195475 HAS SOPS 189991 HAS SOUS 50665 HAS SOUPS 50401 WITH SCORE 50596.475
AT ITER 1752 NEW BEST:: SOT 262097 SOS 195193 HAS SOPS 189709 HAS SOUS 50467 HAS SOUPS 50203 WITH SCORE 50398.193
AT ITER 1783 NEW BEST:: SOT 262096 SOS 195192 HAS SOPS 189708 HAS SOUS 50320 HAS SOUPS 50056 WITH SCORE 50251.192
AT ITER 1784 NEW BEST:: SOT 262031 SOS 195016 HAS SOPS 189461 HAS SOUS 50383 HAS SOUPS 50048 WITH SCORE 50243.016
AT ITER 1796 NEW BEST:: SOT 262031 SOS 195175 HAS SOPS 189622 HAS SOUS 50367 HAS SOUPS 50032 WITH SCORE 50227.175
AT ITER 1820 NEW BEST:: SOT 262010 SOS 195154 HAS SOPS 189601 HAS SOUS 50344 HAS SOUPS 50009 WITH SCORE 50204.154
AT ITER 1836 NEW BEST:: SOT 261720 SOS 194014 HAS SOPS 188721 HAS SOUS 50211 HAS SOUPS 49876 WITH SCORE 50070.014
AT ITER 1838 NEW BEST:: SOT 261621 SOS 193915 HAS SOPS 188622 HAS SOUS 50109 HAS SOUPS 49774 WITH SCORE 49967.915
AT ITER 1871 NEW BEST:: SOT 261621 SOS 193849 HAS SOPS 188556 HAS SOUS 50107 HAS SOUPS 49772 WITH SCORE 49965.849
AT ITER 1887 NEW BEST:: SOT 261537 SOS 193826 HAS SOPS 188571 HAS SOUS 50041 HAS SOUPS 49744 WITH SCORE 49937.826
AT ITER 1896 NEW BEST:: SOT 261537 SOS 190850 HAS SOPS 183315 HAS SOUS 49999 HAS SOUPS 49702 WITH SCORE 49892.85
AT ITER 1905 NEW BEST:: SOT 261519 SOS 190832 HAS SOPS 183297 HAS SOUS 49986 HAS SOUPS 49689 WITH SCORE 49879.832
AT ITER 1907 NEW BEST:: SOT 261519 SOS 190846 HAS SOPS 183171 HAS SOUS 49932 HAS SOUPS 49635 WITH SCORE 49825.846
AT ITER 1913 NEW BEST:: SOT 261519 SOS 190872 HAS SOPS 183417 HAS SOUS 49909 HAS SOUPS 49612 WITH SCORE 49802.872
AT ITER 1914 NEW BEST:: SOT 261196 SOS 190437 HAS SOPS 182970 HAS SOUS 49572 HAS SOUPS 49263 WITH SCORE 49453.437
AT ITER 1915 NEW BEST:: SOT 261196 SOS 190432 HAS SOPS 182965 HAS SOUS 49548 HAS SOUPS 49239 WITH SCORE 49429.432
AT ITER 1919 NEW BEST:: SOT 261194 SOS 190430 HAS SOPS 182963 HAS SOUS 49546 HAS SOUPS 49237 WITH SCORE 49427.43
AT ITER 1931 NEW BEST:: SOT 261194 SOS 190664 HAS SOPS 183340 HAS SOUS 49517 HAS SOUPS 49208 WITH SCORE 49398.664
AT ITER 1959 NEW BEST:: SOT 261194 SOS 187936 HAS SOPS 180612 HAS SOUS 49517 HAS SOUPS 49208 WITH SCORE 49395.936
AT ITER 1995 NEW BEST:: SOT 261194 SOS 188132 HAS SOPS 180839 HAS SOUS 49505 HAS SOUPS 49196 WITH SCORE 49384.132
AT ITER 2017 NEW BEST:: SOT 261170 SOS 188108 HAS SOPS 180815 HAS SOUS 49485 HAS SOUPS 49176 WITH SCORE 49364.108
AT ITER 2030 NEW BEST:: SOT 261170 SOS 188092 HAS SOPS 180799 HAS SOUS 49485 HAS SOUPS 49176 WITH SCORE 49364.092
AT ITER 2041 NEW BEST:: SOT 261170 SOS 188092 HAS SOPS 180884 HAS SOUS 49480 HAS SOUPS 49171 WITH SCORE 49359.092
AT ITER 2046 NEW BEST:: SOT 261160 SOS 188082 HAS SOPS 180874 HAS SOUS 49470 HAS SOUPS 49161 WITH SCORE 49349.082
AT ITER 2049 NEW BEST:: SOT 261155 SOS 188077 HAS SOPS 180869 HAS SOUS 49465 HAS SOUPS 49156 WITH SCORE 49344.077
AT ITER 2061 NEW BEST:: SOT 261155 SOS 188069 HAS SOPS 180861 HAS SOUS 49463 HAS SOUPS 49154 WITH SCORE 49342.069
AT ITER 2065 NEW BEST:: SOT 261140 SOS 188254 HAS SOPS 180526 HAS SOUS 49446 HAS SOUPS 49137 WITH SCORE 49325.254
AT ITER 2073 NEW BEST:: SOT 261138 SOS 188245 HAS SOPS 180513 HAS SOUS 49442 HAS SOUPS 49129 WITH SCORE 49317.245
AT ITER 2089 NEW BEST:: SOT 260918 SOS 187541 HAS SOPS 179696 HAS SOUS 49431 HAS SOUPS 49005 WITH SCORE 49192.541
AT ITER 2104 NEW BEST:: SOT 260867 SOS 187477 HAS SOPS 179632 HAS SOUS 49237 HAS SOUPS 48811 WITH SCORE 48998.477
AT ITER 2108 NEW BEST:: SOT 260871 SOS 187481 HAS SOPS 179636 HAS SOUS 49231 HAS SOUPS 48805 WITH SCORE 48992.481
AT ITER 2113 NEW BEST:: SOT 260871 SOS 186945 HAS SOPS 179100 HAS SOUS 49231 HAS SOUPS 48805 WITH SCORE 48991.945
AT ITER 2116 NEW BEST:: SOT 260871 SOS 186913 HAS SOPS 179068 HAS SOUS 49231 HAS SOUPS 48805 WITH SCORE 48991.913
AT ITER 2118 NEW BEST:: SOT 260871 SOS 186913 HAS SOPS 179068 HAS SOUS 49224 HAS SOUPS 48798 WITH SCORE 48984.913
AT ITER 2126 NEW BEST:: SOT 260871 SOS 187030 HAS SOPS 179675 HAS SOUS 49192 HAS SOUPS 48766 WITH SCORE 48953.03
AT ITER 2143 NEW BEST:: SOT 260778 SOS 187000 HAS SOPS 179645 HAS SOUS 49106 HAS SOUPS 48680 WITH SCORE 48867.0
AT ITER 2144 NEW BEST:: SOT 260780 SOS 186994 HAS SOPS 179899 HAS SOUS 49087 HAS SOUPS 48661 WITH SCORE 48847.994
AT ITER 2156 NEW BEST:: SOT 260792 SOS 187006 HAS SOPS 179911 HAS SOUS 49086 HAS SOUPS 48660 WITH SCORE 48847.006
AT ITER 2170 NEW BEST:: SOT 260747 SOS 186961 HAS SOPS 179866 HAS SOUS 49043 HAS SOUPS 48617 WITH SCORE 48803.961
AT ITER 2181 NEW BEST:: SOT 260817 SOS 187024 HAS SOPS 179936 HAS SOUS 49033 HAS SOUPS 48614 WITH SCORE 48801.024
AT ITER 2193 NEW BEST:: SOT 260817 SOS 186533 HAS SOPS 179676 HAS SOUS 49033 HAS SOUPS 48614 WITH SCORE 48800.533
AT ITER 2210 NEW BEST:: SOT 260817 SOS 185454 HAS SOPS 179415 HAS SOUS 49030 HAS SOUPS 48614 WITH SCORE 48799.454
AT ITER 2213 NEW BEST:: SOT 260724 SOS 185361 HAS SOPS 179322 HAS SOUS 48915 HAS SOUPS 48499 WITH SCORE 48684.361
AT ITER 2215 NEW BEST:: SOT 260724 SOS 185361 HAS SOPS 179388 HAS SOUS 48909 HAS SOUPS 48493 WITH SCORE 48678.361
AT ITER 2217 NEW BEST:: SOT 260790 SOS 185427 HAS SOPS 179454 HAS SOUS 48887 HAS SOUPS 48471 WITH SCORE 48656.427
AT ITER 2233 NEW BEST:: SOT 260785 SOS 185422 HAS SOPS 179449 HAS SOUS 48874 HAS SOUPS 48458 WITH SCORE 48643.422
AT ITER 2245 NEW BEST:: SOT 260785 SOS 185619 HAS SOPS 180173 HAS SOUS 48872 HAS SOUPS 48456 WITH SCORE 48641.619
AT ITER 2246 NEW BEST:: SOT 260785 SOS 185505 HAS SOPS 178966 HAS SOUS 48682 HAS SOUPS 48266 WITH SCORE 48451.505
AT ITER 2247 NEW BEST:: SOT 260775 SOS 185495 HAS SOPS 178956 HAS SOUS 48612 HAS SOUPS 48196 WITH SCORE 48381.495
AT ITER 2263 NEW BEST:: SOT 260781 SOS 185501 HAS SOPS 178962 HAS SOUS 48607 HAS SOUPS 48191 WITH SCORE 48376.501
AT ITER 2269 NEW BEST:: SOT 260800 SOS 185520 HAS SOPS 178981 HAS SOUS 48579 HAS SOUPS 48163 WITH SCORE 48348.52
AT ITER 2300 NEW BEST:: SOT 260932 SOS 185552 HAS SOPS 178993 HAS SOUS 48557 HAS SOUPS 48121 WITH SCORE 48306.552
AT ITER 2312 NEW BEST:: SOT 260932 SOS 185552 HAS SOPS 178993 HAS SOUS 48554 HAS SOUPS 48118 WITH SCORE 48303.552
AT ITER 2329 NEW BEST:: SOT 260932 SOS 185520 HAS SOPS 178961 HAS SOUS 48554 HAS SOUPS 48118 WITH SCORE 48303.52
AT ITER 2354 NEW BEST:: SOT 260932 SOS 185174 HAS SOPS 178673 HAS SOUS 48554 HAS SOUPS 48118 WITH SCORE 48303.174
AT ITER 2368 NEW BEST:: SOT 260395 SOS 184637 HAS SOPS 178136 HAS SOUS 48251 HAS SOUPS 47815 WITH SCORE 47999.637
AT ITER 2444 NEW BEST:: SOT 260480 SOS 184722 HAS SOPS 178221 HAS SOUS 48207 HAS SOUPS 47771 WITH SCORE 47955.722
AT ITER 2467 NEW BEST:: SOT 260480 SOS 184722 HAS SOPS 178221 HAS SOUS 48195 HAS SOUPS 47759 WITH SCORE 47943.722
AT ITER 2476 NEW BEST:: SOT 260480 SOS 184720 HAS SOPS 178219 HAS SOUS 48195 HAS SOUPS 47759 WITH SCORE 47943.72
AT ITER 2482 NEW BEST:: SOT 260445 SOS 184685 HAS SOPS 178184 HAS SOUS 48155 HAS SOUPS 47719 WITH SCORE 47903.685
AT ITER 2487 NEW BEST:: SOT 260445 SOS 184755 HAS SOPS 178444 HAS SOUS 48135 HAS SOUPS 47699 WITH SCORE 47883.755
AT ITER 2507 NEW BEST:: SOT 260445 SOS 182140 HAS SOPS 173844 HAS SOUS 48111 HAS SOUPS 47675 WITH SCORE 47857.14
AT ITER 2520 NEW BEST:: SOT 260369 SOS 182064 HAS SOPS 173768 HAS SOUS 47995 HAS SOUPS 47559 WITH SCORE 47741.064
AT ITER 2552 NEW BEST:: SOT 260277 SOS 181975 HAS SOPS 173676 HAS SOUS 47903 HAS SOUPS 47464 WITH SCORE 47645.975
AT ITER 2553 NEW BEST:: SOT 260277 SOS 181823 HAS SOPS 173434 HAS SOUS 47911 HAS SOUPS 47463 WITH SCORE 47644.823
AT ITER 2566 NEW BEST:: SOT 260277 SOS 181548 HAS SOPS 173092 HAS SOUS 47894 HAS SOUPS 47446 WITH SCORE 47627.548
AT ITER 2581 NEW BEST:: SOT 260277 SOS 181548 HAS SOPS 173092 HAS SOUS 47885 HAS SOUPS 47437 WITH SCORE 47618.548
AT ITER 2582 NEW BEST:: SOT 260277 SOS 181548 HAS SOPS 173092 HAS SOUS 47881 HAS SOUPS 47433 WITH SCORE 47614.548
AT ITER 2595 NEW BEST:: SOT 260186 SOS 181457 HAS SOPS 173001 HAS SOUS 47790 HAS SOUPS 47342 WITH SCORE 47523.457
AT ITER 2650 NEW BEST:: SOT 260186 SOS 180447 HAS SOPS 171991 HAS SOUS 47768 HAS SOUPS 47320 WITH SCORE 47500.447
AT ITER 2659 NEW BEST:: SOT 260186 SOS 181036 HAS SOPS 172338 HAS SOUS 47764 HAS SOUPS 47316 WITH SCORE 47497.036
AT ITER 2670 NEW BEST:: SOT 260057 SOS 180692 HAS SOPS 171994 HAS SOUS 47600 HAS SOUPS 47152 WITH SCORE 47332.692
AT ITER 2716 NEW BEST:: SOT 260051 SOS 180686 HAS SOPS 171988 HAS SOUS 47594 HAS SOUPS 47146 WITH SCORE 47326.686
AT ITER 2740 NEW BEST:: SOT 259742 SOS 180405 HAS SOPS 171672 HAS SOUS 47409 HAS SOUPS 46926 WITH SCORE 47106.405
AT ITER 2745 NEW BEST:: SOT 259714 SOS 180377 HAS SOPS 171644 HAS SOUS 47370 HAS SOUPS 46887 WITH SCORE 47067.377
AT ITER 2765 NEW BEST:: SOT 259714 SOS 178940 HAS SOPS 170138 HAS SOUS 47331 HAS SOUPS 46848 WITH SCORE 47026.94
AT ITER 2794 NEW BEST:: SOT 259702 SOS 178928 HAS SOPS 170126 HAS SOUS 47318 HAS SOUPS 46835 WITH SCORE 47013.928
AT ITER 2804 NEW BEST:: SOT 259701 SOS 178927 HAS SOPS 170125 HAS SOUS 47317 HAS SOUPS 46834 WITH SCORE 47012.927
AT ITER 2819 NEW BEST:: SOT 259701 SOS 178927 HAS SOPS 170195 HAS SOUS 47310 HAS SOUPS 46827 WITH SCORE 47005.927
AT ITER 2826 NEW BEST:: SOT 259701 SOS 179127 HAS SOPS 170692 HAS SOUS 47271 HAS SOUPS 46788 WITH SCORE 46967.127
AT ITER 2827 NEW BEST:: SOT 259701 SOS 179117 HAS SOPS 170412 HAS SOUS 47263 HAS SOUPS 46780 WITH SCORE 46959.117
AT ITER 2847 NEW BEST:: SOT 259701 SOS 179123 HAS SOPS 170509 HAS SOUS 47253 HAS SOUPS 46770 WITH SCORE 46949.123
AT ITER 2864 NEW BEST:: SOT 259701 SOS 179123 HAS SOPS 170509 HAS SOUS 47250 HAS SOUPS 46767 WITH SCORE 46946.123
AT ITER 2874 NEW BEST:: SOT 259705 SOS 179127 HAS SOPS 170513 HAS SOUS 47236 HAS SOUPS 46753 WITH SCORE 46932.127
AT ITER 2882 NEW BEST:: SOT 259715 SOS 179137 HAS SOPS 170523 HAS SOUS 47235 HAS SOUPS 46752 WITH SCORE 46931.137
AT ITER 2910 NEW BEST:: SOT 259288 SOS 178710 HAS SOPS 170096 HAS SOUS 47082 HAS SOUPS 46599 WITH SCORE 46777.71
AT ITER 2911 NEW BEST:: SOT 259288 SOS 178710 HAS SOPS 170096 HAS SOUS 47070 HAS SOUPS 46587 WITH SCORE 46765.71
AT ITER 2919 NEW BEST:: SOT 259261 SOS 178683 HAS SOPS 170069 HAS SOUS 47039 HAS SOUPS 46556 WITH SCORE 46734.683
AT ITER 2922 NEW BEST:: SOT 259189 SOS 178605 HAS SOPS 169997 HAS SOUS 46961 HAS SOUPS 46484 WITH SCORE 46662.605
AT ITER 2927 NEW BEST:: SOT 259189 SOS 178605 HAS SOPS 170257 HAS SOUS 46935 HAS SOUPS 46458 WITH SCORE 46636.605
AT ITER 2949 NEW BEST:: SOT 259189 SOS 178605 HAS SOPS 170257 HAS SOUS 46932 HAS SOUPS 46455 WITH SCORE 46633.605
AT ITER 2973 NEW BEST:: SOT 259068 SOS 178823 HAS SOPS 170475 HAS SOUS 46859 HAS SOUPS 46382 WITH SCORE 46560.823
AT ITER 2994 NEW BEST:: SOT 259068 SOS 178643 HAS SOPS 170295 HAS SOUS 46846 HAS SOUPS 46369 WITH SCORE 46547.643
AT ITER 3009 NEW BEST:: SOT 259025 SOS 178447 HAS SOPS 170099 HAS SOUS 46797 HAS SOUPS 46320 WITH SCORE 46498.447
AT ITER 3016 NEW BEST:: SOT 259025 SOS 178555 HAS SOPS 170207 HAS SOUS 46795 HAS SOUPS 46318 WITH SCORE 46496.555
AT ITER 3023 NEW BEST:: SOT 259025 SOS 178555 HAS SOPS 170207 HAS SOUS 46792 HAS SOUPS 46315 WITH SCORE 46493.555
AT ITER 3038 NEW BEST:: SOT 259025 SOS 178555 HAS SOPS 170207 HAS SOUS 46789 HAS SOUPS 46312 WITH SCORE 46490.555
AT ITER 3051 NEW BEST:: SOT 259025 SOS 178555 HAS SOPS 170207 HAS SOUS 46787 HAS SOUPS 46310 WITH SCORE 46488.555
AT ITER 3080 NEW BEST:: SOT 259014 SOS 178544 HAS SOPS 170196 HAS SOUS 46754 HAS SOUPS 46277 WITH SCORE 46455.544
AT ITER 3083 NEW BEST:: SOT 259012 SOS 178534 HAS SOPS 170186 HAS SOUS 46748 HAS SOUPS 46271 WITH SCORE 46449.534
AT ITER 3092 NEW BEST:: SOT 258657 SOS 178179 HAS SOPS 169831 HAS SOUS 46438 HAS SOUPS 45961 WITH SCORE 46139.179
AT ITER 3097 NEW BEST:: SOT 258657 SOS 178193 HAS SOPS 168925 HAS SOUS 46404 HAS SOUPS 45927 WITH SCORE 46105.193
AT ITER 3125 NEW BEST:: SOT 258647 SOS 178183 HAS SOPS 168915 HAS SOUS 46348 HAS SOUPS 45871 WITH SCORE 46049.183
AT ITER 3152 NEW BEST:: SOT 258647 SOS 178188 HAS SOPS 168720 HAS SOUS 46323 HAS SOUPS 45846 WITH SCORE 46024.188
AT ITER 3170 NEW BEST:: SOT 258647 SOS 178420 HAS SOPS 169292 HAS SOUS 46318 HAS SOUPS 45841 WITH SCORE 46019.42
AT ITER 3175 NEW BEST:: SOT 258647 SOS 178420 HAS SOPS 169402 HAS SOUS 46308 HAS SOUPS 45831 WITH SCORE 46009.42
AT ITER 3187 NEW BEST:: SOT 258606 SOS 178361 HAS SOPS 169343 HAS SOUS 46298 HAS SOUPS 45821 WITH SCORE 45999.361
AT ITER 3209 NEW BEST:: SOT 258606 SOS 178323 HAS SOPS 169305 HAS SOUS 46298 HAS SOUPS 45821 WITH SCORE 45999.323
AT ITER 3217 NEW BEST:: SOT 258584 SOS 178151 HAS SOPS 169133 HAS SOUS 46246 HAS SOUPS 45769 WITH SCORE 45947.151
AT ITER 3225 NEW BEST:: SOT 258584 SOS 178276 HAS SOPS 169535 HAS SOUS 46241 HAS SOUPS 45764 WITH SCORE 45942.276
AT ITER 3229 NEW BEST:: SOT 258584 SOS 178276 HAS SOPS 169535 HAS SOUS 46235 HAS SOUPS 45758 WITH SCORE 45936.276
AT ITER 3234 NEW BEST:: SOT 258584 SOS 178276 HAS SOPS 169535 HAS SOUS 46229 HAS SOUPS 45752 WITH SCORE 45930.276
AT ITER 3242 NEW BEST:: SOT 258524 SOS 178216 HAS SOPS 169475 HAS SOUS 46139 HAS SOUPS 45662 WITH SCORE 45840.216
AT ITER 3244 NEW BEST:: SOT 258508 SOS 178186 HAS SOPS 169459 HAS SOUS 46078 HAS SOUPS 45615 WITH SCORE 45793.186
AT ITER 3250 NEW BEST:: SOT 258508 SOS 178186 HAS SOPS 169649 HAS SOUS 46075 HAS SOUPS 45612 WITH SCORE 45790.186
AT ITER 3268 NEW BEST:: SOT 258492 SOS 178170 HAS SOPS 169633 HAS SOUS 46054 HAS SOUPS 45591 WITH SCORE 45769.17
AT ITER 3277 NEW BEST:: SOT 258290 SOS 178051 HAS SOPS 169514 HAS SOUS 45717 HAS SOUPS 45254 WITH SCORE 45432.051
AT ITER 3285 NEW BEST:: SOT 258290 SOS 178051 HAS SOPS 169580 HAS SOUS 45711 HAS SOUPS 45248 WITH SCORE 45426.051
AT ITER 3303 NEW BEST:: SOT 258274 SOS 178051 HAS SOPS 169564 HAS SOUS 45720 HAS SOUPS 45241 WITH SCORE 45419.051
AT ITER 3330 NEW BEST:: SOT 258240 SOS 178017 HAS SOPS 169530 HAS SOUS 45682 HAS SOUPS 45203 WITH SCORE 45381.017
AT ITER 3338 NEW BEST:: SOT 258224 SOS 178001 HAS SOPS 169514 HAS SOUS 45665 HAS SOUPS 45186 WITH SCORE 45364.001
AT ITER 3340 NEW BEST:: SOT 258228 SOS 178005 HAS SOPS 169518 HAS SOUS 45598 HAS SOUPS 45119 WITH SCORE 45297.005
AT ITER 3352 NEW BEST:: SOT 258210 SOS 177987 HAS SOPS 169500 HAS SOUS 45577 HAS SOUPS 45098 WITH SCORE 45275.987
AT ITER 3362 NEW BEST:: SOT 258099 SOS 178099 HAS SOPS 169612 HAS SOUS 45503 HAS SOUPS 45024 WITH SCORE 45202.099
AT ITER 3363 NEW BEST:: SOT 257535 SOS 177535 HAS SOPS 169048 HAS SOUS 44996 HAS SOUPS 44517 WITH SCORE 44694.535
AT ITER 3389 NEW BEST:: SOT 257535 SOS 177085 HAS SOPS 168598 HAS SOUS 44996 HAS SOUPS 44517 WITH SCORE 44694.085
AT ITER 3408 NEW BEST:: SOT 257535 SOS 177083 HAS SOPS 168596 HAS SOUS 44996 HAS SOUPS 44517 WITH SCORE 44694.083
AT ITER 3410 NEW BEST:: SOT 257535 SOS 177083 HAS SOPS 168596 HAS SOUS 44992 HAS SOUPS 44513 WITH SCORE 44690.083
AT ITER 3419 NEW BEST:: SOT 257535 SOS 177083 HAS SOPS 168596 HAS SOUS 44984 HAS SOUPS 44505 WITH SCORE 44682.083
AT ITER 3426 NEW BEST:: SOT 257535 SOS 177069 HAS SOPS 168225 HAS SOUS 44903 HAS SOUPS 44424 WITH SCORE 44601.069
AT ITER 3433 NEW BEST:: SOT 257541 SOS 177075 HAS SOPS 168231 HAS SOUS 44902 HAS SOUPS 44423 WITH SCORE 44600.075
AT ITER 3444 NEW BEST:: SOT 257541 SOS 177057 HAS SOPS 168213 HAS SOUS 44902 HAS SOUPS 44423 WITH SCORE 44600.057
AT ITER 3459 NEW BEST:: SOT 257514 SOS 177030 HAS SOPS 168186 HAS SOUS 44883 HAS SOUPS 44404 WITH SCORE 44581.03
AT ITER 3476 NEW BEST:: SOT 257513 SOS 177029 HAS SOPS 168185 HAS SOUS 44882 HAS SOUPS 44403 WITH SCORE 44580.029
AT ITER 3477 NEW BEST:: SOT 257497 SOS 177007 HAS SOPS 168283 HAS SOUS 44859 HAS SOUPS 44380 WITH SCORE 44557.007
AT ITER 3482 NEW BEST:: SOT 257497 SOS 177007 HAS SOPS 168283 HAS SOUS 44850 HAS SOUPS 44371 WITH SCORE 44548.007
AT ITER 3513 NEW BEST:: SOT 257509 SOS 176869 HAS SOPS 168465 HAS SOUS 44842 HAS SOUPS 44363 WITH SCORE 44539.869
AT ITER 3521 NEW BEST:: SOT 257509 SOS 176858 HAS SOPS 168374 HAS SOUS 44840 HAS SOUPS 44353 WITH SCORE 44529.858
AT ITER 3527 NEW BEST:: SOT 257499 SOS 176848 HAS SOPS 168364 HAS SOUS 44830 HAS SOUPS 44343 WITH SCORE 44519.848
AT ITER 3545 NEW BEST:: SOT 257376 SOS 176873 HAS SOPS 168409 HAS SOUS 44499 HAS SOUPS 44032 WITH SCORE 44208.873
AT ITER 3584 NEW BEST:: SOT 257376 SOS 176833 HAS SOPS 168370 HAS SOUS 44499 HAS SOUPS 44032 WITH SCORE 44208.833
AT ITER 3595 NEW BEST:: SOT 257353 SOS 176833 HAS SOPS 168347 HAS SOUS 44505 HAS SOUPS 44015 WITH SCORE 44191.833
AT ITER 3626 NEW BEST:: SOT 256947 SOS 176221 HAS SOPS 167754 HAS SOUS 44199 HAS SOUPS 43709 WITH SCORE 43885.221
AT ITER 3639 NEW BEST:: SOT 256947 SOS 176216 HAS SOPS 167749 HAS SOUS 44189 HAS SOUPS 43699 WITH SCORE 43875.216
AT ITER 3657 NEW BEST:: SOT 256947 SOS 176216 HAS SOPS 167848 HAS SOUS 44180 HAS SOUPS 43690 WITH SCORE 43866.216
AT ITER 3676 NEW BEST:: SOT 256947 SOS 176341 HAS SOPS 168314 HAS SOUS 44134 HAS SOUPS 43644 WITH SCORE 43820.341
AT ITER 3694 NEW BEST:: SOT 256947 SOS 176241 HAS SOPS 168214 HAS SOUS 44126 HAS SOUPS 43636 WITH SCORE 43812.241
AT ITER 3714 NEW BEST:: SOT 256947 SOS 176215 HAS SOPS 168188 HAS SOUS 44126 HAS SOUPS 43636 WITH SCORE 43812.215
AT ITER 3734 NEW BEST:: SOT 256891 SOS 176159 HAS SOPS 168132 HAS SOUS 44050 HAS SOUPS 43560 WITH SCORE 43736.159
AT ITER 3735 NEW BEST:: SOT 256821 SOS 175998 HAS SOPS 167923 HAS SOUS 43967 HAS SOUPS 43429 WITH SCORE 43604.998
AT ITER 3753 NEW BEST:: SOT 256821 SOS 175831 HAS SOPS 166955 HAS SOUS 43967 HAS SOUPS 43429 WITH SCORE 43604.831
AT ITER 3758 NEW BEST:: SOT 256811 SOS 175821 HAS SOPS 166945 HAS SOUS 43933 HAS SOUPS 43395 WITH SCORE 43570.821
AT ITER 3761 NEW BEST:: SOT 256811 SOS 175767 HAS SOPS 166891 HAS SOUS 43929 HAS SOUPS 43391 WITH SCORE 43566.767
AT ITER 3763 NEW BEST:: SOT 256862 SOS 175818 HAS SOPS 166942 HAS SOUS 43920 HAS SOUPS 43382 WITH SCORE 43557.818
AT ITER 3770 NEW BEST:: SOT 256838 SOS 175794 HAS SOPS 166918 HAS SOUS 43863 HAS SOUPS 43325 WITH SCORE 43500.794
AT ITER 3777 NEW BEST:: SOT 256838 SOS 175753 HAS SOPS 166918 HAS SOUS 43782 HAS SOUPS 43285 WITH SCORE 43460.753
AT ITER 3792 NEW BEST:: SOT 256832 SOS 175747 HAS SOPS 166912 HAS SOUS 43767 HAS SOUPS 43270 WITH SCORE 43445.747
AT ITER 3863 NEW BEST:: SOT 256827 SOS 175742 HAS SOPS 166907 HAS SOUS 43766 HAS SOUPS 43269 WITH SCORE 43444.742
AT ITER 3870 NEW BEST:: SOT 256827 SOS 175762 HAS SOPS 166927 HAS SOUS 43764 HAS SOUPS 43267 WITH SCORE 43442.762
AT ITER 3881 NEW BEST:: SOT 256827 SOS 175762 HAS SOPS 166927 HAS SOUS 43750 HAS SOUPS 43253 WITH SCORE 43428.762
AT ITER 3925 NEW BEST:: SOT 256827 SOS 176019 HAS SOPS 167462 HAS SOUS 43738 HAS SOUPS 43241 WITH SCORE 43417.019
AT ITER 3933 NEW BEST:: SOT 256825 SOS 175995 HAS SOPS 167460 HAS SOUS 43700 HAS SOUPS 43225 WITH SCORE 43400.995
AT ITER 3942 NEW BEST:: SOT 256812 SOS 176016 HAS SOPS 167447 HAS SOUS 43675 HAS SOUPS 43166 WITH SCORE 43342.016
AT ITER 3946 NEW BEST:: SOT 256851 SOS 176055 HAS SOPS 167486 HAS SOUS 43674 HAS SOUPS 43165 WITH SCORE 43341.055
AT ITER 3958 NEW BEST:: SOT 256830 SOS 176034 HAS SOPS 167465 HAS SOUS 43640 HAS SOUPS 43131 WITH SCORE 43307.034
AT ITER 3961 NEW BEST:: SOT 256830 SOS 175996 HAS SOPS 167427 HAS SOUS 43640 HAS SOUPS 43131 WITH SCORE 43306.996
AT ITER 3964 NEW BEST:: SOT 256824 SOS 175990 HAS SOPS 167421 HAS SOUS 43622 HAS SOUPS 43113 WITH SCORE 43288.99
AT ITER 3978 NEW BEST:: SOT 256806 SOS 175972 HAS SOPS 167403 HAS SOUS 43604 HAS SOUPS 43095 WITH SCORE 43270.972
AT ITER 3982 NEW BEST:: SOT 256806 SOS 174916 HAS SOPS 166347 HAS SOUS 43604 HAS SOUPS 43095 WITH SCORE 43269.916
AT ITER 3984 NEW BEST:: SOT 256776 SOS 174886 HAS SOPS 166317 HAS SOUS 43594 HAS SOUPS 43085 WITH SCORE 43259.886
AT ITER 3995 NEW BEST:: SOT 256495 SOS 174893 HAS SOPS 166324 HAS SOUS 43345 HAS SOUPS 42836 WITH SCORE 43010.893
AT ITER 4009 NEW BEST:: SOT 256534 SOS 174903 HAS SOPS 166324 HAS SOUS 43321 HAS SOUPS 42802 WITH SCORE 42976.903
AT ITER 4021 NEW BEST:: SOT 256586 SOS 174955 HAS SOPS 166376 HAS SOUS 43303 HAS SOUPS 42784 WITH SCORE 42958.955
AT ITER 4024 NEW BEST:: SOT 256270 SOS 174639 HAS SOPS 166060 HAS SOUS 42987 HAS SOUPS 42468 WITH SCORE 42642.639
AT ITER 4051 NEW BEST:: SOT 256270 SOS 174639 HAS SOPS 166060 HAS SOUS 42976 HAS SOUPS 42457 WITH SCORE 42631.639
AT ITER 4075 NEW BEST:: SOT 256180 SOS 174580 HAS SOPS 166001 HAS SOUS 42877 HAS SOUPS 42358 WITH SCORE 42532.58
AT ITER 4083 NEW BEST:: SOT 256140 SOS 174540 HAS SOPS 165961 HAS SOUS 42875 HAS SOUPS 42356 WITH SCORE 42530.54
AT ITER 4086 NEW BEST:: SOT 256140 SOS 174540 HAS SOPS 165961 HAS SOUS 42871 HAS SOUPS 42352 WITH SCORE 42526.54
AT ITER 4094 NEW BEST:: SOT 256128 SOS 174516 HAS SOPS 165949 HAS SOUS 42818 HAS SOUPS 42311 WITH SCORE 42485.516
AT ITER 4104 NEW BEST:: SOT 256131 SOS 174277 HAS SOPS 165800 HAS SOUS 42797 HAS SOUPS 42290 WITH SCORE 42464.277
AT ITER 4106 NEW BEST:: SOT 256123 SOS 174269 HAS SOPS 165792 HAS SOUS 42789 HAS SOUPS 42282 WITH SCORE 42456.269
AT ITER 4111 NEW BEST:: SOT 256130 SOS 174276 HAS SOPS 165799 HAS SOUS 42766 HAS SOUPS 42259 WITH SCORE 42433.276
AT ITER 4122 NEW BEST:: SOT 255920 SOS 174064 HAS SOPS 165593 HAS SOUS 42724 HAS SOUPS 42223 WITH SCORE 42397.064
AT ITER 4155 NEW BEST:: SOT 255886 SOS 174058 HAS SOPS 165553 HAS SOUS 42755 HAS SOUPS 42220 WITH SCORE 42394.058
AT ITER 4178 NEW BEST:: SOT 255886 SOS 174056 HAS SOPS 165551 HAS SOUS 42755 HAS SOUPS 42220 WITH SCORE 42394.056
AT ITER 4194 NEW BEST:: SOT 255883 SOS 174053 HAS SOPS 165548 HAS SOUS 42752 HAS SOUPS 42217 WITH SCORE 42391.053
AT ITER 4197 NEW BEST:: SOT 255871 SOS 174041 HAS SOPS 165536 HAS SOUS 42714 HAS SOUPS 42179 WITH SCORE 42353.041
AT ITER 4249 NEW BEST:: SOT 255858 SOS 174028 HAS SOPS 165523 HAS SOUS 42710 HAS SOUPS 42175 WITH SCORE 42349.028
AT ITER 4271 NEW BEST:: SOT 255858 SOS 173776 HAS SOPS 165271 HAS SOUS 42479 HAS SOUPS 41944 WITH SCORE 42117.776
AT ITER 4279 NEW BEST:: SOT 255858 SOS 173776 HAS SOPS 165368 HAS SOUS 42472 HAS SOUPS 41937 WITH SCORE 42110.776
AT ITER 4291 NEW BEST:: SOT 255858 SOS 173776 HAS SOPS 165368 HAS SOUS 42468 HAS SOUPS 41933 WITH SCORE 42106.776
AT ITER 4318 NEW BEST:: SOT 255858 SOS 173776 HAS SOPS 165439 HAS SOUS 42452 HAS SOUPS 41917 WITH SCORE 42090.776
AT ITER 4334 NEW BEST:: SOT 255786 SOS 173704 HAS SOPS 165367 HAS SOUS 42358 HAS SOUPS 41823 WITH SCORE 41996.704
AT ITER 4354 NEW BEST:: SOT 255812 SOS 173730 HAS SOPS 165393 HAS SOUS 42357 HAS SOUPS 41822 WITH SCORE 41995.73
AT ITER 4358 NEW BEST:: SOT 255835 SOS 173763 HAS SOPS 165426 HAS SOUS 42329 HAS SOUPS 41794 WITH SCORE 41967.763
AT ITER 4376 NEW BEST:: SOT 255835 SOS 173763 HAS SOPS 165426 HAS SOUS 42320 HAS SOUPS 41785 WITH SCORE 41958.763
AT ITER 4388 NEW BEST:: SOT 255760 SOS 173688 HAS SOPS 165351 HAS SOUS 42235 HAS SOUPS 41700 WITH SCORE 41873.688
AT ITER 4409 NEW BEST:: SOT 255760 SOS 173688 HAS SOPS 165351 HAS SOUS 42231 HAS SOUPS 41696 WITH SCORE 41869.688
AT ITER 4422 NEW BEST:: SOT 255760 SOS 173755 HAS SOPS 165518 HAS SOUS 42220 HAS SOUPS 41685 WITH SCORE 41858.755
AT ITER 4431 NEW BEST:: SOT 255812 SOS 173807 HAS SOPS 165570 HAS SOUS 42192 HAS SOUPS 41657 WITH SCORE 41830.807
AT ITER 4453 NEW BEST:: SOT 255812 SOS 173807 HAS SOPS 165645 HAS SOUS 42191 HAS SOUPS 41656 WITH SCORE 41829.807
AT ITER 4463 NEW BEST:: SOT 255812 SOS 173394 HAS SOPS 165254 HAS SOUS 42191 HAS SOUPS 41656 WITH SCORE 41829.394
AT ITER 4473 NEW BEST:: SOT 255803 SOS 173384 HAS SOPS 165244 HAS SOUS 42181 HAS SOUPS 41646 WITH SCORE 41819.384
AT ITER 4545 NEW BEST:: SOT 255596 SOS 173136 HAS SOPS 165037 HAS SOUS 41933 HAS SOUPS 41439 WITH SCORE 41612.136
AT ITER 4546 NEW BEST:: SOT 255591 SOS 173131 HAS SOPS 165032 HAS SOUS 41928 HAS SOUPS 41434 WITH SCORE 41607.131
AT ITER 4634 NEW BEST:: SOT 255578 SOS 173118 HAS SOPS 165019 HAS SOUS 41907 HAS SOUPS 41413 WITH SCORE 41586.118
AT ITER 4642 NEW BEST:: SOT 255578 SOS 173118 HAS SOPS 165019 HAS SOUS 41906 HAS SOUPS 41412 WITH SCORE 41585.118
AT ITER 4654 NEW BEST:: SOT 255434 SOS 172990 HAS SOPS 164907 HAS SOUS 41746 HAS SOUPS 41268 WITH SCORE 41440.99
AT ITER 4678 NEW BEST:: SOT 255369 SOS 172910 HAS SOPS 164842 HAS SOUS 41616 HAS SOUPS 41153 WITH SCORE 41325.91
AT ITER 4713 NEW BEST:: SOT 255369 SOS 172962 HAS SOPS 164990 HAS SOUS 41609 HAS SOUPS 41146 WITH SCORE 41318.962
AT ITER 4728 NEW BEST:: SOT 255365 SOS 172958 HAS SOPS 164986 HAS SOUS 41605 HAS SOUPS 41142 WITH SCORE 41314.958
AT ITER 4753 NEW BEST:: SOT 255365 SOS 172796 HAS SOPS 164824 HAS SOUS 41554 HAS SOUPS 41091 WITH SCORE 41263.796
AT ITER 4755 NEW BEST:: SOT 255354 SOS 172738 HAS SOPS 164766 HAS SOUS 41546 HAS SOUPS 41083 WITH SCORE 41255.738
AT ITER 4784 NEW BEST:: SOT 255374 SOS 172758 HAS SOPS 164786 HAS SOUS 41539 HAS SOUPS 41076 WITH SCORE 41248.758
AT ITER 4793 NEW BEST:: SOT 255374 SOS 172701 HAS SOPS 164729 HAS SOUS 41502 HAS SOUPS 41039 WITH SCORE 41211.701
AT ITER 4796 NEW BEST:: SOT 255286 SOS 172613 HAS SOPS 164652 HAS SOUS 41434 HAS SOUPS 40982 WITH SCORE 41154.613
AT ITER 4815 NEW BEST:: SOT 255286 SOS 172613 HAS SOPS 164652 HAS SOUS 41429 HAS SOUPS 40977 WITH SCORE 41149.613
AT ITER 4843 NEW BEST:: SOT 255286 SOS 172599 HAS SOPS 164638 HAS SOUS 41416 HAS SOUPS 40964 WITH SCORE 41136.599
AT ITER 4865 NEW BEST:: SOT 255272 SOS 172617 HAS SOPS 164656 HAS SOUS 41410 HAS SOUPS 40958 WITH SCORE 41130.617
AT ITER 4884 NEW BEST:: SOT 255272 SOS 172617 HAS SOPS 164656 HAS SOUS 41399 HAS SOUPS 40947 WITH SCORE 41119.617
AT ITER 4889 NEW BEST:: SOT 255272 SOS 172617 HAS SOPS 164656 HAS SOUS 41396 HAS SOUPS 40944 WITH SCORE 41116.617
AT ITER 4918 NEW BEST:: SOT 255272 SOS 172631 HAS SOPS 163970 HAS SOUS 41366 HAS SOUPS 40914 WITH SCORE 41086.631
AT ITER 4989 NEW BEST:: SOT 255272 SOS 172631 HAS SOPS 163970 HAS SOUS 41359 HAS SOUPS 40907 WITH SCORE 41079.631
AT ITER 5031 NEW BEST:: SOT 255272 SOS 172647 HAS SOPS 163986 HAS SOUS 41353 HAS SOUPS 40901 WITH SCORE 41073.647
AT ITER 5047 NEW BEST:: SOT 255272 SOS 172679 HAS SOPS 163695 HAS SOUS 41128 HAS SOUPS 40676 WITH SCORE 40848.679
AT ITER 5054 NEW BEST:: SOT 255258 SOS 172665 HAS SOPS 163681 HAS SOUS 41110 HAS SOUPS 40658 WITH SCORE 40830.665
AT ITER 5089 NEW BEST:: SOT 255258 SOS 172665 HAS SOPS 163758 HAS SOUS 41103 HAS SOUPS 40651 WITH SCORE 40823.665
AT ITER 5098 NEW BEST:: SOT 255254 SOS 172661 HAS SOPS 163754 HAS SOUS 41098 HAS SOUPS 40646 WITH SCORE 40818.661
AT ITER 5123 NEW BEST:: SOT 255244 SOS 172651 HAS SOPS 163744 HAS SOUS 41083 HAS SOUPS 40631 WITH SCORE 40803.651
AT ITER 5144 NEW BEST:: SOT 255244 SOS 172641 HAS SOPS 163734 HAS SOUS 41083 HAS SOUPS 40631 WITH SCORE 40803.641
AT ITER 5163 NEW BEST:: SOT 255244 SOS 172670 HAS SOPS 163877 HAS SOUS 41067 HAS SOUPS 40615 WITH SCORE 40787.67
AT ITER 5187 NEW BEST:: SOT 255244 SOS 172670 HAS SOPS 163877 HAS SOUS 41065 HAS SOUPS 40613 WITH SCORE 40785.67
AT ITER 5200 NEW BEST:: SOT 255140 SOS 172566 HAS SOPS 163773 HAS SOUS 40949 HAS SOUPS 40497 WITH SCORE 40669.566
AT ITER 5219 NEW BEST:: SOT 255138 SOS 172558 HAS SOPS 163763 HAS SOUS 40947 HAS SOUPS 40493 WITH SCORE 40665.558
AT ITER 5268 NEW BEST:: SOT 255138 SOS 172546 HAS SOPS 163751 HAS SOUS 40947 HAS SOUPS 40493 WITH SCORE 40665.546
AT ITER 5274 NEW BEST:: SOT 255138 SOS 172546 HAS SOPS 163650 HAS SOUS 40909 HAS SOUPS 40455 WITH SCORE 40627.546
AT ITER 5338 NEW BEST:: SOT 255114 SOS 172522 HAS SOPS 163626 HAS SOUS 40897 HAS SOUPS 40443 WITH SCORE 40615.522
AT ITER 5390 NEW BEST:: SOT 254825 SOS 172233 HAS SOPS 163337 HAS SOUS 40751 HAS SOUPS 40297 WITH SCORE 40469.233
AT ITER 5414 NEW BEST:: SOT 254637 SOS 172039 HAS SOPS 163149 HAS SOUS 40633 HAS SOUPS 40185 WITH SCORE 40357.039
AT ITER 5452 NEW BEST:: SOT 254637 SOS 171925 HAS SOPS 163035 HAS SOUS 40633 HAS SOUPS 40185 WITH SCORE 40356.925
AT ITER 5495 NEW BEST:: SOT 254530 SOS 171764 HAS SOPS 162874 HAS SOUS 40520 HAS SOUPS 40072 WITH SCORE 40243.764
AT ITER 5507 NEW BEST:: SOT 254570 SOS 171804 HAS SOPS 162914 HAS SOUS 40512 HAS SOUPS 40064 WITH SCORE 40235.804
AT ITER 5531 NEW BEST:: SOT 254565 SOS 171794 HAS SOPS 162909 HAS SOUS 40502 HAS SOUPS 40059 WITH SCORE 40230.794
AT ITER 5541 NEW BEST:: SOT 254709 SOS 171938 HAS SOPS 163053 HAS SOUS 40493 HAS SOUPS 40050 WITH SCORE 40221.938
AT ITER 5542 NEW BEST:: SOT 254709 SOS 171926 HAS SOPS 163041 HAS SOUS 40493 HAS SOUPS 40050 WITH SCORE 40221.926
AT ITER 5559 NEW BEST:: SOT 254718 SOS 171935 HAS SOPS 163050 HAS SOUS 40490 HAS SOUPS 40047 WITH SCORE 40218.935
AT ITER 5568 NEW BEST:: SOT 254778 SOS 171996 HAS SOPS 163111 HAS SOUS 40483 HAS SOUPS 40040 WITH SCORE 40211.996
AT ITER 5614 NEW BEST:: SOT 254768 SOS 171986 HAS SOPS 163101 HAS SOUS 40473 HAS SOUPS 40030 WITH SCORE 40201.986
AT ITER 5652 NEW BEST:: SOT 254770 SOS 171988 HAS SOPS 163103 HAS SOUS 40454 HAS SOUPS 40011 WITH SCORE 40182.988
AT ITER 5657 NEW BEST:: SOT 254770 SOS 171985 HAS SOPS 163103 HAS SOUS 40451 HAS SOUPS 40011 WITH SCORE 40182.985
AT ITER 5694 NEW BEST:: SOT 254752 SOS 171967 HAS SOPS 163085 HAS SOUS 40445 HAS SOUPS 40005 WITH SCORE 40176.967
AT ITER 5714 NEW BEST:: SOT 254721 SOS 171936 HAS SOPS 163054 HAS SOUS 40402 HAS SOUPS 39962 WITH SCORE 40133.936
AT ITER 5742 NEW BEST:: SOT 254721 SOS 171936 HAS SOPS 163065 HAS SOUS 40401 HAS SOUPS 39961 WITH SCORE 40132.936
AT ITER 5762 NEW BEST:: SOT 254696 SOS 171911 HAS SOPS 163040 HAS SOUS 40386 HAS SOUPS 39946 WITH SCORE 40117.911
AT ITER 5797 NEW BEST:: SOT 254696 SOS 171901 HAS SOPS 163030 HAS SOUS 40386 HAS SOUPS 39946 WITH SCORE 40117.901
AT ITER 5811 NEW BEST:: SOT 254696 SOS 171941 HAS SOPS 159659 HAS SOUS 40369 HAS SOUPS 39929 WITH SCORE 40100.941
AT ITER 5818 NEW BEST:: SOT 254699 SOS 171944 HAS SOPS 159662 HAS SOUS 40367 HAS SOUPS 39927 WITH SCORE 40098.944
AT ITER 5838 NEW BEST:: SOT 254681 SOS 171926 HAS SOPS 159644 HAS SOUS 40278 HAS SOUPS 39838 WITH SCORE 40009.926
AT ITER 5855 NEW BEST:: SOT 254681 SOS 171917 HAS SOPS 159123 HAS SOUS 40260 HAS SOUPS 39820 WITH SCORE 39991.917
AT ITER 5886 NEW BEST:: SOT 254651 SOS 171860 HAS SOPS 159045 HAS SOUS 40255 HAS SOUPS 39794 WITH SCORE 39965.86
AT ITER 5943 NEW BEST:: SOT 254651 SOS 171849 HAS SOPS 159132 HAS SOUS 40156 HAS SOUPS 39695 WITH SCORE 39866.849
AT ITER 5976 NEW BEST:: SOT 254664 SOS 171862 HAS SOPS 159610 HAS SOUS 40150 HAS SOUPS 39689 WITH SCORE 39860.862
AT ITER 5981 NEW BEST:: SOT 254666 SOS 171864 HAS SOPS 159612 HAS SOUS 40134 HAS SOUPS 39673 WITH SCORE 39844.864
AT ITER 5996 NEW BEST:: SOT 254665 SOS 171863 HAS SOPS 159611 HAS SOUS 40133 HAS SOUPS 39672 WITH SCORE 39843.863
AT ITER 6005 NEW BEST:: SOT 254665 SOS 171863 HAS SOPS 159621 HAS SOUS 40130 HAS SOUPS 39669 WITH SCORE 39840.863
AT ITER 6031 NEW BEST:: SOT 254628 SOS 171826 HAS SOPS 159584 HAS SOUS 40081 HAS SOUPS 39620 WITH SCORE 39791.826
AT ITER 6045 NEW BEST:: SOT 254628 SOS 171799 HAS SOPS 159732 HAS SOUS 39972 HAS SOUPS 39511 WITH SCORE 39682.799
AT ITER 6070 NEW BEST:: SOT 254628 SOS 171791 HAS SOPS 159724 HAS SOUS 39970 HAS SOUPS 39509 WITH SCORE 39680.791
AT ITER 6091 NEW BEST:: SOT 254427 SOS 171590 HAS SOPS 159522 HAS SOUS 39789 HAS SOUPS 39327 WITH SCORE 39498.59
AT ITER 6177 NEW BEST:: SOT 254430 SOS 171544 HAS SOPS 159459 HAS SOUS 39773 HAS SOUPS 39294 WITH SCORE 39465.544
AT ITER 6239 NEW BEST:: SOT 254430 SOS 171440 HAS SOPS 159235 HAS SOUS 39770 HAS SOUPS 39291 WITH SCORE 39462.44
AT ITER 6255 NEW BEST:: SOT 254407 SOS 171401 HAS SOPS 159196 HAS SOUS 39731 HAS SOUPS 39252 WITH SCORE 39423.401
AT ITER 6274 NEW BEST:: SOT 254407 SOS 171405 HAS SOPS 159174 HAS SOUS 39725 HAS SOUPS 39246 WITH SCORE 39417.405
AT ITER 6292 NEW BEST:: SOT 254407 SOS 171317 HAS SOPS 159287 HAS SOUS 39711 HAS SOUPS 39232 WITH SCORE 39403.317
AT ITER 6309 NEW BEST:: SOT 254354 SOS 171254 HAS SOPS 159234 HAS SOUS 39623 HAS SOUPS 39154 WITH SCORE 39325.254
AT ITER 6315 NEW BEST:: SOT 254343 SOS 171243 HAS SOPS 159223 HAS SOUS 39605 HAS SOUPS 39136 WITH SCORE 39307.243
AT ITER 6413 NEW BEST:: SOT 254327 SOS 171227 HAS SOPS 159207 HAS SOUS 39589 HAS SOUPS 39120 WITH SCORE 39291.227
AT ITER 6415 NEW BEST:: SOT 254327 SOS 171227 HAS SOPS 159207 HAS SOUS 39588 HAS SOUPS 39119 WITH SCORE 39290.227
AT ITER 6430 NEW BEST:: SOT 254327 SOS 171227 HAS SOPS 159017 HAS SOUS 39585 HAS SOUPS 39116 WITH SCORE 39287.227
AT ITER 6442 NEW BEST:: SOT 254285 SOS 171164 HAS SOPS 158975 HAS SOUS 39386 HAS SOUPS 38938 WITH SCORE 39109.164
AT ITER 6443 NEW BEST:: SOT 254274 SOS 171153 HAS SOPS 158964 HAS SOUS 39368 HAS SOUPS 38920 WITH SCORE 39091.153
AT ITER 6450 NEW BEST:: SOT 254294 SOS 171173 HAS SOPS 158984 HAS SOUS 39360 HAS SOUPS 38912 WITH SCORE 39083.173
AT ITER 6457 NEW BEST:: SOT 254294 SOS 171105 HAS SOPS 158971 HAS SOUS 39360 HAS SOUPS 38912 WITH SCORE 39083.105
AT ITER 6473 NEW BEST:: SOT 254410 SOS 171204 HAS SOPS 159070 HAS SOUS 39179 HAS SOUPS 38731 WITH SCORE 38902.204
AT ITER 6478 NEW BEST:: SOT 254410 SOS 171204 HAS SOPS 159386 HAS SOUS 39174 HAS SOUPS 38726 WITH SCORE 38897.204
AT ITER 6538 NEW BEST:: SOT 254410 SOS 157150 HAS SOPS 155478 HAS SOUS 39136 HAS SOUPS 38730 WITH SCORE 38887.15
AT ITER 6552 NEW BEST:: SOT 254388 SOS 157128 HAS SOPS 155456 HAS SOUS 39114 HAS SOUPS 38708 WITH SCORE 38865.128
AT ITER 6561 NEW BEST:: SOT 254358 SOS 157098 HAS SOPS 155426 HAS SOUS 39099 HAS SOUPS 38693 WITH SCORE 38850.098
AT ITER 6564 NEW BEST:: SOT 254358 SOS 157098 HAS SOPS 155426 HAS SOUS 39097 HAS SOUPS 38691 WITH SCORE 38848.098
AT ITER 6576 NEW BEST:: SOT 254358 SOS 155294 HAS SOPS 153622 HAS SOUS 39097 HAS SOUPS 38691 WITH SCORE 38846.294
AT ITER 6629 NEW BEST:: SOT 254358 SOS 155382 HAS SOPS 153710 HAS SOUS 39092 HAS SOUPS 38686 WITH SCORE 38841.382
AT ITER 6640 NEW BEST:: SOT 254358 SOS 155393 HAS SOPS 153341 HAS SOUS 39009 HAS SOUPS 38603 WITH SCORE 38758.393
AT ITER 6652 NEW BEST:: SOT 254358 SOS 155377 HAS SOPS 153325 HAS SOUS 39009 HAS SOUPS 38603 WITH SCORE 38758.377
AT ITER 6674 NEW BEST:: SOT 254358 SOS 155561 HAS SOPS 153553 HAS SOUS 38994 HAS SOUPS 38588 WITH SCORE 38743.561
AT ITER 6675 NEW BEST:: SOT 254358 SOS 155561 HAS SOPS 153553 HAS SOUS 38976 HAS SOUPS 38570 WITH SCORE 38725.561
AT ITER 6676 NEW BEST:: SOT 254346 SOS 155549 HAS SOPS 153541 HAS SOUS 38962 HAS SOUPS 38556 WITH SCORE 38711.549
AT ITER 6692 NEW BEST:: SOT 254309 SOS 155512 HAS SOPS 153504 HAS SOUS 38957 HAS SOUPS 38551 WITH SCORE 38706.512
AT ITER 6715 NEW BEST:: SOT 254285 SOS 155488 HAS SOPS 153480 HAS SOUS 38933 HAS SOUPS 38527 WITH SCORE 38682.488
AT ITER 6750 NEW BEST:: SOT 254279 SOS 155482 HAS SOPS 153474 HAS SOUS 38927 HAS SOUPS 38521 WITH SCORE 38676.482
AT ITER 6805 NEW BEST:: SOT 254279 SOS 153494 HAS SOPS 151486 HAS SOUS 38927 HAS SOUPS 38521 WITH SCORE 38674.494
AT ITER 6830 NEW BEST:: SOT 254279 SOS 153516 HAS SOPS 151629 HAS SOUS 38926 HAS SOUPS 38520 WITH SCORE 38673.516
AT ITER 6833 NEW BEST:: SOT 254279 SOS 153610 HAS SOPS 151745 HAS SOUS 38896 HAS SOUPS 38490 WITH SCORE 38643.61
AT ITER 6843 NEW BEST:: SOT 254279 SOS 153753 HAS SOPS 151888 HAS SOUS 38883 HAS SOUPS 38477 WITH SCORE 38630.753
AT ITER 6851 NEW BEST:: SOT 254237 SOS 153759 HAS SOPS 151900 HAS SOUS 38835 HAS SOUPS 38435 WITH SCORE 38588.759
AT ITER 6900 NEW BEST:: SOT 254237 SOS 153759 HAS SOPS 151894 HAS SOUS 38781 HAS SOUPS 38375 WITH SCORE 38528.759
AT ITER 6926 NEW BEST:: SOT 254237 SOS 153781 HAS SOPS 151993 HAS SOUS 38779 HAS SOUPS 38373 WITH SCORE 38526.781
AT ITER 6966 NEW BEST:: SOT 254179 SOS 153713 HAS SOPS 151940 HAS SOUS 38748 HAS SOUPS 38357 WITH SCORE 38510.713
AT ITER 6995 NEW BEST:: SOT 254177 SOS 153711 HAS SOPS 151938 HAS SOUS 38746 HAS SOUPS 38355 WITH SCORE 38508.711
AT ITER 7023 NEW BEST:: SOT 254177 SOS 153711 HAS SOPS 151938 HAS SOUS 38743 HAS SOUPS 38352 WITH SCORE 38505.711
AT ITER 7042 NEW BEST:: SOT 254163 SOS 153697 HAS SOPS 151924 HAS SOUS 38729 HAS SOUPS 38338 WITH SCORE 38491.697
AT ITER 7109 NEW BEST:: SOT 254163 SOS 153697 HAS SOPS 151924 HAS SOUS 38725 HAS SOUPS 38334 WITH SCORE 38487.697
AT ITER 7113 NEW BEST:: SOT 254131 SOS 153665 HAS SOPS 151892 HAS SOUS 38630 HAS SOUPS 38239 WITH SCORE 38392.665
AT ITER 7119 NEW BEST:: SOT 254116 SOS 153650 HAS SOPS 151877 HAS SOUS 38609 HAS SOUPS 38218 WITH SCORE 38371.65
AT ITER 7130 NEW BEST:: SOT 254065 SOS 153599 HAS SOPS 151826 HAS SOUS 38541 HAS SOUPS 38150 WITH SCORE 38303.599
AT ITER 7170 NEW BEST:: SOT 254065 SOS 153599 HAS SOPS 151826 HAS SOUS 38537 HAS SOUPS 38146 WITH SCORE 38299.599
AT ITER 7184 NEW BEST:: SOT 254065 SOS 153599 HAS SOPS 151826 HAS SOUS 38535 HAS SOUPS 38144 WITH SCORE 38297.599
AT ITER 7199 NEW BEST:: SOT 254094 SOS 153628 HAS SOPS 151855 HAS SOUS 38513 HAS SOUPS 38122 WITH SCORE 38275.628
AT ITER 7204 NEW BEST:: SOT 254089 SOS 153623 HAS SOPS 151850 HAS SOUS 38503 HAS SOUPS 38112 WITH SCORE 38265.623
AT ITER 7298 NEW BEST:: SOT 254089 SOS 153521 HAS SOPS 151748 HAS SOUS 38503 HAS SOUPS 38112 WITH SCORE 38265.521
AT ITER 7317 NEW BEST:: SOT 254089 SOS 153521 HAS SOPS 151777 HAS SOUS 38428 HAS SOUPS 38037 WITH SCORE 38190.521
AT ITER 7324 NEW BEST:: SOT 254088 SOS 153520 HAS SOPS 151776 HAS SOUS 38427 HAS SOUPS 38036 WITH SCORE 38189.52
AT ITER 7357 NEW BEST:: SOT 254088 SOS 153520 HAS SOPS 151776 HAS SOUS 38415 HAS SOUPS 38024 WITH SCORE 38177.52
AT ITER 7380 NEW BEST:: SOT 254088 SOS 153680 HAS SOPS 151936 HAS SOUS 38413 HAS SOUPS 38022 WITH SCORE 38175.68
AT ITER 7423 NEW BEST:: SOT 253934 SOS 153526 HAS SOPS 151782 HAS SOUS 38255 HAS SOUPS 37864 WITH SCORE 38017.526
AT ITER 7430 NEW BEST:: SOT 253934 SOS 153502 HAS SOPS 151758 HAS SOUS 38244 HAS SOUPS 37853 WITH SCORE 38006.502
AT ITER 7455 NEW BEST:: SOT 253934 SOS 153582 HAS SOPS 152015 HAS SOUS 38234 HAS SOUPS 37843 WITH SCORE 37996.582
AT ITER 7472 NEW BEST:: SOT 253934 SOS 153835 HAS SOPS 152268 HAS SOUS 38211 HAS SOUPS 37820 WITH SCORE 37973.835
AT ITER 7480 NEW BEST:: SOT 253934 SOS 153907 HAS SOPS 152340 HAS SOUS 38208 HAS SOUPS 37817 WITH SCORE 37970.907
AT ITER 7529 NEW BEST:: SOT 253939 SOS 153912 HAS SOPS 152345 HAS SOUS 38203 HAS SOUPS 37812 WITH SCORE 37965.912
AT ITER 7536 NEW BEST:: SOT 253939 SOS 153782 HAS SOPS 152215 HAS SOUS 38203 HAS SOUPS 37812 WITH SCORE 37965.782
AT ITER 7585 NEW BEST:: SOT 253938 SOS 153781 HAS SOPS 152214 HAS SOUS 38202 HAS SOUPS 37811 WITH SCORE 37964.781
AT ITER 7594 NEW BEST:: SOT 253942 SOS 153753 HAS SOPS 152186 HAS SOUS 38198 HAS SOUPS 37807 WITH SCORE 37960.753
AT ITER 7600 NEW BEST:: SOT 253770 SOS 153591 HAS SOPS 152024 HAS SOUS 38173 HAS SOUPS 37782 WITH SCORE 37935.591
AT ITER 7618 NEW BEST:: SOT 253760 SOS 153581 HAS SOPS 152014 HAS SOUS 38165 HAS SOUPS 37774 WITH SCORE 37927.581
AT ITER 7674 NEW BEST:: SOT 253760 SOS 154623 HAS SOPS 153056 HAS SOUS 38147 HAS SOUPS 37756 WITH SCORE 37910.623
AT ITER 7735 NEW BEST:: SOT 253760 SOS 154623 HAS SOPS 153056 HAS SOUS 38145 HAS SOUPS 37754 WITH SCORE 37908.623
AT ITER 7803 NEW BEST:: SOT 253782 SOS 154645 HAS SOPS 153078 HAS SOUS 38122 HAS SOUPS 37731 WITH SCORE 37885.645
AT ITER 7867 NEW BEST:: SOT 253782 SOS 154645 HAS SOPS 153078 HAS SOUS 38106 HAS SOUPS 37715 WITH SCORE 37869.645
AT ITER 7913 NEW BEST:: SOT 253782 SOS 154518 HAS SOPS 153017 HAS SOUS 38100 HAS SOUPS 37709 WITH SCORE 37863.518
AT ITER 7963 NEW BEST:: SOT 253776 SOS 154512 HAS SOPS 153011 HAS SOUS 38089 HAS SOUPS 37698 WITH SCORE 37852.512
AT ITER 7977 NEW BEST:: SOT 253818 SOS 154558 HAS SOPS 153063 HAS SOUS 38039 HAS SOUPS 37654 WITH SCORE 37808.558
AT ITER 8023 NEW BEST:: SOT 253818 SOS 154558 HAS SOPS 153063 HAS SOUS 38036 HAS SOUPS 37651 WITH SCORE 37805.558
AT ITER 8040 NEW BEST:: SOT 253701 SOS 154359 HAS SOPS 152839 HAS SOUS 37943 HAS SOUPS 37533 WITH SCORE 37687.359
AT ITER 8096 NEW BEST:: SOT 253701 SOS 154361 HAS SOPS 152841 HAS SOUS 37923 HAS SOUPS 37513 WITH SCORE 37667.361
AT ITER 8124 NEW BEST:: SOT 253701 SOS 152777 HAS SOPS 150787 HAS SOUS 37806 HAS SOUPS 37396 WITH SCORE 37548.777
AT ITER 8135 NEW BEST:: SOT 253701 SOS 152777 HAS SOPS 150787 HAS SOUS 37803 HAS SOUPS 37393 WITH SCORE 37545.777
AT ITER 8165 NEW BEST:: SOT 253701 SOS 152935 HAS SOPS 150945 HAS SOUS 37791 HAS SOUPS 37381 WITH SCORE 37533.935
AT ITER 8193 NEW BEST:: SOT 253701 SOS 152854 HAS SOPS 150864 HAS SOUS 37782 HAS SOUPS 37372 WITH SCORE 37524.854
AT ITER 8222 NEW BEST:: SOT 253701 SOS 152854 HAS SOPS 150864 HAS SOUS 37774 HAS SOUPS 37364 WITH SCORE 37516.854
AT ITER 8276 NEW BEST:: SOT 253693 SOS 152853 HAS SOPS 150846 HAS SOUS 37783 HAS SOUPS 37356 WITH SCORE 37508.853
AT ITER 8302 NEW BEST:: SOT 253679 SOS 152839 HAS SOPS 150832 HAS SOUS 37778 HAS SOUPS 37351 WITH SCORE 37503.839
AT ITER 8309 NEW BEST:: SOT 253677 SOS 152837 HAS SOPS 150830 HAS SOUS 37778 HAS SOUPS 37351 WITH SCORE 37503.837
AT ITER 8321 NEW BEST:: SOT 253669 SOS 152829 HAS SOPS 150822 HAS SOUS 37773 HAS SOUPS 37346 WITH SCORE 37498.829
AT ITER 8406 NEW BEST:: SOT 253673 SOS 152833 HAS SOPS 150826 HAS SOUS 37766 HAS SOUPS 37339 WITH SCORE 37491.833
AT ITER 8455 NEW BEST:: SOT 253673 SOS 152822 HAS SOPS 150718 HAS SOUS 37691 HAS SOUPS 37264 WITH SCORE 37416.822
AT ITER 8462 NEW BEST:: SOT 253679 SOS 152823 HAS SOPS 150719 HAS SOUS 37552 HAS SOUPS 37125 WITH SCORE 37277.823
AT ITER 8493 NEW BEST:: SOT 253679 SOS 159963 HAS SOPS 153078 HAS SOUS 37560 HAS SOUPS 37108 WITH SCORE 37267.963
AT ITER 8529 NEW BEST:: SOT 253679 SOS 159963 HAS SOPS 152935 HAS SOUS 37525 HAS SOUPS 37073 WITH SCORE 37232.963
AT ITER 8544 NEW BEST:: SOT 253422 SOS 159698 HAS SOPS 152670 HAS SOUS 37380 HAS SOUPS 36928 WITH SCORE 37087.698
AT ITER 8571 NEW BEST:: SOT 253422 SOS 159445 HAS SOPS 152338 HAS SOUS 37378 HAS SOUPS 36926 WITH SCORE 37085.445
AT ITER 8583 NEW BEST:: SOT 253422 SOS 159445 HAS SOPS 152231 HAS SOUS 37375 HAS SOUPS 36923 WITH SCORE 37082.445
AT ITER 8623 NEW BEST:: SOT 253416 SOS 159439 HAS SOPS 152225 HAS SOUS 37375 HAS SOUPS 36923 WITH SCORE 37082.439
AT ITER 8636 NEW BEST:: SOT 253418 SOS 159441 HAS SOPS 152227 HAS SOUS 37366 HAS SOUPS 36914 WITH SCORE 37073.441
AT ITER 8681 NEW BEST:: SOT 253368 SOS 159391 HAS SOPS 152177 HAS SOUS 37361 HAS SOUPS 36909 WITH SCORE 37068.391
AT ITER 8690 NEW BEST:: SOT 253368 SOS 159379 HAS SOPS 152165 HAS SOUS 37361 HAS SOUPS 36909 WITH SCORE 37068.379
AT ITER 8733 NEW BEST:: SOT 253362 SOS 159319 HAS SOPS 152105 HAS SOUS 37355 HAS SOUPS 36903 WITH SCORE 37062.319
AT ITER 8744 NEW BEST:: SOT 253370 SOS 159326 HAS SOPS 152112 HAS SOUS 37352 HAS SOUPS 36900 WITH SCORE 37059.326
AT ITER 8745 NEW BEST:: SOT 253370 SOS 159326 HAS SOPS 152112 HAS SOUS 37350 HAS SOUPS 36898 WITH SCORE 37057.326
AT ITER 8755 NEW BEST:: SOT 253311 SOS 159267 HAS SOPS 152046 HAS SOUS 37331 HAS SOUPS 36872 WITH SCORE 37031.267
AT ITER 8832 NEW BEST:: SOT 253311 SOS 159247 HAS SOPS 152026 HAS SOUS 37328 HAS SOUPS 36869 WITH SCORE 37028.247
AT ITER 8834 NEW BEST:: SOT 253311 SOS 159240 HAS SOPS 152019 HAS SOUS 37251 HAS SOUPS 36792 WITH SCORE 36951.24
AT ITER 8845 NEW BEST:: SOT 253318 SOS 159247 HAS SOPS 152026 HAS SOUS 37246 HAS SOUPS 36787 WITH SCORE 36946.247
AT ITER 8879 NEW BEST:: SOT 253296 SOS 159225 HAS SOPS 152004 HAS SOUS 37224 HAS SOUPS 36765 WITH SCORE 36924.225
AT ITER 8887 NEW BEST:: SOT 253296 SOS 159225 HAS SOPS 152004 HAS SOUS 37218 HAS SOUPS 36759 WITH SCORE 36918.225
AT ITER 8898 NEW BEST:: SOT 253296 SOS 159213 HAS SOPS 151986 HAS SOUS 37205 HAS SOUPS 36746 WITH SCORE 36905.213
AT ITER 8951 NEW BEST:: SOT 253296 SOS 159213 HAS SOPS 151986 HAS SOUS 37199 HAS SOUPS 36740 WITH SCORE 36899.213
AT ITER 8982 NEW BEST:: SOT 253293 SOS 159210 HAS SOPS 151983 HAS SOUS 37189 HAS SOUPS 36730 WITH SCORE 36889.21
AT ITER 9033 NEW BEST:: SOT 253286 SOS 159207 HAS SOPS 151980 HAS SOUS 37186 HAS SOUPS 36727 WITH SCORE 36886.207
AT ITER 9116 NEW BEST:: SOT 253225 SOS 159146 HAS SOPS 151919 HAS SOUS 37105 HAS SOUPS 36646 WITH SCORE 36805.146
AT ITER 9120 NEW BEST:: SOT 253225 SOS 159146 HAS SOPS 151919 HAS SOUS 37100 HAS SOUPS 36641 WITH SCORE 36800.146
AT ITER 9163 NEW BEST:: SOT 253224 SOS 159145 HAS SOPS 151918 HAS SOUS 37091 HAS SOUPS 36632 WITH SCORE 36791.145
AT ITER 9236 NEW BEST:: SOT 253314 SOS 159235 HAS SOPS 152008 HAS SOUS 37081 HAS SOUPS 36622 WITH SCORE 36781.235
AT ITER 9266 NEW BEST:: SOT 253314 SOS 159226 HAS SOPS 152142 HAS SOUS 36997 HAS SOUPS 36546 WITH SCORE 36705.226
AT ITER 9358 NEW BEST:: SOT 253303 SOS 159215 HAS SOPS 152131 HAS SOUS 36977 HAS SOUPS 36526 WITH SCORE 36685.215
AT ITER 9370 NEW BEST:: SOT 253343 SOS 159255 HAS SOPS 152171 HAS SOUS 36918 HAS SOUPS 36467 WITH SCORE 36626.255
AT ITER 9466 NEW BEST:: SOT 253343 SOS 159255 HAS SOPS 152171 HAS SOUS 36916 HAS SOUPS 36465 WITH SCORE 36624.255
AT ITER 9485 NEW BEST:: SOT 253337 SOS 159249 HAS SOPS 152165 HAS SOUS 36914 HAS SOUPS 36463 WITH SCORE 36622.249
AT ITER 9507 NEW BEST:: SOT 253305 SOS 159217 HAS SOPS 152133 HAS SOUS 36890 HAS SOUPS 36439 WITH SCORE 36598.217
AT ITER 9519 NEW BEST:: SOT 253299 SOS 159211 HAS SOPS 152127 HAS SOUS 36884 HAS SOUPS 36433 WITH SCORE 36592.211
AT ITER 9525 NEW BEST:: SOT 253273 SOS 159185 HAS SOPS 152101 HAS SOUS 36827 HAS SOUPS 36376 WITH SCORE 36535.185
AT ITER 9532 NEW BEST:: SOT 253269 SOS 159181 HAS SOPS 152097 HAS SOUS 36827 HAS SOUPS 36376 WITH SCORE 36535.181
AT ITER 9551 NEW BEST:: SOT 253258 SOS 159170 HAS SOPS 152086 HAS SOUS 36825 HAS SOUPS 36374 WITH SCORE 36533.17
AT ITER 9622 NEW BEST:: SOT 253258 SOS 159170 HAS SOPS 152086 HAS SOUS 36823 HAS SOUPS 36372 WITH SCORE 36531.17
AT ITER 9631 NEW BEST:: SOT 253251 SOS 159163 HAS SOPS 152079 HAS SOUS 36816 HAS SOUPS 36365 WITH SCORE 36524.163
AT ITER 9694 NEW BEST:: SOT 253279 SOS 159191 HAS SOPS 152107 HAS SOUS 36804 HAS SOUPS 36353 WITH SCORE 36512.191
AT ITER 9775 NEW BEST:: SOT 253139 SOS 159065 HAS SOPS 151967 HAS SOUS 36798 HAS SOUPS 36333 WITH SCORE 36492.065
AT ITER 9787 NEW BEST:: SOT 253076 SOS 159006 HAS SOPS 151901 HAS SOUS 36766 HAS SOUPS 36294 WITH SCORE 36453.006
AT ITER 9796 NEW BEST:: SOT 253076 SOS 158988 HAS SOPS 151883 HAS SOUS 36766 HAS SOUPS 36294 WITH SCORE 36452.988
AT ITER 9841 NEW BEST:: SOT 253076 SOS 159009 HAS SOPS 151165 HAS SOUS 36653 HAS SOUPS 36181 WITH SCORE 36340.009
AT ITER 9966 NEW BEST:: SOT 253076 SOS 159009 HAS SOPS 151165 HAS SOUS 36650 HAS SOUPS 36178 WITH SCORE 36337.009
AT ITER 9972 NEW BEST:: SOT 253076 SOS 159009 HAS SOPS 151165 HAS SOUS 36648 HAS SOUPS 36176 WITH SCORE 36335.009
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 1465160 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16115548 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="SafeBus-PT-10"
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 SafeBus-PT-10, 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 r363-smll-167891814000280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-PT-10.tgz
mv SafeBus-PT-10 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 ;