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

About the Execution of Smart+red for Parking-PT-432

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
13025.815 3600000.00 3637349.00 8249.50 [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.r267-smll-167863541800440.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 Parking-PT-432, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541800440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 8.1K Feb 26 15:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 26 15:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 15:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 15:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 15:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 15:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 15:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 26 15:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 192K 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 1678878867118

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=Parking-PT-432
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 11:14:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 11:14:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 11:14:31] [INFO ] Load time of PNML (sax parser for PT used): 213 ms
[2023-03-15 11:14:31] [INFO ] Transformed 529 places.
[2023-03-15 11:14:31] [INFO ] Transformed 785 transitions.
[2023-03-15 11:14:31] [INFO ] Found NUPN structural information;
[2023-03-15 11:14:31] [INFO ] Parsed PT model containing 529 places and 785 transitions and 2329 arcs in 411 ms.
[2023-03-15 11:14:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 529 places, 785 transitions and 2329 arcs took 21 ms.
Total runtime 500 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Parking (PT), instance 432
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: 529 places, 785 transitions, 2329 arcs.
AT ITER 0 NEW BEST:: SOT 241005 SOS 171690 HAS SOPS 171690 HAS SOUS 112047 HAS SOUPS 112047 WITH SCORE 112218.69
AT ITER 1 NEW BEST:: SOT 240810 SOS 171523 HAS SOPS 171523 HAS SOUS 111919 HAS SOUPS 111919 WITH SCORE 112090.523
AT ITER 2 NEW BEST:: SOT 239871 SOS 171006 HAS SOPS 170883 HAS SOUS 111663 HAS SOUPS 111540 WITH SCORE 111711.006
AT ITER 3 NEW BEST:: SOT 239035 SOS 170226 HAS SOPS 170047 HAS SOUS 111114 HAS SOUPS 110935 WITH SCORE 111105.226
AT ITER 4 NEW BEST:: SOT 239035 SOS 166705 HAS SOPS 166526 HAS SOUS 111113 HAS SOUPS 110934 WITH SCORE 111100.705
AT ITER 7 NEW BEST:: SOT 238871 SOS 166541 HAS SOPS 166362 HAS SOUS 110932 HAS SOUPS 110753 WITH SCORE 110919.541
AT ITER 8 NEW BEST:: SOT 237974 SOS 165147 HAS SOPS 164784 HAS SOUS 110114 HAS SOUPS 109751 WITH SCORE 109916.147
AT ITER 9 NEW BEST:: SOT 237525 SOS 164760 HAS SOPS 164335 HAS SOUS 109933 HAS SOUPS 109508 WITH SCORE 109672.76
AT ITER 10 NEW BEST:: SOT 236528 SOS 163151 HAS SOPS 162726 HAS SOUS 108826 HAS SOUPS 108401 WITH SCORE 108564.151
AT ITER 11 NEW BEST:: SOT 236528 SOS 162994 HAS SOPS 162569 HAS SOUS 108826 HAS SOUPS 108401 WITH SCORE 108563.994
AT ITER 16 NEW BEST:: SOT 236267 SOS 162887 HAS SOPS 162443 HAS SOUS 108470 HAS SOUPS 108035 WITH SCORE 108197.887
AT ITER 17 NEW BEST:: SOT 235531 SOS 161677 HAS SOPS 161002 HAS SOUS 107777 HAS SOUPS 107111 WITH SCORE 107272.677
AT ITER 18 NEW BEST:: SOT 234709 SOS 160139 HAS SOPS 159464 HAS SOUS 106783 HAS SOUPS 106117 WITH SCORE 106277.139
AT ITER 22 NEW BEST:: SOT 234709 SOS 159611 HAS SOPS 158936 HAS SOUS 106505 HAS SOUPS 105839 WITH SCORE 105998.611
AT ITER 26 NEW BEST:: SOT 234709 SOS 159610 HAS SOPS 158935 HAS SOUS 106504 HAS SOUPS 105838 WITH SCORE 105997.61
AT ITER 29 NEW BEST:: SOT 234709 SOS 159039 HAS SOPS 158364 HAS SOUS 106327 HAS SOUPS 105661 WITH SCORE 105820.039
AT ITER 31 NEW BEST:: SOT 233883 SOS 157904 HAS SOPS 157054 HAS SOUS 105761 HAS SOUPS 104920 WITH SCORE 105077.904
AT ITER 33 NEW BEST:: SOT 233445 SOS 157543 HAS SOPS 156615 HAS SOUS 105540 HAS SOUPS 104621 WITH SCORE 104778.543
AT ITER 35 NEW BEST:: SOT 233445 SOS 157542 HAS SOPS 156614 HAS SOUS 105539 HAS SOUPS 104620 WITH SCORE 104777.542
AT ITER 41 NEW BEST:: SOT 233501 SOS 157423 HAS SOPS 156495 HAS SOUS 105538 HAS SOUPS 104619 WITH SCORE 104776.423
AT ITER 44 NEW BEST:: SOT 232805 SOS 156786 HAS SOPS 155798 HAS SOUS 105108 HAS SOUPS 104129 WITH SCORE 104285.786
AT ITER 45 NEW BEST:: SOT 232805 SOS 156544 HAS SOPS 155556 HAS SOUS 104866 HAS SOUPS 103887 WITH SCORE 104043.544
AT ITER 49 NEW BEST:: SOT 232424 SOS 156021 HAS SOPS 155033 HAS SOUS 104259 HAS SOUPS 103280 WITH SCORE 103436.021
AT ITER 52 NEW BEST:: SOT 231894 SOS 155431 HAS SOPS 154443 HAS SOUS 103635 HAS SOUPS 102656 WITH SCORE 102811.431
AT ITER 57 NEW BEST:: SOT 231893 SOS 155430 HAS SOPS 154442 HAS SOUS 103634 HAS SOUPS 102655 WITH SCORE 102810.43
AT ITER 58 NEW BEST:: SOT 231893 SOS 155017 HAS SOPS 154029 HAS SOUS 103460 HAS SOUPS 102481 WITH SCORE 102636.017
AT ITER 59 NEW BEST:: SOT 231786 SOS 154279 HAS SOPS 153291 HAS SOUS 103229 HAS SOUPS 102250 WITH SCORE 102404.279
AT ITER 63 NEW BEST:: SOT 227440 SOS 150131 HAS SOPS 149143 HAS SOUS 100345 HAS SOUPS 99366 WITH SCORE 99516.131
AT ITER 67 NEW BEST:: SOT 226963 SOS 149347 HAS SOPS 148072 HAS SOUS 100155 HAS SOUPS 98889 WITH SCORE 99038.347
AT ITER 74 NEW BEST:: SOT 226376 SOS 148316 HAS SOPS 146837 HAS SOUS 99630 HAS SOUPS 98160 WITH SCORE 98308.316
AT ITER 75 NEW BEST:: SOT 226376 SOS 148160 HAS SOPS 146681 HAS SOUS 99578 HAS SOUPS 98108 WITH SCORE 98256.16
AT ITER 76 NEW BEST:: SOT 226376 SOS 148079 HAS SOPS 146600 HAS SOUS 99524 HAS SOUPS 98054 WITH SCORE 98202.079
AT ITER 77 NEW BEST:: SOT 225725 SOS 146192 HAS SOPS 144713 HAS SOUS 98601 HAS SOUPS 97131 WITH SCORE 97277.192
AT ITER 80 NEW BEST:: SOT 225198 SOS 145572 HAS SOPS 144038 HAS SOUS 98221 HAS SOUPS 96696 WITH SCORE 96841.572
AT ITER 83 NEW BEST:: SOT 225144 SOS 145518 HAS SOPS 143984 HAS SOUS 98215 HAS SOUPS 96690 WITH SCORE 96835.518
AT ITER 86 NEW BEST:: SOT 225091 SOS 145465 HAS SOPS 143931 HAS SOUS 98162 HAS SOUPS 96637 WITH SCORE 96782.465
AT ITER 88 NEW BEST:: SOT 221334 SOS 141708 HAS SOPS 140174 HAS SOUS 95773 HAS SOUPS 94248 WITH SCORE 94389.708
AT ITER 89 NEW BEST:: SOT 221380 SOS 141724 HAS SOPS 140190 HAS SOUS 95743 HAS SOUPS 94218 WITH SCORE 94359.724
AT ITER 92 NEW BEST:: SOT 221064 SOS 141407 HAS SOPS 139873 HAS SOUS 95542 HAS SOUPS 94017 WITH SCORE 94158.407
AT ITER 94 NEW BEST:: SOT 220892 SOS 141235 HAS SOPS 139701 HAS SOUS 95412 HAS SOUPS 93887 WITH SCORE 94028.235
AT ITER 96 NEW BEST:: SOT 220883 SOS 141177 HAS SOPS 139692 HAS SOUS 95354 HAS SOUPS 93878 WITH SCORE 94019.177
AT ITER 98 NEW BEST:: SOT 220651 SOS 141005 HAS SOPS 139361 HAS SOUS 95164 HAS SOUPS 93529 WITH SCORE 93670.005
AT ITER 101 NEW BEST:: SOT 219802 SOS 139573 HAS SOPS 137825 HAS SOUS 94324 HAS SOUPS 92585 WITH SCORE 92724.573
AT ITER 102 NEW BEST:: SOT 219717 SOS 139488 HAS SOPS 137740 HAS SOUS 94275 HAS SOUPS 92536 WITH SCORE 92675.488
AT ITER 105 NEW BEST:: SOT 219203 SOS 138338 HAS SOPS 136590 HAS SOUS 93639 HAS SOUPS 91900 WITH SCORE 92038.338
AT ITER 107 NEW BEST:: SOT 218855 SOS 138020 HAS SOPS 136242 HAS SOUS 93521 HAS SOUPS 91752 WITH SCORE 91890.02
AT ITER 114 NEW BEST:: SOT 218808 SOS 138256 HAS SOPS 136195 HAS SOUS 93757 HAS SOUPS 91705 WITH SCORE 91843.256
AT ITER 117 NEW BEST:: SOT 218507 SOS 137863 HAS SOPS 135802 HAS SOUS 93456 HAS SOUPS 91404 WITH SCORE 91541.863
AT ITER 118 NEW BEST:: SOT 218416 SOS 137772 HAS SOPS 135711 HAS SOUS 93361 HAS SOUPS 91309 WITH SCORE 91446.772
AT ITER 122 NEW BEST:: SOT 218416 SOS 137771 HAS SOPS 135710 HAS SOUS 93360 HAS SOUPS 91308 WITH SCORE 91445.771
AT ITER 125 NEW BEST:: SOT 218284 SOS 137434 HAS SOPS 135373 HAS SOUS 93155 HAS SOUPS 91103 WITH SCORE 91240.434
AT ITER 132 NEW BEST:: SOT 218274 SOS 137424 HAS SOPS 135363 HAS SOUS 93108 HAS SOUPS 91056 WITH SCORE 91193.424
AT ITER 136 NEW BEST:: SOT 218157 SOS 137025 HAS SOPS 134964 HAS SOUS 92888 HAS SOUPS 90836 WITH SCORE 90973.025
AT ITER 141 NEW BEST:: SOT 218131 SOS 136999 HAS SOPS 134938 HAS SOUS 92837 HAS SOUPS 90785 WITH SCORE 90921.999
AT ITER 143 NEW BEST:: SOT 217577 SOS 136445 HAS SOPS 134384 HAS SOUS 92421 HAS SOUPS 90369 WITH SCORE 90505.445
AT ITER 147 NEW BEST:: SOT 217463 SOS 136035 HAS SOPS 133974 HAS SOUS 92125 HAS SOUPS 90073 WITH SCORE 90209.035
AT ITER 148 NEW BEST:: SOT 217463 SOS 136019 HAS SOPS 133972 HAS SOUS 92109 HAS SOUPS 90071 WITH SCORE 90207.019
AT ITER 158 NEW BEST:: SOT 217349 SOS 135715 HAS SOPS 133668 HAS SOUS 92071 HAS SOUPS 90033 WITH SCORE 90168.715
AT ITER 159 NEW BEST:: SOT 217474 SOS 135840 HAS SOPS 133793 HAS SOUS 92018 HAS SOUPS 89980 WITH SCORE 90115.84
AT ITER 160 NEW BEST:: SOT 217365 SOS 135731 HAS SOPS 133684 HAS SOUS 91895 HAS SOUPS 89857 WITH SCORE 89992.731
AT ITER 161 NEW BEST:: SOT 217103 SOS 135208 HAS SOPS 133030 HAS SOUS 91634 HAS SOUPS 89465 WITH SCORE 89600.208
AT ITER 166 NEW BEST:: SOT 217436 SOS 135359 HAS SOPS 133181 HAS SOUS 91446 HAS SOUPS 89277 WITH SCORE 89412.359
AT ITER 168 NEW BEST:: SOT 216847 SOS 134171 HAS SOPS 131993 HAS SOUS 90842 HAS SOUPS 88673 WITH SCORE 88807.171
AT ITER 169 NEW BEST:: SOT 216846 SOS 133836 HAS SOPS 131658 HAS SOUS 90674 HAS SOUPS 88505 WITH SCORE 88638.836
AT ITER 173 NEW BEST:: SOT 216743 SOS 133733 HAS SOPS 131555 HAS SOUS 90547 HAS SOUPS 88378 WITH SCORE 88511.733
AT ITER 176 NEW BEST:: SOT 216743 SOS 133719 HAS SOPS 131541 HAS SOUS 90547 HAS SOUPS 88378 WITH SCORE 88511.719
AT ITER 180 NEW BEST:: SOT 216627 SOS 133525 HAS SOPS 131425 HAS SOUS 90353 HAS SOUPS 88262 WITH SCORE 88395.525
AT ITER 184 NEW BEST:: SOT 216355 SOS 132882 HAS SOPS 130820 HAS SOUS 89989 HAS SOUPS 87936 WITH SCORE 88068.882
AT ITER 188 NEW BEST:: SOT 216264 SOS 132220 HAS SOPS 130158 HAS SOUS 89607 HAS SOUPS 87554 WITH SCORE 87686.22
AT ITER 193 NEW BEST:: SOT 215666 SOS 131736 HAS SOPS 129645 HAS SOUS 89053 HAS SOUPS 86985 WITH SCORE 87116.736
AT ITER 202 NEW BEST:: SOT 215643 SOS 131667 HAS SOPS 129576 HAS SOUS 89007 HAS SOUPS 86939 WITH SCORE 87070.667
AT ITER 203 NEW BEST:: SOT 215617 SOS 131641 HAS SOPS 129549 HAS SOUS 88981 HAS SOUPS 86912 WITH SCORE 87043.641
AT ITER 204 NEW BEST:: SOT 215471 SOS 130996 HAS SOPS 128904 HAS SOUS 88519 HAS SOUPS 86450 WITH SCORE 86580.996
AT ITER 215 NEW BEST:: SOT 215470 SOS 130919 HAS SOPS 128827 HAS SOUS 88282 HAS SOUPS 86213 WITH SCORE 86343.919
AT ITER 216 NEW BEST:: SOT 215350 SOS 130791 HAS SOPS 128699 HAS SOUS 88210 HAS SOUPS 86141 WITH SCORE 86271.791
AT ITER 222 NEW BEST:: SOT 215135 SOS 130575 HAS SOPS 128483 HAS SOUS 88151 HAS SOUPS 86082 WITH SCORE 86212.575
AT ITER 224 NEW BEST:: SOT 215125 SOS 130565 HAS SOPS 128473 HAS SOUS 88141 HAS SOUPS 86072 WITH SCORE 86202.565
AT ITER 232 NEW BEST:: SOT 215125 SOS 130511 HAS SOPS 128419 HAS SOUS 88091 HAS SOUPS 86022 WITH SCORE 86152.511
AT ITER 233 NEW BEST:: SOT 215125 SOS 130096 HAS SOPS 128004 HAS SOUS 87960 HAS SOUPS 85891 WITH SCORE 86021.096
AT ITER 234 NEW BEST:: SOT 215023 SOS 129781 HAS SOPS 127689 HAS SOUS 87849 HAS SOUPS 85780 WITH SCORE 85909.781
AT ITER 236 NEW BEST:: SOT 214941 SOS 129646 HAS SOPS 127554 HAS SOUS 87811 HAS SOUPS 85742 WITH SCORE 85871.646
AT ITER 237 NEW BEST:: SOT 214913 SOS 129562 HAS SOPS 127470 HAS SOUS 87755 HAS SOUPS 85686 WITH SCORE 85815.562
AT ITER 239 NEW BEST:: SOT 215228 SOS 129641 HAS SOPS 127549 HAS SOUS 87716 HAS SOUPS 85647 WITH SCORE 85776.641
AT ITER 240 NEW BEST:: SOT 214768 SOS 129180 HAS SOPS 127088 HAS SOUS 87370 HAS SOUPS 85301 WITH SCORE 85430.18
AT ITER 241 NEW BEST:: SOT 214136 SOS 128255 HAS SOPS 126144 HAS SOUS 86751 HAS SOUPS 84663 WITH SCORE 84791.255
AT ITER 243 NEW BEST:: SOT 214097 SOS 128190 HAS SOPS 126079 HAS SOUS 86712 HAS SOUPS 84624 WITH SCORE 84752.19
AT ITER 248 NEW BEST:: SOT 213785 SOS 127877 HAS SOPS 125766 HAS SOUS 86489 HAS SOUPS 84401 WITH SCORE 84528.877
AT ITER 251 NEW BEST:: SOT 213743 SOS 127772 HAS SOPS 125661 HAS SOUS 86426 HAS SOUPS 84338 WITH SCORE 84465.772
AT ITER 253 NEW BEST:: SOT 213621 SOS 127650 HAS SOPS 125539 HAS SOUS 86188 HAS SOUPS 84100 WITH SCORE 84227.65
AT ITER 254 NEW BEST:: SOT 213462 SOS 127491 HAS SOPS 125380 HAS SOUS 86029 HAS SOUPS 83941 WITH SCORE 84068.491
AT ITER 257 NEW BEST:: SOT 213414 SOS 127443 HAS SOPS 125332 HAS SOUS 85902 HAS SOUPS 83814 WITH SCORE 83941.443
AT ITER 261 NEW BEST:: SOT 213381 SOS 127410 HAS SOPS 125299 HAS SOUS 85869 HAS SOUPS 83781 WITH SCORE 83908.41
AT ITER 262 NEW BEST:: SOT 213316 SOS 127131 HAS SOPS 125020 HAS SOUS 85806 HAS SOUPS 83718 WITH SCORE 83845.131
AT ITER 269 NEW BEST:: SOT 212963 SOS 126722 HAS SOPS 124427 HAS SOUS 85619 HAS SOUPS 83347 WITH SCORE 83473.722
AT ITER 274 NEW BEST:: SOT 212963 SOS 126614 HAS SOPS 124319 HAS SOUS 85607 HAS SOUPS 83335 WITH SCORE 83461.614
AT ITER 278 NEW BEST:: SOT 212753 SOS 126414 HAS SOPS 124119 HAS SOUS 85337 HAS SOUPS 83065 WITH SCORE 83191.414
AT ITER 279 NEW BEST:: SOT 212753 SOS 126036 HAS SOPS 123741 HAS SOUS 85211 HAS SOUPS 82939 WITH SCORE 83065.036
AT ITER 292 NEW BEST:: SOT 212659 SOS 125848 HAS SOPS 123553 HAS SOUS 85023 HAS SOUPS 82751 WITH SCORE 82876.848
AT ITER 296 NEW BEST:: SOT 212702 SOS 125757 HAS SOPS 123462 HAS SOUS 85021 HAS SOUPS 82749 WITH SCORE 82874.757
AT ITER 300 NEW BEST:: SOT 212559 SOS 125614 HAS SOPS 123319 HAS SOUS 84926 HAS SOUPS 82654 WITH SCORE 82779.614
AT ITER 303 NEW BEST:: SOT 212440 SOS 125553 HAS SOPS 123199 HAS SOUS 84957 HAS SOUPS 82626 WITH SCORE 82751.553
AT ITER 306 NEW BEST:: SOT 212387 SOS 125499 HAS SOPS 123145 HAS SOUS 84903 HAS SOUPS 82572 WITH SCORE 82697.499
AT ITER 315 NEW BEST:: SOT 212322 SOS 124663 HAS SOPS 122309 HAS SOUS 84794 HAS SOUPS 82463 WITH SCORE 82587.663
AT ITER 326 NEW BEST:: SOT 210638 SOS 123978 HAS SOPS 121624 HAS SOUS 84072 HAS SOUPS 81741 WITH SCORE 81864.978
AT ITER 329 NEW BEST:: SOT 210062 SOS 119210 HAS SOPS 116727 HAS SOUS 83404 HAS SOUPS 80944 WITH SCORE 81063.21
AT ITER 331 NEW BEST:: SOT 209553 SOS 119009 HAS SOPS 116404 HAS SOUS 83146 HAS SOUPS 80564 WITH SCORE 80683.009
AT ITER 332 NEW BEST:: SOT 209483 SOS 118939 HAS SOPS 116334 HAS SOUS 83076 HAS SOUPS 80494 WITH SCORE 80612.939
AT ITER 333 NEW BEST:: SOT 209483 SOS 114561 HAS SOPS 112168 HAS SOUS 82863 HAS SOUPS 80493 WITH SCORE 80607.561
AT ITER 334 NEW BEST:: SOT 209311 SOS 114389 HAS SOPS 111996 HAS SOUS 82691 HAS SOUPS 80321 WITH SCORE 80435.389
AT ITER 337 NEW BEST:: SOT 209311 SOS 114065 HAS SOPS 111672 HAS SOUS 82691 HAS SOUPS 80321 WITH SCORE 80435.065
AT ITER 338 NEW BEST:: SOT 209359 SOS 113737 HAS SOPS 111456 HAS SOUS 82536 HAS SOUPS 80278 WITH SCORE 80391.737
AT ITER 339 NEW BEST:: SOT 209270 SOS 113648 HAS SOPS 111366 HAS SOUS 82492 HAS SOUPS 80233 WITH SCORE 80346.648
AT ITER 347 NEW BEST:: SOT 209291 SOS 113635 HAS SOPS 111353 HAS SOUS 82485 HAS SOUPS 80226 WITH SCORE 80339.635
AT ITER 354 NEW BEST:: SOT 209109 SOS 113291 HAS SOPS 110958 HAS SOUS 82283 HAS SOUPS 79973 WITH SCORE 80086.291
AT ITER 355 NEW BEST:: SOT 208938 SOS 113329 HAS SOPS 110931 HAS SOUS 82280 HAS SOUPS 79905 WITH SCORE 80018.329
AT ITER 359 NEW BEST:: SOT 208197 SOS 112507 HAS SOPS 110028 HAS SOUS 82039 HAS SOUPS 79623 WITH SCORE 79735.507
AT ITER 360 NEW BEST:: SOT 208084 SOS 112394 HAS SOPS 109915 HAS SOUS 81943 HAS SOUPS 79527 WITH SCORE 79639.394
AT ITER 363 NEW BEST:: SOT 207941 SOS 111774 HAS SOPS 109458 HAS SOUS 81488 HAS SOUPS 79235 WITH SCORE 79346.774
AT ITER 365 NEW BEST:: SOT 207941 SOS 111917 HAS SOPS 109561 HAS SOUS 81511 HAS SOUPS 79218 WITH SCORE 79329.917
AT ITER 369 NEW BEST:: SOT 207891 SOS 111302 HAS SOPS 108946 HAS SOUS 81396 HAS SOUPS 79103 WITH SCORE 79214.302
AT ITER 376 NEW BEST:: SOT 207960 SOS 111003 HAS SOPS 108647 HAS SOUS 81298 HAS SOUPS 79005 WITH SCORE 79116.003
AT ITER 381 NEW BEST:: SOT 207960 SOS 110829 HAS SOPS 108473 HAS SOUS 81211 HAS SOUPS 78918 WITH SCORE 79028.829
AT ITER 384 NEW BEST:: SOT 207955 SOS 110822 HAS SOPS 108466 HAS SOUS 81206 HAS SOUPS 78913 WITH SCORE 79023.822
AT ITER 386 NEW BEST:: SOT 207955 SOS 110811 HAS SOPS 108455 HAS SOUS 81195 HAS SOUPS 78902 WITH SCORE 79012.811
AT ITER 388 NEW BEST:: SOT 207813 SOS 110669 HAS SOPS 108313 HAS SOUS 81120 HAS SOUPS 78827 WITH SCORE 78937.669
AT ITER 394 NEW BEST:: SOT 207813 SOS 110302 HAS SOPS 107946 HAS SOUS 80899 HAS SOUPS 78606 WITH SCORE 78716.302
AT ITER 399 NEW BEST:: SOT 207809 SOS 110306 HAS SOPS 107950 HAS SOUS 80895 HAS SOUPS 78602 WITH SCORE 78712.306
AT ITER 409 NEW BEST:: SOT 207809 SOS 110260 HAS SOPS 107904 HAS SOUS 80872 HAS SOUPS 78579 WITH SCORE 78689.26
AT ITER 410 NEW BEST:: SOT 207809 SOS 109717 HAS SOPS 107361 HAS SOUS 80565 HAS SOUPS 78272 WITH SCORE 78381.717
AT ITER 413 NEW BEST:: SOT 207802 SOS 109623 HAS SOPS 107267 HAS SOUS 80471 HAS SOUPS 78178 WITH SCORE 78287.623
AT ITER 415 NEW BEST:: SOT 207670 SOS 109491 HAS SOPS 107135 HAS SOUS 80461 HAS SOUPS 78168 WITH SCORE 78277.491
AT ITER 418 NEW BEST:: SOT 207662 SOS 109323 HAS SOPS 106966 HAS SOUS 80293 HAS SOUPS 77999 WITH SCORE 78108.323
AT ITER 423 NEW BEST:: SOT 207579 SOS 109240 HAS SOPS 106883 HAS SOUS 80210 HAS SOUPS 77916 WITH SCORE 78025.24
AT ITER 427 NEW BEST:: SOT 207579 SOS 109213 HAS SOPS 106856 HAS SOUS 80183 HAS SOUPS 77889 WITH SCORE 77998.213
AT ITER 429 NEW BEST:: SOT 207025 SOS 108659 HAS SOPS 106302 HAS SOUS 79829 HAS SOUPS 77535 WITH SCORE 77643.659
AT ITER 430 NEW BEST:: SOT 206759 SOS 108266 HAS SOPS 105903 HAS SOUS 79569 HAS SOUPS 77269 WITH SCORE 77377.266
AT ITER 431 NEW BEST:: SOT 206744 SOS 108241 HAS SOPS 105878 HAS SOUS 79564 HAS SOUPS 77264 WITH SCORE 77372.241
AT ITER 439 NEW BEST:: SOT 206674 SOS 108060 HAS SOPS 105697 HAS SOUS 79383 HAS SOUPS 77083 WITH SCORE 77191.06
AT ITER 442 NEW BEST:: SOT 206262 SOS 107947 HAS SOPS 105584 HAS SOUS 79073 HAS SOUPS 76773 WITH SCORE 76880.947
AT ITER 447 NEW BEST:: SOT 206262 SOS 107836 HAS SOPS 105473 HAS SOUS 79072 HAS SOUPS 76772 WITH SCORE 76879.836
AT ITER 450 NEW BEST:: SOT 206262 SOS 107730 HAS SOPS 105472 HAS SOUS 78966 HAS SOUPS 76771 WITH SCORE 76878.73
AT ITER 453 NEW BEST:: SOT 205775 SOS 107385 HAS SOPS 104985 HAS SOUS 78840 HAS SOUPS 76503 WITH SCORE 76610.385
AT ITER 455 NEW BEST:: SOT 205775 SOS 107242 HAS SOPS 104842 HAS SOUS 78840 HAS SOUPS 76503 WITH SCORE 76610.242
AT ITER 458 NEW BEST:: SOT 205659 SOS 107022 HAS SOPS 104622 HAS SOUS 78724 HAS SOUPS 76387 WITH SCORE 76494.022
AT ITER 459 NEW BEST:: SOT 205860 SOS 107029 HAS SOPS 104629 HAS SOUS 78676 HAS SOUPS 76339 WITH SCORE 76446.029
AT ITER 464 NEW BEST:: SOT 205860 SOS 107070 HAS SOPS 104437 HAS SOUS 78844 HAS SOUPS 76274 WITH SCORE 76381.07
AT ITER 476 NEW BEST:: SOT 205684 SOS 106894 HAS SOPS 104261 HAS SOUS 78756 HAS SOUPS 76186 WITH SCORE 76292.894
AT ITER 479 NEW BEST:: SOT 205534 SOS 106717 HAS SOPS 104084 HAS SOUS 78544 HAS SOUPS 75974 WITH SCORE 76080.717
AT ITER 485 NEW BEST:: SOT 205528 SOS 106711 HAS SOPS 104078 HAS SOUS 78541 HAS SOUPS 75971 WITH SCORE 76077.711
AT ITER 491 NEW BEST:: SOT 205512 SOS 106695 HAS SOPS 104062 HAS SOUS 78525 HAS SOUPS 75955 WITH SCORE 76061.695
AT ITER 492 NEW BEST:: SOT 205512 SOS 106583 HAS SOPS 103950 HAS SOUS 78524 HAS SOUPS 75954 WITH SCORE 76060.583
AT ITER 495 NEW BEST:: SOT 205465 SOS 106420 HAS SOPS 103787 HAS SOUS 78331 HAS SOUPS 75761 WITH SCORE 75867.42
AT ITER 497 NEW BEST:: SOT 205462 SOS 106417 HAS SOPS 103784 HAS SOUS 78331 HAS SOUPS 75761 WITH SCORE 75867.417
AT ITER 498 NEW BEST:: SOT 205462 SOS 106287 HAS SOPS 103654 HAS SOUS 78266 HAS SOUPS 75696 WITH SCORE 75802.287
AT ITER 500 NEW BEST:: SOT 205500 SOS 106244 HAS SOPS 103611 HAS SOUS 78217 HAS SOUPS 75647 WITH SCORE 75753.244
AT ITER 505 NEW BEST:: SOT 205354 SOS 106098 HAS SOPS 103465 HAS SOUS 78144 HAS SOUPS 75574 WITH SCORE 75680.098
AT ITER 513 NEW BEST:: SOT 204627 SOS 104952 HAS SOPS 102097 HAS SOUS 77502 HAS SOUPS 74710 WITH SCORE 74814.952
AT ITER 517 NEW BEST:: SOT 204549 SOS 104577 HAS SOPS 101722 HAS SOUS 77253 HAS SOUPS 74461 WITH SCORE 74565.577
AT ITER 523 NEW BEST:: SOT 204549 SOS 104574 HAS SOPS 101719 HAS SOUS 77250 HAS SOUPS 74458 WITH SCORE 74562.574
AT ITER 525 NEW BEST:: SOT 204597 SOS 104435 HAS SOPS 101580 HAS SOUS 77192 HAS SOUPS 74400 WITH SCORE 74504.435
AT ITER 526 NEW BEST:: SOT 204597 SOS 104431 HAS SOPS 101580 HAS SOUS 77188 HAS SOUPS 74400 WITH SCORE 74504.431
AT ITER 528 NEW BEST:: SOT 204546 SOS 104179 HAS SOPS 101328 HAS SOUS 76891 HAS SOUPS 74103 WITH SCORE 74207.179
AT ITER 535 NEW BEST:: SOT 204499 SOS 104157 HAS SOPS 101231 HAS SOUS 76926 HAS SOUPS 74063 WITH SCORE 74167.157
AT ITER 537 NEW BEST:: SOT 204471 SOS 104128 HAS SOPS 101202 HAS SOUS 76925 HAS SOUPS 74062 WITH SCORE 74166.128
AT ITER 540 NEW BEST:: SOT 203747 SOS 103454 HAS SOPS 100477 HAS SOUS 76480 HAS SOUPS 73566 WITH SCORE 73669.454
AT ITER 550 NEW BEST:: SOT 203719 SOS 103482 HAS SOPS 100505 HAS SOUS 76452 HAS SOUPS 73538 WITH SCORE 73641.482
AT ITER 560 NEW BEST:: SOT 203438 SOS 103316 HAS SOPS 100184 HAS SOUS 76192 HAS SOUPS 73123 WITH SCORE 73226.316
AT ITER 562 NEW BEST:: SOT 202864 SOS 102556 HAS SOPS 99583 HAS SOUS 75205 HAS SOUPS 72295 WITH SCORE 72397.556
AT ITER 569 NEW BEST:: SOT 199662 SOS 99574 HAS SOPS 96595 HAS SOUS 73276 HAS SOUPS 70362 WITH SCORE 70461.574
AT ITER 571 NEW BEST:: SOT 199656 SOS 99571 HAS SOPS 96589 HAS SOUS 73276 HAS SOUPS 70359 WITH SCORE 70458.571
AT ITER 573 NEW BEST:: SOT 199285 SOS 99200 HAS SOPS 96218 HAS SOUS 72987 HAS SOUPS 70070 WITH SCORE 70169.2
AT ITER 599 NEW BEST:: SOT 199285 SOS 99182 HAS SOPS 96200 HAS SOUS 72986 HAS SOUPS 70069 WITH SCORE 70168.182
AT ITER 602 NEW BEST:: SOT 199170 SOS 99067 HAS SOPS 96084 HAS SOUS 72909 HAS SOUPS 69991 WITH SCORE 70090.067
AT ITER 612 NEW BEST:: SOT 199120 SOS 98740 HAS SOPS 95757 HAS SOUS 72721 HAS SOUPS 69803 WITH SCORE 69901.74
AT ITER 616 NEW BEST:: SOT 199120 SOS 98721 HAS SOPS 95757 HAS SOUS 72702 HAS SOUPS 69803 WITH SCORE 69901.721
AT ITER 619 NEW BEST:: SOT 198876 SOS 98254 HAS SOPS 95285 HAS SOUS 72357 HAS SOUPS 69453 WITH SCORE 69551.254
AT ITER 623 NEW BEST:: SOT 198852 SOS 98230 HAS SOPS 95261 HAS SOUS 72345 HAS SOUPS 69441 WITH SCORE 69539.23
AT ITER 625 NEW BEST:: SOT 198789 SOS 97879 HAS SOPS 94910 HAS SOUS 72126 HAS SOUPS 69222 WITH SCORE 69319.879
AT ITER 643 NEW BEST:: SOT 198639 SOS 97307 HAS SOPS 94338 HAS SOUS 71841 HAS SOUPS 68937 WITH SCORE 69034.307
AT ITER 646 NEW BEST:: SOT 198639 SOS 97247 HAS SOPS 94278 HAS SOUS 71781 HAS SOUPS 68877 WITH SCORE 68974.247
AT ITER 663 NEW BEST:: SOT 198627 SOS 97223 HAS SOPS 94254 HAS SOUS 71757 HAS SOUPS 68853 WITH SCORE 68950.223
AT ITER 673 NEW BEST:: SOT 198582 SOS 97172 HAS SOPS 94203 HAS SOUS 71649 HAS SOUPS 68745 WITH SCORE 68842.172
AT ITER 679 NEW BEST:: SOT 198563 SOS 97223 HAS SOPS 94254 HAS SOUS 71637 HAS SOUPS 68733 WITH SCORE 68830.223
AT ITER 683 NEW BEST:: SOT 198477 SOS 97137 HAS SOPS 94168 HAS SOUS 71506 HAS SOUPS 68602 WITH SCORE 68699.137
AT ITER 696 NEW BEST:: SOT 198472 SOS 97132 HAS SOPS 94158 HAS SOUS 71501 HAS SOUPS 68592 WITH SCORE 68689.132
AT ITER 697 NEW BEST:: SOT 198472 SOS 97042 HAS SOPS 94068 HAS SOUS 71411 HAS SOUPS 68502 WITH SCORE 68599.042
AT ITER 706 NEW BEST:: SOT 198298 SOS 96868 HAS SOPS 93894 HAS SOUS 71335 HAS SOUPS 68426 WITH SCORE 68522.868
AT ITER 716 NEW BEST:: SOT 197912 SOS 96627 HAS SOPS 93463 HAS SOUS 71189 HAS SOUPS 68090 WITH SCORE 68186.627
AT ITER 718 NEW BEST:: SOT 197912 SOS 96633 HAS SOPS 93469 HAS SOUS 71083 HAS SOUPS 67984 WITH SCORE 68080.633
AT ITER 730 NEW BEST:: SOT 197804 SOS 96157 HAS SOPS 92993 HAS SOUS 71063 HAS SOUPS 67964 WITH SCORE 68060.157
AT ITER 732 NEW BEST:: SOT 197756 SOS 96181 HAS SOPS 93017 HAS SOUS 71054 HAS SOUPS 67955 WITH SCORE 68051.181
AT ITER 745 NEW BEST:: SOT 197708 SOS 96133 HAS SOPS 92968 HAS SOUS 71053 HAS SOUPS 67953 WITH SCORE 68049.133
AT ITER 748 NEW BEST:: SOT 197479 SOS 95694 HAS SOPS 92529 HAS SOUS 70824 HAS SOUPS 67724 WITH SCORE 67819.694
AT ITER 752 NEW BEST:: SOT 197344 SOS 94974 HAS SOPS 91995 HAS SOUS 70310 HAS SOUPS 67396 WITH SCORE 67490.974
AT ITER 755 NEW BEST:: SOT 196991 SOS 94460 HAS SOPS 91532 HAS SOUS 69796 HAS SOUPS 66933 WITH SCORE 67027.46
AT ITER 756 NEW BEST:: SOT 197074 SOS 94608 HAS SOPS 91680 HAS SOUS 69751 HAS SOUPS 66888 WITH SCORE 66982.608
AT ITER 767 NEW BEST:: SOT 197585 SOS 97066 HAS SOPS 94138 HAS SOUS 69718 HAS SOUPS 66855 WITH SCORE 66952.066
AT ITER 768 NEW BEST:: SOT 197407 SOS 96896 HAS SOPS 93972 HAS SOUS 69550 HAS SOUPS 66689 WITH SCORE 66785.896
AT ITER 771 NEW BEST:: SOT 197430 SOS 96499 HAS SOPS 93653 HAS SOUS 69405 HAS SOUPS 66622 WITH SCORE 66718.499
AT ITER 795 NEW BEST:: SOT 197430 SOS 96548 HAS SOPS 93702 HAS SOUS 69338 HAS SOUPS 66555 WITH SCORE 66651.548
AT ITER 803 NEW BEST:: SOT 197408 SOS 96482 HAS SOPS 93636 HAS SOUS 69316 HAS SOUPS 66533 WITH SCORE 66629.482
AT ITER 804 NEW BEST:: SOT 197919 SOS 96801 HAS SOPS 93955 HAS SOUS 69186 HAS SOUPS 66403 WITH SCORE 66499.801
AT ITER 811 NEW BEST:: SOT 198453 SOS 97272 HAS SOPS 94209 HAS SOUS 69353 HAS SOUPS 66355 WITH SCORE 66452.272
AT ITER 817 NEW BEST:: SOT 198400 SOS 97132 HAS SOPS 94031 HAS SOUS 69213 HAS SOUPS 66177 WITH SCORE 66274.132
AT ITER 818 NEW BEST:: SOT 198285 SOS 96919 HAS SOPS 93818 HAS SOUS 69098 HAS SOUPS 66062 WITH SCORE 66158.919
AT ITER 819 NEW BEST:: SOT 198279 SOS 96843 HAS SOPS 93742 HAS SOUS 69092 HAS SOUPS 66056 WITH SCORE 66152.843
AT ITER 828 NEW BEST:: SOT 198121 SOS 96542 HAS SOPS 93359 HAS SOUS 68949 HAS SOUPS 65831 WITH SCORE 65927.542
AT ITER 831 NEW BEST:: SOT 197870 SOS 96322 HAS SOPS 93045 HAS SOUS 68771 HAS SOUPS 65559 WITH SCORE 65655.322
AT ITER 832 NEW BEST:: SOT 197818 SOS 96270 HAS SOPS 92993 HAS SOUS 68745 HAS SOUPS 65533 WITH SCORE 65629.27
AT ITER 840 NEW BEST:: SOT 197804 SOS 96131 HAS SOPS 92854 HAS SOUS 68731 HAS SOUPS 65519 WITH SCORE 65615.131
AT ITER 842 NEW BEST:: SOT 197505 SOS 96213 HAS SOPS 92805 HAS SOUS 68775 HAS SOUPS 65432 WITH SCORE 65528.213
AT ITER 846 NEW BEST:: SOT 197446 SOS 96154 HAS SOPS 92746 HAS SOUS 68658 HAS SOUPS 65315 WITH SCORE 65411.154
AT ITER 847 NEW BEST:: SOT 197412 SOS 96113 HAS SOPS 92705 HAS SOUS 68624 HAS SOUPS 65281 WITH SCORE 65377.113
AT ITER 848 NEW BEST:: SOT 197501 SOS 96202 HAS SOPS 92794 HAS SOUS 68549 HAS SOUPS 65206 WITH SCORE 65302.202
AT ITER 858 NEW BEST:: SOT 197463 SOS 96106 HAS SOPS 92756 HAS SOUS 68453 HAS SOUPS 65168 WITH SCORE 65264.106
AT ITER 860 NEW BEST:: SOT 197444 SOS 96195 HAS SOPS 92755 HAS SOUS 68530 HAS SOUPS 65155 WITH SCORE 65251.195
AT ITER 864 NEW BEST:: SOT 197444 SOS 96214 HAS SOPS 92774 HAS SOUS 68529 HAS SOUPS 65154 WITH SCORE 65250.214
AT ITER 865 NEW BEST:: SOT 197438 SOS 96202 HAS SOPS 92762 HAS SOUS 68517 HAS SOUPS 65142 WITH SCORE 65238.202
AT ITER 872 NEW BEST:: SOT 197290 SOS 96084 HAS SOPS 92644 HAS SOUS 68441 HAS SOUPS 65066 WITH SCORE 65162.084
AT ITER 873 NEW BEST:: SOT 197312 SOS 96168 HAS SOPS 92728 HAS SOUS 68393 HAS SOUPS 65018 WITH SCORE 65114.168
AT ITER 874 NEW BEST:: SOT 197290 SOS 96153 HAS SOPS 92713 HAS SOUS 68378 HAS SOUPS 65003 WITH SCORE 65099.153
AT ITER 877 NEW BEST:: SOT 197103 SOS 95949 HAS SOPS 92509 HAS SOUS 68344 HAS SOUPS 64969 WITH SCORE 65064.949
AT ITER 878 NEW BEST:: SOT 197065 SOS 95911 HAS SOPS 92471 HAS SOUS 68325 HAS SOUPS 64950 WITH SCORE 65045.911
AT ITER 881 NEW BEST:: SOT 197043 SOS 96109 HAS SOPS 92669 HAS SOUS 68270 HAS SOUPS 64895 WITH SCORE 64991.109
AT ITER 882 NEW BEST:: SOT 196604 SOS 95669 HAS SOPS 92229 HAS SOUS 67830 HAS SOUPS 64455 WITH SCORE 64550.669
AT ITER 884 NEW BEST:: SOT 196354 SOS 94935 HAS SOPS 91495 HAS SOUS 67391 HAS SOUPS 64016 WITH SCORE 64110.935
AT ITER 885 NEW BEST:: SOT 196222 SOS 94780 HAS SOPS 91340 HAS SOUS 67259 HAS SOUPS 63884 WITH SCORE 63978.78
AT ITER 887 NEW BEST:: SOT 196173 SOS 94475 HAS SOPS 91099 HAS SOUS 67018 HAS SOUPS 63707 WITH SCORE 63801.475
AT ITER 889 NEW BEST:: SOT 195901 SOS 94168 HAS SOPS 90809 HAS SOUS 66831 HAS SOUPS 63537 WITH SCORE 63631.168
AT ITER 894 NEW BEST:: SOT 195891 SOS 94190 HAS SOPS 90831 HAS SOUS 66830 HAS SOUPS 63536 WITH SCORE 63630.19
AT ITER 904 NEW BEST:: SOT 195472 SOS 94258 HAS SOPS 90732 HAS SOUS 66879 HAS SOUPS 63505 WITH SCORE 63599.258
AT ITER 915 NEW BEST:: SOT 195746 SOS 94265 HAS SOPS 90739 HAS SOUS 66877 HAS SOUPS 63503 WITH SCORE 63597.265
AT ITER 929 NEW BEST:: SOT 195422 SOS 94039 HAS SOPS 90415 HAS SOUS 66756 HAS SOUPS 63284 WITH SCORE 63378.039
AT ITER 934 NEW BEST:: SOT 195532 SOS 94145 HAS SOPS 90476 HAS SOUS 66685 HAS SOUPS 63198 WITH SCORE 63292.145
AT ITER 940 NEW BEST:: SOT 195181 SOS 93794 HAS SOPS 90125 HAS SOUS 65960 HAS SOUPS 62473 WITH SCORE 62566.794
AT ITER 943 NEW BEST:: SOT 195065 SOS 93678 HAS SOPS 90009 HAS SOUS 65948 HAS SOUPS 62461 WITH SCORE 62554.678
AT ITER 949 NEW BEST:: SOT 195435 SOS 94048 HAS SOPS 90218 HAS SOUS 65869 HAS SOUPS 62221 WITH SCORE 62315.048
AT ITER 953 NEW BEST:: SOT 195371 SOS 93766 HAS SOPS 89936 HAS SOUS 65587 HAS SOUPS 61939 WITH SCORE 62032.766
AT ITER 956 NEW BEST:: SOT 195368 SOS 93764 HAS SOPS 89934 HAS SOUS 65587 HAS SOUPS 61939 WITH SCORE 62032.764
AT ITER 969 NEW BEST:: SOT 195371 SOS 93761 HAS SOPS 89931 HAS SOUS 65587 HAS SOUPS 61939 WITH SCORE 62032.761
AT ITER 972 NEW BEST:: SOT 195340 SOS 93730 HAS SOPS 89900 HAS SOUS 65556 HAS SOUPS 61908 WITH SCORE 62001.73
AT ITER 976 NEW BEST:: SOT 195317 SOS 93546 HAS SOPS 89716 HAS SOUS 65432 HAS SOUPS 61784 WITH SCORE 61877.546
AT ITER 979 NEW BEST:: SOT 195047 SOS 93276 HAS SOPS 89446 HAS SOUS 65162 HAS SOUPS 61514 WITH SCORE 61607.276
AT ITER 986 NEW BEST:: SOT 195059 SOS 92857 HAS SOPS 89027 HAS SOUS 65078 HAS SOUPS 61430 WITH SCORE 61522.857
AT ITER 1000 NEW BEST:: SOT 194851 SOS 92540 HAS SOPS 88710 HAS SOUS 65011 HAS SOUPS 61363 WITH SCORE 61455.54
AT ITER 1006 NEW BEST:: SOT 194616 SOS 92286 HAS SOPS 88456 HAS SOUS 64937 HAS SOUPS 61289 WITH SCORE 61381.286
AT ITER 1010 NEW BEST:: SOT 194553 SOS 92223 HAS SOPS 88393 HAS SOUS 64925 HAS SOUPS 61277 WITH SCORE 61369.223
AT ITER 1020 NEW BEST:: SOT 194321 SOS 91729 HAS SOPS 87899 HAS SOUS 64545 HAS SOUPS 60897 WITH SCORE 60988.729
AT ITER 1024 NEW BEST:: SOT 194172 SOS 91580 HAS SOPS 87750 HAS SOUS 64446 HAS SOUPS 60798 WITH SCORE 60889.58
AT ITER 1040 NEW BEST:: SOT 194172 SOS 89189 HAS SOPS 85359 HAS SOUS 64232 HAS SOUPS 60584 WITH SCORE 60673.189
AT ITER 1041 NEW BEST:: SOT 194129 SOS 89146 HAS SOPS 85316 HAS SOUS 64148 HAS SOUPS 60500 WITH SCORE 60589.146
AT ITER 1044 NEW BEST:: SOT 194117 SOS 89139 HAS SOPS 85297 HAS SOUS 64141 HAS SOUPS 60481 WITH SCORE 60570.139
AT ITER 1047 NEW BEST:: SOT 193652 SOS 88674 HAS SOPS 84832 HAS SOUS 63846 HAS SOUPS 60186 WITH SCORE 60274.674
AT ITER 1057 NEW BEST:: SOT 193682 SOS 88810 HAS SOPS 84783 HAS SOUS 63952 HAS SOUPS 60107 WITH SCORE 60195.81
AT ITER 1061 NEW BEST:: SOT 193626 SOS 88754 HAS SOPS 84699 HAS SOUS 63924 HAS SOUPS 60051 WITH SCORE 60139.754
AT ITER 1063 NEW BEST:: SOT 193626 SOS 88698 HAS SOPS 84643 HAS SOUS 63868 HAS SOUPS 59995 WITH SCORE 60083.698
AT ITER 1080 NEW BEST:: SOT 193556 SOS 88628 HAS SOPS 84538 HAS SOUS 63833 HAS SOUPS 59925 WITH SCORE 60013.628
AT ITER 1086 NEW BEST:: SOT 193556 SOS 87973 HAS SOPS 83883 HAS SOUS 63489 HAS SOUPS 59581 WITH SCORE 59668.973
AT ITER 1088 NEW BEST:: SOT 193525 SOS 87938 HAS SOPS 83852 HAS SOUS 63482 HAS SOUPS 59578 WITH SCORE 59665.938
AT ITER 1100 NEW BEST:: SOT 193497 SOS 87910 HAS SOPS 83870 HAS SOUS 63380 HAS SOUPS 59522 WITH SCORE 59609.91
AT ITER 1101 NEW BEST:: SOT 193523 SOS 87963 HAS SOPS 83899 HAS SOUS 63360 HAS SOUPS 59478 WITH SCORE 59565.963
AT ITER 1108 NEW BEST:: SOT 193491 SOS 87899 HAS SOPS 83843 HAS SOUS 63312 HAS SOUPS 59438 WITH SCORE 59525.899
AT ITER 1116 NEW BEST:: SOT 193297 SOS 87680 HAS SOPS 83624 HAS SOUS 63093 HAS SOUPS 59219 WITH SCORE 59306.68
AT ITER 1131 NEW BEST:: SOT 193291 SOS 87671 HAS SOPS 83615 HAS SOUS 63087 HAS SOUPS 59213 WITH SCORE 59300.671
AT ITER 1147 NEW BEST:: SOT 193069 SOS 87716 HAS SOPS 83660 HAS SOUS 62905 HAS SOUPS 59031 WITH SCORE 59118.716
AT ITER 1160 NEW BEST:: SOT 193058 SOS 87705 HAS SOPS 83649 HAS SOUS 62894 HAS SOUPS 59020 WITH SCORE 59107.705
AT ITER 1163 NEW BEST:: SOT 192958 SOS 87846 HAS SOPS 83333 HAS SOUS 62722 HAS SOUPS 58642 WITH SCORE 58729.846
AT ITER 1165 NEW BEST:: SOT 192949 SOS 87837 HAS SOPS 83324 HAS SOUS 62722 HAS SOUPS 58642 WITH SCORE 58729.837
AT ITER 1167 NEW BEST:: SOT 192835 SOS 87570 HAS SOPS 83057 HAS SOUS 62720 HAS SOUPS 58640 WITH SCORE 58727.57
AT ITER 1168 NEW BEST:: SOT 192808 SOS 87543 HAS SOPS 83030 HAS SOUS 62693 HAS SOUPS 58613 WITH SCORE 58700.543
AT ITER 1174 NEW BEST:: SOT 192761 SOS 87537 HAS SOPS 83024 HAS SOUS 62687 HAS SOUPS 58607 WITH SCORE 58694.537
AT ITER 1175 NEW BEST:: SOT 192761 SOS 87497 HAS SOPS 83008 HAS SOUS 62647 HAS SOUPS 58591 WITH SCORE 58678.497
AT ITER 1183 NEW BEST:: SOT 192684 SOS 87420 HAS SOPS 82931 HAS SOUS 62570 HAS SOUPS 58514 WITH SCORE 58601.42
AT ITER 1194 NEW BEST:: SOT 192692 SOS 87397 HAS SOPS 82908 HAS SOUS 62451 HAS SOUPS 58395 WITH SCORE 58482.397
AT ITER 1195 NEW BEST:: SOT 192692 SOS 87523 HAS SOPS 83034 HAS SOUS 62449 HAS SOUPS 58393 WITH SCORE 58480.523
AT ITER 1197 NEW BEST:: SOT 192607 SOS 87489 HAS SOPS 82999 HAS SOUS 62416 HAS SOUPS 58359 WITH SCORE 58446.489
AT ITER 1198 NEW BEST:: SOT 192581 SOS 87504 HAS SOPS 82977 HAS SOUS 62401 HAS SOUPS 58307 WITH SCORE 58394.504
AT ITER 1199 NEW BEST:: SOT 192586 SOS 87499 HAS SOPS 82972 HAS SOUS 62401 HAS SOUPS 58307 WITH SCORE 58394.499
AT ITER 1200 NEW BEST:: SOT 192557 SOS 87470 HAS SOPS 82943 HAS SOUS 62372 HAS SOUPS 58278 WITH SCORE 58365.47
AT ITER 1205 NEW BEST:: SOT 192528 SOS 87441 HAS SOPS 82855 HAS SOUS 62373 HAS SOUPS 58220 WITH SCORE 58307.441
AT ITER 1209 NEW BEST:: SOT 192497 SOS 87435 HAS SOPS 82824 HAS SOUS 62392 HAS SOUPS 58214 WITH SCORE 58301.435
AT ITER 1211 NEW BEST:: SOT 192423 SOS 87069 HAS SOPS 82533 HAS SOUS 62139 HAS SOUPS 58036 WITH SCORE 58123.069
AT ITER 1217 NEW BEST:: SOT 192423 SOS 87069 HAS SOPS 82497 HAS SOUS 62139 HAS SOUPS 58000 WITH SCORE 58087.069
AT ITER 1221 NEW BEST:: SOT 192343 SOS 86857 HAS SOPS 82285 HAS SOUS 62007 HAS SOUPS 57868 WITH SCORE 57954.857
AT ITER 1231 NEW BEST:: SOT 192340 SOS 86852 HAS SOPS 82280 HAS SOUS 62004 HAS SOUPS 57865 WITH SCORE 57951.852
AT ITER 1242 NEW BEST:: SOT 191617 SOS 86138 HAS SOPS 81857 HAS SOUS 61882 HAS SOUPS 57783 WITH SCORE 57869.138
AT ITER 1247 NEW BEST:: SOT 191565 SOS 86022 HAS SOPS 81741 HAS SOUS 61766 HAS SOUPS 57667 WITH SCORE 57753.022
AT ITER 1254 NEW BEST:: SOT 191489 SOS 85852 HAS SOPS 81571 HAS SOUS 61596 HAS SOUPS 57497 WITH SCORE 57582.852
AT ITER 1255 NEW BEST:: SOT 191488 SOS 85810 HAS SOPS 81528 HAS SOUS 61595 HAS SOUPS 57495 WITH SCORE 57580.81
AT ITER 1264 NEW BEST:: SOT 191482 SOS 85801 HAS SOPS 81519 HAS SOUS 61589 HAS SOUPS 57489 WITH SCORE 57574.801
AT ITER 1265 NEW BEST:: SOT 191377 SOS 85644 HAS SOPS 81362 HAS SOUS 61439 HAS SOUPS 57339 WITH SCORE 57424.644
AT ITER 1273 NEW BEST:: SOT 191269 SOS 85536 HAS SOPS 81254 HAS SOUS 61358 HAS SOUPS 57258 WITH SCORE 57343.536
AT ITER 1274 NEW BEST:: SOT 191173 SOS 85296 HAS SOPS 81090 HAS SOUS 61214 HAS SOUPS 57190 WITH SCORE 57275.296
AT ITER 1284 NEW BEST:: SOT 191083 SOS 85317 HAS SOPS 81060 HAS SOUS 61199 HAS SOUPS 57160 WITH SCORE 57245.317
AT ITER 1295 NEW BEST:: SOT 191042 SOS 83822 HAS SOPS 79565 HAS SOUS 61180 HAS SOUPS 57141 WITH SCORE 57224.822
AT ITER 1303 NEW BEST:: SOT 191071 SOS 83841 HAS SOPS 79584 HAS SOUS 61165 HAS SOUPS 57126 WITH SCORE 57209.841
AT ITER 1312 NEW BEST:: SOT 191070 SOS 83840 HAS SOPS 79549 HAS SOUS 61164 HAS SOUPS 57091 WITH SCORE 57174.84
AT ITER 1322 NEW BEST:: SOT 191076 SOS 83834 HAS SOPS 79543 HAS SOUS 61164 HAS SOUPS 57091 WITH SCORE 57174.834
AT ITER 1328 NEW BEST:: SOT 191042 SOS 83146 HAS SOPS 78855 HAS SOUS 61036 HAS SOUPS 56963 WITH SCORE 57046.146
AT ITER 1330 NEW BEST:: SOT 191825 SOS 83913 HAS SOPS 79622 HAS SOUS 61020 HAS SOUPS 56947 WITH SCORE 57030.913
AT ITER 1333 NEW BEST:: SOT 191792 SOS 83880 HAS SOPS 79589 HAS SOUS 60987 HAS SOUPS 56914 WITH SCORE 56997.88
AT ITER 1338 NEW BEST:: SOT 191780 SOS 83856 HAS SOPS 79565 HAS SOUS 60971 HAS SOUPS 56898 WITH SCORE 56981.856
AT ITER 1339 NEW BEST:: SOT 191674 SOS 83794 HAS SOPS 79503 HAS SOUS 60908 HAS SOUPS 56835 WITH SCORE 56918.794
AT ITER 1358 NEW BEST:: SOT 191525 SOS 83564 HAS SOPS 79234 HAS SOUS 60790 HAS SOUPS 56678 WITH SCORE 56761.564
AT ITER 1368 NEW BEST:: SOT 191525 SOS 83540 HAS SOPS 79210 HAS SOUS 60789 HAS SOUPS 56677 WITH SCORE 56760.54
AT ITER 1396 NEW BEST:: SOT 191821 SOS 83847 HAS SOPS 79539 HAS SOUS 60737 HAS SOUPS 56625 WITH SCORE 56708.847
AT ITER 1402 NEW BEST:: SOT 191698 SOS 83724 HAS SOPS 79470 HAS SOUS 60637 HAS SOUPS 56579 WITH SCORE 56662.724
AT ITER 1417 NEW BEST:: SOT 191475 SOS 82881 HAS SOPS 78627 HAS SOUS 60290 HAS SOUPS 56232 WITH SCORE 56314.881
AT ITER 1419 NEW BEST:: SOT 191426 SOS 82832 HAS SOPS 78578 HAS SOUS 60271 HAS SOUPS 56213 WITH SCORE 56295.832
AT ITER 1422 NEW BEST:: SOT 191424 SOS 82867 HAS SOPS 78576 HAS SOUS 60306 HAS SOUPS 56211 WITH SCORE 56293.867
AT ITER 1433 NEW BEST:: SOT 191424 SOS 82867 HAS SOPS 78576 HAS SOUS 60279 HAS SOUPS 56184 WITH SCORE 56266.867
AT ITER 1438 NEW BEST:: SOT 191374 SOS 83033 HAS SOPS 78523 HAS SOUS 60467 HAS SOUPS 56153 WITH SCORE 56236.033
AT ITER 1439 NEW BEST:: SOT 191237 SOS 82759 HAS SOPS 78249 HAS SOUS 60413 HAS SOUPS 56099 WITH SCORE 56181.759
AT ITER 1482 NEW BEST:: SOT 191177 SOS 82519 HAS SOPS 78009 HAS SOUS 60307 HAS SOUPS 55993 WITH SCORE 56075.519
AT ITER 1484 NEW BEST:: SOT 191132 SOS 82474 HAS SOPS 77964 HAS SOUS 60307 HAS SOUPS 55993 WITH SCORE 56075.474
AT ITER 1510 NEW BEST:: SOT 191072 SOS 82425 HAS SOPS 77906 HAS SOUS 60272 HAS SOUPS 55953 WITH SCORE 56035.425
AT ITER 1513 NEW BEST:: SOT 190983 SOS 82336 HAS SOPS 77817 HAS SOUS 60272 HAS SOUPS 55953 WITH SCORE 56035.336
AT ITER 1514 NEW BEST:: SOT 190980 SOS 82443 HAS SOPS 77868 HAS SOUS 60325 HAS SOUPS 55950 WITH SCORE 56032.443
AT ITER 1523 NEW BEST:: SOT 190453 SOS 81376 HAS SOPS 76801 HAS SOUS 59698 HAS SOUPS 55323 WITH SCORE 55404.376
AT ITER 1539 NEW BEST:: SOT 190473 SOS 81322 HAS SOPS 76747 HAS SOUS 59644 HAS SOUPS 55269 WITH SCORE 55350.322
AT ITER 1546 NEW BEST:: SOT 190689 SOS 81466 HAS SOPS 76891 HAS SOUS 59572 HAS SOUPS 55197 WITH SCORE 55278.466
AT ITER 1557 NEW BEST:: SOT 190688 SOS 81481 HAS SOPS 76906 HAS SOUS 59571 HAS SOUPS 55196 WITH SCORE 55277.481
AT ITER 1565 NEW BEST:: SOT 190641 SOS 81586 HAS SOPS 77011 HAS SOUS 59553 HAS SOUPS 55178 WITH SCORE 55259.586
AT ITER 1593 NEW BEST:: SOT 190631 SOS 81440 HAS SOPS 76871 HAS SOUS 59527 HAS SOUPS 55158 WITH SCORE 55239.44
AT ITER 1602 NEW BEST:: SOT 190631 SOS 81440 HAS SOPS 76871 HAS SOUS 59486 HAS SOUPS 55117 WITH SCORE 55198.44
AT ITER 1611 NEW BEST:: SOT 190587 SOS 81212 HAS SOPS 76714 HAS SOUS 59388 HAS SOUPS 55090 WITH SCORE 55171.212
AT ITER 1614 NEW BEST:: SOT 190496 SOS 81121 HAS SOPS 76623 HAS SOUS 59297 HAS SOUPS 54999 WITH SCORE 55080.121
AT ITER 1622 NEW BEST:: SOT 190496 SOS 81120 HAS SOPS 76622 HAS SOUS 59296 HAS SOUPS 54998 WITH SCORE 55079.12
AT ITER 1623 NEW BEST:: SOT 190338 SOS 80962 HAS SOPS 76464 HAS SOUS 59127 HAS SOUPS 54829 WITH SCORE 54909.962
AT ITER 1637 NEW BEST:: SOT 190272 SOS 80824 HAS SOPS 76326 HAS SOUS 59115 HAS SOUPS 54817 WITH SCORE 54897.824
AT ITER 1638 NEW BEST:: SOT 191670 SOS 82322 HAS SOPS 77678 HAS SOUS 59228 HAS SOUPS 54784 WITH SCORE 54866.322
AT ITER 1662 NEW BEST:: SOT 192091 SOS 82715 HAS SOPS 78071 HAS SOUS 59054 HAS SOUPS 54610 WITH SCORE 54692.715
AT ITER 1663 NEW BEST:: SOT 192091 SOS 82733 HAS SOPS 78058 HAS SOUS 59072 HAS SOUPS 54597 WITH SCORE 54679.733
AT ITER 1669 NEW BEST:: SOT 192056 SOS 82656 HAS SOPS 77981 HAS SOUS 59016 HAS SOUPS 54541 WITH SCORE 54623.656
AT ITER 1679 NEW BEST:: SOT 191894 SOS 82494 HAS SOPS 77819 HAS SOUS 58908 HAS SOUPS 54433 WITH SCORE 54515.494
AT ITER 1703 NEW BEST:: SOT 191859 SOS 82459 HAS SOPS 77749 HAS SOUS 58873 HAS SOUPS 54363 WITH SCORE 54445.459
AT ITER 1705 NEW BEST:: SOT 191639 SOS 81857 HAS SOPS 77147 HAS SOUS 58833 HAS SOUPS 54323 WITH SCORE 54404.857
AT ITER 1712 NEW BEST:: SOT 191588 SOS 81890 HAS SOPS 77129 HAS SOUS 58824 HAS SOUPS 54263 WITH SCORE 54344.89
AT ITER 1713 NEW BEST:: SOT 191557 SOS 81787 HAS SOPS 77026 HAS SOUS 58721 HAS SOUPS 54160 WITH SCORE 54241.787
AT ITER 1724 NEW BEST:: SOT 191412 SOS 81577 HAS SOPS 76816 HAS SOUS 58576 HAS SOUPS 54015 WITH SCORE 54096.577
AT ITER 1729 NEW BEST:: SOT 191406 SOS 81571 HAS SOPS 76816 HAS SOUS 58564 HAS SOUPS 54009 WITH SCORE 54090.571
AT ITER 1741 NEW BEST:: SOT 191406 SOS 81505 HAS SOPS 76750 HAS SOUS 58561 HAS SOUPS 54006 WITH SCORE 54087.505
AT ITER 1742 NEW BEST:: SOT 191406 SOS 81686 HAS SOPS 76931 HAS SOUS 58549 HAS SOUPS 53994 WITH SCORE 54075.686
AT ITER 1753 NEW BEST:: SOT 191392 SOS 81672 HAS SOPS 76917 HAS SOUS 58542 HAS SOUPS 53987 WITH SCORE 54068.672
AT ITER 1756 NEW BEST:: SOT 191392 SOS 81667 HAS SOPS 76912 HAS SOUS 58537 HAS SOUPS 53982 WITH SCORE 54063.667
AT ITER 1761 NEW BEST:: SOT 191391 SOS 81666 HAS SOPS 76910 HAS SOUS 58537 HAS SOUPS 53981 WITH SCORE 54062.666
AT ITER 1764 NEW BEST:: SOT 191359 SOS 81634 HAS SOPS 76842 HAS SOUS 58541 HAS SOUPS 53949 WITH SCORE 54030.634
AT ITER 1772 NEW BEST:: SOT 191203 SOS 81661 HAS SOPS 76751 HAS SOUS 58562 HAS SOUPS 53852 WITH SCORE 53933.661
AT ITER 1783 NEW BEST:: SOT 191131 SOS 81700 HAS SOPS 76790 HAS SOUS 58529 HAS SOUPS 53819 WITH SCORE 53900.7
AT ITER 1799 NEW BEST:: SOT 191032 SOS 81820 HAS SOPS 76910 HAS SOUS 58519 HAS SOUPS 53809 WITH SCORE 53890.82
AT ITER 1801 NEW BEST:: SOT 191032 SOS 81813 HAS SOPS 76903 HAS SOUS 58512 HAS SOUPS 53802 WITH SCORE 53883.813
AT ITER 1808 NEW BEST:: SOT 190962 SOS 81606 HAS SOPS 76696 HAS SOUS 58423 HAS SOUPS 53713 WITH SCORE 53794.606
AT ITER 1809 NEW BEST:: SOT 191190 SOS 81907 HAS SOPS 76842 HAS SOUS 58399 HAS SOUPS 53641 WITH SCORE 53722.907
AT ITER 1811 NEW BEST:: SOT 191156 SOS 81805 HAS SOPS 76706 HAS SOUS 58365 HAS SOUPS 53573 WITH SCORE 53654.805
AT ITER 1814 NEW BEST:: SOT 191141 SOS 81776 HAS SOPS 76677 HAS SOUS 58335 HAS SOUPS 53543 WITH SCORE 53624.776
AT ITER 1816 NEW BEST:: SOT 191107 SOS 81742 HAS SOPS 76643 HAS SOUS 58315 HAS SOUPS 53523 WITH SCORE 53604.742
AT ITER 1827 NEW BEST:: SOT 190987 SOS 81376 HAS SOPS 76283 HAS SOUS 58195 HAS SOUPS 53403 WITH SCORE 53484.376
AT ITER 1848 NEW BEST:: SOT 190987 SOS 81404 HAS SOPS 76311 HAS SOUS 58165 HAS SOUPS 53402 WITH SCORE 53483.404
AT ITER 1880 NEW BEST:: SOT 190908 SOS 81266 HAS SOPS 76232 HAS SOUS 58145 HAS SOUPS 53382 WITH SCORE 53463.266
AT ITER 1889 NEW BEST:: SOT 190892 SOS 81234 HAS SOPS 76200 HAS SOUS 58129 HAS SOUPS 53366 WITH SCORE 53447.234
AT ITER 1892 NEW BEST:: SOT 190890 SOS 81230 HAS SOPS 76196 HAS SOUS 58125 HAS SOUPS 53362 WITH SCORE 53443.23
AT ITER 1894 NEW BEST:: SOT 190884 SOS 81224 HAS SOPS 76190 HAS SOUS 58116 HAS SOUPS 53353 WITH SCORE 53434.224
AT ITER 1914 NEW BEST:: SOT 190828 SOS 81168 HAS SOPS 76134 HAS SOUS 58060 HAS SOUPS 53297 WITH SCORE 53378.168
AT ITER 1916 NEW BEST:: SOT 190826 SOS 81174 HAS SOPS 76140 HAS SOUS 58058 HAS SOUPS 53295 WITH SCORE 53376.174
AT ITER 1925 NEW BEST:: SOT 190773 SOS 81304 HAS SOPS 76076 HAS SOUS 58147 HAS SOUPS 53287 WITH SCORE 53368.304
AT ITER 1927 NEW BEST:: SOT 190768 SOS 81294 HAS SOPS 76066 HAS SOUS 58132 HAS SOUPS 53272 WITH SCORE 53353.294
AT ITER 1946 NEW BEST:: SOT 190736 SOS 81262 HAS SOPS 76034 HAS SOUS 58132 HAS SOUPS 53272 WITH SCORE 53353.262
AT ITER 1956 NEW BEST:: SOT 190718 SOS 81240 HAS SOPS 76012 HAS SOUS 58110 HAS SOUPS 53250 WITH SCORE 53331.24
AT ITER 1957 NEW BEST:: SOT 190728 SOS 81250 HAS SOPS 76023 HAS SOUS 58104 HAS SOUPS 53245 WITH SCORE 53326.25
AT ITER 1970 NEW BEST:: SOT 190715 SOS 81237 HAS SOPS 76010 HAS SOUS 58091 HAS SOUPS 53232 WITH SCORE 53313.237
AT ITER 1974 NEW BEST:: SOT 190387 SOS 80739 HAS SOPS 75512 HAS SOUS 57779 HAS SOUPS 52920 WITH SCORE 53000.739
AT ITER 2005 NEW BEST:: SOT 190241 SOS 80696 HAS SOPS 75469 HAS SOUS 57736 HAS SOUPS 52877 WITH SCORE 52957.696
AT ITER 2007 NEW BEST:: SOT 190075 SOS 80546 HAS SOPS 75319 HAS SOUS 57730 HAS SOUPS 52871 WITH SCORE 52951.546
AT ITER 2012 NEW BEST:: SOT 190064 SOS 80534 HAS SOPS 75307 HAS SOUS 57718 HAS SOUPS 52859 WITH SCORE 52939.534
AT ITER 2043 NEW BEST:: SOT 190063 SOS 80533 HAS SOPS 75306 HAS SOUS 57716 HAS SOUPS 52857 WITH SCORE 52937.533
AT ITER 2046 NEW BEST:: SOT 190063 SOS 80513 HAS SOPS 75266 HAS SOUS 57736 HAS SOUPS 52857 WITH SCORE 52937.513
AT ITER 2049 NEW BEST:: SOT 189757 SOS 80022 HAS SOPS 74872 HAS SOUS 57495 HAS SOUPS 52616 WITH SCORE 52696.022
AT ITER 2053 NEW BEST:: SOT 189875 SOS 80118 HAS SOPS 74968 HAS SOUS 57488 HAS SOUPS 52609 WITH SCORE 52689.118
AT ITER 2063 NEW BEST:: SOT 189851 SOS 80094 HAS SOPS 74964 HAS SOUS 57464 HAS SOUPS 52605 WITH SCORE 52685.094
AT ITER 2076 NEW BEST:: SOT 189851 SOS 80022 HAS SOPS 74892 HAS SOUS 57416 HAS SOUPS 52557 WITH SCORE 52637.022
AT ITER 2077 NEW BEST:: SOT 189794 SOS 79897 HAS SOPS 74767 HAS SOUS 57302 HAS SOUPS 52443 WITH SCORE 52522.897
AT ITER 2082 NEW BEST:: SOT 189794 SOS 79897 HAS SOPS 74767 HAS SOUS 57280 HAS SOUPS 52421 WITH SCORE 52500.897
AT ITER 2093 NEW BEST:: SOT 189824 SOS 79938 HAS SOPS 74808 HAS SOUS 57260 HAS SOUPS 52401 WITH SCORE 52480.938
AT ITER 2100 NEW BEST:: SOT 189824 SOS 79910 HAS SOPS 74780 HAS SOUS 57232 HAS SOUPS 52373 WITH SCORE 52452.91
AT ITER 2104 NEW BEST:: SOT 189828 SOS 79808 HAS SOPS 74678 HAS SOUS 57183 HAS SOUPS 52324 WITH SCORE 52403.808
AT ITER 2115 NEW BEST:: SOT 189818 SOS 79798 HAS SOPS 74589 HAS SOUS 57163 HAS SOUPS 52304 WITH SCORE 52383.798
AT ITER 2122 NEW BEST:: SOT 189772 SOS 79752 HAS SOPS 74543 HAS SOUS 57117 HAS SOUPS 52258 WITH SCORE 52337.752
AT ITER 2131 NEW BEST:: SOT 190051 SOS 80000 HAS SOPS 74791 HAS SOUS 57091 HAS SOUPS 52232 WITH SCORE 52312.0
AT ITER 2140 NEW BEST:: SOT 189858 SOS 79790 HAS SOPS 74508 HAS SOUS 57016 HAS SOUPS 52084 WITH SCORE 52163.79
AT ITER 2141 NEW BEST:: SOT 189938 SOS 78645 HAS SOPS 73363 HAS SOUS 56946 HAS SOUPS 52014 WITH SCORE 52092.645
AT ITER 2154 NEW BEST:: SOT 189933 SOS 78630 HAS SOPS 73348 HAS SOUS 56936 HAS SOUPS 52004 WITH SCORE 52082.63
AT ITER 2163 NEW BEST:: SOT 189952 SOS 78610 HAS SOPS 73299 HAS SOUS 56916 HAS SOUPS 51955 WITH SCORE 52033.61
AT ITER 2170 NEW BEST:: SOT 189905 SOS 78502 HAS SOPS 73191 HAS SOUS 56876 HAS SOUPS 51915 WITH SCORE 51993.502
AT ITER 2180 NEW BEST:: SOT 189869 SOS 78430 HAS SOPS 73119 HAS SOUS 56840 HAS SOUPS 51879 WITH SCORE 51957.43
AT ITER 2183 NEW BEST:: SOT 189869 SOS 78392 HAS SOPS 73118 HAS SOUS 56802 HAS SOUPS 51878 WITH SCORE 51956.392
AT ITER 2192 NEW BEST:: SOT 189667 SOS 78253 HAS SOPS 72979 HAS SOUS 56558 HAS SOUPS 51634 WITH SCORE 51712.253
AT ITER 2216 NEW BEST:: SOT 190389 SOS 78672 HAS SOPS 73403 HAS SOUS 56541 HAS SOUPS 51618 WITH SCORE 51696.672
AT ITER 2220 NEW BEST:: SOT 190383 SOS 78664 HAS SOPS 73397 HAS SOUS 56541 HAS SOUPS 51618 WITH SCORE 51696.664
AT ITER 2241 NEW BEST:: SOT 190383 SOS 78581 HAS SOPS 73314 HAS SOUS 56541 HAS SOUPS 51618 WITH SCORE 51696.581
AT ITER 2243 NEW BEST:: SOT 190344 SOS 78542 HAS SOPS 73275 HAS SOUS 56464 HAS SOUPS 51541 WITH SCORE 51619.542
AT ITER 2273 NEW BEST:: SOT 190344 SOS 78542 HAS SOPS 73275 HAS SOUS 56370 HAS SOUPS 51447 WITH SCORE 51525.542
AT ITER 2275 NEW BEST:: SOT 190294 SOS 78492 HAS SOPS 73225 HAS SOUS 56320 HAS SOUPS 51397 WITH SCORE 51475.492
AT ITER 2284 NEW BEST:: SOT 190248 SOS 78439 HAS SOPS 73126 HAS SOUS 56267 HAS SOUPS 51298 WITH SCORE 51376.439
AT ITER 2286 NEW BEST:: SOT 190240 SOS 78419 HAS SOPS 73106 HAS SOUS 56255 HAS SOUPS 51286 WITH SCORE 51364.419
AT ITER 2298 NEW BEST:: SOT 190174 SOS 78353 HAS SOPS 73040 HAS SOUS 56148 HAS SOUPS 51179 WITH SCORE 51257.353
AT ITER 2305 NEW BEST:: SOT 190174 SOS 78346 HAS SOPS 73033 HAS SOUS 56141 HAS SOUPS 51172 WITH SCORE 51250.346
AT ITER 2316 NEW BEST:: SOT 190161 SOS 78131 HAS SOPS 72921 HAS SOUS 56025 HAS SOUPS 51159 WITH SCORE 51237.131
AT ITER 2319 NEW BEST:: SOT 189973 SOS 77991 HAS SOPS 72781 HAS SOUS 55946 HAS SOUPS 51080 WITH SCORE 51157.991
AT ITER 2326 NEW BEST:: SOT 189951 SOS 77929 HAS SOPS 72745 HAS SOUS 55880 HAS SOUPS 51040 WITH SCORE 51117.929
AT ITER 2336 NEW BEST:: SOT 189947 SOS 77908 HAS SOPS 72741 HAS SOUS 55842 HAS SOUPS 51019 WITH SCORE 51096.908
AT ITER 2366 NEW BEST:: SOT 189905 SOS 77786 HAS SOPS 72621 HAS SOUS 55794 HAS SOUPS 50973 WITH SCORE 51050.786
AT ITER 2367 NEW BEST:: SOT 189903 SOS 77739 HAS SOPS 72574 HAS SOUS 55747 HAS SOUPS 50926 WITH SCORE 51003.739
AT ITER 2372 NEW BEST:: SOT 189887 SOS 77755 HAS SOPS 72590 HAS SOUS 55731 HAS SOUPS 50910 WITH SCORE 50987.755
AT ITER 2377 NEW BEST:: SOT 189871 SOS 77723 HAS SOPS 72558 HAS SOUS 55715 HAS SOUPS 50894 WITH SCORE 50971.723
AT ITER 2393 NEW BEST:: SOT 189754 SOS 77566 HAS SOPS 72401 HAS SOUS 55590 HAS SOUPS 50769 WITH SCORE 50846.566
AT ITER 2395 NEW BEST:: SOT 189688 SOS 77455 HAS SOPS 72290 HAS SOUS 55524 HAS SOUPS 50703 WITH SCORE 50780.455
AT ITER 2408 NEW BEST:: SOT 189654 SOS 77353 HAS SOPS 72205 HAS SOUS 55456 HAS SOUPS 50652 WITH SCORE 50729.353
AT ITER 2415 NEW BEST:: SOT 189549 SOS 77315 HAS SOPS 72167 HAS SOUS 55351 HAS SOUPS 50547 WITH SCORE 50624.315
AT ITER 2418 NEW BEST:: SOT 189546 SOS 77327 HAS SOPS 72179 HAS SOUS 55347 HAS SOUPS 50543 WITH SCORE 50620.327
AT ITER 2443 NEW BEST:: SOT 189475 SOS 77492 HAS SOPS 72344 HAS SOUS 55316 HAS SOUPS 50512 WITH SCORE 50589.492
AT ITER 2445 NEW BEST:: SOT 189455 SOS 77477 HAS SOPS 72329 HAS SOUS 55301 HAS SOUPS 50497 WITH SCORE 50574.477
AT ITER 2455 NEW BEST:: SOT 189428 SOS 77450 HAS SOPS 72302 HAS SOUS 55247 HAS SOUPS 50443 WITH SCORE 50520.45
AT ITER 2467 NEW BEST:: SOT 189391 SOS 77383 HAS SOPS 72212 HAS SOUS 55180 HAS SOUPS 50353 WITH SCORE 50430.383
AT ITER 2492 NEW BEST:: SOT 189371 SOS 77332 HAS SOPS 72161 HAS SOUS 55178 HAS SOUPS 50351 WITH SCORE 50428.332
AT ITER 2496 NEW BEST:: SOT 189182 SOS 77192 HAS SOPS 72021 HAS SOUS 55037 HAS SOUPS 50210 WITH SCORE 50287.192
AT ITER 2514 NEW BEST:: SOT 188644 SOS 76663 HAS SOPS 71492 HAS SOUS 55010 HAS SOUPS 50183 WITH SCORE 50259.663
AT ITER 2530 NEW BEST:: SOT 187940 SOS 75899 HAS SOPS 70728 HAS SOUS 54992 HAS SOUPS 50165 WITH SCORE 50240.899
AT ITER 2541 NEW BEST:: SOT 187940 SOS 75879 HAS SOPS 70708 HAS SOUS 54992 HAS SOUPS 50165 WITH SCORE 50240.879
AT ITER 2582 NEW BEST:: SOT 187914 SOS 75853 HAS SOPS 70708 HAS SOUS 54966 HAS SOUPS 50165 WITH SCORE 50240.853
AT ITER 2597 NEW BEST:: SOT 187694 SOS 75363 HAS SOPS 70218 HAS SOUS 54926 HAS SOUPS 50125 WITH SCORE 50200.363
AT ITER 2613 NEW BEST:: SOT 187677 SOS 75412 HAS SOPS 70267 HAS SOUS 54913 HAS SOUPS 50112 WITH SCORE 50187.412
AT ITER 2615 NEW BEST:: SOT 187658 SOS 75353 HAS SOPS 70208 HAS SOUS 54879 HAS SOUPS 50078 WITH SCORE 50153.353
AT ITER 2642 NEW BEST:: SOT 187545 SOS 75126 HAS SOPS 69981 HAS SOUS 54766 HAS SOUPS 49965 WITH SCORE 50040.126
AT ITER 2652 NEW BEST:: SOT 187754 SOS 75072 HAS SOPS 69927 HAS SOUS 54761 HAS SOUPS 49960 WITH SCORE 50035.072
AT ITER 2654 NEW BEST:: SOT 187672 SOS 75042 HAS SOPS 69787 HAS SOUS 54731 HAS SOUPS 49820 WITH SCORE 49895.042
AT ITER 2658 NEW BEST:: SOT 187660 SOS 75030 HAS SOPS 69775 HAS SOUS 54725 HAS SOUPS 49814 WITH SCORE 49889.03
AT ITER 2663 NEW BEST:: SOT 187681 SOS 75104 HAS SOPS 69841 HAS SOUS 54652 HAS SOUPS 49733 WITH SCORE 49808.104
AT ITER 2669 NEW BEST:: SOT 187455 SOS 73720 HAS SOPS 68457 HAS SOUS 54467 HAS SOUPS 49548 WITH SCORE 49621.72
AT ITER 2677 NEW BEST:: SOT 187434 SOS 73697 HAS SOPS 68420 HAS SOUS 54460 HAS SOUPS 49527 WITH SCORE 49600.697
AT ITER 2688 NEW BEST:: SOT 187433 SOS 73695 HAS SOPS 68418 HAS SOUS 54459 HAS SOUPS 49526 WITH SCORE 49599.695
AT ITER 2700 NEW BEST:: SOT 187433 SOS 73692 HAS SOPS 68415 HAS SOUS 54456 HAS SOUPS 49523 WITH SCORE 49596.692
AT ITER 2709 NEW BEST:: SOT 187694 SOS 73830 HAS SOPS 68553 HAS SOUS 54203 HAS SOUPS 49270 WITH SCORE 49343.83
AT ITER 2736 NEW BEST:: SOT 187678 SOS 73833 HAS SOPS 68556 HAS SOUS 54171 HAS SOUPS 49238 WITH SCORE 49311.833
AT ITER 2741 NEW BEST:: SOT 188815 SOS 74860 HAS SOPS 69583 HAS SOUS 54142 HAS SOUPS 49209 WITH SCORE 49283.86
AT ITER 2746 NEW BEST:: SOT 188602 SOS 74643 HAS SOPS 69366 HAS SOUS 53934 HAS SOUPS 49001 WITH SCORE 49075.643
AT ITER 2761 NEW BEST:: SOT 188602 SOS 74630 HAS SOPS 69353 HAS SOUS 53921 HAS SOUPS 48988 WITH SCORE 49062.63
AT ITER 2765 NEW BEST:: SOT 188578 SOS 74574 HAS SOPS 69297 HAS SOUS 53921 HAS SOUPS 48988 WITH SCORE 49062.574
AT ITER 2775 NEW BEST:: SOT 188564 SOS 74553 HAS SOPS 69276 HAS SOUS 53907 HAS SOUPS 48974 WITH SCORE 49048.553
AT ITER 2779 NEW BEST:: SOT 188550 SOS 74535 HAS SOPS 69258 HAS SOUS 53889 HAS SOUPS 48956 WITH SCORE 49030.535
AT ITER 2782 NEW BEST:: SOT 188599 SOS 74507 HAS SOPS 69230 HAS SOUS 53861 HAS SOUPS 48928 WITH SCORE 49002.507
AT ITER 2783 NEW BEST:: SOT 188594 SOS 74502 HAS SOPS 69225 HAS SOUS 53856 HAS SOUPS 48923 WITH SCORE 48997.502
AT ITER 2805 NEW BEST:: SOT 188594 SOS 74497 HAS SOPS 69220 HAS SOUS 53851 HAS SOUPS 48918 WITH SCORE 48992.497
AT ITER 2819 NEW BEST:: SOT 188566 SOS 74487 HAS SOPS 69192 HAS SOUS 53841 HAS SOUPS 48890 WITH SCORE 48964.487
AT ITER 2879 NEW BEST:: SOT 188524 SOS 74444 HAS SOPS 69149 HAS SOUS 53798 HAS SOUPS 48847 WITH SCORE 48921.444
AT ITER 2880 NEW BEST:: SOT 188522 SOS 74438 HAS SOPS 69143 HAS SOUS 53794 HAS SOUPS 48843 WITH SCORE 48917.438
AT ITER 2887 NEW BEST:: SOT 188524 SOS 74415 HAS SOPS 69142 HAS SOUS 53771 HAS SOUPS 48842 WITH SCORE 48916.415
AT ITER 2913 NEW BEST:: SOT 188524 SOS 74408 HAS SOPS 69135 HAS SOUS 53764 HAS SOUPS 48835 WITH SCORE 48909.408
AT ITER 2920 NEW BEST:: SOT 188505 SOS 74389 HAS SOPS 69116 HAS SOUS 53745 HAS SOUPS 48816 WITH SCORE 48890.389
AT ITER 2946 NEW BEST:: SOT 188581 SOS 74446 HAS SOPS 69173 HAS SOUS 53715 HAS SOUPS 48786 WITH SCORE 48860.446
AT ITER 2947 NEW BEST:: SOT 188508 SOS 74273 HAS SOPS 69000 HAS SOUS 53570 HAS SOUPS 48641 WITH SCORE 48715.273
AT ITER 2954 NEW BEST:: SOT 188500 SOS 74267 HAS SOPS 68994 HAS SOUS 53567 HAS SOUPS 48638 WITH SCORE 48712.267
AT ITER 2985 NEW BEST:: SOT 188628 SOS 74498 HAS SOPS 69225 HAS SOUS 53521 HAS SOUPS 48592 WITH SCORE 48666.498
AT ITER 2991 NEW BEST:: SOT 188649 SOS 74544 HAS SOPS 69172 HAS SOUS 53599 HAS SOUPS 48571 WITH SCORE 48645.544
AT ITER 2993 NEW BEST:: SOT 188717 SOS 75169 HAS SOPS 69684 HAS SOUS 53647 HAS SOUPS 48561 WITH SCORE 48636.169
AT ITER 2997 NEW BEST:: SOT 188455 SOS 74800 HAS SOPS 69315 HAS SOUS 53445 HAS SOUPS 48359 WITH SCORE 48433.8
AT ITER 2998 NEW BEST:: SOT 188372 SOS 74576 HAS SOPS 69098 HAS SOUS 53424 HAS SOUPS 48338 WITH SCORE 48412.576
AT ITER 3006 NEW BEST:: SOT 188248 SOS 74271 HAS SOPS 68793 HAS SOUS 53361 HAS SOUPS 48275 WITH SCORE 48349.271
AT ITER 3009 NEW BEST:: SOT 188248 SOS 74270 HAS SOPS 68792 HAS SOUS 53360 HAS SOUPS 48274 WITH SCORE 48348.27
AT ITER 3013 NEW BEST:: SOT 188208 SOS 74210 HAS SOPS 68752 HAS SOUS 53330 HAS SOUPS 48254 WITH SCORE 48328.21
AT ITER 3021 NEW BEST:: SOT 188140 SOS 74208 HAS SOPS 68750 HAS SOUS 53314 HAS SOUPS 48238 WITH SCORE 48312.208
AT ITER 3022 NEW BEST:: SOT 188153 SOS 74112 HAS SOPS 68654 HAS SOUS 53286 HAS SOUPS 48210 WITH SCORE 48284.112
AT ITER 3026 NEW BEST:: SOT 188182 SOS 74148 HAS SOPS 68690 HAS SOUS 53284 HAS SOUPS 48208 WITH SCORE 48282.148
AT ITER 3033 NEW BEST:: SOT 188182 SOS 74043 HAS SOPS 68620 HAS SOUS 53214 HAS SOUPS 48173 WITH SCORE 48247.043
AT ITER 3046 NEW BEST:: SOT 188050 SOS 73767 HAS SOPS 68344 HAS SOUS 53190 HAS SOUPS 48149 WITH SCORE 48222.767
AT ITER 3050 NEW BEST:: SOT 187968 SOS 73603 HAS SOPS 68180 HAS SOUS 53108 HAS SOUPS 48067 WITH SCORE 48140.603
AT ITER 3057 NEW BEST:: SOT 187929 SOS 73525 HAS SOPS 68102 HAS SOUS 53030 HAS SOUPS 47989 WITH SCORE 48062.525
AT ITER 3060 NEW BEST:: SOT 187935 SOS 73546 HAS SOPS 68100 HAS SOUS 53051 HAS SOUPS 47987 WITH SCORE 48060.546
AT ITER 3062 NEW BEST:: SOT 187933 SOS 73552 HAS SOPS 68098 HAS SOUS 53057 HAS SOUPS 47985 WITH SCORE 48058.552
AT ITER 3068 NEW BEST:: SOT 187900 SOS 73520 HAS SOPS 68066 HAS SOUS 53024 HAS SOUPS 47952 WITH SCORE 48025.52
AT ITER 3083 NEW BEST:: SOT 187881 SOS 73595 HAS SOPS 68141 HAS SOUS 53023 HAS SOUPS 47951 WITH SCORE 48024.595
AT ITER 3090 NEW BEST:: SOT 187844 SOS 73558 HAS SOPS 68107 HAS SOUS 52986 HAS SOUPS 47917 WITH SCORE 47990.558
AT ITER 3115 NEW BEST:: SOT 187748 SOS 73441 HAS SOPS 67990 HAS SOUS 52869 HAS SOUPS 47800 WITH SCORE 47873.441
AT ITER 3131 NEW BEST:: SOT 187717 SOS 73326 HAS SOPS 67875 HAS SOUS 52785 HAS SOUPS 47716 WITH SCORE 47789.326
AT ITER 3154 NEW BEST:: SOT 187697 SOS 73306 HAS SOPS 67855 HAS SOUS 52745 HAS SOUPS 47676 WITH SCORE 47749.306
AT ITER 3162 NEW BEST:: SOT 187638 SOS 73234 HAS SOPS 67783 HAS SOUS 52673 HAS SOUPS 47604 WITH SCORE 47677.234
AT ITER 3164 NEW BEST:: SOT 187465 SOS 73275 HAS SOPS 67641 HAS SOUS 52780 HAS SOUPS 47528 WITH SCORE 47601.275
AT ITER 3182 NEW BEST:: SOT 187441 SOS 73251 HAS SOPS 67617 HAS SOUS 52768 HAS SOUPS 47516 WITH SCORE 47589.251
AT ITER 3184 NEW BEST:: SOT 187397 SOS 73243 HAS SOPS 67587 HAS SOUS 52738 HAS SOUPS 47464 WITH SCORE 47537.243
AT ITER 3200 NEW BEST:: SOT 187388 SOS 73234 HAS SOPS 67578 HAS SOUS 52729 HAS SOUPS 47455 WITH SCORE 47528.234
AT ITER 3204 NEW BEST:: SOT 187371 SOS 73217 HAS SOPS 67561 HAS SOUS 52729 HAS SOUPS 47455 WITH SCORE 47528.217
AT ITER 3208 NEW BEST:: SOT 187349 SOS 73193 HAS SOPS 67537 HAS SOUS 52725 HAS SOUPS 47451 WITH SCORE 47524.193
AT ITER 3242 NEW BEST:: SOT 187166 SOS 72965 HAS SOPS 67381 HAS SOUS 52585 HAS SOUPS 47383 WITH SCORE 47455.965
AT ITER 3251 NEW BEST:: SOT 187203 SOS 72985 HAS SOPS 67421 HAS SOUS 52554 HAS SOUPS 47372 WITH SCORE 47444.985
AT ITER 3260 NEW BEST:: SOT 187027 SOS 72793 HAS SOPS 67245 HAS SOUS 52522 HAS SOUPS 47356 WITH SCORE 47428.793
AT ITER 3268 NEW BEST:: SOT 186992 SOS 72777 HAS SOPS 67194 HAS SOUS 52548 HAS SOUPS 47347 WITH SCORE 47419.777
AT ITER 3285 NEW BEST:: SOT 186981 SOS 72766 HAS SOPS 67172 HAS SOUS 52537 HAS SOUPS 47325 WITH SCORE 47397.766
AT ITER 3320 NEW BEST:: SOT 186976 SOS 72748 HAS SOPS 67154 HAS SOUS 52532 HAS SOUPS 47320 WITH SCORE 47392.748
AT ITER 3323 NEW BEST:: SOT 186951 SOS 72705 HAS SOPS 67111 HAS SOUS 52489 HAS SOUPS 47277 WITH SCORE 47349.705
AT ITER 3335 NEW BEST:: SOT 186968 SOS 72729 HAS SOPS 67106 HAS SOUS 52513 HAS SOUPS 47272 WITH SCORE 47344.729
AT ITER 3355 NEW BEST:: SOT 186963 SOS 72724 HAS SOPS 67101 HAS SOUS 52513 HAS SOUPS 47272 WITH SCORE 47344.724
AT ITER 3366 NEW BEST:: SOT 186941 SOS 72680 HAS SOPS 67057 HAS SOUS 52491 HAS SOUPS 47250 WITH SCORE 47322.68
AT ITER 3371 NEW BEST:: SOT 186731 SOS 72578 HAS SOPS 66792 HAS SOUS 52514 HAS SOUPS 47110 WITH SCORE 47182.578
AT ITER 3387 NEW BEST:: SOT 186694 SOS 72595 HAS SOPS 66792 HAS SOUS 52477 HAS SOUPS 47073 WITH SCORE 47145.595
AT ITER 3396 NEW BEST:: SOT 186642 SOS 72474 HAS SOPS 66671 HAS SOUS 52335 HAS SOUPS 46931 WITH SCORE 47003.474
AT ITER 3400 NEW BEST:: SOT 186638 SOS 72470 HAS SOPS 66667 HAS SOUS 52335 HAS SOUPS 46931 WITH SCORE 47003.47
AT ITER 3421 NEW BEST:: SOT 186616 SOS 72497 HAS SOPS 66645 HAS SOUS 52342 HAS SOUPS 46909 WITH SCORE 46981.497
AT ITER 3424 NEW BEST:: SOT 186616 SOS 72497 HAS SOPS 66645 HAS SOUS 52329 HAS SOUPS 46896 WITH SCORE 46968.497
AT ITER 3426 NEW BEST:: SOT 186594 SOS 72431 HAS SOPS 66579 HAS SOUS 52285 HAS SOUPS 46852 WITH SCORE 46924.431
AT ITER 3444 NEW BEST:: SOT 185680 SOS 71517 HAS SOPS 65665 HAS SOUS 52257 HAS SOUPS 46824 WITH SCORE 46895.517
AT ITER 3446 NEW BEST:: SOT 185636 SOS 71463 HAS SOPS 65611 HAS SOUS 52203 HAS SOUPS 46770 WITH SCORE 46841.463
AT ITER 3462 NEW BEST:: SOT 185631 SOS 71457 HAS SOPS 65605 HAS SOUS 52197 HAS SOUPS 46764 WITH SCORE 46835.457
AT ITER 3469 NEW BEST:: SOT 185631 SOS 71427 HAS SOPS 65585 HAS SOUS 52177 HAS SOUPS 46754 WITH SCORE 46825.427
AT ITER 3479 NEW BEST:: SOT 185607 SOS 71355 HAS SOPS 65525 HAS SOUS 52129 HAS SOUPS 46718 WITH SCORE 46789.355
AT ITER 3489 NEW BEST:: SOT 185494 SOS 71242 HAS SOPS 65412 HAS SOUS 51956 HAS SOUPS 46545 WITH SCORE 46616.242
AT ITER 3553 NEW BEST:: SOT 185560 SOS 71065 HAS SOPS 65235 HAS SOUS 51955 HAS SOUPS 46544 WITH SCORE 46615.065
AT ITER 3560 NEW BEST:: SOT 185556 SOS 71061 HAS SOPS 65231 HAS SOUS 51951 HAS SOUPS 46540 WITH SCORE 46611.061
AT ITER 3589 NEW BEST:: SOT 185545 SOS 71028 HAS SOPS 65198 HAS SOUS 51929 HAS SOUPS 46518 WITH SCORE 46589.028
AT ITER 3591 NEW BEST:: SOT 185674 SOS 70866 HAS SOPS 65036 HAS SOUS 51918 HAS SOUPS 46507 WITH SCORE 46577.866
AT ITER 3633 NEW BEST:: SOT 185374 SOS 70810 HAS SOPS 64980 HAS SOUS 51712 HAS SOUPS 46301 WITH SCORE 46371.81
AT ITER 3640 NEW BEST:: SOT 185374 SOS 70807 HAS SOPS 64977 HAS SOUS 51706 HAS SOUPS 46295 WITH SCORE 46365.807
AT ITER 3648 NEW BEST:: SOT 185363 SOS 70796 HAS SOPS 64966 HAS SOUS 51695 HAS SOUPS 46284 WITH SCORE 46354.796
AT ITER 3656 NEW BEST:: SOT 185345 SOS 70813 HAS SOPS 64983 HAS SOUS 51694 HAS SOUPS 46283 WITH SCORE 46353.813
AT ITER 3660 NEW BEST:: SOT 185351 SOS 70858 HAS SOPS 65028 HAS SOUS 51688 HAS SOUPS 46277 WITH SCORE 46347.858
AT ITER 3688 NEW BEST:: SOT 185348 SOS 70810 HAS SOPS 64980 HAS SOUS 51681 HAS SOUPS 46270 WITH SCORE 46340.81
AT ITER 3714 NEW BEST:: SOT 185344 SOS 70806 HAS SOPS 64972 HAS SOUS 51677 HAS SOUPS 46262 WITH SCORE 46332.806
AT ITER 3733 NEW BEST:: SOT 185325 SOS 70787 HAS SOPS 64953 HAS SOUS 51658 HAS SOUPS 46243 WITH SCORE 46313.787
AT ITER 3747 NEW BEST:: SOT 185267 SOS 70729 HAS SOPS 64895 HAS SOUS 51655 HAS SOUPS 46240 WITH SCORE 46310.729
AT ITER 3782 NEW BEST:: SOT 185263 SOS 70721 HAS SOPS 64887 HAS SOUS 51647 HAS SOUPS 46232 WITH SCORE 46302.721
AT ITER 3791 NEW BEST:: SOT 185239 SOS 70696 HAS SOPS 64862 HAS SOUS 51622 HAS SOUPS 46207 WITH SCORE 46277.696
AT ITER 3799 NEW BEST:: SOT 185257 SOS 70678 HAS SOPS 64844 HAS SOUS 51622 HAS SOUPS 46207 WITH SCORE 46277.678
AT ITER 3802 NEW BEST:: SOT 185229 SOS 70656 HAS SOPS 64772 HAS SOUS 51603 HAS SOUPS 46138 WITH SCORE 46208.656
AT ITER 3813 NEW BEST:: SOT 185199 SOS 70596 HAS SOPS 64712 HAS SOUS 51573 HAS SOUPS 46108 WITH SCORE 46178.596
AT ITER 3833 NEW BEST:: SOT 185210 SOS 70557 HAS SOPS 64692 HAS SOUS 51549 HAS SOUPS 46098 WITH SCORE 46168.557
AT ITER 3836 NEW BEST:: SOT 185209 SOS 70522 HAS SOPS 64657 HAS SOUS 51475 HAS SOUPS 46024 WITH SCORE 46094.522
AT ITER 3839 NEW BEST:: SOT 185266 SOS 70636 HAS SOPS 64771 HAS SOUS 51469 HAS SOUPS 46018 WITH SCORE 46088.636
AT ITER 3850 NEW BEST:: SOT 185214 SOS 70550 HAS SOPS 64685 HAS SOUS 51456 HAS SOUPS 46005 WITH SCORE 46075.55
AT ITER 3858 NEW BEST:: SOT 185214 SOS 70534 HAS SOPS 64669 HAS SOUS 51440 HAS SOUPS 45989 WITH SCORE 46059.534
AT ITER 3880 NEW BEST:: SOT 185152 SOS 70481 HAS SOPS 64587 HAS SOUS 51407 HAS SOUPS 45927 WITH SCORE 45997.481
AT ITER 3884 NEW BEST:: SOT 185089 SOS 70355 HAS SOPS 64461 HAS SOUS 51323 HAS SOUPS 45843 WITH SCORE 45913.355
AT ITER 3902 NEW BEST:: SOT 185089 SOS 70332 HAS SOPS 64438 HAS SOUS 51300 HAS SOUPS 45820 WITH SCORE 45890.332
AT ITER 3910 NEW BEST:: SOT 185088 SOS 70348 HAS SOPS 64436 HAS SOUS 51316 HAS SOUPS 45818 WITH SCORE 45888.348
AT ITER 3915 NEW BEST:: SOT 185055 SOS 70315 HAS SOPS 64403 HAS SOUS 51283 HAS SOUPS 45785 WITH SCORE 45855.315
AT ITER 3920 NEW BEST:: SOT 185000 SOS 70200 HAS SOPS 64288 HAS SOUS 51273 HAS SOUPS 45775 WITH SCORE 45845.2
AT ITER 3921 NEW BEST:: SOT 184954 SOS 70100 HAS SOPS 64181 HAS SOUS 51186 HAS SOUPS 45681 WITH SCORE 45751.1
AT ITER 3927 NEW BEST:: SOT 184946 SOS 70176 HAS SOPS 64257 HAS SOUS 51180 HAS SOUPS 45675 WITH SCORE 45745.176
AT ITER 3943 NEW BEST:: SOT 184946 SOS 70172 HAS SOPS 64253 HAS SOUS 51176 HAS SOUPS 45671 WITH SCORE 45741.172
AT ITER 3948 NEW BEST:: SOT 184821 SOS 70077 HAS SOPS 64158 HAS SOUS 51136 HAS SOUPS 45631 WITH SCORE 45701.077
AT ITER 3988 NEW BEST:: SOT 184816 SOS 69986 HAS SOPS 64104 HAS SOUS 51089 HAS SOUPS 45621 WITH SCORE 45690.986
AT ITER 3993 NEW BEST:: SOT 184810 SOS 69980 HAS SOPS 64092 HAS SOUS 51029 HAS SOUPS 45555 WITH SCORE 45624.98
AT ITER 4020 NEW BEST:: SOT 184805 SOS 69914 HAS SOPS 64026 HAS SOUS 51001 HAS SOUPS 45527 WITH SCORE 45596.914
AT ITER 4021 NEW BEST:: SOT 184789 SOS 69898 HAS SOPS 64002 HAS SOUS 50993 HAS SOUPS 45511 WITH SCORE 45580.898
AT ITER 4033 NEW BEST:: SOT 184767 SOS 69888 HAS SOPS 63992 HAS SOUS 50971 HAS SOUPS 45489 WITH SCORE 45558.888
AT ITER 4050 NEW BEST:: SOT 184701 SOS 69770 HAS SOPS 63896 HAS SOUS 50933 HAS SOUPS 45473 WITH SCORE 45542.77
AT ITER 4055 NEW BEST:: SOT 184662 SOS 69420 HAS SOPS 63669 HAS SOUS 50706 HAS SOUPS 45369 WITH SCORE 45438.42
AT ITER 4056 NEW BEST:: SOT 184725 SOS 69476 HAS SOPS 63725 HAS SOUS 50699 HAS SOUPS 45362 WITH SCORE 45431.476
AT ITER 4067 NEW BEST:: SOT 184725 SOS 69466 HAS SOPS 63715 HAS SOUS 50699 HAS SOUPS 45362 WITH SCORE 45431.466
AT ITER 4082 NEW BEST:: SOT 184545 SOS 69616 HAS SOPS 63853 HAS SOUS 50623 HAS SOUPS 45278 WITH SCORE 45347.616
AT ITER 4084 NEW BEST:: SOT 184440 SOS 69537 HAS SOPS 63774 HAS SOUS 50552 HAS SOUPS 45207 WITH SCORE 45276.537
AT ITER 4107 NEW BEST:: SOT 184427 SOS 69524 HAS SOPS 63761 HAS SOUS 50539 HAS SOUPS 45194 WITH SCORE 45263.524
AT ITER 4109 NEW BEST:: SOT 184405 SOS 69502 HAS SOPS 63717 HAS SOUS 50539 HAS SOUPS 45194 WITH SCORE 45263.502
AT ITER 4119 NEW BEST:: SOT 184362 SOS 69424 HAS SOPS 63639 HAS SOUS 50496 HAS SOUPS 45151 WITH SCORE 45220.424
AT ITER 4142 NEW BEST:: SOT 184362 SOS 69403 HAS SOPS 63618 HAS SOUS 50475 HAS SOUPS 45130 WITH SCORE 45199.403
AT ITER 4171 NEW BEST:: SOT 184372 SOS 69319 HAS SOPS 63534 HAS SOUS 50444 HAS SOUPS 45099 WITH SCORE 45168.319
AT ITER 4175 NEW BEST:: SOT 184364 SOS 69311 HAS SOPS 63526 HAS SOUS 50437 HAS SOUPS 45092 WITH SCORE 45161.311
AT ITER 4180 NEW BEST:: SOT 184360 SOS 69295 HAS SOPS 63510 HAS SOUS 50421 HAS SOUPS 45076 WITH SCORE 45145.295
AT ITER 4222 NEW BEST:: SOT 184360 SOS 69293 HAS SOPS 63508 HAS SOUS 50419 HAS SOUPS 45074 WITH SCORE 45143.293
AT ITER 4228 NEW BEST:: SOT 184333 SOS 69266 HAS SOPS 63508 HAS SOUS 50392 HAS SOUPS 45074 WITH SCORE 45143.266
AT ITER 4230 NEW BEST:: SOT 184331 SOS 69264 HAS SOPS 63506 HAS SOUS 50390 HAS SOUPS 45072 WITH SCORE 45141.264
AT ITER 4248 NEW BEST:: SOT 184293 SOS 69226 HAS SOPS 63468 HAS SOUS 50341 HAS SOUPS 45023 WITH SCORE 45092.226
AT ITER 4267 NEW BEST:: SOT 184258 SOS 69177 HAS SOPS 63419 HAS SOUS 50306 HAS SOUPS 44988 WITH SCORE 45057.177
AT ITER 4323 NEW BEST:: SOT 184258 SOS 69172 HAS SOPS 63414 HAS SOUS 50301 HAS SOUPS 44983 WITH SCORE 45052.172
AT ITER 4328 NEW BEST:: SOT 184223 SOS 68503 HAS SOPS 62745 HAS SOUS 50174 HAS SOUPS 44856 WITH SCORE 44924.503
AT ITER 4335 NEW BEST:: SOT 184070 SOS 68350 HAS SOPS 62592 HAS SOUS 50072 HAS SOUPS 44754 WITH SCORE 44822.35
AT ITER 4354 NEW BEST:: SOT 184054 SOS 68257 HAS SOPS 62499 HAS SOUS 50047 HAS SOUPS 44729 WITH SCORE 44797.257
AT ITER 4357 NEW BEST:: SOT 184044 SOS 67963 HAS SOPS 62245 HAS SOUS 50027 HAS SOUPS 44709 WITH SCORE 44776.963
AT ITER 4384 NEW BEST:: SOT 183979 SOS 68255 HAS SOPS 62490 HAS SOUS 50056 HAS SOUPS 44691 WITH SCORE 44759.255
AT ITER 4387 NEW BEST:: SOT 183980 SOS 68214 HAS SOPS 62449 HAS SOUS 50051 HAS SOUPS 44686 WITH SCORE 44754.214
AT ITER 4388 NEW BEST:: SOT 183982 SOS 68168 HAS SOPS 62403 HAS SOUS 50023 HAS SOUPS 44658 WITH SCORE 44726.168
AT ITER 4398 NEW BEST:: SOT 183772 SOS 67961 HAS SOPS 62196 HAS SOUS 49963 HAS SOUPS 44598 WITH SCORE 44665.961
AT ITER 4400 NEW BEST:: SOT 183706 SOS 68056 HAS SOPS 62291 HAS SOUS 49935 HAS SOUPS 44570 WITH SCORE 44638.056
AT ITER 4416 NEW BEST:: SOT 183699 SOS 68043 HAS SOPS 62278 HAS SOUS 49927 HAS SOUPS 44562 WITH SCORE 44630.043
AT ITER 4429 NEW BEST:: SOT 183623 SOS 67948 HAS SOPS 62164 HAS SOUS 49870 HAS SOUPS 44486 WITH SCORE 44553.948
AT ITER 4443 NEW BEST:: SOT 183623 SOS 67948 HAS SOPS 62164 HAS SOUS 49856 HAS SOUPS 44472 WITH SCORE 44539.948
AT ITER 4451 NEW BEST:: SOT 183610 SOS 67934 HAS SOPS 62150 HAS SOUS 49842 HAS SOUPS 44458 WITH SCORE 44525.934
AT ITER 4463 NEW BEST:: SOT 183500 SOS 67674 HAS SOPS 61890 HAS SOUS 49661 HAS SOUPS 44277 WITH SCORE 44344.674
AT ITER 4479 NEW BEST:: SOT 183474 SOS 67596 HAS SOPS 61812 HAS SOUS 49609 HAS SOUPS 44225 WITH SCORE 44292.596
AT ITER 4491 NEW BEST:: SOT 183473 SOS 67595 HAS SOPS 61811 HAS SOUS 49608 HAS SOUPS 44224 WITH SCORE 44291.595
AT ITER 4500 NEW BEST:: SOT 183461 SOS 67583 HAS SOPS 61811 HAS SOUS 49596 HAS SOUPS 44224 WITH SCORE 44291.583
AT ITER 4511 NEW BEST:: SOT 183422 SOS 67534 HAS SOPS 61762 HAS SOUS 49557 HAS SOUPS 44185 WITH SCORE 44252.534
AT ITER 4527 NEW BEST:: SOT 183236 SOS 67348 HAS SOPS 61576 HAS SOUS 49550 HAS SOUPS 44178 WITH SCORE 44245.348
AT ITER 4539 NEW BEST:: SOT 183981 SOS 68031 HAS SOPS 62319 HAS SOUS 49501 HAS SOUPS 44174 WITH SCORE 44242.031
AT ITER 4543 NEW BEST:: SOT 183981 SOS 68004 HAS SOPS 62292 HAS SOUS 49501 HAS SOUPS 44174 WITH SCORE 44242.004
AT ITER 4555 NEW BEST:: SOT 183977 SOS 67758 HAS SOPS 62093 HAS SOUS 49361 HAS SOUPS 44081 WITH SCORE 44148.758
AT ITER 4558 NEW BEST:: SOT 184014 SOS 67520 HAS SOPS 61870 HAS SOUS 49344 HAS SOUPS 44079 WITH SCORE 44146.52
AT ITER 4578 NEW BEST:: SOT 183966 SOS 67494 HAS SOPS 61820 HAS SOUS 49342 HAS SOUPS 44053 WITH SCORE 44120.494
AT ITER 4580 NEW BEST:: SOT 183886 SOS 67688 HAS SOPS 61976 HAS SOUS 49375 HAS SOUPS 44048 WITH SCORE 44115.688
AT ITER 4587 NEW BEST:: SOT 183819 SOS 67621 HAS SOPS 61909 HAS SOUS 49337 HAS SOUPS 44010 WITH SCORE 44077.621
AT ITER 4617 NEW BEST:: SOT 183807 SOS 67591 HAS SOPS 61879 HAS SOUS 49319 HAS SOUPS 43992 WITH SCORE 44059.591
AT ITER 4633 NEW BEST:: SOT 183789 SOS 67573 HAS SOPS 61861 HAS SOUS 49301 HAS SOUPS 43974 WITH SCORE 44041.573
AT ITER 4648 NEW BEST:: SOT 183807 SOS 67453 HAS SOPS 61741 HAS SOUS 49273 HAS SOUPS 43946 WITH SCORE 44013.453
AT ITER 4663 NEW BEST:: SOT 183808 SOS 67454 HAS SOPS 61742 HAS SOUS 49251 HAS SOUPS 43924 WITH SCORE 43991.454
AT ITER 4678 NEW BEST:: SOT 183827 SOS 67473 HAS SOPS 61737 HAS SOUS 49270 HAS SOUPS 43919 WITH SCORE 43986.473
AT ITER 4733 NEW BEST:: SOT 183823 SOS 67469 HAS SOPS 61733 HAS SOUS 49266 HAS SOUPS 43915 WITH SCORE 43982.469
AT ITER 4752 NEW BEST:: SOT 183786 SOS 67465 HAS SOPS 61729 HAS SOUS 49262 HAS SOUPS 43911 WITH SCORE 43978.465
AT ITER 4759 NEW BEST:: SOT 183775 SOS 67419 HAS SOPS 61683 HAS SOUS 49227 HAS SOUPS 43876 WITH SCORE 43943.419
AT ITER 4764 NEW BEST:: SOT 183775 SOS 67336 HAS SOPS 61628 HAS SOUS 49172 HAS SOUPS 43849 WITH SCORE 43916.336
AT ITER 4782 NEW BEST:: SOT 183754 SOS 67302 HAS SOPS 61594 HAS SOUS 49156 HAS SOUPS 43833 WITH SCORE 43900.302
AT ITER 4787 NEW BEST:: SOT 183745 SOS 67293 HAS SOPS 61579 HAS SOUS 49147 HAS SOUPS 43818 WITH SCORE 43885.293
AT ITER 4800 NEW BEST:: SOT 183717 SOS 67213 HAS SOPS 61499 HAS SOUS 49093 HAS SOUPS 43764 WITH SCORE 43831.213
AT ITER 4809 NEW BEST:: SOT 183701 SOS 67165 HAS SOPS 61451 HAS SOUS 49061 HAS SOUPS 43732 WITH SCORE 43799.165
AT ITER 4876 NEW BEST:: SOT 183671 SOS 67134 HAS SOPS 61420 HAS SOUS 49030 HAS SOUPS 43701 WITH SCORE 43768.134
AT ITER 4879 NEW BEST:: SOT 183675 SOS 67138 HAS SOPS 61416 HAS SOUS 49034 HAS SOUPS 43697 WITH SCORE 43764.138
AT ITER 4880 NEW BEST:: SOT 183683 SOS 67103 HAS SOPS 61398 HAS SOUS 49008 HAS SOUPS 43688 WITH SCORE 43755.103
AT ITER 4891 NEW BEST:: SOT 183742 SOS 67118 HAS SOPS 61400 HAS SOUS 49006 HAS SOUPS 43673 WITH SCORE 43740.118
AT ITER 4896 NEW BEST:: SOT 183742 SOS 67118 HAS SOPS 61396 HAS SOUS 49006 HAS SOUPS 43669 WITH SCORE 43736.118
AT ITER 4910 NEW BEST:: SOT 183709 SOS 67082 HAS SOPS 61360 HAS SOUS 49003 HAS SOUPS 43666 WITH SCORE 43733.082
AT ITER 4913 NEW BEST:: SOT 183709 SOS 67052 HAS SOPS 61340 HAS SOUS 48993 HAS SOUPS 43666 WITH SCORE 43733.052
AT ITER 4919 NEW BEST:: SOT 183581 SOS 66763 HAS SOPS 61164 HAS SOUS 48896 HAS SOUPS 43650 WITH SCORE 43716.763
AT ITER 4967 NEW BEST:: SOT 183581 SOS 66628 HAS SOPS 61074 HAS SOUS 48810 HAS SOUPS 43609 WITH SCORE 43675.628
AT ITER 4969 NEW BEST:: SOT 183575 SOS 66630 HAS SOPS 61062 HAS SOUS 48818 HAS SOUPS 43603 WITH SCORE 43669.63
AT ITER 4979 NEW BEST:: SOT 183552 SOS 66400 HAS SOPS 60930 HAS SOUS 48680 HAS SOUPS 43563 WITH SCORE 43629.4
AT ITER 5000 NEW BEST:: SOT 183535 SOS 66433 HAS SOPS 60916 HAS SOUS 48708 HAS SOUPS 43544 WITH SCORE 43610.433
AT ITER 5006 NEW BEST:: SOT 183533 SOS 66449 HAS SOPS 60932 HAS SOUS 48683 HAS SOUPS 43519 WITH SCORE 43585.449
AT ITER 5013 NEW BEST:: SOT 183533 SOS 66475 HAS SOPS 60958 HAS SOUS 48675 HAS SOUPS 43511 WITH SCORE 43577.475
AT ITER 5030 NEW BEST:: SOT 183551 SOS 66357 HAS SOPS 60819 HAS SOUS 48688 HAS SOUPS 43503 WITH SCORE 43569.357
AT ITER 5032 NEW BEST:: SOT 183326 SOS 66110 HAS SOPS 60567 HAS SOUS 48678 HAS SOUPS 43493 WITH SCORE 43559.11
AT ITER 5033 NEW BEST:: SOT 183277 SOS 66064 HAS SOPS 60521 HAS SOUS 48658 HAS SOUPS 43473 WITH SCORE 43539.064
AT ITER 5041 NEW BEST:: SOT 183277 SOS 66095 HAS SOPS 60500 HAS SOUS 48705 HAS SOUPS 43468 WITH SCORE 43534.095
AT ITER 5058 NEW BEST:: SOT 183337 SOS 66155 HAS SOPS 60506 HAS SOUS 48711 HAS SOUPS 43420 WITH SCORE 43486.155
AT ITER 5062 NEW BEST:: SOT 183332 SOS 66150 HAS SOPS 60501 HAS SOUS 48701 HAS SOUPS 43410 WITH SCORE 43476.15
AT ITER 5128 NEW BEST:: SOT 183382 SOS 66227 HAS SOPS 60578 HAS SOUS 48680 HAS SOUPS 43389 WITH SCORE 43455.227
AT ITER 5149 NEW BEST:: SOT 183382 SOS 66209 HAS SOPS 60560 HAS SOUS 48633 HAS SOUPS 43342 WITH SCORE 43408.209
AT ITER 5150 NEW BEST:: SOT 183380 SOS 66199 HAS SOPS 60550 HAS SOUS 48630 HAS SOUPS 43339 WITH SCORE 43405.199
AT ITER 5204 NEW BEST:: SOT 183380 SOS 66179 HAS SOPS 60530 HAS SOUS 48630 HAS SOUPS 43339 WITH SCORE 43405.179
AT ITER 5216 NEW BEST:: SOT 183326 SOS 66017 HAS SOPS 60422 HAS SOUS 48522 HAS SOUPS 43285 WITH SCORE 43351.017
AT ITER 5232 NEW BEST:: SOT 183311 SOS 65999 HAS SOPS 60404 HAS SOUS 48504 HAS SOUPS 43267 WITH SCORE 43332.999
AT ITER 5236 NEW BEST:: SOT 183315 SOS 65981 HAS SOPS 60386 HAS SOUS 48490 HAS SOUPS 43253 WITH SCORE 43318.981
AT ITER 5237 NEW BEST:: SOT 183289 SOS 65979 HAS SOPS 60384 HAS SOUS 48478 HAS SOUPS 43241 WITH SCORE 43306.979
AT ITER 5238 NEW BEST:: SOT 183219 SOS 65999 HAS SOPS 60404 HAS SOUS 48468 HAS SOUPS 43231 WITH SCORE 43296.999
AT ITER 5250 NEW BEST:: SOT 183212 SOS 65971 HAS SOPS 60383 HAS SOUS 48447 HAS SOUPS 43217 WITH SCORE 43282.971
AT ITER 5256 NEW BEST:: SOT 183242 SOS 65916 HAS SOPS 60328 HAS SOUS 48392 HAS SOUPS 43162 WITH SCORE 43227.916
AT ITER 5282 NEW BEST:: SOT 183224 SOS 65898 HAS SOPS 60310 HAS SOUS 48392 HAS SOUPS 43162 WITH SCORE 43227.898
AT ITER 5285 NEW BEST:: SOT 183501 SOS 66024 HAS SOPS 60436 HAS SOUS 48390 HAS SOUPS 43160 WITH SCORE 43226.024
AT ITER 5286 NEW BEST:: SOT 183478 SOS 65984 HAS SOPS 60396 HAS SOUS 48350 HAS SOUPS 43120 WITH SCORE 43185.984
AT ITER 5293 NEW BEST:: SOT 183473 SOS 65979 HAS SOPS 60391 HAS SOUS 48345 HAS SOUPS 43115 WITH SCORE 43180.979
AT ITER 5295 NEW BEST:: SOT 183450 SOS 65956 HAS SOPS 60368 HAS SOUS 48322 HAS SOUPS 43092 WITH SCORE 43157.956
AT ITER 5302 NEW BEST:: SOT 183452 SOS 65961 HAS SOPS 60331 HAS SOUS 48327 HAS SOUPS 43055 WITH SCORE 43120.961
AT ITER 5344 NEW BEST:: SOT 183374 SOS 65933 HAS SOPS 60303 HAS SOUS 48282 HAS SOUPS 43010 WITH SCORE 43075.933
AT ITER 5379 NEW BEST:: SOT 183374 SOS 65919 HAS SOPS 60289 HAS SOUS 48268 HAS SOUPS 42996 WITH SCORE 43061.919
AT ITER 5388 NEW BEST:: SOT 183335 SOS 65705 HAS SOPS 60180 HAS SOUS 48159 HAS SOUPS 42992 WITH SCORE 43057.705
AT ITER 5391 NEW BEST:: SOT 183385 SOS 65755 HAS SOPS 60230 HAS SOUS 48109 HAS SOUPS 42942 WITH SCORE 43007.755
AT ITER 5396 NEW BEST:: SOT 183385 SOS 65720 HAS SOPS 60195 HAS SOUS 48074 HAS SOUPS 42907 WITH SCORE 42972.72
AT ITER 5398 NEW BEST:: SOT 183576 SOS 66249 HAS SOPS 60580 HAS SOUS 47993 HAS SOUPS 42752 WITH SCORE 42818.249
AT ITER 5408 NEW BEST:: SOT 183561 SOS 66234 HAS SOPS 60565 HAS SOUS 47983 HAS SOUPS 42742 WITH SCORE 42808.234
AT ITER 5414 NEW BEST:: SOT 184044 SOS 66407 HAS SOPS 60738 HAS SOUS 47870 HAS SOUPS 42629 WITH SCORE 42695.407
AT ITER 5437 NEW BEST:: SOT 184042 SOS 66392 HAS SOPS 60734 HAS SOUS 47857 HAS SOUPS 42627 WITH SCORE 42693.392
AT ITER 5446 NEW BEST:: SOT 184006 SOS 66307 HAS SOPS 60649 HAS SOUS 47772 HAS SOUPS 42542 WITH SCORE 42608.307
AT ITER 5448 NEW BEST:: SOT 183976 SOS 66273 HAS SOPS 60615 HAS SOUS 47753 HAS SOUPS 42523 WITH SCORE 42589.273
AT ITER 5449 NEW BEST:: SOT 183983 SOS 66270 HAS SOPS 60612 HAS SOUS 47743 HAS SOUPS 42513 WITH SCORE 42579.27
AT ITER 5452 NEW BEST:: SOT 183983 SOS 66270 HAS SOPS 60612 HAS SOUS 47715 HAS SOUPS 42485 WITH SCORE 42551.27
AT ITER 5478 NEW BEST:: SOT 183976 SOS 66212 HAS SOPS 60561 HAS SOUS 47679 HAS SOUPS 42456 WITH SCORE 42522.212
AT ITER 5496 NEW BEST:: SOT 183954 SOS 66168 HAS SOPS 60517 HAS SOUS 47657 HAS SOUPS 42434 WITH SCORE 42500.168
AT ITER 5524 NEW BEST:: SOT 183954 SOS 66151 HAS SOPS 60517 HAS SOUS 47640 HAS SOUPS 42434 WITH SCORE 42500.151
AT ITER 5540 NEW BEST:: SOT 183952 SOS 66149 HAS SOPS 60515 HAS SOUS 47639 HAS SOUPS 42433 WITH SCORE 42499.149
AT ITER 5546 NEW BEST:: SOT 183982 SOS 66095 HAS SOPS 60461 HAS SOUS 47613 HAS SOUPS 42407 WITH SCORE 42473.095
AT ITER 5548 NEW BEST:: SOT 183850 SOS 65927 HAS SOPS 60293 HAS SOUS 47601 HAS SOUPS 42395 WITH SCORE 42460.927
AT ITER 5582 NEW BEST:: SOT 183813 SOS 65890 HAS SOPS 60256 HAS SOUS 47638 HAS SOUPS 42395 WITH SCORE 42460.89
AT ITER 5586 NEW BEST:: SOT 183967 SOS 65902 HAS SOPS 60268 HAS SOUS 47605 HAS SOUPS 42362 WITH SCORE 42427.902
AT ITER 5602 NEW BEST:: SOT 183967 SOS 65838 HAS SOPS 60268 HAS SOUS 47541 HAS SOUPS 42362 WITH SCORE 42427.838
AT ITER 5609 NEW BEST:: SOT 183989 SOS 65788 HAS SOPS 60288 HAS SOUS 47469 HAS SOUPS 42360 WITH SCORE 42425.788
AT ITER 5622 NEW BEST:: SOT 183983 SOS 65702 HAS SOPS 60202 HAS SOUS 47383 HAS SOUPS 42274 WITH SCORE 42339.702
AT ITER 5637 NEW BEST:: SOT 184073 SOS 65478 HAS SOPS 59978 HAS SOUS 47353 HAS SOUPS 42244 WITH SCORE 42309.478
AT ITER 5642 NEW BEST:: SOT 184072 SOS 65476 HAS SOPS 59977 HAS SOUS 47352 HAS SOUPS 42244 WITH SCORE 42309.476
AT ITER 5672 NEW BEST:: SOT 184072 SOS 65446 HAS SOPS 59977 HAS SOUS 47352 HAS SOUPS 42244 WITH SCORE 42309.446
AT ITER 5705 NEW BEST:: SOT 184060 SOS 65396 HAS SOPS 59972 HAS SOUS 47302 HAS SOUPS 42239 WITH SCORE 42304.396
AT ITER 5713 NEW BEST:: SOT 183862 SOS 65256 HAS SOPS 59848 HAS SOUS 47265 HAS SOUPS 42218 WITH SCORE 42283.256
AT ITER 5714 NEW BEST:: SOT 183574 SOS 65000 HAS SOPS 59592 HAS SOUS 47265 HAS SOUPS 42218 WITH SCORE 42283.0
AT ITER 5715 NEW BEST:: SOT 183760 SOS 64760 HAS SOPS 59352 HAS SOUS 47079 HAS SOUPS 42032 WITH SCORE 42096.76
AT ITER 5718 NEW BEST:: SOT 183703 SOS 64703 HAS SOPS 59287 HAS SOUS 47068 HAS SOUPS 42013 WITH SCORE 42077.703
AT ITER 5729 NEW BEST:: SOT 183706 SOS 64703 HAS SOPS 59287 HAS SOUS 47065 HAS SOUPS 42010 WITH SCORE 42074.703
AT ITER 5732 NEW BEST:: SOT 183697 SOS 64704 HAS SOPS 59288 HAS SOUS 47057 HAS SOUPS 42002 WITH SCORE 42066.704
AT ITER 5734 NEW BEST:: SOT 183703 SOS 65082 HAS SOPS 59572 HAS SOUS 47088 HAS SOUPS 41986 WITH SCORE 42051.082
AT ITER 5745 NEW BEST:: SOT 183690 SOS 65069 HAS SOPS 59559 HAS SOUS 47069 HAS SOUPS 41967 WITH SCORE 42032.069
AT ITER 5768 NEW BEST:: SOT 183690 SOS 65068 HAS SOPS 59558 HAS SOUS 47069 HAS SOUPS 41967 WITH SCORE 42032.068
AT ITER 5776 NEW BEST:: SOT 183886 SOS 65161 HAS SOPS 59626 HAS SOUS 47023 HAS SOUPS 41908 WITH SCORE 41973.161
AT ITER 5794 NEW BEST:: SOT 183886 SOS 65152 HAS SOPS 59626 HAS SOUS 47014 HAS SOUPS 41908 WITH SCORE 41973.152
AT ITER 5804 NEW BEST:: SOT 183893 SOS 65257 HAS SOPS 59641 HAS SOUS 47071 HAS SOUPS 41875 WITH SCORE 41940.257
AT ITER 5840 NEW BEST:: SOT 183846 SOS 65095 HAS SOPS 59526 HAS SOUS 47006 HAS SOUPS 41854 WITH SCORE 41919.095
AT ITER 5845 NEW BEST:: SOT 183854 SOS 65077 HAS SOPS 59508 HAS SOUS 47001 HAS SOUPS 41849 WITH SCORE 41914.077
AT ITER 5848 NEW BEST:: SOT 183827 SOS 65050 HAS SOPS 59481 HAS SOUS 46974 HAS SOUPS 41822 WITH SCORE 41887.05
AT ITER 5850 NEW BEST:: SOT 183827 SOS 65060 HAS SOPS 59461 HAS SOUS 46964 HAS SOUPS 41792 WITH SCORE 41857.06
AT ITER 5868 NEW BEST:: SOT 183807 SOS 65098 HAS SOPS 59448 HAS SOUS 46980 HAS SOUPS 41757 WITH SCORE 41822.098
AT ITER 5893 NEW BEST:: SOT 183783 SOS 65100 HAS SOPS 59408 HAS SOUS 46998 HAS SOUPS 41733 WITH SCORE 41798.1
AT ITER 5915 NEW BEST:: SOT 183879 SOS 65138 HAS SOPS 59436 HAS SOUS 46972 HAS SOUPS 41707 WITH SCORE 41772.138
AT ITER 5932 NEW BEST:: SOT 183941 SOS 65182 HAS SOPS 59480 HAS SOUS 46945 HAS SOUPS 41680 WITH SCORE 41745.182
AT ITER 5937 NEW BEST:: SOT 183829 SOS 65070 HAS SOPS 59368 HAS SOUS 46833 HAS SOUPS 41568 WITH SCORE 41633.07
AT ITER 5938 NEW BEST:: SOT 183809 SOS 64892 HAS SOPS 59190 HAS SOUS 46813 HAS SOUPS 41548 WITH SCORE 41612.892
AT ITER 5939 NEW BEST:: SOT 183798 SOS 64872 HAS SOPS 59170 HAS SOUS 46811 HAS SOUPS 41546 WITH SCORE 41610.872
AT ITER 5941 NEW BEST:: SOT 183790 SOS 64623 HAS SOPS 58921 HAS SOUS 46706 HAS SOUPS 41441 WITH SCORE 41505.623
AT ITER 5981 NEW BEST:: SOT 184038 SOS 64639 HAS SOPS 58937 HAS SOUS 46702 HAS SOUPS 41437 WITH SCORE 41501.639
AT ITER 5996 NEW BEST:: SOT 184046 SOS 64639 HAS SOPS 58937 HAS SOUS 46686 HAS SOUPS 41421 WITH SCORE 41485.639
AT ITER 6016 NEW BEST:: SOT 184040 SOS 64633 HAS SOPS 58931 HAS SOUS 46685 HAS SOUPS 41420 WITH SCORE 41484.633
AT ITER 6039 NEW BEST:: SOT 183987 SOS 64523 HAS SOPS 58761 HAS SOUS 46620 HAS SOUPS 41325 WITH SCORE 41389.523
AT ITER 6042 NEW BEST:: SOT 183954 SOS 64473 HAS SOPS 58724 HAS SOUS 46592 HAS SOUPS 41310 WITH SCORE 41374.473
AT ITER 6046 NEW BEST:: SOT 183942 SOS 64513 HAS SOPS 58719 HAS SOUS 46625 HAS SOUPS 41298 WITH SCORE 41362.513
AT ITER 6059 NEW BEST:: SOT 183928 SOS 64485 HAS SOPS 58691 HAS SOUS 46611 HAS SOUPS 41284 WITH SCORE 41348.485
AT ITER 6080 NEW BEST:: SOT 183970 SOS 64501 HAS SOPS 58707 HAS SOUS 46575 HAS SOUPS 41248 WITH SCORE 41312.501
AT ITER 6082 NEW BEST:: SOT 183958 SOS 64358 HAS SOPS 58572 HAS SOUS 46510 HAS SOUPS 41187 WITH SCORE 41251.358
AT ITER 6083 NEW BEST:: SOT 183934 SOS 64334 HAS SOPS 58548 HAS SOUS 46485 HAS SOUPS 41162 WITH SCORE 41226.334
AT ITER 6101 NEW BEST:: SOT 183928 SOS 64325 HAS SOPS 58536 HAS SOUS 46476 HAS SOUPS 41150 WITH SCORE 41214.325
AT ITER 6117 NEW BEST:: SOT 183914 SOS 64311 HAS SOPS 58522 HAS SOUS 46448 HAS SOUPS 41122 WITH SCORE 41186.311
AT ITER 6122 NEW BEST:: SOT 183910 SOS 64235 HAS SOPS 58446 HAS SOUS 46396 HAS SOUPS 41070 WITH SCORE 41134.235
AT ITER 6124 NEW BEST:: SOT 183910 SOS 64194 HAS SOPS 58405 HAS SOUS 46355 HAS SOUPS 41029 WITH SCORE 41093.194
AT ITER 6132 NEW BEST:: SOT 184195 SOS 65261 HAS SOPS 59472 HAS SOUS 46320 HAS SOUPS 40994 WITH SCORE 41059.261
AT ITER 6138 NEW BEST:: SOT 184100 SOS 65015 HAS SOPS 59253 HAS SOUS 46172 HAS SOUPS 40859 WITH SCORE 40924.015
AT ITER 6140 NEW BEST:: SOT 184102 SOS 65025 HAS SOPS 59263 HAS SOUS 46153 HAS SOUPS 40840 WITH SCORE 40905.025
AT ITER 6144 NEW BEST:: SOT 184102 SOS 65014 HAS SOPS 59263 HAS SOUS 46150 HAS SOUPS 40840 WITH SCORE 40905.014
AT ITER 6150 NEW BEST:: SOT 184083 SOS 64973 HAS SOPS 59244 HAS SOUS 46109 HAS SOUPS 40821 WITH SCORE 40885.973
AT ITER 6152 NEW BEST:: SOT 184050 SOS 64940 HAS SOPS 59178 HAS SOUS 46109 HAS SOUPS 40788 WITH SCORE 40852.94
AT ITER 6164 NEW BEST:: SOT 184028 SOS 64918 HAS SOPS 59178 HAS SOUS 46109 HAS SOUPS 40788 WITH SCORE 40852.918
AT ITER 6171 NEW BEST:: SOT 184014 SOS 64904 HAS SOPS 59170 HAS SOUS 46095 HAS SOUPS 40780 WITH SCORE 40844.904
AT ITER 6230 NEW BEST:: SOT 184018 SOS 64936 HAS SOPS 59202 HAS SOUS 46061 HAS SOUPS 40746 WITH SCORE 40810.936
AT ITER 6236 NEW BEST:: SOT 183972 SOS 64907 HAS SOPS 59173 HAS SOUS 46035 HAS SOUPS 40720 WITH SCORE 40784.907
AT ITER 6238 NEW BEST:: SOT 183953 SOS 64901 HAS SOPS 59167 HAS SOUS 46029 HAS SOUPS 40714 WITH SCORE 40778.901
AT ITER 6240 NEW BEST:: SOT 183949 SOS 64897 HAS SOPS 59128 HAS SOUS 46055 HAS SOUPS 40705 WITH SCORE 40769.897
AT ITER 6246 NEW BEST:: SOT 183987 SOS 64971 HAS SOPS 59164 HAS SOUS 46091 HAS SOUPS 40703 WITH SCORE 40767.971
AT ITER 6274 NEW BEST:: SOT 184002 SOS 64565 HAS SOPS 58758 HAS SOUS 45919 HAS SOUPS 40531 WITH SCORE 40595.565
AT ITER 6284 NEW BEST:: SOT 183881 SOS 64422 HAS SOPS 58615 HAS SOUS 45897 HAS SOUPS 40509 WITH SCORE 40573.422
AT ITER 6287 NEW BEST:: SOT 183822 SOS 64434 HAS SOPS 58517 HAS SOUS 45912 HAS SOUPS 40414 WITH SCORE 40478.434
AT ITER 6293 NEW BEST:: SOT 183818 SOS 64419 HAS SOPS 58502 HAS SOUS 45901 HAS SOUPS 40403 WITH SCORE 40467.419
AT ITER 6302 NEW BEST:: SOT 183808 SOS 64409 HAS SOPS 58492 HAS SOUS 45900 HAS SOUPS 40402 WITH SCORE 40466.409
AT ITER 6330 NEW BEST:: SOT 183796 SOS 64424 HAS SOPS 58486 HAS SOUS 45909 HAS SOUPS 40390 WITH SCORE 40454.424
AT ITER 6335 NEW BEST:: SOT 183678 SOS 64306 HAS SOPS 58348 HAS SOUS 45868 HAS SOUPS 40329 WITH SCORE 40393.306
AT ITER 6349 NEW BEST:: SOT 183636 SOS 64302 HAS SOPS 58344 HAS SOUS 45866 HAS SOUPS 40327 WITH SCORE 40391.302
AT ITER 6356 NEW BEST:: SOT 183621 SOS 64257 HAS SOPS 58299 HAS SOUS 45861 HAS SOUPS 40322 WITH SCORE 40386.257
AT ITER 6389 NEW BEST:: SOT 183616 SOS 64230 HAS SOPS 58272 HAS SOUS 45834 HAS SOUPS 40295 WITH SCORE 40359.23
AT ITER 6394 NEW BEST:: SOT 183616 SOS 64160 HAS SOPS 58202 HAS SOUS 45764 HAS SOUPS 40225 WITH SCORE 40289.16
AT ITER 6399 NEW BEST:: SOT 183620 SOS 64168 HAS SOPS 58206 HAS SOUS 45764 HAS SOUPS 40223 WITH SCORE 40287.168
AT ITER 6409 NEW BEST:: SOT 183618 SOS 63954 HAS SOPS 57992 HAS SOUS 45702 HAS SOUPS 40161 WITH SCORE 40224.954
AT ITER 6422 NEW BEST:: SOT 183614 SOS 63920 HAS SOPS 57958 HAS SOUS 45688 HAS SOUPS 40147 WITH SCORE 40210.92
AT ITER 6503 NEW BEST:: SOT 183604 SOS 63900 HAS SOPS 57938 HAS SOUS 45678 HAS SOUPS 40137 WITH SCORE 40200.9
AT ITER 6518 NEW BEST:: SOT 183464 SOS 63745 HAS SOPS 57783 HAS SOUS 45545 HAS SOUPS 40004 WITH SCORE 40067.745
AT ITER 6521 NEW BEST:: SOT 183512 SOS 63766 HAS SOPS 57804 HAS SOUS 45514 HAS SOUPS 39973 WITH SCORE 40036.766
AT ITER 6532 NEW BEST:: SOT 184417 SOS 64367 HAS SOPS 58405 HAS SOUS 45491 HAS SOUPS 39950 WITH SCORE 40014.367
AT ITER 6557 NEW BEST:: SOT 183724 SOS 63986 HAS SOPS 58024 HAS SOUS 45411 HAS SOUPS 39870 WITH SCORE 39933.986
AT ITER 6587 NEW BEST:: SOT 183699 SOS 63931 HAS SOPS 57969 HAS SOUS 45386 HAS SOUPS 39845 WITH SCORE 39908.931
AT ITER 6597 NEW BEST:: SOT 183253 SOS 63483 HAS SOPS 57521 HAS SOUS 45384 HAS SOUPS 39843 WITH SCORE 39906.483
AT ITER 6618 NEW BEST:: SOT 183256 SOS 63486 HAS SOPS 57516 HAS SOUS 45390 HAS SOUPS 39841 WITH SCORE 39904.486
AT ITER 6625 NEW BEST:: SOT 183244 SOS 63625 HAS SOPS 57417 HAS SOUS 45600 HAS SOUPS 39813 WITH SCORE 39876.625
AT ITER 6632 NEW BEST:: SOT 183148 SOS 63655 HAS SOPS 57447 HAS SOUS 45534 HAS SOUPS 39747 WITH SCORE 39810.655
AT ITER 6662 NEW BEST:: SOT 183104 SOS 63611 HAS SOPS 57403 HAS SOUS 45532 HAS SOUPS 39745 WITH SCORE 39808.611
AT ITER 6725 NEW BEST:: SOT 182950 SOS 63292 HAS SOPS 57084 HAS SOUS 45502 HAS SOUPS 39715 WITH SCORE 39778.292
AT ITER 6763 NEW BEST:: SOT 182912 SOS 63216 HAS SOPS 57008 HAS SOUS 45464 HAS SOUPS 39677 WITH SCORE 39740.216
AT ITER 6781 NEW BEST:: SOT 182909 SOS 63210 HAS SOPS 57002 HAS SOUS 45458 HAS SOUPS 39671 WITH SCORE 39734.21
AT ITER 6783 NEW BEST:: SOT 182901 SOS 63195 HAS SOPS 56969 HAS SOUS 45435 HAS SOUPS 39638 WITH SCORE 39701.195
AT ITER 6803 NEW BEST:: SOT 182898 SOS 63190 HAS SOPS 56964 HAS SOUS 45432 HAS SOUPS 39635 WITH SCORE 39698.19
AT ITER 6806 NEW BEST:: SOT 182898 SOS 63187 HAS SOPS 56964 HAS SOUS 45429 HAS SOUPS 39635 WITH SCORE 39698.187
AT ITER 6837 NEW BEST:: SOT 182867 SOS 63150 HAS SOPS 56927 HAS SOUS 45392 HAS SOUPS 39598 WITH SCORE 39661.15
AT ITER 6858 NEW BEST:: SOT 182834 SOS 63027 HAS SOPS 56860 HAS SOUS 45303 HAS SOUPS 39565 WITH SCORE 39628.027
AT ITER 6860 NEW BEST:: SOT 182830 SOS 63024 HAS SOPS 56857 HAS SOUS 45300 HAS SOUPS 39562 WITH SCORE 39625.024
AT ITER 6861 NEW BEST:: SOT 182824 SOS 63018 HAS SOPS 56851 HAS SOUS 45294 HAS SOUPS 39556 WITH SCORE 39619.018
AT ITER 6865 NEW BEST:: SOT 182634 SOS 62779 HAS SOPS 56612 HAS SOUS 45267 HAS SOUPS 39529 WITH SCORE 39591.779
AT ITER 6883 NEW BEST:: SOT 182629 SOS 62774 HAS SOPS 56609 HAS SOUS 45255 HAS SOUPS 39519 WITH SCORE 39581.774
AT ITER 6887 NEW BEST:: SOT 182611 SOS 62761 HAS SOPS 56600 HAS SOUS 45244 HAS SOUPS 39510 WITH SCORE 39572.761
AT ITER 6893 NEW BEST:: SOT 182611 SOS 62806 HAS SOPS 56645 HAS SOUS 45226 HAS SOUPS 39492 WITH SCORE 39554.806
AT ITER 6907 NEW BEST:: SOT 182570 SOS 62805 HAS SOPS 56644 HAS SOUS 45225 HAS SOUPS 39491 WITH SCORE 39553.805
AT ITER 6909 NEW BEST:: SOT 182448 SOS 62820 HAS SOPS 56628 HAS SOUS 45202 HAS SOUPS 39437 WITH SCORE 39499.82
AT ITER 6919 NEW BEST:: SOT 182448 SOS 62804 HAS SOPS 56612 HAS SOUS 45202 HAS SOUPS 39437 WITH SCORE 39499.804
AT ITER 6930 NEW BEST:: SOT 182358 SOS 62714 HAS SOPS 56522 HAS SOUS 45112 HAS SOUPS 39347 WITH SCORE 39409.714
AT ITER 6939 NEW BEST:: SOT 182371 SOS 62964 HAS SOPS 56680 HAS SOUS 45203 HAS SOUPS 39346 WITH SCORE 39408.964
AT ITER 6968 NEW BEST:: SOT 182371 SOS 62923 HAS SOPS 56639 HAS SOUS 45196 HAS SOUPS 39339 WITH SCORE 39401.923
AT ITER 7010 NEW BEST:: SOT 182344 SOS 62902 HAS SOPS 56615 HAS SOUS 45199 HAS SOUPS 39339 WITH SCORE 39401.902
AT ITER 7018 NEW BEST:: SOT 182312 SOS 62882 HAS SOPS 56595 HAS SOUS 45189 HAS SOUPS 39329 WITH SCORE 39391.882
AT ITER 7056 NEW BEST:: SOT 182174 SOS 62986 HAS SOPS 56699 HAS SOUS 45185 HAS SOUPS 39325 WITH SCORE 39387.986
AT ITER 7062 NEW BEST:: SOT 182190 SOS 62974 HAS SOPS 56687 HAS SOUS 45145 HAS SOUPS 39285 WITH SCORE 39347.974
AT ITER 7070 NEW BEST:: SOT 182258 SOS 63017 HAS SOPS 56665 HAS SOUS 45188 HAS SOUPS 39263 WITH SCORE 39326.017
AT ITER 7082 NEW BEST:: SOT 182257 SOS 63009 HAS SOPS 56657 HAS SOUS 45186 HAS SOUPS 39261 WITH SCORE 39324.009
AT ITER 7092 NEW BEST:: SOT 182217 SOS 62999 HAS SOPS 56608 HAS SOUS 45185 HAS SOUPS 39221 WITH SCORE 39283.999
AT ITER 7105 NEW BEST:: SOT 182175 SOS 62936 HAS SOPS 56524 HAS SOUS 45143 HAS SOUPS 39158 WITH SCORE 39220.936
AT ITER 7110 NEW BEST:: SOT 182143 SOS 62904 HAS SOPS 56492 HAS SOUS 45124 HAS SOUPS 39139 WITH SCORE 39201.904
AT ITER 7118 NEW BEST:: SOT 182141 SOS 62917 HAS SOPS 56505 HAS SOUS 45122 HAS SOUPS 39137 WITH SCORE 39199.917
AT ITER 7174 NEW BEST:: SOT 182122 SOS 62799 HAS SOPS 56387 HAS SOUS 45050 HAS SOUPS 39065 WITH SCORE 39127.799
AT ITER 7205 NEW BEST:: SOT 182104 SOS 62781 HAS SOPS 56351 HAS SOUS 45050 HAS SOUPS 39047 WITH SCORE 39109.781
AT ITER 7207 NEW BEST:: SOT 182097 SOS 62776 HAS SOPS 56346 HAS SOUS 45045 HAS SOUPS 39042 WITH SCORE 39104.776
AT ITER 7210 NEW BEST:: SOT 182090 SOS 62774 HAS SOPS 56344 HAS SOUS 45038 HAS SOUPS 39035 WITH SCORE 39097.774
AT ITER 7251 NEW BEST:: SOT 182049 SOS 62733 HAS SOPS 56303 HAS SOUS 44997 HAS SOUPS 38994 WITH SCORE 39056.733
AT ITER 7258 NEW BEST:: SOT 182151 SOS 62691 HAS SOPS 56261 HAS SOUS 44992 HAS SOUPS 38989 WITH SCORE 39051.691
AT ITER 7281 NEW BEST:: SOT 182107 SOS 62665 HAS SOPS 56235 HAS SOUS 44982 HAS SOUPS 38979 WITH SCORE 39041.665
AT ITER 7302 NEW BEST:: SOT 182126 SOS 62670 HAS SOPS 56240 HAS SOUS 44961 HAS SOUPS 38958 WITH SCORE 39020.67
AT ITER 7315 NEW BEST:: SOT 182118 SOS 62658 HAS SOPS 56228 HAS SOUS 44956 HAS SOUPS 38953 WITH SCORE 39015.658
AT ITER 7326 NEW BEST:: SOT 182118 SOS 62388 HAS SOPS 55958 HAS SOUS 44956 HAS SOUPS 38953 WITH SCORE 39015.388
AT ITER 7336 NEW BEST:: SOT 182022 SOS 62245 HAS SOPS 55813 HAS SOUS 44860 HAS SOUPS 38855 WITH SCORE 38917.245
AT ITER 7342 NEW BEST:: SOT 181895 SOS 62183 HAS SOPS 55751 HAS SOUS 44859 HAS SOUPS 38854 WITH SCORE 38916.183
AT ITER 7344 NEW BEST:: SOT 181895 SOS 62078 HAS SOPS 55681 HAS SOUS 44789 HAS SOUPS 38819 WITH SCORE 38881.078
AT ITER 7350 NEW BEST:: SOT 181895 SOS 62015 HAS SOPS 55618 HAS SOUS 44747 HAS SOUPS 38777 WITH SCORE 38839.015
AT ITER 7390 NEW BEST:: SOT 181869 SOS 61954 HAS SOPS 55557 HAS SOUS 44686 HAS SOUPS 38716 WITH SCORE 38777.954
AT ITER 7418 NEW BEST:: SOT 181863 SOS 61903 HAS SOPS 55542 HAS SOUS 44641 HAS SOUPS 38707 WITH SCORE 38768.903
AT ITER 7448 NEW BEST:: SOT 181852 SOS 61892 HAS SOPS 55531 HAS SOUS 44630 HAS SOUPS 38696 WITH SCORE 38757.892
AT ITER 7450 NEW BEST:: SOT 181896 SOS 61898 HAS SOPS 55537 HAS SOUS 44599 HAS SOUPS 38665 WITH SCORE 38726.898
AT ITER 7462 NEW BEST:: SOT 181802 SOS 61804 HAS SOPS 55443 HAS SOUS 44558 HAS SOUPS 38624 WITH SCORE 38685.804
AT ITER 7468 NEW BEST:: SOT 181802 SOS 61757 HAS SOPS 55396 HAS SOUS 44558 HAS SOUPS 38624 WITH SCORE 38685.757
AT ITER 7479 NEW BEST:: SOT 181800 SOS 61759 HAS SOPS 55398 HAS SOUS 44556 HAS SOUPS 38622 WITH SCORE 38683.759
AT ITER 7504 NEW BEST:: SOT 181785 SOS 61744 HAS SOPS 55383 HAS SOUS 44541 HAS SOUPS 38607 WITH SCORE 38668.744
AT ITER 7514 NEW BEST:: SOT 181785 SOS 61747 HAS SOPS 55386 HAS SOUS 44519 HAS SOUPS 38585 WITH SCORE 38646.747
AT ITER 7518 NEW BEST:: SOT 181779 SOS 61745 HAS SOPS 55380 HAS SOUS 44521 HAS SOUPS 38583 WITH SCORE 38644.745
AT ITER 7552 NEW BEST:: SOT 181741 SOS 61651 HAS SOPS 55342 HAS SOUS 44389 HAS SOUPS 38507 WITH SCORE 38568.651
AT ITER 7563 NEW BEST:: SOT 181741 SOS 61637 HAS SOPS 55328 HAS SOUS 44362 HAS SOUPS 38480 WITH SCORE 38541.637
AT ITER 7571 NEW BEST:: SOT 181642 SOS 61502 HAS SOPS 55202 HAS SOUS 44328 HAS SOUPS 38455 WITH SCORE 38516.502
AT ITER 7583 NEW BEST:: SOT 181639 SOS 61314 HAS SOPS 55014 HAS SOUS 44274 HAS SOUPS 38401 WITH SCORE 38462.314
AT ITER 7595 NEW BEST:: SOT 181639 SOS 61283 HAS SOPS 54983 HAS SOUS 44243 HAS SOUPS 38370 WITH SCORE 38431.283
AT ITER 7616 NEW BEST:: SOT 181616 SOS 61214 HAS SOPS 54937 HAS SOUS 44197 HAS SOUPS 38347 WITH SCORE 38408.214
AT ITER 7632 NEW BEST:: SOT 181616 SOS 61107 HAS SOPS 54837 HAS SOUS 44183 HAS SOUPS 38340 WITH SCORE 38401.107
AT ITER 7635 NEW BEST:: SOT 181605 SOS 61099 HAS SOPS 54816 HAS SOUS 44186 HAS SOUPS 38330 WITH SCORE 38391.099
AT ITER 7665 NEW BEST:: SOT 181618 SOS 61079 HAS SOPS 54796 HAS SOUS 44161 HAS SOUPS 38305 WITH SCORE 38366.079
AT ITER 7678 NEW BEST:: SOT 181742 SOS 60867 HAS SOPS 54584 HAS SOUS 44133 HAS SOUPS 38277 WITH SCORE 38337.867
AT ITER 7688 NEW BEST:: SOT 181631 SOS 60711 HAS SOPS 54428 HAS SOUS 44110 HAS SOUPS 38254 WITH SCORE 38314.711
AT ITER 7718 NEW BEST:: SOT 181601 SOS 60621 HAS SOPS 54353 HAS SOUS 44065 HAS SOUPS 38224 WITH SCORE 38284.621
AT ITER 7743 NEW BEST:: SOT 181665 SOS 60557 HAS SOPS 54289 HAS SOUS 44065 HAS SOUPS 38224 WITH SCORE 38284.557
AT ITER 7765 NEW BEST:: SOT 181665 SOS 60557 HAS SOPS 54289 HAS SOUS 44046 HAS SOUPS 38205 WITH SCORE 38265.557
AT ITER 7794 NEW BEST:: SOT 181774 SOS 60459 HAS SOPS 54418 HAS SOUS 43811 HAS SOUPS 38197 WITH SCORE 38257.459
AT ITER 7799 NEW BEST:: SOT 181774 SOS 60439 HAS SOPS 54398 HAS SOUS 43791 HAS SOUPS 38177 WITH SCORE 38237.439
AT ITER 7818 NEW BEST:: SOT 181772 SOS 60363 HAS SOPS 54322 HAS SOUS 43772 HAS SOUPS 38158 WITH SCORE 38218.363
AT ITER 7845 NEW BEST:: SOT 181744 SOS 60355 HAS SOPS 54266 HAS SOUS 43773 HAS SOUPS 38111 WITH SCORE 38171.355
AT ITER 7853 NEW BEST:: SOT 181689 SOS 60200 HAS SOPS 54111 HAS SOUS 43718 HAS SOUPS 38056 WITH SCORE 38116.2
AT ITER 7855 NEW BEST:: SOT 181689 SOS 60189 HAS SOPS 54100 HAS SOUS 43707 HAS SOUPS 38045 WITH SCORE 38105.189
AT ITER 7901 NEW BEST:: SOT 181665 SOS 60033 HAS SOPS 53944 HAS SOUS 43705 HAS SOUPS 38043 WITH SCORE 38103.033
AT ITER 7905 NEW BEST:: SOT 181647 SOS 59916 HAS SOPS 53872 HAS SOUS 43633 HAS SOUPS 38016 WITH SCORE 38075.916
AT ITER 7941 NEW BEST:: SOT 181638 SOS 59926 HAS SOPS 53882 HAS SOUS 43615 HAS SOUPS 37998 WITH SCORE 38057.926
AT ITER 7948 NEW BEST:: SOT 181707 SOS 59995 HAS SOPS 53951 HAS SOUS 43613 HAS SOUPS 37996 WITH SCORE 38055.995
AT ITER 7967 NEW BEST:: SOT 181699 SOS 59987 HAS SOPS 53943 HAS SOUS 43605 HAS SOUPS 37988 WITH SCORE 38047.987
AT ITER 7988 NEW BEST:: SOT 181563 SOS 59855 HAS SOPS 53811 HAS SOUS 43571 HAS SOUPS 37954 WITH SCORE 38013.855
AT ITER 8003 NEW BEST:: SOT 181559 SOS 59847 HAS SOPS 53803 HAS SOUS 43563 HAS SOUPS 37946 WITH SCORE 38005.847
AT ITER 8031 NEW BEST:: SOT 181549 SOS 59837 HAS SOPS 53783 HAS SOUS 43563 HAS SOUPS 37936 WITH SCORE 37995.837
AT ITER 8032 NEW BEST:: SOT 181549 SOS 59746 HAS SOPS 53734 HAS SOUS 43514 HAS SOUPS 37929 WITH SCORE 37988.746
AT ITER 8056 NEW BEST:: SOT 181509 SOS 59706 HAS SOPS 53694 HAS SOUS 43460 HAS SOUPS 37875 WITH SCORE 37934.706
AT ITER 8121 NEW BEST:: SOT 181463 SOS 59573 HAS SOPS 53602 HAS SOUS 43394 HAS SOUPS 37829 WITH SCORE 37888.573
AT ITER 8143 NEW BEST:: SOT 181458 SOS 59581 HAS SOPS 53603 HAS SOUS 43399 HAS SOUPS 37827 WITH SCORE 37886.581
AT ITER 8237 NEW BEST:: SOT 181388 SOS 59471 HAS SOPS 53528 HAS SOUS 43324 HAS SOUPS 37787 WITH SCORE 37846.471
AT ITER 8243 NEW BEST:: SOT 181452 SOS 59532 HAS SOPS 53589 HAS SOUS 43312 HAS SOUPS 37775 WITH SCORE 37834.532
AT ITER 8265 NEW BEST:: SOT 181467 SOS 59451 HAS SOPS 53508 HAS SOUS 43231 HAS SOUPS 37694 WITH SCORE 37753.451
AT ITER 8325 NEW BEST:: SOT 181457 SOS 59446 HAS SOPS 53498 HAS SOUS 43226 HAS SOUPS 37684 WITH SCORE 37743.446
AT ITER 8367 NEW BEST:: SOT 181457 SOS 59412 HAS SOPS 53464 HAS SOUS 43226 HAS SOUPS 37684 WITH SCORE 37743.412
AT ITER 8369 NEW BEST:: SOT 181472 SOS 59427 HAS SOPS 53456 HAS SOUS 43241 HAS SOUPS 37676 WITH SCORE 37735.427
AT ITER 8395 NEW BEST:: SOT 181568 SOS 59656 HAS SOPS 53577 HAS SOUS 43279 HAS SOUPS 37641 WITH SCORE 37700.656
AT ITER 8401 NEW BEST:: SOT 181580 SOS 59634 HAS SOPS 53555 HAS SOUS 43276 HAS SOUPS 37638 WITH SCORE 37697.634
AT ITER 8407 NEW BEST:: SOT 181572 SOS 59610 HAS SOPS 53531 HAS SOUS 43260 HAS SOUPS 37622 WITH SCORE 37681.61
AT ITER 8408 NEW BEST:: SOT 181568 SOS 59758 HAS SOPS 53585 HAS SOUS 43351 HAS SOUPS 37619 WITH SCORE 37678.758
AT ITER 8429 NEW BEST:: SOT 181490 SOS 59643 HAS SOPS 53470 HAS SOUS 43275 HAS SOUPS 37543 WITH SCORE 37602.643
AT ITER 8431 NEW BEST:: SOT 181701 SOS 59634 HAS SOPS 53687 HAS SOUS 43040 HAS SOUPS 37534 WITH SCORE 37593.634
AT ITER 8445 NEW BEST:: SOT 181685 SOS 59602 HAS SOPS 53655 HAS SOUS 43040 HAS SOUPS 37534 WITH SCORE 37593.602
AT ITER 8446 NEW BEST:: SOT 181643 SOS 59560 HAS SOPS 53613 HAS SOUS 43019 HAS SOUPS 37513 WITH SCORE 37572.56
AT ITER 8449 NEW BEST:: SOT 181624 SOS 59541 HAS SOPS 53594 HAS SOUS 43007 HAS SOUPS 37501 WITH SCORE 37560.541
AT ITER 8451 NEW BEST:: SOT 181591 SOS 59475 HAS SOPS 53528 HAS SOUS 43001 HAS SOUPS 37495 WITH SCORE 37554.475
AT ITER 8466 NEW BEST:: SOT 181583 SOS 59467 HAS SOPS 53520 HAS SOUS 43001 HAS SOUPS 37495 WITH SCORE 37554.467
AT ITER 8480 NEW BEST:: SOT 181574 SOS 59440 HAS SOPS 53495 HAS SOUS 42999 HAS SOUPS 37494 WITH SCORE 37553.44
AT ITER 8501 NEW BEST:: SOT 181517 SOS 59378 HAS SOPS 53433 HAS SOUS 42968 HAS SOUPS 37463 WITH SCORE 37522.378
AT ITER 8503 NEW BEST:: SOT 181459 SOS 59342 HAS SOPS 53397 HAS SOUS 42910 HAS SOUPS 37405 WITH SCORE 37464.342
AT ITER 8507 NEW BEST:: SOT 181455 SOS 59267 HAS SOPS 53363 HAS SOUS 42824 HAS SOUPS 37360 WITH SCORE 37419.267
AT ITER 8509 NEW BEST:: SOT 181451 SOS 59261 HAS SOPS 53357 HAS SOUS 42820 HAS SOUPS 37356 WITH SCORE 37415.261
AT ITER 8512 NEW BEST:: SOT 181451 SOS 59261 HAS SOPS 53339 HAS SOUS 42820 HAS SOUPS 37338 WITH SCORE 37397.261
AT ITER 8517 NEW BEST:: SOT 181451 SOS 59192 HAS SOPS 53270 HAS SOUS 42820 HAS SOUPS 37338 WITH SCORE 37397.192
AT ITER 8532 NEW BEST:: SOT 181375 SOS 59116 HAS SOPS 53118 HAS SOUS 42869 HAS SOUPS 37311 WITH SCORE 37370.116
AT ITER 8537 NEW BEST:: SOT 181375 SOS 59089 HAS SOPS 53091 HAS SOUS 42869 HAS SOUPS 37311 WITH SCORE 37370.089
AT ITER 8548 NEW BEST:: SOT 181237 SOS 58945 HAS SOPS 52901 HAS SOUS 42857 HAS SOUPS 37253 WITH SCORE 37311.945
AT ITER 8581 NEW BEST:: SOT 181189 SOS 58838 HAS SOPS 52794 HAS SOUS 42798 HAS SOUPS 37194 WITH SCORE 37252.838
AT ITER 8607 NEW BEST:: SOT 181186 SOS 58832 HAS SOPS 52788 HAS SOUS 42795 HAS SOUPS 37191 WITH SCORE 37249.832
AT ITER 8642 NEW BEST:: SOT 181025 SOS 58580 HAS SOPS 52536 HAS SOUS 42667 HAS SOUPS 37063 WITH SCORE 37121.58
AT ITER 8652 NEW BEST:: SOT 181063 SOS 58624 HAS SOPS 52580 HAS SOUS 42654 HAS SOUPS 37050 WITH SCORE 37108.624
AT ITER 8658 NEW BEST:: SOT 181017 SOS 58615 HAS SOPS 52571 HAS SOUS 42648 HAS SOUPS 37044 WITH SCORE 37102.615
AT ITER 8661 NEW BEST:: SOT 181009 SOS 58584 HAS SOPS 52540 HAS SOUS 42617 HAS SOUPS 37013 WITH SCORE 37071.584
AT ITER 8663 NEW BEST:: SOT 181009 SOS 58561 HAS SOPS 52494 HAS SOUS 42594 HAS SOUPS 36990 WITH SCORE 37048.561
AT ITER 8668 NEW BEST:: SOT 181057 SOS 58698 HAS SOPS 52631 HAS SOUS 42584 HAS SOUPS 36980 WITH SCORE 37038.698
AT ITER 8682 NEW BEST:: SOT 181057 SOS 58698 HAS SOPS 52631 HAS SOUS 42581 HAS SOUPS 36977 WITH SCORE 37035.698
AT ITER 8689 NEW BEST:: SOT 180999 SOS 58640 HAS SOPS 52603 HAS SOUS 42528 HAS SOUPS 36954 WITH SCORE 37012.64
AT ITER 8724 NEW BEST:: SOT 181000 SOS 58641 HAS SOPS 52604 HAS SOUS 42526 HAS SOUPS 36952 WITH SCORE 37010.641
AT ITER 8735 NEW BEST:: SOT 180997 SOS 58638 HAS SOPS 52604 HAS SOUS 42523 HAS SOUPS 36952 WITH SCORE 37010.638
AT ITER 8758 NEW BEST:: SOT 180277 SOS 57963 HAS SOPS 51929 HAS SOUS 42514 HAS SOUPS 36943 WITH SCORE 37000.963
AT ITER 8771 NEW BEST:: SOT 180256 SOS 57967 HAS SOPS 51911 HAS SOUS 42504 HAS SOUPS 36911 WITH SCORE 36968.967
AT ITER 8794 NEW BEST:: SOT 180237 SOS 57920 HAS SOPS 51864 HAS SOUS 42432 HAS SOUPS 36839 WITH SCORE 36896.92
AT ITER 8814 NEW BEST:: SOT 180239 SOS 57901 HAS SOPS 51845 HAS SOUS 42427 HAS SOUPS 36834 WITH SCORE 36891.901
AT ITER 8821 NEW BEST:: SOT 180239 SOS 57894 HAS SOPS 51845 HAS SOUS 42420 HAS SOUPS 36834 WITH SCORE 36891.894
AT ITER 8840 NEW BEST:: SOT 180239 SOS 57852 HAS SOPS 51803 HAS SOUS 42378 HAS SOUPS 36792 WITH SCORE 36849.852
AT ITER 8893 NEW BEST:: SOT 180150 SOS 57756 HAS SOPS 51707 HAS SOUS 42367 HAS SOUPS 36781 WITH SCORE 36838.756
AT ITER 8897 NEW BEST:: SOT 180031 SOS 57711 HAS SOPS 51662 HAS SOUS 42282 HAS SOUPS 36696 WITH SCORE 36753.711
AT ITER 8908 NEW BEST:: SOT 180006 SOS 57688 HAS SOPS 51639 HAS SOUS 42241 HAS SOUPS 36655 WITH SCORE 36712.688
AT ITER 8917 NEW BEST:: SOT 180006 SOS 57664 HAS SOPS 51615 HAS SOUS 42241 HAS SOUPS 36655 WITH SCORE 36712.664
AT ITER 8928 NEW BEST:: SOT 179986 SOS 57624 HAS SOPS 51575 HAS SOUS 42221 HAS SOUPS 36635 WITH SCORE 36692.624
AT ITER 8931 NEW BEST:: SOT 180109 SOS 57737 HAS SOPS 51688 HAS SOUS 42219 HAS SOUPS 36633 WITH SCORE 36690.737
AT ITER 9003 NEW BEST:: SOT 180105 SOS 57729 HAS SOPS 51680 HAS SOUS 42219 HAS SOUPS 36633 WITH SCORE 36690.729
AT ITER 9024 NEW BEST:: SOT 180075 SOS 58173 HAS SOPS 52063 HAS SOUS 42225 HAS SOUPS 36606 WITH SCORE 36664.173
AT ITER 9033 NEW BEST:: SOT 180069 SOS 58234 HAS SOPS 51990 HAS SOUS 42219 HAS SOUPS 36533 WITH SCORE 36591.234
AT ITER 9038 NEW BEST:: SOT 180321 SOS 58453 HAS SOPS 52209 HAS SOUS 42151 HAS SOUPS 36465 WITH SCORE 36523.453
AT ITER 9041 NEW BEST:: SOT 180339 SOS 58489 HAS SOPS 52245 HAS SOUS 42147 HAS SOUPS 36461 WITH SCORE 36519.489
AT ITER 9047 NEW BEST:: SOT 180311 SOS 58387 HAS SOPS 52143 HAS SOUS 42119 HAS SOUPS 36433 WITH SCORE 36491.387
AT ITER 9068 NEW BEST:: SOT 180303 SOS 58382 HAS SOPS 52138 HAS SOUS 42114 HAS SOUPS 36428 WITH SCORE 36486.382
AT ITER 9077 NEW BEST:: SOT 180279 SOS 58358 HAS SOPS 52114 HAS SOUS 42101 HAS SOUPS 36415 WITH SCORE 36473.358
AT ITER 9108 NEW BEST:: SOT 180272 SOS 58351 HAS SOPS 52107 HAS SOUS 42101 HAS SOUPS 36415 WITH SCORE 36473.351
AT ITER 9185 NEW BEST:: SOT 180242 SOS 58324 HAS SOPS 52077 HAS SOUS 42085 HAS SOUPS 36399 WITH SCORE 36457.324
AT ITER 9200 NEW BEST:: SOT 180134 SOS 58216 HAS SOPS 51969 HAS SOUS 42049 HAS SOUPS 36363 WITH SCORE 36421.216
AT ITER 9206 NEW BEST:: SOT 180134 SOS 58219 HAS SOPS 51972 HAS SOUS 42045 HAS SOUPS 36359 WITH SCORE 36417.219
AT ITER 9247 NEW BEST:: SOT 180131 SOS 58154 HAS SOPS 51907 HAS SOUS 42032 HAS SOUPS 36346 WITH SCORE 36404.154
AT ITER 9261 NEW BEST:: SOT 180170 SOS 57562 HAS SOPS 51383 HAS SOUS 41959 HAS SOUPS 36313 WITH SCORE 36370.562
AT ITER 9267 NEW BEST:: SOT 180165 SOS 57547 HAS SOPS 51373 HAS SOUS 41949 HAS SOUPS 36308 WITH SCORE 36365.547
AT ITER 9268 NEW BEST:: SOT 180111 SOS 57493 HAS SOPS 51319 HAS SOUS 41895 HAS SOUPS 36254 WITH SCORE 36311.493
AT ITER 9291 NEW BEST:: SOT 180264 SOS 57491 HAS SOPS 51442 HAS SOUS 41724 HAS SOUPS 36208 WITH SCORE 36265.491
AT ITER 9330 NEW BEST:: SOT 180221 SOS 57426 HAS SOPS 51377 HAS SOUS 41709 HAS SOUPS 36193 WITH SCORE 36250.426
AT ITER 9337 NEW BEST:: SOT 180193 SOS 57398 HAS SOPS 51349 HAS SOUS 41709 HAS SOUPS 36193 WITH SCORE 36250.398
AT ITER 9369 NEW BEST:: SOT 180189 SOS 57392 HAS SOPS 51343 HAS SOUS 41705 HAS SOUPS 36189 WITH SCORE 36246.392
AT ITER 9382 NEW BEST:: SOT 180178 SOS 57393 HAS SOPS 51344 HAS SOUS 41703 HAS SOUPS 36187 WITH SCORE 36244.393
AT ITER 9395 NEW BEST:: SOT 180189 SOS 57370 HAS SOPS 51321 HAS SOUS 41680 HAS SOUPS 36164 WITH SCORE 36221.37
AT ITER 9409 NEW BEST:: SOT 180173 SOS 57343 HAS SOPS 51294 HAS SOUS 41653 HAS SOUPS 36137 WITH SCORE 36194.343
AT ITER 9411 NEW BEST:: SOT 180155 SOS 57325 HAS SOPS 51258 HAS SOUS 41671 HAS SOUPS 36137 WITH SCORE 36194.325
AT ITER 9426 NEW BEST:: SOT 180161 SOS 57316 HAS SOPS 51249 HAS SOUS 41671 HAS SOUPS 36137 WITH SCORE 36194.316
AT ITER 9496 NEW BEST:: SOT 180024 SOS 56809 HAS SOPS 50742 HAS SOUS 41346 HAS SOUPS 35812 WITH SCORE 35868.809
AT ITER 9532 NEW BEST:: SOT 180090 SOS 56894 HAS SOPS 50827 HAS SOUS 41337 HAS SOUPS 35803 WITH SCORE 35859.894
AT ITER 9585 NEW BEST:: SOT 180084 SOS 56884 HAS SOPS 50817 HAS SOUS 41331 HAS SOUPS 35797 WITH SCORE 35853.884
AT ITER 9606 NEW BEST:: SOT 180029 SOS 56817 HAS SOPS 50750 HAS SOUS 41273 HAS SOUPS 35739 WITH SCORE 35795.817
AT ITER 9609 NEW BEST:: SOT 180029 SOS 56799 HAS SOPS 50732 HAS SOUS 41255 HAS SOUPS 35721 WITH SCORE 35777.799
AT ITER 9623 NEW BEST:: SOT 180053 SOS 56779 HAS SOPS 50712 HAS SOUS 41229 HAS SOUPS 35695 WITH SCORE 35751.779
AT ITER 9636 NEW BEST:: SOT 180053 SOS 56779 HAS SOPS 50702 HAS SOUS 41229 HAS SOUPS 35685 WITH SCORE 35741.779
AT ITER 9647 NEW BEST:: SOT 180031 SOS 56872 HAS SOPS 50795 HAS SOUS 41215 HAS SOUPS 35671 WITH SCORE 35727.872
AT ITER 9656 NEW BEST:: SOT 180020 SOS 56850 HAS SOPS 50773 HAS SOUS 41213 HAS SOUPS 35669 WITH SCORE 35725.85
AT ITER 9663 NEW BEST:: SOT 179970 SOS 56566 HAS SOPS 50489 HAS SOUS 41083 HAS SOUPS 35539 WITH SCORE 35595.566
AT ITER 9682 NEW BEST:: SOT 179958 SOS 56554 HAS SOPS 50471 HAS SOUS 41083 HAS SOUPS 35533 WITH SCORE 35589.554
AT ITER 9717 NEW BEST:: SOT 179958 SOS 56528 HAS SOPS 50445 HAS SOUS 41057 HAS SOUPS 35507 WITH SCORE 35563.528
AT ITER 9767 NEW BEST:: SOT 180192 SOS 56835 HAS SOPS 50752 HAS SOUS 41046 HAS SOUPS 35496 WITH SCORE 35552.835
AT ITER 9797 NEW BEST:: SOT 180092 SOS 56720 HAS SOPS 50637 HAS SOUS 41031 HAS SOUPS 35481 WITH SCORE 35537.72
AT ITER 9844 NEW BEST:: SOT 180081 SOS 56712 HAS SOPS 50629 HAS SOUS 41023 HAS SOUPS 35473 WITH SCORE 35529.712
AT ITER 9926 NEW BEST:: SOT 180071 SOS 56702 HAS SOPS 50609 HAS SOUS 41013 HAS SOUPS 35453 WITH SCORE 35509.702
AT ITER 9933 NEW BEST:: SOT 180049 SOS 56658 HAS SOPS 50587 HAS SOUS 40969 HAS SOUPS 35431 WITH SCORE 35487.658
AT ITER 9954 NEW BEST:: SOT 180040 SOS 56643 HAS SOPS 50572 HAS SOUS 40960 HAS SOUPS 35422 WITH SCORE 35478.643
AT ITER 9977 NEW BEST:: SOT 180040 SOS 56643 HAS SOPS 50572 HAS SOUS 40959 HAS SOUPS 35421 WITH SCORE 35477.643
AT ITER 9989 NEW BEST:: SOT 180040 SOS 56640 HAS SOPS 50570 HAS SOUS 40958 HAS SOUPS 35421 WITH SCORE 35477.64
AT ITER 9998 NEW BEST:: SOT 179937 SOS 56594 HAS SOPS 50524 HAS SOUS 40879 HAS SOUPS 35342 WITH SCORE 35398.594
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3143104 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122188 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="Parking-PT-432"
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 Parking-PT-432, 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 r267-smll-167863541800440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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