jepsen / closed-predicate binlog=mixed S(S) / 20230928T110047.1380500 / independent / 24

closed-predicate binlog=mixed S(S) key 24

0 txn [[:rp :true nil]]
[[:rp :true {}]]
0 txn [[:rp :true nil]]
[[:rp :true {}]]
1 txn [[:insert 0 0] [:insert 1 1]]
0 txn [[:insert 2 2] [:insert 3 3]]
0 txn [[:rp :true nil]]
[[:rp :true {0 0, 1 1, 2 2, 3 3}]]
1 txn [[:insert 4 4] [:insert 5 5]]
0 txn [[:rp :true nil]]
[[:rp :true {0 0, 1 1, 2 2, 3 3, 4 4, 5 5}]]
0 txn [[:insert 8 8] [:insert 9 9]]
1 txn [[:insert 6 6] [:insert 7 7]]
0 txn [[:rp :true nil]]
[[:rp :true {0 0, 7 7, 1 1, 4 4, 6 6, 3 3, 2 2, 9 9, 5 5, 8 8}]]
1 txn [[:rp :true nil]]
[[:rp :true {0 0, 7 7, 1 1, 4 4, 6 6, 3 3, 2 2, 9 9, 5 5, 8 8}]]
0 txn [[:rp :true nil]]
[[:rp :true {0 0, 7 7, 1 1, 4 4, 6 6, 3 3, 2 2, 9 9, 5 5, 8 8}]]
1 txn [[:insert 10 10] [:insert 11 11]]
1 txn [[:rp :true nil]]
[[:rp :true {0 0, 7 7, 1 1, 4 4, 6 6, 3 3, 2 2, 11 11, 9 9, 5 5, 10 10, 8 8}]]
1 txn [[:rp :true nil]]
[[:rp :true {0 0, 7 7, 1 1, 4 4, 6 6, 3 3, 2 2, 11 11, 9 9, 5 5, 10 10, 8 8}]]
0 txn [[:insert 12 12] [:insert 13 13]]
1 txn [[:insert 14 14] [:insert 15 15]]
0 txn [[:rp :true nil]]
[[:rp :true {0 0, 7 7, 1 1, 4 4, 15 15, 13 13, 6 6, 3 3, 12 12, 2 2, 11 11, 9 9, 5 5, 14 14, 10 10, 8 8}]]
1 txn [[:rp :true nil]]
[[:rp :true {0 0, 7 7, 1 1, 4 4, 15 15, 13 13, 6 6, 3 3, 12 12, 2 2, 11 11, 9 9, 5 5, 14 14, 10 10, 8 8}]]
0 txn [[:rp :true nil]]
[[:rp :true {0 0, 7 7, 1 1, 4 4, 15 15, 13 13, 6 6, 3 3, 12 12, 2 2, 11 11, 9 9, 5 5, 14 14, 10 10, 8 8}]]