fond
Model Checking Contest 2021
11th edition, Paris, France, June 23, 2021
Execution of r303-tall-162124171100043
Last Updated
Jun 28, 2021

About the Execution of 2020-gold for CANConstruction-PT-100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16250.859 3600000.00 10714332.00 37261.60 FFFF?TFTFFFTTFTF normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r303-tall-162124171100043.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is CANConstruction-PT-100, examination is ReachabilityCardinality

Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r303-tall-162124171100043
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 46M
-rw-r--r-- 1 mcc users 27K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 143K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 18K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 96K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.7K May 12 07:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 12 07:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 12 07:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 12 07:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 4.2K May 11 18:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 11 18:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 11 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 11 15:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 12 04:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 12 04:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 4 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 46M May 12 08:13 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 gen-ReachabilityCardinality-00
FORMULA_NAME gen-ReachabilityCardinality-01
FORMULA_NAME gen-ReachabilityCardinality-02
FORMULA_NAME gen-ReachabilityCardinality-03
FORMULA_NAME gen-ReachabilityCardinality-04
FORMULA_NAME gen-ReachabilityCardinality-05
FORMULA_NAME gen-ReachabilityCardinality-06
FORMULA_NAME gen-ReachabilityCardinality-07
FORMULA_NAME gen-ReachabilityCardinality-08
FORMULA_NAME gen-ReachabilityCardinality-09
FORMULA_NAME gen-ReachabilityCardinality-10
FORMULA_NAME gen-ReachabilityCardinality-11
FORMULA_NAME gen-ReachabilityCardinality-12
FORMULA_NAME gen-ReachabilityCardinality-13
FORMULA_NAME gen-ReachabilityCardinality-14
FORMULA_NAME gen-ReachabilityCardinality-15

=== Now, execution of the tool begins

BK_START 1621335224326

