About the Execution of 2021-gold for CANInsertWithFailure-PT-040
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13136.312 | 3600000.00 | 10614894.00 | 9529.10 | TFTF?TTFFF???TFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r305-smll-165463878300015.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
Input is CANInsertWithFailure-PT-040, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r305-smll-165463878300015
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 11K May 30 15:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K May 30 15:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K May 30 15:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K May 30 15:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.9K May 25 12:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 25 12:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 25 12:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 25 12:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 29 12:20 NewModel
-rw-r--r-- 1 mcc users 16K May 30 15:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 130K May 30 15:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K May 30 15:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K May 30 15:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 25 12:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 25 12:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 12:20 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 12:20 instance
-rw-r--r-- 1 mcc users 6 May 29 12:20 iscolored
-rw-r--r-- 1 mcc users 9.8M May 29 12:20 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 CANInsertWithFailure-PT-040-ReachabilityFireability-00
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-01
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-02
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-03
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-04
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-05
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-06
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-07
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-08
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-09
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-10
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-11
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-12
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-13
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-14
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1654687401973
Running Version 0
[2022-06-08 11:23:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-08 11:23:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-08 11:23:25] [INFO ] Load time of PNML (sax parser for PT used): 802 ms
[2022-06-08 11:23:25] [INFO ] Transformed 3684 places.
[2022-06-08 11:23:25] [INFO ] Transformed 9840 transitions.
[2022-06-08 11:23:25] [INFO ] Parsed PT model containing 3684 places and 9840 transitions in 916 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 25 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 11 resets, run finished after 215 ms. (steps per millisecond=46 ) properties (out of 16) seen :5
FORMULA CANInsertWithFailure-PT-040-ReachabilityFireability-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-040-ReachabilityFireability-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-040-ReachabilityFireability-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-040-ReachabilityFireability-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-040-ReachabilityFireability-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 54 ms. (steps per millisecond=185 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 41 ms. (steps per millisecond=243 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=232 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=238 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=98 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=77 ) properties (out of 11) seen :0
Running SMT prover for 11 properties.
// Phase 1: matrix 9840 rows 3684 cols
[2022-06-08 11:23:27] [INFO ] Computed 43 place invariants in 1290 ms
[2022-06-08 11:23:29] [INFO ] [Real]Absence check using 41 positive place invariants in 71 ms returned sat
[2022-06-08 11:23:29] [INFO ] [Real]Absence check using 41 positive and 2 generalized place invariants in 54 ms returned sat
[2022-06-08 11:23:30] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:11
[2022-06-08 11:23:31] [INFO ] [Nat]Absence check using 41 positive place invariants in 57 ms returned sat
[2022-06-08 11:23:31] [INFO ] [Nat]Absence check using 41 positive and 2 generalized place invariants in 54 ms returned sat
[2022-06-08 11:23:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 11:23:46] [INFO ] [Nat]Absence check using state equation in 13750 ms returned unsat :0 sat :11
[2022-06-08 11:23:46] [INFO ] State equation strengthened by 3160 read => feed constraints.
[2022-06-08 11:23:46] [INFO ] [Nat]Added 3160 Read/Feed constraints in 257 ms returned sat
Attempting to minimize the solution found.
Minimization took 4 ms.
[2022-06-08 11:23:55] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :10
Incomplete Parikh walk after 2328500 steps, including 1002 resets, run finished after 19055 ms. (steps per millisecond=122 ) properties (out of 11) seen :7 could not realise parikh vector
FORMULA CANInsertWithFailure-PT-040-ReachabilityFireability-15 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA CANInsertWithFailure-PT-040-ReachabilityFireability-13 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA CANInsertWithFailure-PT-040-ReachabilityFireability-07 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA CANInsertWithFailure-PT-040-ReachabilityFireability-06 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA CANInsertWithFailure-PT-040-ReachabilityFireability-05 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA CANInsertWithFailure-PT-040-ReachabilityFireability-03 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA CANInsertWithFailure-PT-040-ReachabilityFireability-01 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Incomplete Parikh walk after 2330200 steps, including 1002 resets, run finished after 20239 ms. (steps per millisecond=115 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1818000 steps, including 1002 resets, run finished after 16184 ms. (steps per millisecond=112 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1811800 steps, including 1002 resets, run finished after 16193 ms. (steps per millisecond=111 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1817400 steps, including 1002 resets, run finished after 16275 ms. (steps per millisecond=111 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1811200 steps, including 1002 resets, run finished after 16271 ms. (steps per millisecond=111 ) properties (out of 4) seen :0 could not realise parikh vector
Support contains 84 out of 3684 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3684/3684 places, 9840/9840 transitions.
Graph (complete) has 13401 edges and 3684 vertex of which 3683 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.31 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 255 transitions
Trivial Post-agglo rules discarded 255 transitions
Performed 255 trivial Post agglomeration. Transition count delta: 255
Iterating post reduction 0 with 255 rules applied. Total rules applied 256 place count 3683 transition count 9585
Reduce places removed 255 places and 0 transitions.
Iterating post reduction 1 with 255 rules applied. Total rules applied 511 place count 3428 transition count 9585
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 511 place count 3428 transition count 9575
Deduced a syphon composed of 10 places in 5 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 531 place count 3418 transition count 9575
Performed 1519 Post agglomeration using F-continuation condition.Transition count delta: 1519
Deduced a syphon composed of 1519 places in 7 ms
Reduce places removed 1519 places and 0 transitions.
Iterating global reduction 2 with 3038 rules applied. Total rules applied 3569 place count 1899 transition count 8056
Drop transitions removed 1451 transitions
Redundant transition composition rules discarded 1451 transitions
Iterating global reduction 2 with 1451 rules applied. Total rules applied 5020 place count 1899 transition count 6605
Free-agglomeration rule (complex) applied 16 times.
Iterating global reduction 2 with 16 rules applied. Total rules applied 5036 place count 1899 transition count 6589
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 2 with 16 rules applied. Total rules applied 5052 place count 1883 transition count 6589
Partial Free-agglomeration rule applied 1546 times.
Drop transitions removed 1546 transitions
Iterating global reduction 3 with 1546 rules applied. Total rules applied 6598 place count 1883 transition count 6589
Partial Free-agglomeration rule applied 374 times.
Drop transitions removed 374 transitions
Iterating global reduction 3 with 374 rules applied. Total rules applied 6972 place count 1883 transition count 6589
Applied a total of 6972 rules in 3682 ms. Remains 1883 /3684 variables (removed 1801) and now considering 6589/9840 (removed 3251) transitions.
Finished structural reductions, in 1 iterations. Remains : 1883/3684 places, 6589/9840 transitions.
[2022-06-08 11:25:44] [INFO ] Flatten gal took : 593 ms
[2022-06-08 11:25:44] [INFO ] Flatten gal took : 323 ms
[2022-06-08 11:25:44] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7870392314542101035.gal : 107 ms
[2022-06-08 11:25:44] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15958175743899109356.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality7870392314542101035.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15958175743899109356.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality7870392314542101035.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15958175743899109356.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality15958175743899109356.prop.
Detected timeout of ITS tools.
[2022-06-08 11:25:59] [INFO ] Flatten gal took : 224 ms
[2022-06-08 11:25:59] [INFO ] Applying decomposition
[2022-06-08 11:26:00] [INFO ] Flatten gal took : 221 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph18180649797293293394.txt, -o, /tmp/graph18180649797293293394.bin, -w, /tmp/graph18180649797293293394.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph18180649797293293394.bin, -l, -1, -v, -w, /tmp/graph18180649797293293394.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-08 11:26:01] [INFO ] Decomposing Gal with order
[2022-06-08 11:26:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 11:26:02] [INFO ] Removed a total of 5174 redundant transitions.
[2022-06-08 11:26:02] [INFO ] Flatten gal took : 1205 ms
[2022-06-08 11:26:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 5570 labels/synchronizations in 605 ms.
[2022-06-08 11:26:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3133510692065470320.gal : 78 ms
[2022-06-08 11:26:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1309458811580478447.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality3133510692065470320.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1309458811580478447.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality3133510692065470320.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1309458811580478447.prop --nowitness
Loading property file /tmp/ReachabilityCardinality1309458811580478447.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 178
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :178 after 178
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :178 after 178
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :178 after 178
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :178 after 178
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :178 after 179
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :179 after 179
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :179 after 179
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :179 after 181
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :181 after 181
SDD proceeding with computation,4 properties remain. new max is 4096
SDD size :181 after 183
SDD proceeding with computation,4 properties remain. new max is 8192
SDD size :183 after 186
SDD proceeding with computation,4 properties remain. new max is 16384
SDD size :186 after 32147
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin12301150899105732645
[2022-06-08 11:26:18] [INFO ] Built C files in 129ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12301150899105732645
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin12301150899105732645]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin12301150899105732645] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin12301150899105732645] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 5141 resets, run finished after 13120 ms. (steps per millisecond=76 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 2942 ms. (steps per millisecond=339 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 110 resets, run finished after 1653 ms. (steps per millisecond=604 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000000 steps, including 7 resets, run finished after 2961 ms. (steps per millisecond=337 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 107 resets, run finished after 3273 ms. (steps per millisecond=305 ) properties (out of 4) seen :0
Interrupted probabilistic random walk after 819046 steps, run timeout after 30001 ms. (steps per millisecond=27 ) properties seen :{}
Probabilistic random walk after 819046 steps, saw 137433 distinct states, run finished after 30012 ms. (steps per millisecond=27 ) properties seen :{}
Running SMT prover for 4 properties.
// Phase 1: matrix 6589 rows 1883 cols
[2022-06-08 11:27:14] [INFO ] Computed 42 place invariants in 327 ms
[2022-06-08 11:27:15] [INFO ] [Real]Absence check using 40 positive place invariants in 99 ms returned sat
[2022-06-08 11:27:15] [INFO ] [Real]Absence check using 40 positive and 2 generalized place invariants in 29 ms returned sat
[2022-06-08 11:27:15] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:4
[2022-06-08 11:27:15] [INFO ] [Nat]Absence check using 40 positive place invariants in 29 ms returned sat
[2022-06-08 11:27:15] [INFO ] [Nat]Absence check using 40 positive and 2 generalized place invariants in 28 ms returned sat
[2022-06-08 11:27:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 11:27:19] [INFO ] [Nat]Absence check using state equation in 3649 ms returned unsat :0 sat :4
[2022-06-08 11:27:19] [INFO ] State equation strengthened by 6262 read => feed constraints.
[2022-06-08 11:27:20] [INFO ] [Nat]Added 6262 Read/Feed constraints in 523 ms returned sat
Attempting to minimize the solution found.
Minimization took 6487 ms.
[2022-06-08 11:27:58] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :1
Incomplete Parikh walk after 17300 steps, including 404 resets, run finished after 247 ms. (steps per millisecond=70 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 18800 steps, including 436 resets, run finished after 218 ms. (steps per millisecond=86 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 722900 steps, including 1002 resets, run finished after 7213 ms. (steps per millisecond=100 ) properties (out of 4) seen :0 could not realise parikh vector
Incomplete Parikh walk after 39600 steps, including 777 resets, run finished after 429 ms. (steps per millisecond=92 ) properties (out of 4) seen :0 could not realise parikh vector
Support contains 84 out of 1883 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1883/1883 places, 6589/6589 transitions.
Applied a total of 0 rules in 255 ms. Remains 1883 /1883 variables (removed 0) and now considering 6589/6589 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1883/1883 places, 6589/6589 transitions.
Starting structural reductions, iteration 0 : 1883/1883 places, 6589/6589 transitions.
Applied a total of 0 rules in 250 ms. Remains 1883 /1883 variables (removed 0) and now considering 6589/6589 (removed 0) transitions.
// Phase 1: matrix 6589 rows 1883 cols
[2022-06-08 11:28:07] [INFO ] Computed 42 place invariants in 182 ms
[2022-06-08 11:28:10] [INFO ] Implicit Places using invariants in 3190 ms returned []
// Phase 1: matrix 6589 rows 1883 cols
[2022-06-08 11:28:10] [INFO ] Computed 42 place invariants in 170 ms
[2022-06-08 11:28:15] [INFO ] Implicit Places using invariants and state equation in 4815 ms returned []
Implicit Place search using SMT with State Equation took 8023 ms to find 0 implicit places.
[2022-06-08 11:28:16] [INFO ] Redundant transitions in 958 ms returned []
// Phase 1: matrix 6589 rows 1883 cols
[2022-06-08 11:28:16] [INFO ] Computed 42 place invariants in 177 ms
[2022-06-08 11:28:21] [INFO ] Dead Transitions using invariants and state equation in 5443 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1883/1883 places, 6589/6589 transitions.
Incomplete random walk after 100000 steps, including 511 resets, run finished after 1619 ms. (steps per millisecond=61 ) properties (out of 4) seen :0
Running SMT prover for 4 properties.
// Phase 1: matrix 6589 rows 1883 cols
[2022-06-08 11:28:23] [INFO ] Computed 42 place invariants in 176 ms
[2022-06-08 11:28:24] [INFO ] [Real]Absence check using 40 positive place invariants in 33 ms returned sat
[2022-06-08 11:28:24] [INFO ] [Real]Absence check using 40 positive and 2 generalized place invariants in 30 ms returned sat
[2022-06-08 11:28:24] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:4
[2022-06-08 11:28:24] [INFO ] [Nat]Absence check using 40 positive place invariants in 30 ms returned sat
[2022-06-08 11:28:24] [INFO ] [Nat]Absence check using 40 positive and 2 generalized place invariants in 26 ms returned sat
[2022-06-08 11:28:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 11:28:28] [INFO ] [Nat]Absence check using state equation in 3731 ms returned unsat :0 sat :4
[2022-06-08 11:28:28] [INFO ] State equation strengthened by 6262 read => feed constraints.
[2022-06-08 11:28:29] [INFO ] [Nat]Added 6262 Read/Feed constraints in 523 ms returned sat
Attempting to minimize the solution found.
Minimization took 2432 ms.
[2022-06-08 11:29:01] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :1
[2022-06-08 11:29:01] [INFO ] Flatten gal took : 235 ms
[2022-06-08 11:29:01] [INFO ] Flatten gal took : 232 ms
[2022-06-08 11:29:01] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3060630968330082732.gal : 33 ms
[2022-06-08 11:29:01] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3286168743960786623.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality3060630968330082732.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality3286168743960786623.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality3060630968330082732.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality3286168743960786623.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality3286168743960786623.prop.
Detected timeout of ITS tools.
[2022-06-08 11:29:17] [INFO ] Flatten gal took : 217 ms
[2022-06-08 11:29:17] [INFO ] Applying decomposition
[2022-06-08 11:29:17] [INFO ] Flatten gal took : 224 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph15768704756361060013.txt, -o, /tmp/graph15768704756361060013.bin, -w, /tmp/graph15768704756361060013.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph15768704756361060013.bin, -l, -1, -v, -w, /tmp/graph15768704756361060013.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-08 11:29:17] [INFO ] Decomposing Gal with order
[2022-06-08 11:29:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 11:29:18] [INFO ] Removed a total of 5174 redundant transitions.
[2022-06-08 11:29:18] [INFO ] Flatten gal took : 785 ms
[2022-06-08 11:29:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 5570 labels/synchronizations in 414 ms.
[2022-06-08 11:29:19] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13583339645869108799.gal : 58 ms
[2022-06-08 11:29:19] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5248011667434013096.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality13583339645869108799.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5248011667434013096.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality13583339645869108799.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5248011667434013096.prop --nowitness
Loading property file /tmp/ReachabilityCardinality5248011667434013096.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 51
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :51 after 51
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :51 after 51
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :51 after 323
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :323 after 611
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :611 after 826
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :826 after 4840
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :4840 after 42332
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :42332 after 772072
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11683808973660031821
[2022-06-08 11:29:34] [INFO ] Built C files in 89ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11683808973660031821
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin11683808973660031821]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin11683808973660031821] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin11683808973660031821] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Graph (trivial) has 5355 edges and 1883 vertex of which 1249 / 1883 are part of one of the 2 SCC in 15 ms
Free SCC test removed 1247 places
Drop transitions removed 3191 transitions
Ensure Unique test removed 1475 transitions
Reduce isomorphic transitions removed 4666 transitions.
Graph (complete) has 2164 edges and 636 vertex of which 560 are kept as prefixes of interest. Removing 76 places using SCC suffix rule.0 ms
Discarding 76 places :
Also discarding 25 output transitions
Drop transitions removed 25 transitions
Drop transitions removed 378 transitions
Reduce isomorphic transitions removed 378 transitions.
Iterating post reduction 0 with 378 rules applied. Total rules applied 380 place count 560 transition count 1520
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 9 Pre rules applied. Total rules applied 380 place count 560 transition count 1511
Deduced a syphon composed of 9 places in 1 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 1 with 18 rules applied. Total rules applied 398 place count 551 transition count 1511
Discarding 296 places :
Symmetric choice reduction at 1 with 296 rule applications. Total rules 694 place count 255 transition count 915
Iterating global reduction 1 with 296 rules applied. Total rules applied 990 place count 255 transition count 915
Ensure Unique test removed 272 transitions
Reduce isomorphic transitions removed 272 transitions.
Iterating post reduction 1 with 272 rules applied. Total rules applied 1262 place count 255 transition count 643
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 1264 place count 254 transition count 642
Drop transitions removed 39 transitions
Redundant transition composition rules discarded 39 transitions
Iterating global reduction 2 with 39 rules applied. Total rules applied 1303 place count 254 transition count 603
Free-agglomeration rule applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 1305 place count 254 transition count 601
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 1307 place count 252 transition count 601
Partial Free-agglomeration rule applied 19 times.
Drop transitions removed 19 transitions
Iterating global reduction 3 with 19 rules applied. Total rules applied 1326 place count 252 transition count 601
Partial Post-agglomeration rule applied 77 times.
Drop transitions removed 77 transitions
Iterating global reduction 3 with 77 rules applied. Total rules applied 1403 place count 252 transition count 601
Discarding 77 places :
Symmetric choice reduction at 3 with 77 rule applications. Total rules 1480 place count 175 transition count 524
Iterating global reduction 3 with 77 rules applied. Total rules applied 1557 place count 175 transition count 524
Ensure Unique test removed 68 transitions
Reduce isomorphic transitions removed 68 transitions.
Iterating post reduction 3 with 68 rules applied. Total rules applied 1625 place count 175 transition count 456
Drop transitions removed 32 transitions
Redundant transition composition rules discarded 32 transitions
Iterating global reduction 4 with 32 rules applied. Total rules applied 1657 place count 175 transition count 424
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 1658 place count 174 transition count 423
Applied a total of 1658 rules in 1332 ms. Remains 174 /1883 variables (removed 1709) and now considering 423/6589 (removed 6166) transitions.
Running SMT prover for 4 properties.
// Phase 1: matrix 423 rows 174 cols
[2022-06-08 11:29:36] [INFO ] Computed 15 place invariants in 1 ms
[2022-06-08 11:29:37] [INFO ] [Real]Absence check using 15 positive place invariants in 6 ms returned sat
[2022-06-08 11:29:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 11:29:37] [INFO ] [Real]Absence check using state equation in 211 ms returned sat
[2022-06-08 11:29:37] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 11:29:37] [INFO ] [Nat]Absence check using 15 positive place invariants in 6 ms returned sat
[2022-06-08 11:29:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 11:29:37] [INFO ] [Nat]Absence check using state equation in 179 ms returned sat
[2022-06-08 11:29:37] [INFO ] Computed and/alt/rep : 325/498/325 causal constraints (skipped 13 transitions) in 57 ms.
[2022-06-08 11:29:37] [INFO ] Added : 18 causal constraints over 5 iterations in 317 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 2 ms.
[2022-06-08 11:29:37] [INFO ] [Real]Absence check using 15 positive place invariants in 6 ms returned sat
[2022-06-08 11:29:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 11:29:38] [INFO ] [Real]Absence check using state equation in 153 ms returned sat
[2022-06-08 11:29:38] [INFO ] Computed and/alt/rep : 325/498/325 causal constraints (skipped 13 transitions) in 26 ms.
[2022-06-08 11:29:38] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 11:29:38] [INFO ] [Nat]Absence check using 15 positive place invariants in 6 ms returned sat
[2022-06-08 11:29:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 11:29:38] [INFO ] [Nat]Absence check using state equation in 106 ms returned sat
[2022-06-08 11:29:38] [INFO ] Computed and/alt/rep : 325/498/325 causal constraints (skipped 13 transitions) in 26 ms.
[2022-06-08 11:29:38] [INFO ] Added : 26 causal constraints over 6 iterations in 208 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 4 ms.
[2022-06-08 11:29:38] [INFO ] [Real]Absence check using 15 positive place invariants in 6 ms returned sat
[2022-06-08 11:29:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 11:29:38] [INFO ] [Real]Absence check using state equation in 117 ms returned sat
[2022-06-08 11:29:38] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 11:29:38] [INFO ] [Nat]Absence check using 15 positive place invariants in 5 ms returned sat
[2022-06-08 11:29:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 11:29:38] [INFO ] [Nat]Absence check using state equation in 109 ms returned sat
[2022-06-08 11:29:39] [INFO ] Computed and/alt/rep : 325/498/325 causal constraints (skipped 13 transitions) in 29 ms.
[2022-06-08 11:29:39] [INFO ] Added : 23 causal constraints over 5 iterations in 183 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 2 ms.
[2022-06-08 11:29:39] [INFO ] [Real]Absence check using 15 positive place invariants in 6 ms returned sat
[2022-06-08 11:29:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-08 11:29:39] [INFO ] [Real]Absence check using state equation in 118 ms returned sat
[2022-06-08 11:29:39] [INFO ] Computed and/alt/rep : 325/498/325 causal constraints (skipped 13 transitions) in 30 ms.
[2022-06-08 11:29:39] [INFO ] Solution in real domain found non-integer solution.
[2022-06-08 11:29:39] [INFO ] [Nat]Absence check using 15 positive place invariants in 6 ms returned sat
[2022-06-08 11:29:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-08 11:29:39] [INFO ] [Nat]Absence check using state equation in 122 ms returned sat
[2022-06-08 11:29:39] [INFO ] Computed and/alt/rep : 325/498/325 causal constraints (skipped 13 transitions) in 32 ms.
[2022-06-08 11:29:39] [INFO ] Added : 25 causal constraints over 6 iterations in 216 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 2 ms.
[2022-06-08 11:29:40] [INFO ] Flatten gal took : 212 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin7850284845700776614
[2022-06-08 11:29:40] [INFO ] Too many transitions (6589) to apply POR reductions. Disabling POR matrices.
[2022-06-08 11:29:40] [INFO ] Flatten gal took : 285 ms
[2022-06-08 11:29:40] [INFO ] Built C files in 169ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7850284845700776614
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin7850284845700776614]
[2022-06-08 11:29:40] [INFO ] Applying decomposition
[2022-06-08 11:29:40] [INFO ] Flatten gal took : 205 ms
[2022-06-08 11:29:41] [INFO ] Input system was already deterministic with 6589 transitions.
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph10170158281709374255.txt, -o, /tmp/graph10170158281709374255.bin, -w, /tmp/graph10170158281709374255.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph10170158281709374255.bin, -l, -1, -v, -w, /tmp/graph10170158281709374255.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-08 11:29:41] [INFO ] Decomposing Gal with order
[2022-06-08 11:29:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 11:29:42] [INFO ] Removed a total of 5077 redundant transitions.
[2022-06-08 11:29:42] [INFO ] Flatten gal took : 690 ms
[2022-06-08 11:29:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 5613 labels/synchronizations in 423 ms.
[2022-06-08 11:29:43] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability12428604013819357180.gal : 102 ms
[2022-06-08 11:29:43] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability16168244054205071965.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityFireability12428604013819357180.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability16168244054205071965.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityFireability12428604013819357180.gal -t CGAL -reachable-file /tmp/ReachabilityFireability16168244054205071965.prop --nowitness
Loading property file /tmp/ReachabilityFireability16168244054205071965.prop.
[2022-06-08 11:29:44] [INFO ] Ran tautology test, simplified 0 / 4 in 4323 ms.
[2022-06-08 11:29:45] [INFO ] BMC solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-04(UNSAT) depth K=0 took 78 ms
[2022-06-08 11:29:45] [INFO ] BMC solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-10(UNSAT) depth K=0 took 20 ms
[2022-06-08 11:29:45] [INFO ] BMC solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-11(UNSAT) depth K=0 took 20 ms
[2022-06-08 11:29:45] [INFO ] BMC solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-12(UNSAT) depth K=0 took 19 ms
[2022-06-08 11:29:45] [INFO ] BMC solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-04(UNSAT) depth K=1 took 74 ms
[2022-06-08 11:29:45] [INFO ] BMC solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-10(UNSAT) depth K=1 took 53 ms
[2022-06-08 11:29:45] [INFO ] BMC solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-11(UNSAT) depth K=1 took 59 ms
[2022-06-08 11:29:45] [INFO ] BMC solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-12(UNSAT) depth K=1 took 79 ms
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 2606
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :2606 after 2606
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :2606 after 2606
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :2606 after 2606
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 6589 rows 1883 cols
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :2606 after 2607
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :2607 after 2607
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :2607 after 2607
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :2607 after 2607
[2022-06-08 11:29:48] [INFO ] Computed 42 place invariants in 326 ms
inv : Node0Request - Node0WaitAnswer + Node0OKshare + Node0NOshare + Node1Request - Node1WaitAnswer + Node1OKshare + Node1NOshare + Node2Request - Node2WaitAnswer + Node2OKshare + Node2NOshare + Node3Request - Node3WaitAnswer + Node3OKshare + Node3NOshare + Node4Request - Node4WaitAnswer + Node4OKshare + Node4NOshare + Node5Request - Node5WaitAnswer + Node5OKshare + Node5NOshare + Node6Request - Node6WaitAnswer + Node6OKshare + Node6NOshare + Node7Request - Node7WaitAnswer + Node7OKshare + Node7NOshare + Node8Request - Node8WaitAnswer + Node8OKshare + Node8NOshare + Node9Request - Node9WaitAnswer + Node9OKshare + Node9NOshare + Node10Request - Node10WaitAnswer + Node10OKshare + Node10NOshare + Node11Request - Node11WaitAnswer + Node11OKshare + Node11NOshare + Node12Request - Node12WaitAnswer + Node12OKshare + Node12NOshare + Node13Request - Node13WaitAnswer + Node13OKshare + Node13NOshare + Node14Request - Node14WaitAnswer + Node14OKshare + Node14NOshare + Node15Request - Node15WaitAnswer + Node15OKshare + Node15NOshare + Node16Request - Node16WaitAnswer + Node16OKshare + Node16NOshare + Node17Request - Node17WaitAnswer + Node17OKshare + Node17NOshare + Node18Request - Node18WaitAnswer + Node18OKshare + Node18NOshare + Node19Request - Node19WaitAnswer + Node19OKshare + Node19NOshare + Node20Request - Node20WaitAnswer + Node20OKshare + Node20NOshare + Node21Request - Node21WaitAnswer + Node21OKshare + Node21NOshare + Node22Request - Node22WaitAnswer + Node22OKshare + Node22NOshare + Node23Request - Node23WaitAnswer + Node23OKshare + Node23NOshare + Node24Request - Node24WaitAnswer + Node24OKshare + Node24NOshare + Node25Request - Node25WaitAnswer + Node25OKshare + Node25NOshare + Node26Request - Node26WaitAnswer + Node26OKshare + Node26NOshare + Node27Request - Node27WaitAnswer + Node27OKshare + Node27NOshare + Node28Request - Node28WaitAnswer + Node28OKshare + Node28NOshare + Node29Request - Node29WaitAnswer + Node29OKshare + Node29NOshare + Node30Request - Node30WaitAnswer + Node30OKshare + Node30NOshare + Node31Request - Node31WaitAnswer + Node31OKshare + Node31NOshare + Node32Request - Node32WaitAnswer + Node32OKshare + Node32NOshare + Node33Request - Node33WaitAnswer + Node33OKshare + Node33NOshare + Node34Request - Node34WaitAnswer + Node34OKshare + Node34NOshare + Node35Request - Node35WaitAnswer + Node35OKshare + Node35NOshare + Node36Request - Node36WaitAnswer + Node36OKshare + Node36NOshare + Node37Request - Node37WaitAnswer + Node37OKshare + Node37NOshare + Node38Request - Node38WaitAnswer + Node38OKshare + Node38NOshare + Node39ReadyToInsert + Node39IsInserted + Node39Request + Node39NOshare + Node0requestsent1 + Node0requestsent2 + Node0requestsent3 + Node0requestsent4 + Node0requestsent5 + Node0requestsent6 + Node0requestsent7 + Node0requestsent8 + Node0requestsent9 + Node0requestsent10 + Node0requestsent11 + Node0requestsent12 + Node0requestsent13 + Node0requestsent14 + Node0requestsent15 + Node0requestsent16 + Node0requestsent17 + Node0requestsent18 + Node0requestsent19 + Node0requestsent20 + Node0requestsent21 + Node0requestsent22 + Node0requestsent23 + Node0requestsent24 + Node0requestsent25 + Node0requestsent26 + Node0requestsent27 + Node0requestsent28 + Node0requestsent29 + Node0requestsent30 + Node0requestsent31 + Node0requestsent32 + Node0requestsent33 + Node0requestsent34 + Node0requestsent35 + Node0requestsent36 + Node0requestsent37 + Node0requestsent38 + Node0requestsent39 + Node0GiveAnswer39 + Node1requestsent0 + Node1requestsent2 + Node1requestsent3 + Node1requestsent4 + Node1requestsent5 + Node1requestsent6 + Node1requestsent7 + Node1requestsent8 + Node1requestsent9 + Node1requestsent10 + Node1requestsent11 + Node1requestsent12 + Node1requestsent13 + Node1requestsent14 + Node1requestsent15 + Node1requestsent16 + Node1GiveAnswer16 + Node1requestsent17 + Node1requestsent18 + Node1requestsent19 + Node1requestsent20 + Node1requestsent21 + Node1requestsent22 + Node1requestsent23 + Node1requestsent24 + Node1requestsent25 + Node1requestsent26 + Node1requestsent27 + Node1requestsent28 + Node1requestsent29 + Node1requestsent30 + Node1requestsent31 + Node1requestsent32 + Node1requestsent33 + Node1requestsent34 + Node1requestsent35 + Node1requestsent36 + Node1requestsent37 + Node1requestsent38 + Node1requestsent39 + Node1GiveAnswer39 + Node2requestsent0 + Node2requestsent1 + Node2requestsent3 + Node2requestsent4 + Node2requestsent5 + Node2requestsent6 + Node2requestsent7 + Node2requestsent8 + Node2requestsent9 + Node2requestsent10 + Node2requestsent11 + Node2requestsent12 + Node2requestsent13 + Node2requestsent14 + Node2requestsent15 + Node2requestsent16 + Node2requestsent17 + Node2GiveAnswer17 + Node2requestsent18 + Node2requestsent19 + Node2requestsent20 + Node2requestsent21 + Node2requestsent22 + Node2requestsent23 + Node2requestsent24 + Node2requestsent25 + Node2requestsent26 + Node2requestsent27 + Node2requestsent28 + Node2requestsent29 + Node2requestsent30 + Node2requestsent31 + Node2requestsent32 + Node2requestsent33 + Node2requestsent34 + Node2requestsent35 + Node2requestsent36 + Node2requestsent37 + Node2requestsent38 + Node2requestsent39 + Node2GiveAnswer39 + Node3requestsent0 + Node3requestsent1 + Node3GiveAnswer1 + Node3requestsent2 + Node3requestsent4 + Node3requestsent5 + Node3requestsent6 + Node3requestsent7 + Node3requestsent8 + Node3requestsent9 + Node3requestsent10 + Node3requestsent11 + Node3requestsent12 + Node3requestsent13 + Node3requestsent14 + Node3requestsent15 + Node3requestsent16 + Node3requestsent17 + Node3requestsent18 + Node3requestsent19 + Node3requestsent20 + Node3requestsent21 + Node3requestsent22 + Node3requestsent23 + Node3requestsent24 + Node3requestsent25 + Node3requestsent26 + Node3requestsent27 + Node3requestsent28 + Node3requestsent29 + Node3requestsent30 + Node3requestsent31 + Node3GiveAnswer31 + Node3requestsent32 + Node3requestsent33 + Node3requestsent34 + Node3requestsent35 + Node3requestsent36 + Node3requestsent37 + Node3requestsent38 + Node3requestsent39 + Node3GiveAnswer39 + Node4requestsent0 + Node4requestsent1 + Node4requestsent2 + Node4requestsent3 + Node4requestsent5 + Node4requestsent6 + Node4requestsent7 + Node4requestsent8 + Node4requestsent9 + Node4requestsent10 + Node4requestsent11 + Node4requestsent12 + Node4requestsent13 + Node4requestsent14 + Node4requestsent15 + Node4requestsent16 + Node4requestsent17 + Node4requestsent18 + Node4requestsent19 + Node4requestsent20 + Node4requestsent21 + Node4requestsent22 + Node4requestsent23 + Node4requestsent24 + Node4requestsent25 + Node4requestsent26 + Node4requestsent27 + Node4requestsent28 + Node4requestsent29 + Node4requestsent30 + Node4requestsent31 + Node4requestsent32 + Node4requestsent33 + Node4requestsent34 + Node4requestsent35 + Node4requestsent36 + Node4requestsent37 + Node4requestsent38 + Node4requestsent39 + Node4GiveAnswer39 + Node5requestsent0 + Node5requestsent1 + Node5requestsent2 + Node5requestsent3 + Node5requestsent4 + Node5requestsent6 + Node5requestsent7 + Node5requestsent8 + Node5requestsent9 + Node5requestsent10 + Node5requestsent11 + Node5requestsent12 + Node5requestsent13 + Node5requestsent14 + Node5requestsent15 + Node5requestsent16 + Node5GiveAnswer16 + Node5requestsent17 + Node5requestsent18 + Node5requestsent19 + Node5requestsent20 + Node5requestsent21 + Node5requestsent22 + Node5requestsent23 + Node5requestsent24 + Node5requestsent25 + Node5requestsent26 + Node5requestsent27 + Node5requestsent28 + Node5requestsent29 + Node5requestsent30 + Node5requestsent31 + Node5GiveAnswer31 + Node5requestsent32 + Node5requestsent33 + Node5requestsent34 + Node5requestsent35 + Node5requestsent36 + Node5requestsent37 + Node5requestsent38 + Node5requestsent39 + Node5GiveAnswer39 + Node6requestsent0 + Node6requestsent1 + Node6requestsent2 + Node6requestsent3 + Node6requestsent4 + Node6requestsent5 + Node6requestsent7 + Node6requestsent8 + Node6requestsent9 + Node6GiveAnswer9 + Node6requestsent10 + Node6requestsent11 + Node6requestsent12 + Node6requestsent13 + Node6GiveAnswer13 + Node6requestsent14 + Node6requestsent15 + Node6requestsent16 + Node6requestsent17 + Node6requestsent18 + Node6requestsent19 + Node6requestsent20 + Node6requestsent21 + Node6requestsent22 + Node6requestsent23 + Node6requestsent24 + Node6requestsent25 + Node6requestsent26 + Node6requestsent27 + Node6requestsent28 + Node6requestsent29 + Node6requestsent30 + Node6requestsent31 + Node6requestsent32 + Node6requestsent33 + Node6requestsent34 + Node6requestsent35 + Node6GiveAnswer35 + Node6requestsent36 + Node6requestsent37 + Node6requestsent38 + Node6GiveAnswer38 + Node6requestsent39 + Node6GiveAnswer39 + Node7requestsent0 + Node7requestsent1 + Node7requestsent2 + Node7requestsent3 + Node7requestsent4 + Node7requestsent5 + Node7requestsent6 + Node7requestsent8 + Node7requestsent9 + Node7requestsent10 + Node7requestsent11 + Node7requestsent12 + Node7requestsent13 + Node7requestsent14 + Node7requestsent15 + Node7requestsent16 + Node7requestsent17 + Node7requestsent18 + Node7requestsent19 + Node7requestsent20 + Node7requestsent21 + Node7requestsent22 + Node7requestsent23 + Node7requestsent24 + Node7requestsent25 + Node7requestsent26 + Node7requestsent27 + Node7requestsent28 + Node7requestsent29 + Node7requestsent30 + Node7requestsent31 + Node7requestsent32 + Node7requestsent33 + Node7requestsent34 + Node7requestsent35 + Node7requestsent36 + Node7requestsent37 + Node7requestsent38 + Node7requestsent39 + Node7GiveAnswer39 + Node8requestsent0 + Node8requestsent1 + Node8requestsent2 + Node8requestsent3 + Node8requestsent4 + Node8requestsent5 + Node8requestsent6 + Node8requestsent7 + Node8requestsent9 + Node8requestsent10 + Node8requestsent11 + Node8requestsent12 + Node8requestsent13 + Node8requestsent14 + Node8requestsent15 + Node8requestsent16 + Node8requestsent17 + Node8requestsent18 + Node8requestsent19 + Node8requestsent20 + Node8requestsent21 + Node8requestsent22 + Node8requestsent23 + Node8requestsent24 + Node8requestsent25 + Node8requestsent26 + Node8requestsent27 + Node8requestsent28 + Node8requestsent29 + Node8requestsent30 + Node8requestsent31 + Node8requestsent32 + Node8requestsent33 + Node8requestsent34 + Node8requestsent35 + Node8requestsent36 + Node8requestsent37 + Node8requestsent38 + Node8requestsent39 + Node8GiveAnswer39 + Node9requestsent0 + Node9requestsent1 + Node9requestsent2 + Node9requestsent3 + Node9requestsent4 + Node9requestsent5 + Node9requestsent6 + Node9requestsent7 + Node9requestsent8 + Node9requestsent10 + Node9requestsent11 + Node9requestsent12 + Node9requestsent13 + Node9requestsent14 + Node9requestsent15 + Node9requestsent16 + Node9requestsent17 + Node9requestsent18 + Node9requestsent19 + Node9requestsent20 + Node9requestsent21 + Node9requestsent22 + Node9requestsent23 + Node9requestsent24 + Node9requestsent25 + Node9requestsent26 + Node9requestsent27 + Node9requestsent28 + Node9requestsent29 + Node9requestsent30 + Node9requestsent31 + Node9requestsent32 + Node9requestsent33 + Node9requestsent34 + Node9requestsent35 + Node9requestsent36 + Node9requestsent37 + Node9requestsent38 + Node9requestsent39 + Node9GiveAnswer39 + Node10requestsent0 + Node10requestsent1 + Node10requestsent2 + Node10requestsent3 + Node10requestsent4 + Node10requestsent5 + Node10requestsent6 + Node10requestsent7 + Node10requestsent8 + Node10requestsent9 + Node10requestsent11 + Node10requestsent12 + Node10requestsent13 + Node10requestsent14 + Node10requestsent15 + Node10requestsent16 + Node10requestsent17 + Node10requestsent18 + Node10requestsent19 + Node10requestsent20 + Node10requestsent21 + Node10requestsent22 + Node10requestsent23 + Node10requestsent24 + Node10requestsent25 + Node10requestsent26 + Node10requestsent27 + Node10requestsent28 + Node10requestsent29 + Node10requestsent30 + Node10requestsent31 + Node10requestsent32 + Node10requestsent33 + Node10requestsent34 + Node10requestsent35 + Node10requestsent36 + Node10requestsent37 + Node10requestsent38 + Node10requestsent39 + Node10GiveAnswer39 + Node11requestsent0 + Node11requestsent1 + Node11requestsent2 + Node11requestsent3 + Node11requestsent4 + Node11requestsent5 + Node11requestsent6 + Node11requestsent7 + Node11requestsent8 + Node11requestsent9 + Node11requestsent10 + Node11requestsent12 + Node11requestsent13 + Node11requestsent14 + Node11GiveAnswer14 + Node11requestsent15 + Node11requestsent16 + Node11requestsent17 + Node11requestsent18 + Node11GiveAnswer18 + Node11requestsent19 + Node11requestsent20 + Node11requestsent21 + Node11requestsent22 + Node11requestsent23 + Node11requestsent24 + Node11requestsent25 + Node11requestsent26 + Node11requestsent27 + Node11requestsent28 + Node11requestsent29 + Node11requestsent30 + Node11requestsent31 + Node11GiveAnswer31 + Node11requestsent32 + Node11requestsent33 + Node11requestsent34 + Node11requestsent35 + Node11requestsent36 + Node11requestsent37 + Node11requestsent38 + Node11requestsent39 + Node11GiveAnswer39 + Node12requestsent0 + Node12requestsent1 + Node12requestsent2 + Node12requestsent3 + Node12requestsent4 + Node12requestsent5 + Node12requestsent6 + Node12requestsent7 + Node12requestsent8 + Node12requestsent9 + Node12requestsent10 + Node12requestsent11 + Node12requestsent13 + Node12requestsent14 + Node12requestsent15 + Node12requestsent16 + Node12requestsent17 + Node12requestsent18 + Node12requestsent19 + Node12requestsent20 + Node12requestsent21 + Node12requestsent22 + Node12requestsent23 + Node12requestsent24 + Node12requestsent25 + Node12requestsent26 + Node12requestsent27 + Node12requestsent28 + Node12requestsent29 + Node12requestsent30 + Node12requestsent31 + Node12requestsent32 + Node12requestsent33 + Node12requestsent34 + Node12GiveAnswer34 + Node12requestsent35 + Node12requestsent36 + Node12requestsent37 + Node12requestsent38 + Node12requestsent39 + Node12GiveAnswer39 + Node13requestsent0 + Node13requestsent1 + Node13requestsent2 + Node13requestsent3 + Node13requestsent4 + Node13requestsent5 + Node13requestsent6 + Node13requestsent7 + Node13requestsent8 + Node13requestsent9 + Node13requestsent10 + Node13requestsent11 + Node13requestsent12 + Node13requestsent14 + Node13requestsent15 + Node13requestsent16 + Node13requestsent17 + Node13requestsent18 + Node13requestsent19 + Node13requestsent20 + Node13requestsent21 + Node13requestsent22 + Node13requestsent23 + Node13requestsent24 + Node13requestsent25 + Node13requestsent26 + Node13requestsent27 + Node13requestsent28 + Node13requestsent29 + Node13requestsent30 + Node13requestsent31 + Node13requestsent32 + Node13requestsent33 + Node13requestsent34 + Node13requestsent35 + Node13requestsent36 + Node13requestsent37 + Node13requestsent38 + Node13requestsent39 + Node13GiveAnswer39 + Node14requestsent0 + Node14requestsent1 + Node14requestsent2 + Node14requestsent3 + Node14requestsent4 + Node14requestsent5 + Node14requestsent6 + Node14requestsent7 + Node14requestsent8 + Node14requestsent9 + Node14requestsent10 + Node14requestsent11 + Node14requestsent12 + Node14requestsent13 + Node14requestsent15 + Node14requestsent16 + Node14requestsent17 + Node14requestsent18 + Node14requestsent19 + Node14requestsent20 + Node14requestsent21 + Node14requestsent22 + Node14requestsent23 + Node14requestsent24 + Node14requestsent25 + Node14requestsent26 + Node14requestsent27 + Node14requestsent28 + Node14requestsent29 + Node14requestsent30 + Node14requestsent31 + Node14requestsent32 + Node14requestsent33 + Node14requestsent34 + Node14requestsent35 + Node14requestsent36 + Node14requestsent37 + Node14requestsent38 + Node14requestsent39 + Node14GiveAnswer39 + Node15requestsent0 + Node15requestsent1 + Node15requestsent2 + Node15requestsent3 + Node15requestsent4 + Node15requestsent5 + Node15requestsent6 + Node15requestsent7 + Node15requestsent8 + Node15requestsent9 + Node15requestsent10 + Node15requestsent11 + Node15requestsent12 + Node15requestsent13 + Node15requestsent14 + Node15requestsent16 + Node15requestsent17 + Node15requestsent18 + Node15requestsent19 + Node15requestsent20 + Node15requestsent21 + Node15requestsent22 + Node15requestsent23 + Node15requestsent24 + Node15requestsent25 + Node15requestsent26 + Node15requestsent27 + Node15requestsent28 + Node15requestsent29 + Node15requestsent30 + Node15requestsent31 + Node15requestsent32 + Node15requestsent33 + Node15requestsent34 + Node15requestsent35 + Node15requestsent36 + Node15requestsent37 + Node15requestsent38 + Node15requestsent39 + Node15GiveAnswer39 + Node16requestsent0 + Node16requestsent1 + Node16requestsent2 + Node16requestsent3 + Node16requestsent4 + Node16requestsent5 + Node16requestsent6 + Node16requestsent7 + Node16requestsent8 + Node16requestsent9 + Node16requestsent10 + Node16requestsent11 + Node16requestsent12 + Node16requestsent13 + Node16requestsent14 + Node16requestsent15 + Node16requestsent17 + Node16requestsent18 + Node16requestsent19 + Node16requestsent20 + Node16requestsent21 + Node16requestsent22 + Node16requestsent23 + Node16requestsent24 + Node16requestsent25 + Node16requestsent26 + Node16GiveAnswer26 + Node16requestsent27 + Node16requestsent28 + Node16requestsent29 + Node16requestsent30 + Node16requestsent31 + Node16requestsent32 + Node16requestsent33 + Node16requestsent34 + Node16requestsent35 + Node16requestsent36 + Node16requestsent37 + Node16requestsent38 + Node16requestsent39 + Node16GiveAnswer39 + Node17requestsent0 + Node17requestsent1 + Node17requestsent2 + Node17requestsent3 + Node17requestsent4 + Node17requestsent5 + Node17requestsent6 + Node17GiveAnswer6 + Node17requestsent7 + Node17requestsent8 + Node17requestsent9 + Node17requestsent10 + Node17requestsent11 + Node17requestsent12 + Node17requestsent13 + Node17requestsent14 + Node17requestsent15 + Node17requestsent16 + Node17requestsent18 + Node17requestsent19 + Node17requestsent20 + Node17requestsent21 + Node17requestsent22 + Node17requestsent23 + Node17requestsent24 + Node17requestsent25 + Node17requestsent26 + Node17requestsent27 + Node17requestsent28 + Node17requestsent29 + Node17requestsent30 + Node17requestsent31 + Node17requestsent32 + Node17requestsent33 + Node17requestsent34 + Node17requestsent35 + Node17requestsent36 + Node17requestsent37 + Node17requestsent38 + Node17requestsent39 + Node17GiveAnswer39 + Node18requestsent0 + Node18requestsent1 + Node18requestsent2 + Node18requestsent3 + Node18requestsent4 + Node18requestsent5 + Node18requestsent6 + Node18requestsent7 + Node18requestsent8 + Node18requestsent9 + Node18requestsent10 + Node18requestsent11 + Node18requestsent12 + Node18requestsent13 + Node18requestsent14 + Node18requestsent15 + Node18requestsent16 + Node18requestsent17 + Node18requestsent19 + Node18requestsent20 + Node18requestsent21 + Node18requestsent22 + Node18requestsent23 + Node18requestsent24 + Node18requestsent25 + Node18requestsent26 + Node18requestsent27 + Node18requestsent28 + Node18requestsent29 + Node18requestsent30 + Node18requestsent31 + Node18requestsent32 + Node18requestsent33 + Node18requestsent34 + Node18requestsent35 + Node18requestsent36 + Node18requestsent37 + Node18requestsent38 + Node18requestsent39 + Node18GiveAnswer39 + Node19requestsent0 + Node19requestsent1 + Node19requestsent2 + Node19requestsent3 + Node19requestsent4 + Node19requestsent5 + Node19requestsent6 + Node19requestsent7 + Node19requestsent8 + Node19requestsent9 + Node19requestsent10 + Node19requestsent11 + Node19requestsent12 + Node19requestsent13 + Node19requestsent14 + Node19requestsent15 + Node19requestsent16 + Node19requestsent17 + Node19requestsent18 + Node19requestsent20 + Node19requestsent21 + Node19requestsent22 + Node19requestsent23 + Node19requestsent24 + Node19requestsent25 + Node19requestsent26 + Node19requestsent27 + Node19requestsent28 + Node19requestsent29 + Node19requestsent30 + Node19requestsent31 + Node19requestsent32 + Node19requestsent33 + Node19requestsent34 + Node19requestsent35 + Node19requestsent36 + Node19requestsent37 + Node19requestsent38 + Node19requestsent39 + Node19GiveAnswer39 + Node20requestsent0 + Node20requestsent1 + Node20requestsent2 + Node20requestsent3 + Node20requestsent4 + Node20requestsent5 + Node20requestsent6 + Node20requestsent7 + Node20requestsent8 + Node20requestsent9 + Node20requestsent10 + Node20requestsent11 + Node20requestsent12 + Node20requestsent13 + Node20requestsent14 + Node20requestsent15 + Node20requestsent16 + Node20requestsent17 + Node20requestsent18 + Node20requestsent19 + Node20requestsent21 + Node20requestsent22 + Node20requestsent23 + Node20requestsent24 + Node20requestsent25 + Node20requestsent26 + Node20requestsent27 + Node20requestsent28 + Node20requestsent29 + Node20requestsent30 + Node20requestsent31 + Node20requestsent32 + Node20requestsent33 + Node20requestsent34 + Node20requestsent35 + Node20requestsent36 + Node20requestsent37 + Node20requestsent38 + Node20requestsent39 + Node20GiveAnswer39 + Node21requestsent0 + Node21requestsent1 + Node21requestsent2 + Node21requestsent3 + Node21requestsent4 + Node21requestsent5 + Node21requestsent6 + Node21requestsent7 + Node21requestsent8 + Node21requestsent9 + Node21requestsent10 + Node21requestsent11 + Node21requestsent12 + Node21requestsent13 + Node21requestsent14 + Node21requestsent15 + Node21requestsent16 + Node21requestsent17 + Node21requestsent18 + Node21requestsent19 + Node21requestsent20 + Node21requestsent22 + Node21requestsent23 + Node21requestsent24 + Node21requestsent25 + Node21requestsent26 + Node21requestsent27 + Node21requestsent28 + Node21requestsent29 + Node21requestsent30 + Node21requestsent31 + Node21requestsent32 + Node21requestsent33 + Node21requestsent34 + Node21requestsent35 + Node21requestsent36 + Node21requestsent37 + Node21requestsent38 + Node21requestsent39 + Node21GiveAnswer39 + Node22requestsent0 + Node22GiveAnswer0 + Node22requestsent1 + Node22requestsent2 + Node22requestsent3 + Node22requestsent4 + Node22requestsent5 + Node22requestsent6 + Node22requestsent7 + Node22requestsent8 + Node22requestsent9 + Node22requestsent10 + Node22requestsent11 + Node22requestsent12 + Node22requestsent13 + Node22requestsent14 + Node22requestsent15 + Node22requestsent16 + Node22requestsent17 + Node22requestsent18 + Node22requestsent19 + Node22requestsent20 + Node22requestsent21 + Node22requestsent23 + Node22requestsent24 + Node22requestsent25 + Node22requestsent26 + Node22requestsent27 + Node22requestsent28 + Node22requestsent29 + Node22requestsent30 + Node22requestsent31 + Node22requestsent32 + Node22requestsent33 + Node22GiveAnswer33 + Node22requestsent34 + Node22requestsent35 + Node22requestsent36 + Node22requestsent37 + Node22GiveAnswer37 + Node22requestsent38 + Node22requestsent39 + Node22GiveAnswer39 + Node23requestsent0 + Node23requestsent1 + Node23requestsent2 + Node23requestsent3 + Node23requestsent4 + Node23requestsent5 + Node23requestsent6 + Node23requestsent7 + Node23requestsent8 + Node23requestsent9 + Node23requestsent10 + Node23requestsent11 + Node23requestsent12 + Node23requestsent13 + Node23requestsent14 + Node23requestsent15 + Node23requestsent16 + Node23requestsent17 + Node23requestsent18 + Node23requestsent19 + Node23requestsent20 + Node23requestsent21 + Node23requestsent22 + Node23requestsent24 + Node23requestsent25 + Node23requestsent26 + Node23requestsent27 + Node23requestsent28 + Node23requestsent29 + Node23requestsent30 + Node23requestsent31 + Node23GiveAnswer31 + Node23requestsent32 + Node23requestsent33 + Node23requestsent34 + Node23requestsent35 + Node23requestsent36 + Node23requestsent37 + Node23requestsent38 + Node23requestsent39 + Node23GiveAnswer39 + Node24requestsent0 + Node24requestsent1 + Node24requestsent2 + Node24requestsent3 + Node24requestsent4 + Node24requestsent5 + Node24requestsent6 + Node24requestsent7 + Node24GiveAnswer7 + Node24requestsent8 + Node24requestsent9 + Node24requestsent10 + Node24requestsent11 + Node24requestsent12 + Node24requestsent13 + Node24requestsent14 + Node24requestsent15 + Node24requestsent16 + Node24requestsent17 + Node24requestsent18 + Node24requestsent19 + Node24requestsent20 + Node24requestsent21 + Node24requestsent22 + Node24requestsent23 + Node24requestsent25 + Node24requestsent26 + Node24requestsent27 + Node24requestsent28 + Node24requestsent29 + Node24requestsent30 + Node24requestsent31 + Node24requestsent32 + Node24requestsent33 + Node24requestsent34 + Node24requestsent35 + Node24requestsent36 + Node24requestsent37 + Node24requestsent38 + Node24requestsent39 + Node24GiveAnswer39 + Node25requestsent0 + Node25requestsent1 + Node25requestsent2 + Node25requestsent3 + Node25requestsent4 + Node25GiveAnswer4 + Node25requestsent5 + Node25requestsent6 + Node25requestsent7 + Node25requestsent8 + Node25requestsent9 + Node25requestsent10 + Node25requestsent11 + Node25requestsent12 + Node25requestsent13 + Node25requestsent14 + Node25requestsent15 + Node25requestsent16 + Node25requestsent17 + Node25requestsent18 + Node25requestsent19 + Node25requestsent20 + Node25requestsent21 + Node25requestsent22 + Node25requestsent23 + Node25requestsent24 + Node25requestsent26 + Node25requestsent27 + Node25requestsent28 + Node25requestsent29 + Node25requestsent30 + Node25requestsent31 + Node25requestsent32 + Node25requestsent33 + Node25requestsent34 + Node25requestsent35 + Node25requestsent36 + Node25requestsent37 + Node25requestsent38 + Node25requestsent39 + Node25GiveAnswer39 + Node26requestsent0 + Node26requestsent1 + Node26requestsent2 + Node26requestsent3 + Node26requestsent4 + Node26requestsent5 + Node26requestsent6 + Node26requestsent7 + Node26requestsent8 + Node26requestsent9 + Node26requestsent10 + Node26requestsent11 + Node26requestsent12 + Node26requestsent13 + Node26requestsent14 + Node26requestsent15 + Node26requestsent16 + Node26requestsent17 + Node26requestsent18 + Node26requestsent19 + Node26requestsent20 + Node26requestsent21 + Node26requestsent22 + Node26requestsent23 + Node26requestsent24 + Node26requestsent25 + Node26GiveAnswer25 + Node26requestsent27 + Node26requestsent28 + Node26requestsent29 + Node26requestsent30 + Node26requestsent31 + Node26requestsent32 + Node26requestsent33 + Node26requestsent34 + Node26requestsent35 + Node26requestsent36 + Node26requestsent37 + Node26requestsent38 + Node26requestsent39 + Node26GiveAnswer39 + Node27requestsent0 + Node27requestsent1 + Node27requestsent2 + Node27requestsent3 + Node27requestsent4 + Node27requestsent5 + Node27requestsent6 + Node27requestsent7 + Node27requestsent8 + Node27requestsent9 + Node27requestsent10 + Node27requestsent11 + Node27requestsent12 + Node27requestsent13 + Node27requestsent14 + Node27requestsent15 + Node27requestsent16 + Node27requestsent17 + Node27requestsent18 + Node27requestsent19 + Node27requestsent20 + Node27requestsent21 + Node27requestsent22 + Node27requestsent23 + Node27requestsent24 + Node27requestsent25 + Node27requestsent26 + Node27requestsent28 + Node27requestsent29 + Node27requestsent30 + Node27requestsent31 + Node27requestsent32 + Node27requestsent33 + Node27requestsent34 + Node27requestsent35 + Node27requestsent36 + Node27requestsent37 + Node27requestsent38 + Node27requestsent39 + Node27GiveAnswer39 + Node28requestsent0 + Node28requestsent1 + Node28requestsent2 + Node28requestsent3 + Node28requestsent4 + Node28requestsent5 + Node28requestsent6 + Node28requestsent7 + Node28requestsent8 + Node28GiveAnswer8 + Node28requestsent9 + Node28requestsent10 + Node28requestsent11 + Node28requestsent12 + Node28requestsent13 + Node28requestsent14 + Node28requestsent15 + Node28requestsent16 + Node28requestsent17 + Node28requestsent18 + Node28requestsent19 + Node28requestsent20 + Node28requestsent21 + Node28requestsent22 + Node28requestsent23 + Node28requestsent24 + Node28requestsent25 + Node28requestsent26 + Node28requestsent27 + Node28requestsent29 + Node28requestsent30 + Node28requestsent31 + Node28requestsent32 + Node28requestsent33 + Node28requestsent34 + Node28requestsent35 + Node28requestsent36 + Node28requestsent37 + Node28requestsent38 + Node28requestsent39 + Node28GiveAnswer39 + Node29requestsent0 + Node29requestsent1 + Node29requestsent2 + Node29requestsent3 + Node29requestsent4 + Node29requestsent5 + Node29requestsent6 + Node29requestsent7 + Node29requestsent8 + Node29requestsent9 + Node29requestsent10 + Node29requestsent11 + Node29requestsent12 + Node29requestsent13 + Node29requestsent14 + Node29requestsent15 + Node29requestsent16 + Node29requestsent17 + Node29requestsent18 + Node29requestsent19 + Node29requestsent20 + Node29requestsent21 + Node29requestsent22 + Node29requestsent23 + Node29requestsent24 + Node29requestsent25 + Node29requestsent26 + Node29requestsent27 + Node29requestsent28 + Node29requestsent30 + Node29requestsent31 + Node29requestsent32 + Node29requestsent33 + Node29requestsent34 + Node29requestsent35 + Node29requestsent36 + Node29requestsent37 + Node29requestsent38 + Node29requestsent39 + Node29GiveAnswer39 + Node30requestsent0 + Node30requestsent1 + Node30requestsent2 + Node30requestsent3 + Node30requestsent4 + Node30requestsent5 + Node30requestsent6 + Node30requestsent7 + Node30requestsent8 + Node30requestsent9 + Node30requestsent10 + Node30requestsent11 + Node30requestsent12 + Node30requestsent13 + Node30requestsent14 + Node30requestsent15 + Node30requestsent16 + Node30requestsent17 + Node30requestsent18 + Node30requestsent19 + Node30requestsent20 + Node30requestsent21 + Node30requestsent22 + Node30requestsent23 + Node30requestsent24 + Node30requestsent25 + Node30requestsent26 + Node30requestsent27 + Node30requestsent28 + Node30requestsent29 + Node30requestsent31 + Node30requestsent32 + Node30requestsent33 + Node30requestsent34 + Node30requestsent35 + Node30requestsent36 + Node30requestsent37 + Node30requestsent38 + Node30requestsent39 + Node30GiveAnswer39 + Node31requestsent0 + Node31requestsent1 + Node31requestsent2 + Node31requestsent3 + Node31requestsent4 + Node31requestsent5 + Node31requestsent6 + Node31requestsent7 + Node31requestsent8 + Node31requestsent9 + Node31requestsent10 + Node31requestsent11 + Node31requestsent12 + Node31requestsent13 + Node31requestsent14 + Node31requestsent15 + Node31requestsent16 + Node31requestsent17 + Node31requestsent18 + Node31requestsent19 + Node31requestsent20 + Node31requestsent21 + Node31requestsent22 + Node31requestsent23 + Node31requestsent24 + Node31GiveAnswer24 + Node31requestsent25 + Node31requestsent26 + Node31requestsent27 + Node31requestsent28 + Node31requestsent29 + Node31requestsent30 + Node31requestsent32 + Node31requestsent33 + Node31requestsent34 + Node31requestsent35 + Node31requestsent36 + Node31requestsent37 + Node31requestsent38 + Node31requestsent39 + Node31GiveAnswer39 + Node32requestsent0 + Node32requestsent1 + Node32requestsent2 + Node32requestsent3 + Node32requestsent4 + Node32requestsent5 + Node32requestsent6 + Node32requestsent7 + Node32requestsent8 + Node32requestsent9 + Node32requestsent10 + Node32requestsent11 + Node32requestsent12 + Node32requestsent13 + Node32requestsent14 + Node32requestsent15 + Node32requestsent16 + Node32requestsent17 + Node32requestsent18 + Node32requestsent19 + Node32requestsent20 + Node32requestsent21 + Node32requestsent22 + Node32requestsent23 + Node32requestsent24 + Node32requestsent25 + Node32requestsent26 + Node32requestsent27 + Node32requestsent28 + Node32GiveAnswer28 + Node32requestsent29 + Node32requestsent30 + Node32GiveAnswer30 + Node32requestsent31 + Node32requestsent33 + Node32requestsent34 + Node32requestsent35 + Node32requestsent36 + Node32requestsent37 + Node32requestsent38 + Node32requestsent39 + Node32GiveAnswer39 + Node33requestsent0 + Node33requestsent1 + Node33requestsent2 + Node33requestsent3 + Node33requestsent4 + Node33requestsent5 + Node33requestsent6 + Node33requestsent7 + Node33requestsent8 + Node33requestsent9 + Node33requestsent10 + Node33requestsent11 + Node33requestsent12 + Node33requestsent13 + Node33requestsent14 + Node33requestsent15 + Node33requestsent16 + Node33requestsent17 + Node33requestsent18 + Node33requestsent19 + Node33requestsent20 + Node33requestsent21 + Node33requestsent22 + Node33requestsent23 + Node33requestsent24 + Node33requestsent25 + Node33requestsent26 + Node33requestsent27 + Node33requestsent28 + Node33requestsent29 + Node33requestsent30 + Node33requestsent31 + Node33requestsent32 + Node33requestsent34 + Node33requestsent35 + Node33requestsent36 + Node33requestsent37 + Node33requestsent38 + Node33requestsent39 + Node33GiveAnswer39 + Node34requestsent0 + Node34requestsent1 + Node34requestsent2 + Node34requestsent3 + Node34requestsent4 + Node34requestsent5 + Node34requestsent6 + Node34requestsent7 + Node34requestsent8 + Node34requestsent9 + Node34requestsent10 + Node34requestsent11 + Node34requestsent12 + Node34requestsent13 + Node34requestsent14 + Node34requestsent15 + Node34requestsent16 + Node34requestsent17 + Node34GiveAnswer17 + Node34requestsent18 + Node34requestsent19 + Node34requestsent20 + Node34requestsent21 + Node34requestsent22 + Node34requestsent23 + Node34requestsent24 + Node34requestsent25 + Node34requestsent26 + Node34requestsent27 + Node34requestsent28 + Node34requestsent29 + Node34requestsent30 + Node34requestsent31 + Node34requestsent32 + Node34requestsent33 + Node34requestsent35 + Node34requestsent36 + Node34requestsent37 + Node34requestsent38 + Node34requestsent39 + Node34GiveAnswer39 + Node35requestsent0 + Node35requestsent1 + Node35requestsent2 + Node35requestsent3 + Node35requestsent4 + Node35requestsent5 + Node35requestsent6 + Node35requestsent7 + Node35requestsent8 + Node35requestsent9 + Node35requestsent10 + Node35requestsent11 + Node35requestsent12 + Node35requestsent13 + Node35requestsent14 + Node35requestsent15 + Node35requestsent16 + Node35requestsent17 + Node35requestsent18 + Node35requestsent19 + Node35requestsent20 + Node35requestsent21 + Node35requestsent22 + Node35requestsent23 + Node35requestsent24 + Node35requestsent25 + Node35requestsent26 + Node35requestsent27 + Node35requestsent28 + Node35requestsent29 + Node35requestsent30 + Node35requestsent31 + Node35requestsent32 + Node35requestsent33 + Node35requestsent34 + Node35requestsent36 + Node35GiveAnswer36 + Node35requestsent37 + Node35requestsent38 + Node35requestsent39 + Node35GiveAnswer39 + Node36requestsent0 + Node36requestsent1 + Node36requestsent2 + Node36requestsent3 + Node36requestsent4 + Node36requestsent5 + Node36requestsent6 + Node36requestsent7 + Node36requestsent8 + Node36requestsent9 + Node36requestsent10 + Node36requestsent11 + Node36requestsent12 + Node36requestsent13 + Node36requestsent14 + Node36requestsent15 + Node36requestsent16 + Node36requestsent17 + Node36requestsent18 + Node36requestsent19 + Node36requestsent20 + Node36requestsent21 + Node36requestsent22 + Node36requestsent23 + Node36requestsent24 + Node36requestsent25 + Node36requestsent26 + Node36requestsent27 + Node36requestsent28 + Node36requestsent29 + Node36requestsent30 + Node36requestsent31 + Node36requestsent32 + Node36requestsent33 + Node36requestsent34 + Node36requestsent35 + Node36requestsent37 + Node36requestsent38 + Node36requestsent39 + Node36GiveAnswer39 + Node37requestsent0 + Node37requestsent1 + Node37requestsent2 + Node37requestsent3 + Node37requestsent4 + Node37requestsent5 + Node37requestsent6 + Node37requestsent7 + Node37GiveAnswer7 + Node37requestsent8 + Node37requestsent9 + Node37requestsent10 + Node37requestsent11 + Node37requestsent12 + Node37requestsent13 + Node37requestsent14 + Node37requestsent15 + Node37requestsent16 + Node37requestsent17 + Node37requestsent18 + Node37requestsent19 + Node37requestsent20 + Node37requestsent21 + Node37requestsent22 + Node37requestsent23 + Node37GiveAnswer23 + Node37requestsent24 + Node37requestsent25 + Node37requestsent26 + Node37requestsent27 + Node37requestsent28 + Node37requestsent29 + Node37requestsent30 + Node37requestsent31 + Node37requestsent32 + Node37requestsent33 + Node37requestsent34 + Node37requestsent35 + Node37requestsent36 + Node37requestsent38 + Node37requestsent39 + Node37GiveAnswer39 + Node38requestsent0 + Node38requestsent1 + Node38requestsent2 + Node38requestsent3 + Node38requestsent4 + Node38requestsent5 + Node38requestsent6 + Node38requestsent7 + Node38requestsent8 + Node38requestsent9 + Node38requestsent10 + Node38requestsent11 + Node38requestsent12 + Node38requestsent13 + Node38requestsent14 + Node38requestsent15 + Node38requestsent16 + Node38requestsent17 + Node38requestsent18 + Node38requestsent19 + Node38requestsent20 + Node38requestsent21 + Node38requestsent22 + Node38requestsent23 + Node38requestsent24 + Node38requestsent25 + Node38requestsent26 + Node38requestsent27 + Node38requestsent28 + Node38requestsent29 + Node38requestsent30 + Node38requestsent31 + Node38requestsent32 + Node38requestsent33 + Node38requestsent34 + Node38requestsent35 + Node38requestsent36 + Node38requestsent37 + Node38requestsent39 + Node38GiveAnswer39 + Node39requestsent0 + Node39requestsent1 + Node39requestsent2 + Node39requestsent3 + Node39requestsent4 + Node39requestsent5 + Node39requestsent6 + Node39requestsent7 + Node39requestsent8 + Node39requestsent9 + Node39requestsent10 + Node39requestsent11 + Node39requestsent12 + Node39requestsent13 + Node39requestsent14 + Node39requestsent15 + Node39requestsent16 + Node39requestsent17 + Node39requestsent18 + Node39requestsent19 + Node39requestsent20 + Node39requestsent21 + Node39requestsent22 + Node39requestsent23 + Node39requestsent24 + Node39requestsent25 + Node39requestsent26 + Node39requestsent27 + Node39requestsent28 + Node39requestsent29 + Node39requestsent30 + Node39requestsent31 + Node39requestsent32 + Node39requestsent33 + Node39requestsent34 + Node39requestsent35 + Node39requestsent36 + Node39requestsent37 + Node39requestsent38 + Node39GiveAnswer38 = 1
inv : Node12ReadyToInsert + Node12IsInserted + Node12WaitAnswer = 1
inv : Node7ReadyToInsert + Node7IsInserted + Node7WaitAnswer = 1
inv : Node15ReadyToInsert + Node15IsInserted + Node15DHTinfo2 + Node15WaitAnswer = 1
inv : -Node0Request + Node0WaitAnswer - Node0OKshare - Node0NOshare - Node1Request + Node1WaitAnswer - Node1OKshare - Node1NOshare - Node2Request + Node2WaitAnswer - Node2OKshare - Node2NOshare - Node3Request + Node3WaitAnswer - Node3OKshare - Node3NOshare - Node4Request + Node4WaitAnswer - Node4OKshare - Node4NOshare - Node5Request + Node5WaitAnswer - Node5OKshare - Node5NOshare - Node6Request + Node6WaitAnswer - Node6OKshare - Node6NOshare - Node7Request + Node7WaitAnswer - Node7OKshare - Node7NOshare - Node8Request + Node8WaitAnswer - Node8OKshare - Node8NOshare - Node9Request + Node9WaitAnswer - Node9OKshare - Node9NOshare - Node10Request + Node10WaitAnswer - Node10OKshare - Node10NOshare - Node11Request + Node11WaitAnswer - Node11OKshare - Node11NOshare - Node12Request + Node12WaitAnswer - Node12OKshare - Node12NOshare - Node13Request + Node13WaitAnswer - Node13OKshare - Node13NOshare - Node14Request + Node14WaitAnswer - Node14OKshare - Node14NOshare - Node15Request + Node15WaitAnswer - Node15OKshare - Node15NOshare - Node16Request + Node16WaitAnswer - Node16OKshare - Node16NOshare - Node17Request + Node17WaitAnswer - Node17OKshare - Node17NOshare - Node18Request + Node18WaitAnswer - Node18OKshare - Node18NOshare - Node19Request + Node19WaitAnswer - Node19OKshare - Node19NOshare - Node20Request + Node20WaitAnswer - Node20OKshare - Node20NOshare - Node21Request + Node21WaitAnswer - Node21OKshare - Node21NOshare - Node22Request + Node22WaitAnswer - Node22OKshare - Node22NOshare - Node23Request + Node23WaitAnswer - Node23OKshare - Node23NOshare - Node24Request + Node24WaitAnswer - Node24OKshare - Node24NOshare - Node25Request + Node25WaitAnswer - Node25OKshare - Node25NOshare - Node26Request + Node26WaitAnswer - Node26OKshare - Node26NOshare - Node27Request + Node27WaitAnswer - Node27OKshare - Node27NOshare - Node28Request + Node28WaitAnswer - Node28OKshare - Node28NOshare - Node29Request + Node29WaitAnswer - Node29OKshare - Node29NOshare - Node30Request + Node30WaitAnswer - Node30OKshare - Node30NOshare - Node31Request + Node31WaitAnswer - Node31OKshare - Node31NOshare - Node32Request + Node32WaitAnswer - Node32OKshare - Node32NOshare - Node33Request + Node33WaitAnswer - Node33OKshare - Node33NOshare - Node34Request + Node34WaitAnswer - Node34OKshare - Node34NOshare - Node35Request + Node35WaitAnswer - Node35OKshare - Node35NOshare - Node36Request + Node36WaitAnswer - Node36OKshare - Node36NOshare - Node37Request + Node37WaitAnswer - Node37OKshare - Node37NOshare - Node38Request + Node38WaitAnswer - Node38OKshare - Node38NOshare - Node39Request + Node39WaitAnswer - Node39NOshare - Node0requestsent1 - Node0requestsent2 - Node0requestsent3 - Node0requestsent4 - Node0requestsent5 - Node0requestsent6 - Node0requestsent7 - Node0requestsent8 - Node0requestsent9 - Node0requestsent10 - Node0requestsent11 - Node0requestsent12 - Node0requestsent13 - Node0requestsent14 - Node0requestsent15 - Node0requestsent16 - Node0requestsent17 - Node0requestsent18 - Node0requestsent19 - Node0requestsent20 - Node0requestsent21 - Node0requestsent22 - Node0requestsent23 - Node0requestsent24 - Node0requestsent25 - Node0requestsent26 - Node0requestsent27 - Node0requestsent28 - Node0requestsent29 - Node0requestsent30 - Node0requestsent31 - Node0requestsent32 - Node0requestsent33 - Node0requestsent34 - Node0requestsent35 - Node0requestsent36 - Node0requestsent37 - Node0requestsent38 - Node0requestsent39 - Node0GiveAnswer39 - Node1requestsent0 - Node1requestsent2 - Node1requestsent3 - Node1requestsent4 - Node1requestsent5 - Node1requestsent6 - Node1requestsent7 - Node1requestsent8 - Node1requestsent9 - Node1requestsent10 - Node1requestsent11 - Node1requestsent12 - Node1requestsent13 - Node1requestsent14 - Node1requestsent15 - Node1requestsent16 - Node1GiveAnswer16 - Node1requestsent17 - Node1requestsent18 - Node1requestsent19 - Node1requestsent20 - Node1requestsent21 - Node1requestsent22 - Node1requestsent23 - Node1requestsent24 - Node1requestsent25 - Node1requestsent26 - Node1requestsent27 - Node1requestsent28 - Node1requestsent29 - Node1requestsent30 - Node1requestsent31 - Node1requestsent32 - Node1requestsent33 - Node1requestsent34 - Node1requestsent35 - Node1requestsent36 - Node1requestsent37 - Node1requestsent38 - Node1requestsent39 - Node1GiveAnswer39 - Node2requestsent0 - Node2requestsent1 - Node2requestsent3 - Node2requestsent4 - Node2requestsent5 - Node2requestsent6 - Node2requestsent7 - Node2requestsent8 - Node2requestsent9 - Node2requestsent10 - Node2requestsent11 - Node2requestsent12 - Node2requestsent13 - Node2requestsent14 - Node2requestsent15 - Node2requestsent16 - Node2requestsent17 - Node2GiveAnswer17 - Node2requestsent18 - Node2requestsent19 - Node2requestsent20 - Node2requestsent21 - Node2requestsent22 - Node2requestsent23 - Node2requestsent24 - Node2requestsent25 - Node2requestsent26 - Node2requestsent27 - Node2requestsent28 - Node2requestsent29 - Node2requestsent30 - Node2requestsent31 - Node2requestsent32 - Node2requestsent33 - Node2requestsent34 - Node2requestsent35 - Node2requestsent36 - Node2requestsent37 - Node2requestsent38 - Node2requestsent39 - Node2GiveAnswer39 - Node3requestsent0 - Node3requestsent1 - Node3GiveAnswer1 - Node3requestsent2 - Node3requestsent4 - Node3requestsent5 - Node3requestsent6 - Node3requestsent7 - Node3requestsent8 - Node3requestsent9 - Node3requestsent10 - Node3requestsent11 - Node3requestsent12 - Node3requestsent13 - Node3requestsent14 - Node3requestsent15 - Node3requestsent16 - Node3requestsent17 - Node3requestsent18 - Node3requestsent19 - Node3requestsent20 - Node3requestsent21 - Node3requestsent22 - Node3requestsent23 - Node3requestsent24 - Node3requestsent25 - Node3requestsent26 - Node3requestsent27 - Node3requestsent28 - Node3requestsent29 - Node3requestsent30 - Node3requestsent31 - Node3GiveAnswer31 - Node3requestsent32 - Node3requestsent33 - Node3requestsent34 - Node3requestsent35 - Node3requestsent36 - Node3requestsent37 - Node3requestsent38 - Node3requestsent39 - Node3GiveAnswer39 - Node4requestsent0 - Node4requestsent1 - Node4requestsent2 - Node4requestsent3 - Node4requestsent5 - Node4requestsent6 - Node4requestsent7 - Node4requestsent8 - Node4requestsent9 - Node4requestsent10 - Node4requestsent11 - Node4requestsent12 - Node4requestsent13 - Node4requestsent14 - Node4requestsent15 - Node4requestsent16 - Node4requestsent17 - Node4requestsent18 - Node4requestsent19 - Node4requestsent20 - Node4requestsent21 - Node4requestsent22 - Node4requestsent23 - Node4requestsent24 - Node4requestsent25 - Node4requestsent26 - Node4requestsent27 - Node4requestsent28 - Node4requestsent29 - Node4requestsent30 - Node4requestsent31 - Node4requestsent32 - Node4requestsent33 - Node4requestsent34 - Node4requestsent35 - Node4requestsent36 - Node4requestsent37 - Node4requestsent38 - Node4requestsent39 - Node4GiveAnswer39 - Node5requestsent0 - Node5requestsent1 - Node5requestsent2 - Node5requestsent3 - Node5requestsent4 - Node5requestsent6 - Node5requestsent7 - Node5requestsent8 - Node5requestsent9 - Node5requestsent10 - Node5requestsent11 - Node5requestsent12 - Node5requestsent13 - Node5requestsent14 - Node5requestsent15 - Node5requestsent16 - Node5GiveAnswer16 - Node5requestsent17 - Node5requestsent18 - Node5requestsent19 - Node5requestsent20 - Node5requestsent21 - Node5requestsent22 - Node5requestsent23 - Node5requestsent24 - Node5requestsent25 - Node5requestsent26 - Node5requestsent27 - Node5requestsent28 - Node5requestsent29 - Node5requestsent30 - Node5requestsent31 - Node5GiveAnswer31 - Node5requestsent32 - Node5requestsent33 - Node5requestsent34 - Node5requestsent35 - Node5requestsent36 - Node5requestsent37 - Node5requestsent38 - Node5requestsent39 - Node5GiveAnswer39 - Node6requestsent0 - Node6requestsent1 - Node6requestsent2 - Node6requestsent3 - Node6requestsent4 - Node6requestsent5 - Node6requestsent7 - Node6requestsent8 - Node6requestsent9 - Node6GiveAnswer9 - Node6requestsent10 - Node6requestsent11 - Node6requestsent12 - Node6requestsent13 - Node6GiveAnswer13 - Node6requestsent14 - Node6requestsent15 - Node6requestsent16 - Node6requestsent17 - Node6requestsent18 - Node6requestsent19 - Node6requestsent20 - Node6requestsent21 - Node6requestsent22 - Node6requestsent23 - Node6requestsent24 - Node6requestsent25 - Node6requestsent26 - Node6requestsent27 - Node6requestsent28 - Node6requestsent29 - Node6requestsent30 - Node6requestsent31 - Node6requestsent32 - Node6requestsent33 - Node6requestsent34 - Node6requestsent35 - Node6GiveAnswer35 - Node6requestsent36 - Node6requestsent37 - Node6requestsent38 - Node6GiveAnswer38 - Node6requestsent39 - Node6GiveAnswer39 - Node7requestsent0 - Node7requestsent1 - Node7requestsent2 - Node7requestsent3 - Node7requestsent4 - Node7requestsent5 - Node7requestsent6 - Node7requestsent8 - Node7requestsent9 - Node7requestsent10 - Node7requestsent11 - Node7requestsent12 - Node7requestsent13 - Node7requestsent14 - Node7requestsent15 - Node7requestsent16 - Node7requestsent17 - Node7requestsent18 - Node7requestsent19 - Node7requestsent20 - Node7requestsent21 - Node7requestsent22 - Node7requestsent23 - Node7requestsent24 - Node7requestsent25 - Node7requestsent26 - Node7requestsent27 - Node7requestsent28 - Node7requestsent29 - Node7requestsent30 - Node7requestsent31 - Node7requestsent32 - Node7requestsent33 - Node7requestsent34 - Node7requestsent35 - Node7requestsent36 - Node7requestsent37 - Node7requestsent38 - Node7requestsent39 - Node7GiveAnswer39 - Node8requestsent0 - Node8requestsent1 - Node8requestsent2 - Node8requestsent3 - Node8requestsent4 - Node8requestsent5 - Node8requestsent6 - Node8requestsent7 - Node8requestsent9 - Node8requestsent10 - Node8requestsent11 - Node8requestsent12 - Node8requestsent13 - Node8requestsent14 - Node8requestsent15 - Node8requestsent16 - Node8requestsent17 - Node8requestsent18 - Node8requestsent19 - Node8requestsent20 - Node8requestsent21 - Node8requestsent22 - Node8requestsent23 - Node8requestsent24 - Node8requestsent25 - Node8requestsent26 - Node8requestsent27 - Node8requestsent28 - Node8requestsent29 - Node8requestsent30 - Node8requestsent31 - Node8requestsent32 - Node8requestsent33 - Node8requestsent34 - Node8requestsent35 - Node8requestsent36 - Node8requestsent37 - Node8requestsent38 - Node8requestsent39 - Node8GiveAnswer39 - Node9requestsent0 - Node9requestsent1 - Node9requestsent2 - Node9requestsent3 - Node9requestsent4 - Node9requestsent5 - Node9requestsent6 - Node9requestsent7 - Node9requestsent8 - Node9requestsent10 - Node9requestsent11 - Node9requestsent12 - Node9requestsent13 - Node9requestsent14 - Node9requestsent15 - Node9requestsent16 - Node9requestsent17 - Node9requestsent18 - Node9requestsent19 - Node9requestsent20 - Node9requestsent21 - Node9requestsent22 - Node9requestsent23 - Node9requestsent24 - Node9requestsent25 - Node9requestsent26 - Node9requestsent27 - Node9requestsent28 - Node9requestsent29 - Node9requestsent30 - Node9requestsent31 - Node9requestsent32 - Node9requestsent33 - Node9requestsent34 - Node9requestsent35 - Node9requestsent36 - Node9requestsent37 - Node9requestsent38 - Node9requestsent39 - Node9GiveAnswer39 - Node10requestsent0 - Node10requestsent1 - Node10requestsent2 - Node10requestsent3 - Node10requestsent4 - Node10requestsent5 - Node10requestsent6 - Node10requestsent7 - Node10requestsent8 - Node10requestsent9 - Node10requestsent11 - Node10requestsent12 - Node10requestsent13 - Node10requestsent14 - Node10requestsent15 - Node10requestsent16 - Node10requestsent17 - Node10requestsent18 - Node10requestsent19 - Node10requestsent20 - Node10requestsent21 - Node10requestsent22 - Node10requestsent23 - Node10requestsent24 - Node10requestsent25 - Node10requestsent26 - Node10requestsent27 - Node10requestsent28 - Node10requestsent29 - Node10requestsent30 - Node10requestsent31 - Node10requestsent32 - Node10requestsent33 - Node10requestsent34 - Node10requestsent35 - Node10requestsent36 - Node10requestsent37 - Node10requestsent38 - Node10requestsent39 - Node10GiveAnswer39 - Node11requestsent0 - Node11requestsent1 - Node11requestsent2 - Node11requestsent3 - Node11requestsent4 - Node11requestsent5 - Node11requestsent6 - Node11requestsent7 - Node11requestsent8 - Node11requestsent9 - Node11requestsent10 - Node11requestsent12 - Node11requestsent13 - Node11requestsent14 - Node11GiveAnswer14 - Node11requestsent15 - Node11requestsent16 - Node11requestsent17 - Node11requestsent18 - Node11GiveAnswer18 - Node11requestsent19 - Node11requestsent20 - Node11requestsent21 - Node11requestsent22 - Node11requestsent23 - Node11requestsent24 - Node11requestsent25 - Node11requestsent26 - Node11requestsent27 - Node11requestsent28 - Node11requestsent29 - Node11requestsent30 - Node11requestsent31 - Node11GiveAnswer31 - Node11requestsent32 - Node11requestsent33 - Node11requestsent34 - Node11requestsent35 - Node11requestsent36 - Node11requestsent37 - Node11requestsent38 - Node11requestsent39 - Node11GiveAnswer39 - Node12requestsent0 - Node12requestsent1 - Node12requestsent2 - Node12requestsent3 - Node12requestsent4 - Node12requestsent5 - Node12requestsent6 - Node12requestsent7 - Node12requestsent8 - Node12requestsent9 - Node12requestsent10 - Node12requestsent11 - Node12requestsent13 - Node12requestsent14 - Node12requestsent15 - Node12requestsent16 - Node12requestsent17 - Node12requestsent18 - Node12requestsent19 - Node12requestsent20 - Node12requestsent21 - Node12requestsent22 - Node12requestsent23 - Node12requestsent24 - Node12requestsent25 - Node12requestsent26 - Node12requestsent27 - Node12requestsent28 - Node12requestsent29 - Node12requestsent30 - Node12requestsent31 - Node12requestsent32 - Node12requestsent33 - Node12requestsent34 - Node12GiveAnswer34 - Node12requestsent35 - Node12requestsent36 - Node12requestsent37 - Node12requestsent38 - Node12requestsent39 - Node12GiveAnswer39 - Node13requestsent0 - Node13requestsent1 - Node13requestsent2 - Node13requestsent3 - Node13requestsent4 - Node13requestsent5 - Node13requestsent6 - Node13requestsent7 - Node13requestsent8 - Node13requestsent9 - Node13requestsent10 - Node13requestsent11 - Node13requestsent12 - Node13requestsent14 - Node13requestsent15 - Node13requestsent16 - Node13requestsent17 - Node13requestsent18 - Node13requestsent19 - Node13requestsent20 - Node13requestsent21 - Node13requestsent22 - Node13requestsent23 - Node13requestsent24 - Node13requestsent25 - Node13requestsent26 - Node13requestsent27 - Node13requestsent28 - Node13requestsent29 - Node13requestsent30 - Node13requestsent31 - Node13requestsent32 - Node13requestsent33 - Node13requestsent34 - Node13requestsent35 - Node13requestsent36 - Node13requestsent37 - Node13requestsent38 - Node13requestsent39 - Node13GiveAnswer39 - Node14requestsent0 - Node14requestsent1 - Node14requestsent2 - Node14requestsent3 - Node14requestsent4 - Node14requestsent5 - Node14requestsent6 - Node14requestsent7 - Node14requestsent8 - Node14requestsent9 - Node14requestsent10 - Node14requestsent11 - Node14requestsent12 - Node14requestsent13 - Node14requestsent15 - Node14requestsent16 - Node14requestsent17 - Node14requestsent18 - Node14requestsent19 - Node14requestsent20 - Node14requestsent21 - Node14requestsent22 - Node14requestsent23 - Node14requestsent24 - Node14requestsent25 - Node14requestsent26 - Node14requestsent27 - Node14requestsent28 - Node14requestsent29 - Node14requestsent30 - Node14requestsent31 - Node14requestsent32 - Node14requestsent33 - Node14requestsent34 - Node14requestsent35 - Node14requestsent36 - Node14requestsent37 - Node14requestsent38 - Node14requestsent39 - Node14GiveAnswer39 - Node15requestsent0 - Node15requestsent1 - Node15requestsent2 - Node15requestsent3 - Node15requestsent4 - Node15requestsent5 - Node15requestsent6 - Node15requestsent7 - Node15requestsent8 - Node15requestsent9 - Node15requestsent10 - Node15requestsent11 - Node15requestsent12 - Node15requestsent13 - Node15requestsent14 - Node15requestsent16 - Node15requestsent17 - Node15requestsent18 - Node15requestsent19 - Node15requestsent20 - Node15requestsent21 - Node15requestsent22 - Node15requestsent23 - Node15requestsent24 - Node15requestsent25 - Node15requestsent26 - Node15requestsent27 - Node15requestsent28 - Node15requestsent29 - Node15requestsent30 - Node15requestsent31 - Node15requestsent32 - Node15requestsent33 - Node15requestsent34 - Node15requestsent35 - Node15requestsent36 - Node15requestsent37 - Node15requestsent38 - Node15requestsent39 - Node15GiveAnswer39 - Node16requestsent0 - Node16requestsent1 - Node16requestsent2 - Node16requestsent3 - Node16requestsent4 - Node16requestsent5 - Node16requestsent6 - Node16requestsent7 - Node16requestsent8 - Node16requestsent9 - Node16requestsent10 - Node16requestsent11 - Node16requestsent12 - Node16requestsent13 - Node16requestsent14 - Node16requestsent15 - Node16requestsent17 - Node16requestsent18 - Node16requestsent19 - Node16requestsent20 - Node16requestsent21 - Node16requestsent22 - Node16requestsent23 - Node16requestsent24 - Node16requestsent25 - Node16requestsent26 - Node16GiveAnswer26 - Node16requestsent27 - Node16requestsent28 - Node16requestsent29 - Node16requestsent30 - Node16requestsent31 - Node16requestsent32 - Node16requestsent33 - Node16requestsent34 - Node16requestsent35 - Node16requestsent36 - Node16requestsent37 - Node16requestsent38 - Node16requestsent39 - Node16GiveAnswer39 - Node17requestsent0 - Node17requestsent1 - Node17requestsent2 - Node17requestsent3 - Node17requestsent4 - Node17requestsent5 - Node17requestsent6 - Node17GiveAnswer6 - Node17requestsent7 - Node17requestsent8 - Node17requestsent9 - Node17requestsent10 - Node17requestsent11 - Node17requestsent12 - Node17requestsent13 - Node17requestsent14 - Node17requestsent15 - Node17requestsent16 - Node17requestsent18 - Node17requestsent19 - Node17requestsent20 - Node17requestsent21 - Node17requestsent22 - Node17requestsent23 - Node17requestsent24 - Node17requestsent25 - Node17requestsent26 - Node17requestsent27 - Node17requestsent28 - Node17requestsent29 - Node17requestsent30 - Node17requestsent31 - Node17requestsent32 - Node17requestsent33 - Node17requestsent34 - Node17requestsent35 - Node17requestsent36 - Node17requestsent37 - Node17requestsent38 - Node17requestsent39 - Node17GiveAnswer39 - Node18requestsent0 - Node18requestsent1 - Node18requestsent2 - Node18requestsent3 - Node18requestsent4 - Node18requestsent5 - Node18requestsent6 - Node18requestsent7 - Node18requestsent8 - Node18requestsent9 - Node18requestsent10 - Node18requestsent11 - Node18requestsent12 - Node18requestsent13 - Node18requestsent14 - Node18requestsent15 - Node18requestsent16 - Node18requestsent17 - Node18requestsent19 - Node18requestsent20 - Node18requestsent21 - Node18requestsent22 - Node18requestsent23 - Node18requestsent24 - Node18requestsent25 - Node18requestsent26 - Node18requestsent27 - Node18requestsent28 - Node18requestsent29 - Node18requestsent30 - Node18requestsent31 - Node18requestsent32 - Node18requestsent33 - Node18requestsent34 - Node18requestsent35 - Node18requestsent36 - Node18requestsent37 - Node18requestsent38 - Node18requestsent39 - Node18GiveAnswer39 - Node19requestsent0 - Node19requestsent1 - Node19requestsent2 - Node19requestsent3 - Node19requestsent4 - Node19requestsent5 - Node19requestsent6 - Node19requestsent7 - Node19requestsent8 - Node19requestsent9 - Node19requestsent10 - Node19requestsent11 - Node19requestsent12 - Node19requestsent13 - Node19requestsent14 - Node19requestsent15 - Node19requestsent16 - Node19requestsent17 - Node19requestsent18 - Node19requestsent20 - Node19requestsent21 - Node19requestsent22 - Node19requestsent23 - Node19requestsent24 - Node19requestsent25 - Node19requestsent26 - Node19requestsent27 - Node19requestsent28 - Node19requestsent29 - Node19requestsent30 - Node19requestsent31 - Node19requestsent32 - Node19requestsent33 - Node19requestsent34 - Node19requestsent35 - Node19requestsent36 - Node19requestsent37 - Node19requestsent38 - Node19requestsent39 - Node19GiveAnswer39 - Node20requestsent0 - Node20requestsent1 - Node20requestsent2 - Node20requestsent3 - Node20requestsent4 - Node20requestsent5 - Node20requestsent6 - Node20requestsent7 - Node20requestsent8 - Node20requestsent9 - Node20requestsent10 - Node20requestsent11 - Node20requestsent12 - Node20requestsent13 - Node20requestsent14 - Node20requestsent15 - Node20requestsent16 - Node20requestsent17 - Node20requestsent18 - Node20requestsent19 - Node20requestsent21 - Node20requestsent22 - Node20requestsent23 - Node20requestsent24 - Node20requestsent25 - Node20requestsent26 - Node20requestsent27 - Node20requestsent28 - Node20requestsent29 - Node20requestsent30 - Node20requestsent31 - Node20requestsent32 - Node20requestsent33 - Node20requestsent34 - Node20requestsent35 - Node20requestsent36 - Node20requestsent37 - Node20requestsent38 - Node20requestsent39 - Node20GiveAnswer39 - Node21requestsent0 - Node21requestsent1 - Node21requestsent2 - Node21requestsent3 - Node21requestsent4 - Node21requestsent5 - Node21requestsent6 - Node21requestsent7 - Node21requestsent8 - Node21requestsent9 - Node21requestsent10 - Node21requestsent11 - Node21requestsent12 - Node21requestsent13 - Node21requestsent14 - Node21requestsent15 - Node21requestsent16 - Node21requestsent17 - Node21requestsent18 - Node21requestsent19 - Node21requestsent20 - Node21requestsent22 - Node21requestsent23 - Node21requestsent24 - Node21requestsent25 - Node21requestsent26 - Node21requestsent27 - Node21requestsent28 - Node21requestsent29 - Node21requestsent30 - Node21requestsent31 - Node21requestsent32 - Node21requestsent33 - Node21requestsent34 - Node21requestsent35 - Node21requestsent36 - Node21requestsent37 - Node21requestsent38 - Node21requestsent39 - Node21GiveAnswer39 - Node22requestsent0 - Node22GiveAnswer0 - Node22requestsent1 - Node22requestsent2 - Node22requestsent3 - Node22requestsent4 - Node22requestsent5 - Node22requestsent6 - Node22requestsent7 - Node22requestsent8 - Node22requestsent9 - Node22requestsent10 - Node22requestsent11 - Node22requestsent12 - Node22requestsent13 - Node22requestsent14 - Node22requestsent15 - Node22requestsent16 - Node22requestsent17 - Node22requestsent18 - Node22requestsent19 - Node22requestsent20 - Node22requestsent21 - Node22requestsent23 - Node22requestsent24 - Node22requestsent25 - Node22requestsent26 - Node22requestsent27 - Node22requestsent28 - Node22requestsent29 - Node22requestsent30 - Node22requestsent31 - Node22requestsent32 - Node22requestsent33 - Node22GiveAnswer33 - Node22requestsent34 - Node22requestsent35 - Node22requestsent36 - Node22requestsent37 - Node22GiveAnswer37 - Node22requestsent38 - Node22requestsent39 - Node22GiveAnswer39 - Node23requestsent0 - Node23requestsent1 - Node23requestsent2 - Node23requestsent3 - Node23requestsent4 - Node23requestsent5 - Node23requestsent6 - Node23requestsent7 - Node23requestsent8 - Node23requestsent9 - Node23requestsent10 - Node23requestsent11 - Node23requestsent12 - Node23requestsent13 - Node23requestsent14 - Node23requestsent15 - Node23requestsent16 - Node23requestsent17 - Node23requestsent18 - Node23requestsent19 - Node23requestsent20 - Node23requestsent21 - Node23requestsent22 - Node23requestsent24 - Node23requestsent25 - Node23requestsent26 - Node23requestsent27 - Node23requestsent28 - Node23requestsent29 - Node23requestsent30 - Node23requestsent31 - Node23GiveAnswer31 - Node23requestsent32 - Node23requestsent33 - Node23requestsent34 - Node23requestsent35 - Node23requestsent36 - Node23requestsent37 - Node23requestsent38 - Node23requestsent39 - Node23GiveAnswer39 - Node24requestsent0 - Node24requestsent1 - Node24requestsent2 - Node24requestsent3 - Node24requestsent4 - Node24requestsent5 - Node24requestsent6 - Node24requestsent7 - Node24GiveAnswer7 - Node24requestsent8 - Node24requestsent9 - Node24requestsent10 - Node24requestsent11 - Node24requestsent12 - Node24requestsent13 - Node24requestsent14 - Node24requestsent15 - Node24requestsent16 - Node24requestsent17 - Node24requestsent18 - Node24requestsent19 - Node24requestsent20 - Node24requestsent21 - Node24requestsent22 - Node24requestsent23 - Node24requestsent25 - Node24requestsent26 - Node24requestsent27 - Node24requestsent28 - Node24requestsent29 - Node24requestsent30 - Node24requestsent31 - Node24requestsent32 - Node24requestsent33 - Node24requestsent34 - Node24requestsent35 - Node24requestsent36 - Node24requestsent37 - Node24requestsent38 - Node24requestsent39 - Node24GiveAnswer39 - Node25requestsent0 - Node25requestsent1 - Node25requestsent2 - Node25requestsent3 - Node25requestsent4 - Node25GiveAnswer4 - Node25requestsent5 - Node25requestsent6 - Node25requestsent7 - Node25requestsent8 - Node25requestsent9 - Node25requestsent10 - Node25requestsent11 - Node25requestsent12 - Node25requestsent13 - Node25requestsent14 - Node25requestsent15 - Node25requestsent16 - Node25requestsent17 - Node25requestsent18 - Node25requestsent19 - Node25requestsent20 - Node25requestsent21 - Node25requestsent22 - Node25requestsent23 - Node25requestsent24 - Node25requestsent26 - Node25requestsent27 - Node25requestsent28 - Node25requestsent29 - Node25requestsent30 - Node25requestsent31 - Node25requestsent32 - Node25requestsent33 - Node25requestsent34 - Node25requestsent35 - Node25requestsent36 - Node25requestsent37 - Node25requestsent38 - Node25requestsent39 - Node25GiveAnswer39 - Node26requestsent0 - Node26requestsent1 - Node26requestsent2 - Node26requestsent3 - Node26requestsent4 - Node26requestsent5 - Node26requestsent6 - Node26requestsent7 - Node26requestsent8 - Node26requestsent9 - Node26requestsent10 - Node26requestsent11 - Node26requestsent12 - Node26requestsent13 - Node26requestsent14 - Node26requestsent15 - Node26requestsent16 - Node26requestsent17 - Node26requestsent18 - Node26requestsent19 - Node26requestsent20 - Node26requestsent21 - Node26requestsent22 - Node26requestsent23 - Node26requestsent24 - Node26requestsent25 - Node26GiveAnswer25 - Node26requestsent27 - Node26requestsent28 - Node26requestsent29 - Node26requestsent30 - Node26requestsent31 - Node26requestsent32 - Node26requestsent33 - Node26requestsent34 - Node26requestsent35 - Node26requestsent36 - Node26requestsent37 - Node26requestsent38 - Node26requestsent39 - Node26GiveAnswer39 - Node27requestsent0 - Node27requestsent1 - Node27requestsent2 - Node27requestsent3 - Node27requestsent4 - Node27requestsent5 - Node27requestsent6 - Node27requestsent7 - Node27requestsent8 - Node27requestsent9 - Node27requestsent10 - Node27requestsent11 - Node27requestsent12 - Node27requestsent13 - Node27requestsent14 - Node27requestsent15 - Node27requestsent16 - Node27requestsent17 - Node27requestsent18 - Node27requestsent19 - Node27requestsent20 - Node27requestsent21 - Node27requestsent22 - Node27requestsent23 - Node27requestsent24 - Node27requestsent25 - Node27requestsent26 - Node27requestsent28 - Node27requestsent29 - Node27requestsent30 - Node27requestsent31 - Node27requestsent32 - Node27requestsent33 - Node27requestsent34 - Node27requestsent35 - Node27requestsent36 - Node27requestsent37 - Node27requestsent38 - Node27requestsent39 - Node27GiveAnswer39 - Node28requestsent0 - Node28requestsent1 - Node28requestsent2 - Node28requestsent3 - Node28requestsent4 - Node28requestsent5 - Node28requestsent6 - Node28requestsent7 - Node28requestsent8 - Node28GiveAnswer8 - Node28requestsent9 - Node28requestsent10 - Node28requestsent11 - Node28requestsent12 - Node28requestsent13 - Node28requestsent14 - Node28requestsent15 - Node28requestsent16 - Node28requestsent17 - Node28requestsent18 - Node28requestsent19 - Node28requestsent20 - Node28requestsent21 - Node28requestsent22 - Node28requestsent23 - Node28requestsent24 - Node28requestsent25 - Node28requestsent26 - Node28requestsent27 - Node28requestsent29 - Node28requestsent30 - Node28requestsent31 - Node28requestsent32 - Node28requestsent33 - Node28requestsent34 - Node28requestsent35 - Node28requestsent36 - Node28requestsent37 - Node28requestsent38 - Node28requestsent39 - Node28GiveAnswer39 - Node29requestsent0 - Node29requestsent1 - Node29requestsent2 - Node29requestsent3 - Node29requestsent4 - Node29requestsent5 - Node29requestsent6 - Node29requestsent7 - Node29requestsent8 - Node29requestsent9 - Node29requestsent10 - Node29requestsent11 - Node29requestsent12 - Node29requestsent13 - Node29requestsent14 - Node29requestsent15 - Node29requestsent16 - Node29requestsent17 - Node29requestsent18 - Node29requestsent19 - Node29requestsent20 - Node29requestsent21 - Node29requestsent22 - Node29requestsent23 - Node29requestsent24 - Node29requestsent25 - Node29requestsent26 - Node29requestsent27 - Node29requestsent28 - Node29requestsent30 - Node29requestsent31 - Node29requestsent32 - Node29requestsent33 - Node29requestsent34 - Node29requestsent35 - Node29requestsent36 - Node29requestsent37 - Node29requestsent38 - Node29requestsent39 - Node29GiveAnswer39 - Node30requestsent0 - Node30requestsent1 - Node30requestsent2 - Node30requestsent3 - Node30requestsent4 - Node30requestsent5 - Node30requestsent6 - Node30requestsent7 - Node30requestsent8 - Node30requestsent9 - Node30requestsent10 - Node30requestsent11 - Node30requestsent12 - Node30requestsent13 - Node30requestsent14 - Node30requestsent15 - Node30requestsent16 - Node30requestsent17 - Node30requestsent18 - Node30requestsent19 - Node30requestsent20 - Node30requestsent21 - Node30requestsent22 - Node30requestsent23 - Node30requestsent24 - Node30requestsent25 - Node30requestsent26 - Node30requestsent27 - Node30requestsent28 - Node30requestsent29 - Node30requestsent31 - Node30requestsent32 - Node30requestsent33 - Node30requestsent34 - Node30requestsent35 - Node30requestsent36 - Node30requestsent37 - Node30requestsent38 - Node30requestsent39 - Node30GiveAnswer39 - Node31requestsent0 - Node31requestsent1 - Node31requestsent2 - Node31requestsent3 - Node31requestsent4 - Node31requestsent5 - Node31requestsent6 - Node31requestsent7 - Node31requestsent8 - Node31requestsent9 - Node31requestsent10 - Node31requestsent11 - Node31requestsent12 - Node31requestsent13 - Node31requestsent14 - Node31requestsent15 - Node31requestsent16 - Node31requestsent17 - Node31requestsent18 - Node31requestsent19 - Node31requestsent20 - Node31requestsent21 - Node31requestsent22 - Node31requestsent23 - Node31requestsent24 - Node31GiveAnswer24 - Node31requestsent25 - Node31requestsent26 - Node31requestsent27 - Node31requestsent28 - Node31requestsent29 - Node31requestsent30 - Node31requestsent32 - Node31requestsent33 - Node31requestsent34 - Node31requestsent35 - Node31requestsent36 - Node31requestsent37 - Node31requestsent38 - Node31requestsent39 - Node31GiveAnswer39 - Node32requestsent0 - Node32requestsent1 - Node32requestsent2 - Node32requestsent3 - Node32requestsent4 - Node32requestsent5 - Node32requestsent6 - Node32requestsent7 - Node32requestsent8 - Node32requestsent9 - Node32requestsent10 - Node32requestsent11 - Node32requestsent12 - Node32requestsent13 - Node32requestsent14 - Node32requestsent15 - Node32requestsent16 - Node32requestsent17 - Node32requestsent18 - Node32requestsent19 - Node32requestsent20 - Node32requestsent21 - Node32requestsent22 - Node32requestsent23 - Node32requestsent24 - Node32requestsent25 - Node32requestsent26 - Node32requestsent27 - Node32requestsent28 - Node32GiveAnswer28 - Node32requestsent29 - Node32requestsent30 - Node32GiveAnswer30 - Node32requestsent31 - Node32requestsent33 - Node32requestsent34 - Node32requestsent35 - Node32requestsent36 - Node32requestsent37 - Node32requestsent38 - Node32requestsent39 - Node32GiveAnswer39 - Node33requestsent0 - Node33requestsent1 - Node33requestsent2 - Node33requestsent3 - Node33requestsent4 - Node33requestsent5 - Node33requestsent6 - Node33requestsent7 - Node33requestsent8 - Node33requestsent9 - Node33requestsent10 - Node33requestsent11 - Node33requestsent12 - Node33requestsent13 - Node33requestsent14 - Node33requestsent15 - Node33requestsent16 - Node33requestsent17 - Node33requestsent18 - Node33requestsent19 - Node33requestsent20 - Node33requestsent21 - Node33requestsent22 - Node33requestsent23 - Node33requestsent24 - Node33requestsent25 - Node33requestsent26 - Node33requestsent27 - Node33requestsent28 - Node33requestsent29 - Node33requestsent30 - Node33requestsent31 - Node33requestsent32 - Node33requestsent34 - Node33requestsent35 - Node33requestsent36 - Node33requestsent37 - Node33requestsent38 - Node33requestsent39 - Node33GiveAnswer39 - Node34requestsent0 - Node34requestsent1 - Node34requestsent2 - Node34requestsent3 - Node34requestsent4 - Node34requestsent5 - Node34requestsent6 - Node34requestsent7 - Node34requestsent8 - Node34requestsent9 - Node34requestsent10 - Node34requestsent11 - Node34requestsent12 - Node34requestsent13 - Node34requestsent14 - Node34requestsent15 - Node34requestsent16 - Node34requestsent17 - Node34GiveAnswer17 - Node34requestsent18 - Node34requestsent19 - Node34requestsent20 - Node34requestsent21 - Node34requestsent22 - Node34requestsent23 - Node34requestsent24 - Node34requestsent25 - Node34requestsent26 - Node34requestsent27 - Node34requestsent28 - Node34requestsent29 - Node34requestsent30 - Node34requestsent31 - Node34requestsent32 - Node34requestsent33 - Node34requestsent35 - Node34requestsent36 - Node34requestsent37 - Node34requestsent38 - Node34requestsent39 - Node34GiveAnswer39 - Node35requestsent0 - Node35requestsent1 - Node35requestsent2 - Node35requestsent3 - Node35requestsent4 - Node35requestsent5 - Node35requestsent6 - Node35requestsent7 - Node35requestsent8 - Node35requestsent9 - Node35requestsent10 - Node35requestsent11 - Node35requestsent12 - Node35requestsent13 - Node35requestsent14 - Node35requestsent15 - Node35requestsent16 - Node35requestsent17 - Node35requestsent18 - Node35requestsent19 - Node35requestsent20 - Node35requestsent21 - Node35requestsent22 - Node35requestsent23 - Node35requestsent24 - Node35requestsent25 - Node35requestsent26 - Node35requestsent27 - Node35requestsent28 - Node35requestsent29 - Node35requestsent30 - Node35requestsent31 - Node35requestsent32 - Node35requestsent33 - Node35requestsent34 - Node35requestsent36 - Node35GiveAnswer36 - Node35requestsent37 - Node35requestsent38 - Node35requestsent39 - Node35GiveAnswer39 - Node36requestsent0 - Node36requestsent1 - Node36requestsent2 - Node36requestsent3 - Node36requestsent4 - Node36requestsent5 - Node36requestsent6 - Node36requestsent7 - Node36requestsent8 - Node36requestsent9 - Node36requestsent10 - Node36requestsent11 - Node36requestsent12 - Node36requestsent13 - Node36requestsent14 - Node36requestsent15 - Node36requestsent16 - Node36requestsent17 - Node36requestsent18 - Node36requestsent19 - Node36requestsent20 - Node36requestsent21 - Node36requestsent22 - Node36requestsent23 - Node36requestsent24 - Node36requestsent25 - Node36requestsent26 - Node36requestsent27 - Node36requestsent28 - Node36requestsent29 - Node36requestsent30 - Node36requestsent31 - Node36requestsent32 - Node36requestsent33 - Node36requestsent34 - Node36requestsent35 - Node36requestsent37 - Node36requestsent38 - Node36requestsent39 - Node36GiveAnswer39 - Node37requestsent0 - Node37requestsent1 - Node37requestsent2 - Node37requestsent3 - Node37requestsent4 - Node37requestsent5 - Node37requestsent6 - Node37requestsent7 - Node37GiveAnswer7 - Node37requestsent8 - Node37requestsent9 - Node37requestsent10 - Node37requestsent11 - Node37requestsent12 - Node37requestsent13 - Node37requestsent14 - Node37requestsent15 - Node37requestsent16 - Node37requestsent17 - Node37requestsent18 - Node37requestsent19 - Node37requestsent20 - Node37requestsent21 - Node37requestsent22 - Node37requestsent23 - Node37GiveAnswer23 - Node37requestsent24 - Node37requestsent25 - Node37requestsent26 - Node37requestsent27 - Node37requestsent28 - Node37requestsent29 - Node37requestsent30 - Node37requestsent31 - Node37requestsent32 - Node37requestsent33 - Node37requestsent34 - Node37requestsent35 - Node37requestsent36 - Node37requestsent38 - Node37requestsent39 - Node37GiveAnswer39 - Node38requestsent0 - Node38requestsent1 - Node38requestsent2 - Node38requestsent3 - Node38requestsent4 - Node38requestsent5 - Node38requestsent6 - Node38requestsent7 - Node38requestsent8 - Node38requestsent9 - Node38requestsent10 - Node38requestsent11 - Node38requestsent12 - Node38requestsent13 - Node38requestsent14 - Node38requestsent15 - Node38requestsent16 - Node38requestsent17 - Node38requestsent18 - Node38requestsent19 - Node38requestsent20 - Node38requestsent21 - Node38requestsent22 - Node38requestsent23 - Node38requestsent24 - Node38requestsent25 - Node38requestsent26 - Node38requestsent27 - Node38requestsent28 - Node38requestsent29 - Node38requestsent30 - Node38requestsent31 - Node38requestsent32 - Node38requestsent33 - Node38requestsent34 - Node38requestsent35 - Node38requestsent36 - Node38requestsent37 - Node38requestsent39 - Node38GiveAnswer39 - Node39requestsent0 - Node39requestsent1 - Node39requestsent2 - Node39requestsent3 - Node39requestsent4 - Node39requestsent5 - Node39requestsent6 - Node39requestsent7 - Node39requestsent8 - Node39requestsent9 - Node39requestsent10 - Node39requestsent11 - Node39requestsent12 - Node39requestsent13 - Node39requestsent14 - Node39requestsent15 - Node39requestsent16 - Node39requestsent17 - Node39requestsent18 - Node39requestsent19 - Node39requestsent20 - Node39requestsent21 - Node39requestsent22 - Node39requestsent23 - Node39requestsent24 - Node39requestsent25 - Node39requestsent26 - Node39requestsent27 - Node39requestsent28 - Node39requestsent29 - Node39requestsent30 - Node39requestsent31 - Node39requestsent32 - Node39requestsent33 - Node39requestsent34 - Node39requestsent35 - Node39requestsent36 - Node39requestsent37 - Node39requestsent38 - Node39GiveAnswer38 = 0
inv : Node9ReadyToInsert + Node9IsInserted + Node9DHTinfo2 + Node9WaitAnswer = 1
inv : Node2ReadyToInsert + Node2IsInserted + Node2WaitAnswer = 1
inv : Node20ReadyToInsert + Node20IsInserted + Node20WaitAnswer = 1
inv : Node24ReadyToInsert + Node24IsInserted + Node24DHTinfo2 + Node24WaitAnswer = 1
inv : Node38ReadyToInsert + Node38IsInserted + Node38WaitAnswer = 1
inv : Node4ReadyToInsert + Node4IsInserted + Node4WaitAnswer = 1
inv : Node31ReadyToInsert + Node31IsInserted + Node31DHTinfo2 + Node31WaitAnswer = 1
inv : Node27ReadyToInsert + Node27IsInserted + Node27WaitAnswer = 1
inv : Node17ReadyToInsert + Node17IsInserted + Node17WaitAnswer = 1
inv : Node35ReadyToInsert + Node35IsInserted + Node35DHTinfo2 + Node35WaitAnswer = 1
inv : Node33ReadyToInsert + Node33IsInserted + Node33WaitAnswer = 1
inv : Node25ReadyToInsert + Node25IsInserted + Node25WaitAnswer = 1
inv : Node28ReadyToInsert + Node28IsInserted + Node28WaitAnswer = 1
inv : Node8ReadyToInsert + Node8IsInserted + Node8WaitAnswer = 1
inv : Node21ReadyToInsert + Node21IsInserted + Node21WaitAnswer = 1
inv : Node36ReadyToInsert + Node36IsInserted + Node36DHTinfo2 + Node36WaitAnswer = 1
inv : Node16ReadyToInsert + Node16IsInserted + Node16WaitAnswer = 1
inv : Node26ReadyToInsert + Node26IsInserted + Node26WaitAnswer = 1
inv : Node34ReadyToInsert + Node34IsInserted + Node34WaitAnswer = 1
inv : Node13ReadyToInsert + Node13IsInserted + Node13WaitAnswer = 1
inv : Node6ReadyToInsert + Node6IsInserted + Node6WaitAnswer = 1
inv : Node23ReadyToInsert + Node23IsInserted + Node23WaitAnswer = 1
inv : Node32ReadyToInsert + Node32IsInserted + Node32DHTinfo2 + Node32WaitAnswer = 1
inv : InsertedCounter + Node0ReadyToInsert + Node0Request + Node0OKshare + Node0NOshare + Node1ReadyToInsert + Node1Request + Node1OKshare + Node1NOshare + Node2ReadyToInsert + Node2Request + Node2OKshare + Node2NOshare + Node3ReadyToInsert + Node3DHTinfo2 + Node3Request + Node3OKshare + Node3NOshare + Node4ReadyToInsert + Node4Request + Node4OKshare + Node4NOshare + Node5ReadyToInsert + Node5Request + Node5OKshare + Node5NOshare + Node6ReadyToInsert + Node6Request + Node6OKshare + Node6NOshare + Node7ReadyToInsert + Node7Request + Node7OKshare + Node7NOshare + Node8ReadyToInsert + Node8Request + Node8OKshare + Node8NOshare + Node9ReadyToInsert + Node9DHTinfo2 + Node9Request + Node9OKshare + Node9NOshare + Node10ReadyToInsert + Node10Request + Node10OKshare + Node10NOshare + Node11ReadyToInsert + Node11DHTinfo2 + Node11Request + Node11OKshare + Node11NOshare + Node12ReadyToInsert + Node12Request + Node12OKshare + Node12NOshare + Node13ReadyToInsert + Node13Request + Node13OKshare + Node13NOshare + Node14ReadyToInsert + Node14Request + Node14OKshare + Node14NOshare + Node15ReadyToInsert + Node15DHTinfo2 + Node15Request + Node15OKshare + Node15NOshare + Node16ReadyToInsert + Node16Request + Node16OKshare + Node16NOshare + Node17ReadyToInsert + Node17Request + Node17OKshare + Node17NOshare + Node18ReadyToInsert + Node18Request + Node18OKshare + Node18NOshare + Node19ReadyToInsert + Node19DHTinfo2 + Node19Request + Node19OKshare + Node19NOshare + Node20ReadyToInsert + Node20Request + Node20OKshare + Node20NOshare + Node21ReadyToInsert + Node21Request + Node21OKshare + Node21NOshare + Node22ReadyToInsert + Node22Request + Node22OKshare + Node22NOshare + Node23ReadyToInsert + Node23Request + Node23OKshare + Node23NOshare + Node24ReadyToInsert + Node24DHTinfo2 + Node24Request + Node24OKshare + Node24NOshare + Node25ReadyToInsert + Node25Request + Node25OKshare + Node25NOshare + Node26ReadyToInsert + Node26Request + Node26OKshare + Node26NOshare + Node27ReadyToInsert + Node27Request + Node27OKshare + Node27NOshare + Node28ReadyToInsert + Node28Request + Node28OKshare + Node28NOshare + Node29ReadyToInsert + Node29Request + Node29OKshare + Node29NOshare + Node30ReadyToInsert + Node30Request + Node30OKshare + Node30NOshare + Node31ReadyToInsert + Node31DHTinfo2 + Node31Request + Node31OKshare + Node31NOshare + Node32ReadyToInsert + Node32DHTinfo2 + Node32Request + Node32OKshare + Node32NOshare + Node33ReadyToInsert + Node33Request + Node33OKshare + Node33NOshare + Node34ReadyToInsert + Node34Request + Node34OKshare + Node34NOshare + Node35ReadyToInsert + Node35DHTinfo2 + Node35Request + Node35OKshare + Node35NOshare + Node36ReadyToInsert + Node36DHTinfo2 + Node36Request + Node36OKshare + Node36NOshare + Node37ReadyToInsert + Node37Request + Node37OKshare + Node37NOshare + Node38ReadyToInsert + Node38Request + Node38OKshare + Node38NOshare + Node39ReadyToInsert + Node39Request + Node39NOshare + Node0requestsent1 + Node0requestsent2 + Node0requestsent3 + Node0requestsent4 + Node0requestsent5 + Node0requestsent6 + Node0requestsent7 + Node0requestsent8 + Node0requestsent9 + Node0requestsent10 + Node0requestsent11 + Node0requestsent12 + Node0requestsent13 + Node0requestsent14 + Node0requestsent15 + Node0requestsent16 + Node0requestsent17 + Node0requestsent18 + Node0requestsent19 + Node0requestsent20 + Node0requestsent21 + Node0requestsent22 + Node0requestsent23 + Node0requestsent24 + Node0requestsent25 + Node0requestsent26 + Node0requestsent27 + Node0requestsent28 + Node0requestsent29 + Node0requestsent30 + Node0requestsent31 + Node0requestsent32 + Node0requestsent33 + Node0requestsent34 + Node0requestsent35 + Node0requestsent36 + Node0requestsent37 + Node0requestsent38 + Node0requestsent39 + Node0GiveAnswer39 + Node1requestsent0 + Node1requestsent2 + Node1requestsent3 + Node1requestsent4 + Node1requestsent5 + Node1requestsent6 + Node1requestsent7 + Node1requestsent8 + Node1requestsent9 + Node1requestsent10 + Node1requestsent11 + Node1requestsent12 + Node1requestsent13 + Node1requestsent14 + Node1requestsent15 + Node1requestsent16 + Node1GiveAnswer16 + Node1requestsent17 + Node1requestsent18 + Node1requestsent19 + Node1requestsent20 + Node1requestsent21 + Node1requestsent22 + Node1requestsent23 + Node1requestsent24 + Node1requestsent25 + Node1requestsent26 + Node1requestsent27 + Node1requestsent28 + Node1requestsent29 + Node1requestsent30 + Node1requestsent31 + Node1requestsent32 + Node1requestsent33 + Node1requestsent34 + Node1requestsent35 + Node1requestsent36 + Node1requestsent37 + Node1requestsent38 + Node1requestsent39 + Node1GiveAnswer39 + Node2requestsent0 + Node2requestsent1 + Node2requestsent3 + Node2requestsent4 + Node2requestsent5 + Node2requestsent6 + Node2requestsent7 + Node2requestsent8 + Node2requestsent9 + Node2requestsent10 + Node2requestsent11 + Node2requestsent12 + Node2requestsent13 + Node2requestsent14 + Node2requestsent15 + Node2requestsent16 + Node2requestsent17 + Node2GiveAnswer17 + Node2requestsent18 + Node2requestsent19 + Node2requestsent20 + Node2requestsent21 + Node2requestsent22 + Node2requestsent23 + Node2requestsent24 + Node2requestsent25 + Node2requestsent26 + Node2requestsent27 + Node2requestsent28 + Node2requestsent29 + Node2requestsent30 + Node2requestsent31 + Node2requestsent32 + Node2requestsent33 + Node2requestsent34 + Node2requestsent35 + Node2requestsent36 + Node2requestsent37 + Node2requestsent38 + Node2requestsent39 + Node2GiveAnswer39 + Node3requestsent0 + Node3requestsent1 + Node3GiveAnswer1 + Node3requestsent2 + Node3requestsent4 + Node3requestsent5 + Node3requestsent6 + Node3requestsent7 + Node3requestsent8 + Node3requestsent9 + Node3requestsent10 + Node3requestsent11 + Node3requestsent12 + Node3requestsent13 + Node3requestsent14 + Node3requestsent15 + Node3requestsent16 + Node3requestsent17 + Node3requestsent18 + Node3requestsent19 + Node3requestsent20 + Node3requestsent21 + Node3requestsent22 + Node3requestsent23 + Node3requestsent24 + Node3requestsent25 + Node3requestsent26 + Node3requestsent27 + Node3requestsent28 + Node3requestsent29 + Node3requestsent30 + Node3requestsent31 + Node3GiveAnswer31 + Node3requestsent32 + Node3requestsent33 + Node3requestsent34 + Node3requestsent35 + Node3requestsent36 + Node3requestsent37 + Node3requestsent38 + Node3requestsent39 + Node3GiveAnswer39 + Node4requestsent0 + Node4requestsent1 + Node4requestsent2 + Node4requestsent3 + Node4requestsent5 + Node4requestsent6 + Node4requestsent7 + Node4requestsent8 + Node4requestsent9 + Node4requestsent10 + Node4requestsent11 + Node4requestsent12 + Node4requestsent13 + Node4requestsent14 + Node4requestsent15 + Node4requestsent16 + Node4requestsent17 + Node4requestsent18 + Node4requestsent19 + Node4requestsent20 + Node4requestsent21 + Node4requestsent22 + Node4requestsent23 + Node4requestsent24 + Node4requestsent25 + Node4requestsent26 + Node4requestsent27 + Node4requestsent28 + Node4requestsent29 + Node4requestsent30 + Node4requestsent31 + Node4requestsent32 + Node4requestsent33 + Node4requestsent34 + Node4requestsent35 + Node4requestsent36 + Node4requestsent37 + Node4requestsent38 + Node4requestsent39 + Node4GiveAnswer39 + Node5requestsent0 + Node5requestsent1 + Node5requestsent2 + Node5requestsent3 + Node5requestsent4 + Node5requestsent6 + Node5requestsent7 + Node5requestsent8 + Node5requestsent9 + Node5requestsent10 + Node5requestsent11 + Node5requestsent12 + Node5requestsent13 + Node5requestsent14 + Node5requestsent15 + Node5requestsent16 + Node5GiveAnswer16 + Node5requestsent17 + Node5requestsent18 + Node5requestsent19 + Node5requestsent20 + Node5requestsent21 + Node5requestsent22 + Node5requestsent23 + Node5requestsent24 + Node5requestsent25 + Node5requestsent26 + Node5requestsent27 + Node5requestsent28 + Node5requestsent29 + Node5requestsent30 + Node5requestsent31 + Node5GiveAnswer31 + Node5requestsent32 + Node5requestsent33 + Node5requestsent34 + Node5requestsent35 + Node5requestsent36 + Node5requestsent37 + Node5requestsent38 + Node5requestsent39 + Node5GiveAnswer39 + Node6requestsent0 + Node6requestsent1 + Node6requestsent2 + Node6requestsent3 + Node6requestsent4 + Node6requestsent5 + Node6requestsent7 + Node6requestsent8 + Node6requestsent9 + Node6GiveAnswer9 + Node6requestsent10 + Node6requestsent11 + Node6requestsent12 + Node6requestsent13 + Node6GiveAnswer13 + Node6requestsent14 + Node6requestsent15 + Node6requestsent16 + Node6requestsent17 + Node6requestsent18 + Node6requestsent19 + Node6requestsent20 + Node6requestsent21 + Node6requestsent22 + Node6requestsent23 + Node6requestsent24 + Node6requestsent25 + Node6requestsent26 + Node6requestsent27 + Node6requestsent28 + Node6requestsent29 + Node6requestsent30 + Node6requestsent31 + Node6requestsent32 + Node6requestsent33 + Node6requestsent34 + Node6requestsent35 + Node6GiveAnswer35 + Node6requestsent36 + Node6requestsent37 + Node6requestsent38 + Node6GiveAnswer38 + Node6requestsent39 + Node6GiveAnswer39 + Node7requestsent0 + Node7requestsent1 + Node7requestsent2 + Node7requestsent3 + Node7requestsent4 + Node7requestsent5 + Node7requestsent6 + Node7requestsent8 + Node7requestsent9 + Node7requestsent10 + Node7requestsent11 + Node7requestsent12 + Node7requestsent13 + Node7requestsent14 + Node7requestsent15 + Node7requestsent16 + Node7requestsent17 + Node7requestsent18 + Node7requestsent19 + Node7requestsent20 + Node7requestsent21 + Node7requestsent22 + Node7requestsent23 + Node7requestsent24 + Node7requestsent25 + Node7requestsent26 + Node7requestsent27 + Node7requestsent28 + Node7requestsent29 + Node7requestsent30 + Node7requestsent31 + Node7requestsent32 + Node7requestsent33 + Node7requestsent34 + Node7requestsent35 + Node7requestsent36 + Node7requestsent37 + Node7requestsent38 + Node7requestsent39 + Node7GiveAnswer39 + Node8requestsent0 + Node8requestsent1 + Node8requestsent2 + Node8requestsent3 + Node8requestsent4 + Node8requestsent5 + Node8requestsent6 + Node8requestsent7 + Node8requestsent9 + Node8requestsent10 + Node8requestsent11 + Node8requestsent12 + Node8requestsent13 + Node8requestsent14 + Node8requestsent15 + Node8requestsent16 + Node8requestsent17 + Node8requestsent18 + Node8requestsent19 + Node8requestsent20 + Node8requestsent21 + Node8requestsent22 + Node8requestsent23 + Node8requestsent24 + Node8requestsent25 + Node8requestsent26 + Node8requestsent27 + Node8requestsent28 + Node8requestsent29 + Node8requestsent30 + Node8requestsent31 + Node8requestsent32 + Node8requestsent33 + Node8requestsent34 + Node8requestsent35 + Node8requestsent36 + Node8requestsent37 + Node8requestsent38 + Node8requestsent39 + Node8GiveAnswer39 + Node9requestsent0 + Node9requestsent1 + Node9requestsent2 + Node9requestsent3 + Node9requestsent4 + Node9requestsent5 + Node9requestsent6 + Node9requestsent7 + Node9requestsent8 + Node9requestsent10 + Node9requestsent11 + Node9requestsent12 + Node9requestsent13 + Node9requestsent14 + Node9requestsent15 + Node9requestsent16 + Node9requestsent17 + Node9requestsent18 + Node9requestsent19 + Node9requestsent20 + Node9requestsent21 + Node9requestsent22 + Node9requestsent23 + Node9requestsent24 + Node9requestsent25 + Node9requestsent26 + Node9requestsent27 + Node9requestsent28 + Node9requestsent29 + Node9requestsent30 + Node9requestsent31 + Node9requestsent32 + Node9requestsent33 + Node9requestsent34 + Node9requestsent35 + Node9requestsent36 + Node9requestsent37 + Node9requestsent38 + Node9requestsent39 + Node9GiveAnswer39 + Node10requestsent0 + Node10requestsent1 + Node10requestsent2 + Node10requestsent3 + Node10requestsent4 + Node10requestsent5 + Node10requestsent6 + Node10requestsent7 + Node10requestsent8 + Node10requestsent9 + Node10requestsent11 + Node10requestsent12 + Node10requestsent13 + Node10requestsent14 + Node10requestsent15 + Node10requestsent16 + Node10requestsent17 + Node10requestsent18 + Node10requestsent19 + Node10requestsent20 + Node10requestsent21 + Node10requestsent22 + Node10requestsent23 + Node10requestsent24 + Node10requestsent25 + Node10requestsent26 + Node10requestsent27 + Node10requestsent28 + Node10requestsent29 + Node10requestsent30 + Node10requestsent31 + Node10requestsent32 + Node10requestsent33 + Node10requestsent34 + Node10requestsent35 + Node10requestsent36 + Node10requestsent37 + Node10requestsent38 + Node10requestsent39 + Node10GiveAnswer39 + Node11requestsent0 + Node11requestsent1 + Node11requestsent2 + Node11requestsent3 + Node11requestsent4 + Node11requestsent5 + Node11requestsent6 + Node11requestsent7 + Node11requestsent8 + Node11requestsent9 + Node11requestsent10 + Node11requestsent12 + Node11requestsent13 + Node11requestsent14 + Node11GiveAnswer14 + Node11requestsent15 + Node11requestsent16 + Node11requestsent17 + Node11requestsent18 + Node11GiveAnswer18 + Node11requestsent19 + Node11requestsent20 + Node11requestsent21 + Node11requestsent22 + Node11requestsent23 + Node11requestsent24 + Node11requestsent25 + Node11requestsent26 + Node11requestsent27 + Node11requestsent28 + Node11requestsent29 + Node11requestsent30 + Node11requestsent31 + Node11GiveAnswer31 + Node11requestsent32 + Node11requestsent33 + Node11requestsent34 + Node11requestsent35 + Node11requestsent36 + Node11requestsent37 + Node11requestsent38 + Node11requestsent39 + Node11GiveAnswer39 + Node12requestsent0 + Node12requestsent1 + Node12requestsent2 + Node12requestsent3 + Node12requestsent4 + Node12requestsent5 + Node12requestsent6 + Node12requestsent7 + Node12requestsent8 + Node12requestsent9 + Node12requestsent10 + Node12requestsent11 + Node12requestsent13 + Node12requestsent14 + Node12requestsent15 + Node12requestsent16 + Node12requestsent17 + Node12requestsent18 + Node12requestsent19 + Node12requestsent20 + Node12requestsent21 + Node12requestsent22 + Node12requestsent23 + Node12requestsent24 + Node12requestsent25 + Node12requestsent26 + Node12requestsent27 + Node12requestsent28 + Node12requestsent29 + Node12requestsent30 + Node12requestsent31 + Node12requestsent32 + Node12requestsent33 + Node12requestsent34 + Node12GiveAnswer34 + Node12requestsent35 + Node12requestsent36 + Node12requestsent37 + Node12requestsent38 + Node12requestsent39 + Node12GiveAnswer39 + Node13requestsent0 + Node13requestsent1 + Node13requestsent2 + Node13requestsent3 + Node13requestsent4 + Node13requestsent5 + Node13requestsent6 + Node13requestsent7 + Node13requestsent8 + Node13requestsent9 + Node13requestsent10 + Node13requestsent11 + Node13requestsent12 + Node13requestsent14 + Node13requestsent15 + Node13requestsent16 + Node13requestsent17 + Node13requestsent18 + Node13requestsent19 + Node13requestsent20 + Node13requestsent21 + Node13requestsent22 + Node13requestsent23 + Node13requestsent24 + Node13requestsent25 + Node13requestsent26 + Node13requestsent27 + Node13requestsent28 + Node13requestsent29 + Node13requestsent30 + Node13requestsent31 + Node13requestsent32 + Node13requestsent33 + Node13requestsent34 + Node13requestsent35 + Node13requestsent36 + Node13requestsent37 + Node13requestsent38 + Node13requestsent39 + Node13GiveAnswer39 + Node14requestsent0 + Node14requestsent1 + Node14requestsent2 + Node14requestsent3 + Node14requestsent4 + Node14requestsent5 + Node14requestsent6 + Node14requestsent7 + Node14requestsent8 + Node14requestsent9 + Node14requestsent10 + Node14requestsent11 + Node14requestsent12 + Node14requestsent13 + Node14requestsent15 + Node14requestsent16 + Node14requestsent17 + Node14requestsent18 + Node14requestsent19 + Node14requestsent20 + Node14requestsent21 + Node14requestsent22 + Node14requestsent23 + Node14requestsent24 + Node14requestsent25 + Node14requestsent26 + Node14requestsent27 + Node14requestsent28 + Node14requestsent29 + Node14requestsent30 + Node14requestsent31 + Node14requestsent32 + Node14requestsent33 + Node14requestsent34 + Node14requestsent35 + Node14requestsent36 + Node14requestsent37 + Node14requestsent38 + Node14requestsent39 + Node14GiveAnswer39 + Node15requestsent0 + Node15requestsent1 + Node15requestsent2 + Node15requestsent3 + Node15requestsent4 + Node15requestsent5 + Node15requestsent6 + Node15requestsent7 + Node15requestsent8 + Node15requestsent9 + Node15requestsent10 + Node15requestsent11 + Node15requestsent12 + Node15requestsent13 + Node15requestsent14 + Node15requestsent16 + Node15requestsent17 + Node15requestsent18 + Node15requestsent19 + Node15requestsent20 + Node15requestsent21 + Node15requestsent22 + Node15requestsent23 + Node15requestsent24 + Node15requestsent25 + Node15requestsent26 + Node15requestsent27 + Node15requestsent28 + Node15requestsent29 + Node15requestsent30 + Node15requestsent31 + Node15requestsent32 + Node15requestsent33 + Node15requestsent34 + Node15requestsent35 + Node15requestsent36 + Node15requestsent37 + Node15requestsent38 + Node15requestsent39 + Node15GiveAnswer39 + Node16requestsent0 + Node16requestsent1 + Node16requestsent2 + Node16requestsent3 + Node16requestsent4 + Node16requestsent5 + Node16requestsent6 + Node16requestsent7 + Node16requestsent8 + Node16requestsent9 + Node16requestsent10 + Node16requestsent11 + Node16requestsent12 + Node16requestsent13 + Node16requestsent14 + Node16requestsent15 + Node16requestsent17 + Node16requestsent18 + Node16requestsent19 + Node16requestsent20 + Node16requestsent21 + Node16requestsent22 + Node16requestsent23 + Node16requestsent24 + Node16requestsent25 + Node16requestsent26 + Node16GiveAnswer26 + Node16requestsent27 + Node16requestsent28 + Node16requestsent29 + Node16requestsent30 + Node16requestsent31 + Node16requestsent32 + Node16requestsent33 + Node16requestsent34 + Node16requestsent35 + Node16requestsent36 + Node16requestsent37 + Node16requestsent38 + Node16requestsent39 + Node16GiveAnswer39 + Node17requestsent0 + Node17requestsent1 + Node17requestsent2 + Node17requestsent3 + Node17requestsent4 + Node17requestsent5 + Node17requestsent6 + Node17GiveAnswer6 + Node17requestsent7 + Node17requestsent8 + Node17requestsent9 + Node17requestsent10 + Node17requestsent11 + Node17requestsent12 + Node17requestsent13 + Node17requestsent14 + Node17requestsent15 + Node17requestsent16 + Node17requestsent18 + Node17requestsent19 + Node17requestsent20 + Node17requestsent21 + Node17requestsent22 + Node17requestsent23 + Node17requestsent24 + Node17requestsent25 + Node17requestsent26 + Node17requestsent27 + Node17requestsent28 + Node17requestsent29 + Node17requestsent30 + Node17requestsent31 + Node17requestsent32 + Node17requestsent33 + Node17requestsent34 + Node17requestsent35 + Node17requestsent36 + Node17requestsent37 + Node17requestsent38 + Node17requestsent39 + Node17GiveAnswer39 + Node18requestsent0 + Node18requestsent1 + Node18requestsent2 + Node18requestsent3 + Node18requestsent4 + Node18requestsent5 + Node18requestsent6 + Node18requestsent7 + Node18requestsent8 + Node18requestsent9 + Node18requestsent10 + Node18requestsent11 + Node18requestsent12 + Node18requestsent13 + Node18requestsent14 + Node18requestsent15 + Node18requestsent16 + Node18requestsent17 + Node18requestsent19 + Node18requestsent20 + Node18requestsent21 + Node18requestsent22 + Node18requestsent23 + Node18requestsent24 + Node18requestsent25 + Node18requestsent26 + Node18requestsent27 + Node18requestsent28 + Node18requestsent29 + Node18requestsent30 + Node18requestsent31 + Node18requestsent32 + Node18requestsent33 + Node18requestsent34 + Node18requestsent35 + Node18requestsent36 + Node18requestsent37 + Node18requestsent38 + Node18requestsent39 + Node18GiveAnswer39 + Node19requestsent0 + Node19requestsent1 + Node19requestsent2 + Node19requestsent3 + Node19requestsent4 + Node19requestsent5 + Node19requestsent6 + Node19requestsent7 + Node19requestsent8 + Node19requestsent9 + Node19requestsent10 + Node19requestsent11 + Node19requestsent12 + Node19requestsent13 + Node19requestsent14 + Node19requestsent15 + Node19requestsent16 + Node19requestsent17 + Node19requestsent18 + Node19requestsent20 + Node19requestsent21 + Node19requestsent22 + Node19requestsent23 + Node19requestsent24 + Node19requestsent25 + Node19requestsent26 + Node19requestsent27 + Node19requestsent28 + Node19requestsent29 + Node19requestsent30 + Node19requestsent31 + Node19requestsent32 + Node19requestsent33 + Node19requestsent34 + Node19requestsent35 + Node19requestsent36 + Node19requestsent37 + Node19requestsent38 + Node19requestsent39 + Node19GiveAnswer39 + Node20requestsent0 + Node20requestsent1 + Node20requestsent2 + Node20requestsent3 + Node20requestsent4 + Node20requestsent5 + Node20requestsent6 + Node20requestsent7 + Node20requestsent8 + Node20requestsent9 + Node20requestsent10 + Node20requestsent11 + Node20requestsent12 + Node20requestsent13 + Node20requestsent14 + Node20requestsent15 + Node20requestsent16 + Node20requestsent17 + Node20requestsent18 + Node20requestsent19 + Node20requestsent21 + Node20requestsent22 + Node20requestsent23 + Node20requestsent24 + Node20requestsent25 + Node20requestsent26 + Node20requestsent27 + Node20requestsent28 + Node20requestsent29 + Node20requestsent30 + Node20requestsent31 + Node20requestsent32 + Node20requestsent33 + Node20requestsent34 + Node20requestsent35 + Node20requestsent36 + Node20requestsent37 + Node20requestsent38 + Node20requestsent39 + Node20GiveAnswer39 + Node21requestsent0 + Node21requestsent1 + Node21requestsent2 + Node21requestsent3 + Node21requestsent4 + Node21requestsent5 + Node21requestsent6 + Node21requestsent7 + Node21requestsent8 + Node21requestsent9 + Node21requestsent10 + Node21requestsent11 + Node21requestsent12 + Node21requestsent13 + Node21requestsent14 + Node21requestsent15 + Node21requestsent16 + Node21requestsent17 + Node21requestsent18 + Node21requestsent19 + Node21requestsent20 + Node21requestsent22 + Node21requestsent23 + Node21requestsent24 + Node21requestsent25 + Node21requestsent26 + Node21requestsent27 + Node21requestsent28 + Node21requestsent29 + Node21requestsent30 + Node21requestsent31 + Node21requestsent32 + Node21requestsent33 + Node21requestsent34 + Node21requestsent35 + Node21requestsent36 + Node21requestsent37 + Node21requestsent38 + Node21requestsent39 + Node21GiveAnswer39 + Node22requestsent0 + Node22GiveAnswer0 + Node22requestsent1 + Node22requestsent2 + Node22requestsent3 + Node22requestsent4 + Node22requestsent5 + Node22requestsent6 + Node22requestsent7 + Node22requestsent8 + Node22requestsent9 + Node22requestsent10 + Node22requestsent11 + Node22requestsent12 + Node22requestsent13 + Node22requestsent14 + Node22requestsent15 + Node22requestsent16 + Node22requestsent17 + Node22requestsent18 + Node22requestsent19 + Node22requestsent20 + Node22requestsent21 + Node22requestsent23 + Node22requestsent24 + Node22requestsent25 + Node22requestsent26 + Node22requestsent27 + Node22requestsent28 + Node22requestsent29 + Node22requestsent30 + Node22requestsent31 + Node22requestsent32 + Node22requestsent33 + Node22GiveAnswer33 + Node22requestsent34 + Node22requestsent35 + Node22requestsent36 + Node22requestsent37 + Node22GiveAnswer37 + Node22requestsent38 + Node22requestsent39 + Node22GiveAnswer39 + Node23requestsent0 + Node23requestsent1 + Node23requestsent2 + Node23requestsent3 + Node23requestsent4 + Node23requestsent5 + Node23requestsent6 + Node23requestsent7 + Node23requestsent8 + Node23requestsent9 + Node23requestsent10 + Node23requestsent11 + Node23requestsent12 + Node23requestsent13 + Node23requestsent14 + Node23requestsent15 + Node23requestsent16 + Node23requestsent17 + Node23requestsent18 + Node23requestsent19 + Node23requestsent20 + Node23requestsent21 + Node23requestsent22 + Node23requestsent24 + Node23requestsent25 + Node23requestsent26 + Node23requestsent27 + Node23requestsent28 + Node23requestsent29 + Node23requestsent30 + Node23requestsent31 + Node23GiveAnswer31 + Node23requestsent32 + Node23requestsent33 + Node23requestsent34 + Node23requestsent35 + Node23requestsent36 + Node23requestsent37 + Node23requestsent38 + Node23requestsent39 + Node23GiveAnswer39 + Node24requestsent0 + Node24requestsent1 + Node24requestsent2 + Node24requestsent3 + Node24requestsent4 + Node24requestsent5 + Node24requestsent6 + Node24requestsent7 + Node24GiveAnswer7 + Node24requestsent8 + Node24requestsent9 + Node24requestsent10 + Node24requestsent11 + Node24requestsent12 + Node24requestsent13 + Node24requestsent14 + Node24requestsent15 + Node24requestsent16 + Node24requestsent17 + Node24requestsent18 + Node24requestsent19 + Node24requestsent20 + Node24requestsent21 + Node24requestsent22 + Node24requestsent23 + Node24requestsent25 + Node24requestsent26 + Node24requestsent27 + Node24requestsent28 + Node24requestsent29 + Node24requestsent30 + Node24requestsent31 + Node24requestsent32 + Node24requestsent33 + Node24requestsent34 + Node24requestsent35 + Node24requestsent36 + Node24requestsent37 + Node24requestsent38 + Node24requestsent39 + Node24GiveAnswer39 + Node25requestsent0 + Node25requestsent1 + Node25requestsent2 + Node25requestsent3 + Node25requestsent4 + Node25GiveAnswer4 + Node25requestsent5 + Node25requestsent6 + Node25requestsent7 + Node25requestsent8 + Node25requestsent9 + Node25requestsent10 + Node25requestsent11 + Node25requestsent12 + Node25requestsent13 + Node25requestsent14 + Node25requestsent15 + Node25requestsent16 + Node25requestsent17 + Node25requestsent18 + Node25requestsent19 + Node25requestsent20 + Node25requestsent21 + Node25requestsent22 + Node25requestsent23 + Node25requestsent24 + Node25requestsent26 + Node25requestsent27 + Node25requestsent28 + Node25requestsent29 + Node25requestsent30 + Node25requestsent31 + Node25requestsent32 + Node25requestsent33 + Node25requestsent34 + Node25requestsent35 + Node25requestsent36 + Node25requestsent37 + Node25requestsent38 + Node25requestsent39 + Node25GiveAnswer39 + Node26requestsent0 + Node26requestsent1 + Node26requestsent2 + Node26requestsent3 + Node26requestsent4 + Node26requestsent5 + Node26requestsent6 + Node26requestsent7 + Node26requestsent8 + Node26requestsent9 + Node26requestsent10 + Node26requestsent11 + Node26requestsent12 + Node26requestsent13 + Node26requestsent14 + Node26requestsent15 + Node26requestsent16 + Node26requestsent17 + Node26requestsent18 + Node26requestsent19 + Node26requestsent20 + Node26requestsent21 + Node26requestsent22 + Node26requestsent23 + Node26requestsent24 + Node26requestsent25 + Node26GiveAnswer25 + Node26requestsent27 + Node26requestsent28 + Node26requestsent29 + Node26requestsent30 + Node26requestsent31 + Node26requestsent32 + Node26requestsent33 + Node26requestsent34 + Node26requestsent35 + Node26requestsent36 + Node26requestsent37 + Node26requestsent38 + Node26requestsent39 + Node26GiveAnswer39 + Node27requestsent0 + Node27requestsent1 + Node27requestsent2 + Node27requestsent3 + Node27requestsent4 + Node27requestsent5 + Node27requestsent6 + Node27requestsent7 + Node27requestsent8 + Node27requestsent9 + Node27requestsent10 + Node27requestsent11 + Node27requestsent12 + Node27requestsent13 + Node27requestsent14 + Node27requestsent15 + Node27requestsent16 + Node27requestsent17 + Node27requestsent18 + Node27requestsent19 + Node27requestsent20 + Node27requestsent21 + Node27requestsent22 + Node27requestsent23 + Node27requestsent24 + Node27requestsent25 + Node27requestsent26 + Node27requestsent28 + Node27requestsent29 + Node27requestsent30 + Node27requestsent31 + Node27requestsent32 + Node27requestsent33 + Node27requestsent34 + Node27requestsent35 + Node27requestsent36 + Node27requestsent37 + Node27requestsent38 + Node27requestsent39 + Node27GiveAnswer39 + Node28requestsent0 + Node28requestsent1 + Node28requestsent2 + Node28requestsent3 + Node28requestsent4 + Node28requestsent5 + Node28requestsent6 + Node28requestsent7 + Node28requestsent8 + Node28GiveAnswer8 + Node28requestsent9 + Node28requestsent10 + Node28requestsent11 + Node28requestsent12 + Node28requestsent13 + Node28requestsent14 + Node28requestsent15 + Node28requestsent16 + Node28requestsent17 + Node28requestsent18 + Node28requestsent19 + Node28requestsent20 + Node28requestsent21 + Node28requestsent22 + Node28requestsent23 + Node28requestsent24 + Node28requestsent25 + Node28requestsent26 + Node28requestsent27 + Node28requestsent29 + Node28requestsent30 + Node28requestsent31 + Node28requestsent32 + Node28requestsent33 + Node28requestsent34 + Node28requestsent35 + Node28requestsent36 + Node28requestsent37 + Node28requestsent38 + Node28requestsent39 + Node28GiveAnswer39 + Node29requestsent0 + Node29requestsent1 + Node29requestsent2 + Node29requestsent3 + Node29requestsent4 + Node29requestsent5 + Node29requestsent6 + Node29requestsent7 + Node29requestsent8 + Node29requestsent9 + Node29requestsent10 + Node29requestsent11 + Node29requestsent12 + Node29requestsent13 + Node29requestsent14 + Node29requestsent15 + Node29requestsent16 + Node29requestsent17 + Node29requestsent18 + Node29requestsent19 + Node29requestsent20 + Node29requestsent21 + Node29requestsent22 + Node29requestsent23 + Node29requestsent24 + Node29requestsent25 + Node29requestsent26 + Node29requestsent27 + Node29requestsent28 + Node29requestsent30 + Node29requestsent31 + Node29requestsent32 + Node29requestsent33 + Node29requestsent34 + Node29requestsent35 + Node29requestsent36 + Node29requestsent37 + Node29requestsent38 + Node29requestsent39 + Node29GiveAnswer39 + Node30requestsent0 + Node30requestsent1 + Node30requestsent2 + Node30requestsent3 + Node30requestsent4 + Node30requestsent5 + Node30requestsent6 + Node30requestsent7 + Node30requestsent8 + Node30requestsent9 + Node30requestsent10 + Node30requestsent11 + Node30requestsent12 + Node30requestsent13 + Node30requestsent14 + Node30requestsent15 + Node30requestsent16 + Node30requestsent17 + Node30requestsent18 + Node30requestsent19 + Node30requestsent20 + Node30requestsent21 + Node30requestsent22 + Node30requestsent23 + Node30requestsent24 + Node30requestsent25 + Node30requestsent26 + Node30requestsent27 + Node30requestsent28 + Node30requestsent29 + Node30requestsent31 + Node30requestsent32 + Node30requestsent33 + Node30requestsent34 + Node30requestsent35 + Node30requestsent36 + Node30requestsent37 + Node30requestsent38 + Node30requestsent39 + Node30GiveAnswer39 + Node31requestsent0 + Node31requestsent1 + Node31requestsent2 + Node31requestsent3 + Node31requestsent4 + Node31requestsent5 + Node31requestsent6 + Node31requestsent7 + Node31requestsent8 + Node31requestsent9 + Node31requestsent10 + Node31requestsent11 + Node31requestsent12 + Node31requestsent13 + Node31requestsent14 + Node31requestsent15 + Node31requestsent16 + Node31requestsent17 + Node31requestsent18 + Node31requestsent19 + Node31requestsent20 + Node31requestsent21 + Node31requestsent22 + Node31requestsent23 + Node31requestsent24 + Node31GiveAnswer24 + Node31requestsent25 + Node31requestsent26 + Node31requestsent27 + Node31requestsent28 + Node31requestsent29 + Node31requestsent30 + Node31requestsent32 + Node31requestsent33 + Node31requestsent34 + Node31requestsent35 + Node31requestsent36 + Node31requestsent37 + Node31requestsent38 + Node31requestsent39 + Node31GiveAnswer39 + Node32requestsent0 + Node32requestsent1 + Node32requestsent2 + Node32requestsent3 + Node32requestsent4 + Node32requestsent5 + Node32requestsent6 + Node32requestsent7 + Node32requestsent8 + Node32requestsent9 + Node32requestsent10 + Node32requestsent11 + Node32requestsent12 + Node32requestsent13 + Node32requestsent14 + Node32requestsent15 + Node32requestsent16 + Node32requestsent17 + Node32requestsent18 + Node32requestsent19 + Node32requestsent20 + Node32requestsent21 + Node32requestsent22 + Node32requestsent23 + Node32requestsent24 + Node32requestsent25 + Node32requestsent26 + Node32requestsent27 + Node32requestsent28 + Node32GiveAnswer28 + Node32requestsent29 + Node32requestsent30 + Node32GiveAnswer30 + Node32requestsent31 + Node32requestsent33 + Node32requestsent34 + Node32requestsent35 + Node32requestsent36 + Node32requestsent37 + Node32requestsent38 + Node32requestsent39 + Node32GiveAnswer39 + Node33requestsent0 + Node33requestsent1 + Node33requestsent2 + Node33requestsent3 + Node33requestsent4 + Node33requestsent5 + Node33requestsent6 + Node33requestsent7 + Node33requestsent8 + Node33requestsent9 + Node33requestsent10 + Node33requestsent11 + Node33requestsent12 + Node33requestsent13 + Node33requestsent14 + Node33requestsent15 + Node33requestsent16 + Node33requestsent17 + Node33requestsent18 + Node33requestsent19 + Node33requestsent20 + Node33requestsent21 + Node33requestsent22 + Node33requestsent23 + Node33requestsent24 + Node33requestsent25 + Node33requestsent26 + Node33requestsent27 + Node33requestsent28 + Node33requestsent29 + Node33requestsent30 + Node33requestsent31 + Node33requestsent32 + Node33requestsent34 + Node33requestsent35 + Node33requestsent36 + Node33requestsent37 + Node33requestsent38 + Node33requestsent39 + Node33GiveAnswer39 + Node34requestsent0 + Node34requestsent1 + Node34requestsent2 + Node34requestsent3 + Node34requestsent4 + Node34requestsent5 + Node34requestsent6 + Node34requestsent7 + Node34requestsent8 + Node34requestsent9 + Node34requestsent10 + Node34requestsent11 + Node34requestsent12 + Node34requestsent13 + Node34requestsent14 + Node34requestsent15 + Node34requestsent16 + Node34requestsent17 + Node34GiveAnswer17 + Node34requestsent18 + Node34requestsent19 + Node34requestsent20 + Node34requestsent21 + Node34requestsent22 + Node34requestsent23 + Node34requestsent24 + Node34requestsent25 + Node34requestsent26 + Node34requestsent27 + Node34requestsent28 + Node34requestsent29 + Node34requestsent30 + Node34requestsent31 + Node34requestsent32 + Node34requestsent33 + Node34requestsent35 + Node34requestsent36 + Node34requestsent37 + Node34requestsent38 + Node34requestsent39 + Node34GiveAnswer39 + Node35requestsent0 + Node35requestsent1 + Node35requestsent2 + Node35requestsent3 + Node35requestsent4 + Node35requestsent5 + Node35requestsent6 + Node35requestsent7 + Node35requestsent8 + Node35requestsent9 + Node35requestsent10 + Node35requestsent11 + Node35requestsent12 + Node35requestsent13 + Node35requestsent14 + Node35requestsent15 + Node35requestsent16 + Node35requestsent17 + Node35requestsent18 + Node35requestsent19 + Node35requestsent20 + Node35requestsent21 + Node35requestsent22 + Node35requestsent23 + Node35requestsent24 + Node35requestsent25 + Node35requestsent26 + Node35requestsent27 + Node35requestsent28 + Node35requestsent29 + Node35requestsent30 + Node35requestsent31 + Node35requestsent32 + Node35requestsent33 + Node35requestsent34 + Node35requestsent36 + Node35GiveAnswer36 + Node35requestsent37 + Node35requestsent38 + Node35requestsent39 + Node35GiveAnswer39 + Node36requestsent0 + Node36requestsent1 + Node36requestsent2 + Node36requestsent3 + Node36requestsent4 + Node36requestsent5 + Node36requestsent6 + Node36requestsent7 + Node36requestsent8 + Node36requestsent9 + Node36requestsent10 + Node36requestsent11 + Node36requestsent12 + Node36requestsent13 + Node36requestsent14 + Node36requestsent15 + Node36requestsent16 + Node36requestsent17 + Node36requestsent18 + Node36requestsent19 + Node36requestsent20 + Node36requestsent21 + Node36requestsent22 + Node36requestsent23 + Node36requestsent24 + Node36requestsent25 + Node36requestsent26 + Node36requestsent27 + Node36requestsent28 + Node36requestsent29 + Node36requestsent30 + Node36requestsent31 + Node36requestsent32 + Node36requestsent33 + Node36requestsent34 + Node36requestsent35 + Node36requestsent37 + Node36requestsent38 + Node36requestsent39 + Node36GiveAnswer39 + Node37requestsent0 + Node37requestsent1 + Node37requestsent2 + Node37requestsent3 + Node37requestsent4 + Node37requestsent5 + Node37requestsent6 + Node37requestsent7 + Node37GiveAnswer7 + Node37requestsent8 + Node37requestsent9 + Node37requestsent10 + Node37requestsent11 + Node37requestsent12 + Node37requestsent13 + Node37requestsent14 + Node37requestsent15 + Node37requestsent16 + Node37requestsent17 + Node37requestsent18 + Node37requestsent19 + Node37requestsent20 + Node37requestsent21 + Node37requestsent22 + Node37requestsent23 + Node37GiveAnswer23 + Node37requestsent24 + Node37requestsent25 + Node37requestsent26 + Node37requestsent27 + Node37requestsent28 + Node37requestsent29 + Node37requestsent30 + Node37requestsent31 + Node37requestsent32 + Node37requestsent33 + Node37requestsent34 + Node37requestsent35 + Node37requestsent36 + Node37requestsent38 + Node37requestsent39 + Node37GiveAnswer39 + Node38requestsent0 + Node38requestsent1 + Node38requestsent2 + Node38requestsent3 + Node38requestsent4 + Node38requestsent5 + Node38requestsent6 + Node38requestsent7 + Node38requestsent8 + Node38requestsent9 + Node38requestsent10 + Node38requestsent11 + Node38requestsent12 + Node38requestsent13 + Node38requestsent14 + Node38requestsent15 + Node38requestsent16 + Node38requestsent17 + Node38requestsent18 + Node38requestsent19 + Node38requestsent20 + Node38requestsent21 + Node38requestsent22 + Node38requestsent23 + Node38requestsent24 + Node38requestsent25 + Node38requestsent26 + Node38requestsent27 + Node38requestsent28 + Node38requestsent29 + Node38requestsent30 + Node38requestsent31 + Node38requestsent32 + Node38requestsent33 + Node38requestsent34 + Node38requestsent35 + Node38requestsent36 + Node38requestsent37 + Node38requestsent39 + Node38GiveAnswer39 + Node39requestsent0 + Node39requestsent1 + Node39requestsent2 + Node39requestsent3 + Node39requestsent4 + Node39requestsent5 + Node39requestsent6 + Node39requestsent7 + Node39requestsent8 + Node39requestsent9 + Node39requestsent10 + Node39requestsent11 + Node39requestsent12 + Node39requestsent13 + Node39requestsent14 + Node39requestsent15 + Node39requestsent16 + Node39requestsent17 + Node39requestsent18 + Node39requestsent19 + Node39requestsent20 + Node39requestsent21 + Node39requestsent22 + Node39requestsent23 + Node39requestsent24 + Node39requestsent25 + Node39requestsent26 + Node39requestsent27 + Node39requestsent28 + Node39requestsent29 + Node39requestsent30 + Node39requestsent31 + Node39requestsent32 + Node39requestsent33 + Node39requestsent34 + Node39requestsent35 + Node39requestsent36 + Node39requestsent37 + Node39requestsent38 + Node39GiveAnswer38 = 40
inv : Node29ReadyToInsert + Node29IsInserted + Node29WaitAnswer = 1
inv : Node10ReadyToInsert + Node10IsInserted + Node10WaitAnswer = 1
inv : Node0ReadyToInsert + Node0IsInserted + Node0WaitAnswer = 1
inv : Node14ReadyToInsert + Node14IsInserted + Node14WaitAnswer = 1
inv : Node1ReadyToInsert + Node1IsInserted + Node1WaitAnswer = 1
inv : Node30ReadyToInsert + Node30IsInserted + Node30WaitAnswer = 1
inv : Node19ReadyToInsert + Node19IsInserted + Node19DHTinfo2 + Node19WaitAnswer = 1
inv : Node18ReadyToInsert + Node18IsInserted + Node18WaitAnswer = 1
inv : Node11ReadyToInsert + Node11IsInserted + Node11DHTinfo2 + Node11WaitAnswer = 1
inv : Node37ReadyToInsert + Node37IsInserted + Node37WaitAnswer = 1
inv : Node22ReadyToInsert + Node22IsInserted + Node22WaitAnswer = 1
inv : Node3ReadyToInsert + Node3IsInserted + Node3DHTinfo2 + Node3WaitAnswer = 1
inv : Node5ReadyToInsert + Node5IsInserted + Node5WaitAnswer = 1
Total of 42 invariants.
[2022-06-08 11:29:48] [INFO ] Computed 42 place invariants in 344 ms
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :2607 after 2608
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :2608 after 2609
SDD proceeding with computation,4 properties remain. new max is 4096
SDD size :2609 after 2611
SDD proceeding with computation,4 properties remain. new max is 8192
SDD size :2611 after 3190
[2022-06-08 11:30:32] [INFO ] Proved 1883 variables to be positive in 43687 ms
[2022-06-08 11:30:34] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-040-ReachabilityFireability-04
[2022-06-08 11:30:34] [INFO ] KInduction solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-04(SAT) depth K=0 took 2828 ms
[2022-06-08 11:30:37] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-040-ReachabilityFireability-10
[2022-06-08 11:30:37] [INFO ] KInduction solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-10(SAT) depth K=0 took 2146 ms
[2022-06-08 11:30:40] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-040-ReachabilityFireability-11
[2022-06-08 11:30:40] [INFO ] KInduction solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-11(SAT) depth K=0 took 3278 ms
[2022-06-08 11:30:43] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-040-ReachabilityFireability-12
[2022-06-08 11:30:43] [INFO ] KInduction solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-12(SAT) depth K=0 took 3227 ms
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin7850284845700776614] killed by timeout after 90 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin7850284845700776614] killed by timeout after 90 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
SDD proceeding with computation,4 properties remain. new max is 16384
SDD size :3190 after 1.0201e+06
[2022-06-08 11:31:57] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-040-ReachabilityFireability-04
[2022-06-08 11:31:57] [INFO ] KInduction solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-04(SAT) depth K=1 took 73479 ms
[2022-06-08 11:32:13] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-040-ReachabilityFireability-10
[2022-06-08 11:32:13] [INFO ] KInduction solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-10(SAT) depth K=1 took 15746 ms
[2022-06-08 11:33:13] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-040-ReachabilityFireability-11
[2022-06-08 11:33:13] [INFO ] KInduction solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-11(SAT) depth K=1 took 60372 ms
[2022-06-08 11:34:19] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-040-ReachabilityFireability-12
[2022-06-08 11:34:19] [INFO ] KInduction solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-12(SAT) depth K=1 took 66203 ms
[2022-06-08 11:35:49] [INFO ] BMC solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-04(UNSAT) depth K=2 took 363505 ms
[2022-06-08 11:38:12] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-040-ReachabilityFireability-04
[2022-06-08 11:38:12] [INFO ] KInduction solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-04(SAT) depth K=2 took 232851 ms
[2022-06-08 11:39:18] [INFO ] BMC solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-10(UNSAT) depth K=2 took 208740 ms
[2022-06-08 11:43:24] [INFO ] BMC solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-11(UNSAT) depth K=2 took 246786 ms
[2022-06-08 11:45:11] [INFO ] BMC solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-12(UNSAT) depth K=2 took 106636 ms
Detected timeout of ITS tools.
[2022-06-08 11:51:48] [INFO ] Applying decomposition
[2022-06-08 11:51:48] [INFO ] Flatten gal took : 211 ms
[2022-06-08 11:51:48] [INFO ] Decomposing Gal with order
[2022-06-08 11:51:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-08 11:51:49] [INFO ] Removed a total of 5174 redundant transitions.
[2022-06-08 11:51:49] [INFO ] Flatten gal took : 837 ms
[2022-06-08 11:51:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 5570 labels/synchronizations in 506 ms.
[2022-06-08 11:51:50] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability650141038716169741.gal : 115 ms
[2022-06-08 11:51:50] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability4453097817251558726.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityFireability650141038716169741.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability4453097817251558726.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityFireability650141038716169741.gal -t CGAL -reachable-file /tmp/ReachabilityFireability4453097817251558726.prop --nowitness
Loading property file /tmp/ReachabilityFireability4453097817251558726.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 70
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :70 after 70
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :70 after 70
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :70 after 323
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :323 after 330
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :330 after 825
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :825 after 6100
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :6100 after 44032
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :44032 after 616690
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :616690 after 8.81716e+06
SDD proceeding with computation,4 properties remain. new max is 4096
SDD size :8.81716e+06 after 9.30513e+07
[2022-06-08 11:54:42] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-040-ReachabilityFireability-10
[2022-06-08 11:54:42] [INFO ] KInduction solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-10(SAT) depth K=2 took 989598 ms
[2022-06-08 11:57:19] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-040-ReachabilityFireability-11
[2022-06-08 11:57:19] [INFO ] KInduction solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-11(SAT) depth K=2 took 156741 ms
[2022-06-08 12:02:51] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-040-ReachabilityFireability-12
[2022-06-08 12:02:51] [INFO ] KInduction solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-12(SAT) depth K=2 took 332445 ms
SDD proceeding with computation,4 properties remain. new max is 8192
SDD size :9.30513e+07 after 1.30658e+10
[2022-06-08 12:11:18] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesCANInsertWithFailure-PT-040-ReachabilityFireability-04
[2022-06-08 12:11:18] [INFO ] KInduction solution for property CANInsertWithFailure-PT-040-ReachabilityFireability-04(SAT) depth K=3 took 507094 ms
Detected timeout of ITS tools.
[2022-06-08 12:13:56] [INFO ] Flatten gal took : 199 ms
[2022-06-08 12:13:56] [INFO ] Input system was already deterministic with 6589 transitions.
[2022-06-08 12:13:56] [INFO ] Transformed 1883 places.
[2022-06-08 12:13:56] [INFO ] Transformed 6589 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2022-06-08 12:13:57] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability17158404915081572874.gal : 19 ms
[2022-06-08 12:13:57] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability5486525717137435538.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityFireability17158404915081572874.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability5486525717137435538.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityFireability17158404915081572874.gal -t CGAL -reachable-file /tmp/ReachabilityFireability5486525717137435538.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/ReachabilityFireability5486525717137435538.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 1511
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :1511 after 1596
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :1596 after 1601
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :1601 after 1640
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :1640 after 1879
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :1879 after 1993
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :1993 after 2224
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :2224 after 2687
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :2687 after 3649
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination ReachabilityFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
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="CANInsertWithFailure-PT-040"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="gold2021"
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-4028"
echo " Executing tool gold2021"
echo " Input is CANInsertWithFailure-PT-040, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r305-smll-165463878300015"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-040.tgz
mv CANInsertWithFailure-PT-040 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;