Not linearizable. Linearizable prefix was: 2 :invoke :read 3 4 :invoke :write 3 1 :invoke :cas [3 2] 3 :invoke :read 3 0 :invoke :read 3 1 :fail :cas [3 2] 3 :ok :read 3 2 :ok :read 3 0 :ok :read 3 4 :ok :write 3 1 :invoke :write 4 3 :invoke :cas [0 1] 2 :invoke :write 3 0 :invoke :read 3 3 :fail :cas [0 1] 0 :ok :read 3 1 :ok :write 4 2 :ok :write 3 4 :invoke :read 3 4 :ok :read 3 3 :invoke :cas [4 3] 0 :invoke :write 0 3 :fail :cas [4 3] 1 :invoke :write 0 1 :ok :write 0 0 :ok :write 0 2 :invoke :cas [3 0] 2 :fail :cas [3 0] 4 :invoke :cas [4 2] 4 :fail :cas [4 2] 3 :invoke :cas [0 4] 1 :invoke :write 1 0 :invoke :write 3 3 :ok :cas [0 4] 2 :invoke :read 3 2 :ok :read 3 1 :ok :write 1 0 :ok :write 3 4 :invoke :write 1 4 :ok :write 1 3 :invoke :cas [3 4] 3 :fail :cas [3 4] 2 :invoke :write 4 1 :invoke :read 4 0 :invoke :write 2 1 :ok :read 4 2 :ok :write 4 0 :ok :write 2 4 :invoke :write 2 4 :ok :write 2 3 :invoke :read 2 3 :ok :read 2 1 :invoke :cas [2 0] 2 :invoke :write 3 1 :ok :cas [2 0] 0 :invoke :read 3 0 :ok :read 3 2 :ok :write 3 4 :invoke :read 3 4 :ok :read 3 3 :invoke :read 3 3 :ok :read 3 1 :invoke :cas [4 3] 1 :fail :cas [4 3] 0 :invoke :write 4 2 :invoke :write 0 0 :ok :write 4 2 :ok :write 0 4 :invoke :read 0 4 :ok :read 0 3 :invoke :write 2 3 :ok :write 2 1 :invoke :cas [2 1] 1 :ok :cas [2 1] 0 :invoke :write 4 2 :invoke :write 0 0 :ok :write 4 2 :ok :write 0 4 :invoke :cas [2 2] 4 :fail :cas [2 2] 3 :invoke :write 0 3 :ok :write 0 1 :invoke :cas [1 4] 1 :fail :cas [1 4] 0 :invoke :cas [3 2] 0 :fail :cas [3 2] 2 :invoke :write 4 2 :ok :write 4 4 :invoke :cas [1 3] 4 :fail :cas [1 3] 3 :invoke :write 3 3 :ok :write 3 1 :invoke :cas [2 4] 1 :fail :cas [2 4] 0 :invoke :write 2 0 :ok :write 2 2 :invoke :write 1 2 :ok :write 1 4 :invoke :read 1 4 :ok :read 1 3 :invoke :write 4 3 :ok :write 4 1 :invoke :cas [4 4] 1 :ok :cas [4 4] 0 :invoke :cas [0 2] 0 :fail :cas [0 2] 2 :invoke :read 4 2 :ok :read 4 4 :invoke :write 1 4 :ok :write 1 3 :invoke :cas [4 0] 3 :fail :cas [4 0] 1 :invoke :read 1 1 :ok :read 1 0 :invoke :write 3 0 :ok :write 3 2 :invoke :cas [4 0] 2 :fail :cas [4 0] 4 :invoke :cas [1 4] 4 :fail :cas [1 4] 3 :invoke :cas [3 2] 1 :invoke :write 2 1 :ok :write 2 3 :ok :cas [3 2] 0 :invoke :read 2 0 :ok :read 2 2 :invoke :cas [1 2] 2 :fail :cas [1 2] 4 :invoke :read 2 4 :ok :read 2 1 :invoke :read 2 3 :invoke :write 2 1 :ok :read 2 3 :ok :write 2 0 :invoke :read 2 0 :ok :read 2 2 :invoke :read 2 2 :ok :read 2 4 :invoke :cas [3 3] 4 :fail :cas [3 3] 1 :invoke :cas [3 4] 3 :invoke :write 1 1 :fail :cas [3 4] 3 :ok :write 1 0 :invoke :write 2 0 :ok :write 2 2 :invoke :read 2 2 :ok :read 2 4 :invoke :read 2 4 :ok :read 2 1 :invoke :read 2 1 :ok :read 2 3 :invoke :cas [0 1] 3 :fail :cas [0 1] 0 :invoke :read 2 0 :ok :read 2 2 :invoke :cas [2 4] 2 :ok :cas [2 4] 4 :invoke :cas [1 1] 4 :fail :cas [1 1] 1 :invoke :cas [2 0] 1 :fail :cas [2 0] 3 :invoke :write 0 3 :ok :write 0 0 :invoke :cas [2 3] 0 :fail :cas [2 3] 2 :invoke :read 0 2 :ok :read 0 4 :invoke :write 3 4 :ok :write 3 1 :invoke :read 3 1 :ok :read 3 3 :invoke :read 3 3 :ok :read 3 0 :invoke :write 0 0 :ok :write 0 2 :invoke :write 1 2 :ok :write 1 4 :invoke :write 1 4 :ok :write 1 1 :invoke :cas [3 0] 1 :fail :cas [3 0] 3 :invoke :cas [4 3] 3 :fail :cas [4 3] 0 :invoke :read 1 0 :ok :read 1 2 :invoke :cas [2 1] 2 :fail :cas [2 1] 4 :invoke :cas [4 4] 4 :fail :cas [4 4] 1 :invoke :write 0 1 :ok :write 0 3 :invoke :write 4 3 :ok :write 4 0 :invoke :write 2 0 :ok :write 2 2 :invoke :write 3 2 :ok :write 3 4 :invoke :write 2 4 :ok :write 2 1 :invoke :write 2 1 :ok :write 2 3 :invoke :cas [2 4] 3 :ok :cas [2 4] 0 :invoke :read 4 0 :ok :read 4 2 :invoke :write 3 2 :ok :write 3 4 :invoke :cas [3 2] 4 :ok :cas [3 2] 1 :invoke :read 2 1 :ok :read 2 3 :invoke :write 0 3 :ok :write 0 0 :invoke :write 1 0 :ok :write 1 2 :invoke :write 2 2 :ok :write 2 4 :invoke :read 2 4 :ok :read 2 1 :invoke :cas [3 2] 1 :fail :cas [3 2] 3 :invoke :read 2 3 :ok :read 2 0 :invoke :cas [4 3] 0 :fail :cas [4 3] 2 :invoke :cas [4 4] 2 :fail :cas [4 4] 4 :invoke :read 2 4 :ok :read 2 1 :invoke :write 4 1 :ok :write 4 3 :invoke :write 2 0 :invoke :cas [2 2] 3 :ok :write 2 0 :ok :cas [2 2] 2 :invoke :cas [2 4] 2 :ok :cas [2 4] 4 :invoke :read 4 4 :ok :read 4 1 :invoke :read 4 1 :ok :read 4 3 :invoke :cas [0 0] 0 :invoke :write 0 3 :fail :cas [0 0] 0 :ok :write 0 2 :invoke :cas [1 2] 2 :fail :cas [1 2] 4 :invoke :cas [1 2] 4 :fail :cas [1 2] 1 :invoke :write 3 1 :ok :write 3 3 :invoke :write 2 0 :invoke :write 4 3 :ok :write 2 0 :ok :write 4 2 :invoke :read 4 2 :ok :read 4 4 :invoke :cas [2 1] 4 :fail :cas [2 1] 1 :invoke :read 4 1 :ok :read 4 3 :invoke :cas [4 1] 0 :invoke :write 0 3 :ok :cas [4 1] 0 :ok :write 0 2 :invoke :cas [3 4] 2 :fail :cas [3 4] 4 :invoke :cas [4 2] 4 :fail :cas [4 2] 1 :invoke :write 4 1 :ok :write 4 3 :invoke :read 4 3 :ok :read 4 0 :invoke :cas [2 2] 0 :fail :cas [2 2] 2 :invoke :read 4 2 :ok :read 4 4 :invoke :read 4 4 :ok :read 4 1 :invoke :cas [3 4] 1 :fail :cas [3 4] 3 :invoke :cas [2 4] 3 :fail :cas [2 4] 0 :invoke :write 3 2 :invoke :cas [1 3] 0 :ok :write 3 2 :fail :cas [1 3] 4 :invoke :cas [0 2] 4 :fail :cas [0 2] 1 :invoke :read 3 1 :ok :read 3 3 :invoke :read 3 3 :ok :read 3 0 :invoke :read 3 2 :invoke :cas [0 0] 0 :ok :read 3 2 :fail :cas [0 0] 4 :invoke :write 0 4 :ok :write 0 1 :invoke :cas [1 2] 1 :fail :cas [1 2] 3 :invoke :read 0 3 :ok :read 0 0 :invoke :cas [4 0] 2 :invoke :write 4 0 :fail :cas [4 0] 2 :ok :write 4 4 :invoke :read 4 4 :ok :read 4 1 :invoke :cas [2 3] 1 :fail :cas [2 3] 3 :invoke :write 1 3 :ok :write 1 0 :invoke :write 0 2 :invoke :write 1 0 :ok :write 0 2 :ok :write 1 4 :invoke :write 0 4 :ok :write 0 1 :invoke :write 4 1 :ok :write 4 3 :invoke :read 4 3 :ok :read 4 0 :invoke :read 4 0 :ok :read 4 2 :invoke :read 4 2 :ok :read 4 4 :invoke :write 3 4 :ok :write 3 1 :invoke :write 3 1 :ok :write 3 3 :invoke :write 0 3 :ok :write 0 0 :invoke :read 0 0 :ok :read 0 2 :invoke :cas [0 1] 2 :ok :cas [0 1] 4 :invoke :write 0 4 :ok :write 0 1 :invoke :read 0 1 :ok :read 0 3 :invoke :read 0 3 :ok :read 0 0 :invoke :cas [2 0] 0 :fail :cas [2 0] 2 :invoke :write 1 2 :ok :write 1 4 :invoke :cas [4 1] 4 :fail :cas [4 1] 1 :invoke :cas [0 0] 1 :fail :cas [0 0] 3 :invoke :write 2 0 :invoke :cas [2 0] 3 :ok :write 2 0 :ok :cas [2 0] 2 :invoke :read 0 2 :ok :read 0 4 :invoke :cas [1 0] 4 :fail :cas [1 0] 1 :invoke :read 0 1 :ok :read 0 3 :invoke :read 0 3 :ok :read 0 0 :invoke :cas [0 3] 0 :ok :cas [0 3] 2 :invoke :read 3 2 :ok :read 3 4 :invoke :write 4 4 :ok :write 4 1 :invoke :cas [3 1] 1 :fail :cas [3 1] 3 :invoke :write 2 0 :invoke :read 2 3 :ok :write 2 0 :ok :read 2 2 :invoke :read 2 2 :ok :read 2 4 :invoke :cas [2 2] 4 :ok :cas [2 2] 1 :invoke :read 2 1 :ok :read 2 3 :invoke :cas [2 4] 0 :invoke :read 4 0 :ok :read 4 3 :ok :cas [2 4] 2 :invoke :cas [3 1] 2 :fail :cas [3 1] 4 :invoke :read 4 4 :ok :read 4 1 :invoke :read 4 1 :ok :read 4 0 :invoke :read 4 0 :ok :read 4 3 :invoke :cas [2 3] 3 :fail :cas [2 3] 2 :invoke :cas [0 0] 2 :fail :cas [0 0] 4 :invoke :write 1 4 :ok :write 1 1 :invoke :write 0 1 :ok :write 0 0 :invoke :write 4 3 :invoke :read 4 3 :ok :read 4 2 :invoke :read 4 2 :ok :read 4 0 :ok :write 4 4 :invoke :cas [2 4] 4 :fail :cas [2 4] 1 :invoke :write 4 1 :ok :write 4 3 :invoke :read 4 3 :ok :read 4 2 :invoke :write 3 0 :invoke :cas [2 2] 0 :fail :cas [2 2] 2 :ok :write 3 4 :invoke :cas [3 4] 4 :ok :cas [3 4] 1 :invoke :cas [0 1] 1 :fail :cas [0 1] 3 :invoke :read 4 3 :ok :read 4 0 :invoke :cas [2 0] 2 :invoke :read 4 0 :fail :cas [2 0] 2 :ok :read 4 4 :invoke :write 3 4 :ok :write 3 1 :invoke :cas [3 0] 1 :ok :cas [3 0] 3 :invoke :read 0 3 :ok :read 0 0 :invoke :write 4 2 :invoke :cas [3 3] 2 :fail :cas [3 3] 0 :ok :write 4 4 :invoke :read 4 4 :ok :read 4 :nemesis :info :stop nil 1 :invoke :read 4 1 :ok :read 4 3 :invoke :cas [3 1] 3 :fail :cas [3 1] 2 :invoke :write 1 0 :invoke :cas [0 2] 0 :fail :cas [0 2] 2 :ok :write 1 4 :invoke :write 3 4 :ok :write 3 1 :invoke :read 3 1 :ok :read 3 3 :invoke :cas [4 4] 3 :fail :cas [4 4] 0 :invoke :write 1 2 :invoke :read 1 2 :ok :read 1 0 :ok :write 1 :nemesis :info :stop "fully connected" :nemesis :info :start nil 4 :invoke :cas [4 2] 4 :fail :cas [4 2] 1 :invoke :write 0 1 :ok :write 0 3 :invoke :cas [2 2] 3 :fail :cas [2 2] 2 :invoke :cas [1 3] 2 :fail :cas [1 3] 0 :invoke :cas [4 4] 0 :fail :cas [4 4] 4 :invoke :read 0 4 :ok :read 0 :nemesis :info :start "Cut off {:n5 #{:n3 :n1}, :n2 #{:n3 :n1}, :n4 #{:n3 :n1}, :n1 #{:n4 :n2 :n5}, :n3 #{:n4 :n2 :n5}}" 1 :invoke :cas [1 4] 1 :fail :cas [1 4] 3 :invoke :cas [4 4] 3 :fail :cas [4 4] 2 :invoke :cas [1 0] 2 :fail :cas [1 0] 0 :invoke :read 0 0 :ok :read 0 4 :invoke :read 0 4 :ok :read 0 1 :invoke :read 0 1 :ok :read 0 3 :invoke :cas [2 1] 3 :fail :cas [2 1] 2 :invoke :read 0 2 :ok :read 0 0 :invoke :cas [0 4] 4 :invoke :cas [2 3] 4 :fail :cas [2 3] 1 :invoke :read 4 1 :ok :read 4 3 :invoke :cas [4 2] 2 :invoke :cas [1 1] 2 :fail :cas [1 1] 4 :invoke :write 3 1 :invoke :read 3 1 :ok :read 3 2 :invoke :cas [4 2] 2 :fail :cas [4 2] 1 :invoke :cas [3 1] 2 :invoke :write 4 0 :info :cas :network-error 2 :info :write :network-error 3 :info :cas :network-error 4 :info :write :network-error 1 :info :cas :network-error 5 :invoke :write 1 5 :fail :write 1 7 :invoke :read :no-server 8 :invoke :read :no-server 9 :invoke :read :no-server 6 :invoke :cas [0 3] 6 :fail :cas [0 3] 7 :fail :read :no-server 8 :fail :read :no-server 9 :fail :read :no-server 5 :invoke :write 4 5 :fail :write 4 6 :invoke :cas [4 1] 7 :invoke :cas [4 2] 8 :invoke :write 1 9 :invoke :cas [1 2] 8 :fail :write 1 6 :fail :cas [4 1] 7 :fail :cas [4 2] 9 :fail :cas [1 2] 5 :invoke :read :no-server 5 :fail :read :no-server 8 :invoke :cas [1 4] 8 :fail :cas [1 4] 6 :invoke :cas [3 0] 7 :invoke :read :no-server 9 :invoke :read :no-server 6 :fail :cas [3 0] 7 :fail :read :no-server 9 :fail :read :no-server 5 :invoke :cas [3 0] 5 :fail :cas [3 0] 8 :invoke :cas [3 0] 8 :fail :cas [3 0] 6 :invoke :cas [3 3] 7 :invoke :write 4 9 :invoke :cas [4 4] 6 :fail :cas [3 3] 7 :fail :write 4 9 :fail :cas [4 4] 5 :invoke :read :no-server 5 :fail :read :no-server 8 :invoke :read :no-server 6 :invoke :read :no-server 8 :fail :read :no-server 7 :invoke :read :no-server 9 :invoke :read :no-server 6 :fail :read :no-server 7 :fail :read :no-server 9 :fail :read :no-server 5 :invoke :read :no-server 5 :fail :read :no-server 8 :invoke :cas [1 3] 8 :fail :cas [1 3] 6 :invoke :cas [2 4] 7 :invoke :cas [4 2] 9 :invoke :cas [4 0] 6 :fail :cas [2 4] 7 :fail :cas [4 2] 9 :fail :cas [4 0] 5 :invoke :cas [3 1] 5 :fail :cas [3 1] 8 :invoke :write 3 8 :fail :write 3 6 :invoke :read :no-server 7 :invoke :write 1 9 :invoke :read :no-server 6 :fail :read :no-server 7 :fail :write 1 9 :fail :read :no-server 5 :invoke :write 2 5 :fail :write 2 8 :invoke :write 1 8 :fail :write 1 6 :invoke :cas [2 3] 7 :invoke :write 4 9 :invoke :read :no-server 6 :fail :cas [2 3] 7 :fail :write 4 9 :fail :read :no-server 5 :invoke :write 0 5 :fail :write 0 8 :invoke :cas [3 3] 8 :fail :cas [3 3] 6 :invoke :read :no-server 7 :invoke :read :no-server 9 :invoke :write 0 6 :fail :read :no-server 7 :fail :read :no-server 9 :fail :write 0 5 :invoke :write 2 5 :fail :write 2 8 :invoke :write 3 8 :fail :write 3 6 :invoke :read :no-server 7 :invoke :write 4 9 :invoke :cas [2 4] 7 :fail :write 4 9 :fail :cas [2 4] 6 :fail :read :no-server 5 :invoke :read :no-server 5 :fail :read :no-server 8 :invoke :read :no-server 8 :fail :read :no-server 9 :invoke :read :no-server 7 :invoke :read :no-server 6 :invoke :cas [0 1] 6 :fail :cas [0 1] 9 :fail :read :no-server 7 :fail :read :no-server 5 :invoke :read :no-server 5 :fail :read :no-server 8 :invoke :write 3 8 :fail :write 3 9 :invoke :cas [2 2] 6 :invoke :cas [1 3] 7 :invoke :cas [0 0] 6 :fail :cas [1 3] 7 :fail :cas [0 0] 9 :fail :cas [2 2] 5 :invoke :read :no-server 5 :fail :read :no-server 8 :invoke :read :no-server 6 :invoke :read :no-server 7 :invoke :read :no-server 8 :fail :read :no-server 9 :invoke :cas [1 4] 6 :fail :read :no-server 7 :fail :read :no-server 9 :fail :cas [1 4] 5 :invoke :cas [0 3] 5 :fail :cas [0 3] 8 :invoke :read :no-server 6 :invoke :cas [2 3] 9 :invoke :read :no-server 7 :invoke :read :no-server 8 :fail :read :no-server 6 :fail :cas [2 3] 9 :fail :read :no-server 7 :fail :read :no-server 5 :invoke :cas [3 0] 5 :fail :cas [3 0] 8 :invoke :read :no-server 6 :invoke :write 0 9 :invoke :cas [4 1] 7 :invoke :cas [3 4] 8 :fail :read :no-server 6 :fail :write 0 9 :fail :cas [4 1] 7 :fail :cas [3 4] 5 :invoke :cas [3 2] 5 :fail :cas [3 2] 6 :invoke :read :no-server 8 :invoke :cas [4 4] 9 :invoke :write 0 7 :invoke :write 3 8 :fail :cas [4 4] 9 :fail :write 0 7 :fail :write 3 6 :fail :read :no-server 5 :invoke :cas [0 3] 5 :fail :cas [0 3] 8 :invoke :cas [0 2] 9 :invoke :cas [1 0] 6 :invoke :read :no-server 7 :invoke :write 4 8 :fail :cas [0 2] 9 :fail :cas [1 0] 7 :fail :write 4 6 :fail :read :no-server 5 :invoke :read :no-server 5 :fail :read :no-server 8 :invoke :read :no-server 9 :invoke :write 1 7 :invoke :cas [0 4] 6 :invoke :write 0 9 :fail :write 1 8 :fail :read :no-server 6 :fail :write 0 7 :fail :cas [0 4] 5 :invoke :read :no-server 5 :fail :read :no-server 9 :invoke :read :no-server 8 :invoke :cas [0 4] 7 :invoke :read :no-server 6 :invoke :cas [0 4] 9 :fail :read :no-server 8 :fail :cas [0 4] 6 :fail :cas [0 4] 7 :fail :read :no-server 5 :invoke :cas [0 1] 5 :fail :cas [0 1] 9 :invoke :read :no-server 8 :invoke :cas [4 1] 6 :invoke :read :no-server 7 :invoke :cas [4 4] 8 :fail :cas [4 1] 9 :fail :read :no-server 7 :fail :cas [4 4] 6 :fail :read :no-server 5 :invoke :read :no-server 5 :fail :read :no-server 8 :invoke :write 4 9 :invoke :cas [3 0] 6 :invoke :write 4 7 :invoke :write 4 8 :fail :write 4 9 :fail :cas [3 0] 6 :fail :write 4 7 :fail :write 4 5 :invoke :read 0 Followed by inconsistent operation: 5 :ok :read 0 ------------------------------------------------------------- Just prior to that operation, possible interpretations of the linearizable prefix were: World with fixed history: 4 :invoke :write 3 2 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 1 :invoke :write 4 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 1 :invoke :write 0 0 :invoke :write 0 3 :invoke :cas [0 4] 1 :invoke :write 1 0 :invoke :write 3 2 :invoke :read 3 4 :invoke :write 1 2 :invoke :write 4 1 :invoke :read 4 0 :invoke :write 2 4 :invoke :write 2 3 :invoke :read 2 1 :invoke :cas [2 0] 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 4 2 :invoke :write 0 4 :invoke :read 0 3 :invoke :write 2 1 :invoke :cas [2 1] 0 :invoke :write 4 2 :invoke :write 0 3 :invoke :write 0 2 :invoke :write 4 3 :invoke :write 3 0 :invoke :write 2 2 :invoke :write 1 4 :invoke :read 1 3 :invoke :write 4 1 :invoke :cas [4 4] 2 :invoke :read 4 4 :invoke :write 1 1 :invoke :read 1 0 :invoke :write 3 3 :invoke :cas [3 2] 1 :invoke :write 2 0 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 3 :invoke :write 1 0 :invoke :write 2 2 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 0 :invoke :read 2 2 :invoke :cas [2 4] 3 :invoke :write 0 2 :invoke :read 0 4 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 1 0 :invoke :read 1 1 :invoke :write 0 3 :invoke :write 4 0 :invoke :write 2 2 :invoke :write 3 4 :invoke :write 2 1 :invoke :write 2 3 :invoke :cas [2 4] 0 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 2] 1 :invoke :read 2 3 :invoke :write 0 0 :invoke :write 1 2 :invoke :write 2 4 :invoke :read 2 3 :invoke :read 2 4 :invoke :read 2 1 :invoke :write 4 3 :invoke :write 2 0 :invoke :cas [2 2] 2 :invoke :cas [2 4] 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :write 0 1 :invoke :write 3 3 :invoke :write 2 0 :invoke :write 4 2 :invoke :read 4 1 :invoke :read 4 3 :invoke :cas [4 1] 0 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :read 4 0 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 4 :invoke :write 0 3 :invoke :read 0 2 :invoke :write 4 4 :invoke :read 4 3 :invoke :write 1 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 0 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :write 3 3 :invoke :write 0 0 :invoke :read 0 2 :invoke :cas [0 1] 4 :invoke :write 0 1 :invoke :read 0 3 :invoke :read 0 2 :invoke :write 1 3 :invoke :write 2 0 :invoke :cas [2 0] 2 :invoke :read 0 1 :invoke :read 0 3 :invoke :read 0 0 :invoke :cas [0 3] 2 :invoke :read 3 4 :invoke :write 4 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 4 :invoke :cas [2 2] 1 :invoke :read 2 3 :invoke :cas [2 4] 0 :invoke :read 4 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :read 4 4 :invoke :write 1 1 :invoke :write 0 0 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 4] 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :cas [3 0] 3 :invoke :read 0 0 :invoke :write 4 4 :invoke :read 4 1 :invoke :read 4 2 :invoke :write 1 4 :invoke :write 3 1 :invoke :read 3 0 :invoke :write 1 2 :invoke :read 1 1 :invoke :write 0 4 :invoke :read 0 0 :invoke :read 0 4 :invoke :read 0 1 :invoke :read 0 2 :invoke :read 0 0 :invoke :cas [0 4] 1 :invoke :read 4 4 :invoke :write 3 1 :invoke :read 3 2 :invoke :write 4 led to state: {:value 4} with pending operations: 1 :invoke :cas [3 1] 5 :invoke :read 0 3 :invoke :cas [4 2] World with fixed history: 4 :invoke :write 3 2 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 1 :invoke :write 4 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 1 :invoke :write 0 0 :invoke :write 0 3 :invoke :cas [0 4] 1 :invoke :write 1 0 :invoke :write 3 2 :invoke :read 3 4 :invoke :write 1 2 :invoke :write 4 1 :invoke :read 4 0 :invoke :write 2 4 :invoke :write 2 3 :invoke :read 2 1 :invoke :cas [2 0] 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 4 2 :invoke :write 0 4 :invoke :read 0 3 :invoke :write 2 1 :invoke :cas [2 1] 0 :invoke :write 4 2 :invoke :write 0 3 :invoke :write 0 2 :invoke :write 4 3 :invoke :write 3 0 :invoke :write 2 2 :invoke :write 1 4 :invoke :read 1 3 :invoke :write 4 1 :invoke :cas [4 4] 2 :invoke :read 4 4 :invoke :write 1 1 :invoke :read 1 0 :invoke :write 3 3 :invoke :cas [3 2] 1 :invoke :write 2 0 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 3 :invoke :write 1 0 :invoke :write 2 2 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 0 :invoke :read 2 2 :invoke :cas [2 4] 3 :invoke :write 0 2 :invoke :read 0 4 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 1 0 :invoke :read 1 1 :invoke :write 0 3 :invoke :write 4 0 :invoke :write 2 2 :invoke :write 3 4 :invoke :write 2 1 :invoke :write 2 3 :invoke :cas [2 4] 0 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 2] 1 :invoke :read 2 3 :invoke :write 0 0 :invoke :write 1 2 :invoke :write 2 4 :invoke :read 2 3 :invoke :read 2 4 :invoke :read 2 1 :invoke :write 4 3 :invoke :write 2 0 :invoke :cas [2 2] 2 :invoke :cas [2 4] 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :write 0 1 :invoke :write 3 3 :invoke :write 2 0 :invoke :write 4 2 :invoke :read 4 1 :invoke :read 4 3 :invoke :cas [4 1] 0 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :read 4 0 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 4 :invoke :write 0 3 :invoke :read 0 2 :invoke :write 4 4 :invoke :read 4 3 :invoke :write 1 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 0 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :write 3 3 :invoke :write 0 0 :invoke :read 0 2 :invoke :cas [0 1] 4 :invoke :write 0 1 :invoke :read 0 3 :invoke :read 0 2 :invoke :write 1 3 :invoke :write 2 0 :invoke :cas [2 0] 2 :invoke :read 0 1 :invoke :read 0 3 :invoke :read 0 0 :invoke :cas [0 3] 2 :invoke :read 3 4 :invoke :write 4 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 4 :invoke :cas [2 2] 1 :invoke :read 2 3 :invoke :cas [2 4] 0 :invoke :read 4 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :read 4 4 :invoke :write 1 1 :invoke :write 0 0 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 4] 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :cas [3 0] 3 :invoke :read 0 0 :invoke :write 4 4 :invoke :read 4 1 :invoke :read 4 2 :invoke :write 1 4 :invoke :write 3 1 :invoke :read 3 0 :invoke :write 1 2 :invoke :read 1 1 :invoke :write 0 4 :invoke :read 0 0 :invoke :read 0 4 :invoke :read 0 1 :invoke :read 0 2 :invoke :read 0 0 :invoke :cas [0 4] 1 :invoke :read 4 4 :invoke :write 3 1 :invoke :read 3 led to state: {:value 3} with pending operations: 1 :invoke :cas [3 1] 5 :invoke :read 0 3 :invoke :cas [4 2] 2 :invoke :write 4 World with fixed history: 4 :invoke :write 3 2 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 1 :invoke :write 4 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 1 :invoke :write 0 0 :invoke :write 0 3 :invoke :cas [0 4] 1 :invoke :write 1 0 :invoke :write 3 2 :invoke :read 3 4 :invoke :write 1 2 :invoke :write 4 1 :invoke :read 4 0 :invoke :write 2 4 :invoke :write 2 3 :invoke :read 2 1 :invoke :cas [2 0] 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 4 2 :invoke :write 0 4 :invoke :read 0 3 :invoke :write 2 1 :invoke :cas [2 1] 0 :invoke :write 4 2 :invoke :write 0 3 :invoke :write 0 2 :invoke :write 4 3 :invoke :write 3 0 :invoke :write 2 2 :invoke :write 1 4 :invoke :read 1 3 :invoke :write 4 1 :invoke :cas [4 4] 2 :invoke :read 4 4 :invoke :write 1 1 :invoke :read 1 0 :invoke :write 3 3 :invoke :cas [3 2] 1 :invoke :write 2 0 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 3 :invoke :write 1 0 :invoke :write 2 2 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 0 :invoke :read 2 2 :invoke :cas [2 4] 3 :invoke :write 0 2 :invoke :read 0 4 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 1 0 :invoke :read 1 1 :invoke :write 0 3 :invoke :write 4 0 :invoke :write 2 2 :invoke :write 3 4 :invoke :write 2 1 :invoke :write 2 3 :invoke :cas [2 4] 0 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 2] 1 :invoke :read 2 3 :invoke :write 0 0 :invoke :write 1 2 :invoke :write 2 4 :invoke :read 2 3 :invoke :read 2 4 :invoke :read 2 1 :invoke :write 4 3 :invoke :write 2 0 :invoke :cas [2 2] 2 :invoke :cas [2 4] 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :write 0 1 :invoke :write 3 3 :invoke :write 2 0 :invoke :write 4 2 :invoke :read 4 1 :invoke :read 4 3 :invoke :cas [4 1] 0 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :read 4 0 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 4 :invoke :write 0 3 :invoke :read 0 2 :invoke :write 4 4 :invoke :read 4 3 :invoke :write 1 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 0 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :write 3 3 :invoke :write 0 0 :invoke :read 0 2 :invoke :cas [0 1] 4 :invoke :write 0 1 :invoke :read 0 3 :invoke :read 0 2 :invoke :write 1 3 :invoke :write 2 0 :invoke :cas [2 0] 2 :invoke :read 0 1 :invoke :read 0 3 :invoke :read 0 0 :invoke :cas [0 3] 2 :invoke :read 3 4 :invoke :write 4 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 4 :invoke :cas [2 2] 1 :invoke :read 2 3 :invoke :cas [2 4] 0 :invoke :read 4 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :read 4 4 :invoke :write 1 1 :invoke :write 0 0 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 4] 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :cas [3 0] 3 :invoke :read 0 0 :invoke :write 4 4 :invoke :read 4 1 :invoke :read 4 2 :invoke :write 1 4 :invoke :write 3 1 :invoke :read 3 0 :invoke :write 1 2 :invoke :read 1 1 :invoke :write 0 4 :invoke :read 0 0 :invoke :read 0 4 :invoke :read 0 1 :invoke :read 0 2 :invoke :read 0 0 :invoke :cas [0 4] 1 :invoke :read 4 4 :invoke :write 3 1 :invoke :read 3 1 :invoke :cas [3 1] 2 :invoke :write 4 led to state: {:value 4} with pending operations: 5 :invoke :read 0 3 :invoke :cas [4 2] World with fixed history: 4 :invoke :write 3 2 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 1 :invoke :write 4 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 1 :invoke :write 0 0 :invoke :write 0 3 :invoke :cas [0 4] 1 :invoke :write 1 0 :invoke :write 3 2 :invoke :read 3 4 :invoke :write 1 2 :invoke :write 4 1 :invoke :read 4 0 :invoke :write 2 4 :invoke :write 2 3 :invoke :read 2 1 :invoke :cas [2 0] 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 4 2 :invoke :write 0 4 :invoke :read 0 3 :invoke :write 2 1 :invoke :cas [2 1] 0 :invoke :write 4 2 :invoke :write 0 3 :invoke :write 0 2 :invoke :write 4 3 :invoke :write 3 0 :invoke :write 2 2 :invoke :write 1 4 :invoke :read 1 3 :invoke :write 4 1 :invoke :cas [4 4] 2 :invoke :read 4 4 :invoke :write 1 1 :invoke :read 1 0 :invoke :write 3 3 :invoke :cas [3 2] 1 :invoke :write 2 0 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 3 :invoke :write 1 0 :invoke :write 2 2 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 0 :invoke :read 2 2 :invoke :cas [2 4] 3 :invoke :write 0 2 :invoke :read 0 4 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 1 0 :invoke :read 1 1 :invoke :write 0 3 :invoke :write 4 0 :invoke :write 2 2 :invoke :write 3 4 :invoke :write 2 1 :invoke :write 2 3 :invoke :cas [2 4] 0 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 2] 1 :invoke :read 2 3 :invoke :write 0 0 :invoke :write 1 2 :invoke :write 2 4 :invoke :read 2 3 :invoke :read 2 4 :invoke :read 2 1 :invoke :write 4 3 :invoke :write 2 0 :invoke :cas [2 2] 2 :invoke :cas [2 4] 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :write 0 1 :invoke :write 3 3 :invoke :write 2 0 :invoke :write 4 2 :invoke :read 4 1 :invoke :read 4 3 :invoke :cas [4 1] 0 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :read 4 0 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 4 :invoke :write 0 3 :invoke :read 0 2 :invoke :write 4 4 :invoke :read 4 3 :invoke :write 1 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 0 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :write 3 3 :invoke :write 0 0 :invoke :read 0 2 :invoke :cas [0 1] 4 :invoke :write 0 1 :invoke :read 0 3 :invoke :read 0 2 :invoke :write 1 3 :invoke :write 2 0 :invoke :cas [2 0] 2 :invoke :read 0 1 :invoke :read 0 3 :invoke :read 0 0 :invoke :cas [0 3] 2 :invoke :read 3 4 :invoke :write 4 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 4 :invoke :cas [2 2] 1 :invoke :read 2 3 :invoke :cas [2 4] 0 :invoke :read 4 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :read 4 4 :invoke :write 1 1 :invoke :write 0 0 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 4] 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :cas [3 0] 3 :invoke :read 0 0 :invoke :write 4 4 :invoke :read 4 1 :invoke :read 4 2 :invoke :write 1 4 :invoke :write 3 1 :invoke :read 3 0 :invoke :write 1 2 :invoke :read 1 1 :invoke :write 0 4 :invoke :read 0 0 :invoke :read 0 4 :invoke :read 0 1 :invoke :read 0 2 :invoke :read 0 0 :invoke :cas [0 4] 1 :invoke :read 4 3 :invoke :cas [4 2] 4 :invoke :write 3 1 :invoke :read 3 2 :invoke :write 4 led to state: {:value 4} with pending operations: 1 :invoke :cas [3 1] 5 :invoke :read 0 World with fixed history: 4 :invoke :write 3 2 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 1 :invoke :write 4 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 1 :invoke :write 0 0 :invoke :write 0 3 :invoke :cas [0 4] 1 :invoke :write 1 0 :invoke :write 3 2 :invoke :read 3 4 :invoke :write 1 2 :invoke :write 4 1 :invoke :read 4 0 :invoke :write 2 4 :invoke :write 2 3 :invoke :read 2 1 :invoke :cas [2 0] 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 4 2 :invoke :write 0 4 :invoke :read 0 3 :invoke :write 2 1 :invoke :cas [2 1] 0 :invoke :write 4 2 :invoke :write 0 3 :invoke :write 0 2 :invoke :write 4 3 :invoke :write 3 0 :invoke :write 2 2 :invoke :write 1 4 :invoke :read 1 3 :invoke :write 4 1 :invoke :cas [4 4] 2 :invoke :read 4 4 :invoke :write 1 1 :invoke :read 1 0 :invoke :write 3 3 :invoke :cas [3 2] 1 :invoke :write 2 0 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 3 :invoke :write 1 0 :invoke :write 2 2 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 0 :invoke :read 2 2 :invoke :cas [2 4] 3 :invoke :write 0 2 :invoke :read 0 4 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 1 0 :invoke :read 1 1 :invoke :write 0 3 :invoke :write 4 0 :invoke :write 2 2 :invoke :write 3 4 :invoke :write 2 1 :invoke :write 2 3 :invoke :cas [2 4] 0 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 2] 1 :invoke :read 2 3 :invoke :write 0 0 :invoke :write 1 2 :invoke :write 2 4 :invoke :read 2 3 :invoke :read 2 4 :invoke :read 2 1 :invoke :write 4 3 :invoke :write 2 0 :invoke :cas [2 2] 2 :invoke :cas [2 4] 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :write 0 1 :invoke :write 3 3 :invoke :write 2 0 :invoke :write 4 2 :invoke :read 4 1 :invoke :read 4 3 :invoke :cas [4 1] 0 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :read 4 0 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 4 :invoke :write 0 3 :invoke :read 0 2 :invoke :write 4 4 :invoke :read 4 3 :invoke :write 1 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 0 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :write 3 3 :invoke :write 0 0 :invoke :read 0 2 :invoke :cas [0 1] 4 :invoke :write 0 1 :invoke :read 0 3 :invoke :read 0 2 :invoke :write 1 3 :invoke :write 2 0 :invoke :cas [2 0] 2 :invoke :read 0 1 :invoke :read 0 3 :invoke :read 0 0 :invoke :cas [0 3] 2 :invoke :read 3 4 :invoke :write 4 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 4 :invoke :cas [2 2] 1 :invoke :read 2 3 :invoke :cas [2 4] 0 :invoke :read 4 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :read 4 4 :invoke :write 1 1 :invoke :write 0 0 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 4] 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :cas [3 0] 3 :invoke :read 0 0 :invoke :write 4 4 :invoke :read 4 1 :invoke :read 4 2 :invoke :write 1 4 :invoke :write 3 1 :invoke :read 3 0 :invoke :write 1 2 :invoke :read 1 1 :invoke :write 0 4 :invoke :read 0 0 :invoke :read 0 4 :invoke :read 0 1 :invoke :read 0 2 :invoke :read 0 0 :invoke :cas [0 4] 1 :invoke :read 4 4 :invoke :write 3 1 :invoke :read 3 1 :invoke :cas [3 1] 2 :invoke :write 4 3 :invoke :cas [4 2] led to state: {:value 2} with pending operations: 5 :invoke :read 0 World with fixed history: 4 :invoke :write 3 2 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 1 :invoke :write 4 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 1 :invoke :write 0 0 :invoke :write 0 3 :invoke :cas [0 4] 1 :invoke :write 1 0 :invoke :write 3 2 :invoke :read 3 4 :invoke :write 1 2 :invoke :write 4 1 :invoke :read 4 0 :invoke :write 2 4 :invoke :write 2 3 :invoke :read 2 1 :invoke :cas [2 0] 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 4 2 :invoke :write 0 4 :invoke :read 0 3 :invoke :write 2 1 :invoke :cas [2 1] 0 :invoke :write 4 2 :invoke :write 0 3 :invoke :write 0 2 :invoke :write 4 3 :invoke :write 3 0 :invoke :write 2 2 :invoke :write 1 4 :invoke :read 1 3 :invoke :write 4 1 :invoke :cas [4 4] 2 :invoke :read 4 4 :invoke :write 1 1 :invoke :read 1 0 :invoke :write 3 3 :invoke :cas [3 2] 1 :invoke :write 2 0 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 3 :invoke :write 1 0 :invoke :write 2 2 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 0 :invoke :read 2 2 :invoke :cas [2 4] 3 :invoke :write 0 2 :invoke :read 0 4 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 1 0 :invoke :read 1 1 :invoke :write 0 3 :invoke :write 4 0 :invoke :write 2 2 :invoke :write 3 4 :invoke :write 2 1 :invoke :write 2 3 :invoke :cas [2 4] 0 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 2] 1 :invoke :read 2 3 :invoke :write 0 0 :invoke :write 1 2 :invoke :write 2 4 :invoke :read 2 3 :invoke :read 2 4 :invoke :read 2 1 :invoke :write 4 3 :invoke :write 2 0 :invoke :cas [2 2] 2 :invoke :cas [2 4] 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :write 0 1 :invoke :write 3 3 :invoke :write 2 0 :invoke :write 4 2 :invoke :read 4 1 :invoke :read 4 3 :invoke :cas [4 1] 0 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :read 4 0 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 4 :invoke :write 0 3 :invoke :read 0 2 :invoke :write 4 4 :invoke :read 4 3 :invoke :write 1 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 0 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :write 3 3 :invoke :write 0 0 :invoke :read 0 2 :invoke :cas [0 1] 4 :invoke :write 0 1 :invoke :read 0 3 :invoke :read 0 2 :invoke :write 1 3 :invoke :write 2 0 :invoke :cas [2 0] 2 :invoke :read 0 1 :invoke :read 0 3 :invoke :read 0 0 :invoke :cas [0 3] 2 :invoke :read 3 4 :invoke :write 4 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 4 :invoke :cas [2 2] 1 :invoke :read 2 3 :invoke :cas [2 4] 0 :invoke :read 4 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :read 4 4 :invoke :write 1 1 :invoke :write 0 0 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 4] 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :cas [3 0] 3 :invoke :read 0 0 :invoke :write 4 4 :invoke :read 4 1 :invoke :read 4 2 :invoke :write 1 4 :invoke :write 3 1 :invoke :read 3 0 :invoke :write 1 2 :invoke :read 1 1 :invoke :write 0 4 :invoke :read 0 0 :invoke :read 0 4 :invoke :read 0 1 :invoke :read 0 2 :invoke :read 0 0 :invoke :cas [0 4] 1 :invoke :read 4 3 :invoke :cas [4 2] 4 :invoke :write 3 1 :invoke :read 3 led to state: {:value 3} with pending operations: 1 :invoke :cas [3 1] 5 :invoke :read 0 2 :invoke :write 4 World with fixed history: 4 :invoke :write 3 2 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 1 :invoke :write 4 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 1 :invoke :write 0 0 :invoke :write 0 3 :invoke :cas [0 4] 1 :invoke :write 1 0 :invoke :write 3 2 :invoke :read 3 4 :invoke :write 1 2 :invoke :write 4 1 :invoke :read 4 0 :invoke :write 2 4 :invoke :write 2 3 :invoke :read 2 1 :invoke :cas [2 0] 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 4 2 :invoke :write 0 4 :invoke :read 0 3 :invoke :write 2 1 :invoke :cas [2 1] 0 :invoke :write 4 2 :invoke :write 0 3 :invoke :write 0 2 :invoke :write 4 3 :invoke :write 3 0 :invoke :write 2 2 :invoke :write 1 4 :invoke :read 1 3 :invoke :write 4 1 :invoke :cas [4 4] 2 :invoke :read 4 4 :invoke :write 1 1 :invoke :read 1 0 :invoke :write 3 3 :invoke :cas [3 2] 1 :invoke :write 2 0 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 3 :invoke :write 1 0 :invoke :write 2 2 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 0 :invoke :read 2 2 :invoke :cas [2 4] 3 :invoke :write 0 2 :invoke :read 0 4 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 1 0 :invoke :read 1 1 :invoke :write 0 3 :invoke :write 4 0 :invoke :write 2 2 :invoke :write 3 4 :invoke :write 2 1 :invoke :write 2 3 :invoke :cas [2 4] 0 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 2] 1 :invoke :read 2 3 :invoke :write 0 0 :invoke :write 1 2 :invoke :write 2 4 :invoke :read 2 3 :invoke :read 2 4 :invoke :read 2 1 :invoke :write 4 3 :invoke :write 2 0 :invoke :cas [2 2] 2 :invoke :cas [2 4] 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :write 0 1 :invoke :write 3 3 :invoke :write 2 0 :invoke :write 4 2 :invoke :read 4 1 :invoke :read 4 3 :invoke :cas [4 1] 0 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :read 4 0 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 4 :invoke :write 0 3 :invoke :read 0 2 :invoke :write 4 4 :invoke :read 4 3 :invoke :write 1 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 0 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :write 3 3 :invoke :write 0 0 :invoke :read 0 2 :invoke :cas [0 1] 4 :invoke :write 0 1 :invoke :read 0 3 :invoke :read 0 2 :invoke :write 1 3 :invoke :write 2 0 :invoke :cas [2 0] 2 :invoke :read 0 1 :invoke :read 0 3 :invoke :read 0 0 :invoke :cas [0 3] 2 :invoke :read 3 4 :invoke :write 4 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 4 :invoke :cas [2 2] 1 :invoke :read 2 3 :invoke :cas [2 4] 0 :invoke :read 4 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :read 4 4 :invoke :write 1 1 :invoke :write 0 0 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 4] 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :cas [3 0] 3 :invoke :read 0 0 :invoke :write 4 4 :invoke :read 4 1 :invoke :read 4 2 :invoke :write 1 4 :invoke :write 3 1 :invoke :read 3 0 :invoke :write 1 2 :invoke :read 1 1 :invoke :write 0 4 :invoke :read 0 0 :invoke :read 0 4 :invoke :read 0 1 :invoke :read 0 2 :invoke :read 0 0 :invoke :cas [0 4] 1 :invoke :read 4 3 :invoke :cas [4 2] 4 :invoke :write 3 1 :invoke :read 3 1 :invoke :cas [3 1] led to state: {:value 1} with pending operations: 5 :invoke :read 0 2 :invoke :write 4 World with fixed history: 4 :invoke :write 3 2 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 1 :invoke :write 4 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 1 :invoke :write 0 0 :invoke :write 0 3 :invoke :cas [0 4] 1 :invoke :write 1 0 :invoke :write 3 2 :invoke :read 3 4 :invoke :write 1 2 :invoke :write 4 1 :invoke :read 4 0 :invoke :write 2 4 :invoke :write 2 3 :invoke :read 2 1 :invoke :cas [2 0] 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 4 2 :invoke :write 0 4 :invoke :read 0 3 :invoke :write 2 1 :invoke :cas [2 1] 0 :invoke :write 4 2 :invoke :write 0 3 :invoke :write 0 2 :invoke :write 4 3 :invoke :write 3 0 :invoke :write 2 2 :invoke :write 1 4 :invoke :read 1 3 :invoke :write 4 1 :invoke :cas [4 4] 2 :invoke :read 4 4 :invoke :write 1 1 :invoke :read 1 0 :invoke :write 3 3 :invoke :cas [3 2] 1 :invoke :write 2 0 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 3 :invoke :write 1 0 :invoke :write 2 2 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 0 :invoke :read 2 2 :invoke :cas [2 4] 3 :invoke :write 0 2 :invoke :read 0 4 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 1 0 :invoke :read 1 1 :invoke :write 0 3 :invoke :write 4 0 :invoke :write 2 2 :invoke :write 3 4 :invoke :write 2 1 :invoke :write 2 3 :invoke :cas [2 4] 0 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 2] 1 :invoke :read 2 3 :invoke :write 0 0 :invoke :write 1 2 :invoke :write 2 4 :invoke :read 2 3 :invoke :read 2 4 :invoke :read 2 1 :invoke :write 4 3 :invoke :write 2 0 :invoke :cas [2 2] 2 :invoke :cas [2 4] 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :write 0 1 :invoke :write 3 3 :invoke :write 2 0 :invoke :write 4 2 :invoke :read 4 1 :invoke :read 4 3 :invoke :cas [4 1] 0 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :read 4 0 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 4 :invoke :write 0 3 :invoke :read 0 2 :invoke :write 4 4 :invoke :read 4 3 :invoke :write 1 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 0 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :write 3 3 :invoke :write 0 0 :invoke :read 0 2 :invoke :cas [0 1] 4 :invoke :write 0 1 :invoke :read 0 3 :invoke :read 0 2 :invoke :write 1 3 :invoke :write 2 0 :invoke :cas [2 0] 2 :invoke :read 0 1 :invoke :read 0 3 :invoke :read 0 0 :invoke :cas [0 3] 2 :invoke :read 3 4 :invoke :write 4 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 4 :invoke :cas [2 2] 1 :invoke :read 2 3 :invoke :cas [2 4] 0 :invoke :read 4 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :read 4 4 :invoke :write 1 1 :invoke :write 0 0 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 4] 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :cas [3 0] 3 :invoke :read 0 0 :invoke :write 4 4 :invoke :read 4 1 :invoke :read 4 2 :invoke :write 1 4 :invoke :write 3 1 :invoke :read 3 0 :invoke :write 1 2 :invoke :read 1 1 :invoke :write 0 4 :invoke :read 0 0 :invoke :read 0 4 :invoke :read 0 1 :invoke :read 0 2 :invoke :read 0 0 :invoke :cas [0 4] 1 :invoke :read 4 3 :invoke :cas [4 2] 4 :invoke :write 3 1 :invoke :read 3 1 :invoke :cas [3 1] 2 :invoke :write 4 led to state: {:value 4} with pending operations: 5 :invoke :read 0 World with fixed history: 4 :invoke :write 3 2 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 1 :invoke :write 4 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 1 :invoke :write 0 0 :invoke :write 0 3 :invoke :cas [0 4] 1 :invoke :write 1 0 :invoke :write 3 2 :invoke :read 3 4 :invoke :write 1 2 :invoke :write 4 1 :invoke :read 4 0 :invoke :write 2 4 :invoke :write 2 3 :invoke :read 2 1 :invoke :cas [2 0] 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 4 2 :invoke :write 0 4 :invoke :read 0 3 :invoke :write 2 1 :invoke :cas [2 1] 0 :invoke :write 4 2 :invoke :write 0 3 :invoke :write 0 2 :invoke :write 4 3 :invoke :write 3 0 :invoke :write 2 2 :invoke :write 1 4 :invoke :read 1 3 :invoke :write 4 1 :invoke :cas [4 4] 2 :invoke :read 4 4 :invoke :write 1 1 :invoke :read 1 0 :invoke :write 3 3 :invoke :cas [3 2] 1 :invoke :write 2 0 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 3 :invoke :write 1 0 :invoke :write 2 2 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 0 :invoke :read 2 2 :invoke :cas [2 4] 3 :invoke :write 0 2 :invoke :read 0 4 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 1 0 :invoke :read 1 1 :invoke :write 0 3 :invoke :write 4 0 :invoke :write 2 2 :invoke :write 3 4 :invoke :write 2 1 :invoke :write 2 3 :invoke :cas [2 4] 0 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 2] 1 :invoke :read 2 3 :invoke :write 0 0 :invoke :write 1 2 :invoke :write 2 4 :invoke :read 2 3 :invoke :read 2 4 :invoke :read 2 1 :invoke :write 4 3 :invoke :write 2 0 :invoke :cas [2 2] 2 :invoke :cas [2 4] 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :write 0 1 :invoke :write 3 3 :invoke :write 2 0 :invoke :write 4 2 :invoke :read 4 1 :invoke :read 4 3 :invoke :cas [4 1] 0 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :read 4 0 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 4 :invoke :write 0 3 :invoke :read 0 2 :invoke :write 4 4 :invoke :read 4 3 :invoke :write 1 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 0 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :write 3 3 :invoke :write 0 0 :invoke :read 0 2 :invoke :cas [0 1] 4 :invoke :write 0 1 :invoke :read 0 3 :invoke :read 0 2 :invoke :write 1 3 :invoke :write 2 0 :invoke :cas [2 0] 2 :invoke :read 0 1 :invoke :read 0 3 :invoke :read 0 0 :invoke :cas [0 3] 2 :invoke :read 3 4 :invoke :write 4 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 4 :invoke :cas [2 2] 1 :invoke :read 2 3 :invoke :cas [2 4] 0 :invoke :read 4 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :read 4 4 :invoke :write 1 1 :invoke :write 0 0 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 4] 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :cas [3 0] 3 :invoke :read 0 0 :invoke :write 4 4 :invoke :read 4 1 :invoke :read 4 2 :invoke :write 1 4 :invoke :write 3 1 :invoke :read 3 0 :invoke :write 1 2 :invoke :read 1 1 :invoke :write 0 4 :invoke :read 0 0 :invoke :read 0 4 :invoke :read 0 1 :invoke :read 0 2 :invoke :read 0 0 :invoke :cas [0 4] 1 :invoke :read 4 4 :invoke :write 3 1 :invoke :read 3 2 :invoke :write 4 3 :invoke :cas [4 2] led to state: {:value 2} with pending operations: 1 :invoke :cas [3 1] 5 :invoke :read 0 World with fixed history: 4 :invoke :write 3 2 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 1 :invoke :write 4 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 1 :invoke :write 0 0 :invoke :write 0 3 :invoke :cas [0 4] 1 :invoke :write 1 0 :invoke :write 3 2 :invoke :read 3 4 :invoke :write 1 2 :invoke :write 4 1 :invoke :read 4 0 :invoke :write 2 4 :invoke :write 2 3 :invoke :read 2 1 :invoke :cas [2 0] 2 :invoke :write 3 0 :invoke :read 3 4 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 4 2 :invoke :write 0 4 :invoke :read 0 3 :invoke :write 2 1 :invoke :cas [2 1] 0 :invoke :write 4 2 :invoke :write 0 3 :invoke :write 0 2 :invoke :write 4 3 :invoke :write 3 0 :invoke :write 2 2 :invoke :write 1 4 :invoke :read 1 3 :invoke :write 4 1 :invoke :cas [4 4] 2 :invoke :read 4 4 :invoke :write 1 1 :invoke :read 1 0 :invoke :write 3 3 :invoke :cas [3 2] 1 :invoke :write 2 0 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 3 :invoke :write 1 0 :invoke :write 2 2 :invoke :read 2 4 :invoke :read 2 1 :invoke :read 2 0 :invoke :read 2 2 :invoke :cas [2 4] 3 :invoke :write 0 2 :invoke :read 0 4 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 1 0 :invoke :read 1 1 :invoke :write 0 3 :invoke :write 4 0 :invoke :write 2 2 :invoke :write 3 4 :invoke :write 2 1 :invoke :write 2 3 :invoke :cas [2 4] 0 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 2] 1 :invoke :read 2 3 :invoke :write 0 0 :invoke :write 1 2 :invoke :write 2 4 :invoke :read 2 3 :invoke :read 2 4 :invoke :read 2 1 :invoke :write 4 3 :invoke :write 2 0 :invoke :cas [2 2] 2 :invoke :cas [2 4] 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :write 0 1 :invoke :write 3 3 :invoke :write 2 0 :invoke :write 4 2 :invoke :read 4 1 :invoke :read 4 3 :invoke :cas [4 1] 0 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :read 4 0 :invoke :write 3 1 :invoke :read 3 3 :invoke :read 3 0 :invoke :read 3 4 :invoke :write 0 3 :invoke :read 0 2 :invoke :write 4 4 :invoke :read 4 3 :invoke :write 1 0 :invoke :write 0 2 :invoke :write 1 4 :invoke :write 0 1 :invoke :write 4 3 :invoke :read 4 0 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :write 3 3 :invoke :write 0 0 :invoke :read 0 2 :invoke :cas [0 1] 4 :invoke :write 0 1 :invoke :read 0 3 :invoke :read 0 2 :invoke :write 1 3 :invoke :write 2 0 :invoke :cas [2 0] 2 :invoke :read 0 1 :invoke :read 0 3 :invoke :read 0 0 :invoke :cas [0 3] 2 :invoke :read 3 4 :invoke :write 4 3 :invoke :write 2 0 :invoke :read 2 2 :invoke :read 2 4 :invoke :cas [2 2] 1 :invoke :read 2 3 :invoke :cas [2 4] 0 :invoke :read 4 4 :invoke :read 4 1 :invoke :read 4 0 :invoke :read 4 4 :invoke :write 1 1 :invoke :write 0 0 :invoke :write 4 3 :invoke :read 4 2 :invoke :read 4 1 :invoke :write 4 3 :invoke :read 4 2 :invoke :write 3 4 :invoke :cas [3 4] 3 :invoke :read 4 2 :invoke :read 4 4 :invoke :write 3 1 :invoke :cas [3 0] 3 :invoke :read 0 0 :invoke :write 4 4 :invoke :read 4 1 :invoke :read 4 2 :invoke :write 1 4 :invoke :write 3 1 :invoke :read 3 0 :invoke :write 1 2 :invoke :read 1 1 :invoke :write 0 4 :invoke :read 0 0 :invoke :read 0 4 :invoke :read 0 1 :invoke :read 0 2 :invoke :read 0 0 :invoke :cas [0 4] 1 :invoke :read 4 4 :invoke :write 3 1 :invoke :read 3 1 :invoke :cas [3 1] led to state: {:value 1} with pending operations: 5 :invoke :read 0 3 :invoke :cas [4 2] 2 :invoke :write 4 -------------------------------------------------------------- Inconsistent state transitions: ([{:value 4} "can't read 0 from register 4"] [{:value 1} "can't read 0 from register 1"] [{:value 2} "can't read 0 from register 2"] [{:value 3} "can't read 0 from register 3"])