About the Execution of Marcie+red for NeoElection-COL-6
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8963.760 | 3600000.00 | 3621776.00 | 7868.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r266-smll-167863540500152.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool marciexred
Input is NeoElection-COL-6, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r266-smll-167863540500152
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 11K Feb 26 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 16:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 16:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 17:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 26 17:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 17:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 26 17:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 98K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678831866816
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=marciexred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=NeoElection-COL-6
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-14 22:11:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 22:11:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 22:11:10] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 22:11:10] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 22:11:11] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1096 ms
[2023-03-14 22:11:11] [INFO ] Detected 6 constant HL places corresponding to 2380 PT places.
[2023-03-14 22:11:11] [INFO ] Imported 18 HL places and 22 HL transitions for a total of 4830 PT places and 13580.0 transition bindings in 53 ms.
[2023-03-14 22:11:11] [INFO ] Unfolded HLPN to a Petri net with 4830 places and 7361 transitions 41792 arcs in 313 ms.
[2023-03-14 22:11:11] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-14 22:11:12] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4830 places, 7361 transitions and 41792 arcs took 168 ms.
Total runtime 1859 ms.
There are residual formulas that ITS could not solve within timeout
timeout --kill-after=10s --signal=SIGINT 1m for testing only
Marcie built on Linux at 2019-11-18.
A model checker for Generalized Stochastic Petri nets
authors: Alex Tovchigrechko (IDD package and CTL model checking)
Martin Schwarick (Symbolic numerical analysis and CSL model checking)
Christian Rohr (Simulative and approximative numerical model checking)
marcie@informatik.tu-cottbus.de
called as: /home/mcc/BenchKit/bin//../reducer/bin//../../marcie/bin/marcie --net-file=model.pnml --memory=6 --mcc-mode
parse successfull
net created successfully
Net: NeoElection_COL_6_unf
(NrP: 4830 NrTr: 7361 NrArc: 41792)
place and transition orderings generation:0m 7.773sec
net check time: 0m 0.013sec
init dd package: 0m 3.448sec
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 7191508 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16109832 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
check for maximal unmarked siphon
found
The net has a maximal unmarked siphon:
p2
p0
p33
p31
p32
p30
p28
p29
p27
p25
p26
p24
p22
p23
p21
p19
p20
p18
p65
p16
p17
p15
p14
p12
p13
p11
p9
p10
p8
p7
p6
p3
p4
p5
p1
p1150
p2260
p4477
p263
p374
p596
p707
p818
p928
p1039
p1151
p1261
p1372
p35
p1483
p1594
p1705
p1816
p1927
p2038
p2261
p2372
p2483
p2594
p2705
p2816
p2927
p3038
p3148
p3259
p3370
p3481
p3590
p3701
p3812
p3923
p4034
p4255
p4366
p4478
p4589
p4674
p4748
p1139
p1152
p1163
p42
p53
p64
p76
p87
p98
p109
p120
p131
p142
p153
p164
p175
p186
p197
p208
p219
p230
p241
p252
p264
p275
p286
p297
p308
p319
p330
p341
p352
p363
p375
p386
p397
p408
p419
p430
p441
p452
p497
p508
p519
p530
p541
p585
p597
p608
p619
p630
p641
p652
p663
p674
p685
p696
p708
p719
p730
p741
p752
p763
p774
p785
p796
p807
p819
p830
p841
p852
p863
p874
p885
p896
p906
p917
p929
p940
p951
p962
p984
p995
p1006
p1017
p1028
p1040
p1051
p1062
p1073
p1084
p1095
p1117
p1128
p3470
p3482
p3493
p3504
p3515
p3526
p3537
p1184
p1195
p1206
p1217
p1228
p1239
p1250
p1262
p1273
p1284
p1306
p1317
p1328
p1339
p1350
p1361
p1373
p1384
p1395
p1406
p1417
p1439
p1450
p1461
p1472
p1484
p1495
p1506
p1517
p1528
p1539
p1550
p1572
p1583
p1595
p1606
p1617
p1628
p1639
p1650
p1661
p1672
p1683
p1706
p1717
p1728
p1739
p1750
p1761
p1772
p1783
p1794
p1805
p1817
p1828
p1839
p1850
p1861
p1872
p1894
p1905
p1916
p1928
p1939
p1950
p1961
p1972
p1983
p1994
p2005
p2027
p2039
p2050
p2061
p2072
p2083
p2094
p2105
p2116
p2127
p2138
p2150
p2161
p2172
p2183
p2194
p2205
p2216
p2227
p2238
p2249
p2262
p2273
p2284
p2295
p2306
p2328
p2339
p2350
p2361
p2373
p2384
p2395
p2406
p2417
p2428
p2439
p2461
p2472
p2484
p2495
p2506
p2517
p2528
p2539
p2550
p2561
p2572
p2583
p2595
p2606
p2617
p2628
p2639
p2650
p2661
p2672
p2683
p2694
p2706
p2717
p2728
p2739
p2750
p2761
p2772
p2783
p2794
p2805
p2817
p2828
p2839
p2850
p2861
p2872
p2883
p2894
p2905
p2916
p2928
p2939
p2950
p2961
p2972
p2983
p2994
p3005
p3016
p3027
p3039
p3050
p3061
p3072
p3082
p3093
p3104
p3115
p3126
p3137
p3149
p3160
p3171
p3182
p3193
p3204
p3215
p3226
p3237
p3248
p3260
p3271
p3282
p3293
p3304
p3315
p3326
p3337
p3348
p3359
p3371
p3382
p3393
p3404
p3415
p3426
p3437
p3448
p3459
p34
p3568
p3579
p3591
p3602
p3613
p3624
p3635
p3646
p3657
p3668
p3679
p3690
p3702
p3713
p3724
p3735
p3746
p3757
p3768
p3779
p3790
p3801
p3813
p3824
p3835
p3846
p3857
p3868
p3879
p3890
p3901
p3912
p3924
p3935
p3946
p3957
p3968
p3979
p3990
p4001
p4012
p4023
p4035
p4046
p4057
p4068
p4079
p4090
p4101
p4112
p4123
p4134
p4145
p4156
p4167
p4178
p4189
p4200
p4211
p4222
p4233
p4244
p4256
p4267
p4278
p4289
p4300
p4311
p4322
p4333
p4344
p4355
p4367
p4378
p4389
p4400
p4411
p4422
p4433
p4444
p4455
p4466
p4479
p4490
p4501
p4512
p4523
p4534
p4545
p4556
p4567
p4578
p4590
p4601
p4612
p4623
p4630
p4645
p4652
p4667
p4675
p4682
p4697
p4704
p4726
p4741
p4749
p4756
p4771
p4778
p4793
p865
p866
p867
p868
p869
p870
p871
p872
p873
p875
p876
p877
p878
p879
p880
p881
p882
p883
p884
p886
p887
p888
p889
p890
p891
p892
p893
p894
p895
p897
p898
p899
p900
p901
p43
p44
p45
p46
p47
p48
p49
p50
p51
p52
p54
p55
p56
p57
p58
p59
p60
p61
p62
p63
p66
p67
p68
p69
p70
p71
p72
p73
p74
p75
p77
p78
p79
p80
p81
p82
p83
p84
p85
p86
p88
p89
p90
p91
p92
p93
p94
p95
p96
p97
p99
p100
p101
p102
p103
p104
p105
p106
p107
p108
p110
p111
p112
p113
p114
p115
p116
p117
p118
p119
p121
p122
p123
p124
p125
p126
p127
p128
p129
p130
p132
p133
p134
p135
p136
p137
p138
p139
p140
p141
p143
p144
p145
p146
p147
p148
p149
p150
p151
p152
p154
p155
p156
p157
p158
p159
p160
p161
p162
p163
p165
p166
p167
p168
p169
p170
p171
p172
p173
p174
p176
p177
p178
p179
p180
p181
p182
p183
p184
p185
p187
p188
p189
p190
p191
p192
p193
p194
p195
p196
p198
p199
p200
p201
p202
p203
p204
p205
p206
p207
p209
p210
p211
p212
p213
p214
p215
p216
p217
p218
p220
p221
p222
p223
p224
p225
p226
p227
p228
p229
p231
p232
p233
p234
p235
p236
p237
p238
p239
p240
p242
p243
p244
p245
p246
p247
p248
p249
p250
p251
p253
p254
p255
p256
p257
p258
p259
p260
p261
p262
p265
p266
p267
p268
p269
p270
p271
p272
p273
p274
p276
p277
p278
p279
p280
p281
p282
p283
p284
p285
p287
p288
p289
p290
p291
p292
p293
p294
p295
p296
p298
p299
p300
p301
p302
p303
p304
p305
p306
p307
p309
p310
p311
p312
p313
p314
p315
p316
p317
p318
p320
p321
p322
p323
p324
p325
p326
p327
p328
p329
p331
p332
p333
p334
p335
p336
p337
p338
p339
p340
p342
p343
p344
p345
p346
p347
p348
p349
p351
p353
p354
p355
p356
p358
p359
p360
p361
p362
p365
p366
p367
p368
p369
p370
p372
p373
p376
p377
p379
p380
p381
p382
p383
p384
p387
p388
p389
p390
p391
p393
p394
p395
p396
p398
p400
p401
p402
p403
p404
p405
p407
p409
p410
p411
p412
p414
p415
p416
p417
p418
p420
p421
p422
p423
p424
p425
p426
p428
p429
p431
p432
p433
p434
p435
p436
p437
p438
p439
p440
p442
p443
p444
p445
p446
p447
p448
p449
p450
p451
p453
p454
p455
p456
p457
p458
p459
p460
p476
p477
p478
p482
p483
p484
p498
p499
p506
p507
p518
p520
p531
p532
p539
p540
p554
p555
p556
p560
p561
p562
p578
p579
p580
p581
p582
p583
p584
p586
p587
p588
p589
p590
p591
p592
p593
p594
p595
p598
p599
p600
p601
p602
p603
p604
p605
p606
p607
p609
p610
p611
p612
p613
p614
p615
p616
p617
p618
p620
p621
p622
p623
p624
p625
p626
p627
p628
p629
p631
p632
p633
p634
p635
p636
p637
p638
p639
p640
p642
p643
p644
p645
p646
p647
p648
p649
p650
p651
p653
p654
p655
p656
p657
p658
p659
p660
p661
p662
p664
p665
p666
p667
p668
p669
p670
p671
p672
p673
p675
p676
p677
p678
p679
p680
p681
p682
p683
p684
p686
p687
p688
p689
p690
p691
p692
p693
p694
p695
p697
p698
p699
p700
p701
p702
p703
p704
p705
p706
p709
p710
p711
p712
p713
p714
p715
p716
p717
p718
p720
p721
p722
p723
p724
p725
p726
p727
p728
p729
p731
p732
p733
p734
p735
p736
p737
p738
p739
p740
p742
p743
p744
p745
p746
p747
p748
p749
p750
p751
p753
p754
p755
p756
p757
p758
p759
p760
p761
p762
p764
p765
p766
p767
p768
p769
p770
p771
p772
p773
p775
p776
p777
p778
p779
p780
p781
p782
p783
p784
p786
p787
p788
p789
p790
p791
p792
p793
p794
p795
p797
p798
p799
p800
p801
p802
p803
p804
p805
p806
p808
p809
p810
p811
p812
p813
p814
p815
p816
p817
p820
p821
p822
p823
p824
p825
p826
p827
p828
p829
p831
p832
p833
p834
p835
p836
p837
p838
p839
p840
p842
p843
p844
p845
p846
p847
p848
p849
p850
p851
p853
p854
p855
p856
p857
p858
p859
p860
p861
p862
p864
p3081
p3083
p3084
p3085
p3086
p3087
p3088
p3089
p3090
p3091
p3092
p3094
p3095
p3096
p3097
p3098
p3099
p3100
p3101
p3102
p3103
p3105
p3106
p3107
p3108
p3109
p3110
p3111
p3112
p3113
p3114
p3116
p3117
p3118
p3119
p3120
p3121
p3122
p3123
p3124
p3125
p3127
p3128
p3129
p3130
p3131
p3132
p3133
p3134
p3135
p3136
p3138
p3139
p3140
p3141
p3142
p3143
p3144
p3145
p3146
p3147
p3150
p3151
p3152
p3153
p3154
p3155
p3156
p3157
p3158
p3159
p3161
p3162
p3163
p3164
p902
p903
p904
p905
p907
p908
p909
p910
p911
p912
p913
p914
p915
p916
p918
p919
p920
p921
p922
p923
p924
p925
p926
p927
p930
p931
p932
p933
p934
p935
p936
p937
p938
p939
p941
p942
p943
p944
p945
p946
p947
p948
p949
p950
p952
p953
p954
p955
p956
p957
p958
p960
p961
p963
p964
p965
p967
p968
p969
p970
p971
p972
p974
p975
p976
p977
p978
p979
p981
p982
p983
p985
p986
p987
p988
p989
p990
p991
p992
p993
p994
p996
p997
p998
p999
p1000
p1002
p1003
p1004
p1005
p1007
p1009
p1010
p1011
p1012
p1013
p1014
p1016
p1018
p1019
p1020
p1021
p1023
p1024
p1025
p1026
p1027
p1029
p1030
p1031
p1032
p1033
p1034
p1035
p1036
p1037
p1038
p1041
p1042
p1044
p1045
p1046
p1047
p1048
p1049
p1052
p1053
p1054
p1055
p1056
p1058
p1059
p1060
p1061
p1063
p1065
p1066
p1067
p1068
p1069
p1070
p1071
p1072
p1074
p1075
p1076
p1077
p1078
p1079
p1080
p1081
p1082
p1083
p1086
p1087
p1088
p1089
p1090
p1091
p1093
p1094
p1096
p1097
p1098
p1100
p1101
p1102
p1103
p1104
p1105
p1107
p1108
p1109
p1110
p1111
p1112
p1113
p1114
p1115
p1116
p1118
p1119
p1120
p1121
p1122
p1123
p1124
p1125
p1126
p1129
p1130
p1131
p1132
p1133
p1135
p1136
p1137
p1138
p1140
p1142
p1143
p1144
p1145
p1146
p1147
p1149
p1153
p1154
p1155
p1156
p1157
p1158
p1159
p1160
p1161
p1162
p1164
p1165
p1166
p1167
p1168
p1169
p1170
p1171
p1172
p1173
p1174
p1175
p1176
p1177
p1178
p1179
p1180
p1181
p1182
p1183
p1185
p1186
p1187
p1188
p1189
p1190
p1191
p1192
p1193
p1194
p1196
p1197
p1198
p1199
p1200
p1201
p1202
p1203
p1204
p1205
p1207
p1208
p1209
p1210
p1212
p1213
p1214
p1215
p1216
p1219
p1220
p1221
p1222
p1223
p1224
p1226
p1227
p1229
p1230
p1231
p1233
p1234
p1235
p1236
p1237
p1238
p1240
p1241
p1242
p1243
p1244
p1245
p1246
p1247
p1248
p1249
p1251
p1252
p1253
p1254
p1255
p1256
p1257
p1258
p1259
p1260
p1263
p1264
p1265
p1266
p1267
p1268
p1269
p1270
p1271
p1272
p1274
p1275
p1276
p1277
p1278
p1279
p1280
p1281
p1282
p1283
p1285
p1286
p1287
p1288
p1289
p1290
p1291
p1292
p1293
p1294
p1296
p1297
p1298
p1299
p1300
p1301
p1303
p1304
p1305
p1307
p1308
p1310
p1311
p1312
p1313
p1314
p1315
p1318
p1319
p1320
p1321
p1322
p1323
p1324
p1325
p1326
p1327
p1329
p1330
p1331
p1332
p1333
p1334
p1335
p1336
p1338
p1340
p1341
p1342
p1343
p1345
p1346
p1347
p1348
p1349
p1352
p1353
p1354
p1355
p1356
p1357
p1359
p1360
p1362
p1363
p1364
p1365
p1366
p1367
p1368
p1369
p1370
p1371
p1374
p1375
p1376
p1377
p1378
p1380
p1381
p1382
p1383
p1385
p1387
p1388
p1389
p1390
p1391
p1392
p1394
p1396
p1397
p1398
p1399
p1401
p1402
p1403
p1404
p1405
p1407
p1408
p1409
p1410
p1411
p1412
p1413
p1414
p1415
p1416
p1418
p1419
p1420
p1422
p1423
p1424
p1425
p1426
p1427
p1429
p1430
p1431
p1432
p1433
p1434
p1436
p1437
p1438
p1440
p1441
p1443
p1444
p1445
p1446
p1447
p1448
p1449
p1451
p1452
p1453
p1454
p1455
p1456
p1457
p1458
p1459
p1460
p1462
p1463
p1464
p1465
p1466
p1467
p1468
p1469
p1470
p1471
p1473
p1474
p1475
p1476
p1477
p1478
p1479
p1480
p1481
p1482
p1485
p1486
p1487
p1488
p1489
p1490
p1491
p1492
p1493
p1494
p1496
p1497
p1498
p1499
p1500
p1501
p1502
p1503
p1504
p1507
p1508
p1509
p1510
p1511
p1513
p1514
p1515
p1516
p1518
p1520
p1521
p1522
p1523
p1524
p1525
p1527
p1529
p1530
p1531
p1532
p1533
p1534
p1535
p1536
p1537
p1538
p1540
p1541
p1542
p1543
p1544
p1545
p1546
p1548
p1549
p1551
p1552
p1553
p1555
p1556
p1557
p1558
p1559
p1560
p1562
p1563
p1564
p1565
p1566
p1567
p1569
p1570
p1571
p1573
p1574
p1575
p1576
p1577
p1578
p1579
p1580
p1581
p1582
p1584
p1585
p1586
p1587
p1588
p1589
p1590
p1591
p1592
p1593
p1596
p1597
p1598
p1599
p1600
p1601
p1602
p1603
p1604
p1605
p1607
p1608
p1609
p1610
p1611
p1612
p1613
p1614
p1615
p1616
p1618
p1619
p1620
p1621
p1622
p1623
p1624
p1625
p1626
p1627
p1629
p1630
p1632
p1633
p1634
p1635
p1636
p1637
p1640
p1641
p1642
p1643
p1644
p1646
p1647
p1648
p1649
p1651
p1653
p1654
p1655
p1656
p1657
p1658
p1659
p1660
p1662
p1663
p1664
p1665
p1666
p1667
p1668
p1669
p1670
p1671
p1674
p1675
p1676
p1677
p1678
p1679
p1681
p1682
p1684
p1685
p1686
p1688
p1689
p1690
p1691
p1692
p1693
p1695
p1696
p1697
p1698
p1699
p1700
p1701
p1702
p1703
p1704
p1707
p1708
p1709
p1710
p1711
p1712
p1713
p1714
p1716
p1718
p1719
p1720
p1721
p1723
p1724
p1725
p1726
p1727
p1730
p1731
p1732
p1733
p1734
p1735
p1737
p1738
p1740
p1741
p1742
p1743
p1744
p1745
p1746
p1747
p1748
p1749
p1751
p1752
p1753
p1754
p1755
p1756
p1757
p1758
p1759
p1760
p1762
p1763
p1764
p1765
p1766
p1767
p1768
p1769
p1770
p1771
p1773
p1774
p1775
p1776
p1777
p1778
p1779
p1780
p1781
p1782
p1784
p1785
p1786
p1787
p1788
p1789
p1790
p1791
p1792
p1793
p1795
p1796
p1797
p1798
p1800
p1801
p1802
p1803
p1804
p1807
p1808
p1809
p1810
p1811
p1812
p1814
p1815
p1818
p1819
p1821
p1822
p1823
p1824
p1825
p1826
p1827
p1829
p1830
p1831
p1832
p1833
p1834
p1835
p1836
p1837
p1838
p1840
p1842
p1843
p1844
p1845
p1846
p1847
p1849
p1851
p1852
p1853
p1854
p1856
p1857
p1858
p1859
p1860
p1863
p1864
p1865
p1866
p1867
p1868
p1869
p1870
p1871
p1873
p1874
p1875
p1876
p1877
p1878
p1879
p1880
p1881
p1882
p1884
p1885
p1886
p1887
p1888
p1889
p1891
p1892
p1893
p1895
p1896
p1898
p1899
p1900
p1901
p1902
p1903
p1906
p1907
p1908
p1909
p1910
p1911
p1912
p1913
p1914
p1915
p1917
p1918
p1919
p1920
p1921
p1922
p1923
p1924
p1925
p1926
p1929
p1930
p1931
p1932
p1933
p1934
p1935
p1936
p1937
p1938
p1940
p1941
p1942
p1943
p1944
p1945
p1946
p1947
p1948
p1949
p1951
p1952
p1953
p1954
p1955
p1956
p1957
p1958
p1959
p1960
p1962
p1963
p1964
p1965
p1966
p1968
p1969
p1970
p1971
p1973
p1975
p1976
p1977
p1978
p1979
p1980
p1982
p1984
p1985
p1986
p1987
p1989
p1990
p1991
p1992
p1993
p1995
p1996
p1997
p1998
p1999
p2000
p2001
p2002
p2003
p2004
p2006
p2007
p2008
p2010
p2011
p2012
p2013
p2014
p2015
p2017
p2018
p2019
p2020
p2021
p2022
p2024
p2025
p2026
p2028
p2029
p2031
p2032
p2033
p2034
p2035
p2036
p2037
p2040
p2041
p2042
p2043
p2044
p2045
p2046
p2047
p2048
p2049
p2051
p2052
p2053
p2054
p2055
p2056
p2057
p2058
p2059
p2060
p2062
p2063
p2064
p2065
p2066
p2067
p2068
p2069
p2070
p2071
p2073
p2074
p2075
p2076
p2077
p2078
p2079
p2080
p2081
p2082
p2084
p2085
p2086
p2087
p2088
p2089
p2090
p2091
p2092
p2095
p2096
p2097
p2098
p2099
p2101
p2102
p2103
p2104
p2106
p2108
p2109
p2110
p2111
p2112
p2113
p2115
p2117
p2118
p2119
p2120
p2121
p2122
p2123
p2124
p2125
p2126
p2128
p2129
p2130
p2131
p2132
p2133
p2134
p2136
p2137
p2139
p2140
p2141
p2143
p2144
p2145
p2146
p2147
p2148
p2151
p2152
p2153
p2154
p2155
p2157
p2158
p2159
p2160
p2162
p2163
p2164
p2165
p2166
p2167
p2168
p2169
p2170
p2171
p2173
p2174
p2175
p2176
p2178
p2179
p2180
p2181
p2182
p2185
p2186
p2187
p2188
p2189
p2190
p2192
p2193
p2195
p2196
p2197
p2199
p2200
p2201
p2202
p2203
p2204
p2206
p2207
p2208
p2209
p2210
p2211
p2212
p2213
p2214
p2215
p2217
p2218
p2220
p2221
p2222
p2223
p2224
p2225
p2228
p2229
p2230
p2231
p2232
p2234
p2235
p2236
p2237
p2239
p2241
p2242
p2243
p2244
p2245
p2246
p2247
p2248
p2250
p2251
p2252
p2253
p2254
p2255
p2256
p2257
p2258
p2259
p2263
p2264
p2265
p2266
p2267
p2268
p2269
p2270
p2271
p2272
p2274
p2275
p2276
p2277
p2278
p2279
p2280
p2281
p2282
p2283
p2285
p2286
p2287
p2288
p2289
p2290
p2291
p2292
p2293
p2294
p2296
p2297
p2298
p2299
p2300
p2301
p2302
p2304
p2305
p2307
p2308
p2309
p2311
p2312
p2313
p2314
p2315
p2316
p2318
p2319
p2320
p2321
p2322
p2323
p2325
p2326
p2327
p2329
p2330
p2331
p2332
p2333
p2334
p2335
p2336
p2337
p2338
p2340
p2341
p2342
p2343
p2344
p2345
p2346
p2347
p2348
p2349
p2351
p2352
p2353
p2354
p2355
p2356
p2357
p2358
p2359
p2360
p2362
p2363
p2364
p2365
p2366
p2367
p2368
p2369
p2370
p2371
p2374
p2375
p2376
p2377
p2378
p2379
p2380
p2381
p2382
p2383
p2385
p2386
p2388
p2389
p2390
p2391
p2392
p2393
p2396
p2397
p2398
p2399
p2400
p2402
p2403
p2404
p2405
p2407
p2409
p2410
p2411
p2412
p2413
p2414
p2415
p2416
p2418
p2419
p2420
p2421
p2422
p2423
p2424
p2425
p2426
p2427
p2430
p2431
p2432
p2433
p2434
p2435
p2437
p2438
p2440
p2441
p2442
p2444
p2445
p2446
p2447
p2448
p2449
p2451
p2452
p2453
p2454
p2455
p2456
p2457
p2458
p2459
p2460
p2462
p2463
p2464
p2465
p2466
p2467
p2468
p2469
p2470
p2473
p2474
p2475
p2476
p2477
p2479
p2480
p2481
p2482
p2486
p2487
p2488
p2489
p2490
p2491
p2493
p2494
p2496
p2497
p2498
p2499
p2500
p2501
p2502
p2503
p2504
p2505
p2507
p2508
p2509
p2510
p2511
p2512
p2514
p2515
p2516
p2518
p2519
p2521
p2522
p2523
p2524
p2525
p2526
p2529
p2530
p2531
p2532
p2533
p2535
p2536
p2537
p2538
p2540
p2541
p2542
p2543
p2544
p2545
p2546
p2547
p2548
p2549
p2551
p2552
p2553
p2554
p2556
p2557
p2558
p2559
p2560
p2563
p2564
p2565
p2566
p2567
p2568
p2570
p2571
p2573
p2574
p2575
p2577
p2578
p2579
p2580
p2581
p2582
p2584
p2585
p2586
p2587
p2588
p2589
p2590
p2591
p2592
p2593
p2596
p2597
p2598
p2599
p2600
p2601
p2602
p2603
p2604
p2605
p2607
p2608
p2609
p2610
p2611
p2612
p2613
p2614
p2615
p2616
p2618
p2619
p2620
p2621
p2622
p2623
p2624
p2625
p2626
p2627
p2629
p2630
p2631
p2632
p2633
p2634
p2635
p2636
p2637
p2638
p2646
p2647
p2648
p2649
p2651
p2652
p2653
p2654
p2655
p2656
p2657
p2658
p2659
p2660
p2662
p2663
p2664
p2665
p2666
p2667
p2668
p2669
p2670
p2671
p2673
p2674
p2675
p2676
p2677
p2678
p2679
p2680
p2681
p2682
p2684
p2685
p2686
p2687
p2688
p2689
p2690
p2691
p2692
p2693
p2695
p2696
p2697
p2698
p2699
p2700
p2701
p2702
p2703
p2704
p2707
p2708
p2709
p2710
p2711
p2712
p2713
p2714
p2715
p2716
p2718
p2719
p2720
p2721
p2722
p2723
p2724
p2725
p2726
p2727
p2729
p2730
p2731
p2732
p2733
p2734
p2735
p2736
p2737
p2738
p2740
p2741
p2742
p2743
p2744
p2745
p2746
p2747
p2748
p2749
p2751
p2752
p2753
p2754
p2755
p2756
p2757
p2758
p2759
p2760
p2762
p2763
p2764
p2765
p2766
p2767
p2768
p2769
p2770
p2771
p2773
p2774
p2775
p2776
p2777
p2778
p2779
p2780
p2781
p2782
p2784
p2785
p2786
p2787
p2788
p2789
p2790
p2791
p2792
p2793
p2795
p2796
p2797
p2798
p2799
p2800
p2801
p2802
p2803
p2804
p2806
p2807
p2808
p2809
p2810
p2811
p2812
p2813
p2814
p2815
p2818
p2819
p2820
p2821
p2822
p2823
p2824
p2825
p2826
p2827
p2829
p2830
p2831
p2832
p2833
p2834
p2835
p2836
p2837
p2838
p2840
p2841
p2842
p2843
p2844
p2845
p2846
p2847
p2848
p2849
p2851
p2852
p2853
p2854
p2855
p2856
p2857
p2858
p2859
p2860
p2862
p2863
p2864
p2865
p2866
p2867
p2868
p2869
p2870
p2871
p2873
p2874
p2875
p2876
p2877
p2878
p2879
p2880
p2881
p2882
p2884
p2885
p2886
p2887
p2888
p2889
p2890
p2891
p2892
p2893
p2895
p2896
p2897
p2898
p2899
p2900
p2901
p2902
p2903
p2904
p2906
p2907
p2908
p2909
p2910
p2911
p2912
p2913
p2914
p2915
p2917
p2918
p2919
p2920
p2921
p2922
p2923
p2924
p2925
p2926
p2929
p2930
p2931
p2932
p2933
p2934
p2935
p2936
p2937
p2938
p2940
p2941
p2942
p2943
p2944
p2945
p2946
p2947
p2948
p2949
p2951
p2952
p2953
p2954
p2955
p2956
p2957
p2958
p2959
p2960
p2962
p2963
p2964
p2965
p2966
p2967
p2968
p2969
p2970
p2971
p2973
p2974
p2975
p2976
p2977
p2978
p2979
p2980
p2981
p2982
p2984
p2985
p2986
p2987
p2988
p2989
p2990
p2991
p2992
p2993
p2995
p2996
p2997
p2998
p2999
p3000
p3001
p3002
p3003
p3004
p3006
p3007
p3008
p3009
p3010
p3011
p3012
p3013
p3014
p3015
p3017
p3018
p3019
p3020
p3021
p3022
p3023
p3024
p3025
p3026
p3028
p3029
p3030
p3031
p3032
p3033
p3034
p3035
p3036
p3037
p3040
p3041
p3042
p3043
p3044
p3045
p3046
p3047
p3048
p3049
p3051
p3052
p3053
p3054
p3055
p3056
p3057
p3058
p3059
p3060
p3062
p3063
p3064
p3065
p3066
p3067
p3068
p3069
p3070
p3071
p3073
p3074
p3075
p3076
p3077
p3078
p3079
p3080
p3165
p3166
p3167
p3168
p3169
p3170
p3172
p3173
p3174
p3175
p3176
p3177
p3178
p3179
p3180
p3181
p3183
p3184
p3185
p3186
p3187
p3188
p3189
p3190
p3191
p3192
p3194
p3195
p3196
p3197
p3198
p3199
p3200
p3201
p3202
p3203
p3205
p3206
p3207
p3208
p3209
p3210
p3211
p3212
p3213
p3214
p3216
p3217
p3218
p3219
p3220
p3221
p3222
p3223
p3224
p3225
p3227
p3228
p3229
p3230
p3231
p3232
p3233
p3234
p3235
p3236
p3238
p3239
p3240
p3241
p3242
p3243
p3244
p3245
p3246
p3247
p3249
p3250
p3251
p3252
p3253
p3254
p3255
p3256
p3257
p3258
p3261
p3262
p3263
p3264
p3265
p3266
p3267
p3268
p3269
p3270
p3272
p3273
p3274
p3275
p3276
p3277
p3278
p3279
p3280
p3281
p3283
p3284
p3285
p3286
p3287
p3288
p3289
p3290
p3291
p3292
p3294
p3295
p3296
p3297
p3298
p3299
p3300
p3301
p3302
p3303
p3305
p3306
p3307
p3308
p3309
p3310
p3311
p3312
p3313
p3314
p3316
p3317
p3318
p3319
p3320
p3321
p3322
p3323
p3324
p3325
p3327
p3328
p3329
p3330
p3331
p3332
p3333
p3334
p3335
p3336
p3338
p3339
p3340
p3341
p3342
p3343
p3344
p3345
p3346
p3347
p3349
p3350
p3351
p3352
p3353
p3354
p3355
p3356
p3357
p3358
p3360
p3361
p3362
p3363
p3364
p3365
p3366
p3367
p3368
p3369
p3372
p3373
p3374
p3375
p3376
p3377
p3378
p3379
p3380
p3381
p3383
p3384
p3385
p3386
p3387
p3388
p3389
p3390
p3391
p3392
p3394
p3395
p3396
p3397
p3398
p3399
p3400
p3401
p3402
p3403
p3405
p3406
p3407
p3408
p3409
p3410
p3411
p3412
p3413
p3414
p3416
p3417
p3418
p3419
p3420
p3421
p3422
p3423
p3424
p3425
p3427
p3428
p3429
p3430
p3431
p3432
p3433
p3434
p3435
p3436
p3438
p3439
p3440
p3441
p3442
p3443
p3444
p3445
p3446
p3447
p3449
p3450
p3451
p3452
p3453
p3454
p3455
p3456
p3457
p3458
p3460
p3461
p3462
p3463
p3464
p3465
p3466
p3467
p3468
p3469
p3471
p3472
p3473
p3474
p3475
p3476
p3477
p3478
p3479
p3480
p3483
p3484
p3485
p3486
p3487
p3488
p3489
p3490
p3491
p3492
p3494
p3495
p3496
p3497
p3498
p3499
p3500
p3501
p3502
p3503
p3505
p3506
p3507
p3508
p3509
p3510
p3511
p3512
p3513
p3514
p3516
p3517
p3518
p3519
p3520
p3521
p3522
p3523
p3524
p3525
p3527
p3528
p3529
p3530
p3531
p3532
p3533
p3534
p3535
p3536
p3538
p3539
p3540
p3541
p3542
p3543
p3544
p3545
p3546
p3547
p3548
p3549
p3550
p3551
p3552
p3553
p3554
p3555
p3556
p3557
p3558
p3559
p3560
p3561
p3562
p3563
p3564
p3565
p3566
p3567
p3569
p3570
p3571
p3572
p3573
p3574
p3575
p3576
p3577
p3578
p3580
p3581
p3582
p3583
p3584
p3585
p3586
p3587
p3588
p3589
p3592
p3593
p3594
p3595
p3596
p3597
p3598
p3599
p3600
p3601
p3603
p3604
p3605
p3606
p3607
p3608
p3609
p3610
p3611
p3612
p3614
p3615
p3616
p3617
p3618
p3619
p3620
p3621
p3622
p3623
p3625
p3626
p3627
p3628
p3629
p3630
p3631
p3632
p3633
p3634
p3636
p3637
p3638
p3639
p3640
p3641
p3642
p3643
p3644
p3645
p3647
p3648
p3649
p3650
p3651
p3652
p3653
p3654
p3655
p3656
p3658
p3659
p3660
p3661
p3662
p3663
p3664
p3665
p3666
p3667
p3669
p3670
p3671
p3672
p3673
p3674
p3675
p3676
p3677
p3678
p3680
p3681
p3682
p3683
p3684
p3685
p3686
p3687
p3688
p3689
p3691
p3692
p3693
p3694
p3695
p3696
p3697
p3698
p3699
p3700
p3703
p3704
p3705
p3706
p3707
p3708
p3709
p3710
p3711
p3712
p3714
p3715
p3716
p3717
p3718
p3719
p3720
p3721
p3722
p3723
p3725
p3726
p3727
p3728
p3729
p3730
p3731
p3732
p3733
p3734
p3736
p3737
p3738
p3739
p3740
p3741
p3742
p3743
p3744
p3745
p3747
p3748
p3749
p3750
p3751
p3752
p3753
p3754
p3755
p3756
p3758
p3759
p3760
p3761
p3762
p3763
p3764
p3765
p3766
p3767
p3769
p3770
p3771
p3772
p3773
p3774
p3775
p3776
p3777
p3778
p3780
p3781
p3782
p3783
p3784
p3785
p3786
p3787
p3788
p3789
p3791
p3792
p3793
p3794
p3795
p3796
p3797
p3798
p3799
p3800
p3802
p3803
p3804
p3805
p3806
p3807
p3808
p3809
p3810
p3811
p3814
p3815
p3816
p3817
p3818
p3819
p3820
p3821
p3822
p3823
p3825
p3826
p3827
p3828
p3829
p3830
p3831
p3832
p3833
p3834
p3836
p3837
p3838
p3839
p3840
p3841
p3842
p3843
p3844
p3845
p3847
p3848
p3849
p3850
p3851
p3852
p3853
p3854
p3855
p3856
p3858
p3859
p3860
p3861
p3862
p3863
p3864
p3865
p3866
p3867
p3869
p3870
p3871
p3872
p3873
p3874
p3875
p3876
p3877
p3878
p3880
p3881
p3882
p3883
p3884
p3885
p3886
p3887
p3888
p3889
p3891
p3892
p3893
p3894
p3895
p3896
p3897
p3898
p3899
p3900
p3902
p3903
p3904
p3905
p3906
p3907
p3908
p3909
p3910
p3911
p3913
p3914
p3915
p3916
p3917
p3918
p3919
p3920
p3921
p3922
p3925
p3926
p3927
p3928
p3929
p3930
p3931
p3932
p3933
p3934
p3936
p3937
p3938
p3939
p3940
p3941
p3942
p3943
p3944
p3945
p3947
p3948
p3949
p3950
p3951
p3952
p3953
p3954
p3955
p3956
p3958
p3959
p3960
p3961
p3962
p3963
p3964
p3965
p3966
p3967
p3969
p3970
p3971
p3972
p3973
p3974
p3975
p3976
p3977
p3978
p3980
p3981
p3982
p3983
p3984
p3985
p3986
p3987
p3988
p3989
p3991
p3992
p3993
p3994
p3995
p3996
p3997
p3998
p3999
p4000
p4002
p4003
p4004
p4005
p4006
p4007
p4008
p4009
p4010
p4011
p4013
p4014
p4015
p4016
p4017
p4018
p4019
p4020
p4021
p4022
p4024
p4025
p4026
p4027
p4028
p4029
p4030
p4031
p4032
p4033
p4036
p4037
p4038
p4039
p4040
p4041
p4042
p4043
p4044
p4045
p4047
p4048
p4049
p4050
p4051
p4052
p4053
p4054
p4055
p4056
p4058
p4059
p4060
p4061
p4062
p4063
p4064
p4065
p4066
p4067
p4069
p4070
p4071
p4072
p4073
p4074
p4075
p4076
p4077
p4078
p4080
p4081
p4082
p4083
p4084
p4085
p4086
p4087
p4088
p4089
p4091
p4092
p4093
p4094
p4095
p4096
p4097
p4098
p4099
p4100
p4102
p4103
p4104
p4105
p4106
p4107
p4108
p4109
p4110
p4111
p4113
p4114
p4115
p4116
p4117
p4118
p4119
p4120
p4121
p4122
p4124
p4125
p4126
p4127
p4128
p4129
p4130
p4131
p4132
p4133
p4135
p4136
p4137
p4138
p4139
p4140
p4141
p4142
p4143
p4144
p4146
p4147
p4148
p4149
p4150
p4151
p4152
p4153
p4154
p4155
p4157
p4158
p4159
p4160
p4161
p4162
p4163
p4164
p4165
p4166
p4168
p4169
p4170
p4171
p4172
p4173
p4174
p4175
p4176
p4177
p4179
p4180
p4181
p4182
p4183
p4184
p4185
p4186
p4187
p4188
p4190
p4191
p4192
p4193
p4194
p4195
p4196
p4197
p4198
p4199
p4201
p4202
p4203
p4204
p4205
p4206
p4207
p4208
p4209
p4210
p4212
p4213
p4214
p4215
p4216
p4217
p4218
p4219
p4220
p4221
p4223
p4224
p4225
p4226
p4227
p4228
p4229
p4230
p4231
p4232
p4234
p4235
p4236
p4237
p4238
p4239
p4240
p4241
p4242
p4243
p4245
p4246
p4247
p4248
p4249
p4250
p4251
p4252
p4253
p4254
p4257
p4258
p4259
p4260
p4261
p4262
p4263
p4264
p4265
p4266
p4268
p4269
p4270
p4271
p4272
p4273
p4274
p4275
p4276
p4277
p4279
p4280
p4281
p4282
p4283
p4284
p4285
p4286
p4287
p4288
p4290
p4291
p4292
p4293
p4294
p4295
p4296
p4297
p4298
p4299
p4301
p4302
p4303
p4304
p4305
p4306
p4307
p4308
p4309
p4310
p4312
p4313
p4314
p4315
p4316
p4317
p4318
p4319
p4320
p4321
p4323
p4324
p4325
p4326
p4327
p4328
p4329
p4330
p4331
p4332
p4334
p4335
p4336
p4337
p4338
p4339
p4340
p4341
p4342
p4343
p4345
p4346
p4347
p4348
p4349
p4350
p4351
p4352
p4353
p4354
p4356
p4357
p4358
p4359
p4360
p4361
p4362
p4363
p4364
p4365
p4368
p4369
p4370
p4371
p4372
p4373
p4374
p4375
p4376
p4377
p4379
p4380
p4381
p4382
p4383
p4384
p4385
p4386
p4387
p4388
p4390
p4391
p4392
p4393
p4394
p4395
p4396
p4397
p4398
p4399
p4401
p4402
p4403
p4404
p4405
p4406
p4407
p4408
p4409
p4410
p4412
p4413
p4414
p4415
p4416
p4417
p4418
p4419
p4420
p4421
p4423
p4424
p4425
p4426
p4427
p4428
p4429
p4430
p4431
p4432
p4434
p4435
p4436
p4437
p4438
p4439
p4440
p4441
p4442
p4443
p4445
p4446
p4447
p4448
p4449
p4450
p4451
p4452
p4453
p4454
p4456
p4457
p4458
p4459
p4460
p4461
p4462
p4463
p4464
p4465
p4467
p4468
p4469
p4470
p4471
p4472
p4473
p4474
p4475
p4476
p4480
p4481
p4482
p4483
p4484
p4485
p4486
p4487
p4488
p4489
p4491
p4492
p4493
p4494
p4495
p4496
p4497
p4498
p4499
p4500
p4502
p4503
p4504
p4505
p4506
p4507
p4508
p4509
p4510
p4511
p4513
p4514
p4515
p4516
p4517
p4518
p4519
p4520
p4521
p4522
p4524
p4525
p4526
p4527
p4528
p4529
p4530
p4531
p4532
p4533
p4535
p4536
p4537
p4538
p4539
p4540
p4541
p4542
p4543
p4544
p4546
p4547
p4548
p4549
p4550
p4551
p4552
p4553
p4554
p4555
p4557
p4558
p4559
p4560
p4561
p4562
p4563
p4564
p4565
p4566
p4568
p4569
p4570
p4571
p4572
p4573
p4574
p4575
p4576
p4577
p4579
p4580
p4581
p4582
p4583
p4584
p4585
p4586
p4587
p4588
p4591
p4592
p4593
p4594
p4595
p4596
p4597
p4598
p4599
p4600
p4602
p4603
p4604
p4605
p4606
p4607
p4608
p4609
p4610
p4611
p4613
p4614
p4615
p4616
p4617
p4618
p4619
p4620
p4621
p4622
p4624
p4625
p4626
p4627
p4628
p4629
p4631
p4632
p4633
p4634
p4635
p4636
p4637
p4638
p4639
p4640
p4641
p4642
p4643
p4644
p4646
p4647
p4648
p4649
p4650
p4651
p4653
p4654
p4655
p4656
p4657
p4658
p4659
p4660
p4661
p4662
p4663
p4664
p4665
p4666
p4668
p4669
p4670
p4671
p4672
p4673
p4676
p4677
p4678
p4679
p4680
p4681
p4683
p4684
p4685
p4686
p4687
p4688
p4689
p4690
p4691
p4692
p4693
p4694
p4695
p4696
p4698
p4699
p4700
p4701
p4702
p4703
p4711
p4712
p4713
p4714
p4715
p4716
p4717
p4718
p4725
p4727
p4728
p4729
p4730
p4731
p4732
p4733
p4734
p4735
p4736
p4737
p4738
p4739
p4740
p4742
p4743
p4744
p4745
p4746
p4747
p4750
p4751
p4752
p4753
p4754
p4755
p4757
p4758
p4759
p4760
p4761
p4762
p4763
p4764
p4765
p4766
p4767
p4768
p4769
p4770
p4772
p4773
p4774
p4775
p4776
p4777
p4779
p4780
p4781
p4782
p4783
p4784
p4785
p4786
p4787
p4788
p4789
p4790
p4791
p4792
The net has transition(s) that can never fire:
t3173
t3172
t3171
t3170
t3169
t4600
t3168
t3167
t3166
t3165
t3164
t3163
t3162
t3161
t3160
t3159
t3158
t3157
t3156
t3155
t3154
t3153
t3152
t3151
t3150
t3149
t3148
t3147
t3146
t3145
t3144
t3143
t3142
t3141
t3140
t3139
t3138
t3137
t3136
t3135
t3134
t3133
t3132
t3131
t3130
t3129
t3128
t3127
t3126
t3125
t3124
t3123
t3122
t3121
t3120
t3119
t3118
t3117
t3116
t3115
t3114
t3113
t3112
t3111
t3110
t3109
t3108
t3107
t3106
t3105
t3104
t3103
t3102
t3101
t3100
t3099
t3098
t3097
t3096
t3095
t3094
t3093
t3092
t3091
t7360
t7359
t7358
t3090
t7357
t7356
t3089
t7355
t7354
t3088
t3087
t3086
t7347
t3085
t3084
t3083
t3082
t3081
t3080
t3079
t3078
t3077
t3076
t3075
t3074
t3073
t3072
t3071
t3070
t3069
t3068
t3067
t3066
t3065
t3064
t3063
t3062
t7310
t7309
t7308
t3061
t7307
t7305
t7306
t3060
t7304
t7303
t3059
t7302
t7301
t3058
t7300
t3057
t7299
t7298
t3056
t7297
t7296
t3055
t7295
t7294
t3054
t7293
t7292
t3053
t7291
t7290
t3052
t7289
t7288
t3051
t7287
t7286
t3050
t7285
t7284
t3049
t7283
t7282
t3048
t7281
t3047
t7280
t7279
t7278
t3046
t7277
t3045
t7276
t7275
t3044
t7274
t7273
t3043
t7271
t7272
t7270
t3042
t7268
t7269
t7267
t3041
t7266
t3040
t3039
t3038
t7259
t7258
t3037
t7257
t7256
t3036
t7255
t7254
t3035
t7252
t7253
t3034
t7251
t7250
t3033
t7249
t7248
t7247
t3032
t3031
t7245
t7246
t3030
t7244
t7243
t7242
t3029
t7241
t7240
t3028
t7238
t7239
t3027
t7237
t7236
t3026
t7235
t7234
t3025
t7233
t7231
t7232
t3024
t7230
t3023
t7229
t7228
t3022
t7227
t7226
t3021
t7225
t7223
t7224
t3020
t7222
t3019
t7221
t7220
t3018
t7219
t7218
t3017
t7217
t7216
t3016
t7215
t7214
t3015
t7213
t7212
t3014
t7211
t7210
t3013
t7209
t3012
t3011
t3010
t7203
t3009
t3008
t7201
t3007
t3006
t3005
t7196
t3004
t7193
t3003
t3002
t3001
t7189
t3000
t2999
t7185
t2998
t2997
t7182
t2996
t2995
t2994
t7177
t2993
t7175
t2992
t2991
t2990
t2989
t7169
t7168
t2988
t7167
t2987
t7166
t7165
t2986
t7164
t7163
t2985
t7162
t2984
t7161
t7160
t2983
t7159
t2982
t7158
t2981
t7157
t2980
t7156
t2979
t7155
t7154
t2978
t7153
t2977
t7152
t2976
t7151
t2975
t7150
t7149
t2974
t7148
t2973
t2972
t7146
t2971
t7145
t7144
t2970
t7143
t2969
t7142
t2968
t7141
t2967
t7139
t2966
t7138
t2965
t7137
t2964
t7136
t2963
t7135
t2962
t7134
t2961
t7132
t2960
t7131
t2959
t7130
t2958
t7129
t2957
t7128
t7127
t2956
t2955
t7125
t2954
t7124
t254
t2953
t7123
t7122
t2952
t7121
t2951
t7120
t2950
t2949
t7118
t7117
t2948
t7116
t2947
t7115
t2946
t7114
t7113
t7112
t7111
t7110
t2940
t7109
t7108
t2938
t7107
t7106
t7104
t2933
t7103
t7102
t7101
t2930
t7100
t7099
t7098
t2926
t7097
t7096
t7095
t2922
t7094
t7093
t7092
t2919
t7090
t7089
t7088
t2914
t7087
t7086
t2912
t7085
t7083
t7082
t7081
t2906
t7080
t2905
t7079
t2904
t7078
t2903
t2902
t2901
t7076
t2900
t2899
t7075
t7074
t2898
t7073
t2897
t7072
t2896
t7071
t2895
t2894
t7069
t2893
t7068
t2892
t7067
t2891
t7066
t2890
t7065
t7064
t2889
t2888
t7063
t7062
t2887
t2886
t7061
t2885
t7060
t2884
t7059
t7058
t2883
t7057
t2882
t2881
t7055
t2880
t7054
t2879
t7053
t2878
t7052
t2877
t7051
t2876
t7050
t2875
t2874
t7048
t2873
t7047
t2872
t7046
t2871
t7045
t2870
t7044
t2869
t7043
t2868
t7042
t2867
t7041
t2866
t7040
t2865
t7039
t2864
t7038
t2863
t7037
t2862
t7036
t2861
t2860
t7034
t7033
t2859
t7032
t2858
t7031
t2857
t7030
t2856
t7029
t2855
t2854
t7027
t2853
t7026
t2852
t7025
t2851
t7024
t7023
t2850
t2849
t7022
t2848
t2847
t7020
t2846
t7019
t2845
t7018
t7017
t2844
t7016
t2843
t2842
t7015
t7014
t2841
t3229
t7013
t2840
t7012
t2839
t7011
t2838
t7010
t2837
t7009
t7008
t2836
t2835
t2834
t7006
t7005
t2833
t7004
t2832
t7003
t2831
t7002
t2830
t7001
t2829
t2828
t6999
t2827
t6998
t2826
t2825
t6997
t6996
t2824
t6995
t2823
t6994
t2822
t2821
t6992
t2820
t6991
t2819
t6990
t2818
t6989
t2817
t6988
t2816
t6987
t2815
t6986
t2814
t6985
t2813
t6984
t6983
t2812
t6982
t2811
t2810
t6981
t6980
t2809
t2808
t6978
t2807
t6977
t2806
t6976
t2805
t6975
t2804
t6974
t2803
t6973
t2802
t2801
t6971
t2800
t6970
t2799
t6969
t2798
t6968
t2797
t6967
t2796
t6966
t2795
t6965
t2794
t6964
t2793
t6963
t2792
t6962
t6961
t2791
t6960
t2790
t2789
t6959
t2788
t6957
t2787
t6956
t2786
t6955
t2785
t6954
t2784
t6953
t2783
t6952
t2782
t2781
t6950
t2780
t6949
t2779
t6948
t2778
t6947
t2777
t6946
t2776
t6945
t2775
t2774
t6943
t6942
t2773
t6941
t2772
t6940
t2771
t6939
t2770
t6938
t2769
t2768
t6936
t2767
t6935
t2766
t6934
t2765
t6933
t2764
t6932
t2763
t6931
t2762
t6930
t2761
t6929
t2760
t6928
t2759
t6927
t2758
t6926
t2757
t6925
t2756
t6924
t2755
t2754
t6922
t2753
t6921
t2752
t6920
t6919
t2751
t6918
t2750
t6917
t2749
t6916
t2748
t6915
t2747
t6914
t2746
t6913
t2745
t6912
t2744
t6911
t2743
t6910
t2741
t6908
t2740
t6907
t2739
t6906
t6905
t2738
t6904
t2737
t6903
t2736
t2735
t6901
t2734
t6900
t2733
t6899
t2732
t6898
t2731
t6897
t2730
t6896
t2729
t2728
t6894
t2727
t6893
t2726
t6892
t2725
t6891
t2724
t6890
t2723
t6889
t2722
t2721
t6887
t2720
t6886
t6885
t253
t2719
t6884
t2718
t2717
t6883
t6882
t2716
t2715
t6880
t2714
t6879
t2713
t6878
t2712
t6877
t2711
t6876
t2710
t6875
t2709
t6874
t2708
t6873
t2707
t6872
t2706
t6871
t2705
t6870
t2704
t6869
t2703
t6868
t2702
t6867
t2701
t6866
t2700
t6865
t2699
t6864
t2698
t6863
t2697
t6862
t2696
t6861
t2695
t6860
t2694
t6859
t2693
t6858
t2692
t6857
t2691
t6856
t2690
t6855
t2689
t6854
t2688
t6853
t6852
t2687
t6851
t2686
t6850
t2685
t6849
t2684
t2683
t6848
t6847
t2682
t6846
t2681
t6845
t2680
t6844
t2679
t6843
t2678
t6842
t2677
t6841
t2676
t6840
t2675
t6839
t2674
t6838
t2673
t6837
t2672
t6836
t2671
t6835
t2670
t6834
t2669
t6833
t2668
t6832
t2667
t6831
t2666
t2665
t6830
t2664
t6829
t6828
t2663
t2662
t6827
t2661
t6826
t2660
t6825
t2659
t6824
t2658
t6823
t6822
t2657
t6821
t2656
t6820
t2655
t6819
t2654
t6818
t2653
t6817
t2652
t6816
t6815
t2651
t6814
t2650
t6813
t2649
t6812
t2648
t6811
t2647
t6810
t2646
t6809
t2645
t6808
t2644
t6807
t2643
t6806
t2642
t6805
t2641
t6804
t6803
t2640
t2639
t6802
t6801
t2638
t6800
t2637
t6799
t2636
t6798
t2635
t6797
t2634
t6796
t2633
t6795
t2632
t6794
t2631
t6793
t2630
t6792
t2629
t6791
t2628
t6790
t2627
t6789
t2626
t6788
t2625
t6787
t2624
t6786
t2623
t6785
t2622
t6784
t2621
t6783
t2620
t6782
t2619
t6781
t6780
t2618
t2617
t6779
t6778
t2616
t6777
t2615
t2614
t6776
t2613
t6775
t2612
t6774
t2611
t6773
t2610
t6772
t6771
t2609
t2608
t6770
t2607
t6769
t6768
t2606
t2605
t6767
t6766
t2604
t6765
t2603
t6764
t2602
t6763
t2601
t2600
t6761
t2599
t6760
t2598
t6759
t2597
t6758
t2596
t6757
t2595
t6756
t2594
t6755
t2593
t6754
t2592
t6753
t6752
t2591
t2590
t6751
t6750
t2589
t6749
t2588
t2587
t6747
t2586
t6746
t2585
t6745
t2584
t6744
t2583
t6743
t2582
t6742
t2581
t2580
t6740
t2579
t6739
t2578
t6738
t2577
t6737
t2576
t6736
t2575
t6735
t2574
t2573
t6733
t2572
t6732
t2571
t6731
t2570
t6730
t2569
t6729
t2568
t6728
t2567
t2566
t6726
t2565
t6725
t2564
t6724
t2563
t6723
t2562
t6722
t6721
t2561
t2560
t6720
t2559
t6719
t2558
t6718
t2557
t6717
t2556
t6716
t6715
t2555
t6714
t2554
t2553
t6712
t2552
t6711
t2551
t6710
t2550
t6709
t2549
t6708
t2548
t6707
t2547
t2546
t6705
t2545
t6704
t2544
t6703
t2543
t6702
t2542
t6701
t2541
t6700
t6699
t2540
t6698
t2539
t6697
t2538
t6696
t2537
t6695
t2536
t6694
t2535
t6693
t2534
t2533
t6691
t2532
t6690
t2531
t6689
t6688
t2530
t6687
t2529
t2528
t6686
t2527
t6684
t2526
t6683
t2525
t6682
t2524
t6681
t2523
t6680
t2522
t6679
t2521
t2520
t6677
t2519
t6676
t2518
t6675
t2517
t6674
t2516
t6673
t2515
t6672
t2514
t6671
t2513
t6670
t2512
t6669
t2511
t6668
t2510
t6667
t2509
t6666
t6665
t2508
t2507
t2506
t6663
t6662
t2505
t2504
t6661
t2503
t6660
t6659
t2502
t2501
t6658
t2500
t6656
t2499
t2498
t6655
t6654
t2497
t6653
t2496
t2495
t6652
t6651
t2494
t2493
t6649
t2492
t6648
t2491
t6647
t2490
t6646
t2489
t6645
t2488
t6644
t2487
t6643
t6642
t2486
t2485
t6641
t6640
t2484
t2483
t6639
t3174
t6638
t2482
t2481
t6637
t2480
t6635
t2479
t6634
t2478
t6633
t2477
t6632
t2476
t6631
t2475
t6630
t2474
t2473
t6628
t2472
t6627
t258
t2471
t6626
t2470
t6625
t2469
t6624
t2468
t6623
t2467
t6622
t2466
t6621
t2465
t6620
t2464
t6619
t2463
t6618
t2462
t6617
t2461
t6616
t2460
t2459
t6614
t6613
t2458
t2457
t6612
t2456
t6611
t2455
t6610
t2454
t6609
t2453
t2452
t6607
t2451
t6606
t2450
t6605
t2449
t6604
t6603
t2448
t2447
t6602
t2446
t6600
t2445
t2444
t6599
t2443
t6598
t6597
t2442
t6596
t2441
t6595
t2440
t2439
t6593
t2438
t6592
t2437
t6591
t2436
t6590
t2435
t2434
t6588
t6589
t2433
t6587
t2432
t2431
t6585
t6586
t2430
t6584
t2429
t6583
t2428
t6582
t2427
t6581
t2426
t2425
t6579
t2424
t6578
t2423
t6577
t2422
t6576
t2421
t6575
t2420
t6574
t2419
t6573
t2418
t6572
t2417
t6571
t2416
t6570
t2415
t6569
t2414
t6568
t2413
t6567
t2412
t6565
t2411
t2410
t6564
t2409
t6563
t6562
t252
t2408
t2407
t6561
t6560
t2406
t2405
t6558
t2404
t6557
t2403
t6556
t2402
t6555
t2401
t6554
t2400
t6553
t2399
t2398
t6551
t2397
t6550
t2396
t6549
t2395
t6548
t2394
t6547
t2393
t6546
t2392
t2391
t6544
t2390
t6543
t2389
t6542
t2388
t6541
t2387
t6540
t2386
t6539
t2385
t2384
t6537
t2383
t6536
t6535
t2382
t2381
t6534
t6533
t2380
t6532
t2379
t6531
t2378
t6530
t2377
t2376
t6529
t6528
t2375
t2374
t6527
t2373
t6526
t2372
t6525
t2371
t6524
t2370
t6523
t2369
t6522
t2368
t6521
t2367
t6520
t2366
t6519
t2365
t6518
t2364
t6517
t2363
t6516
t2362
t6515
t2361
t6514
t2360
t6513
t2359
t6512
t2358
t6511
t6510
t2357
t2356
t6509
t2355
t6508
t2354
t6507
t2353
t6506
t2352
t6505
t2351
t6504
t6503
t2350
t2349
t6502
t2348
t6501
t6500
t2347
t6499
t2346
t6498
t2345
t6497
t2344
t6496
t2343
t6495
t2342
t6494
t2341
t6493
t2340
t6492
t2339
t6491
t2338
t6490
t2337
t6489
t2336
t6488
t2335
t6487
t2334
t6486
t6485
t2333
t6484
t2332
t2331
t6483
t6482
t2330
t2329
t6481
t6480
t2328
t6479
t2327
t6478
t2326
t6477
t2325
t6476
t2324
t6475
t2323
t6474
t2322
t6473
t2321
t6472
t2320
t6471
t6470
t2319
t6469
t2318
t6468
t2317
t6467
t2316
t6466
t2315
t6465
t6464
t2314
t6463
t2313
t6462
t2312
t6461
t6460
t2311
t6459
t2310
t6458
t2309
t6457
t6456
t2308
t6455
t2307
t6454
t2306
t6453
t2305
t6452
t6451
t2304
t6450
t2303
t6449
t2302
t6448
t2301
t6447
t2300
t6446
t6445
t2299
t6444
t2298
t6443
t2297
t6442
t2296
t6441
t6440
t2295
t6439
t2294
t6438
t2293
t6437
t6436
t2292
t2291
t6435
t6434
t2290
t6433
t2289
t6432
t2288
t6431
t2287
t6430
t6429
t2286
t6428
t2285
t6427
t2284
t6426
t6425
t2283
t6424
t2282
t6423
t2281
t6422
t6421
t2280
t2279
t6420
t6419
t2278
t6418
t2277
t6417
t6416
t2276
t2275
t6415
t6414
t2274
t6413
t2273
t6412
t2272
t6411
t2271
t6410
t2270
t6409
t6408
t2269
t6407
t2268
t6406
t2267
t6405
t2266
t6404
t2265
t6403
t6402
t2264
t6401
t2263
t6400
t2262
t6399
t6398
t2261
t6397
t6396
t2260
t6395
t6394
t6393
t2258
t6392
t2257
t6391
t6390
t2256
t6389
t2255
t6388
t6387
t6386
t6385
t2253
t6384
t6383
t2252
t6382
t6381
t2251
t6380
t6379
t2250
t6378
t2249
t6377
t6376
t2248
t6375
t6374
t2247
t6373
t6372
t2246
t6371
t6370
t6369
t6368
t2244
t6367
t6366
t2243
t6365
t2242
t6364
t6363
t2241
t6362
t6361
t2239
t6360
t6359
t2238
t6358
t6357
t2237
t6356
t6355
t2236
t6354
t2235
t6353
t6352
t6351
t2234
t6350
t6349
t6348
t6347
t2232
t2231
t6346
t6345
t2230
t6344
t6343
t2229
t6342
t2228
t6341
t6340
t2227
t6339
t6338
t6337
t2225
t6336
t6335
t6334
t6333
t6332
t2223
t6331
t2222
t6330
t6329
t2221
t6328
t2220
t6327
t6326
t6325
t2218
t6324
t2217
t6323
t6322
t6321
t2216
t6320
t2215
t6319
t2214
t6318
t6317
t6316
t2212
t6315
t6314
t2211
t6313
t6312
t2210
t6311
t6310
t2209
t6309
t251
t2208
t6308
t6307
t2207
t6306
t6305
t6304
t6303
t2204
t6302
t6301
t2203
t6300
t6299
t2202
t6298
t2201
t6297
t6296
t2200
t6295
t6294
t6293
t6292
t2197
t6291
t6290
t2196
t6289
t6288
t2195
t6287
t2194
t6286
t6285
t2193
t6284
t6283
t6282
t2191
t6281
t2190
t6280
t6279
t2189
t6278
t2188
t6277
t2187
t6276
t6275
t2186
t6274
t6273
t6272
t6271
t2183
t6270
t6269
t2182
t6268
t6267
t2181
t6266
t2180
t6265
t6264
t2179
t6263
t2178
t6262
t2742
t6261
t6260
t2176
t6259
t6258
t2175
t6257
t6256
t2174
t6255
t2173
t6254
t6253
t2172
t6252
t6251
t6250
t6249
t6248
t2169
t6247
t2168
t6246
t6245
t2167
t6244
t6243
t2166
t6242
t2165
t6241
t6240
t2164
t6239
t6238
t2163
t6237
t2162
t6236
t6235
t2161
t6234
t6233
t2160
t6232
t6231
t2159
t6230
t2158
t6229
t6228
t2157
t6227
t6226
t6225
t2155
t6224
t6223
t2154
t6222
t6221
t2153
t6220
t2152
t6219
t6218
t2151
t6217
t6216
t2150
t6215
t6214
t6213
t6212
t2148
t6211
t2147
t6210
t6209
t2146
t6208
t6207
t2145
t6206
t2144
t6205
t2143
t6204
t6203
t2142
t6202
t6201
t2141
t6200
t2140
t6199
t6198
t2139
t6197
t6196
t2138
t6195
t6194
t2137
t6193
t2136
t6192
t6191
t6190
t2134
t6189
t6188
t2133
t6187
t2132
t6186
t6185
t2131
t6184
t2130
t6183
t6182
t6181
t2129
t6180
t6179
t6178
t2127
t6177
t6176
t2126
t6175
t2125
t6174
t6173
t2124
t6172
t6171
t2123
t6170
t2122
t6169
t6168
t6167
t6166
t2120
t6165
t2119
t6164
t6163
t2118
t6162
t6161
t2117
t6160
t2116
t6159
t6158
t2115
t6157
t6156
t2114
t6155
t6154
t2113
t6153
t2112
t6152
t6151
t2111
t6150
t6149
t2110
t6148
t2109
t6147
t6146
t2108
t6145
t6144
t6143
t2106
t6142
t6141
t2105
t6140
t2104
t6139
t2103
t6138
t6137
t6136
t2102
t6135
t2101
t6134
t6133
t6132
t6131
t2099
t6130
t2098
t6129
t6128
t2097
t6127
t6126
t2096
t6125
t6124
t2095
t6123
t6122
t2094
t6121
t6120
t6119
t2092
t6118
t6117
t2091
t6116
t6115
t2090
t6114
t2089
t6113
t6112
t2088
t6111
t2087
t6110
t6109
t2086
t6108
t6107
t2085
t6106
t2084
t6105
t6104
t2083
t6103
t6102
t2082
t2081
t6101
t6100
t6099
t2080
t6098
t6097
t6096
t2078
t6095
t6094
t2077
t6093
t6092
t2076
t6091
t2075
t6090
t6089
t2074
t6088
t6087
t2073
t6086
t6085
t6084
t2071
t6083
t6082
t2070
t6081
t2069
t6080
t6079
t2068
t6078
t6077
t2067
t6076
t6075
t2066
t6074
t2065
t6073
t6072
t2064
t6071
t6070
t2063
t6069
t2062
t6068
t6067
t2061
t6066
t6065
t6064
t2059
t6063
t6062
t6061
t2057
t6060
t6059
t2056
t6058
t2055
t6057
t6056
t2054
t6055
t2053
t6054
t6053
t2052
t6052
t6051
t6050
t2050
t2049
t6049
t6048
t2048
t6047
t6046
t2047
t6045
t2046
t6044
t2045
t6043
t6042
t6041
t6040
t2043
t6039
t6038
t2042
t6037
t2041
t6036
t2040
t6035
t6034
t6033
t2038
t6032
t6031
t2037
t6030
t6029
t2036
t6028
t2035
t6027
t6026
t2034
t6025
t6024
t6023
t2033
t6022
t6021
t2031
t6020
t6019
t6018
t6017
t2029
t6016
t2028
t6015
t6014
t2027
t6013
t6012
t2026
t6011
t6010
t2024
t6009
t6008
t6007
t2022
t6006
t6005
t2021
t6004
t2020
t6003
t6002
t2019
t6001
t6000
t5999
t2017
t5998
t5997
t2016
t5996
t2015
t5995
t5994
t2014
t5993
t5992
t2013
t5991
t2012
t5990
t5989
t2011
t5988
t5987
t2010
t5986
t5985
t5984
t2008
t5983
t5982
t2007
t5981
t2006
t5980
t5979
t2005
t5978
t5977
t2004
t5976
t5975
t2003
t5974
t5973
t5972
t2001
t5971
t5970
t2000
t5969
t5968
t1999
t5967
t1998
t5966
t5965
t1997
t5964
t1996
t5963
t5962
t5961
t1994
t5960
t5959
t1993
t5958
t5957
t1992
t5956
t1991
t5955
t5954
t1990
t5953
t1989
t5952
t5951
t1988
t5950
t5949
t1987
t5948
t1986
t5947
t5946
t1985
t5945
t5944
t1984
t1983
t5943
t5942
t5941
t1982
t5940
t5939
t5938
t5937
t1980
t5936
t1979
t5935
t5934
t1978
t5933
t5932
t1977
t5931
t1976
t5930
t5929
t1975
t5928
t5927
t5926
t5925
t1973
t5924
t1972
t5923
t5922
t1971
t5921
t5920
t1970
t5919
t1969
t5918
t5917
t1968
t5916
t5915
t1967
t5914
t1966
t5913
t5912
t1965
t5911
t5910
t1964
t5909
t1963
t5908
t5907
t1962
t5906
t5905
t1961
t5904
t5903
t5902
t1959
t5901
t5900
t1958
t5899
t1957
t5898
t5897
t1956
t5896
t5895
t1955
t5894
t1954
t5893
t5892
t5891
t5890
t1952
t5889
t1951
t5888
t5887
t1950
t5886
t5885
t1949
t5884
t5883
t1948
t5882
t1947
t5881
t5880
t5879
t5878
t1945
t5877
t1944
t5876
t5875
t1943
t5874
t5873
t1942
t5872
t5871
t1941
t5870
t5869
t1940
t5868
t5867
t5866
t1938
t5865
t5864
t1937
t5863
t1936
t5862
t5861
t1935
t5860
t1934
t5859
t5858
t1933
t5857
t5856
t1932
t5855
t5854
t1931
t5853
t1930
t5852
t5851
t1929
t5850
t5849
t1928
t5848
t5847
t250
t1927
t5846
t1926
t5845
t5844
t5843
t5842
t1924
t5841
t1923
t5840
t5839
t1922
t5838
t5837
t1921
t5836
t1920
t5835
t5834
t1919
t5833
t5832
t1918
t5831
t1917
t5830
t5829
t1916
t5828
t5827
t1915
t5826
t1914
t5825
t5824
t1913
t5823
t5822
t1912
t5821
t5820
t5819
t1910
t5818
t5817
t1909
t5816
t1908
t5815
t5814
t1907
t5813
t5812
t1906
t5811
t1905
t5810
t5809
t5808
t5807
t1903
t5806
t5805
t1902
t5804
t1901
t5803
t5802
t1900
t5801
t5800
t1899
t5799
t1898
t5798
t5797
t5796
t5795
t1896
t5794
t1895
t5793
t5792
t1894
t5791
t5790
t1893
t5789
t5788
t1892
t5787
t1891
t5786
t5785
t5784
t1889
t5783
t5782
t1888
t5781
t1887
t5780
t5779
t1886
t5778
t1885
t5777
t5776
t5775
t1884
t5774
t1883
t5773
t5772
t1882
t5771
t5770
t1881
t5769
t5768
t1880
t5767
t1879
t5766
t5765
t1878
t5764
t5763
t1877
t5762
t5761
t5760
t1875
t5759
t5758
t1874
t5757
t1873
t5756
t5755
t1872
t5754
t5753
t1871
t5752
t1870
t5751
t5750
t1869
t5749
t5748
t1868
t5747
t1867
t5746
t5745
t1866
t5744
t5743
t1865
t5742
t1864
t5741
t5740
t1863
t5739
t5738
t5737
t1861
t5736
t5735
t1860
t5734
t5733
t1859
t5732
t5731
t1858
t5730
t1857
t5729
t5728
t1856
t5727
t5726
t5725
t1854
t5724
t5723
t1853
t5722
t5721
t1852
t5720
t1851
t5719
t5718
t1850
t5717
t5716
t1849
t5715
t5714
t5713
t1847
t5712
t5711
t1846
t5710
t1845
t5709
t5708
t1844
t5707
t5706
t1843
t5705
t1842
t5704
t5703
t5702
t1840
t5701
t5700
t1839
t5699
t5698
t1838
t5697
t1837
t5696
t1836
t5695
t5694
t5693
t5692
t1835
t5691
t1834
t5690
t5689
t1833
t5688
t5687
t1832
t5686
t1831
t5685
t5684
t1830
t5683
t5682
t1829
t1828
t5681
t5680
t5679
t5678
t1826
t5677
t1825
t5676
t5675
t1824
t5674
t5673
t1823
t5672
t1822
t5671
t5670
t1821
t5669
t5668
t1820
t5667
t5666
t1819
t5665
t1818
t5664
t1817
t5663
t5662
t5661
t1815
t5660
t5659
t1814
t5658
t5657
t5656
t3175
t5655
t1812
t5654
t1811
t5653
t5652
t1810
t5651
t5650
t5649
t1808
t5648
t1807
t5647
t5646
t5645
t1805
t5644
t5643
t1804
t5642
t5641
t1803
t5640
t5639
t1801
t5638
t1800
t5637
t5636
t5635
t5634
t1798
t5633
t1797
t5632
t5631
t1796
t5630
t5629
t5628
t1794
t5627
t1793
t5626
t5625
t5624
t1791
t5623
t5622
t1790
t5621
t5620
t1789
t5619
t5618
t1788
t5617
t5616
t5615
t1786
t5614
t1785
t5613
t5612
t1784
t5611
t1783
t5610
t5609
t1782
t5608
t5607
t5606
t1780
t5605
t5604
t1779
t5603
t5602
t5601
t1777
t5600
t1776
t5599
t5598
t1775
t5597
t5596
t5595
t1773
t5594
t5593
t1772
t5592
t1771
t5591
t5590
t1770
t5589
t5588
t1769
t5587
t1768
t5586
t5585
t1767
t5584
t5583
t1766
t5582
t1765
t5581
t5580
t5579
t5578
t1763
t5577
t5576
t1762
t5575
t5574
t1761
t5573
t1760
t5572
t1759
t5571
t5570
t1758
t5569
t5568
t5567
t1756
t5566
t1755
t5565
t5564
t1754
t5563
t1753
t5562
t1752
t5561
t5560
t1751
t5559
t5558
t5557
t1749
t5556
t5555
t1748
t5554
t5553
t1747
t5552
t1746
t5551
t5550
t1745
t5549
t5548
t1744
t5547
t5546
t5545
t1742
t5544
t1741
t5543
t5542
t5541
t5540
t1739
t5539
t1740
t1738
t5538
t5537
t1737
t5536
t5535
t1735
t5534
t5533
t1734
t5532
t5531
t1733
t5530
t1732
t5529
t5528
t1731
t5527
t5526
t1730
t5525
t5524
t1729
t5523
t5522
t1728
t5521
t5520
t1727
t5519
t1726
t5518
t5517
t1725
t5516
t1724
t5515
t5514
t1723
t1722
t5513
t5512
t5511
t1721
t5510
t5509
t1720
t5508
t1719
t5507
t5506
t1718
t5505
t5504
t1717
t5503
t5502
t1716
t5501
t5500
t5499
t1714
t5498
t5497
t1713
t5496
t1712
t5495
t5494
t1711
t5493
t5492
t1710
t5491
t1709
t5490
t5489
t5488
t5487
t1707
t5486
t5485
t1706
t5484
t1705
t5483
t1704
t5482
t5481
t1703
t5480
t5479
t1702
t5478
t5477
t5476
t1700
t5475
t5474
t1699
t5473
t1698
t5472
t5471
t1697
t5470
t1696
t5469
t5468
t1695
t5467
t5466
t5465
t5464
t1693
t5463
t1692
t5462
t5461
t5460
t1690
t5459
t1691
t5458
t1689
t5457
t1688
t5456
t5455
t5454
t5453
t1686
t5452
t5451
t1685
t5450
t1684
t5449
t1683
t5448
t5447
t1682
t5446
t5445
t1681
t1680
t5444
t5443
t5442
t1679
t5441
t5440
t1678
t5439
t1677
t5438
t5437
t1676
t5436
t5435
t1675
t5434
t1674
t5433
t5432
t1673
t5431
t5430
t1672
t5429
t249
t5428
t1671
t5427
t1670
t5426
t5425
t1669
t5424
t5423
t1668
t5422
t1667
t5421
t5420
t5419
t5418
t1665
t5417
t1664
t5416
t5415
t1663
t5414
t5413
t1662
t5412
t1661
t5411
t5410
t1660
t5409
t5408
t5407
t1658
t5406
t5405
t1657
t5404
t5403
t1656
t5402
t1655
t5401
t5400
t1654
t5399
t5398
t1653
t5397
t5396
t5395
t1651
t5394
t5393
t1650
t5392
t1649
t5391
t5390
t1648
t5389
t5388
t1647
t5387
t1646
t5386
t5385
t5384
t5383
t1644
t5382
t1643
t5381
t5380
t1642
t5379
t5378
t1641
t1640
t5377
t5376
t5375
t1639
t5374
t5373
t5372
t5371
t1637
t5370
t1636
t5369
t5368
t1635
t5367
t5366
t1634
t5365
t1633
t5364
t5363
t1632
t5362
t5361
t1631
t5360
t1630
t5359
t5358
t1629
t5357
t5356
t1628
t5355
t1627
t5354
t5353
t1626
t5352
t5351
t1625
t5350
t1624
t5349
t5348
t1623
t5347
t5346
t1622
t5345
t1621
t5344
t5343
t1620
t5342
t1619
t5341
t5340
t1618
t5339
t5338
t5337
t1616
t5336
t5335
t1615
t5334
t5333
t1614
t5332
t1613
t5331
t5330
t1612
t5329
t5328
t1611
t5327
t5326
t5325
t1609
t5324
t5323
t1608
t5322
t1607
t5321
t5320
t1606
t5319
t5318
t1605
t5317
t1604
t5316
t5315
t5314
t5313
t1602
t5311
t5312
t1601
t5310
t1600
t5309
t5308
t1599
t5307
t5306
t1598
t5305
t1597
t5304
t5303
t5302
t1595
t5301
t5300
t1594
t5299
t5298
t1593
t5297
t1592
t5296
t1591
t5295
t5294
t5293
t5292
t1590
t5291
t5290
t5289
t1588
t5288
t5287
t1587
t5286
t1586
t5285
t5284
t1585
t5283
t5282
t1584
t1583
t5281
t5280
t1582
t5279
t5278
t1581
t5277
t1580
t5276
t5275
t1579
t5274
t5273
t1578
t5272
t1577
t5271
t5270
t1576
t5269
t5268
t1575
t5267
t1574
t5266
t5265
t1573
t5264
t5263
t1572
t5262
t1571
t5261
t5260
t1570
t5259
t5258
t1569
t5257
t5256
t5255
t1567
t5254
t5253
t1566
t5252
t1565
t5251
t5250
t1564
t5249
t5248
t1563
t5247
t5246
t1562
t5245
t5244
t5243
t1560
t5242
t5241
t1559
t5240
t1558
t5239
t5238
t1557
t5237
t5236
t1556
t5235
t1555
t5234
t5233
t5232
t5231
t1553
t5230
t1552
t5229
t5228
t1551
t5227
t5226
t1550
t5225
t1549
t5224
t5223
t1548
t5222
t5221
t5220
t1546
t5219
t5218
t1545
t5217
t1544
t5216
t5215
t1543
t5214
t5213
t1542
t5212
t1541
t5211
t5210
t5209
t5208
t1539
t5207
t1538
t5206
t5205
t1537
t5204
t5203
t1536
t5202
t1535
t5201
t5200
t1534
t5199
t5198
t1533
t5197
t1532
t5196
t5195
t1531
t5194
t5193
t1530
t5192
t1529
t5191
t5190
t1528
t5189
t5188
t1527
t5187
t1526
t5186
t5185
t1525
t5184
t5183
t1524
t5182
t1523
t5181
t5180
t1522
t5179
t5178
t1521
t5177
t1520
t5176
t5175
t1519
t5174
t5173
t1518
t5172
t1517
t5171
t5170
t1516
t5169
t5168
t1515
t5167
t1514
t5166
t5165
t1513
t5164
t5163
t1512
t5162
t1511
t5161
t5160
t1510
t5159
t5158
t1509
t5157
t5156
t1508
t5155
t1507
t5154
t5153
t1506
t5152
t5151
t1505
t5150
t1504
t5149
t5148
t1503
t5147
t5146
t1502
t5145
t1501
t5144
t5143
t1500
t5142
t5141
t1499
t5140
t1498
t5139
t5138
t1497
t5137
t5136
t1496
t5135
t1495
t5134
t5133
t1494
t5132
t5131
t1493
t5130
t1492
t5129
t5128
t1491
t5127
t5126
t1490
t5125
t1489
t5124
t5123
t1488
t5122
t5121
t1487
t5120
t1486
t5119
t5118
t1485
t5117
t5116
t1484
t5115
t5114
t1483
t5113
t1482
t5112
t5111
t1481
t5110
t5109
t1480
t5108
t1479
t5107
t5106
t1478
t5105
t5104
t1477
t5103
t1476
t5102
t5101
t1475
t5100
t5099
t1474
t5098
t1473
t5097
t5096
t1472
t5095
t5094
t1471
t5093
t1470
t5092
t5091
t1469
t5090
t5089
t1468
t5088
t5087
t1467
t5086
t1466
t5085
t1465
t5084
t5083
t1464
t5082
t1463
t5081
t5080
t248
t1462
t5079
t5078
t1461
t5077
t1460
t5076
t1459
t5075
t5074
t1458
t5073
t1457
t5072
t5071
t1456
t5070
t5069
t1455
t5068
t1454
t5067
t5066
t1453
t5065
t5064
t1452
t5063
t1451
t5062
t5061
t1450
t5060
t5059
t1449
t5058
t1448
t5057
t5056
t1447
t5055
t1446
t5054
t5053
t1445
t1444
t5052
t5051
t5050
t1443
t5049
t5048
t1442
t5047
t1441
t5046
t5045
t1440
t5044
t1439
t5043
t5042
t1438
t5041
t5040
t1437
t5039
t1436
t5038
t5037
t1435
t5036
t5035
t1434
t5034
t5033
t1433
t5032
t1432
t5031
t5030
t1431
t5029
t5028
t1430
t5027
t1429
t5026
t5025
t1428
t5024
t5023
t1427
t5022
t1426
t5021
t5020
t1425
t5019
t1424
t5018
t5017
t1423
t5016
t1422
t5015
t5014
t1421
t5013
t5012
t1420
t5011
t1419
t5010
t5009
t1418
t5008
t5007
t1417
t5006
t1416
t5005
t1415
t5004
t5003
t5002
t1414
t5001
t1413
t5000
t1412
t4999
t4998
t1411
t4997
t4996
t1410
t4995
t4994
t1409
t1408
t4993
t4992
t4991
t1407
t4990
t1406
t4989
t4988
t1405
t4987
t1404
t4986
t4985
t1403
t4984
t4983
t1402
t4982
t1401
t4981
t4980
t1400
t4979
t1399
t4978
t4977
t1398
t4976
t1397
t4975
t4974
t1396
t4973
t4972
t1395
t1394
t4971
t4970
t1393
t4969
t1392
t4968
t4967
t1391
t4966
t4965
t1390
t4964
t1389
t4963
t4962
t1388
t4961
t4960
t1387
t4959
t4958
t4957
t1386
t4956
t1385
t4955
t1384
t4954
t4953
t1383
t4952
t4951
t1382
t4950
t4949
t1381
t1380
t4948
t4947
t4946
t4945
t1379
t4944
t1378
t4943
t4942
t1377
t4941
t4940
t1376
t4939
t1375
t4938
t4937
t1374
t4936
t1373
t4935
t4934
t1372
t4933
t4932
t1371
t4931
t1370
t4930
t4929
t1369
t4928
t1368
t4927
t4926
t1367
t4925
t4924
t1366
t4923
t1365
t4922
t4921
t1364
t4920
t1363
t4919
t4918
t1362
t4917
t4916
t1361
t4915
t4914
t1360
t4913
t1359
t4912
t4911
t1358
t4910
t4909
t1357
t4908
t4907
t1356
t4906
t1355
t4905
t4904
t1354
t4903
t4902
t1353
t4901
t1352
t4900
t1351
t4899
t4898
t4897
t1350
t4896
t1349
t4895
t4894
t1348
t4893
t1347
t4892
t4891
t1346
t4890
t4889
t1345
t4888
t4887
t1344
t4886
t1343
t4885
t1342
t4884
t4883
t4882
t1341
t4881
t1340
t4880
t4879
t1339
t4878
t1338
t4877
t4876
t1337
t4875
t4874
t1336
t4873
t1335
t4872
t4871
t1334
t4870
t1333
t4869
t4868
t1332
t4867
t4866
t1331
t4865
t4864
t1330
t4863
t1329
t4862
t4861
t1328
t4860
t1327
t4859
t4858
t1326
t4857
t4856
t1325
t4855
t1324
t4854
t4853
t1323
t4852
t1322
t4851
t4850
t1321
t4849
t4848
t1320
t4847
t1319
t4846
t4845
t1318
t4844
t1317
t4843
t4842
t1316
t4841
t4840
t1315
t4839
t1314
t4838
t4837
t1313
t4836
t4835
t1312
t4834
t1311
t4833
t4832
t1310
t4831
t1309
t4830
t4829
t1308
t4828
t4827
t1307
t4826
t1306
t4825
t1305
t4824
t4823
t4822
t1304
t4821
t1303
t4820
t4819
t1302
t4818
t4817
t1301
t4816
t4815
t1300
t4814
t1299
t4812
t1298
t4811
t1297
t4810
t4809
t4808
t1296
t1295
t4807
t4806
t4805
t1294
t1293
t4804
t4803
t4802
t1292
t4801
t1291
t4800
t4799
t1290
t4798
t4797
t1289
t4796
t1288
t4795
t1287
t4794
t4793
t1286
t4792
t1285
t4791
t4790
t1284
t4789
t4788
t1283
t4787
t1282
t4786
t4785
t1281
t4784
t4783
t1280
t4782
t1279
t4781
t4780
t1278
t4779
t1277
t4778
t4777
t1276
t4776
t4775
t1275
t4774
t1274
t4773
t4772
t1273
t4771
t4770
t1272
t4769
t1271
t4768
t4767
t1270
t4766
t1269
t4765
t4764
t1268
t4763
t4762
t1267
t4761
t4760
t1266
t4759
t1265
t4758
t4757
t1264
t4756
t4755
t1263
t4754
t1262
t4753
t1261
t4752
t4751
t1260
t4750
t4749
t1259
t4748
t1258
t4747
t4746
t1257
t4745
t1256
t4744
t4743
t1255
t4742
t4741
t1254
t4740
t4739
t1253
t4738
t1252
t4737
t4736
t1251
t4735
t1250
t4734
t4733
t1249
t4732
t1248
t4731
t4730
t1247
t4729
t4728
t1246
t4727
t1245
t4726
t4725
t1244
t4724
t1243
t4723
t4722
t1242
t4721
t4720
t1241
t4719
t1240
t4718
t4717
t1239
t4716
t4715
t1238
t4714
t1237
t4713
t4712
t1236
t4711
t1235
t4710
t4709
t1234
t4708
t4707
t1233
t4706
t4705
t1232
t4704
t1231
t4703
t1230
t4702
t4701
t1229
t2259
t4700
t4699
t1228
t4698
t1227
t4697
t4696
t1226
t4695
t4694
t4693
t1224
t4692
t4691
t1223
t4690
t1222
t4689
t4688
t1221
t4687
t4686
t1220
t4685
t1219
t4684
t4683
t1218
t4682
t1217
t4681
t4680
t1216
t4679
t4678
t1215
t2245
t4677
t4676
t1214
t4675
t1213
t4674
t4673
t1212
t4672
t4671
t4670
t4669
t1210
t4668
t1209
t4667
t247
t4666
t4665
t4664
t1207
t4663
t1208
t4662
t1206
t4661
t1205
t4660
t4659
t4658
t1203
t4657
t4656
t1202
t4655
t4654
t1201
t4653
t4652
t4651
t1200
t4650
t1199
t4649
t1198
t4648
t4647
t4646
t1196
t4645
t4644
t1195
t1194
t4642
t2224
t4641
t4640
t1193
t4639
t1192
t4638
t1191
t4637
t4636
t4635
t4634
t1189
t4633
t4632
t1188
t4631
t1187
t4630
t1186
t4629
t4628
t4627
t1185
t4626
t1184
t4625
t4624
t1183
t4623
t1182
t2213
t1181
t4622
t4621
t4620
t1180
t4619
t1179
t4618
t4617
t4616
t1178
t4615
t1177
t4614
t4613
t4612
t2206
t1175
t4611
t4610
t1174
t4609
t1173
t4608
t4607
t1172
t4606
t4605
t1171
t4604
t1170
t4603
t4602
t4601
t2199
t1168
t4599
t1167
t4598
t4597
t1166
t4596
t1165
t4595
t4594
t1164
t4593
t4592
t1163
t4591
t4590
t1162
t4589
t2192
t4588
t4587
t1160
t4586
t1159
t4585
t4584
t1158
t4583
t1157
t4582
t4581
t1156
t4580
t4579
t4578
t2185
t1154
t4577
t4576
t1153
t4575
t4574
t1152
t4573
t1151
t4572
t4571
t1150
t4570
t4569
t4568
t1149
t4567
t4566
t4565
t1146
t4564
t4563
t4562
t4561
t1145
t1144
t4560
t4559
t4558
t1143
t4557
t1142
t4556
t4555
t2171
t4554
t4553
t4552
t1139
t4551
t1138
t4550
t1137
t4549
t4548
t4547
t1136
t4546
t4545
t1135
t4544
t1134
t4543
t1133
t4542
t4541
t1132
t4540
t4539
t1131
t4538
t1130
t4537
t4536
t1129
t4535
t1128
t4534
t4533
t4532
t4531
t1126
t4530
t1125
t4529
t4528
t1124
t4527
t1123
t4526
t4525
t1122
t4524
t4523
t4522
t1121
t4521
t4520
t1119
t4519
t4518
t4517
t1118
t4516
t4515
t1117
t4514
t1116
t4513
t1115
t4512
t4511
t1114
t4510
t1113
t4509
t4508
t1112
t4507
t1111
t4506
t1161
t4505
t1110
t4504
t4503
t1109
t4502
t1108
t1107
t4501
t4500
t4498
t4643
t4499
t4497
t1105
t4496
t4495
t1104
t4494
t1103
t4493
t4492
t4491
t1102
t4490
t1101
t4489
t4488
t1100
t4487
t4486
t4485
t1098
t4484
t1097
t4483
t1147
t4482
t1096
t4481
t4480
t1095
t4479
t4478
t1094
t4477
t1093
t4476
t4475
t4474
t1091
t4473
t4472
t1090
t4471
t1140
t4470
t1089
t4469
t1088
t4468
t4467
t1087
t4466
t4465
t1086
t4464
t1085
t4463
t4462
t1084
t4461
t1083
t4460
t1082
t4459
t4458
t4457
t1081
t4456
t1080
t4455
t1079
t4454
t4453
t4452
t4451
t1077
t4450
t4449
t1076
t4448
t1075
t4447
t4446
t1074
t4445
t4444
t1073
t4443
t1072
t4442
t4441
t4440
t4439
t1070
t4438
t1069
t4437
t4436
t1068
t4435
t4434
t1067
t4433
t1066
t4432
t4431
t1065
t4430
t4429
t4428
t1063
t4427
t1062
t4426
t4425
t1061
t4424
t4423
t1060
t4422
t1058
t1059
t4421
t4420
t4419
t1057
t4418
t4417
t1056
t4416
t4415
t1055
t1054
t4414
t4413
t4412
t1053
t4411
t4410
t1052
t4409
t4408
t1051
t4407
t4406
t4405
t1049
t4404
t4403
t246
t1048
t4402
t4401
t4400
t1047
t4399
t1046
t4398
t4397
t1045
t4396
t1044
t4395
t4394
t4393
t4392
t1042
t4391
t4390
t1041
t4389
t1040
t4388
t4387
t1039
t4386
t1038
t4385
t1037
t4384
t4383
t2060
t1036
t4382
t4381
t1035
t4380
t4379
t1034
t4378
t1033
t4377
t4376
t1032
t4375
t1031
t4374
t4373
t1030
t4372
t4371
t4370
t4369
t1028
t1027
t4368
t4367
t1026
t4366
t4365
t1025
t4364
t1024
t4363
t4362
t1023
t4361
t4360
t4359
t1021
t4358
t4357
t1020
t4356
t4355
t1019
t4354
t1018
t4353
t1017
t4352
t4351
t1016
t4350
t4349
t2039
t4348
t4347
t1014
t4346
t1013
t4345
t4344
t1012
t4343
t4342
t1011
t1010
t4341
t4340
t4339
t1009
t4338
t2032
t1008
t4337
t4336
t1007
t4335
t4334
t1006
t4333
t1005
t4332
t4331
t1004
t4330
t1003
t4329
t4328
t1002
t4327
t4326
t2025
t4325
t4324
t1000
t4323
t999
t4322
t4321
t998
t4320
t4319
t997
t4318
t996
t4317
t4316
t995
t4315
t2018
t4314
t4313
t4312
t993
t4311
t992
t4310
t4309
t991
t4308
t990
t4307
t4306
t989
t4305
t4304
t988
t4303
t4302
t987
t4301
t986
t4300
t985
t4299
t4298
t984
t4297
t4296
t983
t4295
t982
t4294
t4293
t981
t4292
t4291
t4290
t979
t4289
t4288
t978
t4287
t4286
t977
t4285
t4284
t975
t4283
t976
t4282
t974
t4281
t4280
t4279
t4278
t972
t4277
t971
t4276
t4275
t4274
t970
t4273
t4272
t969
t968
t4271
t4270
t967
t4269
t4268
t4267
t965
t4266
t4265
t964
t4264
t4263
t963
t4262
t962
t4261
t4260
t961
t4259
t960
t4258
t4257
t959
t4256
t4255
t958
t4254
t957
t4253
t4252
t956
t4251
t4250
t955
t4249
t954
t4248
t4247
t953
t4246
t4245
t4244
t951
t4243
t4242
t950
t4241
t4240
t949
t4239
t4238
t948
t4237
t947
t4236
t4235
t946
t4234
t4233
t4232
t944
t4231
t943
t4230
t4229
t942
t4228
t4227
t941
t4226
t940
t4225
t4224
t939
t4223
t4222
t938
t4221
t937
t4220
t4219
t936
t4218
t935
t4217
t4216
t934
t4215
t4214
t933
t4213
t932
t4212
t4211
t4210
t930
t4209
t4208
t929
t4207
t4206
t928
t4205
t4204
t927
t4203
t926
t4202
t4201
t925
t4200
t4199
t4198
t923
t4197
t922
t4196
t4195
t921
t4194
t4193
t920
t4192
t4191
t919
t4190
t918
t4189
t4188
t4187
t916
t4186
t4185
t915
t4184
t4183
t914
t4182
t913
t4181
t4180
t912
t4179
t4178
t911
t4177
t4176
t4175
t909
t4174
t4173
t908
t4172
t4171
t907
t4170
t906
t4169
t4168
t905
t4167
t904
t4166
t4165
t903
t4164
t902
t4163
t4162
t901
t4161
t4160
t900
t4159
t4158
t899
t4157
t898
t4156
t4155
t897
t4154
t4153
t4152
t895
t4151
t894
t4150
t4149
t893
t4148
t4147
t892
t4146
t891
t4145
t890
t4144
t4143
t4142
t889
t4141
t888
t4140
t4139
t887
t4138
t886
t4137
t4136
t885
t4135
t4134
t884
t4133
t883
t4132
t4131
t4130
t881
t4129
t4128
t880
t4127
t4126
t879
t4125
t4124
t878
t4123
t877
t4122
t4121
t876
t4120
t4119
t4118
t874
t4117
t873
t4116
t4115
t872
t4114
t4113
t871
t4112
t870
t4111
t4110
t869
t4109
t4108
t4107
t867
t4106
t866
t4105
t4104
t865
t4103
t4102
t864
t4101
t4100
t862
t863
t4099
t4098
t4097
t4096
t860
t4095
t4094
t859
t4093
t4091
t4092
t858
t4090
t4089
t857
t4088
t856
t4087
t855
t4086
t4085
t854
t4084
t853
t4083
t4082
t852
t4081
t4080
t851
t4079
t4078
t850
t4077
t849
t4076
t4075
t848
t4074
t4073
t4072
t846
t4071
t4070
t845
t4069
t844
t4068
t843
t4067
t4066
t842
t4065
t4064
t1816
t841
t4063
t4062
t840
t4061
t4060
t839
t4059
t838
t4058
t4057
t837
t4056
t836
t4055
t4054
t835
t4053
t1809
t834
t4052
t4051
t4050
t4049
t832
t4048
t4047
t831
t4046
t4045
t830
t829
t4044
t4043
t828
t4042
t4041
t1802
t827
t4040
t4039
t4038
t825
t4037
t4036
t824
t4035
t4034
t823
t4033
t822
t4032
t821
t4031
t4030
t1795
t820
t4029
t4028
t4027
t245
t4026
t818
t4025
t4024
t817
t4023
t816
t4022
t815
t4021
t4020
t814
t4019
t4018
t1787
t813
t4017
t4016
t4015
t811
t4014
t4013
t810
t4012
t4011
t809
t4010
t808
t4009
t807
t4008
t4007
t1781
t4006
t4005
t805
t4004
t4003
t4002
t804
t4001
t803
t4000
t3999
t802
t801
t3998
t3997
t800
t3996
t3995
t1774
t799
t3994
t3993
t3992
t3991
t797
t3990
t796
t3989
t3988
t795
t3987
t3986
t794
t3985
t793
t3984
t3983
t792
t3982
t791
t3981
t3980
t790
t3979
t3978
t789
t3977
t3976
t788
t3975
t787
t786
t3974
t3973
t3972
t3971
t785
t3970
t3969
t3968
t783
t3967
t782
t3966
t781
t3965
t3964
t780
t3963
t3962
t779
t3961
t778
t3960
t3959
t3958
t3957
t776
t3956
t775
t3955
t3954
t774
t3953
t3952
t773
t3951
t3950
t772
t3949
t3948
t771
t3947
t3946
t3945
t769
t3944
t768
t3943
t3942
t767
t3941
t766
t3940
t3939
t3938
t765
t3937
t764
t3936
t3935
t762
t3934
t3933
t3932
t761
t3931
t760
t3930
t3929
t759
t3928
t3927
t3926
t758
t3925
t757
t3924
t756
t806
t3923
t3922
t755
t3921
t754
t753
t3920
t3919
t3918
t752
t3917
t3916
t751
t3915
t3914
t750
t3913
t3912
t3911
t748
t3910
t3909
t747
t3908
t3907
t746
t3906
t745
t3905
t744
t3904
t3903
t743
t3902
t3901
t742
t3900
t741
t3899
t740
t3898
t3897
t3896
t3895
t738
t3894
t737
t3893
t3892
t736
t3891
t3890
t3889
t734
t3888
t3887
t733
t3886
t3885
t3884
t731
t3883
t730
t3882
t3881
t729
t3880
t3879
t727
t3878
t726
t3877
t725
t3876
t724
t3875
t723
t3874
t722
t3873
t3872
t3871
t720
t3870
t3869
t719
t3868
t3867
t718
t3866
t717
t3865
t3864
t716
t3863
t715
t3862
t3861
t3860
t3859
t713
t3858
t712
t3857
t3856
t711
t3855
t710
t3854
t3853
t709
t3852
t708
t3851
t3850
t3849
t706
t3848
t705
t3847
t3846
t704
t3845
t3844
t703
t3843
t3842
t702
t3841
t3840
t3839
t701
t3838
t700
t3837
t699
t3836
t3835
t698
t3834
t697
t3833
t3832
t696
t3831
t695
t3830
t3829
t694
t3828
t3827
t693
t3826
t692
t3825
t3824
t691
t3823
t3822
t690
t3821
t689
t3820
t3819
t688
t3818
t3817
t687
t3816
t3815
t3814
t685
t3813
t3812
t684
t3811
t683
t3810
t3809
t682
t3808
t681
t3807
t3806
t680
t3805
t3804
t3803
t678
t3802
t3801
t677
t3800
t676
t3799
t3798
t675
t3797
t3796
t674
t3795
t673
t3794
t3793
t3792
t3791
t671
t3790
t670
t3789
t3788
t669
t3787
t3786
t668
t3785
t667
t3784
t3783
t666
t3782
t3781
t3780
t664
t3779
t3778
t663
t3777
t3776
t662
t3775
t661
t3774
t3773
t660
t3772
t3771
t659
t3770
t3769
t3768
t657
t3767
t3766
t656
t3765
t655
t3764
t3763
t3762
t654
t3761
t653
t3760
t3759
t652
t3758
t651
t3757
t3756
t650
t3755
t3754
t649
t3753
t648
t3752
t3751
t647
t3750
t3749
t646
t3748
t645
t3747
t3746
t644
t3745
t3744
t643
t3743
t3742
t642
t3741
t641
t3740
t640
t3739
t3738
t739
t639
t3737
t3736
t638
t3735
t3734
t3733
t636
t3732
t3731
t635
t3730
t634
t3729
t3728
t633
t3727
t3726
t732
t632
t3725
t3724
t631
t3723
t3722
t3721
t629
t3720
t628
t3719
t3718
t627
t3717
t3716
t626
t3715
t625
t3714
t3713
t624
t3712
t3711
t3710
t3709
t622
t3708
t621
t3707
t620
t3706
t3705
t619
t3704
t3703
t3702
t617
t3701
t3700
t3699
t3698
t615
t3697
t3696
t3695
t614
t613
t3694
t612
t3693
t3692
t3691
t611
t3690
t3689
t610
t3688
t3687
t3686
t3685
t608
t3684
t607
t3683
t3682
t606
t3681
t3680
t605
t3679
t604
t3678
t3677
t603
t3676
t3675
t602
t3674
t3673
t601
t3672
t600
t3671
t3670
t599
t3669
t3668
t598
t3667
t597
t3666
t3665
t596
t3664
t595
t3663
t3662
t594
t3661
t3660
t593
t3659
t592
t3658
t3657
t591
t3656
t3655
t590
t3654
t589
t3653
t3652
t3651
t3650
t587
t3649
t586
t3648
t3647
t585
t3646
t3645
t584
t3644
t583
t3643
t3642
t582
t3641
t3640
t3639
t580
t3638
t3637
t579
t3636
t578
t3635
t3634
t577
t3633
t3632
t576
t3631
t575
t3630
t3629
t3628
t3627
t573
t3626
t3625
t572
t3624
t571
t3623
t570
t3622
t3621
t569
t3620
t3619
t568
t3618
t3617
t3616
t566
t3615
t3614
t565
t3613
t3612
t564
t3611
t563
t3610
t3609
t562
t3608
t561
t3607
t3606
t3605
t3604
t559
t3603
t558
t3602
t3601
t557
t3600
t556
t3599
t3598
t3597
t555
t3596
t554
t3595
t3594
t553
t3593
t552
t3592
t3591
t551
t3590
t3589
t550
t3588
t3587
t549
t548
t3586
t3585
t547
t3584
t3583
t546
t3582
t3581
t545
t3580
t3579
t544
t3578
t543
t3577
t3576
t542
t3575
t541
t3574
t3573
t540
t3572
t3571
t3570
t3569
t538
t3568
t537
t3567
t536
t3566
t3565
t535
t3564
t534
t3563
t3562
t533
t3561
t3560
t3559
t3558
t3557
t530
t3556
t3555
t3554
t529
t3553
t528
t3552
t3551
t527
t3550
t3549
t618
t3548
t526
t3547
t3546
t524
t3545
t3544
t523
t3543
t522
t3542
t3541
t521
t3540
t520
t3539
t3538
t519
t3537
t3536
t3535
t517
t3534
t516
t3533
t3532
t531
t515
t3531
t3530
t514
t3529
t513
t3528
t3527
t512
t3526
t3525
t510
t3524
t3523
t509
t3522
t508
t3521
t3520
t507
t3519
t506
t3518
t3517
t505
t3516
t504
t3515
t503
t3514
t502
t3513
t3512
t501
t3511
t3510
t500
t3509
t3508
t499
t3507
t498
t3506
t497
t3505
t496
t3504
t495
t3503
t3502
t494
t3501
t493
t3500
t3499
t492
t3498
t491
t3497
t3496
t490
t3495
t489
t3494
t488
t3493
t3492
t487
t3491
t486
t3490
t3489
t485
t3488
t484
t3487
t483
t3486
t3485
t482
t3484
t481
t3483
t480
t3482
t3481
t479
t3480
t478
t3479
t3478
t477
t3477
t476
t3476
t3475
t475
t3474
t474
t3473
t3472
t473
t3471
t472
t3470
t471
t3469
t255
t3468
t470
t3467
t469
t3466
t468
t3465
t3464
t467
t3463
t466
t3462
t3461
t465
t3460
t464
t3459
t3458
t463
t3457
t462
t3456
t461
t3455
t3454
t460
t3453
t459
t3452
t3451
t458
t3450
t457
t3449
t3448
t456
t3447
t455
t3446
t454
t3445
t453
t3444
t3443
t452
t3442
t3441
t451
t3440
t450
t3439
t3438
t449
t3437
t448
t3436
t447
t3435
t3434
t446
t3433
t445
t3432
t444
t3431
t3430
t443
t3429
t3428
t442
t441
t3427
t3426
t440
t3425
t439
t3424
t3423
t438
t3422
t437
t3421
t436
t3420
t435
t3419
t3418
t434
t433
t3417
t432
t3416
t431
t3415
t430
t3414
t429
t3413
t428
t3412
t427
t3411
t3410
t426
t3409
t425
t3408
t424
t3407
t3406
t423
t3405
t422
t3404
t3403
t421
t3402
t420
t3401
t3400
t419
t3399
t418
t3398
t417
t3397
t3396
t416
t3395
t3394
t415
t3393
t414
t3392
t3391
t3390
t412
t3389
t413
t3388
t411
t3387
t410
t3386
t409
t3385
t408
t3384
t3383
t407
t3382
t406
t3381
t405
t3380
t3379
t404
t403
t3378
t3377
t402
t3376
t3375
t401
t3374
t400
t3373
t399
t3372
t3371
t398
t3370
t397
t3369
t3368
t396
t3367
t395
t3366
t3365
t394
t3364
t393
t3363
t3362
t392
t3361
t391
t3360
t390
t3359
t3358
t389
t3357
t388
t3356
t3355
t387
t3354
t386
t3353
t3352
t385
t3351
t384
t3350
t383
t3349
t3348
t382
t3347
t381
t3346
t380
t3345
t3344
t379
t3343
t378
t3342
t3341
t377
t3340
t376
t3339
t3338
t375
t3337
t374
t3336
t373
t3335
t3334
t372
t3333
t371
t3332
t3331
t370
t3330
t369
t3329
t368
t3328
t3327
t367
t3326
t366
t3325
t3324
t365
t3323
t364
t3322
t3321
t363
t3320
t362
t3319
t361
t3318
t3317
t360
t3316
t359
t3315
t3314
t358
t3313
t357
t3312
t3311
t356
t3310
t354
t355
t3309
t3308
t3307
t353
t3306
t352
t3305
t3304
t351
t3303
t350
t3302
t3301
t349
t3300
t348
t3299
t3298
t347
t3297
t346
t3296
t3295
t345
t3294
t344
t3293
t343
t3292
t3291
t342
t3290
t341
t3289
t3288
t340
t3287
t339
t3286
t338
t3285
t3284
t337
t3283
t336
t3282
t335
t3281
t3280
t334
t3279
t333
t3278
t332
t3277
t3276
t331
t3275
t3274
t330
t3273
t329
t3272
t328
t3271
t3270
t327
t3269
t326
t3268
t325
t3267
t324
t3266
t3265
t323
t3264
t322
t3263
t3262
t321
t3261
t320
t3260
t3259
t319
t3258
t318
t3257
t3256
t317
t3255
t3254
t316
t3253
t315
t3252
t314
t3251
t313
t3250
t3249
t312
t3248
t311
t3247
t310
t3246
t3245
t309
t3244
t308
t3243
t307
t3242
t3241
t306
t3240
t305
t256
t257
t3239
t3238
t304
t3237
t3236
t303
t3235
t302
t3234
t301
t3233
t3232
t300
t3231
t299
t3230
t298
t3228
t297
t3227
t3226
t296
t295
t3225
t3224
t294
t3223
t293
t3222
t3221
t292
t3220
t291
t3219
t290
t3218
t3217
t289
t3216
t288
t3215
t3214
t287
t3213
t286
t3212
t285
t3211
t3210
t284
t3209
t283
t3208
t4813
t3207
t282
t3206
t281
t3205
t280
t3204
t279
t3203
t3202
t278
t3201
t277
t3200
t3199
t276
t3198
t3197
t3196
t275
t274
t3195
t3194
t273
t3193
t272
t3192
t3191
t271
t3190
t3189
t3188
t269
t3187
t268
t3186
t267
t3185
t3184
t266
t3183
t265
t3182
t3181
t264
t3180
t263
t3179
t3178
t261
t262
t270
t3177
t3176
t260
t259
t0
t224
t70
t230
t244
t227
t42
t51
t95
t115
t133
t152
t160
t195
t203
t205
t210
t217
t219
t220
t221
t222
t223
t225
t226
t228
t229
t231
t232
t233
t234
t235
t236
t237
t238
t239
t240
t7
t8
t9
t10
t11
t12
t13
t14
t15
t16
t17
t18
t19
t20
t21
t22
t23
t24
t25
t26
t27
t28
t29
t30
t31
t32
t33
t34
t35
t37
t243
t43
t44
t45
t46
t47
t48
t49
t50
t52
t53
t54
t55
t56
t59
t63
t66
t71
t72
t73
t74
t75
t76
t77
t78
t79
t80
t81
t82
t83
t84
t241
t88
t91
t242
t98
t102
t105
t106
t107
t108
t109
t110
t111
t112
t113
t114
t116
t117
t118
t119
t124
t126
t131
t138
t140
t145
t147
t148
t149
t150
t151
t153
t154
t155
t156
t157
t158
t159
t161
t167
t168
t174
t175
t181
t182
t188
t189
t196
t197
t198
t199
t200
t201
t202
t204
t206
t207
t208
t209
t211
t212
t213
t214
t215
t216
t218
check for constant places
p0
p1
p2
p3
p4
p5
p6
p7
p8
p9
p10
p11
p12
p13
p28
p29
p30
p31
p32
p33
p34
p42
p43
p44
p45
p46
p47
p48
p49
p50
p51
p52
p53
p54
p55
p56
p57
p58
p59
p60
p61
p62
p63
p64
p65
p66
p67
p68
p69
p70
p71
p72
p73
p74
p75
p76
p77
p78
p79
p80
p81
p82
p83
p84
p85
p86
p87
p88
p89
p90
p91
p92
p93
p94
p95
p96
p97
p98
p99
p100
p101
p102
p103
p104
p105
p106
p107
p108
p109
p110
p111
p112
p113
p114
p115
p116
p117
p118
p119
p120
p121
p122
p123
p124
p125
p126
p127
p128
p129
p130
p131
p132
p133
p134
p135
p136
p137
p138
p139
p140
p141
p142
p143
p144
p145
p146
p147
p148
p149
p150
p151
p152
p153
p154
p155
p156
p157
p158
p159
p160
p161
p162
p163
p164
p165
p166
p167
p168
p169
p170
p171
p172
p173
p174
p175
p176
p177
p178
p179
p180
p181
p182
p183
p184
p185
p186
p187
p188
p189
p190
p191
p192
p193
p194
p195
p196
p197
p198
p199
p200
p201
p202
p203
p204
p205
p206
p207
p208
p209
p210
p211
p212
p213
p214
p215
p216
p217
p218
p219
p220
p221
p222
p223
p224
p225
p226
p227
p228
p229
p230
p231
p232
p233
p234
p235
p236
p237
p238
p239
p240
p241
p242
p243
p244
p245
p246
p247
p248
p249
p250
p251
p252
p253
p254
p255
p256
p257
p258
p259
p260
p261
p262
p263
p264
p265
p266
p267
p268
p269
p270
p271
p272
p273
p274
p275
p276
p277
p278
p279
p280
p281
p282
p283
p284
p285
p286
p287
p288
p289
p290
p291
p292
p293
p294
p295
p296
p297
p298
p299
p300
p301
p302
p303
p304
p305
p306
p307
p308
p309
p310
p311
p312
p313
p314
p315
p316
p317
p318
p319
p320
p321
p322
p323
p324
p325
p326
p327
p328
p329
p330
p331
p332
p333
p334
p335
p434
p437
p440
p443
p446
p449
p452
p455
p458
p476
p482
p497
p506
p518
p530
p539
p554
p560
p578
p582
p583
p584
p585
p586
p587
p596
p597
p598
p599
p600
p601
p603
p604
p605
p606
p607
p608
p610
p611
p612
p613
p614
p615
p617
p618
p619
p620
p621
p622
p624
p625
p626
p627
p628
p629
p638
p639
p640
p641
p642
p643
p645
p646
p647
p648
p649
p650
p652
p653
p654
p655
p656
p657
p659
p660
p661
p662
p663
p664
p666
p667
p668
p669
p670
p671
p680
p681
p682
p683
p684
p685
p687
p688
p689
p690
p691
p692
p694
p695
p696
p697
p698
p699
p701
p702
p703
p704
p705
p706
p708
p709
p710
p711
p712
p713
p722
p723
p724
p725
p726
p727
p729
p730
p731
p732
p733
p734
p736
p737
p738
p739
p740
p741
p743
p744
p745
p746
p747
p748
p750
p751
p752
p753
p754
p755
p764
p765
p766
p767
p768
p769
p771
p772
p773
p774
p775
p776
p778
p779
p780
p781
p782
p783
p785
p786
p787
p788
p789
p790
p792
p793
p794
p795
p796
p797
p806
p807
p808
p809
p810
p811
p813
p814
p815
p816
p817
p818
p820
p821
p822
p823
p824
p825
p827
p828
p829
p830
p831
p832
p834
p835
p836
p837
p838
p839
p848
p849
p850
p851
p852
p853
p855
p856
p857
p858
p859
p860
p862
p863
p864
p865
p866
p867
p869
p870
p871
p872
p873
p874
p876
p877
p878
p879
p880
p881
p890
p891
p892
p893
p894
p895
p897
p898
p899
p900
p901
p902
p904
p905
p906
p907
p908
p909
p911
p912
p913
p914
p915
p916
p918
p919
p920
p921
p922
p923
p932
p933
p934
p935
p936
p937
p939
p940
p941
p942
p943
p944
p946
p947
p948
p949
p950
p951
p953
p954
p955
p956
p957
p958
p960
p961
p962
p963
p964
p965
p974
p975
p976
p977
p978
p979
p981
p982
p983
p984
p985
p986
p988
p989
p990
p991
p992
p993
p995
p996
p997
p998
p999
p1000
p1002
p1003
p1004
p1005
p1006
p1007
p1016
p1017
p1018
p1019
p1020
p1021
p1023
p1024
p1025
p1026
p1027
p1028
p1030
p1031
p1032
p1033
p1034
p1035
p1037
p1038
p1039
p1040
p1041
p1042
p1044
p1045
p1046
p1047
p1048
p1049
p1058
p1059
p1060
p1061
p1062
p1063
p1065
p1066
p1067
p1068
p1069
p1070
p1072
p1073
p1074
p1075
p1076
p1077
p1079
p1080
p1081
p1082
p1083
p1084
p1086
p1087
p1088
p1089
p1090
p1091
p1100
p1101
p1102
p1103
p1104
p1105
p1107
p1108
p1109
p1110
p1111
p1112
p1114
p1115
p1116
p1117
p1118
p1119
p1121
p1122
p1123
p1124
p1125
p1126
p1128
p1129
p1130
p1131
p1132
p1133
p1142
p1143
p1144
p1145
p1146
p1147
p1149
p1150
p1151
p1152
p1153
p1154
p1156
p1157
p1158
p1159
p1160
p1161
p1163
p1164
p1165
p1166
p1167
p1168
p1170
p1171
p1172
p1173
p1174
p1175
p1184
p1185
p1186
p1187
p1188
p1189
p1191
p1192
p1193
p1194
p1195
p1196
p1198
p1199
p1200
p1201
p1202
p1203
p1205
p1206
p1207
p1208
p1209
p1210
p1212
p1213
p1214
p1215
p1216
p1217
p1226
p1227
p1228
p1229
p1230
p1231
p1233
p1234
p1235
p1236
p1237
p1238
p1240
p1241
p1242
p1243
p1244
p1245
p1247
p1248
p1249
p1250
p1251
p1252
p1254
p1255
p1256
p1257
p1258
p1259
p1268
p1269
p1270
p1271
p1272
p1273
p1275
p1276
p1277
p1278
p1279
p1280
p1282
p1283
p1284
p1285
p1286
p1287
p1289
p1290
p1291
p1292
p1293
p1294
p1296
p1297
p1298
p1299
p1300
p1301
p1310
p1311
p1312
p1313
p1314
p1315
p1317
p1318
p1319
p1320
p1321
p1322
p1324
p1325
p1326
p1327
p1328
p1329
p1331
p1332
p1333
p1334
p1335
p1336
p1338
p1339
p1340
p1341
p1342
p1343
p1352
p1353
p1354
p1355
p1356
p1357
p1359
p1360
p1361
p1362
p1363
p1364
p1366
p1367
p1368
p1369
p1370
p1371
p1373
p1374
p1375
p1376
p1377
p1378
p1380
p1381
p1382
p1383
p1384
p1385
p1394
p1395
p1396
p1397
p1398
p1399
p1401
p1402
p1403
p1404
p1405
p1406
p1408
p1409
p1410
p1411
p1412
p1413
p1415
p1416
p1417
p1418
p1419
p1420
p1422
p1423
p1424
p1425
p1426
p1427
p1436
p1437
p1438
p1439
p1440
p1441
p1443
p1444
p1445
p1446
p1447
p1448
p1450
p1451
p1452
p1453
p1454
p1455
p1457
p1458
p1459
p1460
p1461
p1462
p1464
p1465
p1466
p1467
p1468
p1469
p1478
p1479
p1480
p1481
p1482
p1483
p1485
p1486
p1487
p1488
p1489
p1490
p1492
p1493
p1494
p1495
p1496
p1497
p1499
p1500
p1501
p1502
p1503
p1504
p1506
p1507
p1508
p1509
p1510
p1511
p1520
p1521
p1522
p1523
p1524
p1525
p1527
p1528
p1529
p1530
p1531
p1532
p1534
p1535
p1536
p1537
p1538
p1539
p1541
p1542
p1543
p1544
p1545
p1546
p1548
p1549
p1550
p1551
p1552
p1553
p1562
p1563
p1564
p1565
p1566
p1567
p1569
p1570
p1571
p1572
p1573
p1574
p1576
p1577
p1578
p1579
p1580
p1581
p1583
p1584
p1585
p1586
p1587
p1588
p1590
p1591
p1592
p1593
p1594
p1595
p1604
p1605
p1606
p1607
p1608
p1609
p1611
p1612
p1613
p1614
p1615
p1616
p1618
p1619
p1620
p1621
p1622
p1623
p1625
p1626
p1627
p1628
p1629
p1630
p1632
p1633
p1634
p1635
p1636
p1637
p1646
p1647
p1648
p1649
p1650
p1651
p1653
p1654
p1655
p1656
p1657
p1658
p1660
p1661
p1662
p1663
p1664
p1665
p1667
p1668
p1669
p1670
p1671
p1672
p1674
p1675
p1676
p1677
p1678
p1679
p1688
p1689
p1690
p1691
p1692
p1693
p1695
p1696
p1697
p1698
p1699
p1700
p1702
p1703
p1704
p1705
p1706
p1707
p1709
p1710
p1711
p1712
p1713
p1714
p1716
p1717
p1718
p1719
p1720
p1721
p1730
p1731
p1732
p1733
p1734
p1735
p1737
p1738
p1739
p1740
p1741
p1742
p1744
p1745
p1746
p1747
p1748
p1749
p1751
p1752
p1753
p1754
p1755
p1756
p1758
p1759
p1760
p1761
p1762
p1763
p1772
p1773
p1774
p1775
p1776
p1777
p1779
p1780
p1781
p1782
p1783
p1784
p1786
p1787
p1788
p1789
p1790
p1791
p1793
p1794
p1795
p1796
p1797
p1798
p1800
p1801
p1802
p1803
p1804
p1805
p1814
p1815
p1816
p1817
p1818
p1819
p1821
p1822
p1823
p1824
p1825
p1826
p1828
p1829
p1830
p1831
p1832
p1833
p1835
p1836
p1837
p1838
p1839
p1840
p1842
p1843
p1844
p1845
p1846
p1847
p1856
p1857
p1858
p1859
p1860
p1861
p1863
p1864
p1865
p1866
p1867
p1868
p1870
p1871
p1872
p1873
p1874
p1875
p1877
p1878
p1879
p1880
p1881
p1882
p1884
p1885
p1886
p1887
p1888
p1889
p1898
p1899
p1900
p1901
p1902
p1903
p1905
p1906
p1907
p1908
p1909
p1910
p1912
p1913
p1914
p1915
p1916
p1917
p1919
p1920
p1921
p1922
p1923
p1924
p1926
p1927
p1928
p1929
p1930
p1931
p1940
p1941
p1942
p1943
p1944
p1945
p1947
p1948
p1949
p1950
p1951
p1952
p1954
p1955
p1956
p1957
p1958
p1959
p1961
p1962
p1963
p1964
p1965
p1966
p1968
p1969
p1970
p1971
p1972
p1973
p1982
p1983
p1984
p1985
p1986
p1987
p1989
p1990
p1991
p1992
p1993
p1994
p1996
p1997
p1998
p1999
p2000
p2001
p2003
p2004
p2005
p2006
p2007
p2008
p2010
p2011
p2012
p2013
p2014
p2015
p2024
p2025
p2026
p2027
p2028
p2029
p2031
p2032
p2033
p2034
p2035
p2036
p2038
p2039
p2040
p2041
p2042
p2043
p2045
p2046
p2047
p2048
p2049
p2050
p2052
p2053
p2054
p2055
p2056
p2057
p2066
p2067
p2068
p2069
p2070
p2071
p2073
p2074
p2075
p2076
p2077
p2078
p2080
p2081
p2082
p2083
p2084
p2085
p2087
p2088
p2089
p2090
p2091
p2092
p2094
p2095
p2096
p2097
p2098
p2099
p2108
p2109
p2110
p2111
p2112
p2113
p2115
p2116
p2117
p2118
p2119
p2120
p2122
p2123
p2124
p2125
p2126
p2127
p2129
p2130
p2131
p2132
p2133
p2134
p2136
p2137
p2138
p2139
p2140
p2141
p2150
p2151
p2152
p2153
p2154
p2155
p2157
p2158
p2159
p2160
p2161
p2162
p2164
p2165
p2166
p2167
p2168
p2169
p2171
p2172
p2173
p2174
p2175
p2176
p2178
p2179
p2180
p2181
p2182
p2183
p2192
p2193
p2194
p2195
p2196
p2197
p2199
p2200
p2201
p2202
p2203
p2204
p2206
p2207
p2208
p2209
p2210
p2211
p2213
p2214
p2215
p2216
p2217
p2218
p2220
p2221
p2222
p2223
p2224
p2225
p2234
p2235
p2236
p2237
p2238
p2239
p2241
p2242
p2243
p2244
p2245
p2246
p2248
p2249
p2250
p2251
p2252
p2253
p2255
p2256
p2257
p2258
p2259
p2260
p2262
p2263
p2264
p2265
p2266
p2267
p2276
p2277
p2278
p2279
p2280
p2281
p2283
p2284
p2285
p2286
p2287
p2288
p2290
p2291
p2292
p2293
p2294
p2295
p2297
p2298
p2299
p2300
p2301
p2302
p2304
p2305
p2306
p2307
p2308
p2309
p2318
p2319
p2320
p2321
p2322
p2323
p2325
p2326
p2327
p2328
p2329
p2330
p2332
p2333
p2334
p2335
p2336
p2337
p2339
p2340
p2341
p2342
p2343
p2344
p2346
p2347
p2348
p2349
p2350
p2351
p2360
p2361
p2362
p2363
p2364
p2365
p2367
p2368
p2369
p2370
p2371
p2372
p2374
p2375
p2376
p2377
p2378
p2379
p2381
p2382
p2383
p2384
p2385
p2386
p2388
p2389
p2390
p2391
p2392
p2393
p2402
p2403
p2404
p2405
p2406
p2407
p2409
p2410
p2411
p2412
p2413
p2414
p2416
p2417
p2418
p2419
p2420
p2421
p2423
p2424
p2425
p2426
p2427
p2428
p2430
p2431
p2432
p2433
p2434
p2435
p2444
p2445
p2446
p2447
p2448
p2449
p2451
p2452
p2453
p2454
p2455
p2456
p2458
p2459
p2460
p2461
p2462
p2463
p2465
p2466
p2467
p2468
p2469
p2470
p2472
p2473
p2474
p2475
p2476
p2477
p2486
p2487
p2488
p2489
p2490
p2491
p2493
p2494
p2495
p2496
p2497
p2498
p2500
p2501
p2502
p2503
p2504
p2505
p2507
p2508
p2509
p2510
p2511
p2512
p2514
p2515
p2516
p2517
p2518
p2519
p2528
p2529
p2530
p2531
p2532
p2533
p2535
p2536
p2537
p2538
p2539
p2540
p2542
p2543
p2544
p2545
p2546
p2547
p2549
p2550
p2551
p2552
p2553
p2554
p2556
p2557
p2558
p2559
p2560
p2561
p2570
p2571
p2572
p2573
p2574
p2575
p2577
p2578
p2579
p2580
p2581
p2582
p2584
p2585
p2586
p2587
p2588
p2589
p2591
p2592
p2593
p2594
p2595
p2596
p2598
p2599
p2600
p2601
p2602
p2603
p2612
p2613
p2614
p2615
p2616
p2617
p2619
p2620
p2621
p2622
p2623
p2624
p2626
p2627
p2628
p2629
p2630
p2631
p2633
p2634
p2635
p2636
p2637
p2638
p2646
p2647
p2648
p2649
p2650
p2651
p2652
p2653
p2654
p2655
p2656
p2657
p2658
p2659
p2660
p2661
p2662
p2663
p2664
p2665
p2666
p2667
p2668
p2669
p2670
p2671
p2672
p2673
p2674
p2675
p2676
p2677
p2678
p2679
p2680
p2681
p2682
p2683
p2684
p2685
p2686
p2687
p2688
p2689
p2690
p2691
p2692
p2693
p2694
p2695
p2696
p2697
p2698
p2699
p2700
p2701
p2702
p2703
p2704
p2705
p2706
p2707
p2708
p2709
p2710
p2711
p2712
p2713
p2714
p2715
p2716
p2717
p2718
p2719
p2720
p2721
p2722
p2723
p2724
p2725
p2726
p2727
p2728
p2729
p2730
p2731
p2732
p2733
p2734
p2735
p2736
p2737
p2738
p2739
p2740
p2741
p2742
p2743
p2744
p2745
p2746
p2747
p2748
p2749
p2750
p2751
p2752
p2753
p2754
p2755
p2756
p2757
p2758
p2759
p2760
p2761
p2762
p2763
p2764
p2765
p2766
p2767
p2768
p2769
p2770
p2771
p2772
p2773
p2774
p2775
p2776
p2777
p2778
p2779
p2780
p2781
p2782
p2783
p2784
p2785
p2786
p2787
p2788
p2789
p2790
p2791
p2792
p2793
p2794
p2795
p2796
p2797
p2798
p2799
p2800
p2801
p2802
p2803
p2804
p2805
p2806
p2807
p2808
p2809
p2810
p2811
p2812
p2813
p2814
p2815
p2816
p2817
p2818
p2819
p2820
p2821
p2822
p2823
p2824
p2825
p2826
p2827
p2828
p2829
p2830
p2831
p2832
p2833
p2834
p2835
p2836
p2837
p2838
p2839
p2840
p2841
p2842
p2843
p2844
p2845
p2846
p2847
p2848
p2849
p2850
p2851
p2852
p2853
p2854
p2855
p2856
p2857
p2858
p2859
p2860
p2861
p2862
p2863
p2864
p2865
p2866
p2867
p2868
p2869
p2870
p2871
p2872
p2873
p2874
p2875
p2876
p2877
p2878
p2879
p2880
p2881
p2882
p2883
p2884
p2885
p2886
p2887
p2888
p2889
p2890
p2891
p2892
p2893
p2894
p2895
p2896
p2897
p2898
p2899
p2900
p2901
p2902
p2903
p2904
p2905
p2906
p2907
p2908
p2909
p2910
p2911
p2912
p2913
p2914
p2915
p2916
p2917
p2918
p2919
p2920
p2921
p2922
p2923
p2924
p2925
p2926
p2927
p2928
p2929
p2930
p2931
p2932
p2933
p2934
p2935
p2936
p2937
p2938
p2939
p2940
p2941
p2942
p2943
p2944
p2945
p2946
p2947
p2948
p2949
p2950
p2951
p2952
p2953
p2954
p2955
p2956
p2957
p2958
p2959
p2960
p2961
p2962
p2963
p2964
p2965
p2966
p2967
p2968
p2969
p2970
p2971
p2972
p2973
p2974
p2975
p2976
p2977
p2978
p2979
p2980
p2981
p2982
p2983
p2984
p2985
p2986
p2987
p2988
p2989
p2990
p2991
p2992
p2993
p2994
p2995
p2996
p2997
p2998
p2999
p3000
p3001
p3002
p3003
p3004
p3005
p3006
p3007
p3008
p3009
p3010
p3011
p3012
p3013
p3014
p3015
p3016
p3017
p3018
p3019
p3020
p3021
p3022
p3023
p3024
p3025
p3026
p3027
p3028
p3029
p3030
p3031
p3032
p3033
p3034
p3035
p3036
p3037
p3038
p3039
p3040
p3041
p3042
p3043
p3044
p3045
p3046
p3047
p3048
p3049
p3050
p3051
p3052
p3053
p3054
p3055
p3056
p3057
p3058
p3059
p3060
p3061
p3062
p3063
p3064
p3065
p3066
p3067
p3068
p3069
p3070
p3071
p3072
p3073
p3074
p3075
p3076
p3077
p3078
p3079
p3080
p3081
p3082
p3083
p3084
p3085
p3086
p3087
p3088
p3089
p3090
p3091
p3092
p3093
p3094
p3095
p3096
p3097
p3098
p3099
p3100
p3101
p3102
p3103
p3104
p3105
p3106
p3107
p3108
p3109
p3110
p3111
p3112
p3113
p3114
p3115
p3116
p3117
p3118
p3119
p3120
p3121
p3122
p3123
p3124
p3125
p3126
p3127
p3128
p3129
p3130
p3131
p3132
p3133
p3134
p3135
p3136
p3137
p3138
p3139
p3140
p3141
p3142
p3143
p3144
p3145
p3146
p3147
p3148
p3149
p3150
p3151
p3152
p3153
p3154
p3155
p3156
p3157
p3158
p3159
p3160
p3161
p3162
p3163
p3164
p3165
p3166
p3167
p3168
p3169
p3170
p3171
p3172
p3173
p3174
p3175
p3176
p3177
p3178
p3179
p3180
p3181
p3182
p3183
p3184
p3185
p3186
p3187
p3188
p3189
p3190
p3191
p3192
p3193
p3194
p3195
p3196
p3197
p3198
p3199
p3200
p3201
p3202
p3203
p3204
p3205
p3206
p3207
p3208
p3209
p3210
p3211
p3212
p3213
p3214
p3215
p3216
p3217
p3218
p3219
p3220
p3221
p3222
p3223
p3224
p3225
p3226
p3227
p3228
p3229
p3230
p3231
p3232
p3233
p3234
p3235
p3236
p3237
p3238
p3239
p3240
p3241
p3242
p3243
p3244
p3245
p3246
p3247
p3248
p3249
p3250
p3251
p3252
p3253
p3254
p3255
p3256
p3257
p3258
p3259
p3260
p3261
p3262
p3263
p3264
p3265
p3266
p3267
p3268
p3269
p3270
p3271
p3272
p3273
p3274
p3275
p3276
p3277
p3278
p3279
p3280
p3281
p3282
p3283
p3284
p3285
p3286
p3287
p3288
p3289
p3290
p3291
p3292
p3293
p3294
p3295
p3296
p3297
p3298
p3299
p3300
p3301
p3302
p3303
p3304
p3305
p3306
p3307
p3308
p3309
p3310
p3311
p3312
p3313
p3314
p3315
p3316
p3317
p3318
p3319
p3320
p3321
p3322
p3323
p3324
p3325
p3326
p3327
p3328
p3329
p3330
p3331
p3332
p3333
p3334
p3335
p3336
p3337
p3338
p3339
p3340
p3341
p3342
p3343
p3344
p3345
p3346
p3347
p3348
p3349
p3350
p3351
p3352
p3353
p3354
p3355
p3356
p3357
p3358
p3359
p3360
p3361
p3362
p3363
p3364
p3365
p3366
p3367
p3368
p3369
p3370
p3371
p3372
p3373
p3374
p3375
p3376
p3377
p3378
p3379
p3380
p3381
p3382
p3383
p3384
p3385
p3386
p3387
p3388
p3389
p3390
p3391
p3392
p3393
p3394
p3395
p3396
p3397
p3398
p3399
p3400
p3401
p3402
p3403
p3404
p3405
p3406
p3407
p3408
p3409
p3410
p3411
p3412
p3413
p3414
p3415
p3416
p3417
p3418
p3419
p3420
p3421
p3422
p3423
p3424
p3425
p3426
p3427
p3428
p3429
p3430
p3431
p3432
p3433
p3434
p3435
p3436
p3437
p3438
p3439
p3440
p3441
p3442
p3443
p3444
p3445
p3446
p3447
p3448
p3449
p3450
p3451
p3452
p3453
p3454
p3455
p3456
p3457
p3458
p3459
p3460
p3461
p3462
p3463
p3464
p3465
p3466
p3467
p3468
p3469
p3470
p3471
p3472
p3473
p3474
p3475
p3476
p3477
p3478
p3479
p3480
p3481
p3482
p3483
p3484
p3485
p3486
p3487
p3488
p3489
p3490
p3491
p3492
p3493
p3494
p3495
p3496
p3497
p3498
p3499
p3500
p3501
p3502
p3503
p3504
p3505
p3506
p3507
p3508
p3509
p3510
p3511
p3512
p3513
p3514
p3515
p3516
p3517
p3518
p3519
p3520
p3521
p3522
p3523
p3524
p3525
p3526
p3527
p3528
p3529
p3530
p3531
p3532
p3533
p3534
p3535
p3536
p3537
p3538
p3539
p3540
p3541
p3542
p3543
p3544
p3545
p3546
p3547
p3548
p3549
p3550
p3551
p3552
p3553
p3554
p3555
p3556
p3557
p3558
p3559
p3560
p3561
p3562
p3563
p3564
p3565
p3566
p3567
p3568
p3569
p3570
p3571
p3572
p3573
p3574
p3575
p3576
p3577
p3578
p3579
p3580
p3581
p3582
p3583
p3584
p3585
p3586
p3587
p3588
p3589
p3590
p3591
p3592
p3593
p3594
p3595
p3596
p3597
p3598
p3599
p3600
p3601
p3602
p3603
p3604
p3605
p3606
p3607
p3608
p3609
p3610
p3611
p3612
p3613
p3614
p3615
p3616
p3617
p3618
p3619
p3620
p3621
p3622
p3623
p3624
p3625
p3626
p3627
p3628
p3629
p3630
p3631
p3632
p3633
p3634
p3635
p3636
p3637
p3638
p3639
p3640
p3641
p3642
p3643
p3644
p3645
p3646
p3647
p3648
p3649
p3650
p3651
p3652
p3653
p3654
p3655
p3656
p3657
p3658
p3659
p3660
p3661
p3662
p3663
p3664
p3665
p3666
p3667
p3668
p3669
p3670
p3671
p3672
p3673
p3674
p3675
p3676
p3677
p3678
p3679
p3680
p3681
p3682
p3683
p3684
p3685
p3686
p3687
p3688
p3689
p3690
p3691
p3692
p3693
p3694
p3695
p3696
p3697
p3698
p3699
p3700
p3701
p3702
p3703
p3704
p3705
p3706
p3707
p3708
p3709
p3710
p3711
p3712
p3713
p3714
p3715
p3716
p3717
p3718
p3719
p3720
p3721
p3722
p3723
p3724
p3725
p3726
p3727
p3728
p3729
p3730
p3731
p3732
p3733
p3734
p3735
p3736
p3737
p3738
p3739
p3740
p3741
p3742
p3743
p3744
p3745
p3746
p3747
p3748
p3749
p3750
p3751
p3752
p3753
p3754
p3755
p3756
p3757
p3758
p3759
p3760
p3761
p3762
p3763
p3764
p3765
p3766
p3767
p3768
p3769
p3770
p3771
p3772
p3773
p3774
p3775
p3776
p3777
p3778
p3779
p3780
p3781
p3782
p3783
p3784
p3785
p3786
p3787
p3788
p3789
p3790
p3791
p3792
p3793
p3794
p3795
p3796
p3797
p3798
p3799
p3800
p3801
p3802
p3803
p3804
p3805
p3806
p3807
p3808
p3809
p3810
p3811
p3812
p3813
p3814
p3815
p3816
p3817
p3818
p3819
p3820
p3821
p3822
p3823
p3824
p3825
p3826
p3827
p3828
p3829
p3830
p3831
p3832
p3833
p3834
p3835
p3836
p3837
p3838
p3839
p3840
p3841
p3842
p3843
p3844
p3845
p3846
p3847
p3848
p3849
p3850
p3851
p3852
p3853
p3854
p3855
p3856
p3857
p3858
p3859
p3860
p3861
p3862
p3863
p3864
p3865
p3866
p3867
p3868
p3869
p3870
p3871
p3872
p3873
p3874
p3875
p3876
p3877
p3878
p3879
p3880
p3881
p3882
p3883
p3884
p3885
p3886
p3887
p3888
p3889
p3890
p3891
p3892
p3893
p3894
p3895
p3896
p3897
p3898
p3899
p3900
p3901
p3902
p3903
p3904
p3905
p3906
p3907
p3908
p3909
p3910
p3911
p3912
p3913
p3914
p3915
p3916
p3917
p3918
p3919
p3920
p3921
p3922
p3923
p3924
p3925
p3926
p3927
p3928
p3929
p3930
p3931
p3932
p3933
p3934
p3935
p3936
p3937
p3938
p3939
p3940
p3941
p3942
p3943
p3944
p3945
p3946
p3947
p3948
p3949
p3950
p3951
p3952
p3953
p3954
p3955
p3956
p3957
p3958
p3959
p3960
p3961
p3962
p3963
p3964
p3965
p3966
p3967
p3968
p3969
p3970
p3971
p3972
p3973
p3974
p3975
p3976
p3977
p3978
p3979
p3980
p3981
p3982
p3983
p3984
p3985
p3986
p3987
p3988
p3989
p3990
p3991
p3992
p3993
p3994
p3995
p3996
p3997
p3998
p3999
p4000
p4001
p4002
p4003
p4004
p4005
p4006
p4007
p4008
p4009
p4010
p4011
p4012
p4013
p4014
p4015
p4016
p4017
p4018
p4019
p4020
p4021
p4022
p4023
p4024
p4025
p4026
p4027
p4028
p4029
p4030
p4031
p4032
p4033
p4034
p4035
p4036
p4037
p4038
p4039
p4040
p4041
p4042
p4043
p4044
p4045
p4046
p4047
p4048
p4049
p4050
p4051
p4052
p4053
p4054
p4055
p4056
p4057
p4058
p4059
p4060
p4061
p4062
p4063
p4064
p4065
p4066
p4067
p4068
p4069
p4070
p4071
p4072
p4073
p4074
p4075
p4076
p4077
p4078
p4079
p4080
p4081
p4082
p4083
p4084
p4085
p4086
p4087
p4088
p4089
p4090
p4091
p4092
p4093
p4094
p4095
p4096
p4097
p4098
p4099
p4100
p4101
p4102
p4103
p4104
p4105
p4106
p4107
p4108
p4109
p4110
p4111
p4112
p4113
p4114
p4115
p4116
p4117
p4118
p4119
p4120
p4121
p4122
p4123
p4124
p4125
p4126
p4127
p4128
p4129
p4130
p4131
p4132
p4133
p4134
p4135
p4136
p4137
p4138
p4139
p4140
p4141
p4142
p4143
p4144
p4145
p4146
p4147
p4148
p4149
p4150
p4151
p4152
p4153
p4154
p4155
p4156
p4157
p4158
p4159
p4160
p4161
p4162
p4163
p4164
p4165
p4166
p4167
p4168
p4169
p4170
p4171
p4172
p4173
p4174
p4175
p4176
p4177
p4178
p4179
p4180
p4181
p4182
p4183
p4184
p4185
p4186
p4187
p4188
p4189
p4190
p4191
p4192
p4193
p4194
p4195
p4196
p4197
p4198
p4199
p4200
p4201
p4202
p4203
p4204
p4205
p4206
p4207
p4208
p4209
p4210
p4211
p4212
p4213
p4214
p4215
p4216
p4217
p4218
p4219
p4220
p4221
p4222
p4223
p4224
p4225
p4226
p4227
p4228
p4229
p4230
p4231
p4232
p4233
p4234
p4235
p4236
p4237
p4238
p4239
p4240
p4241
p4242
p4243
p4244
p4245
p4246
p4247
p4248
p4249
p4250
p4251
p4252
p4253
p4254
p4255
p4256
p4257
p4258
p4259
p4260
p4261
p4262
p4263
p4264
p4265
p4266
p4267
p4268
p4269
p4270
p4271
p4272
p4273
p4274
p4275
p4276
p4277
p4278
p4279
p4280
p4281
p4282
p4283
p4284
p4285
p4286
p4287
p4288
p4289
p4290
p4291
p4292
p4293
p4294
p4295
p4296
p4297
p4298
p4299
p4300
p4301
p4302
p4303
p4304
p4305
p4306
p4307
p4308
p4309
p4310
p4311
p4312
p4313
p4314
p4315
p4316
p4317
p4318
p4319
p4320
p4321
p4322
p4323
p4324
p4325
p4326
p4327
p4328
p4329
p4330
p4331
p4332
p4333
p4334
p4335
p4336
p4337
p4338
p4339
p4340
p4341
p4342
p4343
p4344
p4345
p4346
p4347
p4348
p4349
p4350
p4351
p4352
p4353
p4354
p4355
p4356
p4357
p4358
p4359
p4360
p4361
p4362
p4363
p4364
p4365
p4366
p4367
p4368
p4369
p4370
p4371
p4372
p4373
p4374
p4375
p4376
p4377
p4378
p4379
p4380
p4381
p4382
p4383
p4384
p4385
p4386
p4387
p4388
p4389
p4390
p4391
p4392
p4393
p4394
p4395
p4396
p4397
p4398
p4399
p4400
p4401
p4402
p4403
p4404
p4405
p4406
p4407
p4408
p4409
p4410
p4411
p4412
p4413
p4414
p4415
p4416
p4417
p4418
p4419
p4420
p4421
p4422
p4423
p4424
p4425
p4426
p4427
p4428
p4429
p4430
p4431
p4432
p4433
p4434
p4435
p4436
p4437
p4438
p4439
p4440
p4441
p4442
p4443
p4444
p4445
p4446
p4447
p4448
p4449
p4450
p4451
p4452
p4453
p4454
p4455
p4456
p4457
p4458
p4459
p4460
p4461
p4462
p4463
p4464
p4465
p4466
p4467
p4468
p4469
p4470
p4471
p4472
p4473
p4474
p4475
p4476
p4477
p4478
p4479
p4480
p4481
p4482
p4483
p4484
p4485
p4486
p4487
p4488
p4489
p4490
p4491
p4492
p4493
p4494
p4495
p4496
p4497
p4498
p4499
p4500
p4501
p4502
p4503
p4504
p4505
p4506
p4507
p4508
p4509
p4510
p4511
p4512
p4513
p4514
p4515
p4516
p4517
p4518
p4519
p4520
p4521
p4522
p4523
p4524
p4525
p4526
p4527
p4528
p4529
p4530
p4531
p4532
p4533
p4534
p4535
p4536
p4537
p4538
p4539
p4540
p4541
p4542
p4543
p4544
p4545
p4546
p4547
p4548
p4549
p4550
p4551
p4552
p4553
p4554
p4555
p4556
p4557
p4558
p4559
p4560
p4561
p4562
p4563
p4564
p4565
p4566
p4567
p4568
p4569
p4570
p4571
p4572
p4573
p4574
p4575
p4576
p4577
p4578
p4579
p4580
p4581
p4582
p4583
p4584
p4585
p4586
p4587
p4588
p4589
p4590
p4591
p4592
p4593
p4594
p4595
p4596
p4597
p4598
p4599
p4600
p4601
p4602
p4603
p4604
p4605
p4606
p4607
p4608
p4609
p4610
p4611
p4612
p4613
p4614
p4615
p4616
p4617
p4618
p4619
p4620
p4621
p4622
p4623
p4624
p4625
p4626
p4627
p4628
p4629
p4630
p4631
p4632
p4633
p4634
p4635
p4636
p4637
p4638
p4639
p4640
p4641
p4642
p4643
p4644
p4645
p4646
p4647
p4648
p4649
p4650
p4651
p4652
p4653
p4654
p4655
p4656
p4657
p4658
p4659
p4660
p4661
p4662
p4663
p4664
p4665
p4666
p4667
p4668
p4669
p4670
p4671
p4672
p4673
p4674
p4675
p4676
p4677
p4678
p4679
p4680
p4681
p4682
p4683
p4684
p4685
p4686
p4687
p4688
p4689
p4690
p4691
p4692
p4693
p4694
p4695
p4696
p4697
p4698
p4699
p4700
p4701
p4702
p4703
p4711
p4712
p4713
p4714
p4715
p4716
p4717
p4726
p4727
p4728
p4729
p4767
p4768
p4769
p4770
p4771
p4772
p4773
p4774
p4775
p4776
p4777
p4778
p4779
p4780
p4781
p4782
p4783
p4784
p4785
p4786
p4787
p4789
p4790
p4791
p4792
found 3898 constant places
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok
initing FirstDep: 0m 0.047sec
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NeoElection-COL-6"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="marciexred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool marciexred"
echo " Input is NeoElection-COL-6, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r266-smll-167863540500152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-COL-6.tgz
mv NeoElection-COL-6 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;