G-single-item-realtime #0
Let:
  T1 = {:index 79428, :time 166766459974, :type :ok, :process 1, :f :txn, :value [[:r 1153 [9 11 12 13 22 24 33 37 38]] [:append 1153 50] [:append 1156 2]]}
  T2 = {:index 79446, :time 166806080953, :type :ok, :process 5, :f :txn, :value [[:r 1153 [9 11 12 13 22 24 33 37 38 50]]]}
  T3 = {:index 79458, :time 166830712280, :type :ok, :process 9, :f :txn, :value [[:r 1153 [9 11 12 13 22 24 33 37 38 50 53 55]]]}
  T4 = {:index 79472, :time 166875962677, :type :ok, :process 9, :f :txn, :value [[:append 1120 54] [:r 1120 [2 5 6 13 15 20 29 32 34 36 38 39 41 44 47 48 49 50 51 54]]]}
  T5 = {:index 79480, :time 166883943472, :type :ok, :process 3, :f :txn, :value [[:r 1130 nil]]}
  T6 = {:index 79486, :time 166889858382, :type :ok, :process 9, :f :txn, :value [[:r 1156 nil]]}

Then:
  - T1 < T2, because T2 observed T1's append of 50 to key 1153.
  - T2 < T3, because T2 completed at index 79446, 0.003 seconds before the invocation of T3, at index 79449.
  - T3 < T4, because T3 completed at index 79458, 0.001 seconds before the invocation of T4, at index 79461.
  - T4 < T5, because T4 completed at index 79472, 0.004 seconds before the invocation of T5, at index 79477.
  - T5 < T6, because T5 completed at index 79480, 0.003 seconds before the invocation of T6, at index 79485.
  - However, T6 < T1, because T6 observed the initial (nil) state of 1156, which T1 created by appending 2: a contradiction!