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

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

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 592K
-rw-r--r-- 1 mcc users 5.9K Feb 26 05:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 05:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 05:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 05:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 05:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 164K Feb 26 05:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 05:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 05:41 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 102K 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 1679279872705

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-15
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 02:37:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 02:37:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 02:37:55] [INFO ] Load time of PNML (sax parser for PT used): 133 ms
[2023-03-20 02:37:55] [INFO ] Transformed 427 places.
[2023-03-20 02:37:55] [INFO ] Transformed 451 transitions.
[2023-03-20 02:37:55] [INFO ] Found NUPN structural information;
[2023-03-20 02:37:55] [INFO ] Parsed PT model containing 427 places and 451 transitions and 1038 arcs in 241 ms.
[2023-03-20 02:37:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 427 places, 451 transitions and 1038 arcs took 9 ms.
Total runtime 295 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 15
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: 427 places, 451 transitions, 1038 arcs.
AT ITER 0 NEW BEST:: SOT 114065 SOS 26207 HAS SOPS 26207 HAS SOUS 25530 HAS SOUPS 25530 WITH SCORE 25556.207
AT ITER 1 NEW BEST:: SOT 114079 SOS 26191 HAS SOPS 26191 HAS SOUS 25512 HAS SOUPS 25512 WITH SCORE 25538.191
AT ITER 13 NEW BEST:: SOT 114062 SOS 26157 HAS SOPS 26157 HAS SOUS 25478 HAS SOUPS 25478 WITH SCORE 25504.157
AT ITER 16 NEW BEST:: SOT 114026 SOS 26121 HAS SOPS 26121 HAS SOUS 25442 HAS SOUPS 25442 WITH SCORE 25468.121
AT ITER 18 NEW BEST:: SOT 114026 SOS 26076 HAS SOPS 26076 HAS SOUS 25397 HAS SOUPS 25397 WITH SCORE 25423.076
AT ITER 24 NEW BEST:: SOT 114023 SOS 26070 HAS SOPS 26070 HAS SOUS 25391 HAS SOUPS 25391 WITH SCORE 25417.07
AT ITER 42 NEW BEST:: SOT 112888 SOS 29217 HAS SOPS 29217 HAS SOUS 24660 HAS SOUPS 24660 WITH SCORE 24689.217
AT ITER 44 NEW BEST:: SOT 112734 SOS 28900 HAS SOPS 28900 HAS SOUS 24447 HAS SOUPS 24447 WITH SCORE 24475.9
AT ITER 49 NEW BEST:: SOT 112682 SOS 28642 HAS SOPS 28642 HAS SOUS 24343 HAS SOUPS 24343 WITH SCORE 24371.642
AT ITER 51 NEW BEST:: SOT 112656 SOS 28665 HAS SOPS 28665 HAS SOUS 24342 HAS SOUPS 24342 WITH SCORE 24370.665
AT ITER 68 NEW BEST:: SOT 112654 SOS 28661 HAS SOPS 28661 HAS SOUS 24338 HAS SOUPS 24338 WITH SCORE 24366.661
AT ITER 86 NEW BEST:: SOT 112653 SOS 28660 HAS SOPS 28660 HAS SOUS 24328 HAS SOUPS 24328 WITH SCORE 24356.66
AT ITER 105 NEW BEST:: SOT 112641 SOS 28666 HAS SOPS 28666 HAS SOUS 24323 HAS SOUPS 24323 WITH SCORE 24351.666
AT ITER 123 NEW BEST:: SOT 112237 SOS 28913 HAS SOPS 28913 HAS SOUS 24055 HAS SOUPS 24055 WITH SCORE 24083.913
AT ITER 125 NEW BEST:: SOT 112225 SOS 28889 HAS SOPS 28889 HAS SOUS 24037 HAS SOUPS 24037 WITH SCORE 24065.889
AT ITER 132 NEW BEST:: SOT 112105 SOS 28689 HAS SOPS 28689 HAS SOUS 23917 HAS SOUPS 23917 WITH SCORE 23945.689
AT ITER 133 NEW BEST:: SOT 112109 SOS 28678 HAS SOPS 28678 HAS SOUS 23906 HAS SOUPS 23906 WITH SCORE 23934.678
AT ITER 135 NEW BEST:: SOT 112015 SOS 28490 HAS SOPS 28490 HAS SOUS 23816 HAS SOUPS 23816 WITH SCORE 23844.49
AT ITER 140 NEW BEST:: SOT 111355 SOS 28626 HAS SOPS 28626 HAS SOUS 23268 HAS SOUPS 23268 WITH SCORE 23296.626
AT ITER 142 NEW BEST:: SOT 110428 SOS 30484 HAS SOPS 30484 HAS SOUS 22555 HAS SOUPS 22555 WITH SCORE 22585.484
AT ITER 152 NEW BEST:: SOT 110435 SOS 30464 HAS SOPS 30464 HAS SOUS 22535 HAS SOUPS 22535 WITH SCORE 22565.464
AT ITER 157 NEW BEST:: SOT 110435 SOS 30433 HAS SOPS 30433 HAS SOUS 22534 HAS SOUPS 22534 WITH SCORE 22564.433
AT ITER 161 NEW BEST:: SOT 109994 SOS 30542 HAS SOPS 30542 HAS SOUS 22188 HAS SOUPS 22188 WITH SCORE 22218.542
AT ITER 166 NEW BEST:: SOT 109899 SOS 30508 HAS SOPS 30508 HAS SOUS 22149 HAS SOUPS 22149 WITH SCORE 22179.508
AT ITER 170 NEW BEST:: SOT 109898 SOS 30427 HAS SOPS 30427 HAS SOUS 22068 HAS SOUPS 22068 WITH SCORE 22098.427
AT ITER 181 NEW BEST:: SOT 109898 SOS 30397 HAS SOPS 30397 HAS SOUS 22065 HAS SOUPS 22065 WITH SCORE 22095.397
AT ITER 189 NEW BEST:: SOT 109873 SOS 30385 HAS SOPS 30385 HAS SOUS 22059 HAS SOUPS 22059 WITH SCORE 22089.385
AT ITER 196 NEW BEST:: SOT 109860 SOS 30359 HAS SOPS 30359 HAS SOUS 22033 HAS SOUPS 22033 WITH SCORE 22063.359
AT ITER 200 NEW BEST:: SOT 109323 SOS 35136 HAS SOPS 35136 HAS SOUS 21987 HAS SOUPS 21987 WITH SCORE 22022.136
AT ITER 202 NEW BEST:: SOT 109296 SOS 35109 HAS SOPS 35109 HAS SOUS 21960 HAS SOUPS 21960 WITH SCORE 21995.109
AT ITER 204 NEW BEST:: SOT 109266 SOS 35049 HAS SOPS 35049 HAS SOUS 21930 HAS SOUPS 21930 WITH SCORE 21965.049
AT ITER 213 NEW BEST:: SOT 109140 SOS 34797 HAS SOPS 34797 HAS SOUS 21678 HAS SOUPS 21678 WITH SCORE 21712.797
AT ITER 219 NEW BEST:: SOT 109139 SOS 34795 HAS SOPS 34795 HAS SOUS 21550 HAS SOUPS 21550 WITH SCORE 21584.795
AT ITER 221 NEW BEST:: SOT 109154 SOS 34782 HAS SOPS 34782 HAS SOUS 21537 HAS SOUPS 21537 WITH SCORE 21571.782
AT ITER 239 NEW BEST:: SOT 109034 SOS 34758 HAS SOPS 34758 HAS SOUS 21513 HAS SOUPS 21513 WITH SCORE 21547.758
AT ITER 241 NEW BEST:: SOT 109034 SOS 34755 HAS SOPS 34755 HAS SOUS 21474 HAS SOUPS 21474 WITH SCORE 21508.755
AT ITER 244 NEW BEST:: SOT 109035 SOS 34725 HAS SOPS 34725 HAS SOUS 21443 HAS SOUPS 21443 WITH SCORE 21477.725
AT ITER 251 NEW BEST:: SOT 109025 SOS 34705 HAS SOPS 34705 HAS SOUS 21423 HAS SOUPS 21423 WITH SCORE 21457.705
AT ITER 270 NEW BEST:: SOT 109017 SOS 34635 HAS SOPS 34635 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21451.635
AT ITER 271 NEW BEST:: SOT 109022 SOS 34616 HAS SOPS 34616 HAS SOUS 21398 HAS SOUPS 21398 WITH SCORE 21432.616
AT ITER 275 NEW BEST:: SOT 108995 SOS 34588 HAS SOPS 34588 HAS SOUS 21370 HAS SOUPS 21370 WITH SCORE 21404.588
AT ITER 284 NEW BEST:: SOT 108989 SOS 34582 HAS SOPS 34582 HAS SOUS 21370 HAS SOUPS 21370 WITH SCORE 21404.582
AT ITER 291 NEW BEST:: SOT 108930 SOS 34464 HAS SOPS 34464 HAS SOUS 21311 HAS SOUPS 21311 WITH SCORE 21345.464
AT ITER 311 NEW BEST:: SOT 108925 SOS 34445 HAS SOPS 34445 HAS SOUS 21282 HAS SOUPS 21282 WITH SCORE 21316.445
AT ITER 337 NEW BEST:: SOT 108826 SOS 34332 HAS SOPS 34332 HAS SOUS 21075 HAS SOUPS 21075 WITH SCORE 21109.332
AT ITER 341 NEW BEST:: SOT 108451 SOS 34520 HAS SOPS 34520 HAS SOUS 20883 HAS SOUPS 20883 WITH SCORE 20917.52
AT ITER 342 NEW BEST:: SOT 108419 SOS 34472 HAS SOPS 34472 HAS SOUS 20851 HAS SOUPS 20851 WITH SCORE 20885.472
AT ITER 344 NEW BEST:: SOT 108332 SOS 34300 HAS SOPS 34300 HAS SOUS 20812 HAS SOUPS 20812 WITH SCORE 20846.3
AT ITER 370 NEW BEST:: SOT 108295 SOS 34262 HAS SOPS 34262 HAS SOUS 20809 HAS SOUPS 20809 WITH SCORE 20843.262
AT ITER 376 NEW BEST:: SOT 108295 SOS 34250 HAS SOPS 34250 HAS SOUS 20809 HAS SOUPS 20809 WITH SCORE 20843.25
AT ITER 382 NEW BEST:: SOT 108275 SOS 34210 HAS SOPS 34210 HAS SOUS 20807 HAS SOUPS 20807 WITH SCORE 20841.21
AT ITER 386 NEW BEST:: SOT 108253 SOS 34223 HAS SOPS 34223 HAS SOUS 20803 HAS SOUPS 20803 WITH SCORE 20837.223
AT ITER 388 NEW BEST:: SOT 108250 SOS 34214 HAS SOPS 34214 HAS SOUS 20797 HAS SOUPS 20797 WITH SCORE 20831.214
AT ITER 389 NEW BEST:: SOT 108209 SOS 34173 HAS SOPS 34173 HAS SOUS 20796 HAS SOUPS 20796 WITH SCORE 20830.173
AT ITER 395 NEW BEST:: SOT 108093 SOS 31757 HAS SOPS 31757 HAS SOUS 20674 HAS SOUPS 20674 WITH SCORE 20705.757
AT ITER 402 NEW BEST:: SOT 108092 SOS 31716 HAS SOPS 31716 HAS SOUS 20634 HAS SOUPS 20634 WITH SCORE 20665.716
AT ITER 408 NEW BEST:: SOT 108070 SOS 31694 HAS SOPS 31694 HAS SOUS 20612 HAS SOUPS 20612 WITH SCORE 20643.694
AT ITER 426 NEW BEST:: SOT 108034 SOS 31622 HAS SOPS 31622 HAS SOUS 20576 HAS SOUPS 20576 WITH SCORE 20607.622
AT ITER 440 NEW BEST:: SOT 107988 SOS 31576 HAS SOPS 31576 HAS SOUS 20569 HAS SOUPS 20569 WITH SCORE 20600.576
AT ITER 441 NEW BEST:: SOT 108021 SOS 31609 HAS SOPS 31609 HAS SOUS 20545 HAS SOUPS 20545 WITH SCORE 20576.609
AT ITER 443 NEW BEST:: SOT 108021 SOS 31609 HAS SOPS 31609 HAS SOUS 20492 HAS SOUPS 20492 WITH SCORE 20523.609
AT ITER 446 NEW BEST:: SOT 108022 SOS 31575 HAS SOPS 31575 HAS SOUS 20458 HAS SOUPS 20458 WITH SCORE 20489.575
AT ITER 454 NEW BEST:: SOT 108014 SOS 31559 HAS SOPS 31559 HAS SOUS 20458 HAS SOUPS 20458 WITH SCORE 20489.559
AT ITER 455 NEW BEST:: SOT 108010 SOS 31551 HAS SOPS 31551 HAS SOUS 20445 HAS SOUPS 20445 WITH SCORE 20476.551
AT ITER 460 NEW BEST:: SOT 107996 SOS 31537 HAS SOPS 31537 HAS SOUS 20445 HAS SOUPS 20445 WITH SCORE 20476.537
AT ITER 462 NEW BEST:: SOT 108071 SOS 31313 HAS SOPS 31313 HAS SOUS 20433 HAS SOUPS 20433 WITH SCORE 20464.313
AT ITER 479 NEW BEST:: SOT 108061 SOS 31283 HAS SOPS 31283 HAS SOUS 20403 HAS SOUPS 20403 WITH SCORE 20434.283
AT ITER 498 NEW BEST:: SOT 108041 SOS 31243 HAS SOPS 31243 HAS SOUS 20383 HAS SOUPS 20383 WITH SCORE 20414.243
AT ITER 510 NEW BEST:: SOT 108047 SOS 31249 HAS SOPS 31249 HAS SOUS 20377 HAS SOUPS 20377 WITH SCORE 20408.249
AT ITER 536 NEW BEST:: SOT 108018 SOS 31191 HAS SOPS 31191 HAS SOUS 20319 HAS SOUPS 20319 WITH SCORE 20350.191
AT ITER 544 NEW BEST:: SOT 108006 SOS 31167 HAS SOPS 31167 HAS SOUS 20295 HAS SOUPS 20295 WITH SCORE 20326.167
AT ITER 549 NEW BEST:: SOT 107996 SOS 31147 HAS SOPS 31147 HAS SOUS 20275 HAS SOUPS 20275 WITH SCORE 20306.147
AT ITER 561 NEW BEST:: SOT 107996 SOS 31147 HAS SOPS 31147 HAS SOUS 20221 HAS SOUPS 20221 WITH SCORE 20252.147
AT ITER 569 NEW BEST:: SOT 108000 SOS 31145 HAS SOPS 31145 HAS SOUS 20139 HAS SOUPS 20139 WITH SCORE 20170.145
AT ITER 574 NEW BEST:: SOT 107898 SOS 30950 HAS SOPS 30950 HAS SOUS 19985 HAS SOUPS 19985 WITH SCORE 20015.95
AT ITER 576 NEW BEST:: SOT 107862 SOS 30878 HAS SOPS 30878 HAS SOUS 19985 HAS SOUPS 19985 WITH SCORE 20015.878
AT ITER 578 NEW BEST:: SOT 107801 SOS 30817 HAS SOPS 30817 HAS SOUS 19985 HAS SOUPS 19985 WITH SCORE 20015.817
AT ITER 606 NEW BEST:: SOT 107780 SOS 30775 HAS SOPS 30775 HAS SOUS 19960 HAS SOUPS 19960 WITH SCORE 19990.775
AT ITER 608 NEW BEST:: SOT 107780 SOS 30731 HAS SOPS 30731 HAS SOUS 19916 HAS SOUPS 19916 WITH SCORE 19946.731
AT ITER 611 NEW BEST:: SOT 107779 SOS 30813 HAS SOPS 30813 HAS SOUS 19915 HAS SOUPS 19915 WITH SCORE 19945.813
AT ITER 614 NEW BEST:: SOT 107695 SOS 30645 HAS SOPS 30645 HAS SOUS 19830 HAS SOUPS 19830 WITH SCORE 19860.645
AT ITER 616 NEW BEST:: SOT 107692 SOS 30642 HAS SOPS 30642 HAS SOUS 19830 HAS SOUPS 19830 WITH SCORE 19860.642
AT ITER 617 NEW BEST:: SOT 107677 SOS 30627 HAS SOPS 30627 HAS SOUS 19815 HAS SOUPS 19815 WITH SCORE 19845.627
AT ITER 619 NEW BEST:: SOT 107645 SOS 30627 HAS SOPS 30627 HAS SOUS 19797 HAS SOUPS 19797 WITH SCORE 19827.627
AT ITER 623 NEW BEST:: SOT 107635 SOS 30607 HAS SOPS 30607 HAS SOUS 19787 HAS SOUPS 19787 WITH SCORE 19817.607
AT ITER 642 NEW BEST:: SOT 107605 SOS 30507 HAS SOPS 30507 HAS SOUS 19726 HAS SOUPS 19726 WITH SCORE 19756.507
AT ITER 680 NEW BEST:: SOT 107605 SOS 30505 HAS SOPS 30505 HAS SOUS 19724 HAS SOUPS 19724 WITH SCORE 19754.505
AT ITER 726 NEW BEST:: SOT 107629 SOS 30529 HAS SOPS 30529 HAS SOUS 19720 HAS SOUPS 19720 WITH SCORE 19750.529
AT ITER 736 NEW BEST:: SOT 107626 SOS 30523 HAS SOPS 30523 HAS SOUS 19639 HAS SOUPS 19639 WITH SCORE 19669.523
AT ITER 739 NEW BEST:: SOT 107588 SOS 30485 HAS SOPS 30485 HAS SOUS 19635 HAS SOUPS 19635 WITH SCORE 19665.485
AT ITER 788 NEW BEST:: SOT 107588 SOS 30485 HAS SOPS 30485 HAS SOUS 19629 HAS SOUPS 19629 WITH SCORE 19659.485
AT ITER 798 NEW BEST:: SOT 107588 SOS 30476 HAS SOPS 30476 HAS SOUS 19620 HAS SOUPS 19620 WITH SCORE 19650.476
AT ITER 799 NEW BEST:: SOT 107583 SOS 30471 HAS SOPS 30471 HAS SOUS 19615 HAS SOUPS 19615 WITH SCORE 19645.471
AT ITER 831 NEW BEST:: SOT 107573 SOS 30451 HAS SOPS 30451 HAS SOUS 19595 HAS SOUPS 19595 WITH SCORE 19625.451
AT ITER 832 NEW BEST:: SOT 107887 SOS 25761 HAS SOPS 25761 HAS SOUS 19518 HAS SOUPS 19518 WITH SCORE 19543.761
AT ITER 839 NEW BEST:: SOT 107829 SOS 25682 HAS SOPS 25682 HAS SOUS 19439 HAS SOUPS 19439 WITH SCORE 19464.682
AT ITER 843 NEW BEST:: SOT 107823 SOS 25676 HAS SOPS 25676 HAS SOUS 19433 HAS SOUPS 19433 WITH SCORE 19458.676
AT ITER 860 NEW BEST:: SOT 107823 SOS 25673 HAS SOPS 25673 HAS SOUS 19433 HAS SOUPS 19433 WITH SCORE 19458.673
AT ITER 867 NEW BEST:: SOT 107753 SOS 25603 HAS SOPS 25603 HAS SOUS 19331 HAS SOUPS 19331 WITH SCORE 19356.603
AT ITER 915 NEW BEST:: SOT 107753 SOS 25537 HAS SOPS 25537 HAS SOUS 19306 HAS SOUPS 19306 WITH SCORE 19331.537
AT ITER 920 NEW BEST:: SOT 107752 SOS 25535 HAS SOPS 25535 HAS SOUS 19304 HAS SOUPS 19304 WITH SCORE 19329.535
AT ITER 922 NEW BEST:: SOT 107740 SOS 25511 HAS SOPS 25511 HAS SOUS 19292 HAS SOUPS 19292 WITH SCORE 19317.511
AT ITER 925 NEW BEST:: SOT 107750 SOS 25531 HAS SOPS 25531 HAS SOUS 19264 HAS SOUPS 19264 WITH SCORE 19289.531
AT ITER 941 NEW BEST:: SOT 107732 SOS 25513 HAS SOPS 25513 HAS SOUS 19246 HAS SOUPS 19246 WITH SCORE 19271.513
AT ITER 942 NEW BEST:: SOT 107698 SOS 25513 HAS SOPS 25513 HAS SOUS 19212 HAS SOUPS 19212 WITH SCORE 19237.513
AT ITER 954 NEW BEST:: SOT 107757 SOS 25526 HAS SOPS 25526 HAS SOUS 19174 HAS SOUPS 19174 WITH SCORE 19199.526
AT ITER 959 NEW BEST:: SOT 107714 SOS 25440 HAS SOPS 25440 HAS SOUS 19128 HAS SOUPS 19128 WITH SCORE 19153.44
AT ITER 961 NEW BEST:: SOT 107714 SOS 25440 HAS SOPS 25440 HAS SOUS 19119 HAS SOUPS 19119 WITH SCORE 19144.44
AT ITER 972 NEW BEST:: SOT 107714 SOS 25436 HAS SOPS 25436 HAS SOUS 19115 HAS SOUPS 19115 WITH SCORE 19140.436
AT ITER 1029 NEW BEST:: SOT 107687 SOS 25409 HAS SOPS 25409 HAS SOUS 19115 HAS SOUPS 19115 WITH SCORE 19140.409
AT ITER 1035 NEW BEST:: SOT 107675 SOS 25395 HAS SOPS 25395 HAS SOUS 19103 HAS SOUPS 19103 WITH SCORE 19128.395
AT ITER 1040 NEW BEST:: SOT 107673 SOS 25393 HAS SOPS 25393 HAS SOUS 19101 HAS SOUPS 19101 WITH SCORE 19126.393
AT ITER 1041 NEW BEST:: SOT 107677 SOS 25307 HAS SOPS 25307 HAS SOUS 19063 HAS SOUPS 19063 WITH SCORE 19088.307
AT ITER 1055 NEW BEST:: SOT 107677 SOS 25305 HAS SOPS 25305 HAS SOUS 19061 HAS SOUPS 19061 WITH SCORE 19086.305
AT ITER 1064 NEW BEST:: SOT 107685 SOS 25282 HAS SOPS 25282 HAS SOUS 19038 HAS SOUPS 19038 WITH SCORE 19063.282
AT ITER 1068 NEW BEST:: SOT 107693 SOS 25290 HAS SOPS 25290 HAS SOUS 19020 HAS SOUPS 19020 WITH SCORE 19045.29
AT ITER 1078 NEW BEST:: SOT 107693 SOS 25291 HAS SOPS 25291 HAS SOUS 19019 HAS SOUPS 19019 WITH SCORE 19044.291
AT ITER 1086 NEW BEST:: SOT 107581 SOS 25067 HAS SOPS 25067 HAS SOUS 19018 HAS SOUPS 19018 WITH SCORE 19043.067
AT ITER 1103 NEW BEST:: SOT 107565 SOS 25043 HAS SOPS 25043 HAS SOUS 18994 HAS SOUPS 18994 WITH SCORE 19019.043
AT ITER 1133 NEW BEST:: SOT 107541 SOS 25107 HAS SOPS 25107 HAS SOUS 18985 HAS SOUPS 18985 WITH SCORE 19010.107
AT ITER 1134 NEW BEST:: SOT 107541 SOS 25107 HAS SOPS 25107 HAS SOUS 18807 HAS SOUPS 18807 WITH SCORE 18832.107
AT ITER 1143 NEW BEST:: SOT 107344 SOS 25468 HAS SOPS 25468 HAS SOUS 18671 HAS SOUPS 18671 WITH SCORE 18696.468
AT ITER 1150 NEW BEST:: SOT 107314 SOS 25408 HAS SOPS 25408 HAS SOUS 18641 HAS SOUPS 18641 WITH SCORE 18666.408
AT ITER 1164 NEW BEST:: SOT 107273 SOS 25367 HAS SOPS 25367 HAS SOUS 18600 HAS SOUPS 18600 WITH SCORE 18625.367
AT ITER 1175 NEW BEST:: SOT 107252 SOS 25346 HAS SOPS 25346 HAS SOUS 18600 HAS SOUPS 18600 WITH SCORE 18625.346
AT ITER 1186 NEW BEST:: SOT 107234 SOS 25331 HAS SOPS 25331 HAS SOUS 18585 HAS SOUPS 18585 WITH SCORE 18610.331
AT ITER 1191 NEW BEST:: SOT 107236 SOS 25309 HAS SOPS 25309 HAS SOUS 18585 HAS SOUPS 18585 WITH SCORE 18610.309
AT ITER 1192 NEW BEST:: SOT 107196 SOS 25269 HAS SOPS 25269 HAS SOUS 18545 HAS SOUPS 18545 WITH SCORE 18570.269
AT ITER 1203 NEW BEST:: SOT 107195 SOS 25267 HAS SOPS 25267 HAS SOUS 18543 HAS SOUPS 18543 WITH SCORE 18568.267
AT ITER 1221 NEW BEST:: SOT 107081 SOS 26469 HAS SOPS 26469 HAS SOUS 18533 HAS SOUPS 18533 WITH SCORE 18559.469
AT ITER 1228 NEW BEST:: SOT 107161 SOS 26410 HAS SOPS 26410 HAS SOUS 18474 HAS SOUPS 18474 WITH SCORE 18500.41
AT ITER 1236 NEW BEST:: SOT 107111 SOS 26335 HAS SOPS 26335 HAS SOUS 18424 HAS SOUPS 18424 WITH SCORE 18450.335
AT ITER 1251 NEW BEST:: SOT 107146 SOS 26405 HAS SOPS 26405 HAS SOUS 18410 HAS SOUPS 18410 WITH SCORE 18436.405
AT ITER 1268 NEW BEST:: SOT 107128 SOS 26385 HAS SOPS 26385 HAS SOUS 18390 HAS SOUPS 18390 WITH SCORE 18416.385
AT ITER 1287 NEW BEST:: SOT 107121 SOS 26371 HAS SOPS 26371 HAS SOUS 18376 HAS SOUPS 18376 WITH SCORE 18402.371
AT ITER 1293 NEW BEST:: SOT 107096 SOS 26321 HAS SOPS 26321 HAS SOUS 18376 HAS SOUPS 18376 WITH SCORE 18402.321
AT ITER 1298 NEW BEST:: SOT 107090 SOS 26309 HAS SOPS 26309 HAS SOUS 18364 HAS SOUPS 18364 WITH SCORE 18390.309
AT ITER 1307 NEW BEST:: SOT 107071 SOS 25963 HAS SOPS 25963 HAS SOUS 18323 HAS SOUPS 18323 WITH SCORE 18348.963
AT ITER 1338 NEW BEST:: SOT 107055 SOS 25931 HAS SOPS 25931 HAS SOUS 18307 HAS SOUPS 18307 WITH SCORE 18332.931
AT ITER 1339 NEW BEST:: SOT 107040 SOS 25977 HAS SOPS 25977 HAS SOUS 18303 HAS SOUPS 18303 WITH SCORE 18328.977
AT ITER 1363 NEW BEST:: SOT 107023 SOS 25952 HAS SOPS 25952 HAS SOUS 18278 HAS SOUPS 18278 WITH SCORE 18303.952
AT ITER 1366 NEW BEST:: SOT 107023 SOS 25946 HAS SOPS 25946 HAS SOUS 18272 HAS SOUPS 18272 WITH SCORE 18297.946
AT ITER 1373 NEW BEST:: SOT 107004 SOS 25908 HAS SOPS 25908 HAS SOUS 18253 HAS SOUPS 18253 WITH SCORE 18278.908
AT ITER 1376 NEW BEST:: SOT 106989 SOS 25893 HAS SOPS 25893 HAS SOUS 18234 HAS SOUPS 18234 WITH SCORE 18259.893
AT ITER 1378 NEW BEST:: SOT 106998 SOS 25851 HAS SOPS 25851 HAS SOUS 18192 HAS SOUPS 18192 WITH SCORE 18217.851
AT ITER 1411 NEW BEST:: SOT 106973 SOS 25801 HAS SOPS 25801 HAS SOUS 18134 HAS SOUPS 18134 WITH SCORE 18159.801
AT ITER 1421 NEW BEST:: SOT 106974 SOS 25787 HAS SOPS 25787 HAS SOUS 18120 HAS SOUPS 18120 WITH SCORE 18145.787
AT ITER 1439 NEW BEST:: SOT 106977 SOS 25736 HAS SOPS 25736 HAS SOUS 18091 HAS SOUPS 18091 WITH SCORE 18116.736
AT ITER 1450 NEW BEST:: SOT 106976 SOS 25727 HAS SOPS 25727 HAS SOUS 18082 HAS SOUPS 18082 WITH SCORE 18107.727
AT ITER 1451 NEW BEST:: SOT 106947 SOS 25698 HAS SOPS 25698 HAS SOUS 18053 HAS SOUPS 18053 WITH SCORE 18078.698
AT ITER 1452 NEW BEST:: SOT 106947 SOS 25631 HAS SOPS 25631 HAS SOUS 18053 HAS SOUPS 18053 WITH SCORE 18078.631
AT ITER 1461 NEW BEST:: SOT 106932 SOS 25601 HAS SOPS 25601 HAS SOUS 18014 HAS SOUPS 18014 WITH SCORE 18039.601
AT ITER 1487 NEW BEST:: SOT 106929 SOS 25601 HAS SOPS 25601 HAS SOUS 18008 HAS SOUPS 18008 WITH SCORE 18033.601
AT ITER 1491 NEW BEST:: SOT 106934 SOS 25570 HAS SOPS 25570 HAS SOUS 18006 HAS SOUPS 18006 WITH SCORE 18031.57
AT ITER 1500 NEW BEST:: SOT 106924 SOS 25475 HAS SOPS 25475 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18011.475
AT ITER 1521 NEW BEST:: SOT 106926 SOS 25477 HAS SOPS 25477 HAS SOUS 17967 HAS SOUPS 17967 WITH SCORE 17992.477
AT ITER 1522 NEW BEST:: SOT 106866 SOS 25357 HAS SOPS 25357 HAS SOUS 17849 HAS SOUPS 17849 WITH SCORE 17874.357
AT ITER 1543 NEW BEST:: SOT 106866 SOS 25282 HAS SOPS 25282 HAS SOUS 17849 HAS SOUPS 17849 WITH SCORE 17874.282
AT ITER 1546 NEW BEST:: SOT 106865 SOS 25281 HAS SOPS 25281 HAS SOUS 17834 HAS SOUPS 17834 WITH SCORE 17859.281
AT ITER 1563 NEW BEST:: SOT 106864 SOS 25256 HAS SOPS 25256 HAS SOUS 17833 HAS SOUPS 17833 WITH SCORE 17858.256
AT ITER 1564 NEW BEST:: SOT 106839 SOS 25206 HAS SOPS 25206 HAS SOUS 17808 HAS SOUPS 17808 WITH SCORE 17833.206
AT ITER 1589 NEW BEST:: SOT 106830 SOS 25203 HAS SOPS 25203 HAS SOUS 17805 HAS SOUPS 17805 WITH SCORE 17830.203
AT ITER 1601 NEW BEST:: SOT 106846 SOS 25215 HAS SOPS 25215 HAS SOUS 17801 HAS SOUPS 17801 WITH SCORE 17826.215
AT ITER 1612 NEW BEST:: SOT 106828 SOS 25188 HAS SOPS 25188 HAS SOUS 17774 HAS SOUPS 17774 WITH SCORE 17799.188
AT ITER 1641 NEW BEST:: SOT 106798 SOS 25078 HAS SOPS 25078 HAS SOUS 17694 HAS SOUPS 17694 WITH SCORE 17719.078
AT ITER 1643 NEW BEST:: SOT 106798 SOS 25080 HAS SOPS 25080 HAS SOUS 17692 HAS SOUPS 17692 WITH SCORE 17717.08
AT ITER 1650 NEW BEST:: SOT 106843 SOS 25170 HAS SOPS 25170 HAS SOUS 17678 HAS SOUPS 17678 WITH SCORE 17703.17
AT ITER 1669 NEW BEST:: SOT 106837 SOS 25164 HAS SOPS 25164 HAS SOUS 17678 HAS SOUPS 17678 WITH SCORE 17703.164
AT ITER 1673 NEW BEST:: SOT 106936 SOS 25353 HAS SOPS 25353 HAS SOUS 17673 HAS SOUPS 17673 WITH SCORE 17698.353
AT ITER 1692 NEW BEST:: SOT 106936 SOS 25342 HAS SOPS 25342 HAS SOUS 17662 HAS SOUPS 17662 WITH SCORE 17687.342
AT ITER 1694 NEW BEST:: SOT 106936 SOS 25339 HAS SOPS 25339 HAS SOUS 17662 HAS SOUPS 17662 WITH SCORE 17687.339
AT ITER 1705 NEW BEST:: SOT 106884 SOS 25325 HAS SOPS 25325 HAS SOUS 17610 HAS SOUPS 17610 WITH SCORE 17635.325
AT ITER 1712 NEW BEST:: SOT 106885 SOS 25326 HAS SOPS 25326 HAS SOUS 17556 HAS SOUPS 17556 WITH SCORE 17581.326
AT ITER 1731 NEW BEST:: SOT 106897 SOS 25317 HAS SOPS 25317 HAS SOUS 17547 HAS SOUPS 17547 WITH SCORE 17572.317
AT ITER 1751 NEW BEST:: SOT 106896 SOS 25315 HAS SOPS 25315 HAS SOUS 17545 HAS SOUPS 17545 WITH SCORE 17570.315
AT ITER 1822 NEW BEST:: SOT 106890 SOS 25309 HAS SOPS 25309 HAS SOUS 17539 HAS SOUPS 17539 WITH SCORE 17564.309
AT ITER 1827 NEW BEST:: SOT 106890 SOS 25313 HAS SOPS 25313 HAS SOUS 17535 HAS SOUPS 17535 WITH SCORE 17560.313
AT ITER 1839 NEW BEST:: SOT 106888 SOS 25311 HAS SOPS 25311 HAS SOUS 17533 HAS SOUPS 17533 WITH SCORE 17558.311
AT ITER 1873 NEW BEST:: SOT 106888 SOS 25309 HAS SOPS 25309 HAS SOUS 17533 HAS SOUPS 17533 WITH SCORE 17558.309
AT ITER 1885 NEW BEST:: SOT 106881 SOS 25295 HAS SOPS 25295 HAS SOUS 17519 HAS SOUPS 17519 WITH SCORE 17544.295
AT ITER 1887 NEW BEST:: SOT 106906 SOS 25326 HAS SOPS 25326 HAS SOUS 17500 HAS SOUPS 17500 WITH SCORE 17525.326
AT ITER 1905 NEW BEST:: SOT 106956 SOS 25376 HAS SOPS 25376 HAS SOUS 17499 HAS SOUPS 17499 WITH SCORE 17524.376
AT ITER 1913 NEW BEST:: SOT 106938 SOS 25340 HAS SOPS 25340 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17499.34
AT ITER 1916 NEW BEST:: SOT 106937 SOS 25315 HAS SOPS 25315 HAS SOUS 17458 HAS SOUPS 17458 WITH SCORE 17483.315
AT ITER 1924 NEW BEST:: SOT 106928 SOS 25417 HAS SOPS 25417 HAS SOUS 17449 HAS SOUPS 17449 WITH SCORE 17474.417
AT ITER 1975 NEW BEST:: SOT 106928 SOS 25398 HAS SOPS 25398 HAS SOUS 17430 HAS SOUPS 17430 WITH SCORE 17455.398
AT ITER 1993 NEW BEST:: SOT 106914 SOS 25370 HAS SOPS 25370 HAS SOUS 17377 HAS SOUPS 17377 WITH SCORE 17402.37
AT ITER 2029 NEW BEST:: SOT 106906 SOS 25354 HAS SOPS 25354 HAS SOUS 17369 HAS SOUPS 17369 WITH SCORE 17394.354
AT ITER 2033 NEW BEST:: SOT 106899 SOS 25354 HAS SOPS 25354 HAS SOUS 17356 HAS SOUPS 17356 WITH SCORE 17381.354
AT ITER 2046 NEW BEST:: SOT 106899 SOS 25354 HAS SOPS 25354 HAS SOUS 17354 HAS SOUPS 17354 WITH SCORE 17379.354
AT ITER 2047 NEW BEST:: SOT 106899 SOS 25354 HAS SOPS 25354 HAS SOUS 17353 HAS SOUPS 17353 WITH SCORE 17378.354
AT ITER 2068 NEW BEST:: SOT 106872 SOS 25300 HAS SOPS 25300 HAS SOUS 17299 HAS SOUPS 17299 WITH SCORE 17324.3
AT ITER 2090 NEW BEST:: SOT 106855 SOS 25266 HAS SOPS 25266 HAS SOUS 17286 HAS SOUPS 17286 WITH SCORE 17311.266
AT ITER 2103 NEW BEST:: SOT 106903 SOS 24644 HAS SOPS 24644 HAS SOUS 17281 HAS SOUPS 17281 WITH SCORE 17305.644
AT ITER 2135 NEW BEST:: SOT 106903 SOS 24644 HAS SOPS 24644 HAS SOUS 17280 HAS SOUPS 17280 WITH SCORE 17304.644
AT ITER 2159 NEW BEST:: SOT 106891 SOS 24632 HAS SOPS 24632 HAS SOUS 17268 HAS SOUPS 17268 WITH SCORE 17292.632
AT ITER 2161 NEW BEST:: SOT 106893 SOS 24625 HAS SOPS 24625 HAS SOUS 17261 HAS SOUPS 17261 WITH SCORE 17285.625
AT ITER 2182 NEW BEST:: SOT 106876 SOS 24608 HAS SOPS 24608 HAS SOUS 17244 HAS SOUPS 17244 WITH SCORE 17268.608
AT ITER 2184 NEW BEST:: SOT 106870 SOS 24530 HAS SOPS 24530 HAS SOUS 17194 HAS SOUPS 17194 WITH SCORE 17218.53
AT ITER 2185 NEW BEST:: SOT 106870 SOS 24526 HAS SOPS 24526 HAS SOUS 17194 HAS SOUPS 17194 WITH SCORE 17218.526
AT ITER 2199 NEW BEST:: SOT 106870 SOS 24516 HAS SOPS 24516 HAS SOUS 17194 HAS SOUPS 17194 WITH SCORE 17218.516
AT ITER 2210 NEW BEST:: SOT 106847 SOS 24489 HAS SOPS 24489 HAS SOUS 17186 HAS SOUPS 17186 WITH SCORE 17210.489
AT ITER 2214 NEW BEST:: SOT 106821 SOS 24437 HAS SOPS 24437 HAS SOUS 17186 HAS SOUPS 17186 WITH SCORE 17210.437
AT ITER 2223 NEW BEST:: SOT 106805 SOS 24421 HAS SOPS 24421 HAS SOUS 17170 HAS SOUPS 17170 WITH SCORE 17194.421
AT ITER 2227 NEW BEST:: SOT 106827 SOS 24396 HAS SOPS 24396 HAS SOUS 17166 HAS SOUPS 17166 WITH SCORE 17190.396
AT ITER 2243 NEW BEST:: SOT 106825 SOS 24394 HAS SOPS 24394 HAS SOUS 17166 HAS SOUPS 17166 WITH SCORE 17190.394
AT ITER 2245 NEW BEST:: SOT 106789 SOS 24358 HAS SOPS 24358 HAS SOUS 17130 HAS SOUPS 17130 WITH SCORE 17154.358
AT ITER 2254 NEW BEST:: SOT 106788 SOS 24344 HAS SOPS 24344 HAS SOUS 17115 HAS SOUPS 17115 WITH SCORE 17139.344
AT ITER 2269 NEW BEST:: SOT 106818 SOS 24359 HAS SOPS 24359 HAS SOUS 17114 HAS SOUPS 17114 WITH SCORE 17138.359
AT ITER 2270 NEW BEST:: SOT 106792 SOS 24221 HAS SOPS 24221 HAS SOUS 17088 HAS SOUPS 17088 WITH SCORE 17112.221
AT ITER 2276 NEW BEST:: SOT 106792 SOS 24185 HAS SOPS 24185 HAS SOUS 17088 HAS SOUPS 17088 WITH SCORE 17112.185
AT ITER 2289 NEW BEST:: SOT 106807 SOS 24215 HAS SOPS 24215 HAS SOUS 17055 HAS SOUPS 17055 WITH SCORE 17079.215
AT ITER 2297 NEW BEST:: SOT 106797 SOS 24214 HAS SOPS 24214 HAS SOUS 17050 HAS SOUPS 17050 WITH SCORE 17074.214
AT ITER 2314 NEW BEST:: SOT 106751 SOS 24122 HAS SOPS 24122 HAS SOUS 16987 HAS SOUPS 16987 WITH SCORE 17011.122
AT ITER 2340 NEW BEST:: SOT 106731 SOS 24078 HAS SOPS 24078 HAS SOUS 16964 HAS SOUPS 16964 WITH SCORE 16988.078
AT ITER 2346 NEW BEST:: SOT 106709 SOS 24048 HAS SOPS 24048 HAS SOUS 16934 HAS SOUPS 16934 WITH SCORE 16958.048
AT ITER 2358 NEW BEST:: SOT 106697 SOS 24024 HAS SOPS 24024 HAS SOUS 16910 HAS SOUPS 16910 WITH SCORE 16934.024
AT ITER 2386 NEW BEST:: SOT 106681 SOS 24008 HAS SOPS 24008 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16918.008
AT ITER 2574 NEW BEST:: SOT 106676 SOS 23966 HAS SOPS 23966 HAS SOUS 16861 HAS SOUPS 16861 WITH SCORE 16884.966
AT ITER 2606 NEW BEST:: SOT 106671 SOS 23961 HAS SOPS 23961 HAS SOUS 16856 HAS SOUPS 16856 WITH SCORE 16879.961
AT ITER 2630 NEW BEST:: SOT 106667 SOS 23953 HAS SOPS 23953 HAS SOUS 16848 HAS SOUPS 16848 WITH SCORE 16871.953
AT ITER 2637 NEW BEST:: SOT 106666 SOS 23951 HAS SOPS 23951 HAS SOUS 16846 HAS SOUPS 16846 WITH SCORE 16869.951
AT ITER 2650 NEW BEST:: SOT 106693 SOS 23941 HAS SOPS 23941 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16859.941
AT ITER 2660 NEW BEST:: SOT 106683 SOS 23941 HAS SOPS 23941 HAS SOUS 16826 HAS SOUPS 16826 WITH SCORE 16849.941
AT ITER 2666 NEW BEST:: SOT 106683 SOS 23914 HAS SOPS 23914 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16822.914
AT ITER 2682 NEW BEST:: SOT 106675 SOS 23989 HAS SOPS 23989 HAS SOUS 16791 HAS SOUPS 16791 WITH SCORE 16814.989
AT ITER 2692 NEW BEST:: SOT 106664 SOS 23934 HAS SOPS 23934 HAS SOUS 16769 HAS SOUPS 16769 WITH SCORE 16792.934
AT ITER 2693 NEW BEST:: SOT 106642 SOS 23890 HAS SOPS 23890 HAS SOUS 16725 HAS SOUPS 16725 WITH SCORE 16748.89
AT ITER 2701 NEW BEST:: SOT 106622 SOS 23871 HAS SOPS 23871 HAS SOUS 16706 HAS SOUPS 16706 WITH SCORE 16729.871
AT ITER 2760 NEW BEST:: SOT 106616 SOS 23859 HAS SOPS 23859 HAS SOUS 16706 HAS SOUPS 16706 WITH SCORE 16729.859
AT ITER 2761 NEW BEST:: SOT 106611 SOS 23849 HAS SOPS 23849 HAS SOUS 16701 HAS SOUPS 16701 WITH SCORE 16724.849
AT ITER 2773 NEW BEST:: SOT 106611 SOS 23849 HAS SOPS 23849 HAS SOUS 16699 HAS SOUPS 16699 WITH SCORE 16722.849
AT ITER 2788 NEW BEST:: SOT 106596 SOS 23842 HAS SOPS 23842 HAS SOUS 16677 HAS SOUPS 16677 WITH SCORE 16700.842
AT ITER 2793 NEW BEST:: SOT 106597 SOS 23828 HAS SOPS 23828 HAS SOUS 16663 HAS SOUPS 16663 WITH SCORE 16686.828
AT ITER 2794 NEW BEST:: SOT 106536 SOS 23990 HAS SOPS 23990 HAS SOUS 16617 HAS SOUPS 16617 WITH SCORE 16640.99
AT ITER 2810 NEW BEST:: SOT 106536 SOS 23986 HAS SOPS 23986 HAS SOUS 16613 HAS SOUPS 16613 WITH SCORE 16636.986
AT ITER 2815 NEW BEST:: SOT 106524 SOS 23974 HAS SOPS 23974 HAS SOUS 16601 HAS SOUPS 16601 WITH SCORE 16624.974
AT ITER 2816 NEW BEST:: SOT 106521 SOS 23971 HAS SOPS 23971 HAS SOUS 16598 HAS SOUPS 16598 WITH SCORE 16621.971
AT ITER 2829 NEW BEST:: SOT 106521 SOS 23911 HAS SOPS 23911 HAS SOUS 16558 HAS SOUPS 16558 WITH SCORE 16581.911
AT ITER 2833 NEW BEST:: SOT 106521 SOS 23908 HAS SOPS 23908 HAS SOUS 16558 HAS SOUPS 16558 WITH SCORE 16581.908
AT ITER 2834 NEW BEST:: SOT 106515 SOS 23896 HAS SOPS 23896 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16569.896
AT ITER 2901 NEW BEST:: SOT 106493 SOS 23870 HAS SOPS 23870 HAS SOUS 16538 HAS SOUPS 16538 WITH SCORE 16561.87
AT ITER 2918 NEW BEST:: SOT 106493 SOS 23840 HAS SOPS 23840 HAS SOUS 16508 HAS SOUPS 16508 WITH SCORE 16531.84
AT ITER 2931 NEW BEST:: SOT 106426 SOS 23778 HAS SOPS 23778 HAS SOUS 16446 HAS SOUPS 16446 WITH SCORE 16469.778
AT ITER 2954 NEW BEST:: SOT 106426 SOS 23778 HAS SOPS 23778 HAS SOUS 16429 HAS SOUPS 16429 WITH SCORE 16452.778
AT ITER 2975 NEW BEST:: SOT 106423 SOS 23766 HAS SOPS 23766 HAS SOUS 16421 HAS SOUPS 16421 WITH SCORE 16444.766
AT ITER 2976 NEW BEST:: SOT 106662 SOS 23812 HAS SOPS 23812 HAS SOUS 16418 HAS SOUPS 16418 WITH SCORE 16441.812
AT ITER 2989 NEW BEST:: SOT 106629 SOS 23746 HAS SOPS 23746 HAS SOUS 16376 HAS SOUPS 16376 WITH SCORE 16399.746
AT ITER 2991 NEW BEST:: SOT 106640 SOS 23735 HAS SOPS 23735 HAS SOUS 16375 HAS SOUPS 16375 WITH SCORE 16398.735
AT ITER 3005 NEW BEST:: SOT 106606 SOS 23674 HAS SOPS 23674 HAS SOUS 16341 HAS SOUPS 16341 WITH SCORE 16364.674
AT ITER 3014 NEW BEST:: SOT 106606 SOS 23674 HAS SOPS 23674 HAS SOUS 16331 HAS SOUPS 16331 WITH SCORE 16354.674
AT ITER 3017 NEW BEST:: SOT 106586 SOS 23618 HAS SOPS 23618 HAS SOUS 16291 HAS SOUPS 16291 WITH SCORE 16314.618
AT ITER 3041 NEW BEST:: SOT 106586 SOS 23618 HAS SOPS 23618 HAS SOUS 16274 HAS SOUPS 16274 WITH SCORE 16297.618
AT ITER 3047 NEW BEST:: SOT 106586 SOS 23581 HAS SOPS 23581 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16260.581
AT ITER 3050 NEW BEST:: SOT 106582 SOS 23525 HAS SOPS 23525 HAS SOUS 16229 HAS SOUPS 16229 WITH SCORE 16252.525
AT ITER 3056 NEW BEST:: SOT 106551 SOS 23463 HAS SOPS 23463 HAS SOUS 16198 HAS SOUPS 16198 WITH SCORE 16221.463
AT ITER 3082 NEW BEST:: SOT 106520 SOS 23428 HAS SOPS 23428 HAS SOUS 16194 HAS SOUPS 16194 WITH SCORE 16217.428
AT ITER 3091 NEW BEST:: SOT 106437 SOS 23366 HAS SOPS 23366 HAS SOUS 16174 HAS SOUPS 16174 WITH SCORE 16197.366
AT ITER 3143 NEW BEST:: SOT 106397 SOS 23332 HAS SOPS 23332 HAS SOUS 16147 HAS SOUPS 16147 WITH SCORE 16170.332
AT ITER 3144 NEW BEST:: SOT 106360 SOS 23303 HAS SOPS 23303 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16141.303
AT ITER 3193 NEW BEST:: SOT 106360 SOS 23298 HAS SOPS 23298 HAS SOUS 16113 HAS SOUPS 16113 WITH SCORE 16136.298
AT ITER 3197 NEW BEST:: SOT 106313 SOS 23274 HAS SOPS 23274 HAS SOUS 16104 HAS SOUPS 16104 WITH SCORE 16127.274
AT ITER 3225 NEW BEST:: SOT 106281 SOS 23230 HAS SOPS 23230 HAS SOUS 16060 HAS SOUPS 16060 WITH SCORE 16083.23
AT ITER 3240 NEW BEST:: SOT 106237 SOS 23142 HAS SOPS 23142 HAS SOUS 16016 HAS SOUPS 16016 WITH SCORE 16039.142
AT ITER 3244 NEW BEST:: SOT 106233 SOS 23134 HAS SOPS 23134 HAS SOUS 16012 HAS SOUPS 16012 WITH SCORE 16035.134
AT ITER 3253 NEW BEST:: SOT 106215 SOS 23113 HAS SOPS 23113 HAS SOUS 15991 HAS SOUPS 15991 WITH SCORE 16014.113
AT ITER 3256 NEW BEST:: SOT 106114 SOS 23685 HAS SOPS 23685 HAS SOUS 15963 HAS SOUPS 15963 WITH SCORE 15986.685
AT ITER 3267 NEW BEST:: SOT 106103 SOS 23663 HAS SOPS 23663 HAS SOUS 15941 HAS SOUPS 15941 WITH SCORE 15964.663
AT ITER 3269 NEW BEST:: SOT 106099 SOS 23655 HAS SOPS 23655 HAS SOUS 15937 HAS SOUPS 15937 WITH SCORE 15960.655
AT ITER 3270 NEW BEST:: SOT 106086 SOS 23642 HAS SOPS 23642 HAS SOUS 15924 HAS SOUPS 15924 WITH SCORE 15947.642
AT ITER 3302 NEW BEST:: SOT 106026 SOS 23567 HAS SOPS 23567 HAS SOUS 15864 HAS SOUPS 15864 WITH SCORE 15887.567
AT ITER 3373 NEW BEST:: SOT 106018 SOS 23559 HAS SOPS 23559 HAS SOUS 15856 HAS SOUPS 15856 WITH SCORE 15879.559
AT ITER 3379 NEW BEST:: SOT 106013 SOS 23549 HAS SOPS 23549 HAS SOUS 15832 HAS SOUPS 15832 WITH SCORE 15855.549
AT ITER 3397 NEW BEST:: SOT 106040 SOS 22864 HAS SOPS 22864 HAS SOUS 15816 HAS SOUPS 15816 WITH SCORE 15838.864
AT ITER 3405 NEW BEST:: SOT 106048 SOS 22652 HAS SOPS 22652 HAS SOUS 15792 HAS SOUPS 15792 WITH SCORE 15814.652
AT ITER 3459 NEW BEST:: SOT 106032 SOS 22656 HAS SOPS 22656 HAS SOUS 15776 HAS SOUPS 15776 WITH SCORE 15798.656
AT ITER 3505 NEW BEST:: SOT 106045 SOS 22653 HAS SOPS 22653 HAS SOUS 15773 HAS SOUPS 15773 WITH SCORE 15795.653
AT ITER 3510 NEW BEST:: SOT 106009 SOS 22581 HAS SOPS 22581 HAS SOUS 15752 HAS SOUPS 15752 WITH SCORE 15774.581
AT ITER 3513 NEW BEST:: SOT 106007 SOS 22579 HAS SOPS 22579 HAS SOUS 15750 HAS SOUPS 15750 WITH SCORE 15772.579
AT ITER 3529 NEW BEST:: SOT 106000 SOS 22565 HAS SOPS 22565 HAS SOUS 15714 HAS SOUPS 15714 WITH SCORE 15736.565
AT ITER 3593 NEW BEST:: SOT 105952 SOS 22652 HAS SOPS 22652 HAS SOUS 15690 HAS SOUPS 15690 WITH SCORE 15712.652
AT ITER 3644 NEW BEST:: SOT 105952 SOS 22647 HAS SOPS 22647 HAS SOUS 15685 HAS SOUPS 15685 WITH SCORE 15707.647
AT ITER 3648 NEW BEST:: SOT 105948 SOS 22643 HAS SOPS 22643 HAS SOUS 15685 HAS SOUPS 15685 WITH SCORE 15707.643
AT ITER 3651 NEW BEST:: SOT 105912 SOS 22571 HAS SOPS 22571 HAS SOUS 15637 HAS SOUPS 15637 WITH SCORE 15659.571
AT ITER 3693 NEW BEST:: SOT 105907 SOS 22561 HAS SOPS 22561 HAS SOUS 15627 HAS SOUPS 15627 WITH SCORE 15649.561
AT ITER 3701 NEW BEST:: SOT 105895 SOS 22549 HAS SOPS 22549 HAS SOUS 15615 HAS SOUPS 15615 WITH SCORE 15637.549
AT ITER 3746 NEW BEST:: SOT 105856 SOS 22529 HAS SOPS 22529 HAS SOUS 15595 HAS SOUPS 15595 WITH SCORE 15617.529
AT ITER 3767 NEW BEST:: SOT 105849 SOS 22522 HAS SOPS 22522 HAS SOUS 15594 HAS SOUPS 15594 WITH SCORE 15616.522
AT ITER 3771 NEW BEST:: SOT 105809 SOS 22554 HAS SOPS 22554 HAS SOUS 15570 HAS SOUPS 15570 WITH SCORE 15592.554
AT ITER 3778 NEW BEST:: SOT 105805 SOS 22509 HAS SOPS 22509 HAS SOUS 15562 HAS SOUPS 15562 WITH SCORE 15584.509
AT ITER 3792 NEW BEST:: SOT 105799 SOS 22497 HAS SOPS 22497 HAS SOUS 15555 HAS SOUPS 15555 WITH SCORE 15577.497
AT ITER 3813 NEW BEST:: SOT 105793 SOS 22478 HAS SOPS 22478 HAS SOUS 15545 HAS SOUPS 15545 WITH SCORE 15567.478
AT ITER 3819 NEW BEST:: SOT 105776 SOS 22444 HAS SOPS 22444 HAS SOUS 15511 HAS SOUPS 15511 WITH SCORE 15533.444
AT ITER 3832 NEW BEST:: SOT 105766 SOS 22424 HAS SOPS 22424 HAS SOUS 15500 HAS SOUPS 15500 WITH SCORE 15522.424
AT ITER 3857 NEW BEST:: SOT 105749 SOS 22390 HAS SOPS 22390 HAS SOUS 15466 HAS SOUPS 15466 WITH SCORE 15488.39
AT ITER 3858 NEW BEST:: SOT 105670 SOS 22232 HAS SOPS 22232 HAS SOUS 15308 HAS SOUPS 15308 WITH SCORE 15330.232
AT ITER 3886 NEW BEST:: SOT 105662 SOS 22326 HAS SOPS 22326 HAS SOUS 15207 HAS SOUPS 15207 WITH SCORE 15229.326
AT ITER 3888 NEW BEST:: SOT 105647 SOS 22312 HAS SOPS 22312 HAS SOUS 15193 HAS SOUPS 15193 WITH SCORE 15215.312
AT ITER 3893 NEW BEST:: SOT 105647 SOS 22308 HAS SOPS 22308 HAS SOUS 15189 HAS SOUPS 15189 WITH SCORE 15211.308
AT ITER 3900 NEW BEST:: SOT 105648 SOS 22266 HAS SOPS 22266 HAS SOUS 15169 HAS SOUPS 15169 WITH SCORE 15191.266
AT ITER 3906 NEW BEST:: SOT 105644 SOS 22171 HAS SOPS 22171 HAS SOUS 15074 HAS SOUPS 15074 WITH SCORE 15096.171
AT ITER 3914 NEW BEST:: SOT 105622 SOS 22149 HAS SOPS 22149 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15087.149
AT ITER 3942 NEW BEST:: SOT 105529 SOS 22050 HAS SOPS 22050 HAS SOUS 15029 HAS SOUPS 15029 WITH SCORE 15051.05
AT ITER 3974 NEW BEST:: SOT 105529 SOS 22029 HAS SOPS 22029 HAS SOUS 15008 HAS SOUPS 15008 WITH SCORE 15030.029
AT ITER 3976 NEW BEST:: SOT 105511 SOS 21993 HAS SOPS 21993 HAS SOUS 15000 HAS SOUPS 15000 WITH SCORE 15021.993
AT ITER 3980 NEW BEST:: SOT 105553 SOS 21659 HAS SOPS 21659 HAS SOUS 14983 HAS SOUPS 14983 WITH SCORE 15004.659
AT ITER 4000 NEW BEST:: SOT 105539 SOS 21645 HAS SOPS 21645 HAS SOUS 14953 HAS SOUPS 14953 WITH SCORE 14974.645
AT ITER 4001 NEW BEST:: SOT 105537 SOS 21643 HAS SOPS 21643 HAS SOUS 14946 HAS SOUPS 14946 WITH SCORE 14967.643
AT ITER 4002 NEW BEST:: SOT 105537 SOS 21629 HAS SOPS 21629 HAS SOUS 14932 HAS SOUPS 14932 WITH SCORE 14953.629
AT ITER 4010 NEW BEST:: SOT 105530 SOS 21667 HAS SOPS 21667 HAS SOUS 14925 HAS SOUPS 14925 WITH SCORE 14946.667
AT ITER 4036 NEW BEST:: SOT 105536 SOS 21657 HAS SOPS 21657 HAS SOUS 14915 HAS SOUPS 14915 WITH SCORE 14936.657
AT ITER 4072 NEW BEST:: SOT 105537 SOS 21648 HAS SOPS 21648 HAS SOUS 14906 HAS SOUPS 14906 WITH SCORE 14927.648
AT ITER 4074 NEW BEST:: SOT 105528 SOS 21639 HAS SOPS 21639 HAS SOUS 14878 HAS SOUPS 14878 WITH SCORE 14899.639
AT ITER 4085 NEW BEST:: SOT 105587 SOS 21580 HAS SOPS 21580 HAS SOUS 14819 HAS SOUPS 14819 WITH SCORE 14840.58
AT ITER 4091 NEW BEST:: SOT 105470 SOS 22066 HAS SOPS 22066 HAS SOUS 14784 HAS SOUPS 14784 WITH SCORE 14806.066
AT ITER 4141 NEW BEST:: SOT 105450 SOS 22026 HAS SOPS 22026 HAS SOUS 14766 HAS SOUPS 14766 WITH SCORE 14788.026
AT ITER 4147 NEW BEST:: SOT 105440 SOS 22016 HAS SOPS 22016 HAS SOUS 14756 HAS SOUPS 14756 WITH SCORE 14778.016
AT ITER 4164 NEW BEST:: SOT 105435 SOS 22036 HAS SOPS 22036 HAS SOUS 14753 HAS SOUPS 14753 WITH SCORE 14775.036
AT ITER 4174 NEW BEST:: SOT 105435 SOS 21983 HAS SOPS 21983 HAS SOUS 14753 HAS SOUPS 14753 WITH SCORE 14774.983
AT ITER 4179 NEW BEST:: SOT 105408 SOS 21961 HAS SOPS 21961 HAS SOUS 14747 HAS SOUPS 14747 WITH SCORE 14768.961
AT ITER 4186 NEW BEST:: SOT 105411 SOS 21967 HAS SOPS 21967 HAS SOUS 14742 HAS SOUPS 14742 WITH SCORE 14763.967
AT ITER 4196 NEW BEST:: SOT 105396 SOS 22012 HAS SOPS 22012 HAS SOUS 14727 HAS SOUPS 14727 WITH SCORE 14749.012
AT ITER 4199 NEW BEST:: SOT 105377 SOS 21974 HAS SOPS 21974 HAS SOUS 14712 HAS SOUPS 14712 WITH SCORE 14733.974
AT ITER 4201 NEW BEST:: SOT 105353 SOS 21954 HAS SOPS 21954 HAS SOUS 14679 HAS SOUPS 14679 WITH SCORE 14700.954
AT ITER 4224 NEW BEST:: SOT 105349 SOS 21946 HAS SOPS 21946 HAS SOUS 14673 HAS SOUPS 14673 WITH SCORE 14694.946
AT ITER 4225 NEW BEST:: SOT 105344 SOS 21936 HAS SOPS 21936 HAS SOUS 14663 HAS SOUPS 14663 WITH SCORE 14684.936
AT ITER 4285 NEW BEST:: SOT 105344 SOS 21935 HAS SOPS 21935 HAS SOUS 14662 HAS SOUPS 14662 WITH SCORE 14683.935
AT ITER 4318 NEW BEST:: SOT 105505 SOS 21155 HAS SOPS 21155 HAS SOUS 14650 HAS SOUPS 14650 WITH SCORE 14671.155
AT ITER 4383 NEW BEST:: SOT 105458 SOS 21137 HAS SOPS 21137 HAS SOUS 14632 HAS SOUPS 14632 WITH SCORE 14653.137
AT ITER 4391 NEW BEST:: SOT 105413 SOS 21092 HAS SOPS 21092 HAS SOUS 14592 HAS SOUPS 14592 WITH SCORE 14613.092
AT ITER 4401 NEW BEST:: SOT 105409 SOS 21084 HAS SOPS 21084 HAS SOUS 14588 HAS SOUPS 14588 WITH SCORE 14609.084
AT ITER 4417 NEW BEST:: SOT 105427 SOS 21081 HAS SOPS 21081 HAS SOUS 14585 HAS SOUPS 14585 WITH SCORE 14606.081
AT ITER 4425 NEW BEST:: SOT 105426 SOS 21078 HAS SOPS 21078 HAS SOUS 14583 HAS SOUPS 14583 WITH SCORE 14604.078
AT ITER 4446 NEW BEST:: SOT 105404 SOS 21070 HAS SOPS 21070 HAS SOUS 14564 HAS SOUPS 14564 WITH SCORE 14585.07
AT ITER 4451 NEW BEST:: SOT 105415 SOS 21092 HAS SOPS 21092 HAS SOUS 14558 HAS SOUPS 14558 WITH SCORE 14579.092
AT ITER 4479 NEW BEST:: SOT 105295 SOS 21781 HAS SOPS 21781 HAS SOUS 14555 HAS SOUPS 14555 WITH SCORE 14576.781
AT ITER 4487 NEW BEST:: SOT 105285 SOS 21771 HAS SOPS 21771 HAS SOUS 14545 HAS SOUPS 14545 WITH SCORE 14566.771
AT ITER 4518 NEW BEST:: SOT 105255 SOS 21718 HAS SOPS 21718 HAS SOUS 14530 HAS SOUPS 14530 WITH SCORE 14551.718
AT ITER 4525 NEW BEST:: SOT 105250 SOS 21708 HAS SOPS 21708 HAS SOUS 14520 HAS SOUPS 14520 WITH SCORE 14541.708
AT ITER 4554 NEW BEST:: SOT 105247 SOS 21677 HAS SOPS 21677 HAS SOUS 14517 HAS SOUPS 14517 WITH SCORE 14538.677
AT ITER 4555 NEW BEST:: SOT 105239 SOS 21676 HAS SOPS 21676 HAS SOUS 14516 HAS SOUPS 14516 WITH SCORE 14537.676
AT ITER 4562 NEW BEST:: SOT 105176 SOS 21550 HAS SOPS 21550 HAS SOUS 14453 HAS SOUPS 14453 WITH SCORE 14474.55
AT ITER 4602 NEW BEST:: SOT 105129 SOS 21500 HAS SOPS 21500 HAS SOUS 14406 HAS SOUPS 14406 WITH SCORE 14427.5
AT ITER 4642 NEW BEST:: SOT 105017 SOS 21408 HAS SOPS 21408 HAS SOUS 14360 HAS SOUPS 14360 WITH SCORE 14381.408
AT ITER 4685 NEW BEST:: SOT 105011 SOS 21402 HAS SOPS 21402 HAS SOUS 14348 HAS SOUPS 14348 WITH SCORE 14369.402
AT ITER 4705 NEW BEST:: SOT 104996 SOS 21374 HAS SOPS 21374 HAS SOUS 14342 HAS SOUPS 14342 WITH SCORE 14363.374
AT ITER 4708 NEW BEST:: SOT 104996 SOS 21372 HAS SOPS 21372 HAS SOUS 14340 HAS SOUPS 14340 WITH SCORE 14361.372
AT ITER 4727 NEW BEST:: SOT 104987 SOS 21352 HAS SOPS 21352 HAS SOUS 14317 HAS SOUPS 14317 WITH SCORE 14338.352
AT ITER 4809 NEW BEST:: SOT 104972 SOS 21289 HAS SOPS 21289 HAS SOUS 14279 HAS SOUPS 14279 WITH SCORE 14300.289
AT ITER 4863 NEW BEST:: SOT 104875 SOS 21780 HAS SOPS 21780 HAS SOUS 14234 HAS SOUPS 14234 WITH SCORE 14255.78
AT ITER 4867 NEW BEST:: SOT 104883 SOS 21788 HAS SOPS 21788 HAS SOUS 14231 HAS SOUPS 14231 WITH SCORE 14252.788
AT ITER 4868 NEW BEST:: SOT 104862 SOS 21720 HAS SOPS 21720 HAS SOUS 14210 HAS SOUPS 14210 WITH SCORE 14231.72
AT ITER 4881 NEW BEST:: SOT 104802 SOS 21634 HAS SOPS 21634 HAS SOUS 14184 HAS SOUPS 14184 WITH SCORE 14205.634
AT ITER 4912 NEW BEST:: SOT 104795 SOS 21620 HAS SOPS 21620 HAS SOUS 14177 HAS SOUPS 14177 WITH SCORE 14198.62
AT ITER 4926 NEW BEST:: SOT 104793 SOS 21618 HAS SOPS 21618 HAS SOUS 14175 HAS SOUPS 14175 WITH SCORE 14196.618
AT ITER 4938 NEW BEST:: SOT 104791 SOS 21616 HAS SOPS 21616 HAS SOUS 14173 HAS SOUPS 14173 WITH SCORE 14194.616
AT ITER 4965 NEW BEST:: SOT 104767 SOS 21592 HAS SOPS 21592 HAS SOUS 14169 HAS SOUPS 14169 WITH SCORE 14190.592
AT ITER 5005 NEW BEST:: SOT 104767 SOS 21592 HAS SOPS 21592 HAS SOUS 14167 HAS SOUPS 14167 WITH SCORE 14188.592
AT ITER 5015 NEW BEST:: SOT 104762 SOS 21582 HAS SOPS 21582 HAS SOUS 14152 HAS SOUPS 14152 WITH SCORE 14173.582
AT ITER 5024 NEW BEST:: SOT 104761 SOS 21580 HAS SOPS 21580 HAS SOUS 14150 HAS SOUPS 14150 WITH SCORE 14171.58
AT ITER 5026 NEW BEST:: SOT 104738 SOS 21557 HAS SOPS 21557 HAS SOUS 14150 HAS SOUPS 14150 WITH SCORE 14171.557
AT ITER 5035 NEW BEST:: SOT 104708 SOS 21543 HAS SOPS 21543 HAS SOUS 14110 HAS SOUPS 14110 WITH SCORE 14131.543
AT ITER 5074 NEW BEST:: SOT 104674 SOS 21466 HAS SOPS 21466 HAS SOUS 14077 HAS SOUPS 14077 WITH SCORE 14098.466
AT ITER 5077 NEW BEST:: SOT 104679 SOS 21471 HAS SOPS 21471 HAS SOUS 14070 HAS SOUPS 14070 WITH SCORE 14091.471
AT ITER 5088 NEW BEST:: SOT 104679 SOS 21448 HAS SOPS 21448 HAS SOUS 14047 HAS SOUPS 14047 WITH SCORE 14068.448
AT ITER 5113 NEW BEST:: SOT 104631 SOS 21352 HAS SOPS 21352 HAS SOUS 14004 HAS SOUPS 14004 WITH SCORE 14025.352
AT ITER 5139 NEW BEST:: SOT 104609 SOS 21293 HAS SOPS 21293 HAS SOUS 13973 HAS SOUPS 13973 WITH SCORE 13994.293
AT ITER 5154 NEW BEST:: SOT 104634 SOS 21290 HAS SOPS 21290 HAS SOUS 13970 HAS SOUPS 13970 WITH SCORE 13991.29
AT ITER 5188 NEW BEST:: SOT 104634 SOS 21275 HAS SOPS 21275 HAS SOUS 13970 HAS SOUPS 13970 WITH SCORE 13991.275
AT ITER 5210 NEW BEST:: SOT 104633 SOS 21259 HAS SOPS 21259 HAS SOUS 13954 HAS SOUPS 13954 WITH SCORE 13975.259
AT ITER 5212 NEW BEST:: SOT 104611 SOS 21215 HAS SOPS 21215 HAS SOUS 13910 HAS SOUPS 13910 WITH SCORE 13931.215
AT ITER 5238 NEW BEST:: SOT 104608 SOS 21174 HAS SOPS 21174 HAS SOUS 13904 HAS SOUPS 13904 WITH SCORE 13925.174
AT ITER 5243 NEW BEST:: SOT 104602 SOS 21162 HAS SOPS 21162 HAS SOUS 13892 HAS SOUPS 13892 WITH SCORE 13913.162
AT ITER 5284 NEW BEST:: SOT 104559 SOS 21116 HAS SOPS 21116 HAS SOUS 13886 HAS SOUPS 13886 WITH SCORE 13907.116
AT ITER 5332 NEW BEST:: SOT 104576 SOS 20984 HAS SOPS 20984 HAS SOUS 13882 HAS SOUPS 13882 WITH SCORE 13902.984
AT ITER 5360 NEW BEST:: SOT 104572 SOS 20980 HAS SOPS 20980 HAS SOUS 13882 HAS SOUPS 13882 WITH SCORE 13902.98
AT ITER 5368 NEW BEST:: SOT 104550 SOS 20936 HAS SOPS 20936 HAS SOUS 13838 HAS SOUPS 13838 WITH SCORE 13858.936
AT ITER 5369 NEW BEST:: SOT 104535 SOS 20931 HAS SOPS 20931 HAS SOUS 13833 HAS SOUPS 13833 WITH SCORE 13853.931
AT ITER 5383 NEW BEST:: SOT 104532 SOS 20925 HAS SOPS 20925 HAS SOUS 13830 HAS SOUPS 13830 WITH SCORE 13850.925
AT ITER 5406 NEW BEST:: SOT 104465 SOS 20880 HAS SOPS 20880 HAS SOUS 13805 HAS SOUPS 13805 WITH SCORE 13825.88
AT ITER 5417 NEW BEST:: SOT 104453 SOS 20873 HAS SOPS 20873 HAS SOUS 13793 HAS SOUPS 13793 WITH SCORE 13813.873
AT ITER 5424 NEW BEST:: SOT 104469 SOS 20889 HAS SOPS 20889 HAS SOUS 13787 HAS SOUPS 13787 WITH SCORE 13807.889
AT ITER 5441 NEW BEST:: SOT 104469 SOS 20429 HAS SOPS 20429 HAS SOUS 13767 HAS SOUPS 13767 WITH SCORE 13787.429
AT ITER 5452 NEW BEST:: SOT 104426 SOS 20343 HAS SOPS 20343 HAS SOUS 13738 HAS SOUPS 13738 WITH SCORE 13758.343
AT ITER 5477 NEW BEST:: SOT 104414 SOS 20331 HAS SOPS 20331 HAS SOUS 13698 HAS SOUPS 13698 WITH SCORE 13718.331
AT ITER 5537 NEW BEST:: SOT 104446 SOS 19901 HAS SOPS 19901 HAS SOUS 13692 HAS SOUPS 13692 WITH SCORE 13711.901
AT ITER 5554 NEW BEST:: SOT 104403 SOS 19877 HAS SOPS 19877 HAS SOUS 13689 HAS SOUPS 13689 WITH SCORE 13708.877
AT ITER 5601 NEW BEST:: SOT 104399 SOS 19869 HAS SOPS 19869 HAS SOUS 13685 HAS SOUPS 13685 WITH SCORE 13704.869
AT ITER 5612 NEW BEST:: SOT 104277 SOS 19625 HAS SOPS 19625 HAS SOUS 13557 HAS SOUPS 13557 WITH SCORE 13576.625
AT ITER 5613 NEW BEST:: SOT 104270 SOS 19611 HAS SOPS 19611 HAS SOUS 13550 HAS SOUPS 13550 WITH SCORE 13569.611
AT ITER 5633 NEW BEST:: SOT 104289 SOS 19535 HAS SOPS 19535 HAS SOUS 13531 HAS SOUPS 13531 WITH SCORE 13550.535
AT ITER 5688 NEW BEST:: SOT 104286 SOS 19527 HAS SOPS 19527 HAS SOUS 13523 HAS SOUPS 13523 WITH SCORE 13542.527
AT ITER 5690 NEW BEST:: SOT 104286 SOS 19500 HAS SOPS 19500 HAS SOUS 13512 HAS SOUPS 13512 WITH SCORE 13531.5
AT ITER 5728 NEW BEST:: SOT 104193 SOS 19314 HAS SOPS 19314 HAS SOUS 13375 HAS SOUPS 13375 WITH SCORE 13394.314
AT ITER 5753 NEW BEST:: SOT 104186 SOS 19311 HAS SOPS 19311 HAS SOUS 13368 HAS SOUPS 13368 WITH SCORE 13387.311
AT ITER 5765 NEW BEST:: SOT 104176 SOS 19291 HAS SOPS 19291 HAS SOUS 13348 HAS SOUPS 13348 WITH SCORE 13367.291
AT ITER 5813 NEW BEST:: SOT 104144 SOS 19280 HAS SOPS 19280 HAS SOUS 13337 HAS SOUPS 13337 WITH SCORE 13356.28
AT ITER 5822 NEW BEST:: SOT 104131 SOS 19279 HAS SOPS 19279 HAS SOUS 13330 HAS SOUPS 13330 WITH SCORE 13349.279
AT ITER 5859 NEW BEST:: SOT 104121 SOS 19259 HAS SOPS 19259 HAS SOUS 13310 HAS SOUPS 13310 WITH SCORE 13329.259
AT ITER 5870 NEW BEST:: SOT 104125 SOS 19239 HAS SOPS 19239 HAS SOUS 13290 HAS SOUPS 13290 WITH SCORE 13309.239
AT ITER 5885 NEW BEST:: SOT 104125 SOS 19239 HAS SOPS 19239 HAS SOUS 13289 HAS SOUPS 13289 WITH SCORE 13308.239
AT ITER 5902 NEW BEST:: SOT 104157 SOS 19235 HAS SOPS 19235 HAS SOUS 13271 HAS SOUPS 13271 WITH SCORE 13290.235
AT ITER 5905 NEW BEST:: SOT 104159 SOS 19209 HAS SOPS 19209 HAS SOUS 13242 HAS SOUPS 13242 WITH SCORE 13261.209
AT ITER 5939 NEW BEST:: SOT 104158 SOS 19207 HAS SOPS 19207 HAS SOUS 13240 HAS SOUPS 13240 WITH SCORE 13259.207
AT ITER 5981 NEW BEST:: SOT 104168 SOS 19163 HAS SOPS 19163 HAS SOUS 13233 HAS SOUPS 13233 WITH SCORE 13252.163
AT ITER 5984 NEW BEST:: SOT 104177 SOS 19137 HAS SOPS 19137 HAS SOUS 13207 HAS SOUPS 13207 WITH SCORE 13226.137
AT ITER 6004 NEW BEST:: SOT 104152 SOS 19108 HAS SOPS 19108 HAS SOUS 13196 HAS SOUPS 13196 WITH SCORE 13215.108
AT ITER 6012 NEW BEST:: SOT 104149 SOS 19102 HAS SOPS 19102 HAS SOUS 13190 HAS SOUPS 13190 WITH SCORE 13209.102
AT ITER 6036 NEW BEST:: SOT 104135 SOS 19090 HAS SOPS 19090 HAS SOUS 13162 HAS SOUPS 13162 WITH SCORE 13181.09
AT ITER 6047 NEW BEST:: SOT 104120 SOS 19075 HAS SOPS 19075 HAS SOUS 13147 HAS SOUPS 13147 WITH SCORE 13166.075
AT ITER 6068 NEW BEST:: SOT 104116 SOS 19067 HAS SOPS 19067 HAS SOUS 13138 HAS SOUPS 13138 WITH SCORE 13157.067
AT ITER 6071 NEW BEST:: SOT 104119 SOS 18993 HAS SOPS 18993 HAS SOUS 13123 HAS SOUPS 13123 WITH SCORE 13141.993
AT ITER 6127 NEW BEST:: SOT 104115 SOS 18985 HAS SOPS 18985 HAS SOUS 13117 HAS SOUPS 13117 WITH SCORE 13135.985
AT ITER 6133 NEW BEST:: SOT 104097 SOS 18949 HAS SOPS 18949 HAS SOUS 13081 HAS SOUPS 13081 WITH SCORE 13099.949
AT ITER 6147 NEW BEST:: SOT 104080 SOS 18921 HAS SOPS 18921 HAS SOUS 13063 HAS SOUPS 13063 WITH SCORE 13081.921
AT ITER 6158 NEW BEST:: SOT 104089 SOS 18867 HAS SOPS 18867 HAS SOUS 13046 HAS SOUPS 13046 WITH SCORE 13064.867
AT ITER 6163 NEW BEST:: SOT 104060 SOS 18838 HAS SOPS 18838 HAS SOUS 13038 HAS SOUPS 13038 WITH SCORE 13056.838
AT ITER 6240 NEW BEST:: SOT 104061 SOS 18835 HAS SOPS 18835 HAS SOUS 13035 HAS SOUPS 13035 WITH SCORE 13053.835
AT ITER 6261 NEW BEST:: SOT 104055 SOS 18823 HAS SOPS 18823 HAS SOUS 13023 HAS SOUPS 13023 WITH SCORE 13041.823
AT ITER 6289 NEW BEST:: SOT 104037 SOS 18787 HAS SOPS 18787 HAS SOUS 13023 HAS SOUPS 13023 WITH SCORE 13041.787
AT ITER 6306 NEW BEST:: SOT 104027 SOS 18767 HAS SOPS 18767 HAS SOUS 13014 HAS SOUPS 13014 WITH SCORE 13032.767
AT ITER 6334 NEW BEST:: SOT 104041 SOS 18779 HAS SOPS 18779 HAS SOUS 13013 HAS SOUPS 13013 WITH SCORE 13031.779
AT ITER 6392 NEW BEST:: SOT 104036 SOS 18769 HAS SOPS 18769 HAS SOUS 13003 HAS SOUPS 13003 WITH SCORE 13021.769
AT ITER 6404 NEW BEST:: SOT 104028 SOS 18761 HAS SOPS 18761 HAS SOUS 12984 HAS SOUPS 12984 WITH SCORE 13002.761
AT ITER 6421 NEW BEST:: SOT 104028 SOS 18689 HAS SOPS 18689 HAS SOUS 12984 HAS SOUPS 12984 WITH SCORE 13002.689
AT ITER 6472 NEW BEST:: SOT 103941 SOS 19281 HAS SOPS 19281 HAS SOUS 12965 HAS SOUPS 12965 WITH SCORE 12984.281
AT ITER 6479 NEW BEST:: SOT 103875 SOS 19815 HAS SOPS 19815 HAS SOUS 12950 HAS SOUPS 12950 WITH SCORE 12969.815
AT ITER 6483 NEW BEST:: SOT 103872 SOS 19809 HAS SOPS 19809 HAS SOUS 12944 HAS SOUPS 12944 WITH SCORE 12963.809
AT ITER 6568 NEW BEST:: SOT 103872 SOS 19799 HAS SOPS 19799 HAS SOUS 12938 HAS SOUPS 12938 WITH SCORE 12957.799
AT ITER 6570 NEW BEST:: SOT 103872 SOS 19783 HAS SOPS 19783 HAS SOUS 12938 HAS SOUPS 12938 WITH SCORE 12957.783
AT ITER 6574 NEW BEST:: SOT 103870 SOS 19781 HAS SOPS 19781 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12955.781
AT ITER 6590 NEW BEST:: SOT 103865 SOS 19771 HAS SOPS 19771 HAS SOUS 12931 HAS SOUPS 12931 WITH SCORE 12950.771
AT ITER 6603 NEW BEST:: SOT 103825 SOS 19725 HAS SOPS 19725 HAS SOUS 12921 HAS SOUPS 12921 WITH SCORE 12940.725
AT ITER 6614 NEW BEST:: SOT 103803 SOS 19730 HAS SOPS 19730 HAS SOUS 12909 HAS SOUPS 12909 WITH SCORE 12928.73
AT ITER 6659 NEW BEST:: SOT 103807 SOS 19719 HAS SOPS 19719 HAS SOUS 12898 HAS SOUPS 12898 WITH SCORE 12917.719
AT ITER 6661 NEW BEST:: SOT 103807 SOS 19718 HAS SOPS 19718 HAS SOUS 12897 HAS SOUPS 12897 WITH SCORE 12916.718
AT ITER 6692 NEW BEST:: SOT 103806 SOS 19716 HAS SOPS 19716 HAS SOUS 12895 HAS SOUPS 12895 WITH SCORE 12914.716
AT ITER 6706 NEW BEST:: SOT 103797 SOS 19707 HAS SOPS 19707 HAS SOUS 12886 HAS SOUPS 12886 WITH SCORE 12905.707
AT ITER 6745 NEW BEST:: SOT 103796 SOS 19707 HAS SOPS 19707 HAS SOUS 12885 HAS SOUPS 12885 WITH SCORE 12904.707
AT ITER 6774 NEW BEST:: SOT 103809 SOS 19720 HAS SOPS 19720 HAS SOUS 12871 HAS SOUPS 12871 WITH SCORE 12890.72
AT ITER 6889 NEW BEST:: SOT 103836 SOS 19753 HAS SOPS 19753 HAS SOUS 12864 HAS SOUPS 12864 WITH SCORE 12883.753
AT ITER 6974 NEW BEST:: SOT 104036 SOS 19892 HAS SOPS 19892 HAS SOUS 12836 HAS SOUPS 12836 WITH SCORE 12855.892
AT ITER 6987 NEW BEST:: SOT 103954 SOS 20490 HAS SOPS 20490 HAS SOUS 12818 HAS SOUPS 12818 WITH SCORE 12838.49
AT ITER 6996 NEW BEST:: SOT 103862 SOS 20488 HAS SOPS 20488 HAS SOUS 12731 HAS SOUPS 12731 WITH SCORE 12751.488
AT ITER 6998 NEW BEST:: SOT 103849 SOS 20436 HAS SOPS 20436 HAS SOUS 12725 HAS SOUPS 12725 WITH SCORE 12745.436
AT ITER 7009 NEW BEST:: SOT 103849 SOS 20399 HAS SOPS 20399 HAS SOUS 12725 HAS SOUPS 12725 WITH SCORE 12745.399
AT ITER 7014 NEW BEST:: SOT 103859 SOS 20407 HAS SOPS 20407 HAS SOUS 12724 HAS SOUPS 12724 WITH SCORE 12744.407
AT ITER 7031 NEW BEST:: SOT 103858 SOS 20406 HAS SOPS 20406 HAS SOUS 12723 HAS SOUPS 12723 WITH SCORE 12743.406
AT ITER 7065 NEW BEST:: SOT 103827 SOS 20375 HAS SOPS 20375 HAS SOUS 12692 HAS SOUPS 12692 WITH SCORE 12712.375
AT ITER 7068 NEW BEST:: SOT 103841 SOS 20389 HAS SOPS 20389 HAS SOUS 12683 HAS SOUPS 12683 WITH SCORE 12703.389
AT ITER 7093 NEW BEST:: SOT 103902 SOS 20511 HAS SOPS 20511 HAS SOUS 12675 HAS SOUPS 12675 WITH SCORE 12695.511
AT ITER 7118 NEW BEST:: SOT 103890 SOS 20506 HAS SOPS 20506 HAS SOUS 12663 HAS SOUPS 12663 WITH SCORE 12683.506
AT ITER 7136 NEW BEST:: SOT 103888 SOS 20502 HAS SOPS 20502 HAS SOUS 12659 HAS SOUPS 12659 WITH SCORE 12679.502
AT ITER 7137 NEW BEST:: SOT 103888 SOS 20493 HAS SOPS 20493 HAS SOUS 12659 HAS SOUPS 12659 WITH SCORE 12679.493
AT ITER 7145 NEW BEST:: SOT 103881 SOS 20479 HAS SOPS 20479 HAS SOUS 12642 HAS SOUPS 12642 WITH SCORE 12662.479
AT ITER 7148 NEW BEST:: SOT 103903 SOS 20521 HAS SOPS 20521 HAS SOUS 12637 HAS SOUPS 12637 WITH SCORE 12657.521
AT ITER 7167 NEW BEST:: SOT 103903 SOS 20474 HAS SOPS 20474 HAS SOUS 12637 HAS SOUPS 12637 WITH SCORE 12657.474
AT ITER 7175 NEW BEST:: SOT 103944 SOS 20429 HAS SOPS 20429 HAS SOUS 12592 HAS SOUPS 12592 WITH SCORE 12612.429
AT ITER 7193 NEW BEST:: SOT 103937 SOS 20415 HAS SOPS 20415 HAS SOUS 12578 HAS SOUPS 12578 WITH SCORE 12598.415
AT ITER 7225 NEW BEST:: SOT 103921 SOS 20383 HAS SOPS 20383 HAS SOUS 12546 HAS SOUPS 12546 WITH SCORE 12566.383
AT ITER 7266 NEW BEST:: SOT 103920 SOS 20383 HAS SOPS 20383 HAS SOUS 12544 HAS SOUPS 12544 WITH SCORE 12564.383
AT ITER 7280 NEW BEST:: SOT 103911 SOS 20365 HAS SOPS 20365 HAS SOUS 12535 HAS SOUPS 12535 WITH SCORE 12555.365
AT ITER 7306 NEW BEST:: SOT 103908 SOS 20362 HAS SOPS 20362 HAS SOUS 12532 HAS SOUPS 12532 WITH SCORE 12552.362
AT ITER 7334 NEW BEST:: SOT 103742 SOS 20196 HAS SOPS 20196 HAS SOUS 12497 HAS SOUPS 12497 WITH SCORE 12517.196
AT ITER 7380 NEW BEST:: SOT 103739 SOS 20190 HAS SOPS 20190 HAS SOUS 12494 HAS SOUPS 12494 WITH SCORE 12514.19
AT ITER 7420 NEW BEST:: SOT 103734 SOS 20190 HAS SOPS 20190 HAS SOUS 12489 HAS SOUPS 12489 WITH SCORE 12509.19
AT ITER 7494 NEW BEST:: SOT 103732 SOS 20177 HAS SOPS 20177 HAS SOUS 12481 HAS SOUPS 12481 WITH SCORE 12501.177
AT ITER 7521 NEW BEST:: SOT 103676 SOS 20121 HAS SOPS 20121 HAS SOUS 12481 HAS SOUPS 12481 WITH SCORE 12501.121
AT ITER 7580 NEW BEST:: SOT 103676 SOS 20121 HAS SOPS 20121 HAS SOUS 12471 HAS SOUPS 12471 WITH SCORE 12491.121
AT ITER 7593 NEW BEST:: SOT 103676 SOS 20113 HAS SOPS 20113 HAS SOUS 12463 HAS SOUPS 12463 WITH SCORE 12483.113
AT ITER 7637 NEW BEST:: SOT 103669 SOS 20106 HAS SOPS 20106 HAS SOUS 12456 HAS SOUPS 12456 WITH SCORE 12476.106
AT ITER 7685 NEW BEST:: SOT 103669 SOS 20100 HAS SOPS 20100 HAS SOUS 12450 HAS SOUPS 12450 WITH SCORE 12470.1
AT ITER 7707 NEW BEST:: SOT 103662 SOS 20091 HAS SOPS 20091 HAS SOUS 12441 HAS SOUPS 12441 WITH SCORE 12461.091
AT ITER 7744 NEW BEST:: SOT 103633 SOS 20033 HAS SOPS 20033 HAS SOUS 12412 HAS SOUPS 12412 WITH SCORE 12432.033
AT ITER 7778 NEW BEST:: SOT 103614 SOS 19995 HAS SOPS 19995 HAS SOUS 12393 HAS SOUPS 12393 WITH SCORE 12412.995
AT ITER 7812 NEW BEST:: SOT 103585 SOS 19937 HAS SOPS 19937 HAS SOUS 12345 HAS SOUPS 12345 WITH SCORE 12364.937
AT ITER 7829 NEW BEST:: SOT 103572 SOS 19924 HAS SOPS 19924 HAS SOUS 12332 HAS SOUPS 12332 WITH SCORE 12351.924
AT ITER 7832 NEW BEST:: SOT 103554 SOS 19888 HAS SOPS 19888 HAS SOUS 12332 HAS SOUPS 12332 WITH SCORE 12351.888
AT ITER 8002 NEW BEST:: SOT 103554 SOS 19888 HAS SOPS 19888 HAS SOUS 12327 HAS SOUPS 12327 WITH SCORE 12346.888
AT ITER 8030 NEW BEST:: SOT 103553 SOS 19886 HAS SOPS 19886 HAS SOUS 12325 HAS SOUPS 12325 WITH SCORE 12344.886
AT ITER 8148 NEW BEST:: SOT 103549 SOS 19878 HAS SOPS 19878 HAS SOUS 12320 HAS SOUPS 12320 WITH SCORE 12339.878
AT ITER 8149 NEW BEST:: SOT 103556 SOS 19852 HAS SOPS 19852 HAS SOUS 12294 HAS SOUPS 12294 WITH SCORE 12313.852
AT ITER 8151 NEW BEST:: SOT 103543 SOS 19842 HAS SOPS 19842 HAS SOUS 12284 HAS SOUPS 12284 WITH SCORE 12303.842
AT ITER 8228 NEW BEST:: SOT 103541 SOS 19817 HAS SOPS 19817 HAS SOUS 12274 HAS SOUPS 12274 WITH SCORE 12293.817
AT ITER 8260 NEW BEST:: SOT 103536 SOS 19810 HAS SOPS 19810 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12286.81
AT ITER 8302 NEW BEST:: SOT 103453 SOS 19644 HAS SOPS 19644 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12286.644
AT ITER 8305 NEW BEST:: SOT 103444 SOS 19585 HAS SOPS 19585 HAS SOUS 12249 HAS SOUPS 12249 WITH SCORE 12268.585
AT ITER 8332 NEW BEST:: SOT 103434 SOS 19576 HAS SOPS 19576 HAS SOUS 12241 HAS SOUPS 12241 WITH SCORE 12260.576
AT ITER 8405 NEW BEST:: SOT 103434 SOS 19568 HAS SOPS 19568 HAS SOUS 12241 HAS SOUPS 12241 WITH SCORE 12260.568
AT ITER 8417 NEW BEST:: SOT 103429 SOS 19557 HAS SOPS 19557 HAS SOUS 12230 HAS SOUPS 12230 WITH SCORE 12249.557
AT ITER 8444 NEW BEST:: SOT 103413 SOS 19525 HAS SOPS 19525 HAS SOUS 12230 HAS SOUPS 12230 WITH SCORE 12249.525
AT ITER 8461 NEW BEST:: SOT 103413 SOS 19525 HAS SOPS 19525 HAS SOUS 12228 HAS SOUPS 12228 WITH SCORE 12247.525
AT ITER 8472 NEW BEST:: SOT 103422 SOS 19543 HAS SOPS 19543 HAS SOUS 12213 HAS SOUPS 12213 WITH SCORE 12232.543
AT ITER 8481 NEW BEST:: SOT 103418 SOS 19537 HAS SOPS 19537 HAS SOUS 12211 HAS SOUPS 12211 WITH SCORE 12230.537
AT ITER 8500 NEW BEST:: SOT 103418 SOS 19532 HAS SOPS 19532 HAS SOUS 12206 HAS SOUPS 12206 WITH SCORE 12225.532
AT ITER 8637 NEW BEST:: SOT 103412 SOS 19520 HAS SOPS 19520 HAS SOUS 12200 HAS SOUPS 12200 WITH SCORE 12219.52
AT ITER 8663 NEW BEST:: SOT 103411 SOS 19519 HAS SOPS 19519 HAS SOUS 12199 HAS SOUPS 12199 WITH SCORE 12218.519
AT ITER 8699 NEW BEST:: SOT 103411 SOS 19519 HAS SOPS 19519 HAS SOUS 12195 HAS SOUPS 12195 WITH SCORE 12214.519
AT ITER 8707 NEW BEST:: SOT 103406 SOS 19479 HAS SOPS 19479 HAS SOUS 12185 HAS SOUPS 12185 WITH SCORE 12204.479
AT ITER 8713 NEW BEST:: SOT 103398 SOS 19479 HAS SOPS 19479 HAS SOUS 12177 HAS SOUPS 12177 WITH SCORE 12196.479
AT ITER 8726 NEW BEST:: SOT 103398 SOS 19476 HAS SOPS 19476 HAS SOUS 12177 HAS SOUPS 12177 WITH SCORE 12196.476
AT ITER 8739 NEW BEST:: SOT 103392 SOS 19474 HAS SOPS 19474 HAS SOUS 12175 HAS SOUPS 12175 WITH SCORE 12194.474
AT ITER 8740 NEW BEST:: SOT 103418 SOS 19496 HAS SOPS 19496 HAS SOUS 12174 HAS SOUPS 12174 WITH SCORE 12193.496
AT ITER 8754 NEW BEST:: SOT 103398 SOS 19466 HAS SOPS 19466 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12185.466
AT ITER 8770 NEW BEST:: SOT 103398 SOS 19424 HAS SOPS 19424 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12185.424
AT ITER 8816 NEW BEST:: SOT 103360 SOS 19392 HAS SOPS 19392 HAS SOUS 12150 HAS SOUPS 12150 WITH SCORE 12169.392
AT ITER 8818 NEW BEST:: SOT 103352 SOS 19376 HAS SOPS 19376 HAS SOUS 12150 HAS SOUPS 12150 WITH SCORE 12169.376
AT ITER 8834 NEW BEST:: SOT 103352 SOS 19376 HAS SOPS 19376 HAS SOUS 12128 HAS SOUPS 12128 WITH SCORE 12147.376
AT ITER 8866 NEW BEST:: SOT 103343 SOS 19358 HAS SOPS 19358 HAS SOUS 12110 HAS SOUPS 12110 WITH SCORE 12129.358
AT ITER 8870 NEW BEST:: SOT 103330 SOS 19345 HAS SOPS 19345 HAS SOUS 12097 HAS SOUPS 12097 WITH SCORE 12116.345
AT ITER 8881 NEW BEST:: SOT 103315 SOS 19361 HAS SOPS 19361 HAS SOUS 12082 HAS SOUPS 12082 WITH SCORE 12101.361
AT ITER 8978 NEW BEST:: SOT 103315 SOS 19357 HAS SOPS 19357 HAS SOUS 12082 HAS SOUPS 12082 WITH SCORE 12101.357
AT ITER 8989 NEW BEST:: SOT 103294 SOS 19315 HAS SOPS 19315 HAS SOUS 12080 HAS SOUPS 12080 WITH SCORE 12099.315
AT ITER 9014 NEW BEST:: SOT 103290 SOS 19312 HAS SOPS 19312 HAS SOUS 12072 HAS SOUPS 12072 WITH SCORE 12091.312
AT ITER 9055 NEW BEST:: SOT 103284 SOS 19311 HAS SOPS 19311 HAS SOUS 12071 HAS SOUPS 12071 WITH SCORE 12090.311
AT ITER 9074 NEW BEST:: SOT 103273 SOS 19300 HAS SOPS 19300 HAS SOUS 12060 HAS SOUPS 12060 WITH SCORE 12079.3
AT ITER 9089 NEW BEST:: SOT 103271 SOS 19299 HAS SOPS 19299 HAS SOUS 12059 HAS SOUPS 12059 WITH SCORE 12078.299
AT ITER 9096 NEW BEST:: SOT 103252 SOS 19275 HAS SOPS 19275 HAS SOUS 12054 HAS SOUPS 12054 WITH SCORE 12073.275
AT ITER 9117 NEW BEST:: SOT 103236 SOS 19259 HAS SOPS 19259 HAS SOUS 12038 HAS SOUPS 12038 WITH SCORE 12057.259
AT ITER 9143 NEW BEST:: SOT 103236 SOS 19259 HAS SOPS 19259 HAS SOUS 12036 HAS SOUPS 12036 WITH SCORE 12055.259
AT ITER 9180 NEW BEST:: SOT 103217 SOS 19496 HAS SOPS 19496 HAS SOUS 12026 HAS SOUPS 12026 WITH SCORE 12045.496
AT ITER 9226 NEW BEST:: SOT 103217 SOS 19496 HAS SOPS 19496 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12032.496
AT ITER 9257 NEW BEST:: SOT 103212 SOS 19481 HAS SOPS 19481 HAS SOUS 11998 HAS SOUPS 11998 WITH SCORE 12017.481
AT ITER 9318 NEW BEST:: SOT 103212 SOS 19467 HAS SOPS 19467 HAS SOUS 11998 HAS SOUPS 11998 WITH SCORE 12017.467
AT ITER 9323 NEW BEST:: SOT 103212 SOS 19464 HAS SOPS 19464 HAS SOUS 11995 HAS SOUPS 11995 WITH SCORE 12014.464
AT ITER 9335 NEW BEST:: SOT 103212 SOS 19445 HAS SOPS 19445 HAS SOUS 11992 HAS SOUPS 11992 WITH SCORE 12011.445
AT ITER 9336 NEW BEST:: SOT 103211 SOS 19444 HAS SOPS 19444 HAS SOUS 11991 HAS SOUPS 11991 WITH SCORE 12010.444
AT ITER 9375 NEW BEST:: SOT 103211 SOS 19444 HAS SOPS 19444 HAS SOUS 11959 HAS SOUPS 11959 WITH SCORE 11978.444
AT ITER 9383 NEW BEST:: SOT 103211 SOS 19441 HAS SOPS 19441 HAS SOUS 11955 HAS SOUPS 11955 WITH SCORE 11974.441
AT ITER 9404 NEW BEST:: SOT 103235 SOS 19460 HAS SOPS 19460 HAS SOUS 11947 HAS SOUPS 11947 WITH SCORE 11966.46
AT ITER 9645 NEW BEST:: SOT 103252 SOS 19452 HAS SOPS 19452 HAS SOUS 11939 HAS SOUPS 11939 WITH SCORE 11958.452
AT ITER 9721 NEW BEST:: SOT 103167 SOS 19970 HAS SOPS 19970 HAS SOUS 11881 HAS SOUPS 11881 WITH SCORE 11900.97
AT ITER 9789 NEW BEST:: SOT 103165 SOS 19968 HAS SOPS 19968 HAS SOUS 11879 HAS SOUPS 11879 WITH SCORE 11898.968
AT ITER 9804 NEW BEST:: SOT 103165 SOS 19958 HAS SOPS 19958 HAS SOUS 11869 HAS SOUPS 11869 WITH SCORE 11888.958
AT ITER 9827 NEW BEST:: SOT 103152 SOS 19956 HAS SOPS 19956 HAS SOUS 11867 HAS SOUPS 11867 WITH SCORE 11886.956
AT ITER 9871 NEW BEST:: SOT 103144 SOS 19948 HAS SOPS 19948 HAS SOUS 11862 HAS SOUPS 11862 WITH SCORE 11881.948
AT ITER 9912 NEW BEST:: SOT 103142 SOS 19929 HAS SOPS 19929 HAS SOUS 11853 HAS SOUPS 11853 WITH SCORE 11872.929
AT ITER 9913 NEW BEST:: SOT 103142 SOS 19879 HAS SOPS 19879 HAS SOUS 11853 HAS SOUPS 11853 WITH SCORE 11872.879
AT ITER 9930 NEW BEST:: SOT 103142 SOS 19873 HAS SOPS 19873 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11866.873
AT ITER 9934 NEW BEST:: SOT 103137 SOS 19868 HAS SOPS 19868 HAS SOUS 11842 HAS SOUPS 11842 WITH SCORE 11861.868
AT ITER 9946 NEW BEST:: SOT 103094 SOS 19830 HAS SOPS 19830 HAS SOUS 11839 HAS SOUPS 11839 WITH SCORE 11858.83
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 3568064 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16124096 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-15"
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-15, 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-167912651000272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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