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

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

1 txn [[:insert 0 0] [:insert 1 1]]
0 txn [[:insert 2 2] [:insert 3 3]]
1 txn [[:insert 4 4] [:insert 5 5]]
1 txn [[:rp :true nil]]
[[:rp :true {0 0, 1 1, 2 2, 3 3, 4 4, 5 5}]]
0 txn [[:insert 6 6] [:insert 7 7]]
1 txn [[:rp :true nil]]
[[:rp :true {0 0, 7 7, 1 1, 4 4, 6 6, 3 3, 2 2, 5 5}]]
0 txn [[:rp :true nil]]
[[:rp :true {0 0, 7 7, 1 1, 4 4, 6 6, 3 3, 2 2, 5 5}]]
1 txn [[:insert 8 8] [:insert 9 9]]
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]]
0 txn [[:insert 12 12] [:insert 13 13]]
1 txn [[:rp :true nil]]
[[:rp :true {0 0, 7 7, 1 1, 4 4, 13 13, 6 6, 3 3, 12 12, 2 2, 11 11, 9 9, 5 5, 10 10, 8 8}]]
0 txn [[:rp :true nil]]
[[:rp :true {0 0, 7 7, 1 1, 4 4, 13 13, 6 6, 3 3, 12 12, 2 2, 11 11, 9 9, 5 5, 10 10, 8 8}]]
0 txn [[:rp :true nil]]
[[:rp :true {0 0, 7 7, 1 1, 4 4, 13 13, 6 6, 3 3, 12 12, 2 2, 11 11, 9 9, 5 5, 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, 10 10, 8 8}]]
1 txn [[:insert 14 14] [:insert 15 15]]
0 txn [[:insert 16 16] [:insert 17 17]]
1 txn [[:rp :true nil]]
[[:rp :true {0 0, 7 7, 1 1, 4 4, 15 15, 13 13, 6 6, 17 17, 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, 17 17, 3 3, 12 12, 2 2, 11 11, 9 9, 5 5, 14 14, 16 16, 10 10, 8 8}]]
1 txn [[:insert 18 18] [:insert 19 19]]