About the Execution of ITS-Tools for Philosophers-COL-002000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 222907.00 | 0.00 | 0.00 | ???????????T???? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r268-smll-171654407600444.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool itstools
Input is Philosophers-COL-002000, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-171654407600444
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 5.7K Apr 13 12:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Apr 13 12:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Apr 13 11:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Apr 13 11:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.8K May 18 16:43 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K Apr 23 07:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 23 07:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 23 07:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 23 07:43 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Apr 13 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K Apr 13 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Apr 13 15:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Apr 13 15:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 23 07:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 23 07:43 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:43 equiv_pt
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 5 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 96K May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Philosophers-COL-002000-LTLFireability-00
FORMULA_NAME Philosophers-COL-002000-LTLFireability-01
FORMULA_NAME Philosophers-COL-002000-LTLFireability-02
FORMULA_NAME Philosophers-COL-002000-LTLFireability-03
FORMULA_NAME Philosophers-COL-002000-LTLFireability-04
FORMULA_NAME Philosophers-COL-002000-LTLFireability-05
FORMULA_NAME Philosophers-COL-002000-LTLFireability-06
FORMULA_NAME Philosophers-COL-002000-LTLFireability-07
FORMULA_NAME Philosophers-COL-002000-LTLFireability-08
FORMULA_NAME Philosophers-COL-002000-LTLFireability-09
FORMULA_NAME Philosophers-COL-002000-LTLFireability-10
FORMULA_NAME Philosophers-COL-002000-LTLFireability-11
FORMULA_NAME Philosophers-COL-002000-LTLFireability-12
FORMULA_NAME Philosophers-COL-002000-LTLFireability-13
FORMULA_NAME Philosophers-COL-002000-LTLFireability-14
FORMULA_NAME Philosophers-COL-002000-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1716884395958
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Philosophers-COL-002000
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is COL
LTLFireability COL
Running Version 202405141337
[2024-05-28 08:19:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-28 08:19:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-28 08:19:58] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2024-05-28 08:19:59] [WARNING] Using fallBack plugin, rng conformance not checked
[2024-05-28 08:19:59] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1026 ms
[2024-05-28 08:19:59] [INFO ] Imported 5 HL places and 5 HL transitions for a total of 10000 PT places and 10000.0 transition bindings in 33 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 15 ms.
Working with output stream class java.io.PrintStream
[2024-05-28 08:19:59] [INFO ] Built PT skeleton of HLPN with 5 places and 5 transitions 15 arcs in 20 ms.
[2024-05-28 08:19:59] [INFO ] Skeletonized 16 HLPN properties in 2 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Remains 6 properties that can be checked using skeleton over-approximation.
Computed a total of 0 stabilizing places and 0 stable transitions
RANDOM walk for 40036 steps (16 resets) in 134 ms. (296 steps per ms) remains 2/4 properties
BEST_FIRST walk for 28 steps (0 resets) in 5 ms. (4 steps per ms) remains 0/2 properties
[2024-05-28 08:19:59] [INFO ] Flatten gal took : 23 ms
[2024-05-28 08:19:59] [INFO ] Flatten gal took : 3 ms
Arc [1:1*[(MOD (ADD (MOD (MINUS $x 1) 2000) 2000) 2000)]] contains successor/predecessor on variables of sort Philo
[2024-05-28 08:20:00] [INFO ] Unfolded HLPN to a Petri net with 10000 places and 10000 transitions 32000 arcs in 291 ms.
[2024-05-28 08:20:00] [INFO ] Unfolded 16 HLPN properties in 22 ms.
Initial state reduction rules removed 1 formulas.
FORMULA Philosophers-COL-002000-LTLFireability-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 10000 out of 10000 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 10000/10000 places, 10000/10000 transitions.
Applied a total of 0 rules in 82 ms. Remains 10000 /10000 variables (removed 0) and now considering 10000/10000 (removed 0) transitions.
// Phase 1: matrix 10000 rows 10000 cols
[2024-05-28 08:20:03] [INFO ] Computed 4000 invariants in 149 ms
[2024-05-28 08:20:07] [INFO ] Implicit Places using invariants in 4640 ms returned []
Implicit Place search using SMT only with invariants took 4691 ms to find 0 implicit places.
Running 6000 sub problems to find dead transitions.
[2024-05-28 08:20:08] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/8000 variables, 2000/2000 constraints. Problems are: Problem set: 0 solved, 6000 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 8000/20000 variables, and 2000 constraints, problems are : Problem set: 0 solved, 6000 unsolved in 30339 ms.
Refiners :[Positive P Invariants (semi-flows): 2000/4000 constraints, State Equation: 0/10000 constraints, PredecessorRefiner: 6000/6000 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6000 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/8000 variables, 2000/2000 constraints. Problems are: Problem set: 0 solved, 6000 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 8000/20000 variables, and 2000 constraints, problems are : Problem set: 0 solved, 6000 unsolved in 30143 ms.
Refiners :[Positive P Invariants (semi-flows): 2000/4000 constraints, State Equation: 0/10000 constraints, PredecessorRefiner: 0/6000 constraints, Known Traps: 0/0 constraints]
After SMT, in 67621ms problems are : Problem set: 0 solved, 6000 unsolved
Search for dead transitions found 0 dead transitions in 67819ms
Finished structural reductions in LTL mode , in 1 iterations and 72668 ms. Remains : 10000/10000 places, 10000/10000 transitions.
Support contains 10000 out of 10000 places after structural reductions.
[2024-05-28 08:21:17] [INFO ] Flatten gal took : 1002 ms
[2024-05-28 08:21:21] [INFO ] Flatten gal took : 927 ms
[2024-05-28 08:21:25] [INFO ] Input system was already deterministic with 10000 transitions.
Reduction of identical properties reduced properties to check from 12 to 9
RANDOM walk for 40000 steps (8 resets) in 20890 ms. (1 steps per ms) remains 4/9 properties
BEST_FIRST walk for 20012 steps (4 resets) in 20335 ms. (0 steps per ms) remains 4/4 properties
BEST_FIRST walk for 36020 steps (8 resets) in 20811 ms. (1 steps per ms) remains 4/4 properties
BEST_FIRST walk for 36020 steps (8 resets) in 20527 ms. (1 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 21351 ms. (1 steps per ms) remains 4/4 properties
[2024-05-28 08:21:52] [INFO ] Invariant cache hit.
Error getting values : (error "ParserException while parsing response: ((s0 0.0)
(s1 1.0)
(s2 (/ 1.0 2.0))
(s3 1.0)
(s4 (/ 1.0 2.0))
(s5 1.0)
(s6 (/ 1.0 2.0))
(s7 1.0)
(s8 (/ 1.0 2.0))
(s9 1.0)
(s10 (/ 1.0 2.0))
(s11 1.0)
(s12 (/ 1.0 2.0))
(s13 0.0)
(s14 1.0)
(s15 0.0)
(s16 1.0)
(s17 (/ 1.0 2.0))
(s18 1.0)
(s19 (/ 1.0 2.0))
(s20 1.0)
(s21 (/ 1.0 2.0))
(s22 1.0)
(s23 (/ 1.0 2.0))
(s24 1.0)
(s25 (/ 1.0 2.0))
(s26 1.0)
(s27 (/ 1.0 2.0))
(s28 1.0)
(s29 (/ 1.0 2.0))
(s30 1.0)
(s31 (/ 1.0 2.0))
(s32 1.0)
(s33 (/ 1.0 2.0))
(s34 1.0)
(s35 (/ 1.0 2.0))
(s36 1.0)
(s37 0.0)
(s38 (/ 1.0 2.0))
(s39 1.0)
(s40 (/ 1.0 2.0))
(s41 1.0)
(s42 (/ 1.0 2.0))
(s43 1.0)
(s44 (/ 1.0 2.0))
(s45 (/ 1.0 2.0))
(s46 1.0)
(s47 (/ 1.0 2.0))
(s48 (/ 1.0 2.0))
(s49 1.0)
(s50 (/ 1.0 2.0))
(s51 1.0)
(s52 (/ 1.0 2.0))
(s53 1.0)
(s54 (/ 1.0 2.0))
(s55 1.0)
(s56 0.0)
(s57 1.0)
(s58 (/ 1.0 2.0))
(s59 (/ 1.0 2.0))
(s60 1.0)
(s61 (/ 1.0 2.0))
(s62 (/ 1.0 2.0))
(s63 1.0)
(s64 0.0)
(s65 (/ 1.0 2.0))
(s66 1.0)
(s67 (/ 1.0 2.0))
(s68 (/ 1.0 2.0))
(s69 1.0)
(s70 (/ 1.0 2.0))
(s71 1.0)
(s72 (/ 1.0 2.0))
(s73 1.0)
(s74 (/ 1.0 2.0))
(s75 (/ 1.0 2.0))
(s76 1.0)
(s77 (/ 1.0 2.0))
(s78 (/ 1.0 2.0))
(s79 1.0)
(s80 (/ 1.0 2.0))
(s81 (/ 1.0 2.0))
(s82 1.0)
(s83 0.0)
(s84 1.0)
(s85 (/ 1.0 2.0))
(s86 1.0)
(s87 (/ 1.0 2.0))
(s88 1.0)
(s89 (/ 1.0 2.0))
(s90 0.0)
(s91 1.0)
(s92 (/ 1.0 2.0))
(s93 (/ 1.0 2.0))
(s94 1.0)
(s95 (/ 1.0 2.0))
(s96 (/ 1.0 2.0))
(s97 1.0)
(s98 (/ 1.0 2.0))
(s99 1.0)
(s100 0.0)
(s101 1.0)
(s102 0.0)
(s103 1.0)
(s104 0.0)
(s105 (/ 1.0 2.0))
(s106 1.0)
(s107 (/ 1.0 2.0))
(s108 1.0)
(s109 (/ 1.0 2.0))
(s110 1.0)
(s111 (/ 1.0 2.0))
(s112 (/ 1.0 2.0))
(s113 1.0)
(s114 (/ 1.0 2.0))
(s115 1.0)
(s116 (/ 1.0 2.0))
(s117 (/ 1.0 2.0))
(s118 1.0)
(s119 (/ 1.0 2.0))
(s120 (/ 1.0 2.0))
(s121 1.0)
(s122 (/ 1.0 2.0))
(s123 (/ 1.0 2.0))
(s124 1.0)
(s125 (/ 1.0 2.0))
(s126 1.0)
(s127 (/ 1.0 2.0))
(s128 (/ 1.0 2.0))
(s129 1.0)
(s130 (/ 1.0 2.0))
(s131 1.0)
(s132 (/ 1.0 2.0))
(s133 1.0)
(s134 (/ 1.0 2.0))
(s135 1.0)
(s136 (/ 1.0 2.0))
(s137 1.0)
(s138 0.0)
(s139 1.0)
(s140 0.0)
(s141 (/ 1.0 2.0))
(s142 1.0)
(s143 (/ 1.0 2.0))
(s144 1.0)
(s145 (/ 1.0 2.0))
(s146 1.0)
(s147 (/ 1.0 2.0))
(s148 (/ 1.0 2.0))
(s149 1.0)
(s150 (/ 1.0 2.0))
(s151 1.0)
(s152 (/ 1.0 2.0))
(s153 1.0)
(s154 (/ 1.0 2.0))
(s155 1.0)
(s156 (/ 1.0 2.0))
(s157 (/ 1.0 2.0))
(s158 1.0)
(s159 (/ 1.0 2.0))
(s160 1.0)
(s161 (/ 1.0 2.0))
(s162 (/ 1.0 2.0))
(s163 1.0)
(s164 (/ 1.0 2.0))
(s165 0.0)
(s166 1.0)
(s167 (/ 1.0 2.0))
(s168 (/ 1.0 2.0))
(s169 1.0)
(s170 0.0)
(s171 (/ 1.0 2.0))
(s172 1.0)
(s173 (/ 1.0 2.0))
(s174 1.0)
(s175 (/ 1.0 2.0))
(s176 (/ 1.0 2.0))
(s177 1.0)
(s178 (/ 1.0 2.0))
(s179 0.0)
(s180 1.0)
(s181 (/ 1.0 2.0))
(s182 1.0)
(s183 (/ 1.0 2.0))
(s184 1.0)
(s185 (/ 1.0 2.0))
(s186 1.0)
(s187 (/ 1.0 2.0))
(s188 1.0)
(s189 (/ 1.0 2.0))
(s190 (/ 1.0 2.0))
(s191 1.0)
(s192 (/ 1.0 2.0))
(s193 (/ 1.0 2.0))
(s194 1.0)
(s195 (/ 1.0 2.0))
(s196 1.0)
(s197 (/ 1.0 2.0))
(s198 1.0)
(s199 (/ 1.0 2.0))
(s200 1.0)
(s201 0.0)
(s202 1.0)
(s203 0.0)
(s204 1.0)
(s205 0.0)
(s206 (/ 1.0 2.0))
(s207 1.0)
(s208 (/ 1.0 2.0))
(s209 1.0)
(s210 (/ 1.0 2.0))
(s211 1.0)
(s212 (/ 1.0 2.0))
(s213 1.0)
(s214 (/ 1.0 2.0))
(s215 1.0)
(s216 (/ 1.0 2.0))
(s217 (/ 1.0 2.0))
(s218 1.0)
(s219 (/ 1.0 2.0))
(s220 1.0)
(s221 (/ 1.0 2.0))
(s222 1.0)
(s223 (/ 1.0 2.0))
(s224 (/ 1.0 2.0))
(s225 1.0)
(s226 (/ 1.0 2.0))
(s227 1.0)
(s228 (/ 1.0 2.0))
(s229 (/ 1.0 2.0))
(s230 1.0)
(s231 (/ 1.0 2.0))
(s232 (/ 1.0 2.0))
(s233 1.0)
(s234 (/ 1.0 2.0))
(s235 1.0)
(s236 (/ 1.0 2.0))
(s237 1.0)
(s238 (/ 1.0 2.0))
(s239 1.0)
(s240 (/ 1.0 2.0))
(s241 (/ 1.0 2.0))
(s242 1.0)
(s243 (/ 1.0 2.0))
(s244 1.0)
(s245 0.0)
(s246 1.0)
(s247 (/ 1.0 2.0))
(s248 1.0)
(s249 (/ 1.0 2.0))
(s250 1.0)
(s251 (/ 1.0 2.0))
(s252 1.0)
(s253 (/ 1.0 2.0))
(s254 1.0)
(s255 0.0)
(s256 1.0)
(s257 0.0)
(s258 1.0)
(s259 0.0)
(s260 1.0)
(s261 (/ 1.0 2.0))
(s262 1.0)
(s263 (/ 1.0 2.0))
(s264 1.0)
(s265 (/ 1.0 2.0))
(s266 1.0)
(s267 (/ 1.0 2.0))
(s268 (/ 1.0 2.0))
(s269 1.0)
(s270 (/ 1.0 2.0))
(s271 1.0)
(s272 0.0)
(s273 (/ 1.0 2.0))
(s274 1.0)
(s275 (/ 1.0 2.0))
(s276 (/ 1.0 2.0))
(s277 1.0)
(s278 0.0)
(s279 (/ 1.0 2.0))
(s280 1.0)
(s281 (/ 1.0 2.0))
(s282 1.0)
(s283 0.0)
(s284 1.0)
(s285 (/ 1.0 2.0))
(s286 1.0)
(s287 (/ 1.0 2.0))
(s288 (/ 1.0 2.0))
(s289 1.0)
(s290 0.0)
(s291 1.0)
(s292 0.0)
(s293 1.0)
(s294 (/ 1.0 2.0))
(s295 (/ 1.0 2.0))
(s296 1.0)
(s297 (/ 1.0 2.0))
(s298 (/ 1.0 2.0))
(s299 1.0)
(s300 (/ 1.0 2.0))
(s301 (/ 1.0 2.0))
(s302 1.0)
(s303 (/ 1.0 2.0))
(s304 (/ 1.0 2.0))
(s305 1.0)
(s306 (/ 1.0 2.0))
(s307 1.0)
(s308 (/ 1.0 2.0))
(s309 1.0)
(s310 (/ 1.0 2.0))
(s311 1.0)
(s312 (/ 1.0 2.0))
(s313 1.0)
(s314 (/ 1.0 2.0))
(s315 (/ 1.0 2.0))
(s316 1.0)
(s317 (/ 1.0 2.0))
(s318 (/ 1.0 2.0))
(s319 1.0)
(s320 (/ 1.0 2.0))
(s321 1.0)
(s322 (/ 1.0 2.0))
(s323 1.0)
(s324 (/ 1.0 2.0))
(s325 (/ 1.0 2.0))
(s326 1.0)
(s327 (/ 1.0 2.0))
(s328 1.0)
(s329 (/ 1.0 2.0))
(s330 1.0)
(s331 0.0)
(s332 1.0)
(s333 0.0)
(s334 0.0)
(s335 1.0)
(s336 0.0)
(s337 1.0)
(s338 (/ 1.0 2.0))
(s339 (/ 1.0 2.0))
(s340 1.0)
(s341 0.0)
(s342 1.0)
(s343 0.0)
(s344 1.0)
(s345 0.0)
(s346 1.0)
(s347 (/ 1.0 2.0))
(s348 1.0)
(s349 (/ 1.0 2.0))
(s350 1.0)
(s351 (/ 1.0 2.0))
(s352 1.0)
(s353 (/ 1.0 2.0))
(s354 (/ 1.0 2.0))
(s355 1.0)
(s356 (/ 1.0 2.0))
(s357 (/ 1.0 2.0))
(s358 1.0)
(s359 (/ 1.0 2.0))
(s360 1.0)
(s361 0.0)
(s362 1.0)
(s363 (/ 1.0 2.0))
(s364 1.0)
(s365 (/ 1.0 2.0))
(s366 1.0)
(s367 (/ 1.0 2.0))
(s368 1.0)
(s369 (/ 1.0 2.0))
(s370 0.0)
(s371 1.0)
(s372 0.0)
(s373 (/ 1.0 2.0))
(s374 1.0)
(s375 (/ 1.0 2.0))
(s376 (/ 1.0 2.0))
(s377 1.0)
(s378 (/ 1.0 2.0))
(s379 1.0)
(s380 (/ 1.0 2.0))
(s381 1.0)
(s382 (/ 1.0 2.0))
(s383 1.0)
(s384 (/ 1.0 2.0))
(s385 1.0)
(s386 (/ 1.0 2.0))
(s387 1.0)
(s388 0.0)
(s389 1.0)
(s390 0.0)
(s391 (/ 1.0 2.0))
(s392 1.0)
(s393 (/ 1.0 2.0))
(s394 0.0)
(s395 1.0)
(s396 (/ 1.0 2.0))
(s397 1.0)
(s398 (/ 1.0 2.0))
(s399 0.0)
(s400 1.0)
(s401 0.0)
(s402 (/ 1.0 2.0))
(s403 1.0)
(s404 (/ 1.0 2.0))
(s405 1.0)
(s406 (/ 1.0 2.0))
(s407 (/ 1.0 2.0))
(s408 1.0)
(s409 (/ 1.0 2.0))
(s410 0.0)
(s411 1.0)
(s412 0.0)
(s413 1.0)
(s414 (/ 1.0 2.0))
(s415 (/ 1.0 2.0))
(s416 1.0)
(s417 (/ 1.0 2.0))
(s418 1.0)
(s419 (/ 1.0 2.0))
(s420 1.0)
(s421 (/ 1.0 2.0))
(s422 1.0)
(s423 (/ 1.0 2.0))
(s424 1.0)
(s425 (/ 1.0 2.0))
(s426 1.0)
(s427 (/ 1.0 2.0))
(s428 (/ 1.0 2.0))
(s429 1.0)
(s430 (/ 1.0 2.0))
(s431 1.0)
(s432 (/ 1.0 2.0))
(s433 1.0)
(s434 (/ 1.0 2.0))
(s435 (/ 1.0 2.0))
(s436 1.0)
(s437 0.0)
(s438 1.0)
(s439 0.0)
(s440 1.0)
(s441 (/ 1.0 2.0))
(s442 1.0)
(s443 (/ 1.0 2.0))
(s444 1.0)
(s445 (/ 1.0 2.0))
(s446 1.0)
(s447 (/ 1.0 2.0))
(s448 1.0)
(s449 (/ 1.0 2.0))
(s450 1.0)
(s451 (/ 1.0 2.0))
(s452 1.0)
(s453 (/ 1.0 2.0))
(s454 (/ 1.0 2.0))
(s455 1.0)
(s456 (/ 1.0 2.0))
(s457 1.0)
(s458 (/ 1.0 2.0))
(s459 1.0)
(s460 (/ 1.0 2.0))
(s461 1.0)
(s462 (/ 1.0 2.0))
(s463 1.0)
(s464 (/ 1.0 2.0))
(s465 (/ 1.0 2.0))
(s466 1.0)
(s467 (/ 1.0 2.0))
(s468 (/ 1.0 2.0))
(s469 1.0)
(s470 (/ 1.0 2.0))
(s471 1.0)
(s472 (/ 1.0 2.0))
(s473 (/ 1.0 2.0))
(s474 1.0)
(s475 (/ 1.0 2.0))
(s476 1.0)
(s477 (/ 1.0 2.0))
(s478 (/ 1.0 2.0))
(s479 1.0)
(s480 (/ 1.0 2.0))
(s481 0.0)
(s482 1.0)
(s483 (/ 1.0 2.0))
(s484 1.0)
(s485 0.0)
(s486 (/ 1.0 2.0))
(s487 1.0)
(s488 (/ 1.0 2.0))
(s489 (/ 1.0 2.0))
(s490 1.0)
(s491 (/ 1.0 2.0))
(s492 (/ 1.0 2.0))
(s493 1.0)
(s494 (/ 1.0 2.0))
(s495 1.0)
(s496 (/ 1.0 2.0))
(s497 1.0)
(s498 (/ 1.0 2.0))
(s499 1.0)
(s500 (/ 1.0 2.0))
(s501 0.0)
(s502 1.0)
(s503 (/ 1.0 2.0))
(s504 1.0)
(s505 (/ 1.0 2.0))
(s506 (/ 1.0 2.0))
(s507 1.0)
(s508 0.0)
(s509 1.0)
(s510 (/ 1.0 2.0))
(s511 1.0)
(s512 (/ 1.0 2.0))
(s513 1.0)
(s514 0.0)
(s515 1.0)
(s516 (/ 1.0 2.0))
(s517 (/ 1.0 2.0))
(s518 1.0)
(s519 (/ 1.0 2.0))
(s520 0.0)
(s521 1.0)
(s522 (/ 1.0 2.0))
(s523 1.0)
(s524 (/ 1.0 2.0))
(s525 1.0)
(s526 (/ 1.0 2.0))
(s527 (/ 1.0 2.0))
(s528 1.0)
(s529 (/ 1.0 2.0))
(s530 (/ 1.0 2.0))
(s531 1.0)
(s532 (/ 1.0 2.0))
(s533 1.0)
(s534 0.0)
(s535 (/ 1.0 2.0))
(s536 1.0)
(s537 (/ 1.0 2.0))
(s538 1.0)
(s539 (/ 1.0 2.0))
(s540 1.0)
(s541 0.0)
(s542 1.0)
(s543 (/ 1.0 2.0))
(s544 1.0)
(s545 (/ 1.0 2.0))
(s546 1.0)
(s547 0.0)
(s548 1.0)
(s549 (/ 1.0 2.0))
(s550 1.0)
(s551 (/ 1.0 2.0))
(s552 1.0)
(s553 (/ 1.0 2.0))
(s554 1.0)
(s555 (/ 1.0 2.0))
(s556 1.0)
(s557 (/ 1.0 2.0))
(s558 (/ 1.0 2.0))
(s559 1.0)
(s560 (/ 1.0 2.0))
(s561 (/ 1.0 2.0))
(s562 1.0)
(s563 (/ 1.0 2.0))
(s564 (/ 1.0 2.0))
(s565 1.0)
(s566 (/ 1.0 2.0))
(s567 1.0)
(s568 (/ 1.0 2.0))
(s569 1.0)
(s570 (/ 1.0 2.0))
(s571 1.0)
(s572 (/ 1.0 2.0))
(s573 1.0)
(s574 (/ 1.0 2.0))
(s575 1.0)
(s576 (/ 1.0 2.0))
(s577 1.0)
(s578 (/ 1.0 2.0))
(s579 1.0)
(s580 (/ 1.0 2.0))
(s581 1.0)
(s582 (/ 1.0 2.0))
(s583 0.0)
(s584 1.0)
(s585 (/ 1.0 2.0))
(s586 1.0)
(s587 0.0)
(s588 (/ 1.0 2.0))
(s589 1.0)
(s590 (/ 1.0 2.0))
(s591 (/ 1.0 2.0))
(s592 1.0)
(s593 (/ 1.0 2.0))
(s594 1.0)
(s595 (/ 1.0 2.0))
(s596 0.0)
(s597 1.0)
(s598 (/ 1.0 2.0))
(s599 1.0)
(s600 0.0)
(s601 (/ 1.0 2.0))
(s602 1.0)
(s603 (/ 1.0 2.0))
(s604 1.0)
(s605 (/ 1.0 2.0))
(s606 1.0)
(s607 0.0)
(s608 (/ 1.0 2.0))
(s609 1.0)
(s610 (/ 1.0 2.0))
(s611 1.0)
(s612 (/ 1.0 2.0))
(s613 1.0)
(s614 (/ 1.0 2.0))
(s615 (/ 1.0 2.0))
(s616 1.0)
(s617 (/ 1.0 2.0))
(s618 1.0)
(s619 0.0)
(s620 1.0)
(s621 0.0)
(s622 1.0)
(s623 (/ 1.0 2.0))
(s624 1.0)
(s625 0.0)
(s626 (/ 1.0 2.0))
(s627 1.0)
(s628 (/ 1.0 2.0))
(s629 1.0)
(s630 0.0)
(s631 1.0)
(s632 (/ 1.0 2.0))
(s633 (/ 1.0 2.0))
(s634 1.0)
(s635 (/ 1.0 2.0))
(s636 1.0)
(s637 (/ 1.0 2.0))
(s638 1.0)
(s639 (/ 1.0 2.0))
(s640 0.0)
(s641 1.0)
(s642 (/ 1.0 2.0))
(s643 (/ 1.0 2.0))
(s644 1.0)
(s645 (/ 1.0 2.0))
(s646 1.0)
(s647 (/ 1.0 2.0))
(s648 1.0)
(s649 (/ 1.0 2.0))
(s650 0.0)
(s651 1.0)
(s652 (/ 1.0 2.0))
(s653 1.0)
(s654 (/ 1.0 2.0))
(s655 1.0)
(s656 (/ 1.0 2.0))
(s657 0.0)
(s658 1.0)
(s659 (/ 1.0 2.0))
(s660 1.0)
(s661 (/ 1.0 2.0))
(s662 1.0)
(s663 (/ 1.0 2.0))
(s664 (/ 1.0 2.0))
(s665 1.0)
(s666 (/ 1.0 2.0))
(s667 1.0)
(s668 (/ 1.0 2.0))
(s669 (/ 1.0 2.0))
(s670 1.0)
(s671 (/ 1.0 2.0))
(s672 0.0)
(s673 1.0)
(s674 0.0)
(s675 (/ 1.0 2.0))
(s676 1.0)
(s677 (/ 1.0 2.0))
(s678 1.0)
(s679 (/ 1.0 2.0))
(s680 1.0)
(s681 (/ 1.0 2.0))
(s682 1.0)
(s683 (/ 1.0 2.0))
(s684 (/ 1.0 2.0))
(s685 1.0)
(s686 (/ 1.0 2.0))
(s687 (/ 1.0 2.0))
(s688 1.0)
(s689 0.0)
(s690 1.0)
(s691 (/ 1.0 2.0))
(s692 (/ 1.0 2.0))
(s693 1.0)
(s694 (/ 1.0 2.0))
(s695 0.0)
(s696 1.0)
(s697 (/ 1.0 2.0))
(s698 1.0)
(s699 (/ 1.0 2.0))
(s700 1.0)
(s701 (/ 1.0 2.0))
(s702 (/ 1.0 2.0))
(s703 1.0)
(s704 (/ 1.0 2.0))
(s705 (/ 1.0 2.0))
(s706 1.0)
(s707 0.0)
(s708 1.0)
(s709 0.0)
(s710 1.0)
(s711 (/ 1.0 2.0))
(s712 1.0)
(s713 (/ 1.0 2.0))
(s714 (/ 1.0 2.0))
(s715 1.0)
(s716 (/ 1.0 2.0))
(s717 1.0)
(s718 (/ 1.0 2.0))
(s719 1.0)
(s720 (/ 1.0 2.0))
(s721 1.0)
(s722 (/ 1.0 2.0))
(s723 1.0)
(s724 (/ 1.0 2.0))
(s725 1.0)
(s726 (/ 1.0 2.0))
(s727 1.0)
(s728 (/ 1.0 2.0))
(s729 (/ 1.0 2.0))
(s730 1.0)
(s731 (/ 1.0 2.0))
(s732 1.0)
(s733 (/ 1.0 2.0))
(s734 1.0)
(s735 (/ 1.0 2.0))
(s736 (/ 1.0 2.0))
(s737 1.0)
(s738 (/ 1.0 2.0))
(s739 1.0)
(s740 (/ 1.0 2.0))
(s741 1.0)
(s742 (/ 1.0 2.0))
(s743 (/ 1.0 2.0))
(s744 1.0)
(s745 (/ 1.0 2.0))
(s746 1.0)
(s747 0.0)
(s748 1.0)
(s749 (/ 1.0 2.0))
(s750 1.0)
(s751 (/ 1.0 2.0))
(s752 0.0)
(s753 1.0)
(s754 (/ 1.0 2.0))
(s755 1.0)
(s756 (/ 1.0 2.0))
(s757 (/ 1.0 2.0))
(s758 1.0)
(s759 (/ 1.0 2.0))
(s760 (/ 1.0 2.0))
(s761 1.0)
(s762 (/ 1.0 2.0))
(s763 1.0)
(s764 0.0)
(s765 (/ 1.0 2.0))
(s766 1.0)
(s767 (/ 1.0 2.0))
(s768 1.0)
(s769 (/ 1.0 2.0))
(s770 0.0)
(s771 1.0)
(s772 (/ 1.0 2.0))
(s773 1.0)
(s774 (/ 1.0 2.0))
(s775 1.0)
(s776 (/ 1.0 2.0))
(s777 (/ 1.0 2.0))
(s778 1.0)
(s779 (/ 1.0 2.0))
(s780 1.0)
(s781 (/ 1.0 2.0))
(s782 1.0)
(s783 (/ 1.0 2.0))
(s784 1.0)
(s785 (/ 1.0 2.0))
(s786 1.0)
(s787 (/ 1.0 2.0))
(s788 1.0)
(s789 (/ 1.0 2.0))
(s790 1.0)
(s791 (/ 1.0 2.0))
(s792 1.0)
(s793 (/ 1.0 2.0))
(s794 1.0)
(s795 (/ 1.0 2.0))
(s796 (/ 1.0 2.0))
(s797 1.0)
(s798 0.0)
(s799 1.0)
(s800 (/ 1.0 2.0))
(s801 (/ 1.0 2.0))
(s802 1.0)
(s803 (/ 1.0 2.0))
(s804 1.0)
(s805 (/ 1.0 2.0))
(s806 1.0)
(s807 0.0)
(s808 1.0)
(s809 (/ 1.0 2.0))
(s810 1.0)
(s811 (/ 1.0 2.0))
(s812 1.0)
(s813 (/ 1.0 2.0))
(s814 1.0)
(s815 0.0)
(s816 (/ 1.0 2.0))
(s817 1.0)
(s818 (/ 1.0 2.0))
(s819 1.0)
(s820 (/ 1.0 2.0))
(s821 1.0)
(s822 (/ 1.0 2.0))
(s823 1.0)
(s824 (/ 1.0 2.0))
(s825 1.0)
(s826 (/ 1.0 2.0))
(s827 0.0)
(s828 1.0)
(s829 (/ 1.0 2.0))
(s830 1.0)
(s831 (/ 1.0 2.0))
(s832 1.0)
(s833 (/ 1.0 2.0))
(s834 1.0)
(s835 0.0)
(s836 1.0)
(s837 0.0)
(s838 1.0)
(s839 (/ 1.0 2.0))
(s840 1.0)
(s841 (/ 1.0 2.0))
(s842 1.0)
(s843 (/ 1.0 2.0))
(s844 (/ 1.0 2.0))
(s845 1.0)
(s846 (/ 1.0 2.0))
(s847 1.0)
(s848 (/ 1.0 2.0))
(s849 1.0)
(s850 (/ 1.0 2.0))
(s851 1.0)
(s852 (/ 1.0 2.0))
(s853 1.0)
(s854 (/ 1.0 2.0))
(s855 1.0)
(s856 (/ 1.0 2.0))
(s857 1.0)
(s858 (/ 1.0 2.0))
(s859 1.0)
(s860 (/ 1.0 2.0))
(s861 1.0)
(s862 0.0)
(s863 1.0)
(s864 (/ 1.0 2.0))
(s865 (/ 1.0 2.0))
(s866 1.0)
(s867 0.0)
(s868 1.0)
(s869 (/ 1.0 2.0))
(s870 1.0)
(s871 (/ 1.0 2.0))
(s872 1.0)
(s873 (/ 1.0 2.0))
(s874 (/ 1.0 2.0))
(s875 1.0)
(s876 0.0)
(s877 1.0)
(s878 (/ 1.0 2.0))
(s879 1.0)
(s880 (/ 1.0 2.0))
(s881 1.0)
(s882 0.0)
(s883 1.0)
(s884 (/ 1.0 2.0))
(s885 1.0)
(s886 (/ 1.0 2.0))
(s887 (/ 1.0 2.0))
(s888 1.0)
(s889 (/ 1.0 2.0))
(s890 0.0)
(s891 1.0)
(s892 0.0)
(s893 1.0)
(s894 0.0)
(s895 (/ 1.0 2.0))
(s896 1.0)
(s897 (/ 1.0 2.0))
(s898 1.0)
(s899 (/ 1.0 2.0))
(s900 1.0)
(s901 (/ 1.0 2.0))
(s902 (/ 1.0 2.0))
(s903 1.0)
(s904 0.0)
(s905 (/ 1.0 2.0))
(s906 1.0)
(s907 (/ 1.0 2.0))
(s908 (/ 1.0 2.0))
(s909 1.0)
(s910 (/ 1.0 2.0))
(s911 1.0)
(s912 (/ 1.0 2.0))
(s913 1.0)
(s914 (/ 1.0 2.0))
(s915 0.0)
(s916 1.0)
(s917 0.0)
(s918 1.0)
(s919 (/ 1.0 2.0))
(s920 1.0)
(s921 (/ 1.0 2.0))
(s922 1.0)
(s923 (/ 1.0 2.0))
(s924 (/ 1.0 2.0))
(s925 1.0)
(s926 (/ 1.0 2.0))
(s927 0.0)
(s928 1.0)
(s929 (/ 1.0 2.0))
(s930 (/ 1.0 2.0))
(s931 1.0)
(s932 (/ 1.0 2.0))
(s933 (/ 1.0 2.0))
(s934 1.0)
(s935 0.0)
(s936 1.0)
(s937 0.0)
(s938 1.0)
(s939 (/ 1.0 2.0))
(s940 (/ 1.0 2.0))
(s941 1.0)
(s942 (/ 1.0 2.0))
(s943 1.0)
(s944 (/ 1.0 2.0))
(s945 1.0)
(s946 (/ 1.0 2.0))
(s947 (/ 1.0 2.0))
(s948 1.0)
(s949 (/ 1.0 2.0))
(s950 1.0)
(s951 (/ 1.0 2.0))
(s952 1.0)
(s953 (/ 1.0 2.0))
(s954 1.0)
(s955 (/ 1.0 2.0))
(s956 1.0)
(s957 (/ 1.0 2.0))
(s958 1.0)
(s959 (/ 1.0 2.0))
(s960 1.0)
(s961 (/ 1.0 2.0))
(s962 1.0)
(s963 (/ 1.0 2.0))
(s964 1.0)
(s965 0.0)
(s966 1.0)
(s967 0.0)
(s968 1.0)
(s969 0.0)
(s970 1.0)
(s971 0.0)
(s972 (/ 1.0 2.0))
(s973 1.0)
(s974 (/ 1.0 2.0))
(s975 1.0)
(s976 (/ 1.0 2.0))
(s977 1.0)
(s978 (/ 1.0 2.0))
(s979 1.0)
(s980 (/ 1.0 2.0))
(s981 0.0)
(s982 1.0)
(s983 0.0)
(s984 (/ 1.0 2.0))
(s985 1.0)
(s986 (/ 1.0 2.0))
(s987 (/ 1.0 2.0))
(s988 1.0)
(s989 (/ 1.0 2.0))
(s990 1.0)
(s991 (/ 1.0 2.0))
(s992 (/ 1.0 2.0))
(s993 1.0)
(s994 (/ 1.0 2.0))
(s995 0.0)
(s996 1.0)
(s997 0.0)
(s998 1.0)
(s999 (/ 1.0 2.0))
(s1000 0.0)
(s1001 1.0)
(s1002 (/ 1.0 2.0))
(s1003 1.0)
(s1004 (/ 1.0 2.0))
(s1005 1.0)
(s1006 (/ 1.0 2.0))
(s1007 1.0)
(s1008 (/ 1.0 2.0))
(s1009 1.0)
(s1010 0.0)
(s1011 1.0)
(s1012 (/ 1.0 2.0))
(s1013 1.0)
(s1014 0.0)
(s1015 1.0)
(s1016 0.0)
(s1017 (/ 1.0 2.0))
(s1018 1.0)
(s1019 0.0)
(s1020 1.0)
(s1021 (/ 1.0 2.0))
(s1022 1.0)
(s1023 (/ 1.0 2.0))
(s1024 1.0)
(s1025 (/ 1.0 2.0))
(s1026 1.0)
(s1027 (/ 1.0 2.0))
(s1028 1.0)
(s1029 0.0)
(s1030 1.0)
(s1031 (/ 1.0 2.0))
(s1032 1.0)
(s1033 (/ 1.0 2.0))
(s1034 (/ 1.0 2.0))
(s1035 1.0)
(s1036 (/ 1.0 2.0))
(s1037 (/ 1.0 2.0))
(s1038 1.0)
(s1039 (/ 1.0 2.0))
(s1040 1.0)
(s1041 (/ 1.0 2.0))
(s1042 1.0)
(s1043 (/ 1.0 2.0))
(s1044 1.0)
(s1045 (/ 1.0 2.0))
(s1046 1.0)
(s1047 (/ 1.0 2.0))
(s1048 1.0)
(s1049 (/ 1.0 2.0))
(s1050 1.0)
(s1051 (/ 1.0 2.0))
(s1052 1.0)
(s1053 (/ 1.0 2.0))
(s1054 1.0)
(s1055 (/ 1.0 2.0))
(s1056 1.0)
(s1057 (/ 1.0 2.0))
(s1058 1.0)
(s1059 (/ 1.0 2.0))
(s1060 1.0)
(s1061 0.0)
(s1062 1.0)
(s1063 0.0)
(s1064 1.0)
(s1065 0.0)
(s1066 1.0)
(s1067 0.0)
(s1068 1.0)
(s1069 (/ 1.0 2.0))
(s1070 1.0)
(s1071 (/ 1.0 2.0))
(s1072 1.0)
(s1073 (/ 1.0 2.0))
(s1074 0.0)
(s1075 1.0)
(s1076 (/ 1.0 2.0))
(s1077 (/ 1.0 2.0))
(s1078 1.0)
(s1079 (/ 1.0 2.0))
(s1080 1.0)
(s1081 (/ 1.0 2.0))
(s1082 1.0)
(s1083 (/ 1.0 2.0))
(s1084 1.0)
(s1085 0.0)
(s1086 1.0)
(s1087 (/ 1.0 2.0))
(s1088 1.0)
(s1089 (/ 1.0 2.0))
(s1090 1.0)
(s1091 (/ 1.0 2.0))
(s1092 (/ 1.0 2.0))
(s1093 1.0)
(s1094 (/ 1.0 2.0))
(s1095 (/ 1.0 2.0))
(s1096 1.0)
(s1097 (/ 1.0 2.0))
(s1098 1.0)
(s1099 (/ 1.0 2.0))
(s1100 1.0)
(s1101 (/ 1.0 2.0))
(s1102 1.0)
(s1103 (/ 1.0 2.0))
(s1104 1.0)
(s1105 (/ 1.0 2.0))
(s1106 1.0)
(s1107 (/ 1.0 2.0))
(s1108 (/ 1.0 2.0))
(s1109 1.0)
(s1110 (/ 1.0 2.0))
(s1111 (/ 1.0 2.0))
(s1112 1.0)
(s1113 (/ 1.0 2.0))
(s1114 (/ 1.0 2.0))
(s1115 1.0)
(s1116 (/ 1.0 2.0))
(s1117 1.0)
(s1118 (/ 1.0 2.0))
(s1119 1.0)
(s1120 (/ 1.0 2.0))
(s1121 (/ 1.0 2.0))
(s1122 1.0)
(s1123 (/ 1.0 2.0))
(s1124 1.0)
(s1125 (/ 1.0 2.0))
(s1126 1.0)
(s1127 (/ 1.0 2.0))
(s1128 1.0)
(s1129 (/ 1.0 2.0))
(s1130 1.0)
(s1131 (/ 1.0 2.0))
(s1132 (/ 1.0 2.0))
(s1133 1.0)
(s1134 (/ 1.0 2.0))
(s1135 1.0)
(s1136 (/ 1.0 2.0))
(s1137 1.0)
(s1138 (/ 1.0 2.0))
(s1139 0.0)
(s1140 1.0)
(s1141 (/ 1.0 2.0))
(s1142 1.0)
(s1143 (/ 1.0 2.0))
(s1144 (/ 1.0 2.0))
(s1145 1.0)
(s1146 (/ 1.0 2.0))
(s1147 1.0)
(s1148 (/ 1.0 2.0))
(s1149 1.0)
(s1150 0.0)
(s1151 (/ 1.0 2.0))
(s1152 1.0)
(s1153 (/ 1.0 2.0))
(s1154 1.0)
(s1155 (/ 1.0 2.0))
(s1156 0.0)
(s1157 1.0)
(s1158 (/ 1.0 2.0))
(s1159 1.0)
(s1160 (/ 1.0 2.0))
(s1161 (/ 1.0 2.0))
(s1162 1.0)
(s1163 (/ 1.0 2.0))
(s1164 1.0)
(s1165 (/ 1.0 2.0))
(s1166 1.0)
(s1167 (/ 1.0 2.0))
(s1168 1.0)
(s1169 0.0)
(s1170 1.0)
(s1171 (/ 1.0 2.0))
(s1172 1.0)
(s1173 (/ 1.0 2.0))
(s1174 1.0)
(s1175 (/ 1.0 2.0))
(s1176 1.0)
(s1177 (/ 1.0 2.0))
(s1178 1.0)
(s1179 (/ 1.0 2.0))
(s1180 1.0)
(s1181 (/ 1.0 2.0))
(s1182 1.0)
(s1183 (/ 1.0 2.0))
(s1184 (/ 1.0 2.0))
(s1185 1.0)
(s1186 (/ 1.0 2.0))
(s1187 1.0)
(s1188 (/ 1.0 2.0))
(s1189 1.0)
(s1190 (/ 1.0 2.0))
(s1191 1.0)
(s1192 (/ 1.0 2.0))
(s1193 1.0)
(s1194 0.0)
(s1195 1.0)
(s1196 0.0)
(s1197 (/ 1.0 2.0))
(s1198 1.0)
(s1199 (/ 1.0 2.0))
(s1200 1.0)
(s1201 0.0)
(s1202 (/ 1.0 2.0))
(s1203 1.0)
(s1204 (/ 1.0 2.0))
(s1205 1.0)
(s1206 (/ 1.0 2.0))
(s1207 (/ 1.0 2.0))
(s1208 1.0)
(s1209 (/ 1.0 2.0))
(s1210 1.0)
(s1211 (/ 1.0 2.0))
(s1212 1.0)
(s1213 (/ 1.0 2.0))
(s1214 1.0)
(s1215 (/ 1.0 2.0))
(s1216 (/ 1.0 2.0))
(s1217 1.0)
(s1218 0.0)
(s1219 (/ 1.0 2.0))
(s1220 1.0)
(s1221 (/ 1.0 2.0))
(s1222 1.0)
(s1223 (/ 1.0 2.0))
(s1224 1.0)
(s1225 (/ 1.0 2.0))
(s1226 1.0)
(s1227 0.0)
(s1228 1.0)
(s1229 0.0)
(s1230 1.0)
(s1231 (/ 1.0 2.0))
(s1232 0.0)
(s1233 1.0)
(s1234 (/ 1.0 2.0))
(s1235 1.0)
(s1236 (/ 1.0 2.0))
(s1237 (/ 1.0 2.0))
(s1238 1.0)
(s1239 (/ 1.0 2.0))
(s1240 (/ 1.0 2.0))
(s1241 1.0)
(s1242 0.0)
(s1243 1.0)
(s1244 (/ 1.0 2.0))
(s1245 (/ 1.0 2.0))
(s1246 1.0)
(s1247 (/ 1.0 2.0))
(s1248 (/ 1.0 2.0))
(s1249 1.0)
(s1250 (/ 1.0 2.0))
(s1251 0.0)
(s1252 1.0)
(s1253 (/ 1.0 2.0))
(s1254 (/ 1.0 2.0))
(s1255 1.0)
(s1256 (/ 1.0 2.0))
(s1257 1.0)
(s1258 (/ 1.0 2.0))
(s1259 1.0)
(s1260 (/ 1.0 2.0))
(s1261 1.0)
(s1262 (/ 1.0 2.0))
(s1263 (/ 1.0 2.0))
(s1264 1.0)
(s1265 (/ 1.0 2.0))
(s1266 1.0)
(s1267 (/ 1.0 2.0))
(s1268 0.0)
(s1269 1.0)
(s1270 (/ 1.0 2.0))
(s1271 1.0)
(s1272 (/ 1.0 2.0))
(s1273 1.0)
(s1274 (/ 1.0 2.0))
(s1275 1.0)
(s1276 (/ 1.0 2.0))
(s1277 (/ 1.0 2.0))
(s1278 1.0)
(s1279 (/ 1.0 2.0))
(s1280 (/ 1.0 2.0))
(s1281 1.0)
(s1282 0.0)
(s1283 1.0)
(s1284 (/ 1.0 2.0))
(s1285 1.0)
(s1286 (/ 1.0 2.0))
(s1287 1.0)
(s1288 (/ 1.0 2.0))
(s1289 1.0)
(s1290 (/ 1.0 2.0))
(s1291 (/ 1.0 2.0))
(s1292 1.0)
(s1293 (/ 1.0 2.0))
(s1294 1.0)
(s1295 (/ 1.0 2.0))
(s1296 1.0)
(s1297 0.0)
(s1298 1.0)
(s1299 0.0)
(s1300 1.0)
(s1301 (/ 1.0 2.0))
(s1302 1.0)
(s1303 (/ 1.0 2.0))
(s1304 1.0)
(s1305 (/ 1.0 2.0))
(s1306 (/ 1.0 2.0))
(s1307 1.0)
(s1308 (/ 1.0 2.0))
(s1309 1.0)
(s1310 (/ 1.0 2.0))
(s1311 1.0)
(s1312 (/ 1.0 2.0))
(s1313 1.0)
(s1314 0.0)
(s1315 (/ 1.0 2.0))
(s1316 1.0)
(s1317 (/ 1.0 2.0))
(s1318 1.0)
(s1319 (/ 1.0 2.0))
(s1320 1.0)
(s1321 (/ 1.0 2.0))
(s1322 (/ 1.0 2.0))
(s1323 1.0)
(s1324 0.0)
(s1325 (/ 1.0 2.0))
(s1326 1.0)
(s1327 (/ 1.0 2.0))
(s1328 (/ 1.0 2.0))
(s1329 1.0)
(s1330 (/ 1.0 2.0))
(s1331 1.0)
(s1332 (/ 1.0 2.0))
(s1333 1.0)
(s1334 0.0)
(s1335 (/ 1.0 2.0))
(s1336 1.0)
(s1337 0.0)
(s1338 1.0)
(s1339 0.0)
(s1340 1.0)
(s1341 (/ 1.0 2.0))
(s1342 (/ 1.0 2.0))
(s1343 1.0)
(s1344 0.0)
(s1345 1.0)
(s1346 (/ 1.0 2.0))
(s1347 (/ 1.0 2.0))
(s1348 1.0)
(s1349 (/ 1.0 2.0))
(s1350 1.0)
(s1351 (/ 1.0 2.0))
(s1352 1.0)
(s1353 (/ 1.0 2.0))
(s1354 1.0)
(s1355 (/ 1.0 2.0))
(s1356 (/ 1.0 2.0))
(s1357 1.0)
(s1358 (/ 1.0 2.0))
(s1359 (/ 1.0 2.0))
(s1360 1.0)
(s1361 (/ 1.0 2.0))
(s1362 1.0)
(s1363 (/ 1.0 2.0))
(s1364 1.0)
(s1365 0.0)
(s1366 1.0)
(s1367 (/ 1.0 2.0))
(s1368 1.0)
(s1369 0.0)
(s1370 1.0)
(s1371 0.0)
(s1372 1.0)
(s1373 (/ 1.0 2.0))
(s1374 (/ 1.0 2.0))
(s1375 1.0)
(s1376 (/ 1.0 2.0))
(s1377 (/ 1.0 2.0))
(s1378 1.0)
(s1379 (/ 1.0 2.0))
(s1380 (/ 1.0 2.0))
(s1381 1.0)
(s1382 (/ 1.0 2.0))
(s1383 1.0)
(s1384 (/ 1.0 2.0))
(s1385 0.0)
(s1386 1.0)
(s1387 (/ 1.0 2.0))
(s1388 1.0)
(s1389 0.0)
(s1390 1.0)
(s1391 0.0)
(s1392 (/ 1.0 2.0))
(s1393 1.0)
(s1394 (/ 1.0 2.0))
(s1395 (/ 1.0 2.0))
(s1396 1.0)
(s1397 (/ 1.0 2.0))
(s1398 1.0)
(s1399 0.0)
(s1400 1.0)
(s1401 (/ 1.0 2.0))
(s1402 (/ 1.0 2.0))
(s1403 1.0)
(s1404 0.0)
(s1405 (/ 1.0 2.0))
(s1406 1.0)
(s1407 (/ 1.0 2.0))
(s1408 1.0)
(s1409 0.0)
(s1410 1.0)
(s1411 0.0)
(s1412 1.0)
(s1413 (/ 1.0 2.0))
(s1414 1.0)
(s1415 (/ 1.0 2.0))
(s1416 1.0)
(s1417 (/ 1.0 2.0))
(s1418 (/ 1.0 2.0))
(s1419 1.0)
(s1420 (/ 1.0 2.0))
(s1421 1.0)
(s1422 (/ 1.0 2.0))
(s1423 (/ 1.0 2.0))
(s1424 1.0)
(s1425 (/ 1.0 2.0))
(s1426 1.0)
(s1427 (/ 1.0 2.0))
(s1428 (/ 1.0 2.0))
(s1429 1.0)
(s1430 0.0)
(s1431 (/ 1.0 2.0))
(s1432 1.0)
(s1433 (/ 1.0 2.0))
(s1434 1.0)
(s1435 (/ 1.0 2.0))
(s1436 0.0)
(s1437 1.0)
(s1438 (/ 1.0 2.0))
(s1439 1.0)
(s1440 (/ 1.0 2.0))
(s1441 1.0)
(s1442 0.0)
(s1443 1.0)
(s1444 (/ 1.0 2.0))
(s1445 1.0)
(s1446 (/ 1.0 2.0))
(s1447 1.0)
(s1448 (/ 1.0 2.0))
(s1449 (/ 1.0 2.0))
(s1450 1.0)
(s1451 0.0)
(s1452 (/ 1.0 2.0))
(s1453 1.0)
(s1454 (/ 1.0 2.0))
(s1455 (/ 1.0 2.0))
(s1456 1.0)
(s1457 0.0)
(s1458 (/ 1.0 2.0))
(s1459 1.0)
(s1460 (/ 1.0 2.0))
(s1461 1.0)
(s1462 (/ 1.0 2.0))
(s1463 1.0)
(s1464 (/ 1.0 2.0))
(s1465 1.0)
(s1466 (/ 1.0 2.0))
(s1467 1.0)
(s1468 (/ 1.0 2.0))
(s1469 1.0)
(s1470 (/ 1.0 2.0))
(s1471 (/ 1.0 2.0))
(s1472 1.0)
(s1473 (/ 1.0 2.0))
(s1474 1.0)
(s1475 (/ 1.0 2.0))
(s1476 1.0)
(s1477 (/ 1.0 2.0))
(s1478 1.0)
(s1479 0.0)
(s1480 1.0)
(s1481 0.0)
(s1482 (/ 1.0 2.0))
(s1483 1.0)
(s1484 (/ 1.0 2.0))
(s1485 1.0)
(s1486 0.0)
(s1487 1.0)
(s1488 0.0)
(s1489 1.0)
(s1490 (/ 1.0 2.0))
(s1491 1.0)
(s1492 (/ 1.0 2.0))
(s1493 (/ 1.0 2.0))
(s1494 1.0)
(s1495 (/ 1.0 2.0))
(s1496 (/ 1.0 2.0))
(s1497 1.0)
(s1498 (/ 1.0 2.0))
(s1499 1.0)
(s1500 0.0)
(s1501 1.0)
(s1502 0.0)
(s1503 1.0)
(s1504 (/ 1.0 2.0))
(s1505 1.0)
(s1506 (/ 1.0 2.0))
(s1507 1.0)
(s1508 (/ 1.0 2.0))
(s1509 1.0)
(s1510 (/ 1.0 2.0))
(s1511 1.0)
(s1512 (/ 1.0 2.0))
(s1513 1.0)
(s1514 (/ 1.0 2.0))
(s1515 1.0)
(s1516 (/ 1.0 2.0))
(s1517 1.0)
(s1518 (/ 1.0 2.0))
(s1519 1.0)
(s1520 (/ 1.0 2.0))
(s1521 (/ 1.0 2.0))
(s1522 1.0)
(s1523 (/ 1.0 2.0))
(s1524 1.0)
(s1525 (/ 1.0 2.0))
(s1526 1.0)
(s1527 (/ 1.0 2.0))
(s1528 (/ 1.0 2.0))
(s1529 1.0)
(s1530 (/ 1.0 2.0))
(s1531 1.0)
(s1532 (/ 1.0 2.0))
(s1533 1.0)
(s1534 (/ 1.0 2.0))
(s1535 (/ 1.0 2.0))
(s1536 1.0)
(s1537 (/ 1.0 2.0))
(s1538 1.0)
(s1539 (/ 1.0 2.0))
(s1540 1.0)
(s1541 (/ 1.0 2.0))
(s1542 1.0)
(s1543 (/ 1.0 2.0))
(s1544 1.0)
(s1545 (/ 1.0 2.0))
(s1546 1.0)
(s1547 (/ 1.0 2.0))
(s1548 1.0)
(s1549 0.0)
(s1550 1.0)
(s1551 0.0)
(s1552 1.0)
(s1553 (/ 1.0 2.0))
(s1554 1.0)
(s1555 (/ 1.0 2.0))
(s1556 1.0)
(s1557 (/ 1.0 2.0))
(s1558 1.0)
(s1559 (/ 1.0 2.0))
(s1560 1.0)
(s1561 0.0)
(s1562 (/ 1.0 2.0))
(s1563 1.0)
(s1564 (/ 1.0 2.0))
(s1565 1.0)
(s1566 (/ 1.0 2.0))
(s1567 1.0)
(s1568 (/ 1.0 2.0))
(s1569 1.0)
(s1570 0.0)
(s1571 1.0)
(s1572 0.0)
(s1573 1.0)
(s1574 0.0)
(s1575 1.0)
(s1576 0.0)
(s1577 1.0)
(s1578 (/ 1.0 2.0))
(s1579 1.0)
(s1580 (/ 1.0 2.0))
(s1581 (/ 1.0 2.0))
(s1582 1.0)
(s1583 (/ 1.0 2.0))
(s1584 (/ 1.0 2.0))
(s1585 1.0)
(s1586 (/ 1.0 2.0))
(s1587 1.0)
(s1588 (/ 1.0 2.0))
(s1589 1.0)
(s1590 (/ 1.0 2.0))
(s1591 1.0)
(s1592 (/ 1.0 2.0))
(s1593 (/ 1.0 2.0))
(s1594 1.0)
(s1595 (/ 1.0 2.0))
(s1596 1.0)
(s1597 (/ 1.0 2.0))
(s1598 1.0)
(s1599 (/ 1.0 2.0))
(s1600 1.0)
(s1601 (/ 1.0 2.0))
(s1602 1.0)
(s1603 (/ 1.0 2.0))
(s1604 1.0)
(s1605 (/ 1.0 2.0))
(s1606 1.0)
(s1607 0.0)
(s1608 1.0)
(s1609 0.0)
(s1610 1.0)
(s1611 0.0)
(s1612 1.0)
(s1613 0.0)
(s1614 (/ 1.0 2.0))
(s1615 1.0)
(s1616 (/ 1.0 2.0))
(s1617 1.0)
(s1618 (/ 1.0 2.0))
(s1619 1.0)
(s1620 (/ 1.0 2.0))
(s1621 1.0)
(s1622 (/ 1.0 2.0))
(s1623 (/ 1.0 2.0))
(s1624 1.0)
(s1625 (/ 1.0 2.0))
(s1626 1.0)
(s1627 (/ 1.0 2.0))
(s1628 1.0)
(s1629 (/ 1.0 2.0))
(s1630 1.0)
(s1631 0.0)
(s1632 1.0)
(s1633 (/ 1.0 2.0))
(s1634 1.0)
(s1635 (/ 1.0 2.0))
(s1636 1.0)
(s1637 (/ 1.0 2.0))
(s1638 (/ 1.0 2.0))
(s1639 1.0)
(s1640 (/ 1.0 2.0))
(s1641 1.0)
(s1642 0.0)
(s1643 (/ 1.0 2.0))
(s1644 1.0)
(s1645 (/ 1.0 2.0))
(s1646 (/ 1.0 2.0))
(s1647 1.0)
(s1648 (/ 1.0 2.0))
(s1649 0.0)
(s1650 1.0)
(s1651 (/ 1.0 2.0))
(s1652 1.0)
(s1653 (/ 1.0 2.0))
(s1654 (/ 1.0 2.0))
(s1655 1.0)
(s1656 (/ 1.0 2.0))
(s1657 1.0)
(s1658 (/ 1.0 2.0))
(s1659 1.0)
(s1660 (/ 1.0 2.0))
(s1661 1.0)
(s1662 (/ 1.0 2.0))
(s1663 1.0)
(s1664 (/ 1.0 2.0))
(s1665 1.0)
(s1666 (/ 1.0 2.0))
(s1667 1.0)
(s1668 (/ 1.0 2.0))
(s1669 1.0)
(s1670 (/ 1.0 2.0))
(s1671 1.0)
(s1672 (/ 1.0 2.0))
(s1673 1.0)
(s1674 0.0)
(s1675 1.0)
(s1676 0.0)
(s1677 1.0)
(s1678 0.0)
(s1679 (/ 1.0 2.0))
(s1680 1.0)
(s1681 (/ 1.0 2.0))
(s1682 (/ 1.0 2.0))
(s1683 1.0)
(s1684 0.0)
(s1685 1.0)
(s1686 0.0)
(s1687 1.0)
(s1688 0.0)
(s1689 1.0)
(s1690 (/ 1.0 2.0))
(s1691 1.0)
(s1692 (/ 1.0 2.0))
(s1693 (/ 1.0 2.0))
(s1694 1.0)
(s1695 (/ 1.0 2.0))
(s1696 (/ 1.0 2.0))
(s1697 1.0)
(s1698 0.0)
(s1699 1.0)
(s1700 (/ 1.0 2.0))
(s1701 1.0)
(s1702 (/ 1.0 2.0))
(s1703 (/ 1.0 2.0))
(s1704 1.0)
(s1705 (/ 1.0 2.0))
(s1706 0.0)
(s1707 1.0)
(s1708 (/ 1.0 2.0))
(s1709 1.0)
(s1710 (/ 1.0 2.0))
(s1711 (/ 1.0 2.0))
(s1712 1.0)
(s1713 (/ 1.0 2.0))
(s1714 1.0)
(s1715 (/ 1.0 2.0))
(s1716 1.0)
(s1717 0.0)
(s1718 (/ 1.0 2.0))
(s1719 1.0)
(s1720 (/ 1.0 2.0))
(s1721 1.0)
(s1722 (/ 1.0 2.0))
(s1723 1.0)
(s1724 (/ 1.0 2.0))
(s1725 (/ 1.0 2.0))
(s1726 1.0)
(s1727 0.0)
(s1728 1.0)
(s1729 (/ 1.0 2.0))
(s1730 (/ 1.0 2.0))
(s1731 1.0)
(s1732 (/ 1.0 2.0))
(s1733 1.0)
(s1734 0.0)
(s1735 1.0)
(s1736 0.0)
(s1737 (/ 1.0 2.0))
(s1738 1.0)
(s1739 (/ 1.0 2.0))
(s1740 1.0)
(s1741 (/ 1.0 2.0))
(s1742 1.0)
(s1743 (/ 1.0 2.0))
(s1744 1.0)
(s1745 (/ 1.0 2.0))
(s1746 (/ 1.0 2.0))
(s1747 1.0)
(s1748 (/ 1.0 2.0))
(s1749 (/ 1.0 2.0))
(s1750 1.0)
(s1751 (/ 1.0 2.0))
(s1752 (/ 1.0 2.0))
(s1753 1.0)
(s1754 0.0)
(s1755 (/ 1.0 2.0))
(s1756 1.0)
(s1757 (/ 1.0 2.0))
(s1758 1.0)
(s1759 (/ 1.0 2.0))
(s1760 0.0)
(s1761 1.0)
(s1762 (/ 1.0 2.0))
(s1763 1.0)
(s1764 0.0)
(s1765 1.0)
(s1766 0.0)
(s1767 1.0)
(s1768 (/ 1.0 2.0))
(s1769 1.0)
(s1770 0.0)
(s1771 1.0)
(s1772 (/ 1.0 2.0))
(s1773 1.0)
(s1774 (/ 1.0 2.0))
(s1775 1.0)
(s1776 (/ 1.0 2.0))
(s1777 1.0)
(s1778 (/ 1.0 2.0))
(s1779 (/ 1.0 2.0))
(s1780 1.0)
(s1781 (/ 1.0 2.0))
(s1782 1.0)
(s1783 (/ 1.0 2.0))
(s1784 0.0)
(s1785 1.0)
(s1786 (/ 1.0 2.0))
(s1787 (/ 1.0 2.0))
(s1788 1.0)
(s1789 (/ 1.0 2.0))
(s1790 1.0)
(s1791 0.0)
(s1792 1.0)
(s1793 (/ 1.0 2.0))
(s1794 1.0)
(s1795 0.0)
(s1796 1.0)
(s1797 (/ 1.0 2.0))
(s1798 1.0)
(s1799 0.0)
(s1800 1.0)
(s1801 (/ 1.0 2.0))
(s1802 1.0)
(s1803 (/ 1.0 2.0))
(s1804 1.0)
(s1805 0.0)
(s1806 1.0)
(s1807 (/ 1.0 2.0))
(s1808 1.0)
(s1809 (/ 1.0 2.0))
(s1810 1.0)
(s1811 (/ 1.0 2.0))
(s1812 1.0)
(s1813 (/ 1.0 2.0))
(s1814 1.0)
(s1815 (/ 1.0 2.0))
(s1816 1.0)
(s1817 (/ 1.0 2.0))
(s1818 1.0)
(s1819 (/ 1.0 2.0))
(s1820 1.0)
(s1821 (/ 1.0 2.0))
(s1822 1.0)
(s1823 (/ 1.0 2.0))
(s1824 1.0)
(s1825 (/ 1.0 2.0))
(s1826 1.0)
(s1827 (/ 1.0 2.0))
(s1828 (/ 1.0 2.0))
(s1829 1.0)
(s1830 (/ 1.0 2.0))
(s1831 0.0)
(s1832 1.0)
(s1833 (/ 1.0 2.0))
(s1834 1.0)
(s1835 (/ 1.0 2.0))
(s1836 1.0)
(s1837 (/ 1.0 2.0))
(s1838 1.0)
(s1839 0.0)
(s1840 1.0)
(s1841 0.0)
(s1842 1.0)
(s1843 0.0)
(s1844 1.0)
(s1845 0.0)
(s1846 1.0)
(s1847 (/ 1.0 2.0))
(s1848 0.0)
(s1849 1.0)
(s1850 (/ 1.0 2.0))
(s1851 1.0)
(s1852 (/ 1.0 2.0))
(s1853 1.0)
(s1854 (/ 1.0 2.0))
(s1855 1.0)
(s1856 (/ 1.0 2.0))
(s1857 (/ 1.0 2.0))
(s1858 1.0)
(s1859 0.0)
(s1860 1.0)
(s1861 (/ 1.0 2.0))
(s1862 1.0)
(s1863 (/ 1.0 2.0))
(s1864 1.0)
(s1865 (/ 1.0 2.0))
(s1866 0.0)
(s1867 1.0)
(s1868 (/ 1.0 2.0))
(s1869 1.0)
(s1870 (/ 1.0 2.0))
(s1871 1.0)
(s1872 (/ 1.0 2.0))
(s1873 (/ 1.0 2.0))
(s1874 1.0)
(s1875 (/ 1.0 2.0))
(s1876 0.0)
(s1877 1.0)
(s1878 (/ 1.0 2.0))
(s1879 1.0)
(s1880 (/ 1.0 2.0))
(s1881 (/ 1.0 2.0))
(s1882 1.0)
(s1883 (/ 1.0 2.0))
(s1884 1.0)
(s1885 (/ 1.0 2.0))
(s1886 1.0)
(s1887 (/ 1.0 2.0))
(s1888 1.0)
(s1889 (/ 1.0 2.0))
(s1890 (/ 1.0 2.0))
(s1891 1.0)
(s1892 (/ 1.0 2.0))
(s1893 1.0)
(s1894 (/ 1.0 2.0))
(s1895 1.0)
(s1896 (/ 1.0 2.0))
(s1897 (/ 1.0 2.0))
(s1898 1.0)
(s1899 (/ 1.0 2.0))
(s1900 1.0)
(s1901 (/ 1.0 2.0))
(s1902 (/ 1.0 2.0))
(s1903 1.0)
(s1904 (/ 1.0 2.0))
(s1905 1.0)
(s1906 (/ 1.0 2.0))
(s1907 1.0)
(s1908 0.0)
(s1909 1.0)
(s1910 (/ 1.0 2.0))
(s1911 1.0)
(s1912 (/ 1.0 2.0))
(s1913 1.0)
(s1914 (/ 1.0 2.0))
(s1915 1.0)
(s1916 0.0)
(s1917 1.0)
(s1918 (/ 1.0 2.0))
(s1919 1.0)
(s1920 (/ 1.0 2.0))
(s1921 0.0)
(s1922 1.0)
(s1923 0.0)
(s1924 1.0)
(s1925 (/ 1.0 2.0))
(s1926 1.0)
(s1927 (/ 1.0 2.0))
(s1928 1.0)
(s1929 (/ 1.0 2.0))
(s1930 (/ 1.0 2.0))
(s1931 1.0)
(s1932 0.0)
(s1933 1.0)
(s1934 0.0)
(s1935 1.0)
(s1936 (/ 1.0 2.0))
(s1937 1.0)
(s1938 (/ 1.0 2.0))
(s1939 1.0)
(s1940 (/ 1.0 2.0))
(s1941 (/ 1.0 2.0))
(s1942 1.0)
(s1943 (/ 1.0 2.0))
(s1944 1.0)
(s1945 (/ 1.0 2.0))
(s1946 1.0)
(s1947 (/ 1.0 2.0))
(s1948 1.0)
(s1949 (/ 1.0 2.0))
(s1950 (/ 1.0 2.0))
(s1951 1.0)
(s1952 0.0)
(s1953 (/ 1.0 2.0))
(s1954 1.0)
(s1955 (/ 1.0 2.0))
(s1956 1.0)
(s1957 (/ 1.0 2.0))
(s1958 1.0)
(s1959 (/ 1.0 2.0))
(s1960 1.0)
(s1961 (/ 1.0 2.0))
(s1962 1.0)
(s1963 (/ 1.0 2.0))
(s1964 1.0)
(s1965 (/ 1.0 2.0))
(s1966 1.0)
(s1967 (/ 1.0 2.0))
(s1968 1.0)
(s1969 (/ 1.0 2.0))
(s1970 1.0)
(s1971 0.0)
(s1972 (/ 1.0 2.0))
(s1973 1.0)
(s1974 (/ 1.0 2.0))
(s1975 1.0)
(s1976 (/ 1.0 2.0))
(s1977 (/ 1.0 2.0))
(s1978 1.0)
(s1979 (/ 1.0 2.0))
(s1980 1.0)
(s1981 (/ 1.0 2.0))
(s1982 (/ 1.0 2.0))
(s1983 1.0)
(s1984 (/ 1.0 2.0))
(s1985 1.0)
(s1986 0.0)
(s1987 1.0)
(s1988 (/ 1.0 2.0))
(s1989 1.0)
(s1990 (/ 1.0 2.0))
(s1991 (/ 1.0 2.0))
(s1992 1.0)
(s1993 (/ 1.0 2.0))
(s1994 1.0)
(s1995 (/ 1.0 2.0))
(s1996 1.0)
(s1997 (/ 1.0 2.0))
(s1998 1.0)
(s1999 (/ 1.0 2.0))
(s2000 1.0)
(s2001 (/ 1.0 2.0))
(s2002 1.0)
(s2003 (/ 1.0 2.0))
(s2004 1.0)
(s2005 (/ 1.0 2.0))
(s2006 1.0)
(s2007 (/ 1.0 2.0))
(s2008 1.0)
(s2009 (/ 1.0 2.0))
(s2010 1.0)
(s2011 (/ 1.0 2.0))
(s2012 0.0)
(s2013 1.0)
(s2014 0.0)
(s2015 1.0)
(s2016 (/ 1.0 2.0))
(s2017 1.0)
(s2018 (/ 1.0 2.0))
(s2019 1.0)
(s2020 (/ 1.0 2.0))
(s2021 1.0)
(s2022 (/ 1.0 2.0))
(s2023 1.0)
(s2024 (/ 1.0 2.0))
(s2025 1.0)
(s2026 (/ 1.0 2.0))
(s2027 1.0)
(s2028 (/ 1.0 2.0))
(s2029 1.0)
(s2030 (/ 1.0 2.0))
(s2031 1.0)
(s2032 (/ 1.0 2.0))
(s2033 1.0)
(s2034 (/ 1.0 2.0))
(s2035 1.0)
(s2036 0.0)
(s2037 (/ 1.0 2.0))
(s2038 1.0)
(s2039 (/ 1.0 2.0))
(s2040 1.0)
(s2041 (/ 1.0 2.0))
(s2042 1.0)
(s2043 (/ 1.0 2.0))
(s2044 (/ 1.0 2.0))
(s2045 1.0)
(s2046 (/ 1.0 2.0))
(s2047 (/ 1.0 2.0))
(s2048 1.0)
(s2049 (/ 1.0 2.0))
(s2050 1.0)
(s2051 (/ 1.0 2.0))
(s2052 1.0)
(s2053 (/ 1.0 2.0))
(s2054 1.0)
(s2055 0.0)
(s2056 1.0)
(s2057 (/ 1.0 2.0))
(s2058 (/ 1.0 2.0))
(s2059 1.0)
(s2060 (/ 1.0 2.0))
(s2061 (/ 1.0 2.0))
(s2062 1.0)
(s2063 0.0)
(s2064 (/ 1.0 2.0))
(s2065 1.0)
(s2066 (/ 1.0 2.0))
(s2067 (/ 1.0 2.0))
(s2068 1.0)
(s2069 (/ 1.0 2.0))
(s2070 1.0)
(s2071 (/ 1.0 2.0))
(s2072 1.0)
(s2073 (/ 1.0 2.0))
(s2074 (/ 1.0 2.0))
(s2075 1.0)
(s2076 (/ 1.0 2.0))
(s2077 (/ 1.0 2.0))
(s2078 1.0)
(s2079 (/ 1.0 2.0))
(s2080 (/ 1.0 2.0))
(s2081 1.0)
(s2082 0.0)
(s2083 1.0)
(s2084 (/ 1.0 2.0))
(s2085 1.0)
(s2086 (/ 1.0 2.0))
(s2087 1.0)
(s2088 (/ 1.0 2.0))
(s2089 0.0)
(s2090 1.0)
(s2091 (/ 1.0 2.0))
(s2092 (/ 1.0 2.0))
(s2093 1.0)
(s2094 (/ 1.0 2.0))
(s2095 (/ 1.0 2.0))
(s2096 1.0)
(s2097 (/ 1.0 2.0))
(s2098 1.0)
(s2099 0.0)
(s2100 1.0)
(s2101 0.0)
(s2102 1.0)
(s2103 0.0)
(s2104 (/ 1.0 2.0))
(s2105 1.0)
(s2106 (/ 1.0 2.0))
(s2107 1.0)
(s2108 (/ 1.0 2.0))
(s2109 1.0)
(s2110 (/ 1.0 2.0))
(s2111 (/ 1.0 2.0))
(s2112 1.0)
(s2113 (/ 1.0 2.0))
(s2114 1.0)
(s2115 (/ 1.0 2.0))
(s2116 (/ 1.0 2.0))
(s2117 1.0)
(s2118 (/ 1.0 2.0))
(s2119 (/ 1.0 2.0))
(s2120 1.0)
(s2121 (/ 1.0 2.0))
(s2122 (/ 1.0 2.0))
(s2123 1.0)
(s2124 (/ 1.0 2.0))
(s2125 1.0)
(s2126 (/ 1.0 2.0))
(s2127 (/ 1.0 2.0))
(s2128 1.0)
(s2129 (/ 1.0 2.0))
(s2130 1.0)
(s2131 (/ 1.0 2.0))
(s2132 1.0)
(s2133 (/ 1.0 2.0))
(s2134 1.0)
(s2135 (/ 1.0 2.0))
(s2136 1.0)
(s2137 0.0)
(s2138 1.0)
(s2139 0.0)
(s2140 (/ 1.0 2.0))
(s2141 1.0)
(s2142 (/ 1.0 2.0))
(s2143 1.0)
(s2144 (/ 1.0 2.0))
(s2145 1.0)
(s2146 (/ 1.0 2.0))
(s2147 (/ 1.0 2.0))
(s2148 1.0)
(s2149 (/ 1.0 2.0))
(s2150 1.0)
(s2151 (/ 1.0 2.0))
(s2152 1.0)
(s2153 (/ 1.0 2.0))
(s2154 1.0)
(s2155 (/ 1.0 2.0))
(s2156 (/ 1.0 2.0))
(s2157 1.0)
(s2158 (/ 1.0 2.0))
(s2159 1.0)
(s2160 (/ 1.0 2.0))
(s2161 (/ 1.0 2.0))
(s2162 1.0)
(s2163 (/ 1.0 2.0))
(s2164 0.0)
(s2165 1.0)
(s2166 (/ 1.0 2.0))
(s2167 (/ 1.0 2.0))
(s2168 1.0)
(s2169 0.0)
(s2170 (/ 1.0 2.0))
(s2171 1.0)
(s2172 (/ 1.0 2.0))
(s2173 1.0)
(s2174 (/ 1.0 2.0))
(s2175 (/ 1.0 2.0))
(s2176 1.0)
(s2177 (/ 1.0 2.0))
(s2178 0.0)
(s2179 1.0)
(s2180 (/ 1.0 2.0))
(s2181 1.0)
(s2182 (/ 1.0 2.0))
(s2183 1.0)
(s2184 (/ 1.0 2.0))
(s2185 1.0)
(s2186 (/ 1.0 2.0))
(s2187 1.0)
(s2188 (/ 1.0 2.0))
(s2189 (/ 1.0 2.0))
(s2190 1.0)
(s2191 (/ 1.0 2.0))
(s2192 (/ 1.0 2.0))
(s2193 1.0)
(s2194 (/ 1.0 2.0))
(s2195 1.0)
(s2196 (/ 1.0 2.0))
(s2197 1.0)
(s2198 (/ 1.0 2.0))
(s2199 1.0)
(s2200 0.0)
(s2201 1.0)
(s2202 0.0)
(s2203 1.0)
(s2204 0.0)
(s2205 (/ 1.0 2.0))
(s2206 1.0)
(s2207 (/ 1.0 2.0))
(s2208 1.0)
(s2209 (/ 1.0 2.0))
(s2210 1.0)
(s2211 (/ 1.0 2.0))
(s2212 1.0)
(s2213 (/ 1.0 2.0))
(s2214 1.0)
(s2215 (/ 1.0 2.0))
(s2216 (/ 1.0 2.0))
(s2217 1.0)
(s2218 (/ 1.0 2.0))
(s2219 1.0)
(s2220 (/ 1.0 2.0))
(s2221 1.0)
(s2222 (/ 1.0 2.0))
(s2223 (/ 1.0 2.0))
(s2224 1.0)
(s2225 (/ 1.0 2.0))
(s2226 1.0)
(s2227 (/ 1.0 2.0))
(s2228 (/ 1.0 2.0))
(s2229 1.0)
(s2230 (/ 1.0 2.0))
(s2231 (/ 1.0 2.0))
(s2232 1.0)
(s2233 (/ 1.0 2.0))
(s2234 1.0)
(s2235 (/ 1.0 2.0))
(s2236 1.0)
(s2237 (/ 1.0 2.0))
(s2238 1.0)
(s2239 (/ 1.0 2.0))
(s2240 (/ 1.0 2.0))
(s2241 1.0)
(s2242 (/ 1.0 2.0))
(s2243 1.0)
(s2244 0.0)
(s2245 1.0)
(s2246 (/ 1.0 2.0))
(s2247 1.0)
(s2248 (/ 1.0 2.0))
(s2249 1.0)
(s2250 (/ 1.0 2.0))
(s2251 1.0)
(s2252 (/ 1.0 2.0))
(s2253 1.0)
(s2254 0.0)
(s2255 1.0)
(s2256 0.0)
(s2257 1.0)
(s2258 0.0)
(s2259 1.0)
(s2260 (/ 1.0 2.0))
(s2261 1.0)
(s2262 (/ 1.0 2.0))
(s2263 1.0)
(s2264 (/ 1.0 2.0))
(s2265 1.0)
(s2266 (/ 1.0 2.0))
(s2267 (/ 1.0 2.0))
(s2268 1.0)
(s2269 (/ 1.0 2.0))
(s2270 1.0)
(s2271 0.0)
(s2272 (/ 1.0 2.0))
(s2273 1.0)
(s2274 (/ 1.0 2.0))
(s2275 (/ 1.0 2.0))
(s2276 1.0)
(s2277 0.0)
(s2278 (/ 1.0 2.0))
(s2279 1.0)
(s2280 (/ 1.0 2.0))
(s2281 1.0)
(s2282 0.0)
(s2283 1.0)
(s2284 (/ 1.0 2.0))
(s2285 1.0)
(s2286 (/ 1.0 2.0))
(s2287 (/ 1.0 2.0))
(s2288 1.0)
(s2289 0.0)
(s2290 1.0)
(s2291 0.0)
(s2292 1.0)
(s2293 (/ 1.0 2.0))
(s2294 (/ 1.0 2.0))
(s2295 1.0)
(s2296 (/ 1.0 2.0))
(s2297 (/ 1.0 2.0))
(s2298 1.0)
(s2299 (/ 1.0 2.0))
(s2300 (/ 1.0 2.0))
(s2301 1.0)
(s2302 (/ 1.0 2.0))
(s2303 (/ 1.0 2.0))
(s2304 1.0)
(s2305 (/ 1.0 2.0))
(s2306 1.0)
(s2307 (/ 1.0 2.0))
(s2308 1.0)
(s2309 (/ 1.0 2.0))
(s2310 1.0)
(s2311 (/ 1.0 2.0))
(s2312 1.0)
(s2313 (/ 1.0 2.0))
(s2314 (/ 1.0 2.0))
(s2315 1.0)
(s2316 (/ 1.0 2.0))
(s2317 (/ 1.0 2.0))
(s2318 1.0)
(s2319 (/ 1.0 2.0))
(s2320 1.0)
(s2321 (/ 1.0 2.0))
(s2322 1.0)
(s2323 (/ 1.0 2.0))
(s2324 (/ 1.0 2.0))
(s2325 1.0)
(s2326 (/ 1.0 2.0))
(s2327 1.0)
(s2328 (/ 1.0 2.0))
(s2329 1.0)
(s2330 0.0)
(s2331 1.0)
(s2332 0.0)
(s2333 0.0)
(s2334 1.0)
(s2335 0.0)
(s2336 1.0)
(s2337 (/ 1.0 2.0))
(s2338 (/ 1.0 2.0))
(s2339 1.0)
(s2340 0.0)
(s2341 1.0)
(s2342 0.0)
(s2343 1.0)
(s2344 0.0)
(s2345 1.0)
(s2346 (/ 1.0 2.0))
(s2347 1.0)
(s2348 (/ 1.0 2.0))
(s2349 1.0)
(s2350 (/ 1.0 2.0))
(s2351 1.0)
(s2352 (/ 1.0 2.0))
(s2353 (/ 1.0 2.0))
(s2354 1.0)
(s2355 (/ 1.0 2.0))
(s2356 (/ 1.0 2.0))
(s2357 1.0)
(s2358 (/ 1.0 2.0))
(s2359 1.0)
(s2360 0.0)
(s2361 1.0)
(s2362 (/ 1.0 2.0))
(s2363 1.0)
(s2364 (/ 1.0 2.0))
(s2365 1.0)
(s2366 (/ 1.0 2.0))
(s2367 1.0)
(s2368 (/ 1.0 2.0))
(s2369 0.0)
(s2370 1.0)
(s2371 0.0)
(s2372 (/ 1.0 2.0))
(s2373 1.0)
(s2374 (/ 1.0 2.0))
(s2375 (/ 1.0 2.0))
(s2376 1.0)
(s2377 (/ 1.0 2.0))
(s2378 1.0)
(s2379 (/ 1.0 2.0))
(s2380 1.0)
(s2381 (/ 1.0 2.0))
(s2382 1.0)
(s2383 (/ 1.0 2.0))
(s2384 1.0)
(s2385 (/ 1.0 2.0))
(s2386 1.0)
(s2387 0.0)
(s2388 1.0)
(s2389 0.0)
(s2390 (/ 1.0 2.0))
(s2391 1.0)
(s2392 (/ 1.0 2.0))
(s2393 0.0)
(s2394 1.0)
(s2395 (/ 1.0 2.0))
(s2396 1.0)
(s2397 (/ 1.0 2.0))
(s2398 0.0)
(s2399 1.0)
(s2400 0.0)
(s2401 (/ 1.0 2.0))
(s2402 1.0)
(s2403 (/ 1.0 2.0))
(s2404 1.0)
(s2405 (/ 1.0 2.0))
(s2406 (/ 1.0 2.0))
(s2407 1.0)
(s2408 (/ 1.0 2.0))
(s2409 0.0)
(s2410 1.0)
(s2411 0.0)
(s2412 1.0)
(s2413 (/ 1.0 2.0))
(s2414 (/ 1.0 2.0))
(s2415 1.0)
(s2416 (/ 1.0 2.0))
(s2417 1.0)
(s2418 (/ 1.0 2.0))
(s2419 1.0)
(s2420 (/ 1.0 2.0))
(s2421 1.0)
(s2422 (/ 1.0 2.0))
(s2423 1.0)
(s2424 (/ 1.0 2.0))
(s2425 1.0)
(s2426 (/ 1.0 2.0))
(s2427 (/ 1.0 2.0))
(s2428 1.0)
(s2429 (/ 1.0 2.0))
(s2430 1.0)
(s2431 (/ 1.0 2.0))
(s2432 1.0)
(s2433 (/ 1.0 2.0))
(s2434 (/ 1.0 2.0))
(s2435 1.0)
(s2436 0.0)
(s2437 1.0)
(s2438 0.0)
(s2439 1.0)
(s2440 (/ 1.0 2.0))
(s2441 1.0)
(s2442 (/ 1.0 2.0))
(s2443 1.0)
(s2444 (/ 1.0 2.0))
(s2445 1.0)
(s2446 (/ 1.0 2.0))
(s2447 1.0)
(s2448 (/ 1.0 2.0))
(s2449 1.0)
(s2450 (/ 1.0 2.0))
(s2451 1.0)
(s2452 (/ 1.0 2.0))
(s2453 (/ 1.0 2.0))
(s2454 1.0)
(s2455 (/ 1.0 2.0))
(s2456 1.0)
(s2457 (/ 1.0 2.0))
(s2458 1.0)
(s2459 (/ 1.0 2.0))
(s2460 1.0)
(s2461 (/ 1.0 2.0))
(s2462 1.0)
(s2463 (/ 1.0 2.0))
(s2464 (/ 1.0 2.0))
(s2465 1.0)
(s2466 (/ 1.0 2.0))
(s2467 (/ 1.0 2.0))
(s2468 1.0)
(s2469 (/ 1.0 2.0))
(s2470 1.0)
(s2471 (/ 1.0 2.0))
(s2472 (/ 1.0 2.0))
(s2473 1.0)
(s2474 (/ 1.0 2.0))
(s2475 1.0)
(s2476 (/ 1.0 2.0))
(s2477 (/ 1.0 2.0))
(s2478 1.0)
(s2479 (/ 1.0 2.0))
(s2480 0.0)
(s2481 1.0)
(s2482 (/ 1.0 2.0))
(s2483 1.0)
(s2484 0.0)
(s2485 (/ 1.0 2.0))
(s2486 1.0)
(s2487 (/ 1.0 2.0))
(s2488 (/ 1.0 2.0))
(s2489 1.0)
(s2490 (/ 1.0 2.0))
(s2491 (/ 1.0 2.0))
(s2492 1.0)
(s2493 (/ 1.0 2.0))
(s2494 1.0)
(s2495 (/ 1.0 2.0))
(s2496 1.0)
(s2497 (/ 1.0 2.0))
(s2498 1.0)
(s2499 (/ 1.0 2.0))
(s2500 0.0)
(s2501 1.0)
(s2502 (/ 1.0 2.0))
(s2503 1.0)
(s2504 (/ 1.0 2.0))
(s2505 (/ 1.0 2.0))
(s2506 1.0)
(s2507 0.0)
(s2508 1.0)
(s2509 (/ 1.0 2.0))
(s2510 1.0)
(s2511 (/ 1.0 2.0))
(s2512 1.0)
(s2513 0.0)
(s2514 1.0)
(s2515 (/ 1.0 2.0))
(s2516 (/ 1.0 2.0))
(s2517 1.0)
(s2518 (/ 1.0 2.0))
(s2519 0.0)
(s2520 1.0)
(s2521 (/ 1.0 2.0))
(s2522 1.0)
(s2523 (/ 1.0 2.0))
(s2524 1.0)
(s2525 (/ 1.0 2.0))
(s2526 (/ 1.0 2.0))
(s2527 1.0)
(s2528 (/ 1.0 2.0))
(s2529 (/ 1.0 2.0))
(s2530 1.0)
(s2531 (/ 1.0 2.0))
(s2532 1.0)
(s2533 0.0)
(s2534 (/ 1.0 2.0))
(s2535 1.0)
(s2536 (/ 1.0 2.0))
(s2537 1.0)
(s2538 (/ 1.0 2.0))
(s2539 1.0)
(s2540 0.0)
(s2541 1.0)
(s2542 (/ 1.0 2.0))
(s2543 1.0)
(s2544 (/ 1.0 2.0))
(s2545 1.0)
(s2546 0.0)
(s2547 1.0)
(s2548 (/ 1.0 2.0))
(s2549 1.0)
(s2550 (/ 1.0 2.0))
(s2551 1.0)
(s2552 (/ 1.0 2.0))
(s2553 1.0)
(s2554 (/ 1.0 2.0))
(s2555 1.0)
(s2556 (/ 1.0 2.0))
(s2557 (/ 1.0 2.0))
(s2558 1.0)
(s2559 (/ 1.0 2.0))
(s2560 (/ 1.0 2.0))
(s2561 1.0)
(s2562 (/ 1.0 2.0))
(s2563 (/ 1.0 2.0))
(s2564 1.0)
(s2565 (/ 1.0 2.0))
(s2566 1.0)
(s2567 (/ 1.0 2.0))
(s2568 1.0)
(s2569 (/ 1.0 2.0))
(s2570 1.0)
(s2571 (/ 1.0 2.0))
(s2572 1.0)
(s2573 (/ 1.0 2.0))
(s2574 1.0)
(s2575 (/ 1.0 2.0))
(s2576 1.0)
(s2577 (/ 1.0 2.0))
(s2578 1.0)
(s2579 (/ 1.0 2.0))
(s2580 1.0)
(s2581 (/ 1.0 2.0))
(s2582 0.0)
(s2583 1.0)
(s2584 (/ 1.0 2.0))
(s2585 1.0)
(s2586 0.0)
(s2587 (/ 1.0 2.0))
(s2588 1.0)
(s2589 (/ 1.0 2.0))
(s2590 (/ 1.0 2.0))
(s2591 1.0)
(s2592 (/ 1.0 2.0))
(s2593 1.0)
(s2594 (/ 1.0 2.0))
(s2595 0.0)
(s2596 1.0)
(s2597 (/ 1.0 2.0))
(s2598 1.0)
(s2599 0.0)
(s2600 (/ 1.0 2.0))
(s2601 1.0)
(s2602 (/ 1.0 2.0))
(s2603 1.0)
(s2604 (/ 1.0 2.0))
(s2605 1.0)
(s2606 0.0)
(s2607 (/ 1.0 2.0))
(s2608 1.0)
(s2609 (/ 1.0 2.0))
(s2610 1.0)
(s2611 (/ 1.0 2.0))
(s2612 1.0)
(s2613 (/ 1.0 2.0))
(s2614 (/ 1.0 2.0))
(s2615 1.0)
(s2616 (/ 1.0 2.0))
(s2617 1.0)
(s2618 0.0)
(s2619 1.0)
(s2620 0.0)
(s2621 1.0)
(s2622 (/ 1.0 2.0))
(s2623 1.0)
(s2624 0.0)
(s2625 (/ 1.0 2.0))
(s2626 1.0)
(s2627 (/ 1.0 2.0))
(s2628 1.0)
(s2629 0.0)
(s2630 1.0)
(s2631 (/ 1.0 2.0))
(s2632 (/ 1.0 2.0))
(s2633 1.0)
(s2634 (/ 1.0 2.0))
(s2635 1.0)
(s2636 (/ 1.0 2.0))
(s2637 1.0)
(s2638 (/ 1.0 2.0))
(s2639 0.0)
(s2640 1.0)
(s2641 (/ 1.0 2.0))
(s2642 (/ 1.0 2.0))
(s2643 1.0)
(s2644 (/ 1.0 2.0))
(s2645 1.0)
(s2646 (/ 1.0 2.0))
(s2647 1.0)
(s2648 (/ 1.0 2.0))
(s2649 0.0)
(s2650 1.0)
(s2651 (/ 1.0 2.0))
(s2652 1.0)
(s2653 (/ 1.0 2.0))
(s2654 1.0)
(s2655 (/ 1.0 2.0))
(s2656 0.0)
(s2657 1.0)
(s2658 (/ 1.0 2.0))
(s2659 1.0)
(s2660 (/ 1.0 2.0))
(s2661 1.0)
(s2662 (/ 1.0 2.0))
(s2663 (/ 1.0 2.0))
(s2664 1.0)
(s2665 (/ 1.0 2.0))
(s2666 1.0)
(s2667 (/ 1.0 2.0))
(s2668 (/ 1.0 2.0))
(s2669 1.0)
(s2670 (/ 1.0 2.0))
(s2671 0.0)
(s2672 1.0)
(s2673 0.0)
(s2674 (/ 1.0 2.0))
(s2675 1.0)
(s2676 (/ 1.0 2.0))
(s2677 1.0)
(s2678 (/ 1.0 2.0))
(s2679 1.0)
(s2680 (/ 1.0 2.0))
(s2681 1.0)
(s2682 (/ 1.0 2.0))
(s2683 (/ 1.0 2.0))
(s2684 1.0)
(s2685 (/ 1.0 2.0))
(s2686 (/ 1.0 2.0))
(s2687 1.0)
(s2688 0.0)
(s2689 1.0)
(s2690 (/ 1.0 2.0))
(s2691 (/ 1.0 2.0))
(s2692 1.0)
(s2693 (/ 1.0 2.0))
(s2694 0.0)
(s2695 1.0)
(s2696 (/ 1.0 2.0))
(s2697 1.0)
(s2698 (/ 1.0 2.0))
(s2699 1.0)
(s2700 (/ 1.0 2.0))
(s2701 (/ 1.0 2.0))
(s2702 1.0)
(s2703 (/ 1.0 2.0))
(s2704 (/ 1.0 2.0))
(s2705 1.0)
(s2706 0.0)
(s2707 1.0)
(s2708 0.0)
(s2709 1.0)
(s2710 (/ 1.0 2.0))
(s2711 1.0)
(s2712 (/ 1.0 2.0))
(s2713 (/ 1.0 2.0))
(s2714 1.0)
(s2715 (/ 1.0 2.0))
(s2716 1.0)
(s2717 (/ 1.0 2.0))
(s2718 1.0)
(s2719 (/ 1.0 2.0))
(s2720 1.0)
(s2721 (/ 1.0 2.0))
(s2722 1.0)
(s2723 (/ 1.0 2.0))
(s2724 1.0)
(s2725 (/ 1.0 2.0))
(s2726 1.0)
(s2727 (/ 1.0 2.0))
(s2728 (/ 1.0 2.0))
(s2729 1.0)
(s2730 (/ 1.0 2.0))
(s2731 1.0)
(s2732 (/ 1.0 2.0))
(s2733 1.0)
(s2734 (/ 1.0 2.0))
(s2735 (/ 1.0 2.0))
(s2736 1.0)
(s2737 (/ 1.0 2.0))
(s2738 1.0)
(s2739 (/ 1.0 2.0))
(s2740 1.0)
(s2741 (/ 1.0 2.0))
(s2742 (/ 1.0 2.0))
(s2743 1.0)
(s2744 (/ 1.0 2.0))
(s2745 1.0)
(s2746 0.0)
(s2747 1.0)
(s2748 (/ 1.0 2.0))
(s2749 1.0)
(s2750 (/ 1.0 2.0))
(s2751 0.0)
(s2752 1.0)
(s2753 (/ 1.0 2.0))
(s2754 1.0)
(s2755 (/ 1.0 2.0))
(s2756 (/ 1.0 2.0))
(s2757 1.0)
(s2758 (/ 1.0 2.0))
(s2759 (/ 1.0 2.0))
(s2760 1.0)
(s2761 (/ 1.0 2.0))
(s2762 1.0)
(s2763 0.0)
(s2764 (/ 1.0 2.0))
(s2765 1.0)
(s2766 (/ 1.0 2.0))
(s2767 1.0)
(s2768 (/ 1.0 2.0))
(s2769 0.0)
(s2770 1.0)
(s2771 (/ 1.0 2.0))
(s2772 1.0)
(s2773 (/ 1.0 2.0))
(s2774 1.0)
(s2775 (/ 1.0 2.0))
(s2776 (/ 1.0 2.0))
(s2777 1.0)
(s2778 (/ 1.0 2.0))
(s2779 1.0)
(s2780 (/ 1.0 2.0))
(s2781 1.0)
(s2782 (/ 1.0 2.0))
(s2783 1.0)
(s2784 (/ 1.0 2.0))
(s2785 1.0)
(s2786 (/ 1.0 2.0))
(s2787 1.0)
(s2788 (/ 1.0 2.0))
(s2789 1.0)
(s2790 (/ 1.0 2.0))
(s2791 1.0)
(s2792 (/ 1.0 2.0))
(s2793 1.0)
(s2794 (/ 1.0 2.0))
(s2795 (/ 1.0 2.0))
(s2796 1.0)
(s2797 0.0)
(s2798 1.0)
(s2799 (/ 1.0 2.0))
(s2800 (/ 1.0 2.0))
(s2801 1.0)
(s2802 (/ 1.0 2.0))
(s2803 1.0)
(s2804 (/ 1.0 2.0))
(s2805 1.0)
(s2806 0.0)
(s2807 1.0)
(s2808 (/ 1.0 2.0))
(s2809 1.0)
(s2810 (/ 1.0 2.0))
(s2811 1.0)
(s2812 (/ 1.0 2.0))
(s2813 1.0)
(s2814 0.0)
(s2815 (/ 1.0 2.0))
(s2816 1.0)
(s2817 (/ 1.0 2.0))
(s2818 1.0)
(s2819 (/ 1.0 2.0))
(s2820 1.0)
(s2821 (/ 1.0 2.0))
(s2822 1.0)
(s2823 (/ 1.0 2.0))
(s2824 1.0)
(s2825 (/ 1.0 2.0))
(s2826 0.0)
(s2827 1.0)
(s2828 (/ 1.0 2.0))
(s2829 1.0)
(s2830 (/ 1.0 2.0))
(s2831 1.0)
(s2832 (/ 1.0 2.0))
(s2833 1.0)
(s2834 0.0)
(s2835 1.0)
(s2836 0.0)
(s2837 1.0)
(s2838 (/ 1.0 2.0))
(s2839 1.0)
(s2840 (/ 1.0 2.0))
(s2841 1.0)
(s2842 (/ 1.0 2.0))
(s2843 (/ 1.0 2.0))
(s2844 1.0)
(s2845 (/ 1.0 2.0))
(s2846 1.0)
(s2847 (/ 1.0 2.0))
(s2848 1.0)
(s2849 (/ 1.0 2.0))
(s2850 1.0)
(s2851 (/ 1.0 2.0))
(s2852 1.0)
(s2853 (/ 1.0 2.0))
(s2854 1.0)
(s2855 (/ 1.0 2.0))
(s2856 1.0)
(s2857 (/ 1.0 2.0))
(s2858 1.0)
(s2859 (/ 1.0 2.0))
(s2860 1.0)
(s2861 0.0)
(s2862 1.0)
(s2863 (/ 1.0 2.0))
(s2864 (/ 1.0 2.0))
(s2865 1.0)
(s2866 0.0)
(s2867 1.0)
(s2868 (/ 1.0 2.0))
(s2869 1.0)
(s2870 (/ 1.0 2.0))
(s2871 1.0)
(s2872 (/ 1.0 2.0))
(s2873 (/ 1.0 2.0))
(s2874 1.0)
(s2875 0.0)
(s2876 1.0)
(s2877 (/ 1.0 2.0))
(s2878 1.0)
(s2879 (/ 1.0 2.0))
(s2880 1.0)
(s2881 0.0)
(s2882 1.0)
(s2883 (/ 1.0 2.0))
(s2884 1.0)
(s2885 (/ 1.0 2.0))
(s2886 (/ 1.0 2.0))
(s2887 1.0)
(s2888 (/ 1.0 2.0))
(s2889 0.0)
(s2890 1.0)
(s2891 0.0)
(s2892 1.0)
(s2893 0.0)
(s2894 (/ 1.0 2.0))
(s2895 1.0)
(s2896 (/ 1.0 2.0))
(s2897 1.0)
(s2898 (/ 1.0 2.0))
(s2899 1.0)
(s2900 (/ 1.0 2.0))
(s2901 (/ 1.0 2.0))
(s2902 1.0)
(s2903 0.0)
(s2904 (/ 1.0 2.0))
(s2905 1.0)
(s2906 (/ 1.0 2.0))
(s2907 (/ 1.0 2.0))
(s2908 1.0)
(s2909 (/ 1.0 2.0))
(s2910 1.0)
(s2911 (/ 1.0 2.0))
(s2912 1.0)
(s2913 (/ 1.0 2.0))
(s2914 0.0)
(s2915 1.0)
(s2916 0.0)
(s2917 1.0)
(s2918 (/ 1.0 2.0))
(s2919 1.0)
(s2920 (/ 1.0 2.0))
(s2921 1.0)
(s2922 (/ 1.0 2.0))
(s2923 (/ 1.0 2.0))
(s2924 1.0)
(s2925 (/ 1.0 2.0))
(s2926 0.0)
(s2927 1.0)
(s2928 (/ 1.0 2.0))
(s2929 (/ 1.0 2.0))
(s2930 1.0)
(s2931 (/ 1.0 2.0))
(s2932 (/ 1.0 2.0))
(s2933 1.0)
(s2934 0.0)
(s2935 1.0)
(s2936 0.0)
(s2937 1.0)
(s2938 (/ 1.0 2.0))
(s2939 (/ 1.0 2.0))
(s2940 1.0)
(s2941 (/ 1.0 2.0))
(s2942 1.0)
(s2943 (/ 1.0 2.0))
(s2944 1.0)
(s2945 (/ 1.0 2.0))
(s2946 (/ 1.0 2.0))
(s2947 1.0)
(s2948 (/ 1.0 2.0))
(s2949 1.0)
(s2950 (/ 1.0 2.0))
(s2951 1.0)
(s2952 (/ 1.0 2.0))
(s2953 1.0)
(s2954 (/ 1.0 2.0))
(s2955 1.0)
(s2956 (/ 1.0 2.0))
(s2957 1.0)
(s2958 (/ 1.0 2.0))
(s2959 1.0)
(s2960 (/ 1.0 2.0))
(s2961 1.0)
(s2962 (/ 1.0 2.0))
(s2963 1.0)
(s2964 0.0)
(s2965 1.0)
(s2966 0.0)
(s2967 1.0)
(s2968 0.0)
(s2969 1.0)
(s2970 0.0)
(s2971 (/ 1.0 2.0))
(s2972 1.0)
(s2973 (/ 1.0 2.0))
(s2974 1.0)
(s2975 (/ 1.0 2.0))
(s2976 1.0)
(s2977 (/ 1.0 2.0))
(s2978 1.0)
(s2979 (/ 1.0 2.0))
(s2980 0.0)
(s2981 1.0)
(s2982 0.0)
(s2983 (/ 1.0 2.0))
(s2984 1.0)
(s2985 (/ 1.0 2.0))
(s2986 (/ 1.0 2.0))
(s2987 1.0)
(s2988 (/ 1.0 2.0))
(s2989 1.0)
(s2990 (/ 1.0 2.0))
(s2991 (/ 1.0 2.0))
(s2992 1.0)
(s2993 (/ 1.0 2.0))
(s2994 0.0)
(s2995 1.0)
(s2996 0.0)
(s2997 1.0)
(s2998 (/ 1.0 2.0))
(s2999 0.0)
(s3000 1.0)
(s3001 (/ 1.0 2.0))
(s3002 1.0)
(s3003 (/ 1.0 2.0))
(s3004 1.0)
(s3005 (/ 1.0 2.0))
(s3006 1.0)
(s3007 (/ 1.0 2.0))
(s3008 1.0)
(s3009 0.0)
(s3010 1.0)
(s3011 (/ 1.0 2.0))
(s3012 1.0)
(s3013 0.0)
(s3014 1.0)
(s3015 0.0)
(s3016 (/ 1.0 2.0))
(s3017 1.0)
(s3018 0.0)
(s3019 1.0)
(s3020 (/ 1.0 2.0))
(s3021 1.0)
(s3022 (/ 1.0 2.0))
(s3023 1.0)
(s3024 (/ 1.0 2.0))
(s3025 1.0)
(s3026 (/ 1.0 2.0))
(s3027 1.0)
(s3028 0.0)
(s3029 1.0)
(s3030 (/ 1.0 2.0))
(s3031 1.0)
(s3032 (/ 1.0 2.0))
(s3033 (/ 1.0 2.0))
(s3034 1.0)
(s3035 (/ 1.0 2.0))
(s3036 (/ 1.0 2.0))
(s3037 1.0)
(s3038 (/ 1.0 2.0))
(s3039 1.0)
(s3040 (/ 1.0 2.0))
(s3041 1.0)
(s3042 (/ 1.0 2.0))
(s3043 1.0)
(s3044 (/ 1.0 2.0))
(s3045 1.0)
(s3046 (/ 1.0 2.0))
(s3047 1.0)
(s3048 (/ 1.0 2.0))
(s3049 1.0)
(s3050 (/ 1.0 2.0))
(s3051 1.0)
(s3052 (/ 1.0 2.0))
(s3053 1.0)
(s3054 (/ 1.0 2.0))
(s3055 1.0)
(s3056 (/ 1.0 2.0))
(s3057 1.0)
(s3058 (/ 1.0 2.0))
(s3059 1.0)
(s3060 0.0)
(s3061 1.0)
(s3062 0.0)
(s3063 1.0)
(s3064 0.0)
(s3065 1.0)
(s3066 0.0)
(s3067 1.0)
(s3068 (/ 1.0 2.0))
(s3069 1.0)
(s3070 (/ 1.0 2.0))
(s3071 1.0)
(s3072 (/ 1.0 2.0))
(s3073 0.0)
(s3074 1.0)
(s3075 (/ 1.0 2.0))
(s3076 (/ 1.0 2.0))
(s3077 1.0)
(s3078 (/ 1.0 2.0))
(s3079 1.0)
(s3080 (/ 1.0 2.0))
(s3081 1.0)
(s3082 (/ 1.0 2.0))
(s3083 1.0)
(s3084 0.0)
(s3085 1.0)
(s3086 (/ 1.0 2.0))
(s3087 1.0)
(s3088 (/ 1.0 2.0))
(s3089 1.0)
(s3090 (/ 1.0 2.0))
(s3091 (/ 1.0 2.0))
(s3092 1.0)
(s3093 (/ 1.0 2.0))
(s3094 (/ 1.0 2.0))
(s3095 1.0)
(s3096 (/ 1.0 2.0))
(s3097 1.0)
(s3098 (/ 1.0 2.0))
(s3099 1.0)
(s3100 (/ 1.0 2.0))
(s3101 1.0)
(s3102 (/ 1.0 2.0))
(s3103 1.0)
(s3104 (/ 1.0 2.0))
(s3105 1.0)
(s3106 (/ 1.0 2.0))
(s3107 (/ 1.0 2.0))
(s3108 1.0)
(s3109 (/ 1.0 2.0))
(s3110 (/ 1.0 2.0))
(s3111 1.0)
(s3112 (/ 1.0 2.0))
(s3113 (/ 1.0 2.0))
(s3114 1.0)
(s3115 (/ 1.0 2.0))
(s3116 1.0)
(s3117 (/ 1.0 2.0))
(s3118 1.0)
(s3119 (/ 1.0 2.0))
(s3120 (/ 1.0 2.0))
(s3121 1.0)
(s3122 (/ 1.0 2.0))
(s3123 1.0)
(s3124 (/ 1.0 2.0))
(s3125 1.0)
(s3126 (/ 1.0 2.0))
(s3127 1.0)
(s3128 (/ 1.0 2.0))
(s3129 1.0)
(s3130 (/ 1.0 2.0))
(s3131 (/ 1.0 2.0))
(s3132 1.0)
(s3133 (/ 1.0 2.0))
(s3134 1.0)
(s3135 (/ 1.0 2.0))
(s3136 1.0)
(s3137 (/ 1.0 2.0))
(s3138 0.0)
(s3139 1.0)
(s3140 (/ 1.0 2.0))
(s3141 1.0)
(s3142 (/ 1.0 2.0))
(s3143 (/ 1.0 2.0))
(s3144 1.0)
(s3145 (/ 1.0 2.0))
(s3146 1.0)
(s3147 (/ 1.0 2.0))
(s3148 1.0)
(s3149 0.0)
(s3150 (/ 1.0 2.0))
(s3151 1.0)
(s3152 (/ 1.0 2.0))
(s3153 1.0)
(s3154 (/ 1.0 2.0))
(s3155 0.0)
(s3156 1.0)
(s3157 (/ 1.0 2.0))
(s3158 1.0)
(s3159 (/ 1.0 2.0))
(s3160 (/ 1.0 2.0))
(s3161 1.0)
(s3162 (/ 1.0 2.0))
(s3163 1.0)
(s3164 (/ 1.0 2.0))
(s3165 1.0)
(s3166 (/ 1.0 2.0))
(s3167 1.0)
(s3168 0.0)
(s3169 1.0)
(s3170 (/ 1.0 2.0))
(s3171 1.0)
(s3172 (/ 1.0 2.0))
(s3173 1.0)
(s3174 (/ 1.0 2.0))
(s3175 1.0)
(s3176 (/ 1.0 2.0))
(s3177 1.0)
(s3178 (/ 1.0 2.0))
(s3179 1.0)
(s3180 (/ 1.0 2.0))
(s3181 1.0)
(s3182 (/ 1.0 2.0))
(s3183 (/ 1.0 2.0))
(s3184 1.0)
(s3185 (/ 1.0 2.0))
(s3186 1.0)
(s3187 (/ 1.0 2.0))
(s3188 1.0)
(s3189 (/ 1.0 2.0))
(s3190 1.0)
(s3191 (/ 1.0 2.0))
(s3192 1.0)
(s3193 0.0)
(s3194 1.0)
(s3195 0.0)
(s3196 (/ 1.0 2.0))
(s3197 1.0)
(s3198 (/ 1.0 2.0))
(s3199 1.0)
(s3200 0.0)
(s3201 (/ 1.0 2.0))
(s3202 1.0)
(s3203 (/ 1.0 2.0))
(s3204 1.0)
(s3205 (/ 1.0 2.0))
(s3206 (/ 1.0 2.0))
(s3207 1.0)
(s3208 (/ 1.0 2.0))
(s3209 1.0)
(s3210 (/ 1.0 2.0))
(s3211 1.0)
(s3212 (/ 1.0 2.0))
(s3213 1.0)
(s3214 (/ 1.0 2.0))
(s3215 (/ 1.0 2.0))
(s3216 1.0)
(s3217 0.0)
(s3218 (/ 1.0 2.0))
(s3219 1.0)
(s3220 (/ 1.0 2.0))
(s3221 1.0)
(s3222 (/ 1.0 2.0))
(s3223 1.0)
(s3224 (/ 1.0 2.0))
(s3225 1.0)
(s3226 0.0)
(s3227 1.0)
(s3228 0.0)
(s3229 1.0)
(s3230 (/ 1.0 2.0))
(s3231 0.0)
(s3232 1.0)
(s3233 (/ 1.0 2.0))
(s3234 1.0)
(s3235 (/ 1.0 2.0))
(s3236 (/ 1.0 2.0))
(s3237 1.0)
(s3238 (/ 1.0 2.0))
(s3239 (/ 1.0 2.0))
(s3240 1.0)
(s3241 0.0)
(s3242 1.0)
(s3243 (/ 1.0 2.0))
(s3244 (/ 1.0 2.0))
(s3245 1.0)
(s3246 (/ 1.0 2.0))
(s3247 (/ 1.0 2.0))
(s3248 1.0)
(s3249 (/ 1.0 2.0))
(s3250 0.0)
(s3251 1.0)
(s3252 (/ 1.0 2.0))
(s3253 (/ 1.0 2.0))
(s3254 1.0)
(s3255 (/ 1.0 2.0))
(s3256 1.0)
(s3257 (/ 1.0 2.0))
(s3258 1.0)
(s3259 (/ 1.0 2.0))
(s3260 1.0)
(s3261 (/ 1.0 2.0))
(s3262 (/ 1.0 2.0))
(s3263 1.0)
(s3264 (/ 1.0 2.0))
(s3265 1.0)
(s3266 (/ 1.0 2.0))
(s3267 0.0)
(s3268 1.0)
(s3269 (/ 1.0 2.0))
(s3270 1.0)
(s3271 (/ 1.0 2.0))
(s3272 1.0)
(s3273 (/ 1.0 2.0))
(s3274 1.0)
(s3275 (/ 1.0 2.0))
(s3276 (/ 1.0 2.0))
(s3277 1.0)
(s3278 (/ 1.0 2.0))
(s3279 (/ 1.0 2.0))
(s3280 1.0)
(s3281 0.0)
(s3282 1.0)
(s3283 (/ 1.0 2.0))
(s3284 1.0)
(s3285 (/ 1.0 2.0))
(s3286 1.0)
(s3287 (/ 1.0 2.0))
(s3288 1.0)
(s3289 (/ 1.0 2.0))
(s3290 (/ 1.0 2.0))
(s3291 1.0)
(s3292 (/ 1.0 2.0))
(s3293 1.0)
(s3294 (/ 1.0 2.0))
(s3295 1.0)
(s3296 0.0)
(s3297 1.0)
(s3298 0.0)
(s3299 1.0)
(s3300 (/ 1.0 2.0))
(s3301 1.0)
(s3302 (/ 1.0 2.0))
(s3303 1.0)
(s3304 (/ 1.0 2.0))
(s3305 (/ 1.0 2.0))
(s3306 1.0)
(s3307 (/ 1.0 2.0))
(s3308 1.0)
(s3309 (/ 1.0 2.0))
(s3310 1.0)
(s3311 (/ 1.0 2.0))
(s3312 1.0)
(s3313 0.0)
(s3314 (/ 1.0 2.0))
(s3315 1.0)
(s3316 (/ 1.0 2.0))
(s3317 1.0)
(s3318 (/ 1.0 2.0))
(s3319 1.0)
(s3320 (/ 1.0 2.0))
(s3321 (/ 1.0 2.0))
(s3322 1.0)
(s3323 0.0)
(s3324 (/ 1.0 2.0))
(s3325 1.0)
(s3326 (/ 1.0 2.0))
(s3327 (/ 1.0 2.0))
(s3328 1.0)
(s3329 (/ 1.0 2.0))
(s3330 1.0)
(s3331 (/ 1.0 2.0))
(s3332 1.0)
(s3333 0.0)
(s3334 (/ 1.0 2.0))
(s3335 1.0)
(s3336 0.0)
(s3337 1.0)
(s3338 0.0)
(s3339 1.0)
(s3340 (/ 1.0 2.0))
(s3341 (/ 1.0 2.0))
(s3342 1.0)
(s3343 0.0)
(s3344 1.0)
(s3345 (/ 1.0 2.0))
(s3346 (/ 1.0 2.0))
(s3347 1.0)
(s3348 (/ 1.0 2.0))
(s3349 1.0)
(s3350 (/ 1.0 2.0))
(s3351 1.0)
(s3352 (/ 1.0 2.0))
(s3353 1.0)
(s3354 (/ 1.0 2.0))
(s3355 (/ 1.0 2.0))
(s3356 1.0)
(s3357 (/ 1.0 2.0))
(s3358 (/ 1.0 2.0))
(s3359 1.0)
(s3360 (/ 1.0 2.0))
(s3361 1.0)
(s3362 (/ 1.0 2.0))
(s3363 1.0)
(s3364 0.0)
(s3365 1.0)
(s3366 (/ 1.0 2.0))
(s3367 1.0)
(s3368 0.0)
(s3369 1.0)
(s3370 0.0)
(s3371 1.0)
(s3372 (/ 1.0 2.0))
(s3373 (/ 1.0 2.0))
(s3374 1.0)
(s3375 (/ 1.0 2.0))
(s3376 (/ 1.0 2.0))
(s3377 1.0)
(s3378 (/ 1.0 2.0))
(s3379 (/ 1.0 2.0))
(s3380 1.0)
(s3381 (/ 1.0 2.0))
(s3382 1.0)
(s3383 (/ 1.0 2.0))
(s3384 0.0)
(s3385 1.0)
(s3386 (/ 1.0 2.0))
(s3387 1.0)
(s3388 0.0)
(s3389 1.0)
(s3390 0.0)
(s3391 (/ 1.0 2.0))
(s3392 1.0)
(s3393 (/ 1.0 2.0))
(s3394 (/ 1.0 2.0))
(s3395 1.0)
(s3396 (/ 1.0 2.0))
(s3397 1.0)
(s3398 0.0)
(s3399 1.0)
(s3400 (/ 1.0 2.0))
(s3401 (/ 1.0 2.0))
(s3402 1.0)
(s3403 0.0)
(s3404 (/ 1.0 2.0))
(s3405 1.0)
(s3406 (/ 1.0 2.0))
(s3407 1.0)
(s3408 0.0)
(s3409 1.0)
(s3410 0.0)
(s3411 1.0)
(s3412 (/ 1.0 2.0))
(s3413 1.0)
(s3414 (/ 1.0 2.0))
(s3415 1.0)
(s3416 (/ 1.0 2.0))
(s3417 (/ 1.0 2.0))
(s3418 1.0)
(s3419 (/ 1.0 2.0))
(s3420 1.0)
(s3421 (/ 1.0 2.0))
(s3422 (/ 1.0 2.0))
(s3423 1.0)
(s3424 (/ 1.0 2.0))
(s3425 1.0)
(s3426 (/ 1.0 2.0))
(s3427 (/ 1.0 2.0))
(s3428 1.0)
(s3429 0.0)
(s3430 (/ 1.0 2.0))
(s3431 1.0)
(s3432 (/ 1.0 2.0))
(s3433 1.0)
(s3434 (/ 1.0 2.0))
(s3435 0.0)
(s3436 1.0)
(s3437 (/ 1.0 2.0))
(s3438 1.0)
(s3439 (/ 1.0 2.0))
(s3440 1.0)
(s3441 0.0)
(s3442 1.0)
(s3443 (/ 1.0 2.0))
(s3444 1.0)
(s3445 (/ 1.0 2.0))
(s3446 1.0)
(s3447 (/ 1.0 2.0))
(s3448 (/ 1.0 2.0))
(s3449 1.0)
(s3450 0.0)
(s3451 (/ 1.0 2.0))
(s3452 1.0)
(s3453 (/ 1.0 2.0))
(s3454 (/ 1.0 2.0))
(s3455 1.0)
(s3456 0.0)
(s3457 (/ 1.0 2.0))
(s3458 1.0)
(s3459 (/ 1.0 2.0))
(s3460 1.0)
(s3461 (/ 1.0 2.0))
(s3462 1.0)
(s3463 (/ 1.0 2.0))
(s3464 1.0)
(s3465 (/ 1.0 2.0))
(s3466 1.0)
(s3467 (/ 1.0 2.0))
(s3468 1.0)
(s3469 (/ 1.0 2.0))
(s3470 (/ 1.0 2.0))
(s3471 1.0)
(s3472 (/ 1.0 2.0))
(s3473 1.0)
(s3474 (/ 1.0 2.0))
(s3475 1.0)
(s3476 (/ 1.0 2.0))
(s3477 1.0)
(s3478 0.0)
(s3479 1.0)
(s3480 0.0)
(s3481 (/ 1.0 2.0))
(s3482 1.0)
(s3483 (/ 1.0 2.0))
(s3484 1.0)
(s3485 0.0)
(s3486 1.0)
(s3487 0.0)
(s3488 1.0)
(s3489 (/ 1.0 2.0))
(s3490 1.0)
(s3491 (/ 1.0 2.0))
(s3492 (/ 1.0 2.0))
(s3493 1.0)
(s3494 (/ 1.0 2.0))
(s3495 (/ 1.0 2.0))
(s3496 1.0)
(s3497 (/ 1.0 2.0))
(s3498 1.0)
(s3499 0.0)
(s3500 1.0)
(s3501 0.0)
(s3502 1.0)
(s3503 (/ 1.0 2.0))
(s3504 1.0)
(s3505 (/ 1.0 2.0))
(s3506 1.0)
(s3507 (/ 1.0 2.0))
(s3508 1.0)
(s3509 (/ 1.0 2.0))
(s3510 1.0)
(s3511 (/ 1.0 2.0))
(s3512 1.0)
(s3513 (/ 1.0 2.0))
(s3514 1.0)
(s3515 (/ 1.0 2.0))
(s3516 1.0)
(s3517 (/ 1.0 2.0))
(s3518 1.0)
(s3519 (/ 1.0 2.0))
(s3520 (/ 1.0 2.0))
(s3521 1.0)
(s3522 (/ 1.0 2.0))
(s3523 1.0)
(s3524 (/ 1.0 2.0))
(s3525 1.0)
(s3526 (/ 1.0 2.0))
(s3527 (/ 1.0 2.0))
(s3528 1.0)
(s3529 (/ 1.0 2.0))
(s3530 1.0)
(s3531 (/ 1.0 2.0))
(s3532 1.0)
(s3533 (/ 1.0 2.0))
(s3534 (/ 1.0 2.0))
(s3535 1.0)
(s3536 (/ 1.0 2.0))
(s3537 1.0)
(s3538 (/ 1.0 2.0))
(s3539 1.0)
(s3540 (/ 1.0 2.0))
(s3541 1.0)
(s3542 (/ 1.0 2.0))
(s3543 1.0)
(s3544 (/ 1.0 2.0))
(s3545 1.0)
(s3546 (/ 1.0 2.0))
(s3547 1.0)
(s3548 0.0)
(s3549 1.0)
(s3550 0.0)
(s3551 1.0)
(s3552 (/ 1.0 2.0))
(s3553 1.0)
(s3554 (/ 1.0 2.0))
(s3555 1.0)
(s3556 (/ 1.0 2.0))
(s3557 1.0)
(s3558 (/ 1.0 2.0))
(s3559 1.0)
(s3560 0.0)
(s3561 (/ 1.0 2.0))
(s3562 1.0)
(s3563 (/ 1.0 2.0))
(s3564 1.0)
(s3565 (/ 1.0 2.0))
(s3566 1.0)
(s3567 (/ 1.0 2.0))
(s3568 1.0)
(s3569 0.0)
(s3570 1.0)
(s3571 0.0)
(s3572 1.0)
(s3573 0.0)
(s3574 1.0)
(s3575 0.0)
(s3576 1.0)
(s3577 (/ 1.0 2.0))
(s3578 1.0)
(s3579 (/ 1.0 2.0))
(s3580 (/ 1.0 2.0))
(s3581 1.0)
(s3582 (/ 1.0 2.0))
(s3583 (/ 1.0 2.0))
(s3584 1.0)
(s3585 (/ 1.0 2.0))
(s3586 1.0)
(s3587 (/ 1.0 2.0))
(s3588 1.0)
(s3589 (/ 1.0 2.0))
(s3590 1.0)
(s3591 (/ 1.0 2.0))
(s3592 (/ 1.0 2.0))
(s3593 1.0)
(s3594 (/ 1.0 2.0))
(s3595 1.0)
(s3596 (/ 1.0 2.0))
(s3597 1.0)
(s3598 (/ 1.0 2.0))
(s3599 1.0)
(s3600 (/ 1.0 2.0))
(s3601 1.0)
(s3602 (/ 1.0 2.0))
(s3603 1.0)
(s3604 (/ 1.0 2.0))
(s3605 1.0)
(s3606 0.0)
(s3607 1.0)
(s3608 0.0)
(s3609 1.0)
(s3610 0.0)
(s3611 1.0)
(s3612 0.0)
(s3613 (/ 1.0 2.0))
(s3614 1.0)
(s3615 (/ 1.0 2.0))
(s3616 1.0)
(s3617 (/ 1.0 2.0))
(s3618 1.0)
(s3619 (/ 1.0 2.0))
(s3620 1.0)
(s3621 (/ 1.0 2.0))
(s3622 (/ 1.0 2.0))
(s3623 1.0)
(s3624 (/ 1.0 2.0))
(s3625 1.0)
(s3626 (/ 1.0 2.0))
(s3627 1.0)
(s3628 (/ 1.0 2.0))
(s3629 1.0)
(s3630 0.0)
(s3631 1.0)
(s3632 (/ 1.0 2.0))
(s3633 1.0)
(s3634 (/ 1.0 2.0))
(s3635 1.0)
(s3636 (/ 1.0 2.0))
(s3637 (/ 1.0 2.0))
(s3638 1.0)
(s3639 (/ 1.0 2.0))
(s3640 1.0)
(s3641 0.0)
(s3642 (/ 1.0 2.0))
(s3643 1.0)
(s3644 (/ 1.0 2.0))
(s3645 (/ 1.0 2.0))
(s3646 1.0)
(s3647 (/ 1.0 2.0))
(s3648 0.0)
(s3649 1.0)
(s3650 (/ 1.0 2.0))
(s3651 1.0)
(s3652 (/ 1.0 2.0))
(s3653 (/ 1.0 2.0))
(s3654 1.0)
(s3655 (/ 1.0 2.0))
(s3656 1.0)
(s3657 (/ 1.0 2.0))
(s3658 1.0)
(s3659 (/ 1.0 2.0))
(s3660 1.0)
(s3661 (/ 1.0 2.0))
(s3662 1.0)
(s3663 (/ 1.0 2.0))
(s3664 1.0)
(s3665 (/ 1.0 2.0))
(s3666 1.0)
(s3667 (/ 1.0 2.0))
(s3668 1.0)
(s3669 (/ 1.0 2.0))
(s3670 1.0)
(s3671 (/ 1.0 2.0))
(s3672 1.0)
(s3673 0.0)
(s3674 1.0)
(s3675 0.0)
(s3676 1.0)
(s3677 0.0)
(s3678 (/ 1.0 2.0))
(s3679 1.0)
(s3680 (/ 1.0 2.0))
(s3681 (/ 1.0 2.0))
(s3682 1.0)
(s3683 0.0)
(s3684 1.0)
(s3685 0.0)
(s3686 1.0)
(s3687 0.0)
(s3688 1.0)
(s3689 (/ 1.0 2.0))
(s3690 1.0)
(s3691 (/ 1.0 2.0))
(s3692 (/ 1.0 2.0))
(s3693 1.0)
(s3694 (/ 1.0 2.0))
(s3695 (/ 1.0 2.0))
(s3696 1.0)
(s3697 0.0)
(s3698 1.0)
(s3699 (/ 1.0 2.0))
(s3700 1.0)
(s3701 (/ 1.0 2.0))
(s3702 (/ 1.0 2.0))
(s3703 1.0)
(s3704 (/ 1.0 2.0))
(s3705 0.0)
(s3706 1.0)
(s3707 (/ 1.0 2.0))
(s3708 1.0)
(s3709 (/ 1.0 2.0))
(s3710 (/ 1.0 2.0))
(s3711 1.0)
(s3712 (/ 1.0 2.0))
(s3713 1.0)
(s3714 (/ 1.0 2.0))
(s3715 1.0)
(s3716 0.0)
(s3717 (/ 1.0 2.0))
(s3718 1.0)
(s3719 (/ 1.0 2.0))
(s3720 1.0)
(s3721 (/ 1.0 2.0))
(s3722 1.0)
(s3723 (/ 1.0 2.0))
(s3724 (/ 1.0 2.0))
(s3725 1.0)
(s3726 0.0)
(s3727 1.0)
(s3728 (/ 1.0 2.0))
(s3729 (/ 1.0 2.0))
(s3730 1.0)
(s3731 (/ 1.0 2.0))
(s3732 1.0)
(s3733 0.0)
(s3734 1.0)
(s3735 0.0)
(s3736 (/ 1.0 2.0))
(s3737 1.0)
(s3738 (/ 1.0 2.0))
(s3739 1.0)
(s3740 (/ 1.0 2.0))
(s3741 1.0)
(s3742 (/ 1.0 2.0))
(s3743 1.0)
(s3744 (/ 1.0 2.0))
(s3745 (/ 1.0 2.0))
(s3746 1.0)
(s3747 (/ 1.0 2.0))
(s3748 (/ 1.0 2.0))
(s3749 1.0)
(s3750 (/ 1.0 2.0))
(s3751 (/ 1.0 2.0))
(s3752 1.0)
(s3753 0.0)
(s3754 (/ 1.0 2.0))
(s3755 1.0)
(s3756 (/ 1.0 2.0))
(s3757 1.0)
(s3758 (/ 1.0 2.0))
(s3759 0.0)
(s3760 1.0)
(s3761 (/ 1.0 2.0))
(s3762 1.0)
(s3763 0.0)
(s3764 1.0)
(s3765 0.0)
(s3766 1.0)
(s3767 (/ 1.0 2.0))
(s3768 1.0)
(s3769 0.0)
(s3770 1.0)
(s3771 (/ 1.0 2.0))
(s3772 1.0)
(s3773 (/ 1.0 2.0))
(s3774 1.0)
(s3775 (/ 1.0 2.0))
(s3776 1.0)
(s3777 (/ 1.0 2.0))
(s3778 (/ 1.0 2.0))
(s3779 1.0)
(s3780 (/ 1.0 2.0))
(s3781 1.0)
(s3782 (/ 1.0 2.0))
(s3783 0.0)
(s3784 1.0)
(s3785 (/ 1.0 2.0))
(s3786 (/ 1.0 2.0))
(s3787 1.0)
(s3788 (/ 1.0 2.0))
(s3789 1.0)
(s3790 0.0)
(s3791 1.0)
(s3792 (/ 1.0 2.0))
(s3793 1.0)
(s3794 0.0)
(s3795 1.0)
(s3796 (/ 1.0 2.0))
(s3797 1.0)
(s3798 0.0)
(s3799 1.0)
(s3800 (/ 1.0 2.0))
(s3801 1.0)
(s3802 (/ 1.0 2.0))
(s3803 1.0)
(s3804 0.0)
(s3805 1.0)
(s3806 (/ 1.0 2.0))
(s3807 1.0)
(s3808 (/ 1.0 2.0))
(s3809 1.0)
(s3810 (/ 1.0 2.0))
(s3811 1.0)
(s3812 (/ 1.0 2.0))
(s3813 1.0)
(s3814 (/ 1.0 2.0))
(s3815 1.0)
(s3816 (/ 1.0 2.0))
(s3817 1.0)
(s3818 (/ 1.0 2.0))
(s3819 1.0)
(s3820 (/ 1.0 2.0))
(s3821 1.0)
(s3822 (/ 1.0 2.0))
(s3823 1.0)
(s3824 (/ 1.0 2.0))
(s3825 1.0)
(s3826 (/ 1.0 2.0))
(s3827 (/ 1.0 2.0))
(s3828 1.0)
(s3829 (/ 1.0 2.0))
(s3830 0.0)
(s3831 1.0)
(s3832 (/ 1.0 2.0))
(s3833 1.0)
(s3834 (/ 1.0 2.0))
(s3835 1.0)
(s3836 (/ 1.0 2.0))
(s3837 1.0)
(s3838 0.0)
(s3839 1.0)
(s3840 0.0)
(s3841 1.0)
(s3842 0.0)
(s3843 1.0)
(s3844 0.0)
(s3845 1.0)
(s3846 (/ 1.0 2.0))
(s3847 0.0)
(s3848 1.0)
(s3849 (/ 1.0 2.0))
(s3850 1.0)
(s3851 (/ 1.0 2.0))
(s3852 1.0)
(s3853 (/ 1.0 2.0))
(s3854 1.0)
(s3855 (/ 1.0 2.0))
(s3856 (/ 1.0 2.0))
(s3857 1.0)
(s3858 0.0)
(s3859 1.0)
(s3860 (/ 1.0 2.0))
(s3861 1.0)
(s3862 (/ 1.0 2.0))
(s3863 1.0)
(s3864 (/ 1.0 2.0))
(s3865 0.0)
(s3866 1.0)
(s3867 (/ 1.0 2.0))
(s3868 1.0)
(s3869 (/ 1.0 2.0))
(s3870 1.0)
(s3871 (/ 1.0 2.0))
(s3872 (/ 1.0 2.0))
(s3873 1.0)
(s3874 (/ 1.0 2.0))
(s3875 0.0)
(s3876 1.0)
(s3877 (/ 1.0 2.0))
(s3878 1.0)
(s3879 (/ 1.0 2.0))
(s3880 (/ 1.0 2.0))
(s3881 1.0)
(s3882 (/ 1.0 2.0))
(s3883 1.0)
(s3884 (/ 1.0 2.0))
(s3885 1.0)
(s3886 (/ 1.0 2.0))
(s3887 1.0)
(s3888 (/ 1.0 2.0))
(s3889 (/ 1.0 2.0))
(s3890 1.0)
(s3891 (/ 1.0 2.0))
(s3892 1.0)
(s3893 (/ 1.0 2.0))
(s3894 1.0)
(s3895 (/ 1.0 2.0))
(s3896 (/ 1.0 2.0))
(s3897 1.0)
(s3898 (/ 1.0 2.0))
(s3899 1.0)
(s3900 (/ 1.0 2.0))
(s3901 (/ 1.0 2.0))
(s3902 1.0)
(s3903 (/ 1.0 2.0))
(s3904 1.0)
(s3905 (/ 1.0 2.0))
(s3906 1.0)
(s3907 0.0)
(s3908 1.0)
(s3909 (/ 1.0 2.0))
(s3910 1.0)
(s3911 (/ 1.0 2.0))
(s3912 1.0)
(s3913 (/ 1.0 2.0))
(s3914 1.0)
(s3915 0.0)
(s3916 1.0)
(s3917 (/ 1.0 2.0))
(s3918 1.0)
(s3919 (/ 1.0 2.0))
(s3920 0.0)
(s3921 1.0)
(s3922 0.0)
(s3923 1.0)
(s3924 (/ 1.0 2.0))
(s3925 1.0)
(s3926 (/ 1.0 2.0))
(s3927 1.0)
(s3928 (/ 1.0 2.0))
(s3929 (/ 1.0 2.0))
(s3930 1.0)
(s3931 0.0)
(s3932 1.0)
(s3933 0.0)
(s3934 1.0)
(s3935 (/ 1.0 2.0))
(s3936 1.0)
(s3937 (/ 1.0 2.0))
(s3938 1.0)
(s3939 (/ 1.0 2.0))
(s3940 (/ 1.0 2.0))
(s3941 1.0)
(s3942 (/ 1.0 2.0))
(s3943 1.0)
(s3944 (/ 1.0 2.0))
(s3945 1.0)
(s3946 (/ 1.0 2.0))
(s3947 1.0)
(s3948 (/ 1.0 2.0))
(s3949 (/ 1.0 2.0))
(s3950 1.0)
(s3951 0.0)
(s3952 (/ 1.0 2.0))
(s3953 1.0)
(s3954 (/ 1.0 2.0))
(s3955 1.0)
(s3956 (/ 1.0 2.0))
(s3957 1.0)
(s3958 (/ 1.0 2.0))
(s3959 1.0)
(s3960 (/ 1.0 2.0))
(s3961 1.0)
(s3962 (/ 1.0 2.0))
(s3963 1.0)
(s3964 (/ 1.0 2.0))
(s3965 1.0)
(s3966 (/ 1.0 2.0))
(s3967 1.0)
(s3968 (/ 1.0 2.0))
(s3969 1.0)
(s3970 0.0)
(s3971 (/ 1.0 2.0))
(s3972 1.0)
(s3973 (/ 1.0 2.0))
(s3974 1.0)
(s3975 (/ 1.0 2.0))
(s3976 (/ 1.0 2.0))
(s3977 1.0)
(s3978 (/ 1.0 2.0))
(s3979 1.0)
(s3980 (/ 1.0 2.0))
(s3981 (/ 1.0 2.0))
(s3982 1.0)
(s3983 (/ 1.0 2.0))
(s3984 1.0)
(s3985 0.0)
(s3986 1.0)
(s3987 (/ 1.0 2.0))
(s3988 1.0)
(s3989 (/ 1.0 2.0))
(s3990 (/ 1.0 2.0))
(s3991 1.0)
(s3992 (/ 1.0 2.0))
(s3993 1.0)
(s3994 (/ 1.0 2.0))
(s3995 1.0)
(s3996 (/ 1.0 2.0))
(s3997 1.0)
(s3998 (/ 1.0 2.0))
(s3999 0.0)
(s4000 0.0)
(s4001 0.0)
(s4002 0.0)
(s4003 0.0)
(s4004 0.0)
(s4005 0.0)
(s4006 0.0)
(s4007 0.0)
(s4008 0.0)
(s4009 0.0)
(s4010 0.0)
(s4011 0.0)
(s4012 0.0)
(s4013 0.0)
(s4014 0.0)
(s4015 0.0)
(s4016 0.0)
(s4017 0.0)
(s4018 0.0)
(s4019 0.0)
(s4020 0.0)
(s4021 0.0)
(s4022 0.0)
(s4023 0.0)
(s4024 0.0)
(s4025 0.0)
(s4026 0.0)
(s4027 0.0)
(s4028 0.0)
(s4029 0.0)
(s4030 0.0)
(s4031 0.0)
(s4032 0.0)
(s4033 0.0)
(s4034 0.0)
(s4035 0.0)
(s4036 0.0)
(s4037 0.0)
(s4038 0.0)
(s4039 0.0)
(s4040 0.0)
(s4041 0.0)
(s4042 0.0)
(s4043 0.0)
(s4044 0.0)
(s4045 0.0)
(s4046 0.0)
(s4047 0.0)
(s4048 0.0)
(s4049 0.0)
(s4050 0.0)
(s4051 0.0)
(s4052 0.0)
(s4053 0.0)
(s4054 0.0)
(s4055 0.0)
(s4056 0.0)
(s4057 0.0)
(s4058 0.0)
(s4059 0.0)
(s4060 0.0)
(s4061 0.0)
(s4062 0.0)
(s4063 0.0)
(s4064 0.0)
(s4065 0.0)
(s4066 0.0)
(s4067 0.0)
(s4068 0.0)
(s4069 0.0)
(s4070 0.0)
(s4071 0.0)
(s4072 0.0)
(s4073 0.0)
(s4074 0.0)
(s4075 0.0)
(s4076 0.0)
(s4077 0.0)
(s4078 0.0)
(s4079 0.0)
(s4080 0.0)
(s4081 0.0)
(s4082 0.0)
(s4083 0.0)
(s4084 0.0)
(s4085 0.0)
(s4086 0.0)
(s4087 0.0)
(s4088 0.0)
(s4089 0.0)
(s4090 0.0)
(s4091 0.0)
(s4092 0.0)
(s4093 0.0)
(s4094 0.0)
(s4095 0.0)
(s4096 0.0)
(s4097 0.0)
(s4098 0.0)
(s4099 0.0)
(s4100 0.0)
(s4101 0.0)
(s4102 0.0)
(s4103 0.0)
(s4104 0.0)
(s4105 0.0)
(s4106 0.0)
(s4107 0.0)
(s4108 0.0)
(s4109 0.0)
(s4110 0.0)
(s4111 0.0)
(s4112 0.0)
(s4113 0.0)
(s4114 0.0)
(s4115 0.0)
(s4116 0.0)
(s4117 0.0)
(s4118 0.0)
(s4119 0.0)
(s4120 0.0)
(s4121 0.0)
(s4122 0.0)
(s4123 0.0)
(s4124 0.0)
(s4125 0.0)
(s4126 0.0)
(s4127 0.0)
(s4128 0.0)
(s4129 0.0)
(s4130 0.0)
(s4131 0.0)
(s4132 0.0)
(s4133 0.0)
(s4134 0.0)
(s4135 0.0)
(s4136 0.0)
(s4137 0.0)
(s4138 0.0)
(s4139 0.0)
(s4140 0.0)
(s4141 0.0)
(s4142 0.0)
(s4143 0.0)
(s4144 0.0)
(s4145 0.0)
(s4146 0.0)
(s4147 0.0)
(s4148 0.0)
(s4149 0.0)
(s4150 0.0)
(s4151 0.0)
(s4152 0.0)
(s4153 0.0)
(s4154 0.0)
(s4155 0.0)
(s4156 0.0)
(s4157 0.0)
(s4158 0.0)
(s4159 0.0)
(s4160 0.0)
(s4161 0.0)
(s4162 0.0)
(s4163 0.0)
(s4164 0.0)
(s4165 0.0)
(s4166 0.0)
(s4167 0.0)
(s4168 0.0)
(s4169 0.0)
(s4170 0.0)
(s4171 0.0)
(s4172 0.0)
(s4173 0.0)
(s4174 0.0)
(s4175 0.0)
(s4176 0.0)
(s4177 0.0)
(s4178 0.0)
(s4179 0.0)
(s4180 0.0)
(s4181 0.0)
(s4182 0.0)
(s4183 0.0)
(s4184 0.0)
(s4185 0.0)
(s4186 0.0)
(s4187 0.0)
(s4188 0.0)
(s4189 0.0)
(s4190 0.0)
(s4191 0.0)
(s4192 0.0)
(s4193 0.0)
(s4194 0.0)
(s4195 0.0)
(s4196 0.0)
(s4197 0.0)
(s4198 0.0)
(s4199 0.0)
(s4200 0.0)
(s4201 0.0)
(s4202 0.0)
(s4203 0.0)
(s4204 0.0)
(s4205 0.0)
(s4206 0.0)
(s4207 0.0)
(s4208 0.0)
(s4209 0.0)
(s4210 0.0)
(s4211 0.0)
(s4212 0.0)
(s4213 0.0)
(s4214 0.0)
(s4215 0.0)
(s4216 0.0)
(s4217 0.0)
(s4218 0.0)
(s4219 0.0)
(s4220 0.0)
(s4221 0.0)
(s4222 0.0)
(s4223 0.0)
(s4224 0.0)
(s4225 0.0)
(s4226 0.0)
(s4227 0.0)
(s4228 0.0)
(s4229 0.0)
(s4230 0.0)
(s4231 0.0)
(s4232 0.0)
(s4233 0.0)
(s4234 0.0)
(s4235 0.0)
(s4236 0.0)
(s4237 0.0)
(s4238 0.0)
(s4239 0.0)
(s4240 0.0)
(s4241 0.0)
(s4242 0.0)
(s4243 0.0)
(s4244 0.0)
(s4245 0.0)
(s4246 0.0)
(s4247 0.0)
(s4248 0.0)
(s4249 0.0)
(s4250 0.0)
(s4251 0.0)
(s4252 0.0)
(s4253 0.0)
(s4254 0.0)
(s4255 0.0)
(s4256 0.0)
(s4257 0.0)
(s4258 0.0)
(s4259 0.0)
(s4260 0.0)
(s4261 0.0)
(s4262 0.0)
(s4263 0.0)
(s4264 0.0)
(s4265 0.0)
(s4266 0.0)
(s4267 0.0)
(s4268 0.0)
(s4269 0.0)
(s4270 0.0)
(s4271 0.0)
(s4272 0.0)
(s4273 0.0)
(s4274 0.0)
(s4275 0.0)
(s4276 0.0)
(s4277 0.0)
(s4278 0.0)
(s4279 0.0)
(s4280 0.0)
(s4281 0.0)
(s4282 0.0)
(s4283 0.0)
(s4284 0.0)
(s4285 0.0)
(s4286 0.0)
(s4287 0.0)
(s4288 0.0)
(s4289 0.0)
(s4290 0.0)
(s4291 0.0)
(s4292 0.0)
(s4293 0.0)
(s4294 0.0)
(s4295 0.0)
(s4296 0.0)
(s4297 0.0)
(s4298 0.0)
(s4299 0.0)
(s4300 0.0)
(s4301 0.0)
(s4302 0.0)
(s4303 0.0)
(s4304 0.0)
(s4305 0.0)
(s4306 0.0)
(s4307 0.0)
(s4308 0.0)
(s4309 0.0)
(s4310 0.0)
(s4311 0.0)
(s4312 0.0)
(s4313 0.0)
(s4314 0.0)
(s4315 0.0)
(s4316 0.0)
(s4317 0.0)
(s4318 0.0)
(s4319 0.0)
(s4320 0.0)
(s4321 0.0)
(s4322 0.0)
(s4323 0.0)
(s4324 0.0)
(s4325 0.0)
(s4326 0.0)
(s4327 0.0)
(s4328 0.0)
(s4329 0.0)
(s4330 0.0)
(s4331 0.0)
(s4332 0.0)
(s4333 0.0)
(s4334 0.0)
(s4335 0.0)
(s4336 0.0)
(s4337 0.0)
(s4338 0.0)
(s4339 0.0)
(s4340 0.0)
(s4341 0.0)
(s4342 0.0)
(s4343 0.0)
(s4344 0.0)
(s4345 0.0)
(s4346 0.0)
(s4347 0.0)
(s4348 0.0)
(s4349 0.0)
(s4350 0.0)
(s4351 0.0)
(s4352 0.0)
(s4353 0.0)
(s4354 0.0)
(s4355 0.0)
(s4356 0.0)
(s4357 0.0)
(s4358 0.0)
(s4359 0.0)
(s4360 0.0)
(s4361 0.0)
(s4362 0.0)
(s4363 0.0)
(s4364 0.0)
(s4365 0.0)
(s4366 0.0)
(s4367 0.0)
(s4368 0.0)
(s4369 0.0)
(s4370 0.0)
(s4371 0.0)
(s4372 0.0)
(s4373 0.0)
(s4374 0.0)
(s4375 0.0)
(s4376 0.0)
(s4377 0.0)
(s4378 0.0)
(s4379 0.0)
(s4380 0.0)
(s4381 0.0)
(s4382 0.0)
(s4383 0.0)
(s4384 0.0)
(s4385 0.0)
(s4386 0.0)
(s4387 0.0)
(s4388 0.0)
(s4389 0.0)
(s4390 0.0)
(s4391 0.0)
(s4392 0.0)
(s4393 0.0)
(s4394 0.0)
(s4395 0.0)
(s4396 0.0)
(s4397 0.0)
(s4398 0.0)
(s4399 0.0)
(s4400 0.0)
(s4401 0.0)
(s4402 0.0)
(s4403 0.0)
(s4404 0.0)
(s4405 0.0)
(s4406 0.0)
(s4407 0.0)
(s4408 0.0)
(s4409 0.0)
(s4410 0.0)
(s4411 0.0)
(s4412 0.0)
(s4413 0.0)
(s4414 0.0)
(s4415 0.0)
(s4416 0.0)
(s4417 0.0)
(s4418 0.0)
(s4419 0.0)
(s4420 0.0)
(s4421 0.0)
(s4422 0.0)
(s4423 0.0)
(s4424 0.0)
(s4425 0.0)
(s4426 0.0)
(s4427 0.0)
(s4428 0.0)
(s4429 0.0)
(s4430 0.0)
(s4431 0.0)
(s4432 0.0)
(s4433 0.0)
(s4434 0.0)
(s4435 0.0)
(s4436 0.0)
(s4437 0.0)
(s4438 0.0)
(s4439 0.0)
(s4440 0.0)
(s4441 0.0)
(s4442 0.0)
(s4443 0.0)
(s4444 0.0)
(s4445 0.0)
(s4446 0.0)
(s4447 0.0)
(s4448 0.0)
(s4449 0.0)
(s4450 0.0)
(s4451 0.0)
(s4452 0.0)
(s4453 0.0)
(s4454 0.0)
(s4455 0.0)
(s4456 0.0)
(s4457 0.0)
(s4458 0.0)
(s4459 0.0)
(s4460 0.0)
(s4461 0.0)
(s4462 0.0)
(s4463 0.0)
(s4464 0.0)
(s4465 0.0)
(s4466 0.0)
(s4467 0.0)
(s4468 0.0)
(s4469 0.0)
(s4470 0.0)
(s4471 0.0)
(s4472 0.0)
(s4473 0.0)
(s4474 0.0)
(s4475 0.0)
(s4476 0.0)
(s4477 0.0)
(s4478 0.0)
(s4479 0.0)
(s4480 0.0)
(s4481 0.0)
(s4482 0.0)
(s4483 0.0)
(s4484 0.0)
(s4485 0.0)
(s4486 0.0)
(s4487 0.0)
(s4488 0.0)
(s4489 0.0)
(s4490 0.0)
(s4491 0.0)
(s4492 0.0)
(s4493 0.0)
(s4494 0.0)
(s4495 0.0)
(s4496 0.0)
(s4497 0.0)
(s4498 0.0)
(s4499 0.0)
(s4500 0.0)
(s4501 0.0)
(s4502 0.0)
(s4503 0.0)
(s4504 0.0)
(s4505 0.0)
(s4506 0.0)
(s4507 0.0)
(s4508 0.0)
(s4509 0.0)
(s4510 0.0)
(s4511 0.0)
(s4512 0.0)
(s4513 0.0)
(s4514 0.0)
(s4515 0.0)
(s4516 0.0)
(s4517 0.0)
(s4518 0.0)
(s4519 0.0)
(s4520 0.0)
(s4521 0.0)
(s4522 0.0)
(s4523 0.0)
(s4524 0.0)
(s4525 0.0)
(s4526 0.0)
(s4527 0.0)
(s4528 0.0)
(s4529 0.0)
(s4530 0.0)
(s4531 0.0)
(s4532 0.0)
(s4533 0.0)
(s4534 0.0)
(s4535 0.0)
(s4536 0.0)
(s4537 0.0)
(s4538 0.0)
(s4539 0.0)
(s4540 0.0)
(s4541 0.0)
(s4542 0.0)
(s4543 0.0)
(s4544 0.0)
(s4545 0.0)
(s4546 0.0)
(s4547 0.0)
(s4548 0.0)
(s4549 0.0)
(s4550 0.0)
(s4551 0.0)
(s4552 0.0)
(s4553 0.0)
(s4554 0.0)
(s4555 0.0)
(s4556 0.0)
(s4557 0.0)
(s4558 0.0)
(s4559 0.0)
(s4560 0.0)
(s4561 0.0)
(s4562 0.0)
(s4563 0.0)
(s4564 0.0)
(s4565 0.0)
(s4566 0.0)
(s4567 0.0)
(s4568 0.0)
(s4569 0.0)
(s4570 0.0)
(s4571 0.0)
(s4572 0.0)
(s4573 0.0)
(s4574 0.0)
(s4575 0.0)
(s4576 0.0)
(s4577 0.0)
(s4578 0.0)
(s4579 0.0)
(s4580 0.0)
(s4581 0.0)
(s4582 0.0)
(s4583 0.0)
(s4584 0.0)
(s4585 0.0)
(s4586 0.0)
(s4587 0.0)
(s4588 0.0)
(s4589 0.0)
(s4590 0.0)
(s4591 0.0)
(s4592 0.0)
(s4593 0.0)
(s4594 0.0)
(s4595 0.0)
(s4596 0.0)
(s4597 0.0)
(s4598 0.0)
(s4599 0.0)
(s4600 0.0)
(s4601 0.0)
(s4602 0.0)
(s4603 0.0)
(s4604 0.0)
(s4605 0.0)
(s4606 0.0)
(s4607 0.0)
(s4608 0.0)
(s4609 0.0)
(s4610 0.0)
(s4611 0.0)
(s4612 0.0)
(s4613 0.0)
(s4614 0.0)
(s4615 0.0)
(s4616 0.0)
(s4617 0.0)
(s4618 0.0)
(s4619 0.0)
(s4620 0.0)
(s4621 0.0)
(s4622 0.0)
(s4623 0.0)
(s4624 0.0)
(s4625 0.0)
(s4626 0.0)
(s4627 0.0)
(s4628 0.0)
(s4629 0.0)
(s4630 0.0)
(s4631 0.0)
(s4632 0.0)
(s4633 0.0)
(s4634 0.0)
(s4635 0.0)
(s4636 0.0)
(s4637 0.0)
(s4638 0.0)
(s4639 0.0)
(s4640 0.0)
(s4641 0.0)
(s4642 0.0)
(s4643 0.0)
(s4644 0.0)
(s4645 0.0)
(s4646 0.0)
(s4647 0.0)
(s4648 0.0)
(s4649 0.0)
(s4650 0.0)
(s4651 0.0)
(s4652 0.0)
(s4653 0.0)
(s4654 0.0)
(s4655 0.0)
(s4656 0.0)
(s4657 0.0)
(s4658 0.0)
(s4659 0.0)
(s4660 0.0)
(s4661 0.0)
(s4662 0.0)
(s4663 0.0)
(s4664 0.0)
(s4665 0.0)
(s4666 0.0)
(s4667 0.0)
(s4668 0.0)
(s4669 0.0)
(s4670 0.0)
(s4671 0.0)
(s4672 0.0)
(s4673 0.0)
(s4674 0.0)
(s4675 0.0)
(s4676 0.0)
(s4677 0.0)
(s4678 0.0)
(s4679 0.0)
(s4680 0.0)
(s4681 0.0)
(s4682 0.0)
(s4683 0.0)
(s4684 0.0)
(s4685 0.0)
(s4686 0.0)
(s4687 0.0)
(s4688 0.0)
(s4689 0.0)
(s4690 0.0)
(s4691 0.0)
(s4692 0.0)
(s4693 0.0)
(s4694 0.0)
(s4695 0.0)
(s4696 0.0)
(s4697 0.0)
(s4698 0.0)
(s4699 0.0)
(s4700 0.0)
(s4701 0.0)
(s4702 0.0)
(s4703 0.0)
(s4704 0.0)
(s4705 0.0)
(s4706 0.0)
(s4707 0.0)
(s4708 0.0)
(s4709 0.0)
(s4710 0.0)
(s4711 0.0)
(s4712 0.0)
(s4713 0.0)
(s4714 0.0)
(s4715 0.0)
(s4716 0.0)
(s4717 0.0)
(s4718 0.0)
(s4719 0.0)
(s4720 0.0)
(s4721 0.0)
(s4722 0.0)
(s4723 0.0)
(s4724 0.0)
(s4725 0.0)
(s4726 0.0)
(s4727 0.0)
(s4728 0.0)
(s4729 0.0)
(s4730 0.0)
(s4731 0.0)
(s4732 0.0)
(s4733 0.0)
(s4734 0.0)
(s4735 0.0)
(s4736 0.0)
(s4737 0.0)
(s4738 0.0)
(s4739 0.0)
(s4740 0.0)
(s4741 0.0)
(s4742 0.0)
(s4743 0.0)
(s4744 0.0)
(s4745 0.0)
(s4746 0.0)
(s4747 0.0)
(s4748 0.0)
(s4749 0.0)
(s4750 0.0)
(s4751 0.0)
(s4752 0.0)
(s4753 0.0)
(s4754 0.0)
(s4755 0.0)
(s4756 0.0)
(s4757 0.0)
(s4758 0.0)
(s4759 0.0)
(s4760 0.0)
(s4761 0.0)
(s4762 0.0)
(s4763 0.0)
(s4764 0.0)
(s4765 0.0)
(s4766 0.0)
(s4767 0.0)
(s4768 0.0)
(s4769 0.0)
(s4770 0.0)
(s4771 0.0)
(s4772 0.0)
(s4773 0.0)
(s4774 0.0)
(s4775 0.0)
(s4776 0.0)
(s4777 0.0)
(s4778 0.0)
(s4779 0.0)
(s4780 0.0)
(s4781 0.0)
(s4782 0.0)
(s4783 0.0)
(s4784 0.0)
(s4785 0.0)
(s4786 0.0)
(s4787 0.0)
(s4788 0.0)
(s4789 0.0)
(s4790 0.0)
(s4791 0.0)
(s4792 0.0)
(s4793 0.0)
(s4794 0.0)
(s4795 0.0)
(s4796 0.0)
(s4797 0.0)
(s4798 0.0)
(s4799 0.0)
(s4800 0.0)
(s4801 0.0)
(s4802 0.0)
(s4803 0.0)
(s4804 0.0)
(s4805 0.0)
(s4806 0.0)
(s4807 0.0)
(s4808 0.0)
(s4809 0.0)
(s4810 0.0)
(s4811 0.0)
(s4812 0.0)
(s4813 0.0)
(s4814 0.0)
(s4815 0.0)
(s4816 0.0)
(s4817 0.0)
(s4818 0.0)
(s4819 0.0)
(s4820 0.0)
(s4821 0.0)
(s4822 0.0)
(s4823 0.0)
(s4824 0.0)
(s4825 0.0)
(s4826 0.0)
(s4827 0.0)
(s4828 0.0)
(s4829 0.0)
(s4830 0.0)
(s4831 0.0)
(s4832 0.0)
(s4833 0.0)
(s4834 0.0)
(s4835 0.0)
(s4836 0.0)
(s4837 0.0)
(s4838 0.0)
(s4839 0.0)
(s4840 0.0)
(s4841 0.0)
(s4842 0.0)
(s4843 0.0)
(s4844 0.0)
(s4845 0.0)
(s4846 0.0)
(s4847 0.0)
(s4848 0.0)
(s4849 0.0)
(s4850 0.0)
(s4851 0.0)
(s4852 0.0)
(s4853 0.0)
(s4854 0.0)
(s4855 0.0)
(s4856 0.0)
(s4857 0.0)
(s4858 0.0)
(s4859 0.0)
(s4860 0.0)
(s4861 0.0)
(s4862 0.0)
(s4863 0.0)
(s4864 0.0)
(s4865 0.0)
(s4866 0.0)
(s4867 0.0)
(s4868 0.0)
(s4869 0.0)
(s4870 0.0)
(s4871 0.0)
(s4872 0.0)
(s4873 0.0)
(s4874 0.0)
(s4875 0.0)
(s4876 0.0)
(s4877 0.0)
(s4878 0.0)
(s4879 0.0)
(s4880 0.0)
(s4881 0.0)
(s4882 0.0)
(s4883 0.0)
(s4884 0.0)
(s4885 0.0)
(s4886 0.0)
(s4887 0.0)
(s4888 0.0)
(s4889 0.0)
(s4890 0.0)
(s4891 0.0)
(s4892 0.0)
(s4893 0.0)
(s4894 0.0)
(s4895 0.0)
(s4896 0.0)
(s4897 0.0)
(s4898 0.0)
(s4899 0.0)
(s4900 0.0)
(s4901 0.0)
(s4902 0.0)
(s4903 0.0)
(s4904 0.0)
(s4905 0.0)
(s4906 0.0)
(s4907 0.0)
(s4908 0.0)
(s4909 0.0)
(s4910 0.0)
(s4911 0.0)
(s4912 0.0)
(s4913 0.0)
(s4914 0.0)
(s4915 0.0)
(s4916 0.0)
(s4917 0.0)
(s4918 0.0)
(s4919 0.0)
(s4920 0.0)
(s4921 0.0)
(s4922 0.0)
(s4923 0.0)
(s4924 0.0)
(s4925 0.0)
(s4926 0.0)
(s4927 0.0)
(s4928 0.0)
(s4929 0.0)
(s4930 0.0)
(s4931 0.0)
(s4932 0.0)
(s4933 0.0)
(s4934 0.0)
(s4935 0.0)
(s4936 0.0)
(s4937 0.0)
(s4938 0.0)
(s4939 0.0)
(s4940 0.0)
(s4941 0.0)
(s4942 0.0)
(s4943 0.0)
(s4944 0.0)
(s4945 0.0)
(s4946 0.0)
(s4947 0.0)
(s4948 0.0)
(s4949 0.0)
(s4950 0.0)
(s4951 0.0)
(s4952 0.0)
(s4953 0.0)
(s4954 0.0)
(s4955 0.0)
(s4956 0.0)
(s4957 0.0)
(s4958 0.0)
(s4959 0.0)
(s4960 0.0)
(s4961 0.0)
(s4962 0.0)
(s4963 0.0)
(s4964 0.0)
(s4965 0.0)
(s4966 0.0)
(s4967 0.0)
(s4968 0.0)
(s4969 0.0)
(s4970 0.0)
(s4971 0.0)
(s4972 0.0)
(s4973 0.0)
(s4974 0.0)
(s4975 0.0)
(s4976 0.0)
(s4977 0.0)
(s4978 0.0)
(s4979 0.0)
(s4980 0.0)
(s4981 0.0)
(s4982 0.0)
(s4983 0.0)
(s4984 0.0)
(s4985 0.0)
(s4986 0.0)
(s4987 0.0)
(s4988 0.0)
(s4989 0.0)
(s4990 0.0)
(s4991 0.0)
(s4992 0.0)
(s4993 0.0)
(s4994 0.0)
(s4995 0.0)
(s4996 0.0)
(s4997 0.0)
(s4998 0.0)
(s4999 0.0)
(s5000 0.0)
(s5001 0.0)
(s5002 0.0)
(s5003 0.0)
(s5004 0.0)
(s5005 0.0)
(s5006 0.0)
(s5007 0.0)
(s5008 0.0)
(s5009 0.0)
(s5010 0.0)
(s5011 0.0)
(s5012 0.0)
(s5013 0.0)
(s5014 0.0)
(s5015 0.0)
(s5016 0.0)
(s5017 0.0)
(s5018 0.0)
(s5019 0.0)
(s5020 0.0)
(s5021 0.0)
(s5022 0.0)
(s5023 0.0)
(s5024 0.0)
(s5025 0.0)
(s5026 0.0)
(s5027 0.0)
(s5028 0.0)
(s5029 0.0)
(s5030 0.0)
(s5031 0.0)
(s5032 0.0)
(s5033 0.0)
(s5034 0.0)
(s5035 0.0)
(s5036 0.0)
(s5037 0.0)
(s5038 0.0)
(s5039 0.0)
(s5040 0.0)
(s5041 0.0)
(s5042 0.0)
(s5043 0.0)
(s5044 0.0)
(s5045 0.0)
(s5046 0.0)
(s5047 0.0)
(s5048 0.0)
(s5049 0.0)
(s5050 0.0)
(s5051 0.0)
(s5052 0.0)
(s5053 0.0)
(s5054 0.0)
(s5055 0.0)
(s5056 0.0)
(s5057 0.0)
(s5058 0.0)
(s5059 0.0)
(s5060 0.0)
(s5061 0.0)
(s5062 0.0)
(s5063 0.0)
(s5064 0.0)
(s5065 0.0)
(s5066 0.0)
(s5067 0.0)
(s5068 0.0)
(s5069 0.0)
(s5070 0.0)
(s5071 0.0)
(s5072 0.0)
(s5073 0.0)
(s5074 0.0)
(s5075 0.0)
(s5076 0.0)
(s5077 0.0)
(s5078 0.0)
(s5079 0.0)
(s5080 0.0)
(s5081 0.0)
(s5082 0.0)
(s5083 0.0)
(s5084 0.0)
(s5085 0.0)
(s5086 0.0)
(s5087 0.0)
(s5088 0.0)
(s5089 0.0)
(s5090 0.0)
(s5091 0.0)
(s5092 0.0)
(s5093 0.0)
(s5094 0.0)
(s5095 0.0)
(s5096 0.0)
(s5097 0.0)
(s5098 0.0)
(s5099 0.0)
(s5100 0.0)
(s5101 0.0)
(s5102 0.0)
(s5103 0.0)
(s5104 0.0)
(s5105 0.0)
(s5106 0.0)
(s5107 0.0)
(s5108 0.0)
(s5109 0.0)
(s5110 0.0)
(s5111 0.0)
(s5112 0.0)
(s5113 0.0)
(s5114 0.0)
(s5115 0.0)
(s5116 0.0)
(s5117 0.0)
(s5118 0.0)
(s5119 0.0)
(s5120 0.0)
(s5121 0.0)
(s5122 0.0)
(s5123 0.0)
(s5124 0.0)
(s5125 0.0)
(s5126 0.0)
(s5127 0.0)
(s5128 0.0)
(s5129 0.0)
(s5130 0.0)
(s5131 0.0)
(s5132 0.0)
(s5133 0.0)
(s5134 0.0)
(s5135 0.0)
(s5136 0.0)
(s5137 0.0)
(s5138 0.0)
(s5139 0.0)
(s5140 0.0)
(s5141 0.0)
(s5142 0.0)
(s5143 0.0)
(s5144 0.0)
(s5145 0.0)
(s5146 0.0)
(s5147 0.0)
(s5148 0.0)
(s5149 0.0)
(s5150 0.0)
(s5151 0.0)
(s5152 0.0)
(s5153 0.0)
(s5154 0.0)
(s5155 0.0)
(s5156 0.0)
(s5157 0.0)
(s5158 0.0)
(s5159 0.0)
(s5160 0.0)
(s5161 0.0)
(s5162 0.0)
(s5163 0.0)
(s5164 0.0)
(s5165 0.0)
(s5166 0.0)
(s5167 0.0)
(s5168 0.0)
(s5169 0.0)
(s5170 0.0)
(s5171 0.0)
(s5172 0.0)
(s5173 0.0)
(s5174 0.0)
(s5175 0.0)
(s5176 0.0)
(s5177 0.0)
(s5178 0.0)
(s5179 0.0)
(s5180 0.0)
(s5181 0.0)
(s5182 0.0)
(s5183 0.0)
(s5184 0.0)
(s5185 0.0)
(s5186 0.0)
(s5187 0.0)
(s5188 0.0)
(s5189 0.0)
(s5190 0.0)
(s5191 0.0)
(s5192 0.0)
(s5193 0.0)
(s5194 0.0)
(s5195 0.0)
(s5196 0.0)
(s5197 0.0)
(s5198 0.0)
(s5199 0.0)
(s5200 0.0)
(s5201 0.0)
(s5202 0.0)
(s5203 0.0)
(s5204 0.0)
(s5205 0.0)
(s5206 0.0)
(s5207 0.0)
(s5208 0.0)
(s5209 0.0)
(s5210 0.0)
(s5211 0.0)
(s5212 0.0)
(s5213 0.0)
(s5214 0.0)
(s5215 0.0)
(s5216 0.0)
(s5217 0.0)
(s5218 0.0)
(s5219 0.0)
(s5220 0.0)
(s5221 0.0)
(s5222 0.0)
(s5223 0.0)
(s5224 0.0)
(s5225 0.0)
(s5226 0.0)
(s5227 0.0)
(s5228 0.0)
(s5229 0.0)
(s5230 0.0)
(s5231 0.0)
(s5232 0.0)
(s5233 0.0)
(s5234 0.0)
(s5235 0.0)
(s5236 0.0)
(s5237 0.0)
(s5238 0.0)
(s5239 0.0)
(s5240 0.0)
(s5241 0.0)
(s5242 0.0)
(s5243 0.0)
(s5244 0.0)
(s5245 0.0)
(s5246 0.0)
(s5247 0.0)
(s5248 0.0)
(s5249 0.0)
(s5250 0.0)
(s5251 0.0)
(s5252 0.0)
(s5253 0.0)
(s5254 0.0)
(s5255 0.0)
(s5256 0.0)
(s5257 0.0)
(s5258 0.0)
(s5259 0.0)
(s5260 0.0)
(s5261 0.0)
(s5262 0.0)
(s5263 0.0)
(s5264 0.0)
(s5265 0.0)
(s5266 0.0)
(s5267 0.0)
(s5268 0.0)
(s5269 0.0)
(s5270 0.0)
(s5271 0.0)
(s5272 0.0)
(s5273 0.0)
(s5274 0.0)
(s5275 0.0)
(s5276 0.0)
(s5277 0.0)
(s5278 0.0)
(s5279 0.0)
(s5280 0.0)
(s5281 0.0)
(s5282 0.0)
(s5283 0.0)
(s5284 0.0)
(s5285 0.0)
(s5286 0.0)
(s5287 0.0)
(s5288 0.0)
(s5289 0.0)
(s5290 0.0)
(s5291 0.0)
(s5292 0.0)
(s5293 0.0)
(s5294 0.0)
(s5295 0.0)
(s5296 0.0)
(s5297 0.0)
(s5298 0.0)
(s5299 0.0)
(s5300 0.0)
(s5301 0.0)
(s5302 0.0)
(s5303 0.0)
(s5304 0.0)
(s5305 0.0)
(s5306 0.0)
(s5307 0.0)
(s5308 0.0)
(s5309 0.0)
(s5310 0.0)
(s5311 0.0)
(s5312 0.0)
(s5313 0.0)
(s5314 0.0)
(s5315 0.0)
(s5316 0.0)
(s5317 0.0)
(s5318 0.0)
(s5319 0.0)
(s5320 0.0)
(s5321 0.0)
(s5322 0.0)
(s5323 0.0)
(s5324 0.0)
(s5325 0.0)
(s5326 0.0)
(s5327 0.0)
(s5328 0.0)
(s5329 0.0)
(s5330 0.0)
(s5331 0.0)
(s5332 0.0)
(s5333 0.0)
(s5334 0.0)
(s5335 0.0)
(s5336 0.0)
(s5337 0.0)
(s5338 0.0)
(s5339 0.0)
(s5340 0.0)
(s5341 0.0)
(s5342 0.0)
(s5343 0.0)
(s5344 0.0)
(s5345 0.0)
(s5346 0.0)
(s5347 0.0)
(s5348 0.0)
(s5349 0.0)
(s5350 0.0)
(s5351 0.0)
(s5352 0.0)
(s5353 0.0)
(s5354 0.0)
(s5355 0.0)
(s5356 0.0)
(s5357 0.0)
(s5358 0.0)
(s5359 0.0)
(s5360 0.0)
(s5361 0.0)
(s5362 0.0)
(s5363 0.0)
(s5364 0.0)
(s5365 0.0)
(s5366 0.0)
(s5367 0.0)
(s5368 0.0)
(s5369 0.0)
(s5370 0.0)
(s5371 0.0)
(s5372 0.0)
(s5373 0.0)
(s5374 0.0)
(s5375 0.0)
(s5376 0.0)
(s5377 0.0)
(s5378 0.0)
(s5379 0.0)
(s5380 0.0)
(s5381 0.0)
(s5382 0.0)
(s5383 0.0)
(s5384 0.0)
(s5385 0.0)
(s5386 0.0)
(s5387 0.0)
(s5388 0.0)
(s5389 0.0)
(s5390 0.0)
(s5391 0.0)
(s5392 0.0)
(s5393 0.0)
(s5394 0.0)
(s5395 0.0)
(s5396 0.0)
(s5397 0.0)
(s5398 0.0)
(s5399 0.0)
(s5400 0.0)
(s5401 0.0)
(s5402 0.0)
(s5403 0.0)
(s5404 0.0)
(s5405 0.0)
(s5406 0.0)
(s5407 0.0)
(s5408 0.0)
(s5409 0.0)
(s5410 0.0)
(s5411 0.0)
(s5412 0.0)
(s5413 0.0)
(s5414 0.0)
(s5415 0.0)
(s5416 0.0)
(s5417 0.0)
(s5418 0.0)
(s5419 0.0)
(s5420 0.0)
(s5421 0.0)
(s5422 0.0)
(s5423 0.0)
(s5424 0.0)
(s5425 0.0)
(s5426 0.0)
(s5427 0.0)
(s5428 0.0)
(s5429 0.0)
(s5430 0.0)
(s5431 0.0)
(s5432 0.0)
(s5433 0.0)
(s5434 0.0)
(s5435 0.0)
(s5436 0.0)
(s5437 0.0)
(s5438 0.0)
(s5439 0.0)
(s5440 0.0)
(s5441 0.0)
(s5442 0.0)
(s5443 0.0)
(s5444 0.0)
(s5445 0.0)
(s5446 0.0)
(s5447 0.0)
(s5448 0.0)
(s5449 0.0)
(s5450 0.0)
(s5451 0.0)
(s5452 0.0)
(s5453 0.0)
(s5454 0.0)
(s5455 0.0)
(s5456 0.0)
(s5457 0.0)
(s5458 0.0)
(s5459 0.0)
(s5460 0.0)
(s5461 0.0)
(s5462 0.0)
(s5463 0.0)
(s5464 0.0)
(s5465 0.0)
(s5466 0.0)
(s5467 0.0)
(s5468 0.0)
(s5469 0.0)
(s5470 0.0)
(s5471 0.0)
(s5472 0.0)
(s5473 0.0)
(s5474 0.0)
(s5475 0.0)
(s5476 0.0)
(s5477 0.0)
(s5478 0.0)
(s5479 0.0)
(s5480 0.0)
(s5481 0.0)
(s5482 0.0)
(s5483 0.0)
(s5484 0.0)
(s5485 0.0)
(s5486 0.0)
(s5487 0.0)
(s5488 0.0)
(s5489 0.0)
(s5490 0.0)
(s5491 0.0)
(s5492 0.0)
(s5493 0.0)
(s5494 0.0)
(s5495 0.0)
(s5496 0.0)
(s5497 0.0)
(s5498 0.0)
(s5499 0.0)
(s5500 0.0)
(s5501 0.0)
(s5502 0.0)
(s5503 0.0)
(s5504 0.0)
(s5505 0.0)
(s5506 0.0)
(s5507 0.0)
(s5508 0.0)
(s5509 0.0)
(s5510 0.0)
(s5511 0.0)
(s5512 0.0)
(s5513 0.0)
(s5514 0.0)
(s5515 0.0)
(s5516 0.0)
(s5517 0.0)
(s5518 0.0)
(s5519 0.0)
(s5520 0.0)
(s5521 0.0)
(s5522 0.0)
(s5523 0.0)
(s5524 0.0)
(s5525 0.0)
(s5526 0.0)
(s5527 0.0)
(s5528 0.0)
(s5529 0.0)
(s5530 0.0)
(s5531 0.0)
(s5532 0.0)
(s5533 0.0)
(s5534 0.0)
(s5535 0.0)
(s5536 0.0)
(s5537 0.0)
(s5538 0.0)
(s5539 0.0)
(s5540 0.0)
(s5541 0.0)
(s5542 0.0)
(s5543 0.0)
(s5544 0.0)
(s5545 0.0)
(s5546 0.0)
(s5547 0.0)
(s5548 0.0)
(s5549 0.0)
(s5550 0.0)
(s5551 0.0)
(s5552 0.0)
(s5553 0.0)
(s5554 0.0)
(s5555 0.0)
(s5556 0.0)
(s5557 0.0)
(s5558 0.0)
(s5559 0.0)
(s5560 0.0)
(s5561 0.0)
(s5562 0.0)
(s5563 0.0)
(s5564 0.0)
(s5565 0.0)
(s5566 0.0)
(s5567 0.0)
(s5568 0.0)
(s5569 0.0)
(s5570 0.0)
(s5571 0.0)
(s5572 0.0)
(s5573 0.0)
(s5574 0.0)
(s5575 0.0)
(s5576 0.0)
(s5577 0.0)
(s5578 0.0)
(s5579 0.0)
(s5580 0.0)
(s5581 0.0)
(s5582 0.0)
(s5583 0.0)
(s5584 0.0)
(s5585 0.0)
(s5586 0.0)
(s5587 0.0)
(s5588 0.0)
(s5589 0.0)
(s5590 0.0)
(s5591 0.0)
(s5592 0.0)
(s5593 0.0)
(s5594 0.0)
(s5595 0.0)
(s5596 0.0)
(s5597 0.0)
(s5598 0.0)
(s5599 0.0)
(s5600 0.0)
(s5601 0.0)
(s5602 0.0)
(s5603 0.0)
(s5604 0.0)
(s5605 0.0)
(s5606 0.0)
(s5607 0.0)
(s5608 0.0)
(s5609 0.0)
(s5610 0.0)
(s5611 0.0)
(s5612 0.0)
(s5613 0.0)
(s5614 0.0)
(s5615 0.0)
(s5616 0.0)
(s5617 0.0)
(s5618 0.0)
(s5619 0.0)
(s5620 0.0)
(s5621 0.0)
(s5622 0.0)
(s5623 0.0)
(s5624 0.0)
(s5625 0.0)
(s5626 0.0)
(s5627 0.0)
(s5628 0.0)
(s5629 0.0)
(s5630 0.0)
(s5631 0.0)
(s5632 0.0)
(s5633 0.0)
(s5634 0.0)
(s5635 0.0)
(s5636 0.0)
(s5637 0.0)
(s5638 0.0)
(s5639 0.0)
(s5640 0.0)
(s5641 0.0)
(s5642 0.0)
(s5643 0.0)
(s5644 0.0)
(s5645 0.0)
(s5646 0.0)
(s5647 0.0)
(s5648 0.0)
(s5649 0.0)
(s5650 0.0)
(s5651 0.0)
(s5652 0.0)
(s5653 0.0)
(s5654 0.0)
(s5655 0.0)
(s5656 0.0)
(s5657 0.0)
(s5658 0.0)
(s5659 0.0)
(s5660 0.0)
(s5661 0.0)
(s5662 0.0)
(s5663 0.0)
(s5664 0.0)
(s5665 0.0)
(s5666 0.0)
(s5667 0.0)
(s5668 0.0)
(s5669 0.0)
(s5670 0.0)
(s5671 0.0)
(s5672 0.0)
(s5673 0.0)
(s5674 0.0)
(s5675 0.0)
(s5676 0.0)
(s5677 0.0)
(s5678 0.0)
(s5679 0.0)
(s5680 0.0)
(s5681 0.0)
(s5682 0.0)
(s5683 0.0)
(s5684 0.0)
(s5685 0.0)
(s5686 0.0)
(s5687 0.0)
(s5688 0.0)
(s5689 0.0)
(s5690 0.0)
(s5691 0.0)
(s5692 0.0)
(s5693 0.0)
(s5694 0.0)
(s5695 0.0)
(s5696 0.0)
(s5697 0.0)
(s5698 0.0)
(s5699 0.0)
(s5700 0.0)
(s5701 0.0)
(s5702 0.0)
(s5703 0.0)
(s5704 0.0)
(s5705 0.0)
(s5706 0.0)
(s5707 0.0)
(s5708 0.0)
(s5709 0.0)
(s5710 0.0)
(s5711 0.0)
(s5712 0.0)
(s5713 0.0)
(s5714 0.0)
(s5715 0.0)
(s5716 0.0)
(s5717 0.0)
(s5718 0.0)
(s5719 0.0)
(s5720 0.0)
(s5721 0.0)
(s5722 0.0)
(s5723 0.0)
(s5724 0.0)
(s5725 0.0)
(s5726 0.0)
(s5727 0.0)
(s5728 0.0)
(s5729 0.0)
(s5730 0.0)
(s5731 0.0)
(s5732 0.0)
(s5733 0.0)
(s5734 0.0)
(s5735 0.0)
(s5736 0.0)
(s5737 0.0)
(s5738 0.0)
(s5739 0.0)
(s5740 0.0)
(s5741 0.0)
(s5742 0.0)
(s5743 0.0)
(s5744 0.0)
(s5745 0.0)
(s5746 0.0)
(s5747 0.0)
(s5748 0.0)
(s5749 0.0)
(s5750 0.0)
(s5751 0.0)
(s5752 0.0)
(s5753 0.0)
(s5754 0.0)
(s5755 0.0)
(s5756 0.0)
(s5757 0.0)
(s5758 0.0)
(s5759 0.0)
(s5760 0.0)
(s5761 0.0)
(s5762 0.0)
(s5763 0.0)
(s5764 0.0)
(s5765 0.0)
(s5766 0.0)
(s5767 0.0)
(s5768 0.0)
(s5769 0.0)
(s5770 0.0)
(s5771 0.0)
(s5772 0.0)
(s5773 0.0)
(s5774 0.0)
(s5775 0.0)
(s5776 0.0)
(s5777 0.0)
(s5778 0.0)
(s5779 0.0)
(s5780 0.0)
(s5781 0.0)
(s5782 0.0)
(s5783 0.0)
(s5784 0.0)
(s5785 0.0)
(s5786 0.0)
(s5787 0.0)
(s5788 0.0)
(s5789 0.0)
(s5790 0.0)
(s5791 0.0)
(s5792 0.0)
(s5793 0.0)
(s5794 0.0)
(s5795 0.0)
(s5796 0.0)
(s5797 0.0)
(s5798 0.0)
(s5799 0.0)
(s5800 0.0)
(s5801 0.0)
(s5802 0.0)
(s5803 0.0)
(s5804 0.0)
(s5805 0.0)
(s5806 0.0)
(s5807 0.0)
(s5808 0.0)
(s5809 0.0)
(s5810 0.0)
(s5811 0.0)
(s5812 0.0)
(s5813 0.0)
(s5814 0.0)
(s5815 0.0)
(s5816 0.0)
(s5817 0.0)
(s5818 0.0)
(s5819 0.0)
(s5820 0.0)
(s5821 0.0)
(s5822 0.0)
(s5823 0.0)
(s5824 0.0)
(s5825 0.0)
(s5826 0.0)
(s5827 0.0)
(s5828 0.0)
(s5829 0.0)
(s5830 0.0)
(s5831 0.0)
(s5832 0.0)
(s5833 0.0)
(s5834 0.0)
(s5835 0.0)
(s5836 0.0)
(s5837 0.0)
(s5838 0.0)
(s5839 0.0)
(s5840 0.0)
(s5841 0.0)
(s5842 0.0)
(s5843 0.0)
(s5844 0.0)
(s5845 0.0)
(s5846 0.0)
(s5847 0.0)
(s5848 0.0)
(s5849 0.0)
(s5850 0.0)
(s5851 0.0)
(s5852 0.0)
(s5853 0.0)
(s5854 0.0)
(s5855 0.0)
(s5856 0.0)
(s5857 0.0)
(s5858 0.0)
(s5859 0.0)
(s5860 0.0)
(s5861 0.0)
(s5862 0.0)
(s5863 0.0)
(s5864 0.0)
(s5865 0.0)
(s5866 0.0)
(s5867 0.0)
(s5868 0.0)
(s5869 0.0)
(s5870 0.0)
(s5871 0.0)
(s5872 0.0)
(s5873 0.0)
(s5874 0.0)
(s5875 0.0)
(s5876 0.0)
(s5877 0.0)
(s5878 0.0)
(s5879 0.0)
(s5880 0.0)
(s5881 0.0)
(s5882 0.0)
(s5883 0.0)
(s5884 0.0)
(s5885 0.0)
(s5886 0.0)
(s5887 0.0)
(s5888 0.0)
(s5889 0.0)
(s5890 0.0)
(s5891 0.0)
(s5892 0.0)
(s5893 0.0)
(s5894 0.0)
(s5895 0.0)
(s5896 0.0)
(s5897 0.0)
(s5898 0.0)
(s5899 0.0)
(s5900 0.0)
(s5901 0.0)
(s5902 0.0)
(s5903 0.0)
(s5904 0.0)
(s5905 0.0)
(s5906 0.0)
(s5907 0.0)
(s5908 0.0)
(s5909 0.0)
(s5910 0.0)
(s5911 0.0)
(s5912 0.0)
(s5913 0.0)
(s5914 0.0)
(s5915 0.0)
(s5916 0.0)
(s5917 0.0)
(s5918 0.0)
(s5919 0.0)
(s5920 0.0)
(s5921 0.0)
(s5922 0.0)
(s5923 0.0)
(s5924 0.0)
(s5925 0.0)
(s5926 0.0)
(s5927 0.0)
(s5928 0.0)
(s5929 0.0)
(s5930 0.0)
(s5931 0.0)
(s5932 0.0)
(s5933 0.0)
(s5934 0.0)
(s5935 0.0)
(s5936 0.0)
(s5937 0.0)
(s5938 0.0)
(s5939 0.0)
(s5940 0.0)
(s5941 0.0)
(s5942 0.0)
(s5943 0.0)
(s5944 0.0)
(s5945 0.0)
(s5946 0.0)
(s5947 0.0)
(s5948 0.0)
(s5949 0.0)
(s5950 0.0)
(s5951 0.0)
(s5952 0.0)
(s5953 0.0)
(s5954 0.0)
(s5955 0.0)
(s5956 0.0)
(s5957 0.0)
(s5958 0.0)
(s5959 0.0)
(s5960 0.0)
(s5961 0.0)
(s5962 0.0)
(s5963 0.0)
(s5964 0.0)
(s5965 0.0)
(s5966 0.0)
(s5967 0.0)
(s5968 0.0)
(s5969 0.0)
(s5970 0.0)
(s5971 0.0)
(s5972 0.0)
(s5973 0.0)
(s5974 0.0)
(s5975 0.0)
(s5976 0.0)
(s5977 0.0)
(s5978 0.0)
(s5979 0.0)
(s5980 0.0)
(s5981 0.0)
(s5982 0.0)
(s5983 0.0)
(s5984 0.0)
(s5985 0.0)
(s5986 0.0)
(s5987 0.0)
(s5988 0.0)
(s5989 0.0)
(s5990 0.0)
(s5991 0.0)
(s5992 0.0)
(s5993 0.0)
(s5994 0.0)
(s5995 0.0)
(s5996 0.0)
(s5997 0.0)
(s5998 0.0)
(s5999 0.0)
(s8000 0.0)
(s8001 0.0)
(s8002 0.0)
(s8003 0.0)
(s8004 0.0)
(s8005 0.0)
(s8006 0.0)
(s8007 0.0)
(s8008 0.0)
(s8009 0.0)
(s8010 0.0)
(s8011 0.0)
(s8012 0.0)
(s8013 0.0)
(s8014 0.0)
(s8015 0.0)
(s8016 0.0)
(s8017 0.0)
(s8018 0.0)
(s8019 0.0)
(s8020 0.0)
(s8021 0.0)
(s8022 0.0)
(s8023 0.0)
(s8024 0.0)
(s8025 0.0)
(s8026 0.0)
(s8027 0.0)
(s8028 0.0)
(s8029 0.0)
(s8030 0.0)
(s8031 0.0)
(s8032 0.0)
(s8033 0.0)
(s8034 0.0)
(s8035 0.0)
(s8036 0.0)
(s8037 0.0)
(s8038 0.0)
(s8039 0.0)
(s8040 0.0)
(s8041 0.0)
(s8042 0.0)
(s8043 0.0)
(s8044 0.0)
(s8045 0.0)
(s8046 0.0)
(s8047 0.0)
(s8048 0.0)
(s8049 0.0)
(s8050 0.0)
(s8051 0.0)
(s8052 0.0)
(s8053 0.0)
(s8054 0.0)
(s8055 0.0)
(s8056 0.0)
(s8057 0.0)
(s8058 0.0)
(s8059 0.0)
(s8060 0.0)
(s8061 0.0)
(s8062 0.0)
(s8063 0.0)
(s8064 0.0)
(s8065 0.0)
(s8066 0.0)
(s8067 0.0)
(s8068 0.0)
(s8069 0.0)
(s8070 0.0)
(s8071 0.0)
(s8072 0.0)
(s8073 0.0)
(s8074 0.0)
(s8075 0.0)
(s8076 0.0)
(s8077 0.0)
(s8078 0.0)
(s8079 0.0)
(s8080 0.0)
(s8081 0.0)
(s8082 0.0)
(s8083 0.0)
(s8084 0.0)
(s8085 0.0)
(s8086 0.0)
(s8087 0.0)
(s8088 0.0)
(s8089 0.0)
(s8090 0.0)
(s8091 0.0)
(s8092 0.0)
(s8093 0.0)
(s8094 0.0)
(s8095 0.0)
(s8096 0.0)
(s8097 0.0)
(s8098 0.0)
(s8099 0.0)
(s8100 0.0)
(s8101 0.0)
(s8102 0.0)
(s8103 0.0)
(s8104 0.0)
(s8105 0.0)
(s8106 0.0)
(s8107 0.0)
(s8108 0.0)
(s8109 0.0)
(s8110 0.0)
(s8111 0.0)
(s8112 0.0)
(s8113 0.0)
(s8114 0.0)
(s8115 0.0)
(s8116 0.0)
(s8117 0.0)
(s8118 0.0)
(s8119 0.0)
(s8120 0.0)
(s8121 0.0)
(s8122 0.0)
(s8123 0.0)
(s8124 0.0)
(s8125 0.0)
(s8126 0.0)
(s8127 0.0)
(s8128 0.0)
(s8129 0.0)
(s8130 0.0)
(s8131 0.0)
(s8132 0.0)
(s8133 0.0)
(s8134 0.0)
(s8135 0.0)
(s8136 0.0)
(s8137 0.0)
(s8138 0.0)
(s8139 0.0)
(s8140 0.0)
(s8141 0.0)
(s8142 0.0)
(s8143 0.0)
(s8144 0.0)
(s8145 0.0)
(s8146 0.0)
(s8147 0.0)
(s8148 0.0)
(s8149 0.0)
(s8150 0.0)
(s8151 0.0)
(s8152 0.0)
(s8153 0.0)
(s8154 0.0)
(s8155 0.0)
(s8156 0.0)
(s8157 0.0)
(s8158 0.0)
(s8159 0.0)
(s8160 0.0)
(s8161 0.0)
(s8162 0.0)
(s8163 0.0)
(s8164 0.0)
(s8165 0.0)
(s8166 0.0)
(s8167 0.0)
(s8168 0.0)
(s8169 0.0)
(s8170 0.0)
(s8171 0.0)
(s8172 0.0)
(s8173 0.0)
(s8174 0.0)
(s8175 0.0)
(s8176 0.0)
(s8177 0.0)
(s8178 0.0)
(s8179 0.0)
(s8180 0.0)
(s8181 0.0)
(s8182 0.0)
(s8183 0.0)
(s8184 0.0)
(s8185 0.0)
(s8186 0.0)
(s8187 0.0)
(s8188 0.0)
(s8189 0.0)
(s8190 0.0)
(s8191 0.0)
(s8192 0.0)
(s8193 0.0)
(s8194 0.0)
(s8195 0.0)
(s8196 0.0)
(s8197 0.0)
(s8198 0.0)
(s8199 0.0)
(s8200 0.0)
(s8201 0.0)
(s8202 0.0)
(s8203 0.0)
(s8204 0.0)
(s8205 0.0)
(s8206 0.0)
(s8207 0.0)
(s8208 0.0)
(s8209 0.0)
(s8210 0.0)
(s8211 0.0)
(s8212 0.0)
(s8213 0.0)
(s8214 0.0)
(s8215 0.0)
(s8216 0.0)
(s8217 0.0)
(s8218 0.0)
(s8219 0.0)
(s8220 0.0)
(s8221 0.0)
(s8222 0.0)
(s8223 0.0)
(s8224 0.0)
(s8225 0.0)
(s8226 0.0)
(s8227 0.0)
(s8228 0.0)
(s8229 0.0)
(s8230 0.0)
(s8231 0.0)
(s8232 0.0)
(s8233 0.0)
(s8234 0.0)
(s8235 0.0)
(s8236 0.0)
(s8237 0.0)
(s8238 0.0)
(s8239 0.0)
(s8240 0.0)
(s8241 0.0)
(s8242 0.0)
(s8243 0.0)
(s8244 0.0)
(s8245 0.0)
(s8246 0.0)
(s8247 0.0)
(s8248 0.0)
(s8249 0.0)
(s8250 0.0)
(s8251 0.0)
(s8252 0.0)
(s8253 0.0)
(s8254 0.0)
(s8255 0.0)
(s8256 0.0)
(s8257 0.0)
(s8258 0.0)
(s8259 0.0)
(s8260 0.0)
(s8261 0.0)
(s8262 0.0)
(s8263 0.0)
(s8264 0.0)
(s8265 0.0)
(s8266 0.0)
(s8267 0.0)
(s8268 0.0)
(s8269 0.0)
(s8270 0.0)
(s8271 0.0)
(s8272 0.0)
(s8273 0.0)
(s8274 0.0)
(s8275 0.0)
(s8276 0.0)
(s8277 0.0)
(s8278 0.0)
(s8279 0.0)
(s8280 0.0)
(s8281 0.0)
(s8282 0.0)
(s8283 0.0)
(s8284 0.0)
(s8285 0.0)
(s8286 0.0)
(s8287 0.0)
(s8288 0.0)
(s8289 0.0)
(s8290 0.0)
(s8291 0.0)
(s8292 0.0)
(s8293 0.0)
(s8294 0.0)
(s8295 0.0)
(s8296 0.0)
(s8297 0.0)
(s8298 0.0)
(s8299 0.0)
(s8300 0.0)
(s8301 0.0)
(s8302 0.0)
(s8303 0.0)
(s8304 0.0)
(s8305 0.0)
(s8306 0.0)
(s8307 0.0)
(s8308 0.0)
(s8309 0.0)
(s8310 0.0)
(s8311 0.0)
(s8312 0.0)
(s8313 0.0)
(s8314 0.0)
(s8315 0.0)
(s8316 0.0)
(s8317 0.0)
(s8318 0.0)
(s8319 0.0)
(s8320 0.0)
(s8321 0.0)
(s8322 0.0)
(s8323 0.0)
(s8324 0.0)
(s8325 0.0)
(s8326 0.0)
(s8327 0.0)
(s8328 0.0)
(s8329 0.0)
(s8330 0.0)
(s8331 0.0)
(s8332 0.0)
(s8333 0.0)
(s8334 0.0)
(s8335 0.0)
(s8336 0.0)
(s8337 0.0)
(s8338 0.0)
(s8339 0.0)
(s8340 0.0)
(s8341 0.0)
(s8342 0.0)
(s8343 0.0)
(s8344 0.0)
(s8345 0.0)
(s8346 0.0)
(s8347 0.0)
(s8348 0.0)
(s8349 0.0)
(s8350 0.0)
(s8351 0.0)
(s8352 0.0)
(s8353 0.0)
(s8354 0.0)
(s8355 0.0)
(s8356 0.0)
(s8357 0.0)
(s8358 0.0)
(s8359 0.0)
(s8360 0.0)
(s8361 0.0)
(s8362 0.0)
(s8363 0.0)
(s8364 0.0)
(s8365 0.0)
(s8366 0.0)
(s8367 0.0)
(s8368 0.0)
(s8369 0.0)
(s8370 0.0)
(s8371 0.0)
(s8372 0.0)
(s8373 0.0)
(s8374 0.0)
(s8375 0.0)
(s8376 0.0)
(s8377 0.0)
(s8378 0.0)
(s8379 0.0)
(s8380 0.0)
(s8381 0.0)
(s8382 0.0)
(s8383 0.0)
(s8384 0.0)
(s8385 0.0)
(s8386 0.0)
(s8387 0.0)
(s8388 0.0)
(s8389 0.0)
(s8390 0.0)
(s8391 0.0)
(s8392 0.0)
(s8393 0.0)
(s8394 0.0)
(s8395 0.0)
(s8396 0.0)
(s8397 0.0)
(s8398 0.0)
(s8399 0.0)
(s8400 0.0)
(s8401 0.0)
(s8402 0.0)
(s8403 0.0)
(s8404 0.0)
(s8405 0.0)
(s8406 0.0)
(s8407 0.0)
(s8408 0.0)
(s8409 0.0)
(s8410 0.0)
(s8411 0.0)
(s8412 0.0)
(s8413 0.0)
(s8414 0.0)
(s8415 0.0)
(s8416 0.0)
(s8417 0.0)
(s8418 0.0)
(s8419 0.0)
(s8420 0.0)
(s8421 0.0)
(s8422 0.0)
(s8423 0.0)
(s8424 0.0)
(s8425 0.0)
(s8426 0.0)
(s8427 0.0)
(s8428 0.0)
(s8429 0.0)
(s8430 0.0)
(s8431 0.0)
(s8432 0.0)
(s8433 0.0)
(s8434 0.0)
(s8435 0.0)
(s8436 0.0)
(s8437 0.0)
(s8438 0.0)
(s8439 0.0)
(s8440 0.0)
(s8441 0.0)
(s8442 0.0)
(s8443 0.0)
(s8444 0.0)
(s8445 0.0)
(s8446 0.0)
(s8447 0.0)
(s8448 0.0)
(s8449 0.0)
(s8450 0.0)
(s8451 0.0)
(s8452 0.0)
(s8453 0.0)
(s8454 0.0)
(s8455 0.0)
(s8456 0.0)
(s8457 0.0)
(s8458 0.0)
(s8459 0.0)
(s8460 0.0)
(s8461 0.0)
(s8462 0.0)
(s8463 0.0)
(s8464 0.0)
(s8465 0.0)
(s8466 0.0)
(s8467 0.0)
(s8468 0.0)
(s8469 0.0)
(s8470 0.0)
(s8471 0.0)
(s8472 0.0)
(s8473 0.0)
(s8474 0.0)
(s8475 0.0)
(s8476 0.0)
(s8477 0.0)
(s8478 0.0)
(s8479 0.0)
(s8480 0.0)
(s8481 0.0)
(s8482 0.0)
(s8483 0.0)
(s8484 0.0)
(s8485 0.0)
(s8486 0.0)
(s8487 0.0)
(s8488 0.0)
(s8489 0.0)
(s8490 0.0)
(s8491 0.0)
(s8492 0.0)
(s8493 0.0)
(s8494 0.0)
(s8495 0.0)
(s8496 0.0)
(s8497 0.0)
(s8498 0.0)
(s8499 0.0)
(s8500 0.0)
(s8501 0.0)
(s8502 0.0)
(s8503 0.0)
(s8504 0.0)
(s8505 0.0)
(s8506 0.0)
(s8507 0.0)
(s8508 0.0)
(s8509 0.0)
(s8510 0.0)
(s8511 0.0)
(s8512 0.0)
(s8513 0.0)
(s8514 0.0)
(s8515 0.0)
(s8516 0.0)
(s8517 0.0)
(s8518 0.0)
(s8519 0.0)
(s8520 0.0)
(s8521 0.0)
(s8522 0.0)
(s8523 0.0)
(s8524 0.0)
(s8525 0.0)
(s8526 0.0)
(s8527 0.0)
(s8528 0.0)
(s8529 0.0)
(s8530 0.0)
(s8531 0.0)
(s8532 0.0)
(s8533 0.0)
(s8534 0.0)
(s8535 0.0)
(s8536 0.0)
(s8537 0.0)
(s8538 0.0)
(s8539 0.0)
(s8540 0.0)
(s8541 0.0)
(s8542 0.0)
(s8543 0.0)
(s8544 0.0)
(s8545 0.0)
(s8546 0.0)
(s8547 0.0)
(s8548 0.0)
(s8549 0.0)
(s8550 0.0)
(s8551 0.0)
(s8552 0.0)
(s8553 0.0)
(s8554 0.0)
(s8555 0.0)
(s8556 0.0)
(s8557 0.0)
(s8558 0.0)
(s8559 0.0)
(s8560 0.0)
(s8561 0.0)
(s8562 0.0)
(s8563 0.0)
(s8564 0.0)
(s8565 0.0)
(s8566 0.0)
(s8567 0.0)
(s8568 0.0)
(s8569 0.0)
(s8570 0.0)
(s8571 0.0)
(s8572 0.0)
(s8573 0.0)
(s8574 0.0)
(s8575 0.0)
(s8576 0.0)
(s8577 0.0)
(s8578 0.0)
(s8579 0.0)
(s8580 0.0)
(s8581 0.0)
(s8582 0.0)
(s8583 0.0)
(s8584 0.0)
(s8585 0.0)
(s8586 0.0)
(s8587 0.0)
(s8588 0.0)
(s8589 0.0)
(s8590 0.0)
(s8591 0.0)
(s8592 0.0)
(s8593 0.0)
(s8594 0.0)
(s8595 0.0)
(s8596 0.0)
(s8597 0.0)
(s8598 0.0)
(s8599 0.0)
(s8600 0.0)
(s8601 0.0)
(s8602 0.0)
(s8603 0.0)
(s8604 0.0)
(s8605 0.0)
(s8606 0.0)
(s8607 0.0)
(s8608 0.0)
(s8609 0.0)
(s8610 0.0)
(s8611 0.0)
(s8612 0.0)
(s8613 0.0)
(s8614 0.0)
(s8615 0.0)
(s8616 0.0)
(s8617 0.0)
(s8618 0.0)
(s8619 0.0)
(s8620 0.0)
(s8621 0.0)
(s8622 0.0)
(s8623 0.0)
(s8624 0.0)
(s8625 0.0)
(s8626 0.0)
(s8627 0.0)
(s8628 0.0)
(s8629 0.0)
(s8630 0.0)
(s8631 0.0)
(s8632 0.0)
(s8633 0.0)
(s8634 0.0)
(s8635 0.0)
(s8636 0.0)
(s8637 0.0)
(s8638 0.0)
(s8639 0.0)
(s8640 0.0)
(s8641 0.0)
(s8642 0.0)
(s8643 0.0)
(s8644 0.0)
(s8645 0.0)
(s8646 0.0)
(s8647 0.0)
(s8648 0.0)
(s8649 0.0)
(s8650 0.0)
(s8651 0.0)
(s8652 0.0)
(s8653 0.0)
(s8654 0.0)
(s8655 0.0)
(s8656 0.0)
(s8657 0.0)
(s8658 0.0)
(s8659 0.0)
(s8660 0.0)
(s8661 0.0)
(s8662 0.0)
(s8663 0.0)
(s8664 0.0)
(s8665 0.0)
(s8666 0.0)
(s8667 0.0)
(s8668 0.0)
(s8669 0.0)
(s8670 0.0)
(s8671 0.0)
(s8672 0.0)
(s8673 0.0)
(s8674 0.0)
(s8675 0.0)
(s8676 0.0)
(s8677 0.0)
(s8678 0.0)
(s8679 0.0)
(s8680 0.0)
(s8681 0.0)
(s8682 0.0)
(s8683 0.0)
(s8684 0.0)
(s8685 0.0)
(s8686 0.0)
(s8687 0.0)
(s8688 0.0)
(s8689 0.0)
(s8690 0.0)
(s8691 0.0)
(s8692 0.0)
(s8693 0.0)
(s8694 0.0)
(s8695 0.0)
(s8696 0.0)
(s8697 0.0)
(s8698 0.0)
(s8699 0.0)
(s8700 0.0)
(s8701 0.0)
(s8702 0.0)
(s8703 0.0)
(s8704 0.0)
(s8705 0.0)
(s8706 0.0)
(s8707 0.0)
(s8708 0.0)
(s8709 0.0)
(s8710 0.0)
(s8711 0.0)
(s8712 0.0)
(s8713 0.0)
(s8714 0.0)
(s8715 0.0)
(s8716 0.0)
(s8717 0.0)
(s8718 0.0)
(s8719 0.0)
(s8720 0.0)
(s8721 0.0)
(s8722 0.0)
(s8723 0.0)
(s8724 0.0)
(s8725 0.0)
(s8726 0.0)
(s8727 0.0)
(s8728 0.0)
(s8729 0.0)
(s8730 0.0)
(s8731 0.0)
(s8732 0.0)
(s8733 0.0)
(s8734 0.0)
(s8735 0.0)
(s8736 0.0)
(s8737 0.0)
(s8738 0.0)
(s8739 0.0)
(s8740 0.0)
(s8741 0.0)
(s8742 0.0)
(s8743 0.0)
(s8744 0.0)
(s8745 0.0)
(s8746 0.0)
(s8747 0.0)
(s8748 0.0)
(s8749 0.0)
(s8750 0.0)
(s8751 0.0)
(s8752 0.0)
(s8753 0.0)
(s8754 0.0)
(s8755 0.0)
(s8756 0.0)
(s8757 0.0)
(s8758 0.0)
(s8759 0.0)
(s8760 0.0)
(s8761 0.0)
(s8762 0.0)
(s8763 0.0)
(s8764 0.0)
(s8765 0.0)
(s8766 0.0)
(s8767 0.0)
(s8768 0.0)
(s8769 0.0)
(s8770 0.0)
(s8771 0.0)
(s8772 0.0)
(s8773 0.0)
(s8774 0.0)
(s8775 0.0)
(s8776 0.0)
(s8777 0.0)
(s8778 0.0)
(s8779 0.0)
(s8780 0.0)
(s8781 0.0)
(s8782 0.0)
(s8783 0.0)
(s8784 0.0)
(s8785 0.0)
(s8786 0.0)
(s8787 0.0)
(s8788 0.0)
(s8789 0.0)
(s8790 0.0)
(s8791 0.0)
(s8792 0.0)
(s8793 0.0)
(s8794 0.0)
(s8795 0.0)
(s8796 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/8000 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 4 unsolved
SMT process timed out in 19198ms, After SMT, problems are : Problem set: 0 solved, 4 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 8000 out of 10000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10000/10000 places, 10000/10000 transitions.
Applied a total of 0 rules in 723 ms. Remains 10000 /10000 variables (removed 0) and now considering 10000/10000 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 725 ms. Remains : 10000/10000 places, 10000/10000 transitions.
RANDOM walk for 40000 steps (8 resets) in 17373 ms. (2 steps per ms) remains 4/4 properties
BEST_FIRST walk for 21012 steps (4 resets) in 21406 ms. (0 steps per ms) remains 4/4 properties
BEST_FIRST walk for 38012 steps (8 resets) in 21357 ms. (1 steps per ms) remains 4/4 properties
BEST_FIRST walk for 38012 steps (8 resets) in 20939 ms. (1 steps per ms) remains 4/4 properties
BEST_FIRST walk for 38012 steps (8 resets) in 21175 ms. (1 steps per ms) remains 4/4 properties
BK_STOP 1716884618865
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ 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//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination LTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
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="Philosophers-COL-002000"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
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-5568"
echo " Executing tool itstools"
echo " Input is Philosophers-COL-002000, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r268-smll-171654407600444"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Philosophers-COL-002000.tgz
mv Philosophers-COL-002000 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;