G-nonadjacent-item-realtime #0
Let:
  T1 = {:index 13916, :time 29070720321, :type :ok, :process 598, :f :txn, :value [[:append 533 9]]}
  T2 = {:index 13918, :time 29070908974, :type :ok, :process 598, :f :txn, :value [[:r 534 [1 2]]]}
  T3 = {:index 13930, :time 29093346620, :type :ok, :process 598, :f :txn, :value [[:append 533 10] [:append 534 13] [:r 534 [1 2 13]]]}
  T4 = {:index 13898, :time 29027036722, :type :ok, :process 569, :f :txn, :value [[:append 534 3] [:r 533 nil] [:append 533 3] [:append 512 6]]}

Then:
  - T1 < T2, because T1 completed at index 13916, 0.000 seconds before the invocation of T2, at index 13917.
  - T2 < T3, because T2 did not observe T3's append of 13 to 534.
  - T3 < T4, because T4 appended 3 after T3 appended 13 to 534.
  - However, T4 < T1, because T4 observed the initial (nil) state of 533, which T1 created by appending 9: a contradiction!


G-nonadjacent-item-realtime #1
Let:
  T1 = {:index 9480, :time 19944510200, :type :ok, :process 380, :f :txn, :value [[:r 366 [4]] [:r 364 [1 2 7]]]}
  T2 = {:index 9498, :time 19980545400, :type :ok, :process 486, :f :txn, :value [[:r 364 [1 2 7]] [:append 364 10]]}
  T3 = {:index 9550, :time 20088612063, :type :ok, :process 486, :f :txn, :value [[:r 366 nil] [:r 367 nil]]}
  T4 = {:index 9466, :time 19927367925, :type :ok, :process 380, :f :txn, :value [[:append 366 4]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 10 to 364.
  - T2 < T3, because T2 completed at index 9498, 0.000 seconds before the invocation of T3, at index 9499.
  - T3 < T4, because T3 observed the initial (nil) state of 366, which T4 created by appending 4.
  - However, T4 < T1, because T1 observed T4's append of 4 to key 366: a contradiction!