diff --git a/website/pages/docs/architecture/jepsen.mdx b/website/pages/docs/architecture/jepsen.mdx index f7f37376a..a72619bd0 100644 --- a/website/pages/docs/architecture/jepsen.mdx +++ b/website/pages/docs/architecture/jepsen.mdx @@ -34,7 +34,8 @@ testing soon. 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. +run and has been edited for length. Please reach out on [Consul's Discuss](https://discuss.hashicorp.com/c/consul) +if you would like to reproduce the Jepsen results. @@ -86,1953 +87,7 @@ 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] +(Log Truncated...) INFO jepsen.util - 4 :invoke :cas [3 3] INFO jepsen.util - 4 :fail :cas [3 3] INFO jepsen.util - :nemesis :info :stop nil @@ -2051,1970 +106,7 @@ 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 +(Log Truncated...) INFO jepsen.core - Analysis complete INFO jepsen.system.consul - :n3 consul nuked INFO jepsen.system.consul - :n2 consul nuked