luxolus
/
open-consul
2
0
Fork 0
Code Issues 1 Pull Requests Packages Releases Wiki Activity
open-consul/website/source/docs/internals/jepsen.html.markdown

4028 lines
132 KiB
Markdown
Raw Normal View History

website: Adding page on Jepsen testing
2014-04-17 00:00:37 +00:00
---
layout: "docs"
page_title: "Jepsen Testing"
sidebar_current: "docs-internals-jepsen"
Use new Markdown syntaxes and add SEO descriptions
2014-10-19 23:40:10 +00:00
description: |-
Website: minor tweaks for docs/internals/jepsen.html.
2015-04-13 02:44:57 +00:00
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.
website: Adding page on Jepsen testing
2014-04-17 00:00:37 +00:00
---
# Jepsen Testing
[Jepsen](http://aphyr.com/posts/281-call-me-maybe-carly-rae-jepsen-and-the-perils-of-network-partitions)
Website: minor tweaks for docs/internals/jepsen.html.
2015-04-13 02:44:57 +00:00
is a tool, written by Kyle Kingsbury, designed to test the partition
website: Grammar cleanup
2014-04-17 00:29:37 +00:00
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.
website: Adding page on Jepsen testing
2014-04-17 00:00:37 +00:00
Website: minor tweaks for docs/internals/jepsen.html.
2015-04-13 02:44:57 +00:00
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.
website: Adding page on Jepsen testing
2014-04-17 00:00:37 +00:00
website: Add note about jepsen testing
2014-04-17 00:03:33 +00:00
## Running the tests
Website: minor tweaks for docs/internals/jepsen.html.
2015-04-13 02:44:57 +00:00
At the moment, testing with Jepsen is rather complex as it requires
website: Grammar cleanup
2014-04-17 00:29:37 +00:00
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.
website: Add note about jepsen testing
2014-04-17 00:03:33 +00:00
website: Adding page on Jepsen testing
2014-04-17 00:00:37 +00:00
## 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.
Do not index "Jespen" code block The word "Jespen" is one of our top keywords because it appears so many times in the Jespen Testing page. This commit adds a comment to disable Google indexing in that code block so we can better target keywords.
2014-10-27 02:14:56 +00:00
<!--googleoff: all-->
Use new Markdown syntaxes and add SEO descriptions
2014-10-19 23:40:10 +00:00
```text
website: Adding page on Jepsen testing
2014-04-17 00:00:37 +00:00
$ 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.
```
Do not index "Jespen" code block The word "Jespen" is one of our top keywords because it appears so many times in the Jespen Testing page. This commit adds a comment to disable Google indexing in that code block so we can better target keywords.
2014-10-27 02:14:56 +00:00
<!--googleon: all-->