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

About the Execution of Smart+red for SmartHome-PT-17

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
12855.800 3600000.00 3641962.00 8254.00 [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.r459-smll-167912651000288.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 SmartHome-PT-17, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651000288
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 6.3K Feb 26 05:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 05:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 05:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 05:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 17:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 05:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 05:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 26 05:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 26 05:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 139K 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 1679290836691

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=SmartHome-PT-17
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 05:40:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 05:40:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 05:40:39] [INFO ] Load time of PNML (sax parser for PT used): 142 ms
[2023-03-20 05:40:39] [INFO ] Transformed 571 places.
[2023-03-20 05:40:39] [INFO ] Transformed 617 transitions.
[2023-03-20 05:40:39] [INFO ] Found NUPN structural information;
[2023-03-20 05:40:39] [INFO ] Parsed PT model containing 571 places and 617 transitions and 1410 arcs in 256 ms.
[2023-03-20 05:40:39] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 571 places, 617 transitions and 1410 arcs took 15 ms.
Total runtime 317 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 17
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: 571 places, 617 transitions, 1410 arcs.
AT ITER 0 NEW BEST:: SOT 207919 SOS 47012 HAS SOPS 47012 HAS SOUS 45976 HAS SOUPS 45976 WITH SCORE 46023.012
AT ITER 3 NEW BEST:: SOT 207865 SOS 46904 HAS SOPS 46904 HAS SOUS 45868 HAS SOUPS 45868 WITH SCORE 45914.904
AT ITER 5 NEW BEST:: SOT 207865 SOS 46850 HAS SOPS 46850 HAS SOUS 45814 HAS SOUPS 45814 WITH SCORE 45860.85
AT ITER 8 NEW BEST:: SOT 207793 SOS 46706 HAS SOPS 46706 HAS SOUS 45620 HAS SOUPS 45620 WITH SCORE 45666.706
AT ITER 24 NEW BEST:: SOT 207764 SOS 46698 HAS SOPS 46698 HAS SOUS 45591 HAS SOUPS 45591 WITH SCORE 45637.698
AT ITER 39 NEW BEST:: SOT 207763 SOS 46696 HAS SOPS 46696 HAS SOUS 45589 HAS SOUPS 45589 WITH SCORE 45635.696
AT ITER 54 NEW BEST:: SOT 207686 SOS 46633 HAS SOPS 46633 HAS SOUS 45512 HAS SOUPS 45512 WITH SCORE 45558.633
AT ITER 57 NEW BEST:: SOT 207833 SOS 46684 HAS SOPS 46684 HAS SOUS 45461 HAS SOUPS 45461 WITH SCORE 45507.684
AT ITER 63 NEW BEST:: SOT 207273 SOS 48956 HAS SOPS 48956 HAS SOUS 45351 HAS SOUPS 45351 WITH SCORE 45399.956
AT ITER 65 NEW BEST:: SOT 207273 SOS 48928 HAS SOPS 48928 HAS SOUS 45351 HAS SOUPS 45351 WITH SCORE 45399.928
AT ITER 69 NEW BEST:: SOT 207273 SOS 48882 HAS SOPS 48882 HAS SOUS 45305 HAS SOUPS 45305 WITH SCORE 45353.882
AT ITER 72 NEW BEST:: SOT 207204 SOS 48744 HAS SOPS 48744 HAS SOUS 45167 HAS SOUPS 45167 WITH SCORE 45215.744
AT ITER 76 NEW BEST:: SOT 207159 SOS 48581 HAS SOPS 48581 HAS SOUS 45150 HAS SOUPS 45150 WITH SCORE 45198.581
AT ITER 84 NEW BEST:: SOT 207159 SOS 48522 HAS SOPS 48522 HAS SOUS 45091 HAS SOUPS 45091 WITH SCORE 45139.522
AT ITER 85 NEW BEST:: SOT 207159 SOS 48472 HAS SOPS 48472 HAS SOUS 45058 HAS SOUPS 45058 WITH SCORE 45106.472
AT ITER 91 NEW BEST:: SOT 207216 SOS 48439 HAS SOPS 48439 HAS SOUS 45039 HAS SOUPS 45039 WITH SCORE 45087.439
AT ITER 93 NEW BEST:: SOT 207100 SOS 48421 HAS SOPS 48421 HAS SOUS 45021 HAS SOUPS 45021 WITH SCORE 45069.421
AT ITER 122 NEW BEST:: SOT 207100 SOS 48342 HAS SOPS 48342 HAS SOUS 44942 HAS SOUPS 44942 WITH SCORE 44990.342
AT ITER 125 NEW BEST:: SOT 207018 SOS 48268 HAS SOPS 48268 HAS SOUS 44862 HAS SOUPS 44862 WITH SCORE 44910.268
AT ITER 133 NEW BEST:: SOT 207002 SOS 48252 HAS SOPS 48252 HAS SOUS 44846 HAS SOUPS 44846 WITH SCORE 44894.252
AT ITER 142 NEW BEST:: SOT 206976 SOS 48226 HAS SOPS 48226 HAS SOUS 44820 HAS SOUPS 44820 WITH SCORE 44868.226
AT ITER 146 NEW BEST:: SOT 206890 SOS 48140 HAS SOPS 48140 HAS SOUS 44819 HAS SOUPS 44819 WITH SCORE 44867.14
AT ITER 157 NEW BEST:: SOT 206850 SOS 48107 HAS SOPS 48107 HAS SOUS 44794 HAS SOUPS 44794 WITH SCORE 44842.107
AT ITER 171 NEW BEST:: SOT 206833 SOS 48073 HAS SOPS 48073 HAS SOUS 44760 HAS SOUPS 44760 WITH SCORE 44808.073
AT ITER 173 NEW BEST:: SOT 206690 SOS 47787 HAS SOPS 47787 HAS SOUS 44617 HAS SOUPS 44617 WITH SCORE 44664.787
AT ITER 180 NEW BEST:: SOT 206456 SOS 47436 HAS SOPS 47436 HAS SOUS 44383 HAS SOUPS 44383 WITH SCORE 44430.436
AT ITER 184 NEW BEST:: SOT 206454 SOS 47410 HAS SOPS 47410 HAS SOUS 44344 HAS SOUPS 44344 WITH SCORE 44391.41
AT ITER 200 NEW BEST:: SOT 205537 SOS 48660 HAS SOPS 48660 HAS SOUS 43491 HAS SOUPS 43491 WITH SCORE 43539.66
AT ITER 215 NEW BEST:: SOT 205388 SOS 48362 HAS SOPS 48362 HAS SOUS 43342 HAS SOUPS 43342 WITH SCORE 43390.362
AT ITER 232 NEW BEST:: SOT 205110 SOS 49049 HAS SOPS 49049 HAS SOUS 43248 HAS SOUPS 43248 WITH SCORE 43297.049
AT ITER 265 NEW BEST:: SOT 205110 SOS 48989 HAS SOPS 48989 HAS SOUS 43227 HAS SOUPS 43227 WITH SCORE 43275.989
AT ITER 283 NEW BEST:: SOT 205032 SOS 48961 HAS SOPS 48961 HAS SOUS 43199 HAS SOUPS 43199 WITH SCORE 43247.961
AT ITER 287 NEW BEST:: SOT 204001 SOS 51589 HAS SOPS 51589 HAS SOUS 42466 HAS SOUPS 42466 WITH SCORE 42517.589
AT ITER 290 NEW BEST:: SOT 204001 SOS 51540 HAS SOPS 51540 HAS SOUS 42417 HAS SOUPS 42417 WITH SCORE 42468.54
AT ITER 338 NEW BEST:: SOT 204001 SOS 51535 HAS SOPS 51535 HAS SOUS 42416 HAS SOUPS 42416 WITH SCORE 42467.535
AT ITER 340 NEW BEST:: SOT 203955 SOS 51443 HAS SOPS 51443 HAS SOUS 42324 HAS SOUPS 42324 WITH SCORE 42375.443
AT ITER 352 NEW BEST:: SOT 203967 SOS 51467 HAS SOPS 51467 HAS SOUS 42305 HAS SOUPS 42305 WITH SCORE 42356.467
AT ITER 371 NEW BEST:: SOT 203957 SOS 51447 HAS SOPS 51447 HAS SOUS 42295 HAS SOUPS 42295 WITH SCORE 42346.447
AT ITER 379 NEW BEST:: SOT 203972 SOS 51442 HAS SOPS 51442 HAS SOUS 42290 HAS SOUPS 42290 WITH SCORE 42341.442
AT ITER 399 NEW BEST:: SOT 203954 SOS 51424 HAS SOPS 51424 HAS SOUS 42272 HAS SOUPS 42272 WITH SCORE 42323.424
AT ITER 414 NEW BEST:: SOT 203920 SOS 51388 HAS SOPS 51388 HAS SOUS 42218 HAS SOUPS 42218 WITH SCORE 42269.388
AT ITER 451 NEW BEST:: SOT 203921 SOS 51379 HAS SOPS 51379 HAS SOUS 42218 HAS SOUPS 42218 WITH SCORE 42269.379
AT ITER 476 NEW BEST:: SOT 203851 SOS 51323 HAS SOPS 51323 HAS SOUS 42211 HAS SOUPS 42211 WITH SCORE 42262.323
AT ITER 483 NEW BEST:: SOT 203765 SOS 51209 HAS SOPS 51209 HAS SOUS 42075 HAS SOUPS 42075 WITH SCORE 42126.209
AT ITER 509 NEW BEST:: SOT 203750 SOS 51194 HAS SOPS 51194 HAS SOUS 42045 HAS SOUPS 42045 WITH SCORE 42096.194
AT ITER 515 NEW BEST:: SOT 203349 SOS 54756 HAS SOPS 54756 HAS SOUS 41989 HAS SOUPS 41989 WITH SCORE 42043.756
AT ITER 526 NEW BEST:: SOT 202688 SOS 57410 HAS SOPS 57410 HAS SOUS 41795 HAS SOUPS 41795 WITH SCORE 41852.41
AT ITER 536 NEW BEST:: SOT 202715 SOS 57371 HAS SOPS 57371 HAS SOUS 41756 HAS SOUPS 41756 WITH SCORE 41813.371
AT ITER 541 NEW BEST:: SOT 202711 SOS 56882 HAS SOPS 56882 HAS SOUS 41752 HAS SOUPS 41752 WITH SCORE 41808.882
AT ITER 545 NEW BEST:: SOT 202681 SOS 56863 HAS SOPS 56863 HAS SOUS 41692 HAS SOUPS 41692 WITH SCORE 41748.863
AT ITER 561 NEW BEST:: SOT 202681 SOS 56811 HAS SOPS 56811 HAS SOUS 41640 HAS SOUPS 41640 WITH SCORE 41696.811
AT ITER 567 NEW BEST:: SOT 202632 SOS 56755 HAS SOPS 56755 HAS SOUS 41591 HAS SOUPS 41591 WITH SCORE 41647.755
AT ITER 570 NEW BEST:: SOT 202420 SOS 56376 HAS SOPS 56376 HAS SOUS 41324 HAS SOUPS 41324 WITH SCORE 41380.376
AT ITER 571 NEW BEST:: SOT 202419 SOS 56374 HAS SOPS 56374 HAS SOUS 41322 HAS SOUPS 41322 WITH SCORE 41378.374
AT ITER 579 NEW BEST:: SOT 202474 SOS 56345 HAS SOPS 56345 HAS SOUS 41299 HAS SOUPS 41299 WITH SCORE 41355.345
AT ITER 587 NEW BEST:: SOT 202411 SOS 56128 HAS SOPS 56128 HAS SOUS 41083 HAS SOUPS 41083 WITH SCORE 41139.128
AT ITER 604 NEW BEST:: SOT 202403 SOS 56122 HAS SOPS 56122 HAS SOUS 41074 HAS SOUPS 41074 WITH SCORE 41130.122
AT ITER 627 NEW BEST:: SOT 202403 SOS 56060 HAS SOPS 56060 HAS SOUS 41012 HAS SOUPS 41012 WITH SCORE 41068.06
AT ITER 647 NEW BEST:: SOT 202387 SOS 56084 HAS SOPS 56084 HAS SOUS 41007 HAS SOUPS 41007 WITH SCORE 41063.084
AT ITER 662 NEW BEST:: SOT 202371 SOS 55874 HAS SOPS 55874 HAS SOUS 40936 HAS SOUPS 40936 WITH SCORE 40991.874
AT ITER 671 NEW BEST:: SOT 202363 SOS 55858 HAS SOPS 55858 HAS SOUS 40928 HAS SOUPS 40928 WITH SCORE 40983.858
AT ITER 673 NEW BEST:: SOT 202357 SOS 55846 HAS SOPS 55846 HAS SOUS 40868 HAS SOUPS 40868 WITH SCORE 40923.846
AT ITER 705 NEW BEST:: SOT 202357 SOS 55846 HAS SOPS 55846 HAS SOUS 40755 HAS SOUPS 40755 WITH SCORE 40810.846
AT ITER 707 NEW BEST:: SOT 202352 SOS 55828 HAS SOPS 55828 HAS SOUS 40737 HAS SOUPS 40737 WITH SCORE 40792.828
AT ITER 721 NEW BEST:: SOT 202368 SOS 55804 HAS SOPS 55804 HAS SOUS 40713 HAS SOUPS 40713 WITH SCORE 40768.804
AT ITER 732 NEW BEST:: SOT 202376 SOS 55778 HAS SOPS 55778 HAS SOUS 40687 HAS SOUPS 40687 WITH SCORE 40742.778
AT ITER 740 NEW BEST:: SOT 201816 SOS 56643 HAS SOPS 56643 HAS SOUS 40250 HAS SOUPS 40250 WITH SCORE 40306.643
AT ITER 744 NEW BEST:: SOT 201717 SOS 56348 HAS SOPS 56348 HAS SOUS 40038 HAS SOUPS 40038 WITH SCORE 40094.348
AT ITER 745 NEW BEST:: SOT 201707 SOS 56328 HAS SOPS 56328 HAS SOUS 40018 HAS SOUPS 40018 WITH SCORE 40074.328
AT ITER 752 NEW BEST:: SOT 201692 SOS 56298 HAS SOPS 56298 HAS SOUS 39988 HAS SOUPS 39988 WITH SCORE 40044.298
AT ITER 755 NEW BEST:: SOT 200224 SOS 56917 HAS SOPS 56917 HAS SOUS 38687 HAS SOUPS 38687 WITH SCORE 38743.917
AT ITER 760 NEW BEST:: SOT 200219 SOS 56982 HAS SOPS 56982 HAS SOUS 38682 HAS SOUPS 38682 WITH SCORE 38738.982
AT ITER 769 NEW BEST:: SOT 200184 SOS 57040 HAS SOPS 57040 HAS SOUS 38647 HAS SOUPS 38647 WITH SCORE 38704.04
AT ITER 774 NEW BEST:: SOT 200179 SOS 57051 HAS SOPS 57051 HAS SOUS 38642 HAS SOUPS 38642 WITH SCORE 38699.051
AT ITER 793 NEW BEST:: SOT 200179 SOS 56739 HAS SOPS 56739 HAS SOUS 38642 HAS SOUPS 38642 WITH SCORE 38698.739
AT ITER 794 NEW BEST:: SOT 199687 SOS 56283 HAS SOPS 56283 HAS SOUS 38151 HAS SOUPS 38151 WITH SCORE 38207.283
AT ITER 805 NEW BEST:: SOT 199629 SOS 56064 HAS SOPS 56064 HAS SOUS 38019 HAS SOUPS 38019 WITH SCORE 38075.064
AT ITER 807 NEW BEST:: SOT 199585 SOS 55976 HAS SOPS 55976 HAS SOUS 37975 HAS SOUPS 37975 WITH SCORE 38030.976
AT ITER 810 NEW BEST:: SOT 199089 SOS 55658 HAS SOPS 55658 HAS SOUS 37558 HAS SOUPS 37558 WITH SCORE 37613.658
AT ITER 823 NEW BEST:: SOT 199078 SOS 55647 HAS SOPS 55647 HAS SOUS 37558 HAS SOUPS 37558 WITH SCORE 37613.647
AT ITER 840 NEW BEST:: SOT 198957 SOS 55526 HAS SOPS 55526 HAS SOUS 37476 HAS SOUPS 37476 WITH SCORE 37531.526
AT ITER 846 NEW BEST:: SOT 198952 SOS 55520 HAS SOPS 55520 HAS SOUS 37470 HAS SOUPS 37470 WITH SCORE 37525.52
AT ITER 847 NEW BEST:: SOT 198926 SOS 55523 HAS SOPS 55523 HAS SOUS 37418 HAS SOUPS 37418 WITH SCORE 37473.523
AT ITER 850 NEW BEST:: SOT 198879 SOS 55473 HAS SOPS 55473 HAS SOUS 37415 HAS SOUPS 37415 WITH SCORE 37470.473
AT ITER 851 NEW BEST:: SOT 198846 SOS 55407 HAS SOPS 55407 HAS SOUS 37382 HAS SOUPS 37382 WITH SCORE 37437.407
AT ITER 869 NEW BEST:: SOT 198836 SOS 55405 HAS SOPS 55405 HAS SOUS 37380 HAS SOUPS 37380 WITH SCORE 37435.405
AT ITER 874 NEW BEST:: SOT 198810 SOS 55353 HAS SOPS 55353 HAS SOUS 37354 HAS SOUPS 37354 WITH SCORE 37409.353
AT ITER 890 NEW BEST:: SOT 198787 SOS 55136 HAS SOPS 55136 HAS SOUS 37137 HAS SOUPS 37137 WITH SCORE 37192.136
AT ITER 893 NEW BEST:: SOT 198787 SOS 53981 HAS SOPS 53981 HAS SOUS 37137 HAS SOUPS 37137 WITH SCORE 37190.981
AT ITER 899 NEW BEST:: SOT 198606 SOS 54757 HAS SOPS 54757 HAS SOUS 37133 HAS SOUPS 37133 WITH SCORE 37187.757
AT ITER 908 NEW BEST:: SOT 198601 SOS 54672 HAS SOPS 54672 HAS SOUS 37053 HAS SOUPS 37053 WITH SCORE 37107.672
AT ITER 909 NEW BEST:: SOT 198576 SOS 54647 HAS SOPS 54647 HAS SOUS 37053 HAS SOUPS 37053 WITH SCORE 37107.647
AT ITER 927 NEW BEST:: SOT 198342 SOS 54448 HAS SOPS 54448 HAS SOUS 37011 HAS SOUPS 37011 WITH SCORE 37065.448
AT ITER 929 NEW BEST:: SOT 198366 SOS 54462 HAS SOPS 54462 HAS SOUS 36991 HAS SOUPS 36991 WITH SCORE 37045.462
AT ITER 943 NEW BEST:: SOT 198165 SOS 54060 HAS SOPS 54060 HAS SOUS 36790 HAS SOUPS 36790 WITH SCORE 36844.06
AT ITER 944 NEW BEST:: SOT 198093 SOS 53988 HAS SOPS 53988 HAS SOUS 36787 HAS SOUPS 36787 WITH SCORE 36840.988
AT ITER 956 NEW BEST:: SOT 198005 SOS 53900 HAS SOPS 53900 HAS SOUS 36699 HAS SOUPS 36699 WITH SCORE 36752.9
AT ITER 970 NEW BEST:: SOT 197953 SOS 53796 HAS SOPS 53796 HAS SOUS 36670 HAS SOUPS 36670 WITH SCORE 36723.796
AT ITER 973 NEW BEST:: SOT 197920 SOS 53730 HAS SOPS 53730 HAS SOUS 36604 HAS SOUPS 36604 WITH SCORE 36657.73
AT ITER 978 NEW BEST:: SOT 197876 SOS 53686 HAS SOPS 53686 HAS SOUS 36560 HAS SOUPS 36560 WITH SCORE 36613.686
AT ITER 986 NEW BEST:: SOT 197876 SOS 53669 HAS SOPS 53669 HAS SOUS 36560 HAS SOUPS 36560 WITH SCORE 36613.669
AT ITER 990 NEW BEST:: SOT 197876 SOS 53661 HAS SOPS 53661 HAS SOUS 36474 HAS SOUPS 36474 WITH SCORE 36527.661
AT ITER 993 NEW BEST:: SOT 197876 SOS 53534 HAS SOPS 53534 HAS SOUS 36474 HAS SOUPS 36474 WITH SCORE 36527.534
AT ITER 996 NEW BEST:: SOT 197853 SOS 53488 HAS SOPS 53488 HAS SOUS 36428 HAS SOUPS 36428 WITH SCORE 36481.488
AT ITER 1004 NEW BEST:: SOT 197760 SOS 53302 HAS SOPS 53302 HAS SOUS 36398 HAS SOUPS 36398 WITH SCORE 36451.302
AT ITER 1018 NEW BEST:: SOT 197624 SOS 53166 HAS SOPS 53166 HAS SOUS 36398 HAS SOUPS 36398 WITH SCORE 36451.166
AT ITER 1020 NEW BEST:: SOT 197623 SOS 53165 HAS SOPS 53165 HAS SOUS 36388 HAS SOUPS 36388 WITH SCORE 36441.165
AT ITER 1032 NEW BEST:: SOT 197835 SOS 53231 HAS SOPS 53231 HAS SOUS 36366 HAS SOUPS 36366 WITH SCORE 36419.231
AT ITER 1059 NEW BEST:: SOT 197816 SOS 53193 HAS SOPS 53193 HAS SOUS 36347 HAS SOUPS 36347 WITH SCORE 36400.193
AT ITER 1069 NEW BEST:: SOT 197632 SOS 53037 HAS SOPS 53037 HAS SOUS 36191 HAS SOUPS 36191 WITH SCORE 36244.037
AT ITER 1080 NEW BEST:: SOT 197589 SOS 52952 HAS SOPS 52952 HAS SOUS 36106 HAS SOUPS 36106 WITH SCORE 36158.952
AT ITER 1098 NEW BEST:: SOT 197566 SOS 52906 HAS SOPS 52906 HAS SOUS 36060 HAS SOUPS 36060 WITH SCORE 36112.906
AT ITER 1117 NEW BEST:: SOT 197537 SOS 52900 HAS SOPS 52900 HAS SOUS 36045 HAS SOUPS 36045 WITH SCORE 36097.9
AT ITER 1121 NEW BEST:: SOT 197435 SOS 52708 HAS SOPS 52708 HAS SOUS 35955 HAS SOUPS 35955 WITH SCORE 36007.708
AT ITER 1136 NEW BEST:: SOT 197433 SOS 52704 HAS SOPS 52704 HAS SOUS 35951 HAS SOUPS 35951 WITH SCORE 36003.704
AT ITER 1152 NEW BEST:: SOT 197434 SOS 52664 HAS SOPS 52664 HAS SOUS 35911 HAS SOUPS 35911 WITH SCORE 35963.664
AT ITER 1157 NEW BEST:: SOT 197431 SOS 52658 HAS SOPS 52658 HAS SOUS 35905 HAS SOUPS 35905 WITH SCORE 35957.658
AT ITER 1161 NEW BEST:: SOT 197399 SOS 52594 HAS SOPS 52594 HAS SOUS 35857 HAS SOUPS 35857 WITH SCORE 35909.594
AT ITER 1175 NEW BEST:: SOT 197399 SOS 52572 HAS SOPS 52572 HAS SOUS 35857 HAS SOUPS 35857 WITH SCORE 35909.572
AT ITER 1212 NEW BEST:: SOT 197399 SOS 52529 HAS SOPS 52529 HAS SOUS 35814 HAS SOUPS 35814 WITH SCORE 35866.529
AT ITER 1213 NEW BEST:: SOT 197399 SOS 52550 HAS SOPS 52550 HAS SOUS 35793 HAS SOUPS 35793 WITH SCORE 35845.55
AT ITER 1214 NEW BEST:: SOT 197365 SOS 52507 HAS SOPS 52507 HAS SOUS 35720 HAS SOUPS 35720 WITH SCORE 35772.507
AT ITER 1231 NEW BEST:: SOT 197330 SOS 52450 HAS SOPS 52450 HAS SOUS 35680 HAS SOUPS 35680 WITH SCORE 35732.45
AT ITER 1232 NEW BEST:: SOT 197314 SOS 52419 HAS SOPS 52419 HAS SOUS 35649 HAS SOUPS 35649 WITH SCORE 35701.419
AT ITER 1242 NEW BEST:: SOT 197314 SOS 52411 HAS SOPS 52411 HAS SOUS 35641 HAS SOUPS 35641 WITH SCORE 35693.411
AT ITER 1289 NEW BEST:: SOT 197319 SOS 52385 HAS SOPS 52385 HAS SOUS 35615 HAS SOUPS 35615 WITH SCORE 35667.385
AT ITER 1292 NEW BEST:: SOT 197200 SOS 52147 HAS SOPS 52147 HAS SOUS 35377 HAS SOUPS 35377 WITH SCORE 35429.147
AT ITER 1296 NEW BEST:: SOT 197076 SOS 51978 HAS SOPS 51978 HAS SOUS 35185 HAS SOUPS 35185 WITH SCORE 35236.978
AT ITER 1300 NEW BEST:: SOT 197094 SOS 51902 HAS SOPS 51902 HAS SOUS 35165 HAS SOUPS 35165 WITH SCORE 35216.902
AT ITER 1301 NEW BEST:: SOT 197068 SOS 51512 HAS SOPS 51512 HAS SOUS 35113 HAS SOUPS 35113 WITH SCORE 35164.512
AT ITER 1318 NEW BEST:: SOT 197058 SOS 51502 HAS SOPS 51502 HAS SOUS 35103 HAS SOUPS 35103 WITH SCORE 35154.502
AT ITER 1322 NEW BEST:: SOT 197050 SOS 51494 HAS SOPS 51494 HAS SOUS 35091 HAS SOUPS 35091 WITH SCORE 35142.494
AT ITER 1339 NEW BEST:: SOT 196951 SOS 51296 HAS SOPS 51296 HAS SOUS 34893 HAS SOUPS 34893 WITH SCORE 34944.296
AT ITER 1353 NEW BEST:: SOT 196950 SOS 51294 HAS SOPS 51294 HAS SOUS 34891 HAS SOUPS 34891 WITH SCORE 34942.294
AT ITER 1358 NEW BEST:: SOT 196847 SOS 51088 HAS SOPS 51088 HAS SOUS 34833 HAS SOUPS 34833 WITH SCORE 34884.088
AT ITER 1365 NEW BEST:: SOT 196845 SOS 51088 HAS SOPS 51088 HAS SOUS 34831 HAS SOUPS 34831 WITH SCORE 34882.088
AT ITER 1368 NEW BEST:: SOT 196760 SOS 50970 HAS SOPS 50970 HAS SOUS 34713 HAS SOUPS 34713 WITH SCORE 34763.97
AT ITER 1371 NEW BEST:: SOT 196732 SOS 50847 HAS SOPS 50847 HAS SOUS 34590 HAS SOUPS 34590 WITH SCORE 34640.847
AT ITER 1379 NEW BEST:: SOT 196698 SOS 50779 HAS SOPS 50779 HAS SOUS 34556 HAS SOUPS 34556 WITH SCORE 34606.779
AT ITER 1381 NEW BEST:: SOT 196565 SOS 50646 HAS SOPS 50646 HAS SOUS 34497 HAS SOUPS 34497 WITH SCORE 34547.646
AT ITER 1383 NEW BEST:: SOT 196565 SOS 50621 HAS SOPS 50621 HAS SOUS 34472 HAS SOUPS 34472 WITH SCORE 34522.621
AT ITER 1395 NEW BEST:: SOT 196507 SOS 50536 HAS SOPS 50536 HAS SOUS 34387 HAS SOUPS 34387 WITH SCORE 34437.536
AT ITER 1398 NEW BEST:: SOT 196502 SOS 50526 HAS SOPS 50526 HAS SOUS 34377 HAS SOUPS 34377 WITH SCORE 34427.526
AT ITER 1404 NEW BEST:: SOT 196450 SOS 50422 HAS SOPS 50422 HAS SOUS 34306 HAS SOUPS 34306 WITH SCORE 34356.422
AT ITER 1411 NEW BEST:: SOT 196450 SOS 50368 HAS SOPS 50368 HAS SOUS 34306 HAS SOUPS 34306 WITH SCORE 34356.368
AT ITER 1467 NEW BEST:: SOT 196419 SOS 50328 HAS SOPS 50328 HAS SOUS 34297 HAS SOUPS 34297 WITH SCORE 34347.328
AT ITER 1485 NEW BEST:: SOT 196419 SOS 50162 HAS SOPS 50162 HAS SOUS 34214 HAS SOUPS 34214 WITH SCORE 34264.162
AT ITER 1491 NEW BEST:: SOT 196414 SOS 50157 HAS SOPS 50157 HAS SOUS 34209 HAS SOUPS 34209 WITH SCORE 34259.157
AT ITER 1512 NEW BEST:: SOT 196409 SOS 50147 HAS SOPS 50147 HAS SOUS 34204 HAS SOUPS 34204 WITH SCORE 34254.147
AT ITER 1526 NEW BEST:: SOT 196409 SOS 50147 HAS SOPS 50147 HAS SOUS 34183 HAS SOUPS 34183 WITH SCORE 34233.147
AT ITER 1532 NEW BEST:: SOT 196396 SOS 50121 HAS SOPS 50121 HAS SOUS 34170 HAS SOUPS 34170 WITH SCORE 34220.121
AT ITER 1539 NEW BEST:: SOT 196278 SOS 50089 HAS SOPS 50089 HAS SOUS 34067 HAS SOUPS 34067 WITH SCORE 34117.089
AT ITER 1545 NEW BEST:: SOT 196268 SOS 50069 HAS SOPS 50069 HAS SOUS 34057 HAS SOUPS 34057 WITH SCORE 34107.069
AT ITER 1547 NEW BEST:: SOT 196259 SOS 50051 HAS SOPS 50051 HAS SOUS 34039 HAS SOUPS 34039 WITH SCORE 34089.051
AT ITER 1561 NEW BEST:: SOT 196247 SOS 49929 HAS SOPS 49929 HAS SOUS 33995 HAS SOUPS 33995 WITH SCORE 34044.929
AT ITER 1564 NEW BEST:: SOT 196247 SOS 49870 HAS SOPS 49870 HAS SOUS 33995 HAS SOUPS 33995 WITH SCORE 34044.87
AT ITER 1577 NEW BEST:: SOT 196247 SOS 49858 HAS SOPS 49858 HAS SOUS 33983 HAS SOUPS 33983 WITH SCORE 34032.858
AT ITER 1592 NEW BEST:: SOT 196246 SOS 49849 HAS SOPS 49849 HAS SOUS 33974 HAS SOUPS 33974 WITH SCORE 34023.849
AT ITER 1593 NEW BEST:: SOT 196231 SOS 49834 HAS SOPS 49834 HAS SOUS 33959 HAS SOUPS 33959 WITH SCORE 34008.834
AT ITER 1605 NEW BEST:: SOT 196265 SOS 49833 HAS SOPS 49833 HAS SOUS 33935 HAS SOUPS 33935 WITH SCORE 33984.833
AT ITER 1606 NEW BEST:: SOT 196249 SOS 49801 HAS SOPS 49801 HAS SOUS 33879 HAS SOUPS 33879 WITH SCORE 33928.801
AT ITER 1626 NEW BEST:: SOT 196247 SOS 49797 HAS SOPS 49797 HAS SOUS 33877 HAS SOUPS 33877 WITH SCORE 33926.797
AT ITER 1642 NEW BEST:: SOT 196229 SOS 49795 HAS SOPS 49795 HAS SOUS 33841 HAS SOUPS 33841 WITH SCORE 33890.795
AT ITER 1645 NEW BEST:: SOT 196127 SOS 49591 HAS SOPS 49591 HAS SOUS 33739 HAS SOUPS 33739 WITH SCORE 33788.591
AT ITER 1646 NEW BEST:: SOT 196118 SOS 49582 HAS SOPS 49582 HAS SOUS 33737 HAS SOUPS 33737 WITH SCORE 33786.582
AT ITER 1650 NEW BEST:: SOT 196084 SOS 49630 HAS SOPS 49630 HAS SOUS 33669 HAS SOUPS 33669 WITH SCORE 33718.63
AT ITER 1655 NEW BEST:: SOT 196012 SOS 49380 HAS SOPS 49380 HAS SOUS 33508 HAS SOUPS 33508 WITH SCORE 33557.38
AT ITER 1687 NEW BEST:: SOT 195833 SOS 49196 HAS SOPS 49196 HAS SOUS 33498 HAS SOUPS 33498 WITH SCORE 33547.196
AT ITER 1708 NEW BEST:: SOT 195816 SOS 49179 HAS SOPS 49179 HAS SOUS 33479 HAS SOUPS 33479 WITH SCORE 33528.179
AT ITER 1718 NEW BEST:: SOT 195812 SOS 49175 HAS SOPS 49175 HAS SOUS 33475 HAS SOUPS 33475 WITH SCORE 33524.175
AT ITER 1725 NEW BEST:: SOT 195668 SOS 48959 HAS SOPS 48959 HAS SOUS 33331 HAS SOUPS 33331 WITH SCORE 33379.959
AT ITER 1728 NEW BEST:: SOT 195657 SOS 48937 HAS SOPS 48937 HAS SOUS 33319 HAS SOUPS 33319 WITH SCORE 33367.937
AT ITER 1734 NEW BEST:: SOT 195659 SOS 47682 HAS SOPS 47682 HAS SOUS 33261 HAS SOUPS 33261 WITH SCORE 33308.682
AT ITER 1774 NEW BEST:: SOT 195659 SOS 47586 HAS SOPS 47586 HAS SOUS 33248 HAS SOUPS 33248 WITH SCORE 33295.586
AT ITER 1837 NEW BEST:: SOT 195641 SOS 47640 HAS SOPS 47640 HAS SOUS 33230 HAS SOUPS 33230 WITH SCORE 33277.64
AT ITER 1840 NEW BEST:: SOT 195654 SOS 46244 HAS SOPS 46244 HAS SOUS 33121 HAS SOUPS 33121 WITH SCORE 33167.244
AT ITER 1847 NEW BEST:: SOT 195646 SOS 46228 HAS SOPS 46228 HAS SOUS 33102 HAS SOUPS 33102 WITH SCORE 33148.228
AT ITER 1871 NEW BEST:: SOT 195620 SOS 46176 HAS SOPS 46176 HAS SOUS 33102 HAS SOUPS 33102 WITH SCORE 33148.176
AT ITER 1881 NEW BEST:: SOT 195617 SOS 46133 HAS SOPS 46133 HAS SOUS 33096 HAS SOUPS 33096 WITH SCORE 33142.133
AT ITER 1925 NEW BEST:: SOT 195616 SOS 46099 HAS SOPS 46099 HAS SOUS 33061 HAS SOUPS 33061 WITH SCORE 33107.099
AT ITER 1970 NEW BEST:: SOT 195622 SOS 46104 HAS SOPS 46104 HAS SOUS 33052 HAS SOUPS 33052 WITH SCORE 33098.104
AT ITER 1983 NEW BEST:: SOT 195621 SOS 46073 HAS SOPS 46073 HAS SOUS 33021 HAS SOUPS 33021 WITH SCORE 33067.073
AT ITER 2009 NEW BEST:: SOT 195635 SOS 46079 HAS SOPS 46079 HAS SOUS 33013 HAS SOUPS 33013 WITH SCORE 33059.079
AT ITER 2013 NEW BEST:: SOT 195437 SOS 46231 HAS SOPS 46231 HAS SOUS 32867 HAS SOUPS 32867 WITH SCORE 32913.231
AT ITER 2029 NEW BEST:: SOT 195388 SOS 46069 HAS SOPS 46069 HAS SOUS 32822 HAS SOUPS 32822 WITH SCORE 32868.069
AT ITER 2035 NEW BEST:: SOT 195388 SOS 45993 HAS SOPS 45993 HAS SOUS 32746 HAS SOUPS 32746 WITH SCORE 32791.993
AT ITER 2069 NEW BEST:: SOT 195380 SOS 45953 HAS SOPS 45953 HAS SOUS 32730 HAS SOUPS 32730 WITH SCORE 32775.953
AT ITER 2106 NEW BEST:: SOT 195349 SOS 45804 HAS SOPS 45804 HAS SOUS 32614 HAS SOUPS 32614 WITH SCORE 32659.804
AT ITER 2107 NEW BEST:: SOT 195185 SOS 45640 HAS SOPS 45640 HAS SOUS 32478 HAS SOUPS 32478 WITH SCORE 32523.64
AT ITER 2127 NEW BEST:: SOT 195153 SOS 45610 HAS SOPS 45610 HAS SOUS 32448 HAS SOUPS 32448 WITH SCORE 32493.61
AT ITER 2166 NEW BEST:: SOT 195153 SOS 45610 HAS SOPS 45610 HAS SOUS 32440 HAS SOUPS 32440 WITH SCORE 32485.61
AT ITER 2173 NEW BEST:: SOT 195142 SOS 45588 HAS SOPS 45588 HAS SOUS 32418 HAS SOUPS 32418 WITH SCORE 32463.588
AT ITER 2194 NEW BEST:: SOT 194912 SOS 45576 HAS SOPS 45576 HAS SOUS 32380 HAS SOUPS 32380 WITH SCORE 32425.576
AT ITER 2197 NEW BEST:: SOT 194856 SOS 45404 HAS SOPS 45404 HAS SOUS 32294 HAS SOUPS 32294 WITH SCORE 32339.404
AT ITER 2209 NEW BEST:: SOT 194847 SOS 45403 HAS SOPS 45403 HAS SOUS 32293 HAS SOUPS 32293 WITH SCORE 32338.403
AT ITER 2236 NEW BEST:: SOT 194815 SOS 45339 HAS SOPS 45339 HAS SOUS 32253 HAS SOUPS 32253 WITH SCORE 32298.339
AT ITER 2258 NEW BEST:: SOT 194814 SOS 45337 HAS SOPS 45337 HAS SOUS 32251 HAS SOUPS 32251 WITH SCORE 32296.337
AT ITER 2260 NEW BEST:: SOT 194814 SOS 45073 HAS SOPS 45073 HAS SOUS 32229 HAS SOUPS 32229 WITH SCORE 32274.073
AT ITER 2264 NEW BEST:: SOT 194776 SOS 45035 HAS SOPS 45035 HAS SOUS 32229 HAS SOUPS 32229 WITH SCORE 32274.035
AT ITER 2275 NEW BEST:: SOT 194441 SOS 44533 HAS SOPS 44533 HAS SOUS 31894 HAS SOUPS 31894 WITH SCORE 31938.533
AT ITER 2280 NEW BEST:: SOT 194398 SOS 44447 HAS SOPS 44447 HAS SOUS 31808 HAS SOUPS 31808 WITH SCORE 31852.447
AT ITER 2289 NEW BEST:: SOT 194382 SOS 44436 HAS SOPS 44436 HAS SOUS 31797 HAS SOUPS 31797 WITH SCORE 31841.436
AT ITER 2294 NEW BEST:: SOT 194324 SOS 44378 HAS SOPS 44378 HAS SOUS 31739 HAS SOUPS 31739 WITH SCORE 31783.378
AT ITER 2296 NEW BEST:: SOT 194273 SOS 44327 HAS SOPS 44327 HAS SOUS 31688 HAS SOUPS 31688 WITH SCORE 31732.327
AT ITER 2299 NEW BEST:: SOT 194306 SOS 44262 HAS SOPS 44262 HAS SOUS 31646 HAS SOUPS 31646 WITH SCORE 31690.262
AT ITER 2315 NEW BEST:: SOT 194287 SOS 44224 HAS SOPS 44224 HAS SOUS 31636 HAS SOUPS 31636 WITH SCORE 31680.224
AT ITER 2348 NEW BEST:: SOT 194287 SOS 44224 HAS SOPS 44224 HAS SOUS 31609 HAS SOUPS 31609 WITH SCORE 31653.224
AT ITER 2353 NEW BEST:: SOT 194273 SOS 44196 HAS SOPS 44196 HAS SOUS 31595 HAS SOUPS 31595 WITH SCORE 31639.196
AT ITER 2363 NEW BEST:: SOT 193879 SOS 45738 HAS SOPS 45738 HAS SOUS 31587 HAS SOUPS 31587 WITH SCORE 31632.738
AT ITER 2384 NEW BEST:: SOT 193401 SOS 45852 HAS SOPS 45852 HAS SOUS 31293 HAS SOUPS 31293 WITH SCORE 31338.852
AT ITER 2394 NEW BEST:: SOT 193400 SOS 45851 HAS SOPS 45851 HAS SOUS 31287 HAS SOUPS 31287 WITH SCORE 31332.851
AT ITER 2395 NEW BEST:: SOT 193400 SOS 45838 HAS SOPS 45838 HAS SOUS 31287 HAS SOUPS 31287 WITH SCORE 31332.838
AT ITER 2422 NEW BEST:: SOT 193410 SOS 45845 HAS SOPS 45845 HAS SOUS 31282 HAS SOUPS 31282 WITH SCORE 31327.845
AT ITER 2432 NEW BEST:: SOT 193410 SOS 45819 HAS SOPS 45819 HAS SOUS 31256 HAS SOUPS 31256 WITH SCORE 31301.819
AT ITER 2436 NEW BEST:: SOT 193404 SOS 45922 HAS SOPS 45922 HAS SOUS 31250 HAS SOUPS 31250 WITH SCORE 31295.922
AT ITER 2441 NEW BEST:: SOT 193392 SOS 45910 HAS SOPS 45910 HAS SOUS 31246 HAS SOUPS 31246 WITH SCORE 31291.91
AT ITER 2455 NEW BEST:: SOT 193367 SOS 45871 HAS SOPS 45871 HAS SOUS 31221 HAS SOUPS 31221 WITH SCORE 31266.871
AT ITER 2466 NEW BEST:: SOT 193359 SOS 45855 HAS SOPS 45855 HAS SOUS 31213 HAS SOUPS 31213 WITH SCORE 31258.855
AT ITER 2467 NEW BEST:: SOT 193308 SOS 45753 HAS SOPS 45753 HAS SOUS 31191 HAS SOUPS 31191 WITH SCORE 31236.753
AT ITER 2468 NEW BEST:: SOT 193302 SOS 45743 HAS SOPS 45743 HAS SOUS 31181 HAS SOUPS 31181 WITH SCORE 31226.743
AT ITER 2485 NEW BEST:: SOT 193285 SOS 45709 HAS SOPS 45709 HAS SOUS 31147 HAS SOUPS 31147 WITH SCORE 31192.709
AT ITER 2523 NEW BEST:: SOT 193186 SOS 45690 HAS SOPS 45690 HAS SOUS 31128 HAS SOUPS 31128 WITH SCORE 31173.69
AT ITER 2539 NEW BEST:: SOT 193184 SOS 45686 HAS SOPS 45686 HAS SOUS 31124 HAS SOUPS 31124 WITH SCORE 31169.686
AT ITER 2547 NEW BEST:: SOT 193127 SOS 45572 HAS SOPS 45572 HAS SOUS 31010 HAS SOUPS 31010 WITH SCORE 31055.572
AT ITER 2554 NEW BEST:: SOT 193132 SOS 45467 HAS SOPS 45467 HAS SOUS 30977 HAS SOUPS 30977 WITH SCORE 31022.467
AT ITER 2557 NEW BEST:: SOT 193103 SOS 45409 HAS SOPS 45409 HAS SOUS 30919 HAS SOUPS 30919 WITH SCORE 30964.409
AT ITER 2571 NEW BEST:: SOT 192995 SOS 45193 HAS SOPS 45193 HAS SOUS 30811 HAS SOUPS 30811 WITH SCORE 30856.193
AT ITER 2573 NEW BEST:: SOT 192969 SOS 45141 HAS SOPS 45141 HAS SOUS 30759 HAS SOUPS 30759 WITH SCORE 30804.141
AT ITER 2575 NEW BEST:: SOT 193000 SOS 45203 HAS SOPS 45203 HAS SOUS 30717 HAS SOUPS 30717 WITH SCORE 30762.203
AT ITER 2611 NEW BEST:: SOT 192999 SOS 45202 HAS SOPS 45202 HAS SOUS 30716 HAS SOUPS 30716 WITH SCORE 30761.202
AT ITER 2632 NEW BEST:: SOT 192890 SOS 45008 HAS SOPS 45008 HAS SOUS 30692 HAS SOUPS 30692 WITH SCORE 30737.008
AT ITER 2646 NEW BEST:: SOT 192901 SOS 45019 HAS SOPS 45019 HAS SOUS 30689 HAS SOUPS 30689 WITH SCORE 30734.019
AT ITER 2651 NEW BEST:: SOT 192795 SOS 44807 HAS SOPS 44807 HAS SOUS 30624 HAS SOUPS 30624 WITH SCORE 30668.807
AT ITER 2658 NEW BEST:: SOT 192754 SOS 44786 HAS SOPS 44786 HAS SOUS 30603 HAS SOUPS 30603 WITH SCORE 30647.786
AT ITER 2671 NEW BEST:: SOT 192555 SOS 44388 HAS SOPS 44388 HAS SOUS 30324 HAS SOUPS 30324 WITH SCORE 30368.388
AT ITER 2672 NEW BEST:: SOT 192555 SOS 44379 HAS SOPS 44379 HAS SOUS 30315 HAS SOUPS 30315 WITH SCORE 30359.379
AT ITER 2689 NEW BEST:: SOT 192553 SOS 44377 HAS SOPS 44377 HAS SOUS 30311 HAS SOUPS 30311 WITH SCORE 30355.377
AT ITER 2711 NEW BEST:: SOT 192553 SOS 44345 HAS SOPS 44345 HAS SOUS 30279 HAS SOUPS 30279 WITH SCORE 30323.345
AT ITER 2737 NEW BEST:: SOT 192443 SOS 44125 HAS SOPS 44125 HAS SOUS 30169 HAS SOUPS 30169 WITH SCORE 30213.125
AT ITER 2747 NEW BEST:: SOT 192458 SOS 44155 HAS SOPS 44155 HAS SOUS 30154 HAS SOUPS 30154 WITH SCORE 30198.155
AT ITER 2748 NEW BEST:: SOT 192399 SOS 44111 HAS SOPS 44111 HAS SOUS 30122 HAS SOUPS 30122 WITH SCORE 30166.111
AT ITER 2755 NEW BEST:: SOT 192399 SOS 44111 HAS SOPS 44111 HAS SOUS 30071 HAS SOUPS 30071 WITH SCORE 30115.111
AT ITER 2787 NEW BEST:: SOT 192448 SOS 44013 HAS SOPS 44013 HAS SOUS 29973 HAS SOUPS 29973 WITH SCORE 30017.013
AT ITER 2794 NEW BEST:: SOT 192402 SOS 43977 HAS SOPS 43977 HAS SOUS 29895 HAS SOUPS 29895 WITH SCORE 29938.977
AT ITER 2803 NEW BEST:: SOT 192280 SOS 43882 HAS SOPS 43882 HAS SOUS 29800 HAS SOUPS 29800 WITH SCORE 29843.882
AT ITER 2818 NEW BEST:: SOT 192280 SOS 43882 HAS SOPS 43882 HAS SOUS 29780 HAS SOUPS 29780 WITH SCORE 29823.882
AT ITER 2831 NEW BEST:: SOT 192268 SOS 43870 HAS SOPS 43870 HAS SOUS 29756 HAS SOUPS 29756 WITH SCORE 29799.87
AT ITER 2836 NEW BEST:: SOT 192254 SOS 43883 HAS SOPS 43883 HAS SOUS 29742 HAS SOUPS 29742 WITH SCORE 29785.883
AT ITER 2850 NEW BEST:: SOT 192242 SOS 43872 HAS SOPS 43872 HAS SOUS 29730 HAS SOUPS 29730 WITH SCORE 29773.872
AT ITER 2856 NEW BEST:: SOT 192206 SOS 43922 HAS SOPS 43922 HAS SOUS 29714 HAS SOUPS 29714 WITH SCORE 29757.922
AT ITER 2871 NEW BEST:: SOT 192165 SOS 43840 HAS SOPS 43840 HAS SOUS 29680 HAS SOUPS 29680 WITH SCORE 29723.84
AT ITER 2876 NEW BEST:: SOT 192168 SOS 43790 HAS SOPS 43790 HAS SOUS 29639 HAS SOUPS 29639 WITH SCORE 29682.79
AT ITER 2880 NEW BEST:: SOT 192218 SOS 43678 HAS SOPS 43678 HAS SOUS 29559 HAS SOUPS 29559 WITH SCORE 29602.678
AT ITER 2926 NEW BEST:: SOT 192198 SOS 43572 HAS SOPS 43572 HAS SOUS 29519 HAS SOUPS 29519 WITH SCORE 29562.572
AT ITER 2937 NEW BEST:: SOT 191915 SOS 44255 HAS SOPS 44255 HAS SOUS 29365 HAS SOUPS 29365 WITH SCORE 29409.255
AT ITER 2960 NEW BEST:: SOT 191894 SOS 44213 HAS SOPS 44213 HAS SOUS 29326 HAS SOUPS 29326 WITH SCORE 29370.213
AT ITER 2967 NEW BEST:: SOT 191817 SOS 44711 HAS SOPS 44711 HAS SOUS 29316 HAS SOUPS 29316 WITH SCORE 29360.711
AT ITER 2969 NEW BEST:: SOT 191817 SOS 44417 HAS SOPS 44417 HAS SOUS 29302 HAS SOUPS 29302 WITH SCORE 29346.417
AT ITER 2972 NEW BEST:: SOT 191788 SOS 44404 HAS SOPS 44404 HAS SOUS 29296 HAS SOUPS 29296 WITH SCORE 29340.404
AT ITER 2974 NEW BEST:: SOT 191675 SOS 44291 HAS SOPS 44291 HAS SOUS 29131 HAS SOUPS 29131 WITH SCORE 29175.291
AT ITER 2989 NEW BEST:: SOT 191681 SOS 44297 HAS SOPS 44297 HAS SOUS 29118 HAS SOUPS 29118 WITH SCORE 29162.297
AT ITER 2999 NEW BEST:: SOT 191652 SOS 44268 HAS SOPS 44268 HAS SOUS 29061 HAS SOUPS 29061 WITH SCORE 29105.268
AT ITER 3003 NEW BEST:: SOT 191541 SOS 44196 HAS SOPS 44196 HAS SOUS 28989 HAS SOUPS 28989 WITH SCORE 29033.196
AT ITER 3090 NEW BEST:: SOT 191521 SOS 44129 HAS SOPS 44129 HAS SOUS 28922 HAS SOUPS 28922 WITH SCORE 28966.129
AT ITER 3094 NEW BEST:: SOT 191477 SOS 44041 HAS SOPS 44041 HAS SOUS 28865 HAS SOUPS 28865 WITH SCORE 28909.041
AT ITER 3100 NEW BEST:: SOT 191438 SOS 43894 HAS SOPS 43894 HAS SOUS 28688 HAS SOUPS 28688 WITH SCORE 28731.894
AT ITER 3110 NEW BEST:: SOT 191438 SOS 43893 HAS SOPS 43893 HAS SOUS 28688 HAS SOUPS 28688 WITH SCORE 28731.893
AT ITER 3122 NEW BEST:: SOT 191427 SOS 43871 HAS SOPS 43871 HAS SOUS 28677 HAS SOUPS 28677 WITH SCORE 28720.871
AT ITER 3123 NEW BEST:: SOT 191424 SOS 43865 HAS SOPS 43865 HAS SOUS 28671 HAS SOUPS 28671 WITH SCORE 28714.865
AT ITER 3135 NEW BEST:: SOT 191417 SOS 43851 HAS SOPS 43851 HAS SOUS 28657 HAS SOUPS 28657 WITH SCORE 28700.851
AT ITER 3228 NEW BEST:: SOT 191410 SOS 43837 HAS SOPS 43837 HAS SOUS 28643 HAS SOUPS 28643 WITH SCORE 28686.837
AT ITER 3230 NEW BEST:: SOT 191389 SOS 43797 HAS SOPS 43797 HAS SOUS 28603 HAS SOUPS 28603 WITH SCORE 28646.797
AT ITER 3238 NEW BEST:: SOT 191235 SOS 43489 HAS SOPS 43489 HAS SOUS 28554 HAS SOUPS 28554 WITH SCORE 28597.489
AT ITER 3243 NEW BEST:: SOT 191235 SOS 43411 HAS SOPS 43411 HAS SOUS 28554 HAS SOUPS 28554 WITH SCORE 28597.411
AT ITER 3269 NEW BEST:: SOT 191217 SOS 43393 HAS SOPS 43393 HAS SOUS 28536 HAS SOUPS 28536 WITH SCORE 28579.393
AT ITER 3290 NEW BEST:: SOT 191217 SOS 43381 HAS SOPS 43381 HAS SOUS 28524 HAS SOUPS 28524 WITH SCORE 28567.381
AT ITER 3320 NEW BEST:: SOT 191217 SOS 43386 HAS SOPS 43386 HAS SOUS 28520 HAS SOUPS 28520 WITH SCORE 28563.386
AT ITER 3345 NEW BEST:: SOT 191217 SOS 43293 HAS SOPS 43293 HAS SOUS 28520 HAS SOUPS 28520 WITH SCORE 28563.293
AT ITER 3362 NEW BEST:: SOT 191210 SOS 43264 HAS SOPS 43264 HAS SOUS 28506 HAS SOUPS 28506 WITH SCORE 28549.264
AT ITER 3389 NEW BEST:: SOT 191210 SOS 43168 HAS SOPS 43168 HAS SOUS 28506 HAS SOUPS 28506 WITH SCORE 28549.168
AT ITER 3393 NEW BEST:: SOT 191203 SOS 43161 HAS SOPS 43161 HAS SOUS 28499 HAS SOUPS 28499 WITH SCORE 28542.161
AT ITER 3397 NEW BEST:: SOT 191188 SOS 43139 HAS SOPS 43139 HAS SOUS 28477 HAS SOUPS 28477 WITH SCORE 28520.139
AT ITER 3411 NEW BEST:: SOT 191188 SOS 43115 HAS SOPS 43115 HAS SOUS 28468 HAS SOUPS 28468 WITH SCORE 28511.115
AT ITER 3432 NEW BEST:: SOT 191178 SOS 43105 HAS SOPS 43105 HAS SOUS 28448 HAS SOUPS 28448 WITH SCORE 28491.105
AT ITER 3512 NEW BEST:: SOT 191156 SOS 43132 HAS SOPS 43132 HAS SOUS 28426 HAS SOUPS 28426 WITH SCORE 28469.132
AT ITER 3517 NEW BEST:: SOT 191142 SOS 43104 HAS SOPS 43104 HAS SOUS 28412 HAS SOUPS 28412 WITH SCORE 28455.104
AT ITER 3544 NEW BEST:: SOT 191134 SOS 43088 HAS SOPS 43088 HAS SOUS 28396 HAS SOUPS 28396 WITH SCORE 28439.088
AT ITER 3561 NEW BEST:: SOT 191155 SOS 43060 HAS SOPS 43060 HAS SOUS 28338 HAS SOUPS 28338 WITH SCORE 28381.06
AT ITER 3589 NEW BEST:: SOT 191155 SOS 43060 HAS SOPS 43060 HAS SOUS 28335 HAS SOUPS 28335 WITH SCORE 28378.06
AT ITER 3599 NEW BEST:: SOT 191146 SOS 43051 HAS SOPS 43051 HAS SOUS 28335 HAS SOUPS 28335 WITH SCORE 28378.051
AT ITER 3610 NEW BEST:: SOT 191139 SOS 43066 HAS SOPS 43066 HAS SOUS 28275 HAS SOUPS 28275 WITH SCORE 28318.066
AT ITER 3614 NEW BEST:: SOT 191139 SOS 43066 HAS SOPS 43066 HAS SOUS 28252 HAS SOUPS 28252 WITH SCORE 28295.066
AT ITER 3620 NEW BEST:: SOT 191132 SOS 43065 HAS SOPS 43065 HAS SOUS 28245 HAS SOUPS 28245 WITH SCORE 28288.065
AT ITER 3646 NEW BEST:: SOT 191128 SOS 43109 HAS SOPS 43109 HAS SOUS 28241 HAS SOUPS 28241 WITH SCORE 28284.109
AT ITER 3647 NEW BEST:: SOT 191128 SOS 43109 HAS SOPS 43109 HAS SOUS 28239 HAS SOUPS 28239 WITH SCORE 28282.109
AT ITER 3648 NEW BEST:: SOT 191061 SOS 43005 HAS SOPS 43005 HAS SOUS 28165 HAS SOUPS 28165 WITH SCORE 28208.005
AT ITER 3652 NEW BEST:: SOT 191050 SOS 42959 HAS SOPS 42959 HAS SOUS 28143 HAS SOUPS 28143 WITH SCORE 28185.959
AT ITER 3662 NEW BEST:: SOT 191050 SOS 42955 HAS SOPS 42955 HAS SOUS 28139 HAS SOUPS 28139 WITH SCORE 28181.955
AT ITER 3672 NEW BEST:: SOT 191081 SOS 42950 HAS SOPS 42950 HAS SOUS 28106 HAS SOUPS 28106 WITH SCORE 28148.95
AT ITER 3675 NEW BEST:: SOT 191068 SOS 42924 HAS SOPS 42924 HAS SOUS 28080 HAS SOUPS 28080 WITH SCORE 28122.924
AT ITER 3685 NEW BEST:: SOT 191068 SOS 42924 HAS SOPS 42924 HAS SOUS 28045 HAS SOUPS 28045 WITH SCORE 28087.924
AT ITER 3695 NEW BEST:: SOT 191034 SOS 42884 HAS SOPS 42884 HAS SOUS 28005 HAS SOUPS 28005 WITH SCORE 28047.884
AT ITER 3702 NEW BEST:: SOT 190997 SOS 42810 HAS SOPS 42810 HAS SOUS 27931 HAS SOUPS 27931 WITH SCORE 27973.81
AT ITER 3708 NEW BEST:: SOT 190978 SOS 42810 HAS SOPS 42810 HAS SOUS 27861 HAS SOUPS 27861 WITH SCORE 27903.81
AT ITER 3718 NEW BEST:: SOT 190948 SOS 42750 HAS SOPS 42750 HAS SOUS 27818 HAS SOUPS 27818 WITH SCORE 27860.75
AT ITER 3748 NEW BEST:: SOT 190938 SOS 42720 HAS SOPS 42720 HAS SOUS 27788 HAS SOUPS 27788 WITH SCORE 27830.72
AT ITER 3750 NEW BEST:: SOT 190919 SOS 42770 HAS SOPS 42770 HAS SOUS 27783 HAS SOUPS 27783 WITH SCORE 27825.77
AT ITER 3765 NEW BEST:: SOT 190976 SOS 42827 HAS SOPS 42827 HAS SOUS 27754 HAS SOUPS 27754 WITH SCORE 27796.827
AT ITER 3767 NEW BEST:: SOT 191011 SOS 42968 HAS SOPS 42968 HAS SOUS 27736 HAS SOUPS 27736 WITH SCORE 27778.968
AT ITER 3788 NEW BEST:: SOT 191015 SOS 42969 HAS SOPS 42969 HAS SOUS 27733 HAS SOUPS 27733 WITH SCORE 27775.969
AT ITER 3795 NEW BEST:: SOT 191012 SOS 42805 HAS SOPS 42805 HAS SOUS 27727 HAS SOUPS 27727 WITH SCORE 27769.805
AT ITER 3809 NEW BEST:: SOT 191002 SOS 42785 HAS SOPS 42785 HAS SOUS 27717 HAS SOUPS 27717 WITH SCORE 27759.785
AT ITER 3832 NEW BEST:: SOT 191002 SOS 42785 HAS SOPS 42785 HAS SOUS 27653 HAS SOUPS 27653 WITH SCORE 27695.785
AT ITER 3841 NEW BEST:: SOT 190996 SOS 42773 HAS SOPS 42773 HAS SOUS 27641 HAS SOUPS 27641 WITH SCORE 27683.773
AT ITER 3848 NEW BEST:: SOT 190974 SOS 43040 HAS SOPS 43040 HAS SOUS 27640 HAS SOUPS 27640 WITH SCORE 27683.04
AT ITER 3868 NEW BEST:: SOT 190974 SOS 43040 HAS SOPS 43040 HAS SOUS 27616 HAS SOUPS 27616 WITH SCORE 27659.04
AT ITER 3878 NEW BEST:: SOT 190966 SOS 43024 HAS SOPS 43024 HAS SOUS 27600 HAS SOUPS 27600 WITH SCORE 27643.024
AT ITER 3888 NEW BEST:: SOT 191412 SOS 43013 HAS SOPS 43013 HAS SOUS 27589 HAS SOUPS 27589 WITH SCORE 27632.013
AT ITER 3909 NEW BEST:: SOT 191412 SOS 43013 HAS SOPS 43013 HAS SOUS 27588 HAS SOUPS 27588 WITH SCORE 27631.013
AT ITER 3965 NEW BEST:: SOT 191358 SOS 42824 HAS SOPS 42824 HAS SOUS 27459 HAS SOUPS 27459 WITH SCORE 27501.824
AT ITER 3979 NEW BEST:: SOT 191358 SOS 42811 HAS SOPS 42811 HAS SOUS 27458 HAS SOUPS 27458 WITH SCORE 27500.811
AT ITER 4034 NEW BEST:: SOT 191355 SOS 42806 HAS SOPS 42806 HAS SOUS 27454 HAS SOUPS 27454 WITH SCORE 27496.806
AT ITER 4042 NEW BEST:: SOT 191410 SOS 42838 HAS SOPS 42838 HAS SOUS 27440 HAS SOUPS 27440 WITH SCORE 27482.838
AT ITER 4055 NEW BEST:: SOT 191404 SOS 42826 HAS SOPS 42826 HAS SOUS 27428 HAS SOUPS 27428 WITH SCORE 27470.826
AT ITER 4067 NEW BEST:: SOT 191369 SOS 42794 HAS SOPS 42794 HAS SOUS 27415 HAS SOUPS 27415 WITH SCORE 27457.794
AT ITER 4089 NEW BEST:: SOT 191351 SOS 42758 HAS SOPS 42758 HAS SOUS 27397 HAS SOUPS 27397 WITH SCORE 27439.758
AT ITER 4103 NEW BEST:: SOT 191320 SOS 42730 HAS SOPS 42730 HAS SOUS 27369 HAS SOUPS 27369 WITH SCORE 27411.73
AT ITER 4118 NEW BEST:: SOT 191315 SOS 42720 HAS SOPS 42720 HAS SOUS 27359 HAS SOUPS 27359 WITH SCORE 27401.72
AT ITER 4142 NEW BEST:: SOT 191264 SOS 42618 HAS SOPS 42618 HAS SOUS 27359 HAS SOUPS 27359 WITH SCORE 27401.618
AT ITER 4144 NEW BEST:: SOT 191209 SOS 42563 HAS SOPS 42563 HAS SOUS 27304 HAS SOUPS 27304 WITH SCORE 27346.563
AT ITER 4146 NEW BEST:: SOT 191147 SOS 42496 HAS SOPS 42496 HAS SOUS 27260 HAS SOUPS 27260 WITH SCORE 27302.496
AT ITER 4158 NEW BEST:: SOT 191023 SOS 42372 HAS SOPS 42372 HAS SOUS 27195 HAS SOUPS 27195 WITH SCORE 27237.372
AT ITER 4174 NEW BEST:: SOT 191018 SOS 42367 HAS SOPS 42367 HAS SOUS 27195 HAS SOUPS 27195 WITH SCORE 27237.367
AT ITER 4189 NEW BEST:: SOT 191001 SOS 42333 HAS SOPS 42333 HAS SOUS 27192 HAS SOUPS 27192 WITH SCORE 27234.333
AT ITER 4205 NEW BEST:: SOT 190983 SOS 42327 HAS SOPS 42327 HAS SOUS 27189 HAS SOUPS 27189 WITH SCORE 27231.327
AT ITER 4215 NEW BEST:: SOT 190995 SOS 42351 HAS SOPS 42351 HAS SOUS 27147 HAS SOUPS 27147 WITH SCORE 27189.351
AT ITER 4254 NEW BEST:: SOT 190981 SOS 42323 HAS SOPS 42323 HAS SOUS 27119 HAS SOUPS 27119 WITH SCORE 27161.323
AT ITER 4290 NEW BEST:: SOT 190950 SOS 42292 HAS SOPS 42292 HAS SOUS 27088 HAS SOUPS 27088 WITH SCORE 27130.292
AT ITER 4300 NEW BEST:: SOT 190950 SOS 42123 HAS SOPS 42123 HAS SOUS 27075 HAS SOUPS 27075 WITH SCORE 27117.123
AT ITER 4305 NEW BEST:: SOT 191049 SOS 42247 HAS SOPS 42247 HAS SOUS 27065 HAS SOUPS 27065 WITH SCORE 27107.247
AT ITER 4362 NEW BEST:: SOT 190952 SOS 42118 HAS SOPS 42118 HAS SOUS 27054 HAS SOUPS 27054 WITH SCORE 27096.118
AT ITER 4365 NEW BEST:: SOT 190865 SOS 41944 HAS SOPS 41944 HAS SOUS 26966 HAS SOUPS 26966 WITH SCORE 27007.944
AT ITER 4407 NEW BEST:: SOT 190809 SOS 41832 HAS SOPS 41832 HAS SOUS 26966 HAS SOUPS 26966 WITH SCORE 27007.832
AT ITER 4452 NEW BEST:: SOT 190802 SOS 41831 HAS SOPS 41831 HAS SOUS 26965 HAS SOUPS 26965 WITH SCORE 27006.831
AT ITER 4462 NEW BEST:: SOT 190799 SOS 41799 HAS SOPS 41799 HAS SOUS 26956 HAS SOUPS 26956 WITH SCORE 26997.799
AT ITER 4469 NEW BEST:: SOT 190779 SOS 41759 HAS SOPS 41759 HAS SOUS 26926 HAS SOUPS 26926 WITH SCORE 26967.759
AT ITER 4474 NEW BEST:: SOT 190709 SOS 41619 HAS SOPS 41619 HAS SOUS 26925 HAS SOUPS 26925 WITH SCORE 26966.619
AT ITER 4482 NEW BEST:: SOT 190717 SOS 41515 HAS SOPS 41515 HAS SOUS 26917 HAS SOUPS 26917 WITH SCORE 26958.515
AT ITER 4498 NEW BEST:: SOT 190648 SOS 41422 HAS SOPS 41422 HAS SOUS 26851 HAS SOUPS 26851 WITH SCORE 26892.422
AT ITER 4504 NEW BEST:: SOT 190645 SOS 41385 HAS SOPS 41385 HAS SOUS 26838 HAS SOUPS 26838 WITH SCORE 26879.385
AT ITER 4514 NEW BEST:: SOT 190582 SOS 41133 HAS SOPS 41133 HAS SOUS 26712 HAS SOUPS 26712 WITH SCORE 26753.133
AT ITER 4550 NEW BEST:: SOT 190580 SOS 41131 HAS SOPS 41131 HAS SOUS 26710 HAS SOUPS 26710 WITH SCORE 26751.131
AT ITER 4568 NEW BEST:: SOT 190567 SOS 41870 HAS SOPS 41870 HAS SOUS 26702 HAS SOUPS 26702 WITH SCORE 26743.87
AT ITER 4575 NEW BEST:: SOT 190484 SOS 41784 HAS SOPS 41784 HAS SOUS 26616 HAS SOUPS 26616 WITH SCORE 26657.784
AT ITER 4598 NEW BEST:: SOT 190444 SOS 41744 HAS SOPS 41744 HAS SOUS 26596 HAS SOUPS 26596 WITH SCORE 26637.744
AT ITER 4632 NEW BEST:: SOT 190419 SOS 41722 HAS SOPS 41722 HAS SOUS 26546 HAS SOUPS 26546 WITH SCORE 26587.722
AT ITER 4659 NEW BEST:: SOT 190403 SOS 41683 HAS SOPS 41683 HAS SOUS 26493 HAS SOUPS 26493 WITH SCORE 26534.683
AT ITER 4712 NEW BEST:: SOT 190408 SOS 41717 HAS SOPS 41717 HAS SOUS 26472 HAS SOUPS 26472 WITH SCORE 26513.717
AT ITER 4724 NEW BEST:: SOT 190384 SOS 41697 HAS SOPS 41697 HAS SOUS 26462 HAS SOUPS 26462 WITH SCORE 26503.697
AT ITER 4738 NEW BEST:: SOT 190372 SOS 41685 HAS SOPS 41685 HAS SOUS 26450 HAS SOUPS 26450 WITH SCORE 26491.685
AT ITER 4750 NEW BEST:: SOT 190336 SOS 41661 HAS SOPS 41661 HAS SOUS 26414 HAS SOUPS 26414 WITH SCORE 26455.661
AT ITER 4781 NEW BEST:: SOT 190336 SOS 41655 HAS SOPS 41655 HAS SOUS 26408 HAS SOUPS 26408 WITH SCORE 26449.655
AT ITER 4783 NEW BEST:: SOT 190343 SOS 41669 HAS SOPS 41669 HAS SOUS 26382 HAS SOUPS 26382 WITH SCORE 26423.669
AT ITER 4818 NEW BEST:: SOT 190343 SOS 41669 HAS SOPS 41669 HAS SOUS 26378 HAS SOUPS 26378 WITH SCORE 26419.669
AT ITER 4861 NEW BEST:: SOT 190326 SOS 41545 HAS SOPS 41545 HAS SOUS 26316 HAS SOUPS 26316 WITH SCORE 26357.545
AT ITER 4882 NEW BEST:: SOT 190355 SOS 40569 HAS SOPS 40569 HAS SOUS 26276 HAS SOUPS 26276 WITH SCORE 26316.569
AT ITER 4888 NEW BEST:: SOT 190383 SOS 40601 HAS SOPS 40601 HAS SOUS 26268 HAS SOUPS 26268 WITH SCORE 26308.601
AT ITER 4904 NEW BEST:: SOT 190370 SOS 40575 HAS SOPS 40575 HAS SOUS 26255 HAS SOUPS 26255 WITH SCORE 26295.575
AT ITER 4907 NEW BEST:: SOT 190345 SOS 40569 HAS SOPS 40569 HAS SOUS 26249 HAS SOUPS 26249 WITH SCORE 26289.569
AT ITER 4918 NEW BEST:: SOT 190320 SOS 40519 HAS SOPS 40519 HAS SOUS 26199 HAS SOUPS 26199 WITH SCORE 26239.519
AT ITER 4921 NEW BEST:: SOT 190301 SOS 40481 HAS SOPS 40481 HAS SOUS 26161 HAS SOUPS 26161 WITH SCORE 26201.481
AT ITER 4933 NEW BEST:: SOT 190231 SOS 40341 HAS SOPS 40341 HAS SOUS 26017 HAS SOUPS 26017 WITH SCORE 26057.341
AT ITER 4960 NEW BEST:: SOT 190199 SOS 40327 HAS SOPS 40327 HAS SOUS 26008 HAS SOUPS 26008 WITH SCORE 26048.327
AT ITER 4981 NEW BEST:: SOT 190231 SOS 40297 HAS SOPS 40297 HAS SOUS 25993 HAS SOUPS 25993 WITH SCORE 26033.297
AT ITER 5002 NEW BEST:: SOT 190231 SOS 40297 HAS SOPS 40297 HAS SOUS 25989 HAS SOUPS 25989 WITH SCORE 26029.297
AT ITER 5036 NEW BEST:: SOT 190221 SOS 40263 HAS SOPS 40263 HAS SOUS 25969 HAS SOUPS 25969 WITH SCORE 26009.263
AT ITER 5040 NEW BEST:: SOT 190200 SOS 40389 HAS SOPS 40389 HAS SOUS 25962 HAS SOUPS 25962 WITH SCORE 26002.389
AT ITER 5056 NEW BEST:: SOT 190180 SOS 40387 HAS SOPS 40387 HAS SOUS 25937 HAS SOUPS 25937 WITH SCORE 25977.387
AT ITER 5059 NEW BEST:: SOT 190174 SOS 40375 HAS SOPS 40375 HAS SOUS 25925 HAS SOUPS 25925 WITH SCORE 25965.375
AT ITER 5061 NEW BEST:: SOT 190120 SOS 40267 HAS SOPS 40267 HAS SOUS 25878 HAS SOUPS 25878 WITH SCORE 25918.267
AT ITER 5206 NEW BEST:: SOT 190104 SOS 40235 HAS SOPS 40235 HAS SOUS 25846 HAS SOUPS 25846 WITH SCORE 25886.235
AT ITER 5223 NEW BEST:: SOT 190073 SOS 40179 HAS SOPS 40179 HAS SOUS 25838 HAS SOUPS 25838 WITH SCORE 25878.179
AT ITER 5245 NEW BEST:: SOT 190024 SOS 40144 HAS SOPS 40144 HAS SOUS 25803 HAS SOUPS 25803 WITH SCORE 25843.144
AT ITER 5273 NEW BEST:: SOT 190024 SOS 40121 HAS SOPS 40121 HAS SOUS 25780 HAS SOUPS 25780 WITH SCORE 25820.121
AT ITER 5296 NEW BEST:: SOT 190024 SOS 40120 HAS SOPS 40120 HAS SOUS 25779 HAS SOUPS 25779 WITH SCORE 25819.12
AT ITER 5306 NEW BEST:: SOT 189977 SOS 40026 HAS SOPS 40026 HAS SOUS 25722 HAS SOUPS 25722 WITH SCORE 25762.026
AT ITER 5322 NEW BEST:: SOT 189976 SOS 40024 HAS SOPS 40024 HAS SOUS 25720 HAS SOUPS 25720 WITH SCORE 25760.024
AT ITER 5360 NEW BEST:: SOT 190031 SOS 40001 HAS SOPS 40001 HAS SOUS 25697 HAS SOUPS 25697 WITH SCORE 25737.001
AT ITER 5369 NEW BEST:: SOT 190023 SOS 39985 HAS SOPS 39985 HAS SOUS 25678 HAS SOUPS 25678 WITH SCORE 25717.985
AT ITER 5411 NEW BEST:: SOT 189852 SOS 41656 HAS SOPS 41656 HAS SOUS 25656 HAS SOUPS 25656 WITH SCORE 25697.656
AT ITER 5442 NEW BEST:: SOT 189849 SOS 41652 HAS SOPS 41652 HAS SOUS 25652 HAS SOUPS 25652 WITH SCORE 25693.652
AT ITER 5468 NEW BEST:: SOT 189824 SOS 41644 HAS SOPS 41644 HAS SOUS 25620 HAS SOUPS 25620 WITH SCORE 25661.644
AT ITER 5511 NEW BEST:: SOT 189819 SOS 41634 HAS SOPS 41634 HAS SOUS 25610 HAS SOUPS 25610 WITH SCORE 25651.634
AT ITER 5513 NEW BEST:: SOT 189804 SOS 41636 HAS SOPS 41636 HAS SOUS 25606 HAS SOUPS 25606 WITH SCORE 25647.636
AT ITER 5515 NEW BEST:: SOT 189794 SOS 41626 HAS SOPS 41626 HAS SOUS 25596 HAS SOUPS 25596 WITH SCORE 25637.626
AT ITER 5530 NEW BEST:: SOT 189742 SOS 41624 HAS SOPS 41624 HAS SOUS 25594 HAS SOUPS 25594 WITH SCORE 25635.624
AT ITER 5538 NEW BEST:: SOT 189752 SOS 41544 HAS SOPS 41544 HAS SOUS 25500 HAS SOUPS 25500 WITH SCORE 25541.544
AT ITER 5542 NEW BEST:: SOT 189735 SOS 41527 HAS SOPS 41527 HAS SOUS 25500 HAS SOUPS 25500 WITH SCORE 25541.527
AT ITER 5580 NEW BEST:: SOT 189716 SOS 41561 HAS SOPS 41561 HAS SOUS 25498 HAS SOUPS 25498 WITH SCORE 25539.561
AT ITER 5614 NEW BEST:: SOT 189711 SOS 41507 HAS SOPS 41507 HAS SOUS 25444 HAS SOUPS 25444 WITH SCORE 25485.507
AT ITER 5649 NEW BEST:: SOT 189705 SOS 41495 HAS SOPS 41495 HAS SOUS 25437 HAS SOUPS 25437 WITH SCORE 25478.495
AT ITER 5681 NEW BEST:: SOT 189712 SOS 41519 HAS SOPS 41519 HAS SOUS 25420 HAS SOUPS 25420 WITH SCORE 25461.519
AT ITER 5690 NEW BEST:: SOT 189680 SOS 41455 HAS SOPS 41455 HAS SOUS 25405 HAS SOUPS 25405 WITH SCORE 25446.455
AT ITER 5698 NEW BEST:: SOT 189675 SOS 41445 HAS SOPS 41445 HAS SOUS 25400 HAS SOUPS 25400 WITH SCORE 25441.445
AT ITER 5711 NEW BEST:: SOT 189670 SOS 41435 HAS SOPS 41435 HAS SOUS 25397 HAS SOUPS 25397 WITH SCORE 25438.435
AT ITER 5713 NEW BEST:: SOT 189647 SOS 41366 HAS SOPS 41366 HAS SOUS 25328 HAS SOUPS 25328 WITH SCORE 25369.366
AT ITER 5720 NEW BEST:: SOT 189596 SOS 41344 HAS SOPS 41344 HAS SOUS 25306 HAS SOUPS 25306 WITH SCORE 25347.344
AT ITER 5756 NEW BEST:: SOT 189468 SOS 41152 HAS SOPS 41152 HAS SOUS 25178 HAS SOUPS 25178 WITH SCORE 25219.152
AT ITER 5768 NEW BEST:: SOT 189451 SOS 41118 HAS SOPS 41118 HAS SOUS 25161 HAS SOUPS 25161 WITH SCORE 25202.118
AT ITER 5805 NEW BEST:: SOT 189507 SOS 41098 HAS SOPS 41098 HAS SOUS 25141 HAS SOUPS 25141 WITH SCORE 25182.098
AT ITER 5884 NEW BEST:: SOT 189499 SOS 41090 HAS SOPS 41090 HAS SOUS 25140 HAS SOUPS 25140 WITH SCORE 25181.09
AT ITER 5898 NEW BEST:: SOT 189499 SOS 41089 HAS SOPS 41089 HAS SOUS 25140 HAS SOUPS 25140 WITH SCORE 25181.089
AT ITER 5913 NEW BEST:: SOT 189499 SOS 41065 HAS SOPS 41065 HAS SOUS 25116 HAS SOUPS 25116 WITH SCORE 25157.065
AT ITER 5928 NEW BEST:: SOT 189500 SOS 41009 HAS SOPS 41009 HAS SOUS 25093 HAS SOUPS 25093 WITH SCORE 25134.009
AT ITER 5962 NEW BEST:: SOT 189483 SOS 40992 HAS SOPS 40992 HAS SOUS 25093 HAS SOUPS 25093 WITH SCORE 25133.992
AT ITER 5966 NEW BEST:: SOT 189484 SOS 40992 HAS SOPS 40992 HAS SOUS 25035 HAS SOUPS 25035 WITH SCORE 25075.992
AT ITER 6003 NEW BEST:: SOT 189501 SOS 41009 HAS SOPS 41009 HAS SOUS 25016 HAS SOUPS 25016 WITH SCORE 25057.009
AT ITER 6042 NEW BEST:: SOT 189512 SOS 41001 HAS SOPS 41001 HAS SOUS 25008 HAS SOUPS 25008 WITH SCORE 25049.001
AT ITER 6060 NEW BEST:: SOT 189457 SOS 41043 HAS SOPS 41043 HAS SOUS 24901 HAS SOUPS 24901 WITH SCORE 24942.043
AT ITER 6068 NEW BEST:: SOT 189455 SOS 41040 HAS SOPS 41040 HAS SOUS 24899 HAS SOUPS 24899 WITH SCORE 24940.04
AT ITER 6177 NEW BEST:: SOT 189452 SOS 41037 HAS SOPS 41037 HAS SOUS 24896 HAS SOUPS 24896 WITH SCORE 24937.037
AT ITER 6178 NEW BEST:: SOT 189434 SOS 41001 HAS SOPS 41001 HAS SOUS 24860 HAS SOUPS 24860 WITH SCORE 24901.001
AT ITER 6187 NEW BEST:: SOT 189387 SOS 40956 HAS SOPS 40956 HAS SOUS 24815 HAS SOUPS 24815 WITH SCORE 24855.956
AT ITER 6228 NEW BEST:: SOT 189387 SOS 40937 HAS SOPS 40937 HAS SOUS 24815 HAS SOUPS 24815 WITH SCORE 24855.937
AT ITER 6247 NEW BEST:: SOT 189383 SOS 40929 HAS SOPS 40929 HAS SOUS 24807 HAS SOUPS 24807 WITH SCORE 24847.929
AT ITER 6256 NEW BEST:: SOT 189383 SOS 40929 HAS SOPS 40929 HAS SOUS 24801 HAS SOUPS 24801 WITH SCORE 24841.929
AT ITER 6272 NEW BEST:: SOT 189362 SOS 40887 HAS SOPS 40887 HAS SOUS 24763 HAS SOUPS 24763 WITH SCORE 24803.887
AT ITER 6299 NEW BEST:: SOT 189354 SOS 40871 HAS SOPS 40871 HAS SOUS 24747 HAS SOUPS 24747 WITH SCORE 24787.871
AT ITER 6336 NEW BEST:: SOT 189347 SOS 40950 HAS SOPS 40950 HAS SOUS 24740 HAS SOUPS 24740 WITH SCORE 24780.95
AT ITER 6368 NEW BEST:: SOT 189347 SOS 40799 HAS SOPS 40799 HAS SOUS 24740 HAS SOUPS 24740 WITH SCORE 24780.799
AT ITER 6440 NEW BEST:: SOT 189345 SOS 40795 HAS SOPS 40795 HAS SOUS 24736 HAS SOUPS 24736 WITH SCORE 24776.795
AT ITER 6461 NEW BEST:: SOT 189334 SOS 40773 HAS SOPS 40773 HAS SOUS 24714 HAS SOUPS 24714 WITH SCORE 24754.773
AT ITER 6474 NEW BEST:: SOT 189342 SOS 40789 HAS SOPS 40789 HAS SOUS 24710 HAS SOUPS 24710 WITH SCORE 24750.789
AT ITER 6488 NEW BEST:: SOT 189316 SOS 40736 HAS SOPS 40736 HAS SOUS 24684 HAS SOUPS 24684 WITH SCORE 24724.736
AT ITER 6507 NEW BEST:: SOT 189316 SOS 40736 HAS SOPS 40736 HAS SOUS 24680 HAS SOUPS 24680 WITH SCORE 24720.736
AT ITER 6508 NEW BEST:: SOT 189286 SOS 40640 HAS SOPS 40640 HAS SOUS 24640 HAS SOUPS 24640 WITH SCORE 24680.64
AT ITER 6566 NEW BEST:: SOT 189286 SOS 40640 HAS SOPS 40640 HAS SOUS 24632 HAS SOUPS 24632 WITH SCORE 24672.64
AT ITER 6595 NEW BEST:: SOT 189286 SOS 40564 HAS SOPS 40564 HAS SOUS 24556 HAS SOUPS 24556 WITH SCORE 24596.564
AT ITER 6596 NEW BEST:: SOT 189286 SOS 40562 HAS SOPS 40562 HAS SOUS 24554 HAS SOUPS 24554 WITH SCORE 24594.562
AT ITER 6605 NEW BEST:: SOT 189286 SOS 40509 HAS SOPS 40509 HAS SOUS 24501 HAS SOUPS 24501 WITH SCORE 24541.509
AT ITER 6606 NEW BEST:: SOT 189286 SOS 40505 HAS SOPS 40505 HAS SOUS 24499 HAS SOUPS 24499 WITH SCORE 24539.505
AT ITER 6617 NEW BEST:: SOT 189281 SOS 40486 HAS SOPS 40486 HAS SOUS 24489 HAS SOUPS 24489 WITH SCORE 24529.486
AT ITER 6657 NEW BEST:: SOT 189245 SOS 40443 HAS SOPS 40443 HAS SOUS 24453 HAS SOUPS 24453 WITH SCORE 24493.443
AT ITER 6663 NEW BEST:: SOT 189245 SOS 40443 HAS SOPS 40443 HAS SOUS 24451 HAS SOUPS 24451 WITH SCORE 24491.443
AT ITER 6670 NEW BEST:: SOT 189227 SOS 40407 HAS SOPS 40407 HAS SOUS 24415 HAS SOUPS 24415 WITH SCORE 24455.407
AT ITER 6704 NEW BEST:: SOT 189143 SOS 40239 HAS SOPS 40239 HAS SOUS 24309 HAS SOUPS 24309 WITH SCORE 24349.239
AT ITER 6714 NEW BEST:: SOT 189143 SOS 40239 HAS SOPS 40239 HAS SOUS 24290 HAS SOUPS 24290 WITH SCORE 24330.239
AT ITER 6751 NEW BEST:: SOT 189115 SOS 40224 HAS SOPS 40224 HAS SOUS 24283 HAS SOUPS 24283 WITH SCORE 24323.224
AT ITER 6786 NEW BEST:: SOT 189230 SOS 39979 HAS SOPS 39979 HAS SOUS 24251 HAS SOUPS 24251 WITH SCORE 24290.979
AT ITER 6798 NEW BEST:: SOT 189219 SOS 39968 HAS SOPS 39968 HAS SOUS 24240 HAS SOUPS 24240 WITH SCORE 24279.968
AT ITER 6806 NEW BEST:: SOT 189219 SOS 39960 HAS SOPS 39960 HAS SOUS 24232 HAS SOUPS 24232 WITH SCORE 24271.96
AT ITER 6817 NEW BEST:: SOT 189161 SOS 39868 HAS SOPS 39868 HAS SOUS 24140 HAS SOUPS 24140 WITH SCORE 24179.868
AT ITER 6822 NEW BEST:: SOT 189150 SOS 39846 HAS SOPS 39846 HAS SOUS 24118 HAS SOUPS 24118 WITH SCORE 24157.846
AT ITER 6843 NEW BEST:: SOT 189142 SOS 39877 HAS SOPS 39877 HAS SOUS 24117 HAS SOUPS 24117 WITH SCORE 24156.877
AT ITER 6860 NEW BEST:: SOT 189141 SOS 39876 HAS SOPS 39876 HAS SOUS 24116 HAS SOUPS 24116 WITH SCORE 24155.876
AT ITER 6879 NEW BEST:: SOT 189120 SOS 39863 HAS SOPS 39863 HAS SOUS 24113 HAS SOUPS 24113 WITH SCORE 24152.863
AT ITER 6921 NEW BEST:: SOT 189120 SOS 39863 HAS SOPS 39863 HAS SOUS 24082 HAS SOUPS 24082 WITH SCORE 24121.863
AT ITER 6943 NEW BEST:: SOT 189119 SOS 39862 HAS SOPS 39862 HAS SOUS 24082 HAS SOUPS 24082 WITH SCORE 24121.862
AT ITER 6968 NEW BEST:: SOT 189105 SOS 39858 HAS SOPS 39858 HAS SOUS 24078 HAS SOUPS 24078 WITH SCORE 24117.858
AT ITER 6981 NEW BEST:: SOT 189099 SOS 39846 HAS SOPS 39846 HAS SOUS 24072 HAS SOUPS 24072 WITH SCORE 24111.846
AT ITER 6996 NEW BEST:: SOT 189016 SOS 39638 HAS SOPS 39638 HAS SOUS 24061 HAS SOUPS 24061 WITH SCORE 24100.638
AT ITER 7046 NEW BEST:: SOT 188928 SOS 39494 HAS SOPS 39494 HAS SOUS 24024 HAS SOUPS 24024 WITH SCORE 24063.494
AT ITER 7077 NEW BEST:: SOT 188916 SOS 39462 HAS SOPS 39462 HAS SOUS 23993 HAS SOUPS 23993 WITH SCORE 24032.462
AT ITER 7096 NEW BEST:: SOT 188916 SOS 39461 HAS SOPS 39461 HAS SOUS 23992 HAS SOUPS 23992 WITH SCORE 24031.461
AT ITER 7103 NEW BEST:: SOT 188935 SOS 39446 HAS SOPS 39446 HAS SOUS 23986 HAS SOUPS 23986 WITH SCORE 24025.446
AT ITER 7128 NEW BEST:: SOT 188928 SOS 39425 HAS SOPS 39425 HAS SOUS 23977 HAS SOUPS 23977 WITH SCORE 24016.425
AT ITER 7138 NEW BEST:: SOT 188915 SOS 39399 HAS SOPS 39399 HAS SOUS 23972 HAS SOUPS 23972 WITH SCORE 24011.399
AT ITER 7148 NEW BEST:: SOT 188915 SOS 39381 HAS SOPS 39381 HAS SOUS 23972 HAS SOUPS 23972 WITH SCORE 24011.381
AT ITER 7176 NEW BEST:: SOT 188950 SOS 39355 HAS SOPS 39355 HAS SOUS 23959 HAS SOUPS 23959 WITH SCORE 23998.355
AT ITER 7216 NEW BEST:: SOT 188930 SOS 39335 HAS SOPS 39335 HAS SOUS 23959 HAS SOUPS 23959 WITH SCORE 23998.335
AT ITER 7232 NEW BEST:: SOT 188923 SOS 39321 HAS SOPS 39321 HAS SOUS 23945 HAS SOUPS 23945 WITH SCORE 23984.321
AT ITER 7249 NEW BEST:: SOT 188921 SOS 39319 HAS SOPS 39319 HAS SOUS 23943 HAS SOUPS 23943 WITH SCORE 23982.319
AT ITER 7261 NEW BEST:: SOT 188921 SOS 39305 HAS SOPS 39305 HAS SOUS 23784 HAS SOUPS 23784 WITH SCORE 23823.305
AT ITER 7279 NEW BEST:: SOT 188919 SOS 39301 HAS SOPS 39301 HAS SOUS 23776 HAS SOUPS 23776 WITH SCORE 23815.301
AT ITER 7359 NEW BEST:: SOT 188919 SOS 39305 HAS SOPS 39305 HAS SOUS 23769 HAS SOUPS 23769 WITH SCORE 23808.305
AT ITER 7393 NEW BEST:: SOT 188925 SOS 39291 HAS SOPS 39291 HAS SOUS 23755 HAS SOUPS 23755 WITH SCORE 23794.291
AT ITER 7431 NEW BEST:: SOT 188880 SOS 39246 HAS SOPS 39246 HAS SOUS 23755 HAS SOUPS 23755 WITH SCORE 23794.246
AT ITER 7456 NEW BEST:: SOT 188883 SOS 39249 HAS SOPS 39249 HAS SOUS 23753 HAS SOUPS 23753 WITH SCORE 23792.249
AT ITER 7489 NEW BEST:: SOT 188853 SOS 39189 HAS SOPS 39189 HAS SOUS 23746 HAS SOUPS 23746 WITH SCORE 23785.189
AT ITER 7548 NEW BEST:: SOT 188851 SOS 39185 HAS SOPS 39185 HAS SOUS 23744 HAS SOUPS 23744 WITH SCORE 23783.185
AT ITER 7569 NEW BEST:: SOT 188838 SOS 39133 HAS SOPS 39133 HAS SOUS 23718 HAS SOUPS 23718 WITH SCORE 23757.133
AT ITER 7586 NEW BEST:: SOT 188814 SOS 39085 HAS SOPS 39085 HAS SOUS 23700 HAS SOUPS 23700 WITH SCORE 23739.085
AT ITER 7632 NEW BEST:: SOT 188811 SOS 39082 HAS SOPS 39082 HAS SOUS 23697 HAS SOUPS 23697 WITH SCORE 23736.082
AT ITER 7661 NEW BEST:: SOT 188805 SOS 39076 HAS SOPS 39076 HAS SOUS 23687 HAS SOUPS 23687 WITH SCORE 23726.076
AT ITER 7673 NEW BEST:: SOT 188775 SOS 39016 HAS SOPS 39016 HAS SOUS 23657 HAS SOUPS 23657 WITH SCORE 23696.016
AT ITER 7697 NEW BEST:: SOT 188756 SOS 38956 HAS SOPS 38956 HAS SOUS 23616 HAS SOUPS 23616 WITH SCORE 23654.956
AT ITER 7703 NEW BEST:: SOT 188742 SOS 38942 HAS SOPS 38942 HAS SOUS 23616 HAS SOUPS 23616 WITH SCORE 23654.942
AT ITER 7708 NEW BEST:: SOT 188733 SOS 38924 HAS SOPS 38924 HAS SOUS 23616 HAS SOUPS 23616 WITH SCORE 23654.924
AT ITER 7723 NEW BEST:: SOT 188731 SOS 38922 HAS SOPS 38922 HAS SOUS 23616 HAS SOUPS 23616 WITH SCORE 23654.922
AT ITER 7773 NEW BEST:: SOT 188731 SOS 38740 HAS SOPS 38740 HAS SOUS 23602 HAS SOUPS 23602 WITH SCORE 23640.74
AT ITER 7777 NEW BEST:: SOT 188730 SOS 38738 HAS SOPS 38738 HAS SOUS 23600 HAS SOUPS 23600 WITH SCORE 23638.738
AT ITER 7799 NEW BEST:: SOT 188729 SOS 38735 HAS SOPS 38735 HAS SOUS 23598 HAS SOUPS 23598 WITH SCORE 23636.735
AT ITER 7810 NEW BEST:: SOT 188727 SOS 38731 HAS SOPS 38731 HAS SOUS 23596 HAS SOUPS 23596 WITH SCORE 23634.731
AT ITER 7825 NEW BEST:: SOT 188717 SOS 38754 HAS SOPS 38754 HAS SOUS 23576 HAS SOUPS 23576 WITH SCORE 23614.754
AT ITER 7853 NEW BEST:: SOT 188708 SOS 38719 HAS SOPS 38719 HAS SOUS 23541 HAS SOUPS 23541 WITH SCORE 23579.719
AT ITER 7861 NEW BEST:: SOT 188690 SOS 38683 HAS SOPS 38683 HAS SOUS 23505 HAS SOUPS 23505 WITH SCORE 23543.683
AT ITER 7875 NEW BEST:: SOT 188690 SOS 38623 HAS SOPS 38623 HAS SOUS 23501 HAS SOUPS 23501 WITH SCORE 23539.623
AT ITER 7923 NEW BEST:: SOT 188698 SOS 38609 HAS SOPS 38609 HAS SOUS 23491 HAS SOUPS 23491 WITH SCORE 23529.609
AT ITER 7953 NEW BEST:: SOT 188698 SOS 38607 HAS SOPS 38607 HAS SOUS 23491 HAS SOUPS 23491 WITH SCORE 23529.607
AT ITER 8006 NEW BEST:: SOT 188635 SOS 38544 HAS SOPS 38544 HAS SOUS 23449 HAS SOUPS 23449 WITH SCORE 23487.544
AT ITER 8063 NEW BEST:: SOT 188626 SOS 38565 HAS SOPS 38565 HAS SOUS 23431 HAS SOUPS 23431 WITH SCORE 23469.565
AT ITER 8069 NEW BEST:: SOT 188628 SOS 38569 HAS SOPS 38569 HAS SOUS 23417 HAS SOUPS 23417 WITH SCORE 23455.569
AT ITER 8088 NEW BEST:: SOT 188598 SOS 38527 HAS SOPS 38527 HAS SOUS 23375 HAS SOUPS 23375 WITH SCORE 23413.527
AT ITER 8095 NEW BEST:: SOT 188535 SOS 38653 HAS SOPS 38653 HAS SOUS 23333 HAS SOUPS 23333 WITH SCORE 23371.653
AT ITER 8106 NEW BEST:: SOT 188510 SOS 38614 HAS SOPS 38614 HAS SOUS 23302 HAS SOUPS 23302 WITH SCORE 23340.614
AT ITER 8130 NEW BEST:: SOT 188435 SOS 38464 HAS SOPS 38464 HAS SOUS 23184 HAS SOUPS 23184 WITH SCORE 23222.464
AT ITER 8140 NEW BEST:: SOT 188423 SOS 38453 HAS SOPS 38453 HAS SOUS 23173 HAS SOUPS 23173 WITH SCORE 23211.453
AT ITER 8143 NEW BEST:: SOT 188407 SOS 38450 HAS SOPS 38450 HAS SOUS 23170 HAS SOUPS 23170 WITH SCORE 23208.45
AT ITER 8225 NEW BEST:: SOT 188389 SOS 38449 HAS SOPS 38449 HAS SOUS 23169 HAS SOUPS 23169 WITH SCORE 23207.449
AT ITER 8253 NEW BEST:: SOT 188380 SOS 38440 HAS SOPS 38440 HAS SOUS 23151 HAS SOUPS 23151 WITH SCORE 23189.44
AT ITER 8289 NEW BEST:: SOT 188367 SOS 38427 HAS SOPS 38427 HAS SOUS 23138 HAS SOUPS 23138 WITH SCORE 23176.427
AT ITER 8300 NEW BEST:: SOT 188373 SOS 38439 HAS SOPS 38439 HAS SOUS 23122 HAS SOUPS 23122 WITH SCORE 23160.439
AT ITER 8331 NEW BEST:: SOT 188373 SOS 38438 HAS SOPS 38438 HAS SOUS 23121 HAS SOUPS 23121 WITH SCORE 23159.438
AT ITER 8337 NEW BEST:: SOT 188385 SOS 38450 HAS SOPS 38450 HAS SOUS 23107 HAS SOUPS 23107 WITH SCORE 23145.45
AT ITER 8363 NEW BEST:: SOT 188385 SOS 38431 HAS SOPS 38431 HAS SOUS 23096 HAS SOUPS 23096 WITH SCORE 23134.431
AT ITER 8412 NEW BEST:: SOT 188368 SOS 38498 HAS SOPS 38498 HAS SOUS 23079 HAS SOUPS 23079 WITH SCORE 23117.498
AT ITER 8431 NEW BEST:: SOT 188368 SOS 38498 HAS SOPS 38498 HAS SOUS 23076 HAS SOUPS 23076 WITH SCORE 23114.498
AT ITER 8441 NEW BEST:: SOT 188366 SOS 38494 HAS SOPS 38494 HAS SOUS 23072 HAS SOUPS 23072 WITH SCORE 23110.494
AT ITER 8469 NEW BEST:: SOT 188365 SOS 38492 HAS SOPS 38492 HAS SOUS 23065 HAS SOUPS 23065 WITH SCORE 23103.492
AT ITER 8497 NEW BEST:: SOT 188360 SOS 38448 HAS SOPS 38448 HAS SOUS 23049 HAS SOUPS 23049 WITH SCORE 23087.448
AT ITER 8516 NEW BEST:: SOT 188353 SOS 38417 HAS SOPS 38417 HAS SOUS 23035 HAS SOUPS 23035 WITH SCORE 23073.417
AT ITER 8544 NEW BEST:: SOT 188351 SOS 38416 HAS SOPS 38416 HAS SOUS 23034 HAS SOUPS 23034 WITH SCORE 23072.416
AT ITER 8587 NEW BEST:: SOT 188361 SOS 38405 HAS SOPS 38405 HAS SOUS 22994 HAS SOUPS 22994 WITH SCORE 23032.405
AT ITER 8605 NEW BEST:: SOT 188361 SOS 38379 HAS SOPS 38379 HAS SOUS 22968 HAS SOUPS 22968 WITH SCORE 23006.379
AT ITER 8688 NEW BEST:: SOT 188359 SOS 38375 HAS SOPS 38375 HAS SOUS 22964 HAS SOUPS 22964 WITH SCORE 23002.375
AT ITER 8741 NEW BEST:: SOT 188364 SOS 38413 HAS SOPS 38413 HAS SOUS 22963 HAS SOUPS 22963 WITH SCORE 23001.413
AT ITER 8748 NEW BEST:: SOT 188344 SOS 38421 HAS SOPS 38421 HAS SOUS 22947 HAS SOUPS 22947 WITH SCORE 22985.421
AT ITER 8760 NEW BEST:: SOT 188344 SOS 38388 HAS SOPS 38388 HAS SOUS 22943 HAS SOUPS 22943 WITH SCORE 22981.388
AT ITER 8794 NEW BEST:: SOT 188330 SOS 38374 HAS SOPS 38374 HAS SOUS 22929 HAS SOUPS 22929 WITH SCORE 22967.374
AT ITER 8903 NEW BEST:: SOT 188302 SOS 38350 HAS SOPS 38350 HAS SOUS 22903 HAS SOUPS 22903 WITH SCORE 22941.35
AT ITER 8937 NEW BEST:: SOT 188260 SOS 38655 HAS SOPS 38655 HAS SOUS 22891 HAS SOUPS 22891 WITH SCORE 22929.655
AT ITER 8968 NEW BEST:: SOT 188222 SOS 38579 HAS SOPS 38579 HAS SOUS 22815 HAS SOUPS 22815 WITH SCORE 22853.579
AT ITER 8999 NEW BEST:: SOT 188231 SOS 38579 HAS SOPS 38579 HAS SOUS 22806 HAS SOUPS 22806 WITH SCORE 22844.579
AT ITER 9010 NEW BEST:: SOT 188228 SOS 38576 HAS SOPS 38576 HAS SOUS 22803 HAS SOUPS 22803 WITH SCORE 22841.576
AT ITER 9040 NEW BEST:: SOT 188182 SOS 38557 HAS SOPS 38557 HAS SOUS 22784 HAS SOUPS 22784 WITH SCORE 22822.557
AT ITER 9055 NEW BEST:: SOT 188168 SOS 38547 HAS SOPS 38547 HAS SOUS 22758 HAS SOUPS 22758 WITH SCORE 22796.547
AT ITER 9065 NEW BEST:: SOT 188164 SOS 39133 HAS SOPS 39133 HAS SOUS 22754 HAS SOUPS 22754 WITH SCORE 22793.133
AT ITER 9121 NEW BEST:: SOT 188135 SOS 39104 HAS SOPS 39104 HAS SOUS 22696 HAS SOUPS 22696 WITH SCORE 22735.104
AT ITER 9164 NEW BEST:: SOT 188112 SOS 39086 HAS SOPS 39086 HAS SOUS 22678 HAS SOUPS 22678 WITH SCORE 22717.086
AT ITER 9312 NEW BEST:: SOT 188106 SOS 39080 HAS SOPS 39080 HAS SOUS 22674 HAS SOUPS 22674 WITH SCORE 22713.08
AT ITER 9321 NEW BEST:: SOT 188044 SOS 38883 HAS SOPS 38883 HAS SOUS 22533 HAS SOUPS 22533 WITH SCORE 22571.883
AT ITER 9357 NEW BEST:: SOT 188039 SOS 38873 HAS SOPS 38873 HAS SOUS 22523 HAS SOUPS 22523 WITH SCORE 22561.873
AT ITER 9451 NEW BEST:: SOT 188012 SOS 38844 HAS SOPS 38844 HAS SOUS 22494 HAS SOUPS 22494 WITH SCORE 22532.844
AT ITER 9533 NEW BEST:: SOT 187993 SOS 38806 HAS SOPS 38806 HAS SOUS 22472 HAS SOUPS 22472 WITH SCORE 22510.806
AT ITER 9609 NEW BEST:: SOT 187973 SOS 38800 HAS SOPS 38800 HAS SOUS 22469 HAS SOUPS 22469 WITH SCORE 22507.8
AT ITER 9629 NEW BEST:: SOT 187973 SOS 38799 HAS SOPS 38799 HAS SOUS 22468 HAS SOUPS 22468 WITH SCORE 22506.799
AT ITER 9662 NEW BEST:: SOT 187973 SOS 38770 HAS SOPS 38770 HAS SOUS 22439 HAS SOUPS 22439 WITH SCORE 22477.77
AT ITER 9686 NEW BEST:: SOT 187939 SOS 38700 HAS SOPS 38700 HAS SOUS 22369 HAS SOUPS 22369 WITH SCORE 22407.7
AT ITER 9725 NEW BEST:: SOT 187902 SOS 39041 HAS SOPS 39041 HAS SOUS 22358 HAS SOUPS 22358 WITH SCORE 22397.041
AT ITER 9733 NEW BEST:: SOT 187856 SOS 38995 HAS SOPS 38995 HAS SOUS 22317 HAS SOUPS 22317 WITH SCORE 22355.995
AT ITER 9756 NEW BEST:: SOT 187833 SOS 38972 HAS SOPS 38972 HAS SOUS 22294 HAS SOUPS 22294 WITH SCORE 22332.972
AT ITER 9791 NEW BEST:: SOT 187732 SOS 38855 HAS SOPS 38855 HAS SOUS 22198 HAS SOUPS 22198 WITH SCORE 22236.855
AT ITER 9836 NEW BEST:: SOT 187722 SOS 38835 HAS SOPS 38835 HAS SOUS 22183 HAS SOUPS 22183 WITH SCORE 22221.835
AT ITER 9892 NEW BEST:: SOT 187713 SOS 38817 HAS SOPS 38817 HAS SOUS 22165 HAS SOUPS 22165 WITH SCORE 22203.817
AT ITER 9912 NEW BEST:: SOT 187692 SOS 38775 HAS SOPS 38775 HAS SOUS 22123 HAS SOUPS 22123 WITH SCORE 22161.775
AT ITER 9948 NEW BEST:: SOT 187675 SOS 38741 HAS SOPS 38741 HAS SOUS 22109 HAS SOUPS 22109 WITH SCORE 22147.741
AT ITER 9966 NEW BEST:: SOT 187636 SOS 38846 HAS SOPS 38846 HAS SOUS 22031 HAS SOUPS 22031 WITH SCORE 22069.846
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3311448 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120600 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="SmartHome-PT-17"
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 SmartHome-PT-17, 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 r459-smll-167912651000288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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