[2021-05-18 10:53:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-18 10:53:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 10:53:54] [INFO ] Load time of PNML (sax parser for PT used): 1115 ms
[2021-05-18 10:53:54] [INFO ] Transformed 21202 places.
[2021-05-18 10:53:55] [INFO ] Transformed 40800 transitions.
[2021-05-18 10:53:55] [INFO ] Parsed PT model containing 21202 places and 40800 transitions in 1320 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 225 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 5 resets, run finished after 381 ms. (steps per millisecond=26 ) properties seen :[0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0]
FORMULA gen-ReachabilityCardinality-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA gen-ReachabilityCardinality-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA gen-ReachabilityCardinality-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 22 ms. (steps per millisecond=454 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 28 ms. (steps per millisecond=357 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 22 ms. (steps per millisecond=454 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 23 ms. (steps per millisecond=434 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 24 ms. (steps per millisecond=416 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 24 ms. (steps per millisecond=416 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 27 ms. (steps per millisecond=370 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 22 ms. (steps per millisecond=454 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 21 ms. (steps per millisecond=476 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 23 ms. (steps per millisecond=434 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 22 ms. (steps per millisecond=454 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 23 ms. (steps per millisecond=434 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 23 ms. (steps per millisecond=434 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
// Phase 1: matrix 40800 rows 21202 cols
[2021-05-18 10:53:58] [INFO ] Computed 201 place invariants in 2847 ms
[2021-05-18 10:54:03] [INFO ] [Real]Absence check using 101 positive place invariants in 2661 ms returned sat
[2021-05-18 10:54:03] [INFO ] [Real]Absence check using 101 positive and 100 generalized place invariants in 301 ms returned (error "Solver has unexpectedly terminated")
[2021-05-18 10:54:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 10:54:04] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 0
[2021-05-18 10:54:08] [INFO ] [Real]Absence check using 101 positive place invariants in 2731 ms returned sat
[2021-05-18 10:54:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 10:54:09] [INFO ] [Real]Absence check using 101 positive and 100 generalized place invariants in 514 ms returned (error "Failed to check-sat")
[2021-05-18 10:54:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 10:54:09] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 1
[2021-05-18 10:54:12] [INFO ] [Real]Absence check using 101 positive place invariants in 1508 ms returned unsat
[2021-05-18 10:54:16] [INFO ] [Real]Absence check using 101 positive place invariants in 2650 ms returned sat
[2021-05-18 10:54:17] [INFO ] [Real]Absence check using 101 positive and 100 generalized place invariants in 948 ms returned (error "Solver has unexpectedly terminated")
[2021-05-18 10:54:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 10:54:17] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 3
[2021-05-18 10:54:20] [INFO ] [Real]Absence check using 101 positive place invariants in 1619 ms returned unsat
[2021-05-18 10:54:24] [INFO ] [Real]Absence check using 101 positive place invariants in 1740 ms returned unsat
[2021-05-18 10:54:28] [INFO ] [Real]Absence check using 101 positive place invariants in 2562 ms returned sat
[2021-05-18 10:54:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 10:54:29] [INFO ] [Real]Absence check using 101 positive and 100 generalized place invariants in 809 ms returned (error "Failed to check-sat")
[2021-05-18 10:54:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 10:54:29] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 6
[2021-05-18 10:54:33] [INFO ] [Real]Absence check using 101 positive place invariants in 2386 ms returned unsat
[2021-05-18 10:54:36] [INFO ] [Real]Absence check using 101 positive place invariants in 1629 ms returned unsat
[2021-05-18 10:54:40] [INFO ] [Real]Absence check using 101 positive place invariants in 2555 ms returned sat
[2021-05-18 10:54:41] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 10:54:41] [INFO ] [Real]Absence check using 101 positive and 100 generalized place invariants in 799 ms returned (error "Failed to check-sat")
[2021-05-18 10:54:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 10:54:41] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 9
[2021-05-18 10:54:45] [INFO ] [Real]Absence check using 101 positive place invariants in 2663 ms returned sat
[2021-05-18 10:54:46] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 10:54:46] [INFO ] [Real]Absence check using 101 positive and 100 generalized place invariants in 692 ms returned (error "Failed to check-sat")
[2021-05-18 10:54:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 10:54:46] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 10
[2021-05-18 10:54:50] [INFO ] [Real]Absence check using 101 positive place invariants in 2645 ms returned sat
[2021-05-18 10:54:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 10:54:51] [INFO ] [Real]Absence check using 101 positive and 100 generalized place invariants in 715 ms returned (error "Failed to check-sat")
[2021-05-18 10:54:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 10:54:51] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 11
[2021-05-18 10:54:54] [INFO ] [Real]Absence check using 101 positive place invariants in 1827 ms returned unsat
FORMULA gen-ReachabilityCardinality-15 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA gen-ReachabilityCardinality-10 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA gen-ReachabilityCardinality-08 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA gen-ReachabilityCardinality-06 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA gen-ReachabilityCardinality-05 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA gen-ReachabilityCardinality-03 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Support contains 28 out of 21202 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21202/21202 places, 40800/40800 transitions.
Performed 700 Post agglomeration using F-continuation condition.Transition count delta: 700
Iterating post reduction 0 with 700 rules applied. Total rules applied 700 place count 21202 transition count 40100
Reduce places removed 700 places and 0 transitions.
Iterating post reduction 1 with 700 rules applied. Total rules applied 1400 place count 20502 transition count 40100
Performed 9988 Post agglomeration using F-continuation condition.Transition count delta: 9988
Deduced a syphon composed of 9988 places in 27 ms
Reduce places removed 9988 places and 0 transitions.
Iterating global reduction 2 with 19976 rules applied. Total rules applied 21376 place count 10514 transition count 30112
Applied a total of 21376 rules in 6884 ms. Remains 10514 /21202 variables (removed 10688) and now considering 30112/40800 (removed 10688) transitions.
Finished structural reductions, in 1 iterations. Remains : 10514/21202 places, 30112/40800 transitions.
Interrupted random walk after 816240 steps, including 1173 resets, run timeout after 30001 ms. (steps per millisecond=27 ) properties seen :[1, 1, 0, 1, 1, 1, 1]
FORMULA gen-ReachabilityCardinality-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA gen-ReachabilityCardinality-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA gen-ReachabilityCardinality-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA gen-ReachabilityCardinality-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA gen-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA gen-ReachabilityCardinality-00 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000001 steps, including 12 resets, run finished after 2511 ms. (steps per millisecond=398 ) properties seen :[0]
// Phase 1: matrix 30112 rows 10514 cols
[2021-05-18 10:55:35] [INFO ] Computed 201 place invariants in 819 ms
[2021-05-18 10:55:36] [INFO ] [Real]Absence check using 101 positive place invariants in 773 ms returned sat
[2021-05-18 10:55:37] [INFO ] [Real]Absence check using 101 positive and 100 generalized place invariants in 504 ms returned sat
[2021-05-18 10:55:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 10:56:20] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 10:56:20] [INFO ] [Real]Absence check using state equation in 42931 ms returned unknown
Support contains 4 out of 10514 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 10514/10514 places, 30112/30112 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 9 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 10504 transition count 30102
Applied a total of 20 rules in 342 ms. Remains 10504 /10514 variables (removed 10) and now considering 30102/30112 (removed 10) transitions.
Finished structural reductions, in 1 iterations. Remains : 10504/10514 places, 30102/30112 transitions.
Interrupted random walk after 838423 steps, including 1201 resets, run timeout after 30001 ms. (steps per millisecond=27 ) properties seen :[0]
Incomplete Best-First random walk after 1000001 steps, including 11 resets, run finished after 2487 ms. (steps per millisecond=402 ) properties seen :[0]
Interrupted probabilistic random walk after 328873 steps, run timeout after 30001 ms. (steps per millisecond=10 ) properties seen :[0]
Probabilistic random walk after 328873 steps, saw 25814 distinct states, run finished after 30001 ms. (steps per millisecond=10 ) properties seen :[0]
// Phase 1: matrix 30102 rows 10504 cols
[2021-05-18 10:57:23] [INFO ] Computed 201 place invariants in 811 ms
[2021-05-18 10:57:25] [INFO ] [Real]Absence check using 101 positive place invariants in 750 ms returned sat
[2021-05-18 10:57:26] [INFO ] [Real]Absence check using 101 positive and 100 generalized place invariants in 468 ms returned sat
[2021-05-18 10:57:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 10:58:08] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 10:58:08] [INFO ] [Real]Absence check using state equation in 42950 ms returned unknown
Support contains 4 out of 10504 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 10504/10504 places, 30102/30102 transitions.
Applied a total of 0 rules in 161 ms. Remains 10504 /10504 variables (removed 0) and now considering 30102/30102 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 10504/10504 places, 30102/30102 transitions.
Starting structural reductions, iteration 0 : 10504/10504 places, 30102/30102 transitions.
Applied a total of 0 rules in 163 ms. Remains 10504 /10504 variables (removed 0) and now considering 30102/30102 (removed 0) transitions.
// Phase 1: matrix 30102 rows 10504 cols
[2021-05-18 10:58:10] [INFO ] Computed 201 place invariants in 841 ms
[2021-05-18 10:58:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 10:58:41] [INFO ] Performed 2159/10504 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2021-05-18 10:59:11] [INFO ] Performed 4262/10504 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2021-05-18 10:59:41] [INFO ] Performed 6286/10504 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2021-05-18 11:00:11] [INFO ] Performed 8249/10504 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2021-05-18 11:00:11] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2021-05-18 11:00:11] [INFO ] Implicit Places using invariants in 121813 ms returned []
Implicit Place search using SMT only with invariants took 121814 ms to find 0 implicit places.
// Phase 1: matrix 30102 rows 10504 cols
[2021-05-18 11:00:11] [INFO ] Computed 201 place invariants in 779 ms
[2021-05-18 11:00:12] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 11:00:42] [INFO ] Performed 2327/30102 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2021-05-18 11:01:11] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (and (>= s268 1) (>= s315 1))") after 60793 ms
Finished structural reductions, in 1 iterations. Remains : 10504/10504 places, 30102/30102 transitions.
Incomplete random walk after 100000 steps, including 144 resets, run finished after 3584 ms. (steps per millisecond=27 ) properties seen :[0]
// Phase 1: matrix 30102 rows 10504 cols
[2021-05-18 11:01:16] [INFO ] Computed 201 place invariants in 824 ms
[2021-05-18 11:01:17] [INFO ] [Real]Absence check using 101 positive place invariants in 757 ms returned sat
[2021-05-18 11:01:18] [INFO ] [Real]Absence check using 101 positive and 100 generalized place invariants in 472 ms returned sat
[2021-05-18 11:01:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 11:01:36] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 11:01:36] [INFO ] [Real]Absence check using state equation in 17952 ms returned unknown
Graph (trivial) has 29790 edges and 10504 vertex of which 10096 / 10504 are part of one of the 100 SCC in 29 ms
Free SCC test removed 9996 places
Discarding 494 places :
Also discarding 28900 output transitions
Drop transitions removed 28900 transitions
Graph (complete) has 1015 edges and 508 vertex of which 14 are kept as prefixes of interest. Removing 494 places using SCC suffix rule.41 ms
Drop transitions removed 1184 transitions
Reduce isomorphic transitions removed 1184 transitions.
Iterating post reduction 0 with 1184 rules applied. Total rules applied 1186 place count 14 transition count 18
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 2 Pre rules applied. Total rules applied 1186 place count 14 transition count 16
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 1 with 4 rules applied. Total rules applied 1190 place count 12 transition count 16
Partial Free-agglomeration rule applied 4 times.
Drop transitions removed 4 transitions
Iterating global reduction 1 with 4 rules applied. Total rules applied 1194 place count 12 transition count 16
Symmetric choice reduction at 1 with 4 rule applications. Total rules 1198 place count 12 transition count 16
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 4 transitions.
Iterating global reduction 1 with 8 rules applied. Total rules applied 1206 place count 8 transition count 12
Applied a total of 1206 rules in 121 ms. Remains 8 /10504 variables (removed 10496) and now considering 12/30102 (removed 30090) transitions.
// Phase 1: matrix 12 rows 8 cols
[2021-05-18 11:01:36] [INFO ] Computed 0 place invariants in 0 ms
[2021-05-18 11:01:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 11:01:36] [INFO ] [Real]Absence check using state equation in 18 ms returned sat
[2021-05-18 11:01:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 11:01:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 11:01:36] [INFO ] [Nat]Absence check using state equation in 6 ms returned sat
[2021-05-18 11:01:36] [INFO ] Computed and/alt/rep : 8/8/8 causal constraints in 7 ms.
[2021-05-18 11:01:36] [INFO ] Added : 1 causal constraints over 1 iterations in 32 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 2 ms.
[2021-05-18 11:01:38] [INFO ] Flatten gal took : 1007 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
[2021-05-18 11:01:40] [INFO ] Applying decomposition
[2021-05-18 11:01:40] [INFO ] Flatten gal took : 1639 ms
[2021-05-18 11:01:40] [INFO ] Input system was already deterministic with 30102 transitions.
[2021-05-18 11:01:40] [INFO ] Too many transitions (30102) to apply POR reductions. Disabling POR matrices.
[2021-05-18 11:01:41] [INFO ] Flatten gal took : 1245 ms
[2021-05-18 11:01:41] [INFO ] Input system was already deterministic with 30102 transitions.
[2021-05-18 11:01:42] [INFO ] Built C files in 3292ms conformant to PINS in folder :/home/mcc/execution
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/convert-linux64, -i, /tmp/graph6057748657699200363.txt, -o, /tmp/graph6057748657699200363.bin, -w, /tmp/graph6057748657699200363.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/louvain-linux64, /tmp/graph6057748657699200363.bin, -l, -1, -v, -w, /tmp/graph6057748657699200363.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 11:01:44] [INFO ] Decomposing Gal with order
[2021-05-18 11:01:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 11:01:48] [INFO ] Ran tautology test, simplified 0 / 1 in 8588 ms.
[2021-05-18 11:01:49] [INFO ] BMC solution for property gen-ReachabilityCardinality-04(UNSAT) depth K=0 took 119 ms
[2021-05-18 11:01:50] [INFO ] BMC solution for property gen-ReachabilityCardinality-04(UNSAT) depth K=1 took 80 ms
[2021-05-18 11:01:55] [INFO ] Removed a total of 29537 redundant transitions.
[2021-05-18 11:01:56] [INFO ] Flatten gal took : 10236 ms
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 30102 rows 10504 cols
[2021-05-18 11:01:57] [INFO ] Computed 201 place invariants in 1373 ms
inv : Node74ReadyToInsert + Node74IsInserted + Node74Request + Node74OKshare + Node74NOshare + Node74requestsent0 + Node74requestsent1 + Node74requestsent2 + Node74requestsent3 + Node74requestsent4 + Node74requestsent5 + Node74requestsent6 + Node74requestsent7 + Node74requestsent8 + Node74requestsent9 + Node74requestsent10 + Node74requestsent11 + Node74requestsent12 + Node74requestsent13 + Node74requestsent14 + Node74requestsent15 + Node74requestsent16 + Node74requestsent17 + Node74requestsent18 + Node74requestsent19 + Node74requestsent20 + Node74requestsent21 + Node74requestsent22 + Node74requestsent23 + Node74requestsent24 + Node74requestsent25 + Node74requestsent26 + Node74requestsent27 + Node74requestsent28 + Node74requestsent29 + Node74requestsent30 + Node74requestsent31 + Node74requestsent32 + Node74requestsent33 + Node74requestsent34 + Node74requestsent35 + Node74requestsent36 + Node74requestsent37 + Node74requestsent38 + Node74requestsent39 + Node74requestsent40 + Node74requestsent41 + Node74requestsent42 + Node74requestsent43 + Node74requestsent44 + Node74requestsent45 + Node74requestsent46 + Node74requestsent47 + Node74requestsent48 + Node74requestsent49 + Node74requestsent50 + Node74requestsent51 + Node74requestsent52 + Node74requestsent53 + Node74requestsent54 + Node74requestsent55 + Node74requestsent56 + Node74requestsent57 + Node74requestsent58 + Node74requestsent59 + Node74requestsent60 + Node74requestsent61 + Node74requestsent62 + Node74requestsent63 + Node74requestsent64 + Node74requestsent65 + Node74requestsent66 + Node74requestsent67 + Node74requestsent68 + Node74requestsent69 + Node74requestsent70 + Node74requestsent71 + Node74requestsent72 + Node74requestsent73 + Node74requestsent75 + Node74requestsent76 + Node74requestsent77 + Node74requestsent78 + Node74requestsent79 + Node74requestsent80 + Node74requestsent81 + Node74requestsent82 + Node74requestsent83 + Node74requestsent84 + Node74requestsent85 + Node74requestsent86 + Node74requestsent87 + Node74requestsent88 + Node74requestsent89 + Node74requestsent90 + Node74requestsent91 + Node74requestsent92 + Node74requestsent93 + Node74requestsent94 + Node74requestsent95 + Node74requestsent96 + Node74requestsent97 + Node74requestsent98 + Node74requestsent99 = 1
inv : -Node80Request + Node80WaitAnswer - Node80OKshare - Node80NOshare - Node80requestsent0 - Node80requestsent1 - Node80requestsent2 - Node80requestsent3 - Node80requestsent4 - Node80requestsent5 - Node80requestsent6 - Node80requestsent7 - Node80requestsent8 - Node80requestsent9 - Node80requestsent10 - Node80requestsent11 - Node80requestsent12 - Node80requestsent13 - Node80requestsent14 - Node80requestsent15 - Node80requestsent16 - Node80requestsent17 - Node80requestsent18 - Node80requestsent19 - Node80requestsent20 - Node80requestsent21 - Node80requestsent22 - Node80requestsent23 - Node80requestsent24 - Node80requestsent25 - Node80requestsent26 - Node80requestsent27 - Node80requestsent28 - Node80requestsent29 - Node80requestsent30 - Node80requestsent31 - Node80requestsent32 - Node80requestsent33 - Node80requestsent34 - Node80requestsent35 - Node80requestsent36 - Node80requestsent37 - Node80requestsent38 - Node80requestsent39 - Node80requestsent40 - Node80requestsent41 - Node80requestsent42 - Node80requestsent43 - Node80requestsent44 - Node80requestsent45 - Node80requestsent46 - Node80requestsent47 - Node80requestsent48 - Node80requestsent49 - Node80requestsent50 - Node80requestsent51 - Node80requestsent52 - Node80requestsent53 - Node80requestsent54 - Node80requestsent55 - Node80requestsent56 - Node80requestsent57 - Node80requestsent58 - Node80requestsent59 - Node80requestsent60 - Node80requestsent61 - Node80requestsent62 - Node80requestsent63 - Node80requestsent64 - Node80requestsent65 - Node80requestsent66 - Node80requestsent67 - Node80requestsent68 - Node80requestsent69 - Node80requestsent70 - Node80requestsent71 - Node80requestsent72 - Node80requestsent73 - Node80requestsent74 - Node80requestsent75 - Node80requestsent76 - Node80requestsent77 - Node80requestsent78 - Node80requestsent79 - Node80requestsent81 - Node80requestsent82 - Node80requestsent83 - Node80requestsent84 - Node80requestsent85 - Node80requestsent86 - Node80requestsent87 - Node80requestsent88 - Node80requestsent89 - Node80requestsent90 - Node80requestsent91 - Node80requestsent92 - Node80requestsent93 - Node80requestsent94 - Node80requestsent95 - Node80requestsent96 - Node80requestsent97 - Node80requestsent98 - Node80requestsent99 = 0
inv : Node33ReadyToInsert + Node33IsInserted + Node33Request + Node33OKshare + Node33NOshare + 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 + Node33requestsent40 + Node33requestsent41 + Node33requestsent42 + Node33requestsent43 + Node33requestsent44 + Node33requestsent45 + Node33requestsent46 + Node33requestsent47 + Node33requestsent48 + Node33requestsent49 + Node33requestsent50 + Node33requestsent51 + Node33requestsent52 + Node33requestsent53 + Node33requestsent54 + Node33requestsent55 + Node33requestsent56 + Node33requestsent57 + Node33requestsent58 + Node33requestsent59 + Node33requestsent60 + Node33requestsent61 + Node33requestsent62 + Node33requestsent63 + Node33requestsent64 + Node33requestsent65 + Node33requestsent66 + Node33requestsent67 + Node33requestsent68 + Node33requestsent69 + Node33requestsent70 + Node33requestsent71 + Node33requestsent72 + Node33requestsent73 + Node33requestsent74 + Node33requestsent75 + Node33requestsent76 + Node33requestsent77 + Node33requestsent78 + Node33requestsent79 + Node33requestsent80 + Node33requestsent81 + Node33requestsent82 + Node33requestsent83 + Node33requestsent84 + Node33requestsent85 + Node33requestsent86 + Node33requestsent87 + Node33requestsent88 + Node33requestsent89 + Node33requestsent90 + Node33requestsent91 + Node33requestsent92 + Node33requestsent93 + Node33requestsent94 + Node33requestsent95 + Node33requestsent96 + Node33requestsent97 + Node33requestsent98 + Node33requestsent99 = 1
inv : Node24ReadyToInsert + Node24IsInserted + Node24Request + Node24OKshare + Node24NOshare + Node24requestsent0 + Node24requestsent1 + Node24requestsent2 + Node24requestsent3 + Node24requestsent4 + Node24requestsent5 + Node24requestsent6 + Node24requestsent7 + 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 + Node24requestsent40 + Node24requestsent41 + Node24requestsent42 + Node24requestsent43 + Node24requestsent44 + Node24requestsent45 + Node24requestsent46 + Node24requestsent47 + Node24requestsent48 + Node24requestsent49 + Node24requestsent50 + Node24requestsent51 + Node24requestsent52 + Node24requestsent53 + Node24requestsent54 + Node24requestsent55 + Node24requestsent56 + Node24requestsent57 + Node24requestsent58 + Node24requestsent59 + Node24requestsent60 + Node24requestsent61 + Node24requestsent62 + Node24requestsent63 + Node24requestsent64 + Node24requestsent65 + Node24requestsent66 + Node24requestsent67 + Node24requestsent68 + Node24requestsent69 + Node24requestsent70 + Node24requestsent71 + Node24requestsent72 + Node24requestsent73 + Node24requestsent74 + Node24requestsent75 + Node24requestsent76 + Node24requestsent77 + Node24requestsent78 + Node24requestsent79 + Node24requestsent80 + Node24requestsent81 + Node24requestsent82 + Node24requestsent83 + Node24requestsent84 + Node24requestsent85 + Node24requestsent86 + Node24requestsent87 + Node24requestsent88 + Node24requestsent89 + Node24requestsent90 + Node24requestsent91 + Node24requestsent92 + Node24requestsent93 + Node24requestsent94 + Node24requestsent95 + Node24requestsent96 + Node24requestsent97 + Node24requestsent98 + Node24requestsent99 = 1
inv : -Node29Request + Node29WaitAnswer - Node29OKshare - Node29NOshare - 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 - Node29requestsent40 - Node29requestsent41 - Node29requestsent42 - Node29requestsent43 - Node29requestsent44 - Node29requestsent45 - Node29requestsent46 - Node29requestsent47 - Node29requestsent48 - Node29requestsent49 - Node29requestsent50 - Node29requestsent51 - Node29requestsent52 - Node29requestsent53 - Node29requestsent54 - Node29requestsent55 - Node29requestsent56 - Node29requestsent57 - Node29requestsent58 - Node29requestsent59 - Node29requestsent60 - Node29requestsent61 - Node29requestsent62 - Node29requestsent63 - Node29requestsent64 - Node29requestsent65 - Node29requestsent66 - Node29requestsent67 - Node29requestsent68 - Node29requestsent69 - Node29requestsent70 - Node29requestsent71 - Node29requestsent72 - Node29requestsent73 - Node29requestsent74 - Node29requestsent75 - Node29requestsent76 - Node29requestsent77 - Node29requestsent78 - Node29requestsent79 - Node29requestsent80 - Node29requestsent81 - Node29requestsent82 - Node29requestsent83 - Node29requestsent84 - Node29requestsent85 - Node29requestsent86 - Node29requestsent87 - Node29requestsent88 - Node29requestsent89 - Node29requestsent90 - Node29requestsent91 - Node29requestsent92 - Node29requestsent93 - Node29requestsent94 - Node29requestsent95 - Node29requestsent96 - Node29requestsent97 - Node29requestsent98 - Node29requestsent99 = 0
inv : Node70ReadyToInsert + Node70IsInserted + Node70Request + Node70OKshare + Node70NOshare + Node70requestsent0 + Node70requestsent1 + Node70requestsent2 + Node70requestsent3 + Node70requestsent4 + Node70requestsent5 + Node70requestsent6 + Node70requestsent7 + Node70requestsent8 + Node70requestsent9 + Node70requestsent10 + Node70requestsent11 + Node70requestsent12 + Node70requestsent13 + Node70requestsent14 + Node70requestsent15 + Node70requestsent16 + Node70requestsent17 + Node70requestsent18 + Node70requestsent19 + Node70requestsent20 + Node70requestsent21 + Node70requestsent22 + Node70requestsent23 + Node70requestsent24 + Node70requestsent25 + Node70requestsent26 + Node70requestsent27 + Node70requestsent28 + Node70requestsent29 + Node70requestsent30 + Node70requestsent31 + Node70requestsent32 + Node70requestsent33 + Node70requestsent34 + Node70requestsent35 + Node70requestsent36 + Node70requestsent37 + Node70requestsent38 + Node70requestsent39 + Node70requestsent40 + Node70requestsent41 + Node70requestsent42 + Node70requestsent43 + Node70requestsent44 + Node70requestsent45 + Node70requestsent46 + Node70requestsent47 + Node70requestsent48 + Node70requestsent49 + Node70requestsent50 + Node70requestsent51 + Node70requestsent52 + Node70requestsent53 + Node70requestsent54 + Node70requestsent55 + Node70requestsent56 + Node70requestsent57 + Node70requestsent58 + Node70requestsent59 + Node70requestsent60 + Node70requestsent61 + Node70requestsent62 + Node70requestsent63 + Node70requestsent64 + Node70requestsent65 + Node70requestsent66 + Node70requestsent67 + Node70requestsent68 + Node70requestsent69 + Node70requestsent71 + Node70requestsent72 + Node70requestsent73 + Node70requestsent74 + Node70requestsent75 + Node70requestsent76 + Node70requestsent77 + Node70requestsent78 + Node70requestsent79 + Node70requestsent80 + Node70requestsent81 + Node70requestsent82 + Node70requestsent83 + Node70requestsent84 + Node70requestsent85 + Node70requestsent86 + Node70requestsent87 + Node70requestsent88 + Node70requestsent89 + Node70requestsent90 + Node70requestsent91 + Node70requestsent92 + Node70requestsent93 + Node70requestsent94 + Node70requestsent95 + Node70requestsent96 + Node70requestsent97 + Node70requestsent98 + Node70requestsent99 = 1
inv : Node42ReadyToInsert + Node42IsInserted + Node42Request + Node42OKshare + Node42NOshare + Node42requestsent0 + Node42requestsent1 + Node42requestsent2 + Node42requestsent3 + Node42requestsent4 + Node42requestsent5 + Node42requestsent6 + Node42requestsent7 + Node42requestsent8 + Node42requestsent9 + Node42requestsent10 + Node42requestsent11 + Node42requestsent12 + Node42requestsent13 + Node42requestsent14 + Node42requestsent15 + Node42requestsent16 + Node42requestsent17 + Node42requestsent18 + Node42requestsent19 + Node42requestsent20 + Node42requestsent21 + Node42requestsent22 + Node42requestsent23 + Node42requestsent24 + Node42requestsent25 + Node42requestsent26 + Node42requestsent27 + Node42requestsent28 + Node42requestsent29 + Node42requestsent30 + Node42requestsent31 + Node42requestsent32 + Node42requestsent33 + Node42requestsent34 + Node42requestsent35 + Node42requestsent36 + Node42requestsent37 + Node42requestsent38 + Node42requestsent39 + Node42requestsent40 + Node42requestsent41 + Node42requestsent43 + Node42requestsent44 + Node42requestsent45 + Node42requestsent46 + Node42requestsent47 + Node42requestsent48 + Node42requestsent49 + Node42requestsent50 + Node42requestsent51 + Node42requestsent52 + Node42requestsent53 + Node42requestsent54 + Node42requestsent55 + Node42requestsent56 + Node42requestsent57 + Node42requestsent58 + Node42requestsent59 + Node42requestsent60 + Node42requestsent61 + Node42requestsent62 + Node42requestsent63 + Node42requestsent64 + Node42requestsent65 + Node42requestsent66 + Node42requestsent67 + Node42requestsent68 + Node42requestsent69 + Node42requestsent70 + Node42requestsent71 + Node42requestsent72 + Node42requestsent73 + Node42requestsent74 + Node42requestsent75 + Node42requestsent76 + Node42requestsent77 + Node42requestsent78 + Node42requestsent79 + Node42requestsent80 + Node42requestsent81 + Node42requestsent82 + Node42requestsent83 + Node42requestsent84 + Node42requestsent85 + Node42requestsent86 + Node42requestsent87 + Node42requestsent88 + Node42requestsent89 + Node42requestsent90 + Node42requestsent91 + Node42requestsent92 + Node42requestsent93 + Node42requestsent94 + Node42requestsent95 + Node42requestsent96 + Node42requestsent97 + Node42requestsent98 + Node42requestsent99 = 1
inv : -Node60Request + Node60WaitAnswer - Node60OKshare - Node60NOshare - Node60requestsent0 - Node60requestsent1 - Node60requestsent2 - Node60requestsent3 - Node60requestsent4 - Node60requestsent5 - Node60requestsent6 - Node60requestsent7 - Node60requestsent8 - Node60requestsent9 - Node60requestsent10 - Node60requestsent11 - Node60requestsent12 - Node60requestsent13 - Node60requestsent14 - Node60requestsent15 - Node60requestsent16 - Node60requestsent17 - Node60requestsent18 - Node60requestsent19 - Node60requestsent20 - Node60requestsent21 - Node60requestsent22 - Node60requestsent23 - Node60requestsent24 - Node60requestsent25 - Node60requestsent26 - Node60requestsent27 - Node60requestsent28 - Node60requestsent29 - Node60requestsent30 - Node60requestsent31 - Node60requestsent32 - Node60requestsent33 - Node60requestsent34 - Node60requestsent35 - Node60requestsent36 - Node60requestsent37 - Node60requestsent38 - Node60requestsent39 - Node60requestsent40 - Node60requestsent41 - Node60requestsent42 - Node60requestsent43 - Node60requestsent44 - Node60requestsent45 - Node60requestsent46 - Node60requestsent47 - Node60requestsent48 - Node60requestsent49 - Node60requestsent50 - Node60requestsent51 - Node60requestsent52 - Node60requestsent53 - Node60requestsent54 - Node60requestsent55 - Node60requestsent56 - Node60requestsent57 - Node60requestsent58 - Node60requestsent59 - Node60requestsent61 - Node60requestsent62 - Node60requestsent63 - Node60requestsent64 - Node60requestsent65 - Node60requestsent66 - Node60requestsent67 - Node60requestsent68 - Node60requestsent69 - Node60requestsent70 - Node60requestsent71 - Node60requestsent72 - Node60requestsent73 - Node60requestsent74 - Node60requestsent75 - Node60requestsent76 - Node60requestsent77 - Node60requestsent78 - Node60requestsent79 - Node60requestsent80 - Node60requestsent81 - Node60requestsent82 - Node60requestsent83 - Node60requestsent84 - Node60requestsent85 - Node60requestsent86 - Node60requestsent87 - Node60requestsent88 - Node60requestsent89 - Node60requestsent90 - Node60requestsent91 - Node60requestsent92 - Node60requestsent93 - Node60requestsent94 - Node60requestsent95 - Node60requestsent96 - Node60requestsent97 - Node60requestsent98 - Node60requestsent99 = 0
inv : -Node38Request + Node38WaitAnswer - Node38OKshare - Node38NOshare - 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 - Node38requestsent40 - Node38requestsent41 - Node38requestsent42 - Node38requestsent43 - Node38requestsent44 - Node38requestsent45 - Node38requestsent46 - Node38requestsent47 - Node38requestsent48 - Node38requestsent49 - Node38requestsent50 - Node38requestsent51 - Node38requestsent52 - Node38requestsent53 - Node38requestsent54 - Node38requestsent55 - Node38requestsent56 - Node38requestsent57 - Node38requestsent58 - Node38requestsent59 - Node38requestsent60 - Node38requestsent61 - Node38requestsent62 - Node38requestsent63 - Node38requestsent64 - Node38requestsent65 - Node38requestsent66 - Node38requestsent67 - Node38requestsent68 - Node38requestsent69 - Node38requestsent70 - Node38requestsent71 - Node38requestsent72 - Node38requestsent73 - Node38requestsent74 - Node38requestsent75 - Node38requestsent76 - Node38requestsent77 - Node38requestsent78 - Node38requestsent79 - Node38requestsent80 - Node38requestsent81 - Node38requestsent82 - Node38requestsent83 - Node38requestsent84 - Node38requestsent85 - Node38requestsent86 - Node38requestsent87 - Node38requestsent88 - Node38requestsent89 - Node38requestsent90 - Node38requestsent91 - Node38requestsent92 - Node38requestsent93 - Node38requestsent94 - Node38requestsent95 - Node38requestsent96 - Node38requestsent97 - Node38requestsent98 - Node38requestsent99 = 0
inv : -Node16Request + Node16WaitAnswer - Node16OKshare - Node16NOshare - 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 - Node16requestsent27 - Node16requestsent28 - Node16requestsent29 - Node16requestsent30 - Node16requestsent31 - Node16requestsent32 - Node16requestsent33 - Node16requestsent34 - Node16requestsent35 - Node16requestsent36 - Node16requestsent37 - Node16requestsent38 - Node16requestsent39 - Node16requestsent40 - Node16requestsent41 - Node16requestsent42 - Node16requestsent43 - Node16requestsent44 - Node16requestsent45 - Node16requestsent46 - Node16requestsent47 - Node16requestsent48 - Node16requestsent49 - Node16requestsent50 - Node16requestsent51 - Node16requestsent52 - Node16requestsent53 - Node16requestsent54 - Node16requestsent55 - Node16requestsent56 - Node16requestsent57 - Node16requestsent58 - Node16requestsent59 - Node16requestsent60 - Node16requestsent61 - Node16requestsent62 - Node16requestsent63 - Node16requestsent64 - Node16requestsent65 - Node16requestsent66 - Node16requestsent67 - Node16requestsent68 - Node16requestsent69 - Node16requestsent70 - Node16requestsent71 - Node16requestsent72 - Node16requestsent73 - Node16requestsent74 - Node16requestsent75 - Node16requestsent76 - Node16requestsent77 - Node16requestsent78 - Node16requestsent79 - Node16requestsent80 - Node16requestsent81 - Node16requestsent82 - Node16requestsent83 - Node16requestsent84 - Node16requestsent85 - Node16requestsent86 - Node16requestsent87 - Node16requestsent88 - Node16requestsent89 - Node16requestsent90 - Node16requestsent91 - Node16requestsent92 - Node16requestsent93 - Node16requestsent94 - Node16requestsent95 - Node16requestsent96 - Node16requestsent97 - Node16requestsent98 - Node16requestsent99 = 0
inv : Node52ReadyToInsert + Node52IsInserted + Node52Request + Node52OKshare + Node52NOshare + Node52requestsent0 + Node52requestsent1 + Node52requestsent2 + Node52requestsent3 + Node52requestsent4 + Node52requestsent5 + Node52requestsent6 + Node52requestsent7 + Node52requestsent8 + Node52requestsent9 + Node52requestsent10 + Node52requestsent11 + Node52requestsent12 + Node52requestsent13 + Node52requestsent14 + Node52requestsent15 + Node52requestsent16 + Node52requestsent17 + Node52requestsent18 + Node52requestsent19 + Node52requestsent20 + Node52requestsent21 + Node52requestsent22 + Node52requestsent23 + Node52requestsent24 + Node52requestsent25 + Node52requestsent26 + Node52requestsent27 + Node52requestsent28 + Node52requestsent29 + Node52requestsent30 + Node52requestsent31 + Node52requestsent32 + Node52requestsent33 + Node52requestsent34 + Node52requestsent35 + Node52requestsent36 + Node52requestsent37 + Node52requestsent38 + Node52requestsent39 + Node52requestsent40 + Node52requestsent41 + Node52requestsent42 + Node52requestsent43 + Node52requestsent44 + Node52requestsent45 + Node52requestsent46 + Node52requestsent47 + Node52requestsent48 + Node52requestsent49 + Node52requestsent50 + Node52requestsent51 + Node52requestsent53 + Node52requestsent54 + Node52requestsent55 + Node52requestsent56 + Node52requestsent57 + Node52requestsent58 + Node52requestsent59 + Node52requestsent60 + Node52requestsent61 + Node52requestsent62 + Node52requestsent63 + Node52requestsent64 + Node52requestsent65 + Node52requestsent66 + Node52requestsent67 + Node52requestsent68 + Node52requestsent69 + Node52requestsent70 + Node52requestsent71 + Node52requestsent72 + Node52requestsent73 + Node52requestsent74 + Node52requestsent75 + Node52requestsent76 + Node52requestsent77 + Node52requestsent78 + Node52requestsent79 + Node52requestsent80 + Node52requestsent81 + Node52requestsent82 + Node52requestsent83 + Node52requestsent84 + Node52requestsent85 + Node52requestsent86 + Node52requestsent87 + Node52requestsent88 + Node52requestsent89 + Node52requestsent90 + Node52requestsent91 + Node52requestsent92 + Node52requestsent93 + Node52requestsent94 + Node52requestsent95 + Node52requestsent96 + Node52requestsent97 + Node52requestsent98 + Node52requestsent99 = 1
inv : Node84ReadyToInsert + Node84IsInserted + Node84Request + Node84OKshare + Node84NOshare + Node84requestsent0 + Node84requestsent1 + Node84requestsent2 + Node84requestsent3 + Node84requestsent4 + Node84requestsent5 + Node84requestsent6 + Node84requestsent7 + Node84requestsent8 + Node84requestsent9 + Node84requestsent10 + Node84requestsent11 + Node84requestsent12 + Node84requestsent13 + Node84requestsent14 + Node84requestsent15 + Node84requestsent16 + Node84requestsent17 + Node84requestsent18 + Node84requestsent19 + Node84requestsent20 + Node84requestsent21 + Node84requestsent22 + Node84requestsent23 + Node84requestsent24 + Node84requestsent25 + Node84requestsent26 + Node84requestsent27 + Node84requestsent28 + Node84requestsent29 + Node84requestsent30 + Node84requestsent31 + Node84requestsent32 + Node84requestsent33 + Node84requestsent34 + Node84requestsent35 + Node84requestsent36 + Node84requestsent37 + Node84requestsent38 + Node84requestsent39 + Node84requestsent40 + Node84requestsent41 + Node84requestsent42 + Node84requestsent43 + Node84requestsent44 + Node84requestsent45 + Node84requestsent46 + Node84requestsent47 + Node84requestsent48 + Node84requestsent49 + Node84requestsent50 + Node84requestsent51 + Node84requestsent52 + Node84requestsent53 + Node84requestsent54 + Node84requestsent55 + Node84requestsent56 + Node84requestsent57 + Node84requestsent58 + Node84requestsent59 + Node84requestsent60 + Node84requestsent61 + Node84requestsent62 + Node84requestsent63 + Node84requestsent64 + Node84requestsent65 + Node84requestsent66 + Node84requestsent67 + Node84requestsent68 + Node84requestsent69 + Node84requestsent70 + Node84requestsent71 + Node84requestsent72 + Node84requestsent73 + Node84requestsent74 + Node84requestsent75 + Node84requestsent76 + Node84requestsent77 + Node84requestsent78 + Node84requestsent79 + Node84requestsent80 + Node84requestsent81 + Node84requestsent82 + Node84requestsent83 + Node84requestsent85 + Node84requestsent86 + Node84requestsent87 + Node84requestsent88 + Node84requestsent89 + Node84requestsent90 + Node84requestsent91 + Node84requestsent92 + Node84requestsent93 + Node84requestsent94 + Node84requestsent95 + Node84requestsent96 + Node84requestsent97 + Node84requestsent98 + Node84requestsent99 = 1
inv : -Node93Request + Node93WaitAnswer - Node93OKshare - Node93NOshare - Node93requestsent0 - Node93requestsent1 - Node93requestsent2 - Node93requestsent3 - Node93requestsent4 - Node93requestsent5 - Node93requestsent6 - Node93requestsent7 - Node93requestsent8 - Node93requestsent9 - Node93requestsent10 - Node93requestsent11 - Node93requestsent12 - Node93requestsent13 - Node93requestsent14 - Node93requestsent15 - Node93requestsent16 - Node93requestsent17 - Node93requestsent18 - Node93requestsent19 - Node93requestsent20 - Node93requestsent21 - Node93requestsent22 - Node93requestsent23 - Node93requestsent24 - Node93requestsent25 - Node93requestsent26 - Node93requestsent27 - Node93requestsent28 - Node93requestsent29 - Node93requestsent30 - Node93requestsent31 - Node93requestsent32 - Node93requestsent33 - Node93requestsent34 - Node93requestsent35 - Node93requestsent36 - Node93requestsent37 - Node93requestsent38 - Node93requestsent39 - Node93requestsent40 - Node93requestsent41 - Node93requestsent42 - Node93requestsent43 - Node93requestsent44 - Node93requestsent45 - Node93requestsent46 - Node93requestsent47 - Node93requestsent48 - Node93requestsent49 - Node93requestsent50 - Node93requestsent51 - Node93requestsent52 - Node93requestsent53 - Node93requestsent54 - Node93requestsent55 - Node93requestsent56 - Node93requestsent57 - Node93requestsent58 - Node93requestsent59 - Node93requestsent60 - Node93requestsent61 - Node93requestsent62 - Node93requestsent63 - Node93requestsent64 - Node93requestsent65 - Node93requestsent66 - Node93requestsent67 - Node93requestsent68 - Node93requestsent69 - Node93requestsent70 - Node93requestsent71 - Node93requestsent72 - Node93requestsent73 - Node93requestsent74 - Node93requestsent75 - Node93requestsent76 - Node93requestsent77 - Node93requestsent78 - Node93requestsent79 - Node93requestsent80 - Node93requestsent81 - Node93requestsent82 - Node93requestsent83 - Node93requestsent84 - Node93requestsent85 - Node93requestsent86 - Node93requestsent87 - Node93requestsent88 - Node93requestsent89 - Node93requestsent90 - Node93requestsent91 - Node93requestsent92 - Node93requestsent94 - Node93requestsent95 - Node93requestsent96 - Node93requestsent97 - Node93requestsent98 - Node93requestsent99 = 0
inv : Node5ReadyToInsert + Node5IsInserted + Node5Request + Node5OKshare + Node5NOshare + Node5requestsent0 + Node5requestsent1 + Node5requestsent2 + Node5requestsent3 + Node5requestsent4 + Node5requestsent6 + Node5requestsent7 + Node5requestsent8 + Node5requestsent9 + Node5requestsent10 + Node5requestsent11 + Node5requestsent12 + Node5requestsent13 + Node5requestsent14 + Node5requestsent15 + Node5requestsent16 + Node5requestsent17 + Node5requestsent18 + Node5requestsent19 + Node5requestsent20 + Node5requestsent21 + Node5requestsent22 + Node5requestsent23 + Node5requestsent24 + Node5requestsent25 + Node5requestsent26 + Node5requestsent27 + Node5requestsent28 + Node5requestsent29 + Node5requestsent30 + Node5requestsent31 + Node5requestsent32 + Node5requestsent33 + Node5requestsent34 + Node5requestsent35 + Node5requestsent36 + Node5requestsent37 + Node5requestsent38 + Node5requestsent39 + Node5requestsent40 + Node5requestsent41 + Node5requestsent42 + Node5requestsent43 + Node5requestsent44 + Node5requestsent45 + Node5requestsent46 + Node5requestsent47 + Node5requestsent48 + Node5requestsent49 + Node5requestsent50 + Node5requestsent51 + Node5requestsent52 + Node5requestsent53 + Node5requestsent54 + Node5requestsent55 + Node5requestsent56 + Node5requestsent57 + Node5requestsent58 + Node5requestsent59 + Node5requestsent60 + Node5requestsent61 + Node5requestsent62 + Node5requestsent63 + Node5requestsent64 + Node5requestsent65 + Node5requestsent66 + Node5requestsent67 + Node5requestsent68 + Node5requestsent69 + Node5requestsent70 + Node5requestsent71 + Node5requestsent72 + Node5requestsent73 + Node5requestsent74 + Node5requestsent75 + Node5requestsent76 + Node5requestsent77 + Node5requestsent78 + Node5requestsent79 + Node5requestsent80 + Node5requestsent81 + Node5requestsent82 + Node5requestsent83 + Node5requestsent84 + Node5requestsent85 + Node5requestsent86 + Node5requestsent87 + Node5requestsent88 + Node5requestsent89 + Node5requestsent90 + Node5requestsent91 + Node5requestsent92 + Node5requestsent93 + Node5requestsent94 + Node5requestsent95 + Node5requestsent96 + Node5requestsent97 + Node5requestsent98 + Node5requestsent99 = 1
inv : -Node51Request + Node51WaitAnswer - Node51OKshare - Node51NOshare - Node51requestsent0 - Node51requestsent1 - Node51requestsent2 - Node51requestsent3 - Node51requestsent4 - Node51requestsent5 - Node51requestsent6 - Node51requestsent7 - Node51requestsent8 - Node51requestsent9 - Node51requestsent10 - Node51requestsent11 - Node51requestsent12 - Node51requestsent13 - Node51requestsent14 - Node51requestsent15 - Node51requestsent16 - Node51requestsent17 - Node51requestsent18 - Node51requestsent19 - Node51requestsent20 - Node51requestsent21 - Node51requestsent22 - Node51requestsent23 - Node51requestsent24 - Node51requestsent25 - Node51requestsent26 - Node51requestsent27 - Node51requestsent28 - Node51requestsent29 - Node51requestsent30 - Node51requestsent31 - Node51requestsent32 - Node51requestsent33 - Node51requestsent34 - Node51requestsent35 - Node51requestsent36 - Node51requestsent37 - Node51requestsent38 - Node51requestsent39 - Node51requestsent40 - Node51requestsent41 - Node51requestsent42 - Node51requestsent43 - Node51requestsent44 - Node51requestsent45 - Node51requestsent46 - Node51requestsent47 - Node51requestsent48 - Node51requestsent49 - Node51requestsent50 - Node51requestsent52 - Node51requestsent53 - Node51requestsent54 - Node51requestsent55 - Node51requestsent56 - Node51requestsent57 - Node51requestsent58 - Node51requestsent59 - Node51requestsent60 - Node51requestsent61 - Node51requestsent62 - Node51requestsent63 - Node51requestsent64 - Node51requestsent65 - Node51requestsent66 - Node51requestsent67 - Node51requestsent68 - Node51requestsent69 - Node51requestsent70 - Node51requestsent71 - Node51requestsent72 - Node51requestsent73 - Node51requestsent74 - Node51requestsent75 - Node51requestsent76 - Node51requestsent77 - Node51requestsent78 - Node51requestsent79 - Node51requestsent80 - Node51requestsent81 - Node51requestsent82 - Node51requestsent83 - Node51requestsent84 - Node51requestsent85 - Node51requestsent86 - Node51requestsent87 - Node51requestsent88 - Node51requestsent89 - Node51requestsent90 - Node51requestsent91 - Node51requestsent92 - Node51requestsent93 - Node51requestsent94 - Node51requestsent95 - Node51requestsent96 - Node51requestsent97 - Node51requestsent98 - Node51requestsent99 = 0
inv : -Node47Request + Node47WaitAnswer - Node47OKshare - Node47NOshare - Node47requestsent0 - Node47requestsent1 - Node47requestsent2 - Node47requestsent3 - Node47requestsent4 - Node47requestsent5 - Node47requestsent6 - Node47requestsent7 - Node47requestsent8 - Node47requestsent9 - Node47requestsent10 - Node47requestsent11 - Node47requestsent12 - Node47requestsent13 - Node47requestsent14 - Node47requestsent15 - Node47requestsent16 - Node47requestsent17 - Node47requestsent18 - Node47requestsent19 - Node47requestsent20 - Node47requestsent21 - Node47requestsent22 - Node47requestsent23 - Node47requestsent24 - Node47requestsent25 - Node47requestsent26 - Node47requestsent27 - Node47requestsent28 - Node47requestsent29 - Node47requestsent30 - Node47requestsent31 - Node47requestsent32 - Node47requestsent33 - Node47requestsent34 - Node47requestsent35 - Node47requestsent36 - Node47requestsent37 - Node47requestsent38 - Node47requestsent39 - Node47requestsent40 - Node47requestsent41 - Node47requestsent42 - Node47requestsent43 - Node47requestsent44 - Node47requestsent45 - Node47requestsent46 - Node47requestsent48 - Node47requestsent49 - Node47requestsent50 - Node47requestsent51 - Node47requestsent52 - Node47requestsent53 - Node47requestsent54 - Node47requestsent55 - Node47requestsent56 - Node47requestsent57 - Node47requestsent58 - Node47requestsent59 - Node47requestsent60 - Node47requestsent61 - Node47requestsent62 - Node47requestsent63 - Node47requestsent64 - Node47requestsent65 - Node47requestsent66 - Node47requestsent67 - Node47requestsent68 - Node47requestsent69 - Node47requestsent70 - Node47requestsent71 - Node47requestsent72 - Node47requestsent73 - Node47requestsent74 - Node47requestsent75 - Node47requestsent76 - Node47requestsent77 - Node47requestsent78 - Node47requestsent79 - Node47requestsent80 - Node47requestsent81 - Node47requestsent82 - Node47requestsent83 - Node47requestsent84 - Node47requestsent85 - Node47requestsent86 - Node47requestsent87 - Node47requestsent88 - Node47requestsent89 - Node47requestsent90 - Node47requestsent91 - Node47requestsent92 - Node47requestsent93 - Node47requestsent94 - Node47requestsent95 - Node47requestsent96 - Node47requestsent97 - Node47requestsent98 - Node47requestsent99 = 0
inv : -Node7Request + Node7WaitAnswer - Node7OKshare - Node7NOshare - 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 - Node7requestsent40 - Node7requestsent41 - Node7requestsent42 - Node7requestsent43 - Node7requestsent44 - Node7requestsent45 - Node7requestsent46 - Node7requestsent47 - Node7requestsent48 - Node7requestsent49 - Node7requestsent50 - Node7requestsent51 - Node7requestsent52 - Node7requestsent53 - Node7requestsent54 - Node7requestsent55 - Node7requestsent56 - Node7requestsent57 - Node7requestsent58 - Node7requestsent59 - Node7requestsent60 - Node7requestsent61 - Node7requestsent62 - Node7requestsent63 - Node7requestsent64 - Node7requestsent65 - Node7requestsent66 - Node7requestsent67 - Node7requestsent68 - Node7requestsent69 - Node7requestsent70 - Node7requestsent71 - Node7requestsent72 - Node7requestsent73 - Node7requestsent74 - Node7requestsent75 - Node7requestsent76 - Node7requestsent77 - Node7requestsent78 - Node7requestsent79 - Node7requestsent80 - Node7requestsent81 - Node7requestsent82 - Node7requestsent83 - Node7requestsent84 - Node7requestsent85 - Node7requestsent86 - Node7requestsent87 - Node7requestsent88 - Node7requestsent89 - Node7requestsent90 - Node7requestsent91 - Node7requestsent92 - Node7requestsent93 - Node7requestsent94 - Node7requestsent95 - Node7requestsent96 - Node7requestsent97 - Node7requestsent98 - Node7requestsent99 = 0
inv : Node60ReadyToInsert + Node60IsInserted + Node60Request + Node60OKshare + Node60NOshare + Node60requestsent0 + Node60requestsent1 + Node60requestsent2 + Node60requestsent3 + Node60requestsent4 + Node60requestsent5 + Node60requestsent6 + Node60requestsent7 + Node60requestsent8 + Node60requestsent9 + Node60requestsent10 + Node60requestsent11 + Node60requestsent12 + Node60requestsent13 + Node60requestsent14 + Node60requestsent15 + Node60requestsent16 + Node60requestsent17 + Node60requestsent18 + Node60requestsent19 + Node60requestsent20 + Node60requestsent21 + Node60requestsent22 + Node60requestsent23 + Node60requestsent24 + Node60requestsent25 + Node60requestsent26 + Node60requestsent27 + Node60requestsent28 + Node60requestsent29 + Node60requestsent30 + Node60requestsent31 + Node60requestsent32 + Node60requestsent33 + Node60requestsent34 + Node60requestsent35 + Node60requestsent36 + Node60requestsent37 + Node60requestsent38 + Node60requestsent39 + Node60requestsent40 + Node60requestsent41 + Node60requestsent42 + Node60requestsent43 + Node60requestsent44 + Node60requestsent45 + Node60requestsent46 + Node60requestsent47 + Node60requestsent48 + Node60requestsent49 + Node60requestsent50 + Node60requestsent51 + Node60requestsent52 + Node60requestsent53 + Node60requestsent54 + Node60requestsent55 + Node60requestsent56 + Node60requestsent57 + Node60requestsent58 + Node60requestsent59 + Node60requestsent61 + Node60requestsent62 + Node60requestsent63 + Node60requestsent64 + Node60requestsent65 + Node60requestsent66 + Node60requestsent67 + Node60requestsent68 + Node60requestsent69 + Node60requestsent70 + Node60requestsent71 + Node60requestsent72 + Node60requestsent73 + Node60requestsent74 + Node60requestsent75 + Node60requestsent76 + Node60requestsent77 + Node60requestsent78 + Node60requestsent79 + Node60requestsent80 + Node60requestsent81 + Node60requestsent82 + Node60requestsent83 + Node60requestsent84 + Node60requestsent85 + Node60requestsent86 + Node60requestsent87 + Node60requestsent88 + Node60requestsent89 + Node60requestsent90 + Node60requestsent91 + Node60requestsent92 + Node60requestsent93 + Node60requestsent94 + Node60requestsent95 + Node60requestsent96 + Node60requestsent97 + Node60requestsent98 + Node60requestsent99 = 1
inv : Node23ReadyToInsert + Node23IsInserted + Node23Request + Node23OKshare + Node23NOshare + 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 + Node23requestsent32 + Node23requestsent33 + Node23requestsent34 + Node23requestsent35 + Node23requestsent36 + Node23requestsent37 + Node23requestsent38 + Node23requestsent39 + Node23requestsent40 + Node23requestsent41 + Node23requestsent42 + Node23requestsent43 + Node23requestsent44 + Node23requestsent45 + Node23requestsent46 + Node23requestsent47 + Node23requestsent48 + Node23requestsent49 + Node23requestsent50 + Node23requestsent51 + Node23requestsent52 + Node23requestsent53 + Node23requestsent54 + Node23requestsent55 + Node23requestsent56 + Node23requestsent57 + Node23requestsent58 + Node23requestsent59 + Node23requestsent60 + Node23requestsent61 + Node23requestsent62 + Node23requestsent63 + Node23requestsent64 + Node23requestsent65 + Node23requestsent66 + Node23requestsent67 + Node23requestsent68 + Node23requestsent69 + Node23requestsent70 + Node23requestsent71 + Node23requestsent72 + Node23requestsent73 + Node23requestsent74 + Node23requestsent75 + Node23requestsent76 + Node23requestsent77 + Node23requestsent78 + Node23requestsent79 + Node23requestsent80 + Node23requestsent81 + Node23requestsent82 + Node23requestsent83 + Node23requestsent84 + Node23requestsent85 + Node23requestsent86 + Node23requestsent87 + Node23requestsent88 + Node23requestsent89 + Node23requestsent90 + Node23requestsent91 + Node23requestsent92 + Node23requestsent93 + Node23requestsent94 + Node23requestsent95 + Node23requestsent96 + Node23requestsent97 + Node23requestsent98 + Node23requestsent99 = 1
inv : -Node20Request + Node20WaitAnswer - Node20OKshare - Node20NOshare - 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 - Node20requestsent40 - Node20requestsent41 - Node20requestsent42 - Node20requestsent43 - Node20requestsent44 - Node20requestsent45 - Node20requestsent46 - Node20requestsent47 - Node20requestsent48 - Node20requestsent49 - Node20requestsent50 - Node20requestsent51 - Node20requestsent52 - Node20requestsent53 - Node20requestsent54 - Node20requestsent55 - Node20requestsent56 - Node20requestsent57 - Node20requestsent58 - Node20requestsent59 - Node20requestsent60 - Node20requestsent61 - Node20requestsent62 - Node20requestsent63 - Node20requestsent64 - Node20requestsent65 - Node20requestsent66 - Node20requestsent67 - Node20requestsent68 - Node20requestsent69 - Node20requestsent70 - Node20requestsent71 - Node20requestsent72 - Node20requestsent73 - Node20requestsent74 - Node20requestsent75 - Node20requestsent76 - Node20requestsent77 - Node20requestsent78 - Node20requestsent79 - Node20requestsent80 - Node20requestsent81 - Node20requestsent82 - Node20requestsent83 - Node20requestsent84 - Node20requestsent85 - Node20requestsent86 - Node20requestsent87 - Node20requestsent88 - Node20requestsent89 - Node20requestsent90 - Node20requestsent91 - Node20requestsent92 - Node20requestsent93 - Node20requestsent94 - Node20requestsent95 - Node20requestsent96 - Node20requestsent97 - Node20requestsent98 - Node20requestsent99 = 0
inv : -Node89Request + Node89WaitAnswer - Node89OKshare - Node89NOshare - Node89requestsent0 - Node89requestsent1 - Node89requestsent2 - Node89requestsent3 - Node89requestsent4 - Node89requestsent5 - Node89requestsent6 - Node89requestsent7 - Node89requestsent8 - Node89requestsent9 - Node89requestsent10 - Node89requestsent11 - Node89requestsent12 - Node89requestsent13 - Node89requestsent14 - Node89requestsent15 - Node89requestsent16 - Node89requestsent17 - Node89requestsent18 - Node89requestsent19 - Node89requestsent20 - Node89requestsent21 - Node89requestsent22 - Node89requestsent23 - Node89requestsent24 - Node89requestsent25 - Node89requestsent26 - Node89requestsent27 - Node89requestsent28 - Node89requestsent29 - Node89requestsent30 - Node89requestsent31 - Node89requestsent32 - Node89requestsent33 - Node89requestsent34 - Node89requestsent35 - Node89requestsent36 - Node89requestsent37 - Node89requestsent38 - Node89requestsent39 - Node89requestsent40 - Node89requestsent41 - Node89requestsent42 - Node89requestsent43 - Node89requestsent44 - Node89requestsent45 - Node89requestsent46 - Node89requestsent47 - Node89requestsent48 - Node89requestsent49 - Node89requestsent50 - Node89requestsent51 - Node89requestsent52 - Node89requestsent53 - Node89requestsent54 - Node89requestsent55 - Node89requestsent56 - Node89requestsent57 - Node89requestsent58 - Node89requestsent59 - Node89requestsent60 - Node89requestsent61 - Node89requestsent62 - Node89requestsent63 - Node89requestsent64 - Node89requestsent65 - Node89requestsent66 - Node89requestsent67 - Node89requestsent68 - Node89requestsent69 - Node89requestsent70 - Node89requestsent71 - Node89requestsent72 - Node89requestsent73 - Node89requestsent74 - Node89requestsent75 - Node89requestsent76 - Node89requestsent77 - Node89requestsent78 - Node89requestsent79 - Node89requestsent80 - Node89requestsent81 - Node89requestsent82 - Node89requestsent83 - Node89requestsent84 - Node89requestsent85 - Node89requestsent86 - Node89requestsent87 - Node89requestsent88 - Node89requestsent90 - Node89requestsent91 - Node89requestsent92 - Node89requestsent93 - Node89requestsent94 - Node89requestsent95 - Node89requestsent96 - Node89requestsent97 - Node89requestsent98 - Node89requestsent99 = 0
inv : Node15ReadyToInsert + Node15IsInserted + Node15Request + Node15OKshare + Node15NOshare + 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 + Node15requestsent40 + Node15requestsent41 + Node15requestsent42 + Node15requestsent43 + Node15requestsent44 + Node15requestsent45 + Node15requestsent46 + Node15requestsent47 + Node15requestsent48 + Node15requestsent49 + Node15requestsent50 + Node15requestsent51 + Node15requestsent52 + Node15requestsent53 + Node15requestsent54 + Node15requestsent55 + Node15requestsent56 + Node15requestsent57 + Node15requestsent58 + Node15requestsent59 + Node15requestsent60 + Node15requestsent61 + Node15requestsent62 + Node15requestsent63 + Node15requestsent64 + Node15requestsent65 + Node15requestsent66 + Node15requestsent67 + Node15requestsent68 + Node15requestsent69 + Node15requestsent70 + Node15requestsent71 + Node15requestsent72 + Node15requestsent73 + Node15requestsent74 + Node15requestsent75 + Node15requestsent76 + Node15requestsent77 + Node15requestsent78 + Node15requestsent79 + Node15requestsent80 + Node15requestsent81 + Node15requestsent82 + Node15requestsent83 + Node15requestsent84 + Node15requestsent85 + Node15requestsent86 + Node15requestsent87 + Node15requestsent88 + Node15requestsent89 + Node15requestsent90 + Node15requestsent91 + Node15requestsent92 + Node15requestsent93 + Node15requestsent94 + Node15requestsent95 + Node15requestsent96 + Node15requestsent97 + Node15requestsent98 + Node15requestsent99 = 1
inv : Node92ReadyToInsert + Node92IsInserted + Node92Request + Node92OKshare + Node92NOshare + Node92requestsent0 + Node92requestsent1 + Node92requestsent2 + Node92requestsent3 + Node92requestsent4 + Node92requestsent5 + Node92requestsent6 + Node92requestsent7 + Node92requestsent8 + Node92requestsent9 + Node92requestsent10 + Node92requestsent11 + Node92requestsent12 + Node92requestsent13 + Node92requestsent14 + Node92requestsent15 + Node92requestsent16 + Node92requestsent17 + Node92requestsent18 + Node92requestsent19 + Node92requestsent20 + Node92requestsent21 + Node92requestsent22 + Node92requestsent23 + Node92requestsent24 + Node92requestsent25 + Node92requestsent26 + Node92requestsent27 + Node92requestsent28 + Node92requestsent29 + Node92requestsent30 + Node92requestsent31 + Node92requestsent32 + Node92requestsent33 + Node92requestsent34 + Node92requestsent35 + Node92requestsent36 + Node92requestsent37 + Node92requestsent38 + Node92requestsent39 + Node92requestsent40 + Node92requestsent41 + Node92requestsent42 + Node92requestsent43 + Node92requestsent44 + Node92requestsent45 + Node92requestsent46 + Node92requestsent47 + Node92requestsent48 + Node92requestsent49 + Node92requestsent50 + Node92requestsent51 + Node92requestsent52 + Node92requestsent53 + Node92requestsent54 + Node92requestsent55 + Node92requestsent56 + Node92requestsent57 + Node92requestsent58 + Node92requestsent59 + Node92requestsent60 + Node92requestsent61 + Node92requestsent62 + Node92requestsent63 + Node92requestsent64 + Node92requestsent65 + Node92requestsent66 + Node92requestsent67 + Node92requestsent68 + Node92requestsent69 + Node92requestsent70 + Node92requestsent71 + Node92requestsent72 + Node92requestsent73 + Node92requestsent74 + Node92requestsent75 + Node92requestsent76 + Node92requestsent77 + Node92requestsent78 + Node92requestsent79 + Node92requestsent80 + Node92requestsent81 + Node92requestsent82 + Node92requestsent83 + Node92requestsent84 + Node92requestsent85 + Node92requestsent86 + Node92requestsent87 + Node92requestsent88 + Node92requestsent89 + Node92requestsent90 + Node92requestsent91 + Node92requestsent93 + Node92requestsent94 + Node92requestsent95 + Node92requestsent96 + Node92requestsent97 + Node92requestsent98 + Node92requestsent99 = 1
inv : -Node85Request + Node85WaitAnswer - Node85OKshare - Node85NOshare - Node85requestsent0 - Node85requestsent1 - Node85requestsent2 - Node85requestsent3 - Node85requestsent4 - Node85requestsent5 - Node85requestsent6 - Node85requestsent7 - Node85requestsent8 - Node85requestsent9 - Node85requestsent10 - Node85requestsent11 - Node85requestsent12 - Node85requestsent13 - Node85requestsent14 - Node85requestsent15 - Node85requestsent16 - Node85requestsent17 - Node85requestsent18 - Node85requestsent19 - Node85requestsent20 - Node85requestsent21 - Node85requestsent22 - Node85requestsent23 - Node85requestsent24 - Node85requestsent25 - Node85requestsent26 - Node85requestsent27 - Node85requestsent28 - Node85requestsent29 - Node85requestsent30 - Node85requestsent31 - Node85requestsent32 - Node85requestsent33 - Node85requestsent34 - Node85requestsent35 - Node85requestsent36 - Node85requestsent37 - Node85requestsent38 - Node85requestsent39 - Node85requestsent40 - Node85requestsent41 - Node85requestsent42 - Node85requestsent43 - Node85requestsent44 - Node85requestsent45 - Node85requestsent46 - Node85requestsent47 - Node85requestsent48 - Node85requestsent49 - Node85requestsent50 - Node85requestsent51 - Node85requestsent52 - Node85requestsent53 - Node85requestsent54 - Node85requestsent55 - Node85requestsent56 - Node85requestsent57 - Node85requestsent58 - Node85requestsent59 - Node85requestsent60 - Node85requestsent61 - Node85requestsent62 - Node85requestsent63 - Node85requestsent64 - Node85requestsent65 - Node85requestsent66 - Node85requestsent67 - Node85requestsent68 - Node85requestsent69 - Node85requestsent70 - Node85requestsent71 - Node85requestsent72 - Node85requestsent73 - Node85requestsent74 - Node85requestsent75 - Node85requestsent76 - Node85requestsent77 - Node85requestsent78 - Node85requestsent79 - Node85requestsent80 - Node85requestsent81 - Node85requestsent82 - Node85requestsent83 - Node85requestsent84 - Node85requestsent86 - Node85requestsent87 - Node85requestsent88 - Node85requestsent89 - Node85requestsent90 - Node85requestsent91 - Node85requestsent92 - Node85requestsent93 - Node85requestsent94 - Node85requestsent95 - Node85requestsent96 - Node85requestsent97 - Node85requestsent98 - Node85requestsent99 = 0
inv : Node25ReadyToInsert + Node25IsInserted + Node25Request + Node25OKshare + Node25NOshare + Node25requestsent0 + Node25requestsent1 + Node25requestsent2 + Node25requestsent3 + Node25requestsent4 + 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 + Node25requestsent40 + Node25requestsent41 + Node25requestsent42 + Node25requestsent43 + Node25requestsent44 + Node25requestsent45 + Node25requestsent46 + Node25requestsent47 + Node25requestsent48 + Node25requestsent49 + Node25requestsent50 + Node25requestsent51 + Node25requestsent52 + Node25requestsent53 + Node25requestsent54 + Node25requestsent55 + Node25requestsent56 + Node25requestsent57 + Node25requestsent58 + Node25requestsent59 + Node25requestsent60 + Node25requestsent61 + Node25requestsent62 + Node25requestsent63 + Node25requestsent64 + Node25requestsent65 + Node25requestsent66 + Node25requestsent67 + Node25requestsent68 + Node25requestsent69 + Node25requestsent70 + Node25requestsent71 + Node25requestsent72 + Node25requestsent73 + Node25requestsent74 + Node25requestsent75 + Node25requestsent76 + Node25requestsent77 + Node25requestsent78 + Node25requestsent79 + Node25requestsent80 + Node25requestsent81 + Node25requestsent82 + Node25requestsent83 + Node25requestsent84 + Node25requestsent85 + Node25requestsent86 + Node25requestsent87 + Node25requestsent88 + Node25requestsent89 + Node25requestsent90 + Node25requestsent91 + Node25requestsent92 + Node25requestsent93 + Node25requestsent94 + Node25requestsent95 + Node25requestsent96 + Node25requestsent97 + Node25requestsent98 + Node25requestsent99 = 1
inv : Node69ReadyToInsert + Node69IsInserted + Node69Request + Node69OKshare + Node69NOshare + Node69requestsent0 + Node69requestsent1 + Node69requestsent2 + Node69requestsent3 + Node69requestsent4 + Node69requestsent5 + Node69requestsent6 + Node69requestsent7 + Node69requestsent8 + Node69requestsent9 + Node69requestsent10 + Node69requestsent11 + Node69requestsent12 + Node69requestsent13 + Node69requestsent14 + Node69requestsent15 + Node69requestsent16 + Node69requestsent17 + Node69requestsent18 + Node69requestsent19 + Node69requestsent20 + Node69requestsent21 + Node69requestsent22 + Node69requestsent23 + Node69requestsent24 + Node69requestsent25 + Node69requestsent26 + Node69requestsent27 + Node69requestsent28 + Node69requestsent29 + Node69requestsent30 + Node69requestsent31 + Node69requestsent32 + Node69requestsent33 + Node69requestsent34 + Node69requestsent35 + Node69requestsent36 + Node69requestsent37 + Node69requestsent38 + Node69requestsent39 + Node69requestsent40 + Node69requestsent41 + Node69requestsent42 + Node69requestsent43 + Node69requestsent44 + Node69requestsent45 + Node69requestsent46 + Node69requestsent47 + Node69requestsent48 + Node69requestsent49 + Node69requestsent50 + Node69requestsent51 + Node69requestsent52 + Node69requestsent53 + Node69requestsent54 + Node69requestsent55 + Node69requestsent56 + Node69requestsent57 + Node69requestsent58 + Node69requestsent59 + Node69requestsent60 + Node69requestsent61 + Node69requestsent62 + Node69requestsent63 + Node69requestsent64 + Node69requestsent65 + Node69requestsent66 + Node69requestsent67 + Node69requestsent68 + Node69requestsent70 + Node69requestsent71 + Node69requestsent72 + Node69requestsent73 + Node69requestsent74 + Node69requestsent75 + Node69requestsent76 + Node69requestsent77 + Node69requestsent78 + Node69requestsent79 + Node69requestsent80 + Node69requestsent81 + Node69requestsent82 + Node69requestsent83 + Node69requestsent84 + Node69requestsent85 + Node69requestsent86 + Node69requestsent87 + Node69requestsent88 + Node69requestsent89 + Node69requestsent90 + Node69requestsent91 + Node69requestsent92 + Node69requestsent93 + Node69requestsent94 + Node69requestsent95 + Node69requestsent96 + Node69requestsent97 + Node69requestsent98 + Node69requestsent99 = 1
inv : -Node3Request + Node3WaitAnswer - Node3OKshare - Node3NOshare - Node3requestsent0 - Node3requestsent1 - 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 - Node3requestsent32 - Node3requestsent33 - Node3requestsent34 - Node3requestsent35 - Node3requestsent36 - Node3requestsent37 - Node3requestsent38 - Node3requestsent39 - Node3requestsent40 - Node3requestsent41 - Node3requestsent42 - Node3requestsent43 - Node3requestsent44 - Node3requestsent45 - Node3requestsent46 - Node3requestsent47 - Node3requestsent48 - Node3requestsent49 - Node3requestsent50 - Node3requestsent51 - Node3requestsent52 - Node3requestsent53 - Node3requestsent54 - Node3requestsent55 - Node3requestsent56 - Node3requestsent57 - Node3requestsent58 - Node3requestsent59 - Node3requestsent60 - Node3requestsent61 - Node3requestsent62 - Node3requestsent63 - Node3requestsent64 - Node3requestsent65 - Node3requestsent66 - Node3requestsent67 - Node3requestsent68 - Node3requestsent69 - Node3requestsent70 - Node3requestsent71 - Node3requestsent72 - Node3requestsent73 - Node3requestsent74 - Node3requestsent75 - Node3requestsent76 - Node3requestsent77 - Node3requestsent78 - Node3requestsent79 - Node3requestsent80 - Node3requestsent81 - Node3requestsent82 - Node3requestsent83 - Node3requestsent84 - Node3requestsent85 - Node3requestsent86 - Node3requestsent87 - Node3requestsent88 - Node3requestsent89 - Node3requestsent90 - Node3requestsent91 - Node3requestsent92 - Node3requestsent93 - Node3requestsent94 - Node3requestsent95 - Node3requestsent96 - Node3requestsent97 - Node3requestsent98 - Node3requestsent99 = 0
inv : -Node34Request + Node34WaitAnswer - Node34OKshare - Node34NOshare - Node34requestsent0 - Node34requestsent1 - Node34requestsent2 - Node34requestsent3 - Node34requestsent4 - Node34requestsent5 - Node34requestsent6 - Node34requestsent7 - Node34requestsent8 - Node34requestsent9 - Node34requestsent10 - Node34requestsent11 - Node34requestsent12 - Node34requestsent13 - Node34requestsent14 - Node34requestsent15 - Node34requestsent16 - Node34requestsent17 - Node34requestsent18 - Node34requestsent19 - Node34requestsent20 - Node34requestsent21 - Node34requestsent22 - Node34requestsent23 - Node34requestsent24 - Node34requestsent25 - Node34requestsent26 - Node34requestsent27 - Node34requestsent28 - Node34requestsent29 - Node34requestsent30 - Node34requestsent31 - Node34requestsent32 - Node34requestsent33 - Node34requestsent35 - Node34requestsent36 - Node34requestsent37 - Node34requestsent38 - Node34requestsent39 - Node34requestsent40 - Node34requestsent41 - Node34requestsent42 - Node34requestsent43 - Node34requestsent44 - Node34requestsent45 - Node34requestsent46 - Node34requestsent47 - Node34requestsent48 - Node34requestsent49 - Node34requestsent50 - Node34requestsent51 - Node34requestsent52 - Node34requestsent53 - Node34requestsent54 - Node34requestsent55 - Node34requestsent56 - Node34requestsent57 - Node34requestsent58 - Node34requestsent59 - Node34requestsent60 - Node34requestsent61 - Node34requestsent62 - Node34requestsent63 - Node34requestsent64 - Node34requestsent65 - Node34requestsent66 - Node34requestsent67 - Node34requestsent68 - Node34requestsent69 - Node34requestsent70 - Node34requestsent71 - Node34requestsent72 - Node34requestsent73 - Node34requestsent74 - Node34requestsent75 - Node34requestsent76 - Node34requestsent77 - Node34requestsent78 - Node34requestsent79 - Node34requestsent80 - Node34requestsent81 - Node34requestsent82 - Node34requestsent83 - Node34requestsent84 - Node34requestsent85 - Node34requestsent86 - Node34requestsent87 - Node34requestsent88 - Node34requestsent89 - Node34requestsent90 - Node34requestsent91 - Node34requestsent92 - Node34requestsent93 - Node34requestsent94 - Node34requestsent95 - Node34requestsent96 - Node34requestsent97 - Node34requestsent98 - Node34requestsent99 = 0
inv : -Node76Request + Node76WaitAnswer - Node76OKshare - Node76NOshare - Node76requestsent0 - Node76requestsent1 - Node76requestsent2 - Node76requestsent3 - Node76requestsent4 - Node76requestsent5 - Node76requestsent6 - Node76requestsent7 - Node76requestsent8 - Node76requestsent9 - Node76requestsent10 - Node76requestsent11 - Node76requestsent12 - Node76requestsent13 - Node76requestsent14 - Node76requestsent15 - Node76requestsent16 - Node76requestsent17 - Node76requestsent18 - Node76requestsent19 - Node76requestsent20 - Node76requestsent21 - Node76requestsent22 - Node76requestsent23 - Node76requestsent24 - Node76requestsent25 - Node76requestsent26 - Node76requestsent27 - Node76requestsent28 - Node76requestsent29 - Node76requestsent30 - Node76requestsent31 - Node76requestsent32 - Node76requestsent33 - Node76requestsent34 - Node76requestsent35 - Node76requestsent36 - Node76requestsent37 - Node76requestsent38 - Node76requestsent39 - Node76requestsent40 - Node76requestsent41 - Node76requestsent42 - Node76requestsent43 - Node76requestsent44 - Node76requestsent45 - Node76requestsent46 - Node76requestsent47 - Node76requestsent48 - Node76requestsent49 - Node76requestsent50 - Node76requestsent51 - Node76requestsent52 - Node76requestsent53 - Node76requestsent54 - Node76requestsent55 - Node76requestsent56 - Node76requestsent57 - Node76requestsent58 - Node76requestsent59 - Node76requestsent60 - Node76requestsent61 - Node76requestsent62 - Node76requestsent63 - Node76requestsent64 - Node76requestsent65 - Node76requestsent66 - Node76requestsent67 - Node76requestsent68 - Node76requestsent69 - Node76requestsent70 - Node76requestsent71 - Node76requestsent72 - Node76requestsent73 - Node76requestsent74 - Node76requestsent75 - Node76requestsent77 - Node76requestsent78 - Node76requestsent79 - Node76requestsent80 - Node76requestsent81 - Node76requestsent82 - Node76requestsent83 - Node76requestsent84 - Node76requestsent85 - Node76requestsent86 - Node76requestsent87 - Node76requestsent88 - Node76requestsent89 - Node76requestsent90 - Node76requestsent91 - Node76requestsent92 - Node76requestsent93 - Node76requestsent94 - Node76requestsent95 - Node76requestsent96 - Node76requestsent97 - Node76requestsent98 - Node76requestsent99 = 0
inv : -Node2Request + Node2WaitAnswer - Node2OKshare - Node2NOshare - Node2requestsent0 - Node2requestsent1 - Node2requestsent3 - Node2requestsent4 - Node2requestsent5 - Node2requestsent6 - Node2requestsent7 - Node2requestsent8 - Node2requestsent9 - Node2requestsent10 - Node2requestsent11 - Node2requestsent12 - Node2requestsent13 - Node2requestsent14 - Node2requestsent15 - Node2requestsent16 - Node2requestsent17 - Node2requestsent18 - Node2requestsent19 - Node2requestsent20 - Node2requestsent21 - Node2requestsent22 - Node2requestsent23 - Node2requestsent24 - Node2requestsent25 - Node2requestsent26 - Node2requestsent27 - Node2requestsent28 - Node2requestsent29 - Node2requestsent30 - Node2requestsent31 - Node2requestsent32 - Node2requestsent33 - Node2requestsent34 - Node2requestsent35 - Node2requestsent36 - Node2requestsent37 - Node2requestsent38 - Node2requestsent39 - Node2requestsent40 - Node2requestsent41 - Node2requestsent42 - Node2requestsent43 - Node2requestsent44 - Node2requestsent45 - Node2requestsent46 - Node2requestsent47 - Node2requestsent48 - Node2requestsent49 - Node2requestsent50 - Node2requestsent51 - Node2requestsent52 - Node2requestsent53 - Node2requestsent54 - Node2requestsent55 - Node2requestsent56 - Node2requestsent57 - Node2requestsent58 - Node2requestsent59 - Node2requestsent60 - Node2requestsent61 - Node2requestsent62 - Node2requestsent63 - Node2requestsent64 - Node2requestsent65 - Node2requestsent66 - Node2requestsent67 - Node2requestsent68 - Node2requestsent69 - Node2requestsent70 - Node2requestsent71 - Node2requestsent72 - Node2requestsent73 - Node2requestsent74 - Node2requestsent75 - Node2requestsent76 - Node2requestsent77 - Node2requestsent78 - Node2requestsent79 - Node2requestsent80 - Node2requestsent81 - Node2requestsent82 - Node2requestsent83 - Node2requestsent84 - Node2requestsent85 - Node2requestsent86 - Node2requestsent87 - Node2requestsent88 - Node2requestsent89 - Node2requestsent90 - Node2requestsent91 - Node2requestsent92 - Node2requestsent93 - Node2requestsent94 - Node2requestsent95 - Node2requestsent96 - Node2requestsent97 - Node2requestsent98 - Node2requestsent99 = 0
inv : Node34ReadyToInsert + Node34IsInserted + Node34Request + Node34OKshare + Node34NOshare + Node34requestsent0 + Node34requestsent1 + Node34requestsent2 + Node34requestsent3 + Node34requestsent4 + Node34requestsent5 + Node34requestsent6 + Node34requestsent7 + Node34requestsent8 + Node34requestsent9 + Node34requestsent10 + Node34requestsent11 + Node34requestsent12 + Node34requestsent13 + Node34requestsent14 + Node34requestsent15 + Node34requestsent16 + Node34requestsent17 + Node34requestsent18 + Node34requestsent19 + Node34requestsent20 + Node34requestsent21 + Node34requestsent22 + Node34requestsent23 + Node34requestsent24 + Node34requestsent25 + Node34requestsent26 + Node34requestsent27 + Node34requestsent28 + Node34requestsent29 + Node34requestsent30 + Node34requestsent31 + Node34requestsent32 + Node34requestsent33 + Node34requestsent35 + Node34requestsent36 + Node34requestsent37 + Node34requestsent38 + Node34requestsent39 + Node34requestsent40 + Node34requestsent41 + Node34requestsent42 + Node34requestsent43 + Node34requestsent44 + Node34requestsent45 + Node34requestsent46 + Node34requestsent47 + Node34requestsent48 + Node34requestsent49 + Node34requestsent50 + Node34requestsent51 + Node34requestsent52 + Node34requestsent53 + Node34requestsent54 + Node34requestsent55 + Node34requestsent56 + Node34requestsent57 + Node34requestsent58 + Node34requestsent59 + Node34requestsent60 + Node34requestsent61 + Node34requestsent62 + Node34requestsent63 + Node34requestsent64 + Node34requestsent65 + Node34requestsent66 + Node34requestsent67 + Node34requestsent68 + Node34requestsent69 + Node34requestsent70 + Node34requestsent71 + Node34requestsent72 + Node34requestsent73 + Node34requestsent74 + Node34requestsent75 + Node34requestsent76 + Node34requestsent77 + Node34requestsent78 + Node34requestsent79 + Node34requestsent80 + Node34requestsent81 + Node34requestsent82 + Node34requestsent83 + Node34requestsent84 + Node34requestsent85 + Node34requestsent86 + Node34requestsent87 + Node34requestsent88 + Node34requestsent89 + Node34requestsent90 + Node34requestsent91 + Node34requestsent92 + Node34requestsent93 + Node34requestsent94 + Node34requestsent95 + Node34requestsent96 + Node34requestsent97 + Node34requestsent98 + Node34requestsent99 = 1
inv : -Node55Request + Node55WaitAnswer - Node55OKshare - Node55NOshare - Node55requestsent0 - Node55requestsent1 - Node55requestsent2 - Node55requestsent3 - Node55requestsent4 - Node55requestsent5 - Node55requestsent6 - Node55requestsent7 - Node55requestsent8 - Node55requestsent9 - Node55requestsent10 - Node55requestsent11 - Node55requestsent12 - Node55requestsent13 - Node55requestsent14 - Node55requestsent15 - Node55requestsent16 - Node55requestsent17 - Node55requestsent18 - Node55requestsent19 - Node55requestsent20 - Node55requestsent21 - Node55requestsent22 - Node55requestsent23 - Node55requestsent24 - Node55requestsent25 - Node55requestsent26 - Node55requestsent27 - Node55requestsent28 - Node55requestsent29 - Node55requestsent30 - Node55requestsent31 - Node55requestsent32 - Node55requestsent33 - Node55requestsent34 - Node55requestsent35 - Node55requestsent36 - Node55requestsent37 - Node55requestsent38 - Node55requestsent39 - Node55requestsent40 - Node55requestsent41 - Node55requestsent42 - Node55requestsent43 - Node55requestsent44 - Node55requestsent45 - Node55requestsent46 - Node55requestsent47 - Node55requestsent48 - Node55requestsent49 - Node55requestsent50 - Node55requestsent51 - Node55requestsent52 - Node55requestsent53 - Node55requestsent54 - Node55requestsent56 - Node55requestsent57 - Node55requestsent58 - Node55requestsent59 - Node55requestsent60 - Node55requestsent61 - Node55requestsent62 - Node55requestsent63 - Node55requestsent64 - Node55requestsent65 - Node55requestsent66 - Node55requestsent67 - Node55requestsent68 - Node55requestsent69 - Node55requestsent70 - Node55requestsent71 - Node55requestsent72 - Node55requestsent73 - Node55requestsent74 - Node55requestsent75 - Node55requestsent76 - Node55requestsent77 - Node55requestsent78 - Node55requestsent79 - Node55requestsent80 - Node55requestsent81 - Node55requestsent82 - Node55requestsent83 - Node55requestsent84 - Node55requestsent85 - Node55requestsent86 - Node55requestsent87 - Node55requestsent88 - Node55requestsent89 - Node55requestsent90 - Node55requestsent91 - Node55requestsent92 - Node55requestsent93 - Node55requestsent94 - Node55requestsent95 - Node55requestsent96 - Node55requestsent97 - Node55requestsent98 - Node55requestsent99 = 0
inv : Node41ReadyToInsert + Node41IsInserted + Node41Request + Node41OKshare + Node41NOshare + Node41requestsent0 + Node41requestsent1 + Node41requestsent2 + Node41requestsent3 + Node41requestsent4 + Node41requestsent5 + Node41requestsent6 + Node41requestsent7 + Node41requestsent8 + Node41requestsent9 + Node41requestsent10 + Node41requestsent11 + Node41requestsent12 + Node41requestsent13 + Node41requestsent14 + Node41requestsent15 + Node41requestsent16 + Node41requestsent17 + Node41requestsent18 + Node41requestsent19 + Node41requestsent20 + Node41requestsent21 + Node41requestsent22 + Node41requestsent23 + Node41requestsent24 + Node41requestsent25 + Node41requestsent26 + Node41requestsent27 + Node41requestsent28 + Node41requestsent29 + Node41requestsent30 + Node41requestsent31 + Node41requestsent32 + Node41requestsent33 + Node41requestsent34 + Node41requestsent35 + Node41requestsent36 + Node41requestsent37 + Node41requestsent38 + Node41requestsent39 + Node41requestsent40 + Node41requestsent42 + Node41requestsent43 + Node41requestsent44 + Node41requestsent45 + Node41requestsent46 + Node41requestsent47 + Node41requestsent48 + Node41requestsent49 + Node41requestsent50 + Node41requestsent51 + Node41requestsent52 + Node41requestsent53 + Node41requestsent54 + Node41requestsent55 + Node41requestsent56 + Node41requestsent57 + Node41requestsent58 + Node41requestsent59 + Node41requestsent60 + Node41requestsent61 + Node41requestsent62 + Node41requestsent63 + Node41requestsent64 + Node41requestsent65 + Node41requestsent66 + Node41requestsent67 + Node41requestsent68 + Node41requestsent69 + Node41requestsent70 + Node41requestsent71 + Node41requestsent72 + Node41requestsent73 + Node41requestsent74 + Node41requestsent75 + Node41requestsent76 + Node41requestsent77 + Node41requestsent78 + Node41requestsent79 + Node41requestsent80 + Node41requestsent81 + Node41requestsent82 + Node41requestsent83 + Node41requestsent84 + Node41requestsent85 + Node41requestsent86 + Node41requestsent87 + Node41requestsent88 + Node41requestsent89 + Node41requestsent90 + Node41requestsent91 + Node41requestsent92 + Node41requestsent93 + Node41requestsent94 + Node41requestsent95 + Node41requestsent96 + Node41requestsent97 + Node41requestsent98 + Node41requestsent99 = 1
inv : -Node21Request + Node21WaitAnswer - Node21OKshare - Node21NOshare - 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 - Node21requestsent40 - Node21requestsent41 - Node21requestsent42 - Node21requestsent43 - Node21requestsent44 - Node21requestsent45 - Node21requestsent46 - Node21requestsent47 - Node21requestsent48 - Node21requestsent49 - Node21requestsent50 - Node21requestsent51 - Node21requestsent52 - Node21requestsent53 - Node21requestsent54 - Node21requestsent55 - Node21requestsent56 - Node21requestsent57 - Node21requestsent58 - Node21requestsent59 - Node21requestsent60 - Node21requestsent61 - Node21requestsent62 - Node21requestsent63 - Node21requestsent64 - Node21requestsent65 - Node21requestsent66 - Node21requestsent67 - Node21requestsent68 - Node21requestsent69 - Node21requestsent70 - Node21requestsent71 - Node21requestsent72 - Node21requestsent73 - Node21requestsent74 - Node21requestsent75 - Node21requestsent76 - Node21requestsent77 - Node21requestsent78 - Node21requestsent79 - Node21requestsent80 - Node21requestsent81 - Node21requestsent82 - Node21requestsent83 - Node21requestsent84 - Node21requestsent85 - Node21requestsent86 - Node21requestsent87 - Node21requestsent88 - Node21requestsent89 - Node21requestsent90 - Node21requestsent91 - Node21requestsent92 - Node21requestsent93 - Node21requestsent94 - Node21requestsent95 - Node21requestsent96 - Node21requestsent97 - Node21requestsent98 - Node21requestsent99 = 0
inv : -Node43Request + Node43WaitAnswer - Node43OKshare - Node43NOshare - Node43requestsent0 - Node43requestsent1 - Node43requestsent2 - Node43requestsent3 - Node43requestsent4 - Node43requestsent5 - Node43requestsent6 - Node43requestsent7 - Node43requestsent8 - Node43requestsent9 - Node43requestsent10 - Node43requestsent11 - Node43requestsent12 - Node43requestsent13 - Node43requestsent14 - Node43requestsent15 - Node43requestsent16 - Node43requestsent17 - Node43requestsent18 - Node43requestsent19 - Node43requestsent20 - Node43requestsent21 - Node43requestsent22 - Node43requestsent23 - Node43requestsent24 - Node43requestsent25 - Node43requestsent26 - Node43requestsent27 - Node43requestsent28 - Node43requestsent29 - Node43requestsent30 - Node43requestsent31 - Node43requestsent32 - Node43requestsent33 - Node43requestsent34 - Node43requestsent35 - Node43requestsent36 - Node43requestsent37 - Node43requestsent38 - Node43requestsent39 - Node43requestsent40 - Node43requestsent41 - Node43requestsent42 - Node43requestsent44 - Node43requestsent45 - Node43requestsent46 - Node43requestsent47 - Node43requestsent48 - Node43requestsent49 - Node43requestsent50 - Node43requestsent51 - Node43requestsent52 - Node43requestsent53 - Node43requestsent54 - Node43requestsent55 - Node43requestsent56 - Node43requestsent57 - Node43requestsent58 - Node43requestsent59 - Node43requestsent60 - Node43requestsent61 - Node43requestsent62 - Node43requestsent63 - Node43requestsent64 - Node43requestsent65 - Node43requestsent66 - Node43requestsent67 - Node43requestsent68 - Node43requestsent69 - Node43requestsent70 - Node43requestsent71 - Node43requestsent72 - Node43requestsent73 - Node43requestsent74 - Node43requestsent75 - Node43requestsent76 - Node43requestsent77 - Node43requestsent78 - Node43requestsent79 - Node43requestsent80 - Node43requestsent81 - Node43requestsent82 - Node43requestsent83 - Node43requestsent84 - Node43requestsent85 - Node43requestsent86 - Node43requestsent87 - Node43requestsent88 - Node43requestsent89 - Node43requestsent90 - Node43requestsent91 - Node43requestsent92 - Node43requestsent93 - Node43requestsent94 - Node43requestsent95 - Node43requestsent96 - Node43requestsent97 - Node43requestsent98 - Node43requestsent99 = 0
inv : -Node9Request + Node9WaitAnswer - Node9OKshare - Node9NOshare - 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 - Node9requestsent40 - Node9requestsent41 - Node9requestsent42 - Node9requestsent43 - Node9requestsent44 - Node9requestsent45 - Node9requestsent46 - Node9requestsent47 - Node9requestsent48 - Node9requestsent49 - Node9requestsent50 - Node9requestsent51 - Node9requestsent52 - Node9requestsent53 - Node9requestsent54 - Node9requestsent55 - Node9requestsent56 - Node9requestsent57 - Node9requestsent58 - Node9requestsent59 - Node9requestsent60 - Node9requestsent61 - Node9requestsent62 - Node9requestsent63 - Node9requestsent64 - Node9requestsent65 - Node9requestsent66 - Node9requestsent67 - Node9requestsent68 - Node9requestsent69 - Node9requestsent70 - Node9requestsent71 - Node9requestsent72 - Node9requestsent73 - Node9requestsent74 - Node9requestsent75 - Node9requestsent76 - Node9requestsent77 - Node9requestsent78 - Node9requestsent79 - Node9requestsent80 - Node9requestsent81 - Node9requestsent82 - Node9requestsent83 - Node9requestsent84 - Node9requestsent85 - Node9requestsent86 - Node9requestsent87 - Node9requestsent88 - Node9requestsent89 - Node9requestsent90 - Node9requestsent91 - Node9requestsent92 - Node9requestsent93 - Node9requestsent94 - Node9requestsent95 - Node9requestsent96 - Node9requestsent97 - Node9requestsent98 - Node9requestsent99 - Node74GiveAnswer9 = 0
inv : Node14ReadyToInsert + Node14IsInserted + Node14Request + Node14OKshare + Node14NOshare + 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 + Node14requestsent40 + Node14requestsent41 + Node14requestsent42 + Node14requestsent43 + Node14requestsent44 + Node14requestsent45 + Node14requestsent46 + Node14requestsent47 + Node14requestsent48 + Node14requestsent49 + Node14requestsent50 + Node14requestsent51 + Node14requestsent52 + Node14requestsent53 + Node14requestsent54 + Node14requestsent55 + Node14requestsent56 + Node14requestsent57 + Node14requestsent58 + Node14requestsent59 + Node14requestsent60 + Node14requestsent61 + Node14requestsent62 + Node14requestsent63 + Node14requestsent64 + Node14requestsent65 + Node14requestsent66 + Node14requestsent67 + Node14requestsent68 + Node14requestsent69 + Node14requestsent70 + Node14requestsent71 + Node14requestsent72 + Node14requestsent73 + Node14requestsent74 + Node14requestsent75 + Node14requestsent76 + Node14requestsent77 + Node14requestsent78 + Node14requestsent79 + Node14requestsent80 + Node14requestsent81 + Node14requestsent82 + Node14requestsent83 + Node14requestsent84 + Node14requestsent85 + Node14requestsent86 + Node14requestsent87 + Node14requestsent88 + Node14requestsent89 + Node14requestsent90 + Node14requestsent91 + Node14requestsent92 + Node14requestsent93 + Node14requestsent94 + Node14requestsent95 + Node14requestsent96 + Node14requestsent97 + Node14requestsent98 + Node14requestsent99 = 1
inv : -Node97Request + Node97WaitAnswer - Node97OKshare - Node97NOshare - Node97requestsent0 - Node97requestsent1 - Node97requestsent2 - Node97requestsent3 - Node97requestsent4 - Node97requestsent5 - Node97requestsent6 - Node97requestsent7 - Node97requestsent8 - Node97requestsent9 - Node97requestsent10 - Node97requestsent11 - Node97requestsent12 - Node97requestsent13 - Node97requestsent14 - Node97requestsent15 - Node97requestsent16 - Node97requestsent17 - Node97requestsent18 - Node97requestsent19 - Node97requestsent20 - Node97requestsent21 - Node97requestsent22 - Node97requestsent23 - Node97requestsent24 - Node97requestsent25 - Node97requestsent26 - Node97requestsent27 - Node97requestsent28 - Node97requestsent29 - Node97requestsent30 - Node97requestsent31 - Node97requestsent32 - Node97requestsent33 - Node97requestsent34 - Node97requestsent35 - Node97requestsent36 - Node97requestsent37 - Node97requestsent38 - Node97requestsent39 - Node97requestsent40 - Node97requestsent41 - Node97requestsent42 - Node97requestsent43 - Node97requestsent44 - Node97requestsent45 - Node97requestsent46 - Node97requestsent47 - Node97requestsent48 - Node97requestsent49 - Node97requestsent50 - Node97requestsent51 - Node97requestsent52 - Node97requestsent53 - Node97requestsent54 - Node97requestsent55 - Node97requestsent56 - Node97requestsent57 - Node97requestsent58 - Node97requestsent59 - Node97requestsent60 - Node97requestsent61 - Node97requestsent62 - Node97requestsent63 - Node97requestsent64 - Node97requestsent65 - Node97requestsent66 - Node97requestsent67 - Node97requestsent68 - Node97requestsent69 - Node97requestsent70 - Node97requestsent71 - Node97requestsent72 - Node97requestsent73 - Node97requestsent74 - Node97requestsent75 - Node97requestsent76 - Node97requestsent77 - Node97requestsent78 - Node97requestsent79 - Node97requestsent80 - Node97requestsent81 - Node97requestsent82 - Node97requestsent83 - Node97requestsent84 - Node97requestsent85 - Node97requestsent86 - Node97requestsent87 - Node97requestsent88 - Node97requestsent89 - Node97requestsent90 - Node97requestsent91 - Node97requestsent92 - Node97requestsent93 - Node97requestsent94 - Node97requestsent95 - Node97requestsent96 - Node97requestsent98 - Node97requestsent99 = 0
inv : -Node56Request + Node56WaitAnswer - Node56OKshare - Node56NOshare - Node56requestsent0 - Node56requestsent1 - Node56requestsent2 - Node56requestsent3 - Node56requestsent4 - Node56requestsent5 - Node56requestsent6 - Node56requestsent7 - Node56requestsent8 - Node56requestsent9 - Node56requestsent10 - Node56requestsent11 - Node56requestsent12 - Node56requestsent13 - Node56requestsent14 - Node56requestsent15 - Node56requestsent16 - Node56requestsent17 - Node56requestsent18 - Node56requestsent19 - Node56requestsent20 - Node56requestsent21 - Node56requestsent22 - Node56requestsent23 - Node56requestsent24 - Node56requestsent25 - Node56requestsent26 - Node56requestsent27 - Node56requestsent28 - Node56requestsent29 - Node56requestsent30 - Node56requestsent31 - Node56requestsent32 - Node56requestsent33 - Node56requestsent34 - Node56requestsent35 - Node56requestsent36 - Node56requestsent37 - Node56requestsent38 - Node56requestsent39 - Node56requestsent40 - Node56requestsent41 - Node56requestsent42 - Node56requestsent43 - Node56requestsent44 - Node56requestsent45 - Node56requestsent46 - Node56requestsent47 - Node56requestsent48 - Node56requestsent49 - Node56requestsent50 - Node56requestsent51 - Node56requestsent52 - Node56requestsent53 - Node56requestsent54 - Node56requestsent55 - Node56requestsent57 - Node56requestsent58 - Node56requestsent59 - Node56requestsent60 - Node56requestsent61 - Node56requestsent62 - Node56requestsent63 - Node56requestsent64 - Node56requestsent65 - Node56requestsent66 - Node56requestsent67 - Node56requestsent68 - Node56requestsent69 - Node56requestsent70 - Node56requestsent71 - Node56requestsent72 - Node56requestsent73 - Node56requestsent74 - Node56requestsent75 - Node56requestsent76 - Node56requestsent77 - Node56requestsent78 - Node56requestsent79 - Node56requestsent80 - Node56requestsent81 - Node56requestsent82 - Node56requestsent83 - Node56requestsent84 - Node56requestsent85 - Node56requestsent86 - Node56requestsent87 - Node56requestsent88 - Node56requestsent89 - Node56requestsent90 - Node56requestsent91 - Node56requestsent92 - Node56requestsent93 - Node56requestsent94 - Node56requestsent95 - Node56requestsent96 - Node56requestsent97 - Node56requestsent98 - Node56requestsent99 = 0
inv : Node22ReadyToInsert + Node22IsInserted + Node22Request + Node22OKshare + Node22NOshare + Node22requestsent0 + 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 + Node22requestsent34 + Node22requestsent35 + Node22requestsent36 + Node22requestsent37 + Node22requestsent38 + Node22requestsent39 + Node22requestsent40 + Node22requestsent41 + Node22requestsent42 + Node22requestsent43 + Node22requestsent44 + Node22requestsent45 + Node22requestsent46 + Node22requestsent47 + Node22requestsent48 + Node22requestsent49 + Node22requestsent50 + Node22requestsent51 + Node22requestsent52 + Node22requestsent53 + Node22requestsent54 + Node22requestsent55 + Node22requestsent56 + Node22requestsent57 + Node22requestsent58 + Node22requestsent59 + Node22requestsent60 + Node22requestsent61 + Node22requestsent62 + Node22requestsent63 + Node22requestsent64 + Node22requestsent65 + Node22requestsent66 + Node22requestsent67 + Node22requestsent68 + Node22requestsent69 + Node22requestsent70 + Node22requestsent71 + Node22requestsent72 + Node22requestsent73 + Node22requestsent74 + Node22requestsent75 + Node22requestsent76 + Node22requestsent77 + Node22requestsent78 + Node22requestsent79 + Node22requestsent80 + Node22requestsent81 + Node22requestsent82 + Node22requestsent83 + Node22requestsent84 + Node22requestsent85 + Node22requestsent86 + Node22requestsent87 + Node22requestsent88 + Node22requestsent89 + Node22requestsent90 + Node22requestsent91 + Node22requestsent92 + Node22requestsent93 + Node22requestsent94 + Node22requestsent95 + Node22requestsent96 + Node22requestsent97 + Node22requestsent98 + Node22requestsent99 = 1
inv : -Node98Request + Node98WaitAnswer - Node98OKshare - Node98NOshare - Node98requestsent0 - Node98requestsent1 - Node98requestsent2 - Node98requestsent3 - Node98requestsent4 - Node98requestsent5 - Node98requestsent6 - Node98requestsent7 - Node98requestsent8 - Node98requestsent9 - Node98requestsent10 - Node98requestsent11 - Node98requestsent12 - Node98requestsent13 - Node98requestsent14 - Node98requestsent15 - Node98requestsent16 - Node98requestsent17 - Node98requestsent18 - Node98requestsent19 - Node98requestsent20 - Node98requestsent21 - Node98requestsent22 - Node98requestsent23 - Node98requestsent24 - Node98requestsent25 - Node98requestsent26 - Node98requestsent27 - Node98requestsent28 - Node98requestsent29 - Node98requestsent30 - Node98requestsent31 - Node98requestsent32 - Node98requestsent33 - Node98requestsent34 - Node98requestsent35 - Node98requestsent36 - Node98requestsent37 - Node98requestsent38 - Node98requestsent39 - Node98requestsent40 - Node98requestsent41 - Node98requestsent42 - Node98requestsent43 - Node98requestsent44 - Node98requestsent45 - Node98requestsent46 - Node98requestsent47 - Node98requestsent48 - Node98requestsent49 - Node98requestsent50 - Node98requestsent51 - Node98requestsent52 - Node98requestsent53 - Node98requestsent54 - Node98requestsent55 - Node98requestsent56 - Node98requestsent57 - Node98requestsent58 - Node98requestsent59 - Node98requestsent60 - Node98requestsent61 - Node98requestsent62 - Node98requestsent63 - Node98requestsent64 - Node98requestsent65 - Node98requestsent66 - Node98requestsent67 - Node98requestsent68 - Node98requestsent69 - Node98requestsent70 - Node98requestsent71 - Node98requestsent72 - Node98requestsent73 - Node98requestsent74 - Node98requestsent75 - Node98requestsent76 - Node98requestsent77 - Node98requestsent78 - Node98requestsent79 - Node98requestsent80 - Node98requestsent81 - Node98requestsent82 - Node98requestsent83 - Node98requestsent84 - Node98requestsent85 - Node98requestsent86 - Node98requestsent87 - Node98requestsent88 - Node98requestsent89 - Node98requestsent90 - Node98requestsent91 - Node98requestsent92 - Node98requestsent93 - Node98requestsent94 - Node98requestsent95 - Node98requestsent96 - Node98requestsent97 - Node98requestsent99 = 0
inv : Node6ReadyToInsert + Node6IsInserted + Node6Request + Node6OKshare + Node6NOshare + Node6requestsent0 + Node6requestsent1 + Node6requestsent2 + Node6requestsent3 + Node6requestsent4 + Node6requestsent5 + Node6requestsent7 + Node6requestsent8 + Node6requestsent9 + Node6requestsent10 + Node6requestsent11 + Node6requestsent12 + Node6requestsent13 + Node6requestsent14 + Node6requestsent15 + Node6requestsent16 + Node6requestsent17 + Node6requestsent18 + Node6requestsent19 + Node6requestsent20 + Node6requestsent21 + Node6requestsent22 + Node6requestsent23 + Node6requestsent24 + Node6requestsent25 + Node6requestsent26 + Node6requestsent27 + Node6requestsent28 + Node6requestsent29 + Node6requestsent30 + Node6requestsent31 + Node6requestsent32 + Node6requestsent33 + Node6requestsent34 + Node6requestsent35 + Node6requestsent36 + Node6requestsent37 + Node6requestsent38 + Node6requestsent39 + Node6requestsent40 + Node6requestsent41 + Node6requestsent42 + Node6requestsent43 + Node6requestsent44 + Node6requestsent45 + Node6requestsent46 + Node6requestsent47 + Node6requestsent48 + Node6requestsent49 + Node6requestsent50 + Node6requestsent51 + Node6requestsent52 + Node6requestsent53 + Node6requestsent54 + Node6requestsent55 + Node6requestsent56 + Node6requestsent57 + Node6requestsent58 + Node6requestsent59 + Node6requestsent60 + Node6requestsent61 + Node6requestsent62 + Node6requestsent63 + Node6requestsent64 + Node6requestsent65 + Node6requestsent66 + Node6requestsent67 + Node6requestsent68 + Node6requestsent69 + Node6requestsent70 + Node6requestsent71 + Node6requestsent72 + Node6requestsent73 + Node6requestsent74 + Node6requestsent75 + Node6requestsent76 + Node6requestsent77 + Node6requestsent78 + Node6requestsent79 + Node6requestsent80 + Node6requestsent81 + Node6requestsent82 + Node6requestsent83 + Node6requestsent84 + Node6requestsent85 + Node6requestsent86 + Node6requestsent87 + Node6requestsent88 + Node6requestsent89 + Node6requestsent90 + Node6requestsent91 + Node6requestsent92 + Node6requestsent93 + Node6requestsent94 + Node6requestsent95 + Node6requestsent96 + Node6requestsent97 + Node6requestsent98 + Node6requestsent99 = 1
inv : -Node42Request + Node42WaitAnswer - Node42OKshare - Node42NOshare - Node42requestsent0 - Node42requestsent1 - Node42requestsent2 - Node42requestsent3 - Node42requestsent4 - Node42requestsent5 - Node42requestsent6 - Node42requestsent7 - Node42requestsent8 - Node42requestsent9 - Node42requestsent10 - Node42requestsent11 - Node42requestsent12 - Node42requestsent13 - Node42requestsent14 - Node42requestsent15 - Node42requestsent16 - Node42requestsent17 - Node42requestsent18 - Node42requestsent19 - Node42requestsent20 - Node42requestsent21 - Node42requestsent22 - Node42requestsent23 - Node42requestsent24 - Node42requestsent25 - Node42requestsent26 - Node42requestsent27 - Node42requestsent28 - Node42requestsent29 - Node42requestsent30 - Node42requestsent31 - Node42requestsent32 - Node42requestsent33 - Node42requestsent34 - Node42requestsent35 - Node42requestsent36 - Node42requestsent37 - Node42requestsent38 - Node42requestsent39 - Node42requestsent40 - Node42requestsent41 - Node42requestsent43 - Node42requestsent44 - Node42requestsent45 - Node42requestsent46 - Node42requestsent47 - Node42requestsent48 - Node42requestsent49 - Node42requestsent50 - Node42requestsent51 - Node42requestsent52 - Node42requestsent53 - Node42requestsent54 - Node42requestsent55 - Node42requestsent56 - Node42requestsent57 - Node42requestsent58 - Node42requestsent59 - Node42requestsent60 - Node42requestsent61 - Node42requestsent62 - Node42requestsent63 - Node42requestsent64 - Node42requestsent65 - Node42requestsent66 - Node42requestsent67 - Node42requestsent68 - Node42requestsent69 - Node42requestsent70 - Node42requestsent71 - Node42requestsent72 - Node42requestsent73 - Node42requestsent74 - Node42requestsent75 - Node42requestsent76 - Node42requestsent77 - Node42requestsent78 - Node42requestsent79 - Node42requestsent80 - Node42requestsent81 - Node42requestsent82 - Node42requestsent83 - Node42requestsent84 - Node42requestsent85 - Node42requestsent86 - Node42requestsent87 - Node42requestsent88 - Node42requestsent89 - Node42requestsent90 - Node42requestsent91 - Node42requestsent92 - Node42requestsent93 - Node42requestsent94 - Node42requestsent95 - Node42requestsent96 - Node42requestsent97 - Node42requestsent98 - Node42requestsent99 = 0
inv : Node85ReadyToInsert + Node85IsInserted + Node85Request + Node85OKshare + Node85NOshare + Node85requestsent0 + Node85requestsent1 + Node85requestsent2 + Node85requestsent3 + Node85requestsent4 + Node85requestsent5 + Node85requestsent6 + Node85requestsent7 + Node85requestsent8 + Node85requestsent9 + Node85requestsent10 + Node85requestsent11 + Node85requestsent12 + Node85requestsent13 + Node85requestsent14 + Node85requestsent15 + Node85requestsent16 + Node85requestsent17 + Node85requestsent18 + Node85requestsent19 + Node85requestsent20 + Node85requestsent21 + Node85requestsent22 + Node85requestsent23 + Node85requestsent24 + Node85requestsent25 + Node85requestsent26 + Node85requestsent27 + Node85requestsent28 + Node85requestsent29 + Node85requestsent30 + Node85requestsent31 + Node85requestsent32 + Node85requestsent33 + Node85requestsent34 + Node85requestsent35 + Node85requestsent36 + Node85requestsent37 + Node85requestsent38 + Node85requestsent39 + Node85requestsent40 + Node85requestsent41 + Node85requestsent42 + Node85requestsent43 + Node85requestsent44 + Node85requestsent45 + Node85requestsent46 + Node85requestsent47 + Node85requestsent48 + Node85requestsent49 + Node85requestsent50 + Node85requestsent51 + Node85requestsent52 + Node85requestsent53 + Node85requestsent54 + Node85requestsent55 + Node85requestsent56 + Node85requestsent57 + Node85requestsent58 + Node85requestsent59 + Node85requestsent60 + Node85requestsent61 + Node85requestsent62 + Node85requestsent63 + Node85requestsent64 + Node85requestsent65 + Node85requestsent66 + Node85requestsent67 + Node85requestsent68 + Node85requestsent69 + Node85requestsent70 + Node85requestsent71 + Node85requestsent72 + Node85requestsent73 + Node85requestsent74 + Node85requestsent75 + Node85requestsent76 + Node85requestsent77 + Node85requestsent78 + Node85requestsent79 + Node85requestsent80 + Node85requestsent81 + Node85requestsent82 + Node85requestsent83 + Node85requestsent84 + Node85requestsent86 + Node85requestsent87 + Node85requestsent88 + Node85requestsent89 + Node85requestsent90 + Node85requestsent91 + Node85requestsent92 + Node85requestsent93 + Node85requestsent94 + Node85requestsent95 + Node85requestsent96 + Node85requestsent97 + Node85requestsent98 + Node85requestsent99 = 1
inv : Node53ReadyToInsert + Node53IsInserted + Node53Request + Node53OKshare + Node53NOshare + Node53requestsent0 + Node53requestsent1 + Node53requestsent2 + Node53requestsent3 + Node53requestsent4 + Node53requestsent5 + Node53requestsent6 + Node53requestsent7 + Node53requestsent8 + Node53requestsent9 + Node53requestsent10 + Node53requestsent11 + Node53requestsent12 + Node53requestsent13 + Node53requestsent14 + Node53requestsent15 + Node53requestsent16 + Node53requestsent17 + Node53requestsent18 + Node53requestsent19 + Node53requestsent20 + Node53requestsent21 + Node53requestsent22 + Node53requestsent23 + Node53requestsent24 + Node53requestsent25 + Node53requestsent26 + Node53requestsent27 + Node53requestsent28 + Node53requestsent29 + Node53requestsent30 + Node53requestsent31 + Node53requestsent32 + Node53requestsent33 + Node53requestsent34 + Node53requestsent35 + Node53requestsent36 + Node53requestsent37 + Node53requestsent38 + Node53requestsent39 + Node53requestsent40 + Node53requestsent41 + Node53requestsent42 + Node53requestsent43 + Node53requestsent44 + Node53requestsent45 + Node53requestsent46 + Node53requestsent47 + Node53requestsent48 + Node53requestsent49 + Node53requestsent50 + Node53requestsent51 + Node53requestsent52 + Node53requestsent54 + Node53requestsent55 + Node53requestsent56 + Node53requestsent57 + Node53requestsent58 + Node53requestsent59 + Node53requestsent60 + Node53requestsent61 + Node53requestsent62 + Node53requestsent63 + Node53requestsent64 + Node53requestsent65 + Node53requestsent66 + Node53requestsent67 + Node53requestsent68 + Node53requestsent69 + Node53requestsent70 + Node53requestsent71 + Node53requestsent72 + Node53requestsent73 + Node53requestsent74 + Node53requestsent75 + Node53requestsent76 + Node53requestsent77 + Node53requestsent78 + Node53requestsent79 + Node53requestsent80 + Node53requestsent81 + Node53requestsent82 + Node53requestsent83 + Node53requestsent84 + Node53requestsent85 + Node53requestsent86 + Node53requestsent87 + Node53requestsent88 + Node53requestsent89 + Node53requestsent90 + Node53requestsent91 + Node53requestsent92 + Node53requestsent93 + Node53requestsent94 + Node53requestsent95 + Node53requestsent96 + Node53requestsent97 + Node53requestsent98 + Node53requestsent99 = 1
inv : -Node69Request + Node69WaitAnswer - Node69OKshare - Node69NOshare - Node69requestsent0 - Node69requestsent1 - Node69requestsent2 - Node69requestsent3 - Node69requestsent4 - Node69requestsent5 - Node69requestsent6 - Node69requestsent7 - Node69requestsent8 - Node69requestsent9 - Node69requestsent10 - Node69requestsent11 - Node69requestsent12 - Node69requestsent13 - Node69requestsent14 - Node69requestsent15 - Node69requestsent16 - Node69requestsent17 - Node69requestsent18 - Node69requestsent19 - Node69requestsent20 - Node69requestsent21 - Node69requestsent22 - Node69requestsent23 - Node69requestsent24 - Node69requestsent25 - Node69requestsent26 - Node69requestsent27 - Node69requestsent28 - Node69requestsent29 - Node69requestsent30 - Node69requestsent31 - Node69requestsent32 - Node69requestsent33 - Node69requestsent34 - Node69requestsent35 - Node69requestsent36 - Node69requestsent37 - Node69requestsent38 - Node69requestsent39 - Node69requestsent40 - Node69requestsent41 - Node69requestsent42 - Node69requestsent43 - Node69requestsent44 - Node69requestsent45 - Node69requestsent46 - Node69requestsent47 - Node69requestsent48 - Node69requestsent49 - Node69requestsent50 - Node69requestsent51 - Node69requestsent52 - Node69requestsent53 - Node69requestsent54 - Node69requestsent55 - Node69requestsent56 - Node69requestsent57 - Node69requestsent58 - Node69requestsent59 - Node69requestsent60 - Node69requestsent61 - Node69requestsent62 - Node69requestsent63 - Node69requestsent64 - Node69requestsent65 - Node69requestsent66 - Node69requestsent67 - Node69requestsent68 - Node69requestsent70 - Node69requestsent71 - Node69requestsent72 - Node69requestsent73 - Node69requestsent74 - Node69requestsent75 - Node69requestsent76 - Node69requestsent77 - Node69requestsent78 - Node69requestsent79 - Node69requestsent80 - Node69requestsent81 - Node69requestsent82 - Node69requestsent83 - Node69requestsent84 - Node69requestsent85 - Node69requestsent86 - Node69requestsent87 - Node69requestsent88 - Node69requestsent89 - Node69requestsent90 - Node69requestsent91 - Node69requestsent92 - Node69requestsent93 - Node69requestsent94 - Node69requestsent95 - Node69requestsent96 - Node69requestsent97 - Node69requestsent98 - Node69requestsent99 = 0
inv : Node61ReadyToInsert + Node61IsInserted + Node61Request + Node61OKshare + Node61NOshare + Node61requestsent0 + Node61requestsent1 + Node61requestsent2 + Node61requestsent3 + Node61requestsent4 + Node61requestsent5 + Node61requestsent6 + Node61requestsent7 + Node61requestsent8 + Node61requestsent9 + Node61requestsent10 + Node61requestsent11 + Node61requestsent12 + Node61requestsent13 + Node61requestsent14 + Node61requestsent15 + Node61requestsent16 + Node61requestsent17 + Node61requestsent18 + Node61requestsent19 + Node61requestsent20 + Node61requestsent21 + Node61requestsent22 + Node61requestsent23 + Node61requestsent24 + Node61requestsent25 + Node61requestsent26 + Node61requestsent27 + Node61requestsent28 + Node61requestsent29 + Node61requestsent30 + Node61requestsent31 + Node61requestsent32 + Node61requestsent33 + Node61requestsent34 + Node61requestsent35 + Node61requestsent36 + Node61requestsent37 + Node61requestsent38 + Node61requestsent39 + Node61requestsent40 + Node61requestsent41 + Node61requestsent42 + Node61requestsent43 + Node61requestsent44 + Node61requestsent45 + Node61requestsent46 + Node61requestsent47 + Node61requestsent48 + Node61requestsent49 + Node61requestsent50 + Node61requestsent51 + Node61requestsent52 + Node61requestsent53 + Node61requestsent54 + Node61requestsent55 + Node61requestsent56 + Node61requestsent57 + Node61requestsent58 + Node61requestsent59 + Node61requestsent60 + Node61requestsent62 + Node61requestsent63 + Node61requestsent64 + Node61requestsent65 + Node61requestsent66 + Node61requestsent67 + Node61requestsent68 + Node61requestsent69 + Node61requestsent70 + Node61requestsent71 + Node61requestsent72 + Node61requestsent73 + Node61requestsent74 + Node61requestsent75 + Node61requestsent76 + Node61requestsent77 + Node61requestsent78 + Node61requestsent79 + Node61requestsent80 + Node61requestsent81 + Node61requestsent82 + Node61requestsent83 + Node61requestsent84 + Node61requestsent85 + Node61requestsent86 + Node61requestsent87 + Node61requestsent88 + Node61requestsent89 + Node61requestsent90 + Node61requestsent91 + Node61requestsent92 + Node61requestsent93 + Node61requestsent94 + Node61requestsent95 + Node61requestsent96 + Node61requestsent97 + Node61requestsent98 + Node61requestsent99 = 1
inv : -Node15Request + Node15WaitAnswer - Node15OKshare - Node15NOshare - 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 - Node15requestsent40 - Node15requestsent41 - Node15requestsent42 - Node15requestsent43 - Node15requestsent44 - Node15requestsent45 - Node15requestsent46 - Node15requestsent47 - Node15requestsent48 - Node15requestsent49 - Node15requestsent50 - Node15requestsent51 - Node15requestsent52 - Node15requestsent53 - Node15requestsent54 - Node15requestsent55 - Node15requestsent56 - Node15requestsent57 - Node15requestsent58 - Node15requestsent59 - Node15requestsent60 - Node15requestsent61 - Node15requestsent62 - Node15requestsent63 - Node15requestsent64 - Node15requestsent65 - Node15requestsent66 - Node15requestsent67 - Node15requestsent68 - Node15requestsent69 - Node15requestsent70 - Node15requestsent71 - Node15requestsent72 - Node15requestsent73 - Node15requestsent74 - Node15requestsent75 - Node15requestsent76 - Node15requestsent77 - Node15requestsent78 - Node15requestsent79 - Node15requestsent80 - Node15requestsent81 - Node15requestsent82 - Node15requestsent83 - Node15requestsent84 - Node15requestsent85 - Node15requestsent86 - Node15requestsent87 - Node15requestsent88 - Node15requestsent89 - Node15requestsent90 - Node15requestsent91 - Node15requestsent92 - Node15requestsent93 - Node15requestsent94 - Node15requestsent95 - Node15requestsent96 - Node15requestsent97 - Node15requestsent98 - Node15requestsent99 = 0
inv : Node93ReadyToInsert + Node93IsInserted + Node93Request + Node93OKshare + Node93NOshare + Node93requestsent0 + Node93requestsent1 + Node93requestsent2 + Node93requestsent3 + Node93requestsent4 + Node93requestsent5 + Node93requestsent6 + Node93requestsent7 + Node93requestsent8 + Node93requestsent9 + Node93requestsent10 + Node93requestsent11 + Node93requestsent12 + Node93requestsent13 + Node93requestsent14 + Node93requestsent15 + Node93requestsent16 + Node93requestsent17 + Node93requestsent18 + Node93requestsent19 + Node93requestsent20 + Node93requestsent21 + Node93requestsent22 + Node93requestsent23 + Node93requestsent24 + Node93requestsent25 + Node93requestsent26 + Node93requestsent27 + Node93requestsent28 + Node93requestsent29 + Node93requestsent30 + Node93requestsent31 + Node93requestsent32 + Node93requestsent33 + Node93requestsent34 + Node93requestsent35 + Node93requestsent36 + Node93requestsent37 + Node93requestsent38 + Node93requestsent39 + Node93requestsent40 + Node93requestsent41 + Node93requestsent42 + Node93requestsent43 + Node93requestsent44 + Node93requestsent45 + Node93requestsent46 + Node93requestsent47 + Node93requestsent48 + Node93requestsent49 + Node93requestsent50 + Node93requestsent51 + Node93requestsent52 + Node93requestsent53 + Node93requestsent54 + Node93requestsent55 + Node93requestsent56 + Node93requestsent57 + Node93requestsent58 + Node93requestsent59 + Node93requestsent60 + Node93requestsent61 + Node93requestsent62 + Node93requestsent63 + Node93requestsent64 + Node93requestsent65 + Node93requestsent66 + Node93requestsent67 + Node93requestsent68 + Node93requestsent69 + Node93requestsent70 + Node93requestsent71 + Node93requestsent72 + Node93requestsent73 + Node93requestsent74 + Node93requestsent75 + Node93requestsent76 + Node93requestsent77 + Node93requestsent78 + Node93requestsent79 + Node93requestsent80 + Node93requestsent81 + Node93requestsent82 + Node93requestsent83 + Node93requestsent84 + Node93requestsent85 + Node93requestsent86 + Node93requestsent87 + Node93requestsent88 + Node93requestsent89 + Node93requestsent90 + Node93requestsent91 + Node93requestsent92 + Node93requestsent94 + Node93requestsent95 + Node93requestsent96 + Node93requestsent97 + Node93requestsent98 + Node93requestsent99 = 1
inv : -Node84Request + Node84WaitAnswer - Node84OKshare - Node84NOshare - Node84requestsent0 - Node84requestsent1 - Node84requestsent2 - Node84requestsent3 - Node84requestsent4 - Node84requestsent5 - Node84requestsent6 - Node84requestsent7 - Node84requestsent8 - Node84requestsent9 - Node84requestsent10 - Node84requestsent11 - Node84requestsent12 - Node84requestsent13 - Node84requestsent14 - Node84requestsent15 - Node84requestsent16 - Node84requestsent17 - Node84requestsent18 - Node84requestsent19 - Node84requestsent20 - Node84requestsent21 - Node84requestsent22 - Node84requestsent23 - Node84requestsent24 - Node84requestsent25 - Node84requestsent26 - Node84requestsent27 - Node84requestsent28 - Node84requestsent29 - Node84requestsent30 - Node84requestsent31 - Node84requestsent32 - Node84requestsent33 - Node84requestsent34 - Node84requestsent35 - Node84requestsent36 - Node84requestsent37 - Node84requestsent38 - Node84requestsent39 - Node84requestsent40 - Node84requestsent41 - Node84requestsent42 - Node84requestsent43 - Node84requestsent44 - Node84requestsent45 - Node84requestsent46 - Node84requestsent47 - Node84requestsent48 - Node84requestsent49 - Node84requestsent50 - Node84requestsent51 - Node84requestsent52 - Node84requestsent53 - Node84requestsent54 - Node84requestsent55 - Node84requestsent56 - Node84requestsent57 - Node84requestsent58 - Node84requestsent59 - Node84requestsent60 - Node84requestsent61 - Node84requestsent62 - Node84requestsent63 - Node84requestsent64 - Node84requestsent65 - Node84requestsent66 - Node84requestsent67 - Node84requestsent68 - Node84requestsent69 - Node84requestsent70 - Node84requestsent71 - Node84requestsent72 - Node84requestsent73 - Node84requestsent74 - Node84requestsent75 - Node84requestsent76 - Node84requestsent77 - Node84requestsent78 - Node84requestsent79 - Node84requestsent80 - Node84requestsent81 - Node84requestsent82 - Node84requestsent83 - Node84requestsent85 - Node84requestsent86 - Node84requestsent87 - Node84requestsent88 - Node84requestsent89 - Node84requestsent90 - Node84requestsent91 - Node84requestsent92 - Node84requestsent93 - Node84requestsent94 - Node84requestsent95 - Node84requestsent96 - Node84requestsent97 - Node84requestsent98 - Node84requestsent99 = 0
inv : -Node90Request + Node90WaitAnswer - Node90OKshare - Node90NOshare - Node90requestsent0 - Node90requestsent1 - Node90requestsent2 - Node90requestsent3 - Node90requestsent4 - Node90requestsent5 - Node90requestsent6 - Node90requestsent7 - Node90requestsent8 - Node90requestsent9 - Node90requestsent10 - Node90requestsent11 - Node90requestsent12 - Node90requestsent13 - Node90requestsent14 - Node90requestsent15 - Node90requestsent16 - Node90requestsent17 - Node90requestsent18 - Node90requestsent19 - Node90requestsent20 - Node90requestsent21 - Node90requestsent22 - Node90requestsent23 - Node90requestsent24 - Node90requestsent25 - Node90requestsent26 - Node90requestsent27 - Node90requestsent28 - Node90requestsent29 - Node90requestsent30 - Node90requestsent31 - Node90requestsent32 - Node90requestsent33 - Node90requestsent34 - Node90requestsent35 - Node90requestsent36 - Node90requestsent37 - Node90requestsent38 - Node90requestsent39 - Node90requestsent40 - Node90requestsent41 - Node90requestsent42 - Node90requestsent43 - Node90requestsent44 - Node90requestsent45 - Node90requestsent46 - Node90requestsent47 - Node90requestsent48 - Node90requestsent49 - Node90requestsent50 - Node90requestsent51 - Node90requestsent52 - Node90requestsent53 - Node90requestsent54 - Node90requestsent55 - Node90requestsent56 - Node90requestsent57 - Node90requestsent58 - Node90requestsent59 - Node90requestsent60 - Node90requestsent61 - Node90requestsent62 - Node90requestsent63 - Node90requestsent64 - Node90requestsent65 - Node90requestsent66 - Node90requestsent67 - Node90requestsent68 - Node90requestsent69 - Node90requestsent70 - Node90requestsent71 - Node90requestsent72 - Node90requestsent73 - Node90requestsent74 - Node90requestsent75 - Node90requestsent76 - Node90requestsent77 - Node90requestsent78 - Node90requestsent79 - Node90requestsent80 - Node90requestsent81 - Node90requestsent82 - Node90requestsent83 - Node90requestsent84 - Node90requestsent85 - Node90requestsent86 - Node90requestsent87 - Node90requestsent88 - Node90requestsent89 - Node90requestsent91 - Node90requestsent92 - Node90requestsent93 - Node90requestsent94 - Node90requestsent95 - Node90requestsent96 - Node90requestsent97 - Node90requestsent98 - Node90requestsent99 = 0
inv : -Node28Request + Node28WaitAnswer - Node28OKshare - Node28NOshare - Node28requestsent0 - Node28requestsent1 - Node28requestsent2 - Node28requestsent3 - Node28requestsent4 - Node28requestsent5 - Node28requestsent6 - Node28requestsent7 - Node28requestsent8 - 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 - Node28requestsent40 - Node28requestsent41 - Node28requestsent42 - Node28requestsent43 - Node28requestsent44 - Node28requestsent45 - Node28requestsent46 - Node28requestsent47 - Node28requestsent48 - Node28requestsent49 - Node28requestsent50 - Node28requestsent51 - Node28requestsent52 - Node28requestsent53 - Node28requestsent54 - Node28requestsent55 - Node28requestsent56 - Node28requestsent57 - Node28requestsent58 - Node28requestsent59 - Node28requestsent60 - Node28requestsent61 - Node28requestsent62 - Node28requestsent63 - Node28requestsent64 - Node28requestsent65 - Node28requestsent66 - Node28requestsent67 - Node28requestsent68 - Node28requestsent69 - Node28requestsent70 - Node28requestsent71 - Node28requestsent72 - Node28requestsent73 - Node28requestsent74 - Node28requestsent75 - Node28requestsent76 - Node28requestsent77 - Node28requestsent78 - Node28requestsent79 - Node28requestsent80 - Node28requestsent81 - Node28requestsent82 - Node28requestsent83 - Node28requestsent84 - Node28requestsent85 - Node28requestsent86 - Node28requestsent87 - Node28requestsent88 - Node28requestsent89 - Node28requestsent90 - Node28requestsent91 - Node28requestsent92 - Node28requestsent93 - Node28requestsent94 - Node28requestsent95 - Node28requestsent96 - Node28requestsent97 - Node28requestsent98 - Node28requestsent99 = 0
inv : Node54ReadyToInsert + Node54IsInserted