open-consul/website/pages/docs/internals/jepsen.mdx

4031 lines
132 KiB
Plaintext

---
layout: docs
page_title: Jepsen Testing
sidebar_title: Jepsen Testing
description: >-
Jepsen is a tool, written by Kyle Kingsbury, designed to test the partition
tolerance of distributed systems. It creates network partitions while fuzzing
the system with random operations. The results are analyzed to see if the
system violates any of the consistency properties it claims to have.
---
# Jepsen Testing
[Jepsen](http://aphyr.com/posts/281-call-me-maybe-carly-rae-jepsen-and-the-perils-of-network-partitions)
is a tool, written by Kyle Kingsbury, designed to test the partition
tolerance of distributed systems. It creates network partitions while fuzzing
the system with random operations. The results are analyzed to see if the system
violates any of the consistency properties it claims to have.
As part of our Consul testing, we ran a Jepsen test to determine if
any consistency issues could be uncovered. In our testing, Consul
gracefully recovered from partitions without introducing any consistency
issues.
## Running the tests
At the moment, testing with Jepsen is rather complex as it requires
setting up multiple virtual machines, SSH keys, DNS configuration,
and a working Clojure environment. We hope to contribute our Consul
testing code upstream and to provide a Vagrant environment for Jepsen
testing soon.
## Output
Below is the output captured from Jepsen. We ran Jepsen multiple times,
and it passed each time. This output is only representative of a single
run.
<!--googleoff: all-->
```shell-session
$ lein test :only jepsen.system.consul-test
lein test jepsen.system.consul-test
INFO jepsen.os.debian - :n5 setting up debian
INFO jepsen.os.debian - :n3 setting up debian
INFO jepsen.os.debian - :n4 setting up debian
INFO jepsen.os.debian - :n1 setting up debian
INFO jepsen.os.debian - :n2 setting up debian
INFO jepsen.os.debian - :n4 debian set up
INFO jepsen.os.debian - :n5 debian set up
INFO jepsen.os.debian - :n3 debian set up
INFO jepsen.os.debian - :n1 debian set up
INFO jepsen.os.debian - :n2 debian set up
INFO jepsen.system.consul - :n1 consul nuked
INFO jepsen.system.consul - :n4 consul nuked
INFO jepsen.system.consul - :n5 consul nuked
INFO jepsen.system.consul - :n3 consul nuked
INFO jepsen.system.consul - :n2 consul nuked
INFO jepsen.system.consul - Running nodes: {:n1 false, :n2 false, :n3 false, :n4 false, :n5 false}
INFO jepsen.system.consul - :n2 consul nuked
INFO jepsen.system.consul - :n3 consul nuked
INFO jepsen.system.consul - :n4 consul nuked
INFO jepsen.system.consul - :n5 consul nuked
INFO jepsen.system.consul - :n1 consul nuked
INFO jepsen.system.consul - :n1 starting consul
INFO jepsen.system.consul - :n2 starting consul
INFO jepsen.system.consul - :n4 starting consul
INFO jepsen.system.consul - :n5 starting consul
INFO jepsen.system.consul - :n3 starting consul
INFO jepsen.system.consul - :n3 consul ready
INFO jepsen.system.consul - :n2 consul ready
INFO jepsen.system.consul - Running nodes: {:n1 true, :n2 true, :n3 true, :n4 true, :n5 true}
INFO jepsen.system.consul - :n5 consul ready
INFO jepsen.system.consul - :n1 consul ready
INFO jepsen.system.consul - :n4 consul ready
INFO jepsen.core - Worker 0 starting
INFO jepsen.core - Worker 2 starting
INFO jepsen.core - Worker 1 starting
INFO jepsen.core - Worker 3 starting
INFO jepsen.core - Worker 4 starting
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :invoke :cas [4 4]
INFO jepsen.util - 0 :invoke :write 4
INFO jepsen.util - 1 :invoke :write 1
INFO jepsen.util - 4 :invoke :cas [4 0]
INFO jepsen.util - 2 :ok :read nil
INFO jepsen.util - 4 :fail :cas [4 0]
INFO jepsen.util - 1 :ok :write 1
INFO jepsen.util - 0 :ok :write 4
INFO jepsen.util - 3 :fail :cas [4 4]
INFO jepsen.util - 2 :invoke :cas [0 3]
INFO jepsen.util - 2 :fail :cas [0 3]
INFO jepsen.util - 4 :invoke :cas [4 4]
INFO jepsen.util - 1 :invoke :write 3
INFO jepsen.util - 0 :invoke :cas [3 1]
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 4 :fail :cas [4 4]
INFO jepsen.util - 0 :fail :cas [3 1]
INFO jepsen.util - 1 :ok :write 3
INFO jepsen.util - 3 :ok :write 2
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 2
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 0 :invoke :write 4
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 0 :ok :write 4
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 1 :ok :write 0
INFO jepsen.util - 2 :invoke :write 3
INFO jepsen.util - 2 :ok :write 3
INFO jepsen.util - 4 :invoke :write 4
INFO jepsen.util - 4 :ok :write 4
INFO jepsen.util - 0 :invoke :write 1
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :invoke :cas [1 0]
INFO jepsen.util - 3 :ok :read 4
INFO jepsen.util - 0 :ok :write 1
INFO jepsen.util - 1 :fail :cas [1 0]
INFO jepsen.util - 2 :invoke :cas [0 2]
INFO jepsen.util - 2 :fail :cas [0 2]
INFO jepsen.util - 4 :invoke :cas [1 2]
INFO jepsen.util - 4 :fail :cas [1 2]
INFO jepsen.util - 3 :invoke :write 1
INFO jepsen.util - 0 :invoke :write 1
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 0 :ok :write 1
INFO jepsen.util - 1 :ok :read 1
INFO jepsen.util - 3 :ok :write 1
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 4 :invoke :cas [2 4]
INFO jepsen.util - 4 :fail :cas [2 4]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 1 :invoke :write 3
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 0 :ok :read 4
INFO jepsen.util - 3 :ok :read 4
INFO jepsen.util - 1 :ok :write 3
INFO jepsen.util - 2 :invoke :cas [4 2]
INFO jepsen.util - 2 :fail :cas [4 2]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 0 :invoke :cas [2 4]
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 0 :fail :cas [2 4]
INFO jepsen.util - 3 :ok :write 2
INFO jepsen.util - 1 :ok :write 0
INFO jepsen.util - 2 :invoke :cas [0 3]
INFO jepsen.util - 2 :fail :cas [0 3]
INFO jepsen.util - 4 :invoke :write 0
INFO jepsen.util - 4 :ok :write 0
INFO jepsen.util - 0 :invoke :write 1
INFO jepsen.util - 3 :invoke :cas [0 2]
INFO jepsen.util - 1 :invoke :cas [0 0]
INFO jepsen.util - 0 :ok :write 1
INFO jepsen.util - 3 :fail :cas [0 2]
INFO jepsen.util - 1 :fail :cas [0 0]
INFO jepsen.util - 2 :invoke :cas [1 3]
INFO jepsen.util - 2 :fail :cas [1 3]
INFO jepsen.util - 4 :invoke :cas [1 0]
INFO jepsen.util - 4 :fail :cas [1 0]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 3 :invoke :cas [2 2]
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 3 :fail :cas [2 2]
INFO jepsen.util - 0 :ok :read 1
INFO jepsen.util - 1 :ok :write 0
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 2 :ok :write 2
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 0 :ok :read 2
INFO jepsen.util - 1 :ok :write 0
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 0
INFO jepsen.util - 4 :invoke :cas [1 2]
INFO jepsen.util - 4 :fail :cas [1 2]
INFO jepsen.util - 3 :invoke :write 0
INFO jepsen.util - 0 :invoke :cas [1 0]
INFO jepsen.util - 1 :invoke :cas [0 1]
INFO jepsen.util - 3 :ok :write 0
INFO jepsen.util - 1 :fail :cas [0 1]
INFO jepsen.util - 0 :fail :cas [1 0]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 0
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 0
INFO jepsen.util - 3 :invoke :cas [3 3]
INFO jepsen.util - 0 :invoke :write 1
INFO jepsen.util - 1 :invoke :cas [0 0]
INFO jepsen.util - 3 :fail :cas [3 3]
INFO jepsen.util - 1 :fail :cas [0 0]
INFO jepsen.util - 0 :ok :write 1
INFO jepsen.util - 2 :invoke :cas [0 0]
INFO jepsen.util - 2 :fail :cas [0 0]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 1
INFO jepsen.util - 3 :invoke :cas [3 0]
INFO jepsen.util - 1 :invoke :write 3
INFO jepsen.util - 0 :invoke :cas [0 0]
INFO jepsen.util - 3 :fail :cas [3 0]
INFO jepsen.util - 0 :fail :cas [0 0]
INFO jepsen.util - 1 :ok :write 3
INFO jepsen.util - 2 :invoke :write 0
INFO jepsen.util - 2 :ok :write 0
INFO jepsen.util - 4 :invoke :cas [0 0]
INFO jepsen.util - 4 :fail :cas [0 0]
INFO jepsen.util - 3 :invoke :cas [3 4]
INFO jepsen.util - 0 :invoke :cas [4 3]
INFO jepsen.util - 3 :fail :cas [3 4]
INFO jepsen.util - 0 :fail :cas [4 3]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 0
INFO jepsen.util - 2 :invoke :cas [1 1]
INFO jepsen.util - 2 :fail :cas [1 1]
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 3 :invoke :cas [1 0]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 2
INFO jepsen.util - 3 :fail :cas [1 0]
INFO jepsen.util - 1 :invoke :cas [0 3]
INFO jepsen.util - 1 :fail :cas [0 3]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 2
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 0 :invoke :write 0
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :invoke :cas [1 1]
INFO jepsen.util - 3 :ok :read 3
INFO jepsen.util - 0 :ok :write 0
INFO jepsen.util - 1 :fail :cas [1 1]
INFO jepsen.util - 2 :invoke :write 3
INFO jepsen.util - 2 :ok :write 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 3 :invoke :write 4
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 1 :invoke :write 1
INFO jepsen.util - 0 :ok :read 3
INFO jepsen.util - 3 :ok :write 4
INFO jepsen.util - 1 :ok :write 1
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 1
INFO jepsen.util - 4 :invoke :write 4
INFO jepsen.util - 4 :ok :write 4
INFO jepsen.util - 0 :invoke :write 1
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :invoke :write 1
INFO jepsen.util - 0 :ok :write 1
INFO jepsen.util - 3 :ok :read 1
INFO jepsen.util - 1 :ok :write 1
INFO jepsen.util - 2 :invoke :write 0
INFO jepsen.util - 2 :ok :write 0
INFO jepsen.util - 4 :invoke :cas [0 3]
INFO jepsen.util - 4 :fail :cas [0 3]
INFO jepsen.util - 0 :invoke :cas [2 0]
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 3 :invoke :cas [0 1]
INFO jepsen.util - 1 :invoke :write 1
INFO jepsen.util - 0 :fail :cas [2 0]
INFO jepsen.util - 3 :fail :cas [0 1]
INFO jepsen.util - 1 :ok :write 1
INFO jepsen.util - 2 :invoke :cas [3 0]
INFO jepsen.util - 2 :fail :cas [3 0]
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 0 :invoke :write 3
INFO jepsen.util - 0 :ok :write 3
INFO jepsen.util - 3 :invoke :write 0
INFO jepsen.util - 1 :invoke :cas [1 0]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 3
INFO jepsen.util - :nemesis :info :start "Cut off {:n5 #{:n3 :n1}, :n2 #{:n3 :n1}, :n4 #{:n3 :n1}, :n1 #{:n4 :n2 :n5}, :n3 #{:n4 :n2 :n5}}"
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 0 :invoke :write 3
INFO jepsen.util - 0 :fail :write 3
INFO jepsen.util - 2 :invoke :write 1
INFO jepsen.util - 2 :fail :write 1
INFO jepsen.util - 4 :invoke :write 1
INFO jepsen.util - 4 :ok :write 1
INFO jepsen.util - 0 :invoke :write 3
INFO jepsen.util - 0 :fail :write 3
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 2 :fail :write 2
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 1
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 1
INFO jepsen.util - 0 :invoke :write 2
INFO jepsen.util - 0 :fail :write 2
INFO jepsen.util - 2 :invoke :cas [4 4]
INFO jepsen.util - 2 :fail :cas [4 4]
INFO jepsen.util - 4 :invoke :cas [3 0]
INFO jepsen.util - 4 :fail :cas [3 0]
INFO jepsen.util - 0 :invoke :cas [4 3]
INFO jepsen.util - 0 :fail :cas [4 3]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 4 :invoke :cas [1 3]
INFO jepsen.util - 4 :fail :cas [1 3]
INFO jepsen.util - 0 :invoke :cas [3 0]
INFO jepsen.util - 0 :fail :cas [3 0]
INFO jepsen.util - 2 :invoke :cas [1 1]
INFO jepsen.util - 2 :fail :cas [1 1]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 1
INFO jepsen.util - 0 :invoke :cas [1 4]
INFO jepsen.util - 0 :fail :cas [1 4]
INFO jepsen.util - 2 :invoke :cas [2 2]
INFO jepsen.util - 2 :fail :cas [2 2]
INFO jepsen.util - 4 :invoke :cas [2 0]
INFO jepsen.util - 4 :fail :cas [2 0]
INFO jepsen.util - 0 :invoke :cas [0 4]
INFO jepsen.util - 0 :fail :cas [0 4]
INFO jepsen.util - 2 :invoke :cas [1 3]
INFO jepsen.util - 2 :fail :cas [1 3]
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 0 :invoke :cas [2 3]
INFO jepsen.util - 0 :fail :cas [2 3]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 4 :invoke :cas [4 0]
INFO jepsen.util - 4 :fail :cas [4 0]
INFO jepsen.util - 0 :invoke :write 0
INFO jepsen.util - 0 :fail :write 0
INFO jepsen.util - 2 :invoke :cas [2 2]
INFO jepsen.util - 2 :fail :cas [2 2]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 0 :invoke :cas [1 1]
INFO jepsen.util - 0 :fail :cas [1 1]
INFO jepsen.util - 2 :invoke :cas [4 0]
INFO jepsen.util - 2 :fail :cas [4 0]
INFO jepsen.util - 4 :invoke :cas [2 4]
INFO jepsen.util - 4 :fail :cas [2 4]
INFO jepsen.util - 0 :invoke :cas [0 1]
INFO jepsen.util - 0 :fail :cas [0 1]
INFO jepsen.util - 2 :invoke :cas [1 0]
INFO jepsen.util - 2 :fail :cas [1 0]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 0 :invoke :cas [4 0]
INFO jepsen.util - 0 :fail :cas [4 0]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 0 :invoke :cas [0 0]
INFO jepsen.util - 0 :fail :cas [0 0]
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :fail :write 4
INFO jepsen.util - 4 :invoke :cas [0 0]
INFO jepsen.util - 4 :fail :cas [0 0]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 0 :invoke :write 2
INFO jepsen.util - 0 :fail :write 2
INFO jepsen.util - 2 :invoke :write 1
INFO jepsen.util - 2 :fail :write 1
INFO jepsen.util - 4 :invoke :cas [0 1]
INFO jepsen.util - 4 :fail :cas [0 1]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 2 :invoke :write 3
INFO jepsen.util - 2 :fail :write 3
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 4 :invoke :write 4
INFO jepsen.util - 4 :ok :write 4
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :fail :write 4
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 0 :invoke :cas [2 3]
INFO jepsen.util - 0 :fail :cas [2 3]
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 2 :invoke :cas [2 1]
INFO jepsen.util - 2 :fail :cas [2 1]
INFO jepsen.util - 4 :invoke :cas [0 1]
INFO jepsen.util - 4 :fail :cas [0 1]
INFO jepsen.util - 0 :invoke :cas [1 1]
INFO jepsen.util - 0 :fail :cas [1 1]
INFO jepsen.util - 1 :fail :cas [1 0]
INFO jepsen.util - 3 :fail :write 0
INFO jepsen.util - 2 :invoke :cas [2 1]
INFO jepsen.util - 2 :fail :cas [2 1]
INFO jepsen.util - 4 :invoke :write 0
INFO jepsen.util - 4 :fail :write 0
INFO jepsen.util - 0 :invoke :cas [0 4]
INFO jepsen.util - 0 :fail :cas [0 4]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :fail :write 3
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 1 :fail :write 4
INFO jepsen.util - 3 :fail :write 3
INFO jepsen.util - 2 :invoke :cas [4 4]
INFO jepsen.util - 2 :fail :cas [4 4]
INFO jepsen.util - 4 :invoke :write 1
INFO jepsen.util - 4 :fail :write 1
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 1 :invoke :write 1
INFO jepsen.util - 3 :invoke :cas [0 0]
INFO jepsen.util - 1 :ok :write 1
INFO jepsen.util - 3 :fail :cas [0 0]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 1
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 1
INFO jepsen.util - 0 :invoke :cas [1 1]
INFO jepsen.util - 0 :fail :cas [1 1]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :invoke :cas [0 1]
INFO jepsen.util - 1 :fail :cas [0 1]
INFO jepsen.util - 3 :ok :read 1
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 4 :invoke :cas [1 2]
INFO jepsen.util - 4 :fail :cas [1 2]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 4
INFO jepsen.util - 1 :invoke :write 3
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 1 :ok :write 3
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :invoke :cas [0 4]
INFO jepsen.util - 2 :fail :cas [0 4]
INFO jepsen.util - 4 :invoke :cas [2 4]
INFO jepsen.util - 4 :fail :cas [2 4]
INFO jepsen.util - 0 :invoke :cas [3 3]
INFO jepsen.util - 0 :fail :cas [3 3]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 1 :ok :read 3
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 0 :invoke :cas [1 1]
INFO jepsen.util - 0 :fail :cas [1 1]
INFO jepsen.util - 1 :invoke :cas [2 3]
INFO jepsen.util - 3 :invoke :write 4
INFO jepsen.util - 1 :fail :cas [2 3]
INFO jepsen.util - 3 :ok :write 4
INFO jepsen.util - 2 :invoke :write 3
INFO jepsen.util - 2 :ok :write 3
INFO jepsen.util - 4 :invoke :write 4
INFO jepsen.util - 4 :ok :write 4
INFO jepsen.util - 0 :invoke :cas [1 3]
INFO jepsen.util - 0 :fail :cas [1 3]
INFO jepsen.util - 1 :invoke :write 1
INFO jepsen.util - 3 :invoke :write 4
INFO jepsen.util - 1 :ok :write 1
INFO jepsen.util - 3 :ok :write 4
INFO jepsen.util - 2 :invoke :cas [0 2]
INFO jepsen.util - 2 :fail :cas [0 2]
INFO jepsen.util - 4 :invoke :cas [2 4]
INFO jepsen.util - 4 :fail :cas [2 4]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 4
INFO jepsen.util - 1 :invoke :write 2
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :ok :write 2
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 2
INFO jepsen.util - 4 :invoke :cas [4 4]
INFO jepsen.util - 4 :fail :cas [4 4]
INFO jepsen.util - 0 :invoke :write 0
INFO jepsen.util - 0 :ok :write 0
INFO jepsen.util - 1 :invoke :cas [1 4]
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 1 :fail :cas [1 4]
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :invoke :write 3
INFO jepsen.util - 2 :ok :write 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 0 :invoke :cas [3 4]
INFO jepsen.util - 0 :fail :cas [3 4]
INFO jepsen.util - 1 :invoke :cas [4 4]
INFO jepsen.util - 3 :invoke :cas [0 4]
INFO jepsen.util - 1 :fail :cas [4 4]
INFO jepsen.util - 3 :fail :cas [0 4]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 0 :invoke :write 4
INFO jepsen.util - 0 :ok :write 4
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 3 :invoke :write 1
INFO jepsen.util - 1 :ok :read 4
INFO jepsen.util - 3 :ok :write 1
INFO jepsen.util - 2 :invoke :cas [0 2]
INFO jepsen.util - 2 :fail :cas [0 2]
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 0 :invoke :write 4
INFO jepsen.util - 0 :ok :write 4
INFO jepsen.util - 1 :invoke :cas [3 2]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :fail :cas [3 2]
INFO jepsen.util - 3 :ok :read 4
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 2 :ok :write 2
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 2
INFO jepsen.util - 1 :invoke :write 3
INFO jepsen.util - 3 :invoke :cas [3 2]
INFO jepsen.util - 3 :fail :cas [3 2]
INFO jepsen.util - 1 :ok :write 3
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 0 :invoke :cas [2 3]
INFO jepsen.util - 0 :fail :cas [2 3]
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 3
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 3
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 0 :invoke :cas [2 2]
INFO jepsen.util - 0 :fail :cas [2 2]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 3 :invoke :write 0
INFO jepsen.util - 1 :ok :read 2
INFO jepsen.util - 3 :ok :write 0
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 2 :ok :write 2
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 0 :invoke :cas [0 1]
INFO jepsen.util - 0 :fail :cas [0 1]
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 1 :ok :write 0
INFO jepsen.util - 3 :invoke :cas [2 4]
INFO jepsen.util - 3 :fail :cas [2 4]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 0
INFO jepsen.util - 4 :invoke :cas [1 0]
INFO jepsen.util - 4 :fail :cas [1 0]
INFO jepsen.util - 0 :invoke :cas [4 3]
INFO jepsen.util - 0 :fail :cas [4 3]
INFO jepsen.util - 1 :invoke :cas [4 4]
INFO jepsen.util - 1 :fail :cas [4 4]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 0
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 4
INFO jepsen.util - 0 :invoke :write 3
INFO jepsen.util - 0 :ok :write 3
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 3
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 2 :ok :write 2
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 2
INFO jepsen.util - 3 :invoke :cas [4 2]
INFO jepsen.util - 3 :fail :cas [4 2]
INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n3 :n2}, :n5 #{:n3 :n2}, :n4 #{:n3 :n2}, :n2 #{:n4 :n5 :n1}, :n3 #{:n4 :n5 :n1}}"
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 1 :invoke :write 3
INFO jepsen.util - 1 :fail :write 3
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 2 :invoke :cas [4 4]
INFO jepsen.util - 2 :fail :cas [4 4]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :cas [4 4]
INFO jepsen.util - 3 :fail :cas [4 4]
INFO jepsen.util - 2 :invoke :cas [3 1]
INFO jepsen.util - 2 :fail :cas [3 1]
INFO jepsen.util - 1 :invoke :cas [3 2]
INFO jepsen.util - 1 :fail :cas [3 2]
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 1 :invoke :cas [3 2]
INFO jepsen.util - 1 :fail :cas [3 2]
INFO jepsen.util - 3 :invoke :cas [0 2]
INFO jepsen.util - 3 :fail :cas [0 2]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 1 :invoke :write 1
INFO jepsen.util - 1 :fail :write 1
INFO jepsen.util - 3 :invoke :write 4
INFO jepsen.util - 3 :ok :write 4
INFO jepsen.util - 2 :invoke :cas [4 0]
INFO jepsen.util - 2 :fail :cas [4 0]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 4
INFO jepsen.util - 2 :invoke :cas [0 1]
INFO jepsen.util - 2 :fail :cas [0 1]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :cas [3 3]
INFO jepsen.util - 3 :fail :cas [3 3]
INFO jepsen.util - 2 :invoke :cas [0 2]
INFO jepsen.util - 2 :fail :cas [0 2]
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 1 :fail :write 0
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 4
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 1 :invoke :write 2
INFO jepsen.util - 1 :fail :write 2
INFO jepsen.util - 3 :invoke :write 1
INFO jepsen.util - 3 :ok :write 1
INFO jepsen.util - 2 :invoke :write 0
INFO jepsen.util - 2 :fail :write 0
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 1 :fail :write 0
INFO jepsen.util - 3 :invoke :cas [3 3]
INFO jepsen.util - 3 :fail :cas [3 3]
INFO jepsen.util - 2 :invoke :write 0
INFO jepsen.util - 2 :fail :write 0
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :invoke :cas [2 3]
INFO jepsen.util - 2 :fail :cas [2 3]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :cas [4 1]
INFO jepsen.util - 3 :fail :cas [4 1]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 1 :fail :write 0
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 3
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :fail :write 4
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :cas [2 2]
INFO jepsen.util - 3 :fail :cas [2 2]
INFO jepsen.util - 2 :invoke :write 3
INFO jepsen.util - 2 :fail :write 3
INFO jepsen.util - 1 :invoke :cas [3 4]
INFO jepsen.util - 1 :fail :cas [3 4]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 3
INFO jepsen.util - 2 :invoke :write 0
INFO jepsen.util - 2 :fail :write 0
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 1 :fail :write 4
INFO jepsen.util - 3 :invoke :cas [3 1]
INFO jepsen.util - 3 :fail :cas [3 1]
INFO jepsen.util - 2 :invoke :cas [0 0]
INFO jepsen.util - 2 :fail :cas [0 0]
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 1 :fail :write 0
INFO jepsen.util - 3 :invoke :cas [2 1]
INFO jepsen.util - 3 :fail :cas [2 1]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :write 1
INFO jepsen.util - 3 :ok :write 1
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :fail :write 4
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :cas [2 0]
INFO jepsen.util - 3 :fail :cas [2 0]
INFO jepsen.util - 2 :invoke :cas [4 3]
INFO jepsen.util - 2 :fail :cas [4 3]
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 3 :ok :write 2
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 1 :invoke :write 1
INFO jepsen.util - 1 :fail :write 1
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :fail :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 0 :invoke :cas [4 3]
INFO jepsen.util - 0 :fail :cas [4 3]
INFO jepsen.util - 1 :invoke :cas [3 3]
INFO jepsen.util - 1 :fail :cas [3 3]
INFO jepsen.util - 3 :invoke :write 4
INFO jepsen.util - 3 :fail :write 4
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :fail :write 4
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 1 :fail :write 0
INFO jepsen.util - 3 :invoke :cas [4 1]
INFO jepsen.util - 3 :fail :cas [4 1]
INFO jepsen.util - 2 :invoke :cas [1 4]
INFO jepsen.util - 2 :fail :cas [1 4]
INFO jepsen.util - 0 :invoke :cas [4 1]
INFO jepsen.util - 0 :fail :cas [4 1]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :write 1
INFO jepsen.util - 3 :fail :write 1
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 2 :fail :write 2
INFO jepsen.util - 0 :invoke :write 0
INFO jepsen.util - 0 :fail :write 0
INFO jepsen.util - 4 :fail :write 3
INFO jepsen.util - 1 :invoke :write 2
INFO jepsen.util - 1 :fail :write 2
INFO jepsen.util - 3 :invoke :write 1
INFO jepsen.util - 3 :fail :write 1
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 2 :fail :write 2
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 1 :fail :write 4
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 3 :fail :write 3
INFO jepsen.util - 2 :invoke :write 0
INFO jepsen.util - 2 :fail :write 0
INFO jepsen.util - 0 :invoke :cas [2 1]
INFO jepsen.util - 0 :fail :cas [2 1]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 1 :fail :write 4
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :fail :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 3 :fail :write 2
INFO jepsen.util - 2 :invoke :cas [3 2]
INFO jepsen.util - 2 :fail :cas [3 2]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 1 :invoke :write 1
INFO jepsen.util - 1 :fail :write 1
INFO jepsen.util - 3 :invoke :cas [1 0]
INFO jepsen.util - 3 :fail :cas [1 0]
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 2 :fail :write 2
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 2
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 1 :invoke :write 1
INFO jepsen.util - 1 :ok :write 1
INFO jepsen.util - 3 :invoke :cas [1 1]
INFO jepsen.util - 3 :fail :cas [1 1]
INFO jepsen.util - 2 :invoke :write 1
INFO jepsen.util - 2 :ok :write 1
INFO jepsen.util - 0 :invoke :cas [4 3]
INFO jepsen.util - 0 :fail :cas [4 3]
INFO jepsen.util - 4 :invoke :cas [1 0]
INFO jepsen.util - 4 :fail :cas [1 0]
INFO jepsen.util - 1 :invoke :write 3
INFO jepsen.util - 1 :ok :write 3
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 3
INFO jepsen.util - 2 :invoke :write 1
INFO jepsen.util - 2 :ok :write 1
INFO jepsen.util - 0 :invoke :write 2
INFO jepsen.util - 0 :ok :write 2
INFO jepsen.util - 4 :invoke :cas [4 3]
INFO jepsen.util - 4 :fail :cas [4 3]
INFO jepsen.util - 1 :invoke :cas [2 0]
INFO jepsen.util - 1 :fail :cas [2 0]
INFO jepsen.util - 3 :invoke :cas [1 3]
INFO jepsen.util - 3 :fail :cas [1 3]
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 2 :ok :write 2
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 2
INFO jepsen.util - 4 :invoke :cas [4 2]
INFO jepsen.util - 4 :fail :cas [4 2]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 2
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 2 :invoke :write 1
INFO jepsen.util - 2 :ok :write 1
INFO jepsen.util - 0 :invoke :write 0
INFO jepsen.util - 0 :ok :write 0
INFO jepsen.util - 4 :invoke :write 0
INFO jepsen.util - 4 :ok :write 0
INFO jepsen.util - 1 :invoke :cas [1 1]
INFO jepsen.util - 1 :fail :cas [1 1]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 0
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 0
INFO jepsen.util - 0 :invoke :write 0
INFO jepsen.util - 0 :ok :write 0
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 1 :invoke :cas [3 0]
INFO jepsen.util - 1 :fail :cas [3 0]
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :invoke :cas [3 0]
INFO jepsen.util - 2 :fail :cas [3 0]
INFO jepsen.util - 0 :invoke :cas [4 3]
INFO jepsen.util - 0 :fail :cas [4 3]
INFO jepsen.util - 4 :invoke :cas [0 2]
INFO jepsen.util - 4 :fail :cas [0 2]
INFO jepsen.util - 1 :invoke :write 2
INFO jepsen.util - 1 :ok :write 2
INFO jepsen.util - 3 :invoke :write 0
INFO jepsen.util - 3 :ok :write 0
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 0
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 0
INFO jepsen.util - 4 :invoke :write 0
INFO jepsen.util - 4 :ok :write 0
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 1 :ok :write 4
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 3
INFO jepsen.util - 0 :invoke :cas [3 1]
INFO jepsen.util - 0 :fail :cas [3 1]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 3
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :invoke :cas [1 4]
INFO jepsen.util - 2 :fail :cas [1 4]
INFO jepsen.util - 0 :invoke :cas [1 4]
INFO jepsen.util - 0 :fail :cas [1 4]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 3
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 3 :ok :write 2
INFO jepsen.util - 2 :invoke :cas [4 0]
INFO jepsen.util - 2 :fail :cas [4 0]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 2
INFO jepsen.util - 4 :invoke :cas [3 1]
INFO jepsen.util - 4 :fail :cas [3 1]
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 1 :ok :write 4
INFO jepsen.util - 3 :invoke :cas [3 2]
INFO jepsen.util - 3 :fail :cas [3 2]
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 4
INFO jepsen.util - 0 :invoke :cas [1 2]
INFO jepsen.util - 0 :fail :cas [1 2]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 4
INFO jepsen.util - 1 :invoke :cas [2 1]
INFO jepsen.util - 1 :fail :cas [2 1]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 4
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 4
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n4 :n2}, :n5 #{:n4 :n2}, :n3 #{:n4 :n2}, :n2 #{:n3 :n5 :n1}, :n4 #{:n3 :n5 :n1}}"
INFO jepsen.util - 4 :ok :read 4
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 2 :invoke :write 0
INFO jepsen.util - 2 :ok :write 0
INFO jepsen.util - 0 :invoke :write 3
INFO jepsen.util - 0 :ok :write 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 3
INFO jepsen.util - 0 :invoke :cas [1 3]
INFO jepsen.util - 0 :fail :cas [1 3]
INFO jepsen.util - 4 :invoke :write 1
INFO jepsen.util - 4 :ok :write 1
INFO jepsen.util - 2 :invoke :write 3
INFO jepsen.util - 2 :ok :write 3
INFO jepsen.util - 0 :invoke :cas [2 4]
INFO jepsen.util - 0 :fail :cas [2 4]
INFO jepsen.util - 4 :invoke :cas [4 2]
INFO jepsen.util - 4 :fail :cas [4 2]
INFO jepsen.util - 2 :invoke :cas [3 1]
INFO jepsen.util - 2 :fail :cas [3 1]
INFO jepsen.util - 0 :invoke :cas [2 0]
INFO jepsen.util - 0 :fail :cas [2 0]
INFO jepsen.util - 4 :invoke :write 0
INFO jepsen.util - 4 :ok :write 0
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 0 :invoke :cas [2 3]
INFO jepsen.util - 0 :fail :cas [2 3]
INFO jepsen.util - 4 :invoke :cas [0 0]
INFO jepsen.util - 4 :fail :cas [0 0]
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 0 :invoke :write 3
INFO jepsen.util - 0 :ok :write 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 3
INFO jepsen.util - 0 :invoke :write 4
INFO jepsen.util - 0 :ok :write 4
INFO jepsen.util - 4 :invoke :cas [1 4]
INFO jepsen.util - 4 :fail :cas [1 4]
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 4
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 4
INFO jepsen.util - 2 :invoke :cas [3 0]
INFO jepsen.util - 2 :fail :cas [3 0]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 4
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 2 :invoke :cas [1 4]
INFO jepsen.util - 2 :fail :cas [1 4]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 2
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 0 :invoke :write 4
INFO jepsen.util - 0 :ok :write 4
INFO jepsen.util - 4 :invoke :cas [3 3]
INFO jepsen.util - 4 :fail :cas [3 3]
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 0 :invoke :write 4
INFO jepsen.util - 0 :ok :write 4
INFO jepsen.util - 4 :invoke :cas [1 2]
INFO jepsen.util - 4 :fail :cas [1 2]
INFO jepsen.util - 2 :invoke :write 3
INFO jepsen.util - 2 :ok :write 3
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 2 :invoke :cas [2 2]
INFO jepsen.util - 2 :fail :cas [2 2]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 2 :invoke :write 3
INFO jepsen.util - 2 :ok :write 3
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 3
INFO jepsen.util - 4 :invoke :cas [0 2]
INFO jepsen.util - 4 :fail :cas [0 2]
INFO jepsen.util - 2 :invoke :cas [0 3]
INFO jepsen.util - 2 :fail :cas [0 3]
INFO jepsen.util - 0 :invoke :write 3
INFO jepsen.util - 0 :ok :write 3
INFO jepsen.util - 4 :invoke :cas [4 0]
INFO jepsen.util - 4 :fail :cas [4 0]
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 0 :invoke :cas [0 0]
INFO jepsen.util - 0 :fail :cas [0 0]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 4
INFO jepsen.util - 2 :invoke :write 0
INFO jepsen.util - 2 :ok :write 0
INFO jepsen.util - 0 :invoke :cas [2 1]
INFO jepsen.util - 0 :fail :cas [2 1]
INFO jepsen.util - 4 :invoke :cas [3 3]
INFO jepsen.util - 4 :fail :cas [3 3]
INFO jepsen.util - 2 :invoke :cas [4 2]
INFO jepsen.util - 2 :fail :cas [4 2]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 0
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :fail :read nil
INFO jepsen.util - 2 :invoke :cas [4 0]
INFO jepsen.util - 2 :fail :cas [4 0]
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - 0 :invoke :cas [2 2]
INFO jepsen.util - 0 :fail :cas [2 2]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 1 :invoke :cas [1 3]
INFO jepsen.util - 1 :fail :cas [1 3]
INFO jepsen.util - 3 :invoke :write 1
INFO jepsen.util - 3 :fail :write 1
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :fail :write 4
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :write 4
INFO jepsen.util - 4 :fail :write 4
INFO jepsen.util - 1 :invoke :cas [0 4]
INFO jepsen.util - 1 :fail :cas [0 4]
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 3 :fail :write 3
INFO jepsen.util - 2 :invoke :cas [3 2]
INFO jepsen.util - 2 :fail :cas [3 2]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :cas [4 0]
INFO jepsen.util - 3 :fail :cas [4 0]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 0 :invoke :cas [4 4]
INFO jepsen.util - 0 :fail :cas [4 4]
INFO jepsen.util - 4 :invoke :write 1
INFO jepsen.util - 4 :fail :write 1
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :fail :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 0 :invoke :cas [0 0]
INFO jepsen.util - 0 :fail :cas [0 0]
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :fail :write 3
INFO jepsen.util - 1 :invoke :write 3
INFO jepsen.util - 1 :fail :write 3
INFO jepsen.util - 3 :invoke :write 4
INFO jepsen.util - 3 :fail :write 4
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 0 :invoke :cas [2 4]
INFO jepsen.util - 0 :fail :cas [2 4]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 1 :invoke :write 3
INFO jepsen.util - 1 :fail :write 3
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :fail :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 0 :invoke :write 2
INFO jepsen.util - 0 :fail :write 2
INFO jepsen.util - 4 :invoke :write 4
INFO jepsen.util - 4 :fail :write 4
INFO jepsen.util - 1 :invoke :cas [1 3]
INFO jepsen.util - 1 :fail :cas [1 3]
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 3 :fail :write 3
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 0 :invoke :cas [0 3]
INFO jepsen.util - 0 :fail :cas [0 3]
INFO jepsen.util - 4 :invoke :write 1
INFO jepsen.util - 4 :fail :write 1
INFO jepsen.util - 1 :invoke :cas [4 3]
INFO jepsen.util - 1 :fail :cas [4 3]
INFO jepsen.util - 3 :invoke :cas [0 3]
INFO jepsen.util - 3 :fail :cas [0 3]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 0 :invoke :write 2
INFO jepsen.util - 0 :fail :write 2
INFO jepsen.util - 4 :invoke :cas [3 3]
INFO jepsen.util - 4 :fail :cas [3 3]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :write 0
INFO jepsen.util - 3 :fail :write 0
INFO jepsen.util - 2 :invoke :cas [0 0]
INFO jepsen.util - 2 :fail :cas [0 0]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 1 :invoke :cas [2 1]
INFO jepsen.util - 1 :fail :cas [2 1]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :fail :read nil
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :fail :write 4
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :cas [0 0]
INFO jepsen.util - 4 :fail :cas [0 0]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :write 4
INFO jepsen.util - 3 :fail :write 4
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :cas [3 3]
INFO jepsen.util - 4 :fail :cas [3 3]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 3 :fail :write 2
INFO jepsen.util - 2 :invoke :cas [4 4]
INFO jepsen.util - 2 :fail :cas [4 4]
INFO jepsen.util - 0 :invoke :cas [2 0]
INFO jepsen.util - 0 :fail :cas [2 0]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 1 :ok :write 4
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :invoke :write 3
INFO jepsen.util - 2 :ok :write 3
INFO jepsen.util - 0 :invoke :cas [0 0]
INFO jepsen.util - 0 :fail :cas [0 0]
INFO jepsen.util - 4 :invoke :cas [2 3]
INFO jepsen.util - 4 :fail :cas [2 3]
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 1 :ok :write 4
INFO jepsen.util - 3 :invoke :write 1
INFO jepsen.util - 3 :ok :write 1
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 1
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 1
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 1
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 1
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 1
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 4
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 4
INFO jepsen.util - 1 :invoke :cas [1 3]
INFO jepsen.util - 1 :fail :cas [1 3]
INFO jepsen.util - 3 :invoke :write 0
INFO jepsen.util - 3 :ok :write 0
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 0 :invoke :write 1
INFO jepsen.util - 0 :ok :write 1
INFO jepsen.util - 4 :invoke :cas [4 4]
INFO jepsen.util - 4 :fail :cas [4 4]
INFO jepsen.util - 1 :invoke :write 3
INFO jepsen.util - 1 :ok :write 3
INFO jepsen.util - 3 :invoke :cas [2 3]
INFO jepsen.util - 3 :fail :cas [2 3]
INFO jepsen.util - 2 :invoke :cas [1 2]
INFO jepsen.util - 2 :fail :cas [1 2]
INFO jepsen.util - 0 :invoke :write 0
INFO jepsen.util - 0 :ok :write 0
INFO jepsen.util - 4 :invoke :write 0
INFO jepsen.util - 4 :ok :write 0
INFO jepsen.util - 1 :invoke :cas [1 0]
INFO jepsen.util - 1 :fail :cas [1 0]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 0
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 0
INFO jepsen.util - 0 :invoke :write 4
INFO jepsen.util - 0 :ok :write 4
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 4
INFO jepsen.util - 1 :invoke :cas [0 3]
INFO jepsen.util - 1 :fail :cas [0 3]
INFO jepsen.util - 3 :invoke :write 1
INFO jepsen.util - 3 :ok :write 1
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 2 :ok :write 2
INFO jepsen.util - 0 :invoke :cas [1 2]
INFO jepsen.util - 0 :fail :cas [1 2]
INFO jepsen.util - 4 :invoke :write 0
INFO jepsen.util - 4 :ok :write 0
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 0
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 3 :ok :write 2
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 2
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 2
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 4 :invoke :cas [0 2]
INFO jepsen.util - 4 :fail :cas [0 2]
INFO jepsen.util - 1 :invoke :cas [3 1]
INFO jepsen.util - 1 :fail :cas [3 1]
INFO jepsen.util - 3 :invoke :cas [3 0]
INFO jepsen.util - 3 :fail :cas [3 0]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 2
INFO jepsen.util - 0 :invoke :cas [2 2]
INFO jepsen.util - 0 :fail :cas [2 2]
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 3 :ok :write 2
INFO jepsen.util - 2 :invoke :write 3
INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n3 :n2}, :n5 #{:n3 :n2}, :n4 #{:n3 :n2}, :n2 #{:n4 :n5 :n1}, :n3 #{:n4 :n5 :n1}}"
INFO jepsen.util - 0 :invoke :cas [2 4]
INFO jepsen.util - 0 :fail :cas [2 4]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 3 :invoke :write 0
INFO jepsen.util - 3 :ok :write 0
INFO jepsen.util - 0 :invoke :cas [3 2]
INFO jepsen.util - 0 :fail :cas [3 2]
INFO jepsen.util - 4 :invoke :cas [3 2]
INFO jepsen.util - 4 :fail :cas [3 2]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 0
INFO jepsen.util - 0 :invoke :cas [0 1]
INFO jepsen.util - 0 :fail :cas [0 1]
INFO jepsen.util - 4 :invoke :write 0
INFO jepsen.util - 4 :ok :write 0
INFO jepsen.util - 3 :invoke :write 0
INFO jepsen.util - 3 :ok :write 0
INFO jepsen.util - 0 :invoke :write 1
INFO jepsen.util - 0 :ok :write 1
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 1
INFO jepsen.util - 3 :invoke :cas [1 3]
INFO jepsen.util - 3 :fail :cas [1 3]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 1
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 1
INFO jepsen.util - 3 :invoke :cas [0 4]
INFO jepsen.util - 3 :fail :cas [0 4]
INFO jepsen.util - 0 :invoke :cas [0 3]
INFO jepsen.util - 0 :fail :cas [0 3]
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 0 :invoke :cas [2 0]
INFO jepsen.util - 0 :fail :cas [2 0]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 3 :invoke :cas [0 0]
INFO jepsen.util - 3 :fail :cas [0 0]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 2
INFO jepsen.util - 4 :invoke :cas [0 3]
INFO jepsen.util - 4 :fail :cas [0 3]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 2
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 0 :invoke :write 2
INFO jepsen.util - 0 :ok :write 2
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 3 :invoke :cas [2 0]
INFO jepsen.util - 3 :fail :cas [2 0]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 2
INFO jepsen.util - 4 :invoke :cas [1 1]
INFO jepsen.util - 4 :fail :cas [1 1]
INFO jepsen.util - 3 :invoke :cas [2 1]
INFO jepsen.util - 3 :fail :cas [2 1]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 2
INFO jepsen.util - 4 :invoke :cas [4 2]
INFO jepsen.util - 4 :fail :cas [4 2]
INFO jepsen.util - 3 :invoke :cas [0 0]
INFO jepsen.util - 3 :fail :cas [0 0]
INFO jepsen.util - 0 :invoke :cas [0 4]
INFO jepsen.util - 0 :fail :cas [0 4]
INFO jepsen.util - 4 :invoke :cas [2 3]
INFO jepsen.util - 4 :fail :cas [2 3]
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 3 :ok :write 2
INFO jepsen.util - 0 :invoke :cas [3 0]
INFO jepsen.util - 0 :fail :cas [3 0]
INFO jepsen.util - 4 :invoke :write 1
INFO jepsen.util - 4 :ok :write 1
INFO jepsen.util - 3 :invoke :cas [3 2]
INFO jepsen.util - 3 :fail :cas [3 2]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 1
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 1
INFO jepsen.util - 3 :invoke :cas [0 1]
INFO jepsen.util - 3 :fail :cas [0 1]
INFO jepsen.util - 0 :invoke :write 4
INFO jepsen.util - 0 :ok :write 4
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 3
INFO jepsen.util - 0 :invoke :write 0
INFO jepsen.util - 0 :ok :write 0
INFO jepsen.util - 4 :invoke :cas [0 2]
INFO jepsen.util - 4 :fail :cas [0 2]
INFO jepsen.util - 3 :invoke :write 4
INFO jepsen.util - 3 :ok :write 4
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 4
INFO jepsen.util - 4 :invoke :write 1
INFO jepsen.util - 4 :ok :write 1
INFO jepsen.util - 3 :invoke :write 1
INFO jepsen.util - 3 :ok :write 1
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 1
INFO jepsen.util - 4 :invoke :write 0
INFO jepsen.util - 4 :ok :write 0
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 3 :ok :write 2
INFO jepsen.util - 2 :fail :write 3
INFO jepsen.util - 0 :invoke :cas [2 2]
INFO jepsen.util - 0 :fail :cas [2 2]
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 0 :invoke :cas [0 2]
INFO jepsen.util - 0 :fail :cas [0 2]
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 3 :fail :write 2
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :fail :write 4
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :fail :write 4
INFO jepsen.util - 3 :fail :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 0 :invoke :cas [0 3]
INFO jepsen.util - 0 :fail :cas [0 3]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 1 :invoke :cas [0 1]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :fail :cas [0 1]
INFO jepsen.util - 3 :fail :read nil
INFO jepsen.util - 2 :invoke :cas [2 4]
INFO jepsen.util - 2 :fail :cas [2 4]
INFO jepsen.util - 0 :invoke :write 0
INFO jepsen.util - 0 :fail :write 0
INFO jepsen.util - 4 :invoke :cas [2 4]
INFO jepsen.util - 4 :fail :cas [2 4]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 3 :invoke :cas [3 3]
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :fail :cas [3 3]
INFO jepsen.util - 2 :invoke :cas [2 3]
INFO jepsen.util - 2 :fail :cas [2 3]
INFO jepsen.util - 0 :invoke :write 1
INFO jepsen.util - 0 :fail :write 1
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 1 :invoke :cas [2 0]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :fail :cas [2 0]
INFO jepsen.util - 3 :fail :read nil
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 2 :fail :write 2
INFO jepsen.util - 0 :invoke :write 0
INFO jepsen.util - 0 :fail :write 0
INFO jepsen.util - 4 :invoke :write 4
INFO jepsen.util - 4 :fail :write 4
INFO jepsen.util - 1 :invoke :cas [1 3]
INFO jepsen.util - 3 :invoke :write 4
INFO jepsen.util - 1 :fail :cas [1 3]
INFO jepsen.util - 3 :fail :write 4
INFO jepsen.util - 2 :invoke :cas [2 2]
INFO jepsen.util - 2 :fail :cas [2 2]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :write 4
INFO jepsen.util - 4 :fail :write 4
INFO jepsen.util - 1 :invoke :cas [4 0]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :fail :cas [4 0]
INFO jepsen.util - 3 :fail :read nil
INFO jepsen.util - 2 :invoke :cas [4 2]
INFO jepsen.util - 2 :fail :cas [4 2]
INFO jepsen.util - 0 :invoke :cas [2 2]
INFO jepsen.util - 0 :fail :cas [2 2]
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :fail :write 3
INFO jepsen.util - 1 :invoke :cas [2 4]
INFO jepsen.util - 3 :invoke :write 4
INFO jepsen.util - 1 :fail :cas [2 4]
INFO jepsen.util - 3 :fail :write 4
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 0 :invoke :write 1
INFO jepsen.util - 0 :fail :write 1
INFO jepsen.util - 4 :invoke :cas [2 2]
INFO jepsen.util - 4 :fail :cas [2 2]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :fail :write 3
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :fail :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :write 4
INFO jepsen.util - 4 :fail :write 4
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 3 :invoke :cas [3 1]
INFO jepsen.util - 3 :fail :cas [3 1]
INFO jepsen.util - 1 :ok :write 4
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 4
INFO jepsen.util - 0 :invoke :cas [1 2]
INFO jepsen.util - 0 :fail :cas [1 2]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 4
INFO jepsen.util - 3 :invoke :cas [2 0]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 3 :fail :cas [2 0]
INFO jepsen.util - 1 :ok :read 4
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 4
INFO jepsen.util - 0 :invoke :write 3
INFO jepsen.util - 0 :ok :write 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 3 :invoke :cas [3 2]
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 3 :fail :cas [3 2]
INFO jepsen.util - 1 :ok :write 0
INFO jepsen.util - 2 :invoke :cas [3 4]
INFO jepsen.util - 2 :fail :cas [3 4]
INFO jepsen.util - 0 :invoke :write 3
INFO jepsen.util - 0 :ok :write 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 3 :ok :read 3
INFO jepsen.util - 1 :ok :read 3
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 3
INFO jepsen.util - 0 :invoke :cas [1 4]
INFO jepsen.util - 0 :fail :cas [1 4]
INFO jepsen.util - 4 :invoke :cas [1 4]
INFO jepsen.util - 4 :fail :cas [1 4]
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 2
INFO jepsen.util - 3 :ok :write 2
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 2
INFO jepsen.util - 0 :invoke :write 3
INFO jepsen.util - 0 :ok :write 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 3 :invoke :write 4
INFO jepsen.util - 1 :ok :write 0
INFO jepsen.util - 3 :ok :write 4
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 0 :invoke :write 4
INFO jepsen.util - 0 :ok :write 4
INFO jepsen.util - 4 :invoke :cas [3 4]
INFO jepsen.util - 4 :fail :cas [3 4]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :ok :read 4
INFO jepsen.util - 3 :ok :read 4
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 4
INFO jepsen.util - 0 :invoke :write 0
INFO jepsen.util - 0 :ok :write 0
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 0
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 1 :ok :read 0
INFO jepsen.util - 3 :ok :write 2
INFO jepsen.util - 2 :invoke :cas [3 4]
INFO jepsen.util - 2 :fail :cas [3 4]
INFO jepsen.util - 0 :invoke :cas [1 1]
INFO jepsen.util - 0 :fail :cas [1 1]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 3 :invoke :cas [0 2]
INFO jepsen.util - 1 :ok :read 2
INFO jepsen.util - 3 :fail :cas [0 2]
INFO jepsen.util - 2 :invoke :cas [0 4]
INFO jepsen.util - 2 :fail :cas [0 4]
INFO jepsen.util - 0 :invoke :cas [3 2]
INFO jepsen.util - 0 :fail :cas [3 2]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 1 :invoke :cas [0 4]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :fail :cas [0 4]
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 2 :invoke :write 0
INFO jepsen.util - 2 :ok :write 0
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 0
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 0
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 1 :ok :write 4
INFO jepsen.util - 3 :ok :read 0
INFO jepsen.util - 2 :ok :write 2
INFO jepsen.util - 0 :invoke :write 2
INFO jepsen.util - 0 :ok :write 2
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - :nemesis :info :start "Cut off {:n5 #{:n2 :n1}, :n4 #{:n2 :n1}, :n3 #{:n2 :n1}, :n1 #{:n3 :n4 :n5}, :n2 #{:n3 :n4 :n5}}"
INFO jepsen.util - 3 :invoke :write 1
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :ok :write 1
INFO jepsen.util - 2 :ok :read 1
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 1
INFO jepsen.util - 1 :invoke :cas [1 4]
INFO jepsen.util - 3 :invoke :cas [0 4]
INFO jepsen.util - 1 :fail :cas [1 4]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :fail :cas [0 4]
INFO jepsen.util - 2 :ok :read 1
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 1 :fail :write 4
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 2 :invoke :cas [3 1]
INFO jepsen.util - 3 :ok :read 3
INFO jepsen.util - 2 :fail :cas [3 1]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 1 :invoke :cas [2 1]
INFO jepsen.util - 1 :fail :cas [2 1]
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 3
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 4 :invoke :write 0
INFO jepsen.util - 4 :ok :write 0
INFO jepsen.util - 1 :invoke :cas [4 0]
INFO jepsen.util - 1 :fail :cas [4 0]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :invoke :cas [2 4]
INFO jepsen.util - 2 :ok :read 0
INFO jepsen.util - 3 :fail :cas [2 4]
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 2 :invoke :write 0
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 3
INFO jepsen.util - 2 :ok :write 0
INFO jepsen.util - 4 :invoke :cas [3 1]
INFO jepsen.util - 4 :fail :cas [3 1]
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 1 :fail :write 0
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :ok :write 2
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 1 :invoke :cas [4 0]
INFO jepsen.util - 1 :fail :cas [4 0]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 2
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 4 :invoke :cas [2 1]
INFO jepsen.util - 4 :fail :cas [2 1]
INFO jepsen.util - 1 :invoke :cas [4 1]
INFO jepsen.util - 1 :fail :cas [4 1]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :invoke :cas [4 2]
INFO jepsen.util - 3 :fail :cas [4 2]
INFO jepsen.util - 2 :ok :read 2
INFO jepsen.util - 4 :invoke :write 4
INFO jepsen.util - 4 :ok :write 4
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 4
INFO jepsen.util - 3 :ok :read 4
INFO jepsen.util - 4 :invoke :write 4
INFO jepsen.util - 4 :ok :write 4
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 2 :invoke :cas [4 0]
INFO jepsen.util - 3 :invoke :cas [2 4]
INFO jepsen.util - 3 :fail :cas [2 4]
INFO jepsen.util - 2 :fail :cas [4 0]
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :cas [3 0]
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 3 :fail :cas [3 0]
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 4 :invoke :cas [1 2]
INFO jepsen.util - 4 :fail :cas [1 2]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :cas [4 2]
INFO jepsen.util - 2 :invoke :cas [3 0]
INFO jepsen.util - 3 :fail :cas [4 2]
INFO jepsen.util - 2 :fail :cas [3 0]
INFO jepsen.util - 4 :invoke :write 4
INFO jepsen.util - 4 :ok :write 4
INFO jepsen.util - 1 :invoke :write 1
INFO jepsen.util - 1 :fail :write 1
INFO jepsen.util - 3 :invoke :write 1
INFO jepsen.util - 2 :invoke :cas [2 3]
INFO jepsen.util - 2 :fail :cas [2 3]
INFO jepsen.util - 3 :ok :write 1
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 1 :invoke :write 3
INFO jepsen.util - 1 :fail :write 3
INFO jepsen.util - 2 :invoke :write 3
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 3 :ok :write 2
INFO jepsen.util - 2 :ok :write 3
INFO jepsen.util - 4 :invoke :cas [3 1]
INFO jepsen.util - 4 :fail :cas [3 1]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 3 :ok :read 3
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 1 :invoke :cas [2 4]
INFO jepsen.util - 1 :fail :cas [2 4]
INFO jepsen.util - 3 :invoke :cas [0 3]
INFO jepsen.util - 2 :invoke :write 1
INFO jepsen.util - 3 :fail :cas [0 3]
INFO jepsen.util - 2 :ok :write 1
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 1 :invoke :cas [0 4]
INFO jepsen.util - 1 :fail :cas [0 4]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 3 :ok :read 3
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :cas [2 0]
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 3 :fail :cas [2 0]
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 4 :invoke :write 1
INFO jepsen.util - 4 :ok :write 1
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 1 :fail :write 4
INFO jepsen.util - 3 :invoke :cas [4 1]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :fail :cas [4 1]
INFO jepsen.util - 2 :ok :read 1
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 1
INFO jepsen.util - 1 :invoke :cas [1 4]
INFO jepsen.util - 1 :fail :cas [1 4]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 2 :invoke :cas [3 2]
INFO jepsen.util - 3 :fail :read nil
INFO jepsen.util - 2 :fail :cas [3 2]
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :cas [1 2]
INFO jepsen.util - 4 :fail :cas [1 2]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :fail :read nil
INFO jepsen.util - 3 :invoke :cas [2 1]
INFO jepsen.util - 2 :invoke :cas [2 4]
INFO jepsen.util - 3 :fail :cas [2 1]
INFO jepsen.util - 2 :fail :cas [2 4]
INFO jepsen.util - 0 :invoke :cas [1 2]
INFO jepsen.util - 0 :fail :cas [1 2]
INFO jepsen.util - 4 :invoke :cas [3 1]
INFO jepsen.util - 4 :fail :cas [3 1]
INFO jepsen.util - 1 :invoke :cas [0 3]
INFO jepsen.util - 1 :fail :cas [0 3]
INFO jepsen.util - 3 :invoke :cas [1 0]
INFO jepsen.util - 2 :invoke :write 0
INFO jepsen.util - 2 :fail :write 0
INFO jepsen.util - 3 :fail :cas [1 0]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :write 0
INFO jepsen.util - 4 :fail :write 0
INFO jepsen.util - 1 :invoke :cas [2 3]
INFO jepsen.util - 1 :fail :cas [2 3]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :invoke :cas [2 0]
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 3 :fail :cas [2 0]
INFO jepsen.util - 0 :invoke :cas [0 4]
INFO jepsen.util - 0 :fail :cas [0 4]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 1 :invoke :cas [4 2]
INFO jepsen.util - 1 :fail :cas [4 2]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :invoke :write 0
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 3 :fail :write 0
INFO jepsen.util - 0 :invoke :write 0
INFO jepsen.util - 0 :fail :write 0
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 1 :invoke :cas [1 2]
INFO jepsen.util - 1 :fail :cas [1 2]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 3 :fail :read nil
INFO jepsen.util - 0 :invoke :cas [2 4]
INFO jepsen.util - 0 :fail :cas [2 4]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 1 :invoke :cas [3 3]
INFO jepsen.util - 1 :fail :cas [3 3]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :invoke :cas [2 1]
INFO jepsen.util - 2 :fail :read nil
INFO jepsen.util - 3 :fail :cas [2 1]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :cas [0 4]
INFO jepsen.util - 4 :fail :cas [0 4]
INFO jepsen.util - 1 :invoke :write 1
INFO jepsen.util - 1 :fail :write 1
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 2 :fail :write 2
INFO jepsen.util - 3 :fail :read nil
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :fail :read nil
INFO jepsen.util - 1 :invoke :cas [4 1]
INFO jepsen.util - 1 :fail :cas [4 1]
INFO jepsen.util - 2 :invoke :cas [1 4]
INFO jepsen.util - 3 :invoke :cas [4 2]
INFO jepsen.util - 3 :fail :cas [4 2]
INFO jepsen.util - 2 :fail :cas [1 4]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 1
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 1
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 1 :ok :write 4
INFO jepsen.util - 3 :invoke :write 0
INFO jepsen.util - 2 :invoke :cas [3 2]
INFO jepsen.util - 2 :fail :cas [3 2]
INFO jepsen.util - 3 :ok :write 0
INFO jepsen.util - 0 :invoke :cas [0 3]
INFO jepsen.util - 0 :fail :cas [0 3]
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 2
INFO jepsen.util - 2 :invoke :write 0
INFO jepsen.util - 3 :invoke :cas [4 4]
INFO jepsen.util - 3 :fail :cas [4 4]
INFO jepsen.util - 2 :ok :write 0
INFO jepsen.util - 0 :invoke :cas [1 0]
INFO jepsen.util - 0 :fail :cas [1 0]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 0
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 1 :ok :write 4
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 2 :invoke :cas [1 3]
INFO jepsen.util - 3 :ok :read 4
INFO jepsen.util - 2 :fail :cas [1 3]
INFO jepsen.util - 0 :invoke :cas [1 2]
INFO jepsen.util - 0 :fail :cas [1 2]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 4
INFO jepsen.util - 1 :invoke :cas [3 2]
INFO jepsen.util - 1 :fail :cas [3 2]
INFO jepsen.util - 3 :invoke :write 4
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :ok :write 4
INFO jepsen.util - 2 :ok :read 4
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 4
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 1 :ok :write 0
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 2 :invoke :cas [4 2]
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :fail :cas [4 2]
INFO jepsen.util - 0 :invoke :cas [0 4]
INFO jepsen.util - 0 :fail :cas [0 4]
INFO jepsen.util - 4 :invoke :write 1
INFO jepsen.util - 4 :ok :write 1
INFO jepsen.util - 1 :invoke :write 2
INFO jepsen.util - 1 :ok :write 2
INFO jepsen.util - 3 :invoke :write 0
INFO jepsen.util - 2 :invoke :cas [3 3]
INFO jepsen.util - 2 :fail :cas [3 3]
INFO jepsen.util - 3 :ok :write 0
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 0
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 0
INFO jepsen.util - 1 :invoke :write 2
INFO jepsen.util - 1 :ok :write 2
INFO jepsen.util - 2 :invoke :write 3
INFO jepsen.util - 3 :invoke :cas [3 0]
INFO jepsen.util - 3 :fail :cas [3 0]
INFO jepsen.util - 2 :ok :write 3
INFO jepsen.util - 0 :invoke :cas [0 1]
INFO jepsen.util - 0 :fail :cas [0 1]
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 2
INFO jepsen.util - 3 :invoke :write 0
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 3 :ok :write 0
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 0 :invoke :write 0
INFO jepsen.util - 0 :ok :write 0
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 3
INFO jepsen.util - 3 :invoke :cas [2 2]
INFO jepsen.util - 3 :fail :cas [2 2]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 3
INFO jepsen.util - 0 :invoke :cas [4 2]
INFO jepsen.util - 0 :fail :cas [4 2]
INFO jepsen.util - 4 :invoke :cas [3 0]
INFO jepsen.util - 4 :fail :cas [3 0]
INFO jepsen.util - 1 :invoke :cas [4 2]
INFO jepsen.util - 1 :fail :cas [4 2]
INFO jepsen.util - 3 :invoke :write 2
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :ok :write 2
INFO jepsen.util - 2 :ok :read 2
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 2
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 1 :ok :write 0
INFO jepsen.util - 3 :invoke :cas [4 1]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :fail :cas [4 1]
INFO jepsen.util - 2 :ok :read 0
INFO jepsen.util - 0 :invoke :cas [4 3]
INFO jepsen.util - 0 :fail :cas [4 3]
INFO jepsen.util - 4 :invoke :write 0
INFO jepsen.util - 4 :ok :write 0
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 1 :ok :write 0
INFO jepsen.util - 3 :invoke :cas [1 2]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :fail :cas [1 2]
INFO jepsen.util - 2 :ok :read 0
INFO jepsen.util - 0 :invoke :cas [0 1]
INFO jepsen.util - 0 :fail :cas [0 1]
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 1 :invoke :write 0
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 2 :ok :write 2
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - :nemesis :info :start "Cut off {:n5 #{:n2 :n1}, :n4 #{:n2 :n1}, :n3 #{:n2 :n1}, :n1 #{:n3 :n4 :n5}, :n2 #{:n3 :n4 :n5}}"
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 3 :invoke :cas [3 2]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :fail :cas [3 2]
INFO jepsen.util - 2 :ok :read 2
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 4
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 3 :ok :read 4
INFO jepsen.util - 2 :ok :read 4
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 4
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 3 :ok :read 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 4 :invoke :cas [0 4]
INFO jepsen.util - 4 :fail :cas [0 4]
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 2 :invoke :cas [0 1]
INFO jepsen.util - 3 :ok :write 3
INFO jepsen.util - 2 :fail :cas [0 1]
INFO jepsen.util - 4 :invoke :cas [3 3]
INFO jepsen.util - 4 :fail :cas [3 3]
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 0 :fail :read nil
INFO jepsen.util - 1 :fail :write 0
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.core - nemesis done
INFO jepsen.core - Worker 3 done
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.core - Worker 2 done
INFO jepsen.core - Worker 4 done
INFO jepsen.core - Worker 0 done
INFO jepsen.util - 1 :ok :read 3
INFO jepsen.core - Worker 1 done
INFO jepsen.core - Run complete, writing
INFO jepsen.core - Analyzing
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 9 :degenerate 6
:world-size 30 :degenerate 16
:world-size 61 :degenerate 28
:world-size 14 :degenerate 14
:world-size 8 :degenerate 8
:world-size 5 :degenerate 5
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 3 :degenerate 3
:world-size 6 :degenerate 5
:world-size 9 :degenerate 7
:world-size 24 :degenerate 17
:world-size 9 :degenerate 9
:world-size 6 :degenerate 6
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 3 :degenerate 3
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 10 :degenerate 10
:world-size 5 :degenerate 5
:world-size 10 :degenerate 10
:world-size 6 :degenerate 6
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 4 :degenerate 3
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 6 :degenerate 6
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 10 :degenerate 8
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 3 :degenerate 3
:world-size 8 :degenerate 8
:world-size 5 :degenerate 5
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 4 :degenerate 3
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 8 :degenerate 8
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 8 :degenerate 7
:world-size 4 :degenerate 4
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 3 :degenerate 3
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 10 :degenerate 10
:world-size 5 :degenerate 5
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 3 :degenerate 3
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 3 :degenerate 3
:world-size 11 :degenerate 7
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 5 :degenerate 5
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 11 :degenerate 8
:world-size 3 :degenerate 3
:world-size 11 :degenerate 8
:world-size 5 :degenerate 5
:world-size 14 :degenerate 11
:world-size 5 :degenerate 5
:world-size 14 :degenerate 11
:world-size 5 :degenerate 5
:world-size 12 :degenerate 10
:world-size 5 :degenerate 5
:world-size 17 :degenerate 10
:world-size 5 :degenerate 5
:world-size 17 :degenerate 10
:world-size 5 :degenerate 5
:world-size 12 :degenerate 10
:world-size 5 :degenerate 5
:world-size 14 :degenerate 11
:world-size 5 :degenerate 5
:world-size 6 :degenerate 5
:world-size 5 :degenerate 5
:world-size 6 :degenerate 5
:world-size 5 :degenerate 5
:world-size 6 :degenerate 5
:world-size 5 :degenerate 5
:world-size 17 :degenerate 10
:world-size 5 :degenerate 5
:world-size 9 :degenerate 8
:world-size 5 :degenerate 5
:world-size 6 :degenerate 5
:world-size 5 :degenerate 5
:world-size 12 :degenerate 10
:world-size 5 :degenerate 5
:world-size 12 :degenerate 10
:world-size 5 :degenerate 5
:world-size 9 :degenerate 8
:world-size 5 :degenerate 5
:world-size 6 :degenerate 5
:world-size 5 :degenerate 5
:world-size 6 :degenerate 5
:world-size 5 :degenerate 5
:world-size 11 :degenerate 9
:world-size 5 :degenerate 5
:world-size 9 :degenerate 8
:world-size 5 :degenerate 5
:world-size 14 :degenerate 11
:world-size 6 :degenerate 6
:world-size 12 :degenerate 12
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 14 :degenerate 10
:world-size 6 :degenerate 6
:world-size 12 :degenerate 12
:world-size 6 :degenerate 6
:world-size 12 :degenerate 12
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 12 :degenerate 12
:world-size 6 :degenerate 6
:world-size 9 :degenerate 9
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 12 :degenerate 12
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 12 :degenerate 12
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 8 :degenerate 8
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 8 :degenerate 8
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 12 :degenerate 12
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 18 :degenerate 13
:world-size 6 :degenerate 6
:world-size 9 :degenerate 9
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 12 :degenerate 12
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 15 :degenerate 13
:world-size 6 :degenerate 6
:world-size 9 :degenerate 9
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 3 :degenerate 3
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 5
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 5
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 3 :degenerate 3
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 12 :degenerate 8
:world-size 4 :degenerate 4
:world-size 6 :degenerate 4
:world-size 4 :degenerate 4
:world-size 4 :degenerate 4
:world-size 18 :degenerate 8
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 12 :degenerate 8
:world-size 4 :degenerate 4
:world-size 7 :degenerate 4
:world-size 4 :degenerate 4
:world-size 21 :degenerate 8
:world-size 4 :degenerate 4
:world-size 5 :degenerate 4
:world-size 4 :degenerate 4
:world-size 9 :degenerate 6
:world-size 4 :degenerate 4
:world-size 9 :degenerate 6
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 21 :degenerate 8
:world-size 4 :degenerate 4
:world-size 21 :degenerate 10
:world-size 4 :degenerate 4
:world-size 6 :degenerate 4
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 16 :degenerate 10
:world-size 4 :degenerate 4
:world-size 16 :degenerate 10
:world-size 6 :degenerate 6
:world-size 18 :degenerate 12
:world-size 6 :degenerate 6
:world-size 21 :degenerate 12
:world-size 6 :degenerate 6
:world-size 17 :degenerate 12
:world-size 6 :degenerate 6
:world-size 10 :degenerate 6
:world-size 6 :degenerate 6
:world-size 26 :degenerate 12
:world-size 6 :degenerate 6
:world-size 11 :degenerate 8
:world-size 6 :degenerate 6
:world-size 7 :degenerate 6
:world-size 6 :degenerate 6
:world-size 21 :degenerate 12
:world-size 6 :degenerate 6
:world-size 17 :degenerate 12
:world-size 6 :degenerate 6
:world-size 26 :degenerate 12
:world-size 6 :degenerate 6
:world-size 26 :degenerate 12
:world-size 6 :degenerate 6
:world-size 21 :degenerate 12
:world-size 6 :degenerate 6
:world-size 25 :degenerate 12
:world-size 6 :degenerate 6
:world-size 25 :degenerate 12
:world-size 6 :degenerate 6
:world-size 12 :degenerate 8
:world-size 6 :degenerate 6
:world-size 23 :degenerate 12
:world-size 6 :degenerate 6
:world-size 21 :degenerate 12
:world-size 6 :degenerate 6
:world-size 21 :degenerate 10
:world-size 4 :degenerate 4
:world-size 7 :degenerate 4
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 5 :degenerate 4
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 16 :degenerate 10
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 18 :degenerate 10
:world-size 4 :degenerate 4
:world-size 18 :degenerate 8
:world-size 4 :degenerate 4
:world-size 5 :degenerate 4
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 16 :degenerate 10
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 21 :degenerate 10
:world-size 4 :degenerate 4
:world-size 21 :degenerate 10
:world-size 4 :degenerate 4
:world-size 16 :degenerate 10
:world-size 4 :degenerate 4
:world-size 5 :degenerate 4
:world-size 4 :degenerate 4
:world-size 16 :degenerate 10
:world-size 4 :degenerate 4
:world-size 5 :degenerate 4
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 16 :degenerate 10
:world-size 6 :degenerate 6
:world-size 26 :degenerate 12
:world-size 6 :degenerate 6
:world-size 26 :degenerate 12
:world-size 6 :degenerate 6
:world-size 7 :degenerate 6
:world-size 6 :degenerate 6
:world-size 7 :degenerate 6
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 21 :degenerate 12
:world-size 6 :degenerate 6
:world-size 21 :degenerate 12
:world-size 6 :degenerate 6
:world-size 26 :degenerate 12
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 3 :degenerate 3
:world-size 3 :degenerate 3
:world-size 4 :degenerate 4
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 3 :degenerate 3
:world-size 3 :degenerate 3
:world-size 3 :degenerate 3
:world-size 3 :degenerate 3
:world-size 3 :degenerate 3
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 21 :degenerate 8
:world-size 4 :degenerate 4
:world-size 21 :degenerate 8
:world-size 4 :degenerate 4
:world-size 26 :degenerate 8
:world-size 4 :degenerate 4
:world-size 28 :degenerate 8
:world-size 4 :degenerate 4
:world-size 8 :degenerate 4
:world-size 4 :degenerate 4
:world-size 21 :degenerate 8
:world-size 4 :degenerate 4
:world-size 23 :degenerate 8
:world-size 4 :degenerate 4
:world-size 7 :degenerate 4
:world-size 4 :degenerate 4
:world-size 5 :degenerate 4
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 5 :degenerate 4
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 23 :degenerate 8
:world-size 4 :degenerate 4
:world-size 8 :degenerate 4
:world-size 4 :degenerate 4
:world-size 8 :degenerate 4
:world-size 4 :degenerate 4
:world-size 23 :degenerate 8
:world-size 4 :degenerate 4
:world-size 23 :degenerate 8
:world-size 4 :degenerate 4
:world-size 18 :degenerate 8
:world-size 4 :degenerate 4
:world-size 23 :degenerate 8
:world-size 4 :degenerate 4
:world-size 18 :degenerate 8
:world-size 4 :degenerate 4
:world-size 8 :degenerate 4
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 28 :degenerate 8
:world-size 4 :degenerate 4
:world-size 21 :degenerate 8
:world-size 4 :degenerate 4
:world-size 8 :degenerate 4
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 18 :degenerate 8
:world-size 4 :degenerate 4
:world-size 7 :degenerate 4
:world-size 4 :degenerate 4
:world-size 21 :degenerate 8
:world-size 4 :degenerate 4
:world-size 26 :degenerate 8
:world-size 4 :degenerate 4
:world-size 21 :degenerate 8
:world-size 4 :degenerate 4
:world-size 21 :degenerate 8
:world-size 4 :degenerate 4
:world-size 5 :degenerate 4
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 23 :degenerate 8
:world-size 4 :degenerate 4
:world-size 6 :degenerate 4
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 23 :degenerate 8
:world-size 4 :degenerate 4
:world-size 23 :degenerate 8
:world-size 4 :degenerate 4
:world-size 6 :degenerate 4
:world-size 4 :degenerate 4
:world-size 18 :degenerate 8
:world-size 4 :degenerate 4
:world-size 23 :degenerate 8
:world-size 4 :degenerate 4
:world-size 18 :degenerate 8
:world-size 4 :degenerate 4
:world-size 18 :degenerate 8
:world-size 4 :degenerate 4
:world-size 10 :degenerate 4
:world-size 4 :degenerate 4
:world-size 8 :degenerate 4
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 9 :degenerate 4
:world-size 4 :degenerate 4
:world-size 26 :degenerate 8
:world-size 4 :degenerate 4
:world-size 10 :degenerate 4
:world-size 4 :degenerate 4
:world-size 18 :degenerate 8
:world-size 4 :degenerate 4
:world-size 26 :degenerate 8
:world-size 4 :degenerate 4
:world-size 9 :degenerate 4
:world-size 4 :degenerate 4
:world-size 8 :degenerate 4
:world-size 4 :degenerate 4
:world-size 5 :degenerate 4
:world-size 4 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 18 :degenerate 8
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 5
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 6 :degenerate 6
:world-size 14 :degenerate 11
:world-size 6 :degenerate 6
:world-size 14 :degenerate 12
:world-size 6 :degenerate 6
:world-size 21 :degenerate 14
:world-size 8 :degenerate 8
:world-size 16 :degenerate 11
:world-size 8 :degenerate 8
:world-size 14 :degenerate 11
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 28 :degenerate 16
:world-size 8 :degenerate 8
:world-size 30 :degenerate 16
:world-size 8 :degenerate 8
:world-size 28 :degenerate 16
:world-size 8 :degenerate 8
:world-size 21 :degenerate 16
:world-size 8 :degenerate 8
:world-size 20 :degenerate 14
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 10 :degenerate 8
:world-size 8 :degenerate 8
:world-size 10 :degenerate 8
:world-size 8 :degenerate 8
:world-size 28 :degenerate 16
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 10 :degenerate 8
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 10 :degenerate 8
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 28 :degenerate 16
:world-size 8 :degenerate 8
:world-size 28 :degenerate 16
:world-size 8 :degenerate 8
:world-size 21 :degenerate 16
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 10 :degenerate 8
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 14 :degenerate 11
:world-size 8 :degenerate 8
:world-size 10 :degenerate 8
:world-size 8 :degenerate 8
:world-size 10 :degenerate 8
:world-size 8 :degenerate 8
:world-size 20 :degenerate 14
:world-size 8 :degenerate 8
:world-size 28 :degenerate 16
:world-size 8 :degenerate 8
:world-size 16 :degenerate 11
:world-size 8 :degenerate 8
:world-size 28 :degenerate 16
:world-size 8 :degenerate 8
:world-size 15 :degenerate 11
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 10 :degenerate 8
:world-size 8 :degenerate 8
:world-size 28 :degenerate 14
:world-size 6 :degenerate 6
:world-size 26 :degenerate 12
:world-size 6 :degenerate 6
:world-size 20 :degenerate 12
:world-size 6 :degenerate 6
:world-size 23 :degenerate 14
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 28 :degenerate 14
:world-size 6 :degenerate 6
:world-size 21 :degenerate 12
:world-size 6 :degenerate 6
:world-size 21 :degenerate 14
:world-size 8 :degenerate 8
:world-size 30 :degenerate 16
:world-size 8 :degenerate 8
:world-size 20 :degenerate 16
:world-size 8 :degenerate 8
:world-size 28 :degenerate 16
:world-size 8 :degenerate 8
:world-size 30 :degenerate 16
:world-size 8 :degenerate 8
:world-size 3 :degenerate 3
:world-size 6 :degenerate 6
:world-size 3 :degenerate 3
:world-size 3 :degenerate 3
:world-size 6 :degenerate 6
:world-size 3 :degenerate 3
:world-size 6 :degenerate 6
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 3 :degenerate 3
:world-size 3 :degenerate 3
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 7 :degenerate 5
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 3 :degenerate 3
:world-size 7 :degenerate 6
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 3 :degenerate 3
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 5
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 4 :degenerate 3
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 10 :degenerate 10
:world-size 6 :degenerate 6
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 4 :degenerate 3
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 12 :degenerate 8
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 3 :degenerate 2
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 21 :degenerate 8
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 3 :degenerate 2
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 12 :degenerate 8
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 3 :degenerate 2
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 16 :degenerate 10
:world-size 6 :degenerate 6
:world-size 4 :degenerate 4
:world-size 8 :degenerate 6
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 3 :degenerate 2
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 6 :degenerate 4
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 16 :degenerate 8
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 5 :degenerate 4
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 12 :degenerate 8
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 3 :degenerate 2
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 5 :degenerate 4
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 16 :degenerate 10
:world-size 6 :degenerate 6
:world-size 4 :degenerate 4
:world-size 8 :degenerate 6
:world-size 4 :degenerate 4
:world-size 12 :degenerate 8
:world-size 4 :degenerate 4
:world-size 8 :degenerate 6
:world-size 17 :degenerate 10
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 3 :degenerate 2
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 3 :degenerate 2
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 12 :degenerate 8
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 7 :degenerate 4
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 4
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 5 :degenerate 5
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 4 :degenerate 3
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 3 :degenerate 3
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 4 :degenerate 4
:world-size 13 :degenerate 10
:world-size 5 :degenerate 5
:world-size 3 :degenerate 3
:world-size 9 :degenerate 6
:world-size 6 :degenerate 6
:world-size 26 :degenerate 12
:world-size 6 :degenerate 6
:world-size 10 :degenerate 6
:world-size 19 :degenerate 12
:world-size 12 :degenerate 12
:world-size 6 :degenerate 6
:world-size 23 :degenerate 12
:world-size 6 :degenerate 6
:world-size 30 :degenerate 12
:world-size 91 :degenerate 28
:world-size 16 :degenerate 16
:world-size 10 :degenerate 10
:world-size 32 :degenerate 16
:world-size 6 :degenerate 6
:world-size 23 :degenerate 12
:world-size 68 :degenerate 24
:world-size 12 :degenerate 12
:world-size 6 :degenerate 6
:world-size 24 :degenerate 12
:world-size 6 :degenerate 6
:world-size 23 :degenerate 12
:world-size 85 :degenerate 24
:world-size 12 :degenerate 12
:world-size 6 :degenerate 6
:world-size 20 :degenerate 8
:world-size 6 :degenerate 6
:world-size 26 :degenerate 12
:world-size 47 :degenerate 18
:world-size 10 :degenerate 10
:world-size 6 :degenerate 6
:world-size 23 :degenerate 12
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 6 :degenerate 6
:world-size 3 :degenerate 3
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 1 :degenerate 1
:world-size 2 :degenerate 2
:world-size 1 :degenerate 1
INFO jepsen.core - Analysis complete
INFO jepsen.system.consul - :n3 consul nuked
INFO jepsen.system.consul - :n2 consul nuked
INFO jepsen.system.consul - :n4 consul nuked
INFO jepsen.system.consul - :n1 consul nuked
INFO jepsen.system.consul - :n5 consul nuked
1964 element history linearizable. :D
Ran 1 tests containing 1 assertions.
0 failures, 0 errors.
```
<!--googleon: all-->