G-nonadjacent-item-realtime #0
Let:
  T1 = {:index 9692, :time 20852867738, :type :ok, :process 7, :f :txn, :value [[:r 28 [1 3 4 7 15 20 30 31 40 35 41 58 66 60 82 83 95 96 99 116 117 122 125 136 135 144 140 165 168 170]]]}
  T2 = {:index 9698, :time 20859271297, :type :ok, :process 2, :f :txn, :value [[:append 28 172]]}
  T3 = {:index 9704, :time 20872429569, :type :ok, :process 1, :f :txn, :value [[:append 28 174] [:r 28 [1 3 4 7 15 20 30 31 40 35 41 58 66 60 82 83 95 96 99 116 117 122 125 136 135 144 140 165 168 170 172 174]]]}
  T4 = {:index 9716, :time 20896681413, :type :ok, :process 2, :f :txn, :value [[:r 30 nil] [:r 24 [4 9 10 13 15 16 17 19 20 22 24 33 36 40 44 47 50 51 59 72 73 75 78 82 83 93 103 107 108 114 115 120]]]}
  T5 = {:index 9846, :time 21135868151, :type :ok, :process 9, :f :txn, :value [[:append 24 126]]}
  T6 = {:index 9890, :time 21246684426, :type :ok, :process 2, :f :txn, :value [[:r 29 [1 5 6 12 19 23]] [:r 28 [1 3 4 7 15 20 30 31 40 35 41 58 66 60 82 83 95 96 99 116 117 122 125 136 135 144 140 165 168 170 172 174 181 182 183 188 205 206 212 215 219 211 233 234 237]]]}
  T7 = {:index 9904, :time 21266137439, :type :ok, :process 2, :f :txn, :value [[:append 28 238]]}
  T8 = {:index 9924, :time 21308715858, :type :ok, :process 3, :f :txn, :value [[:r 28 [1 3 4 7 15 20 30 31 40 35 41 58 66 60 82 83 95 96 99 116 117 122 125 136 135 144 140 165 168 170 172 174 181 182 183 188 205 206 212 215 219 211 233 234 237 242 238]] [:append 28 243]]}
  T9 = {:index 9636, :time 20746781437, :type :ok, :process 3, :f :txn, :value [[:append 28 156]]}
  T10 = {:index 9641, :time 20747982008, :type :ok, :process 0, :f :txn, :value [[:r 28 [1 3 4 7 15 20 30 31 40 35 41 58 66 60 82 83 95 96 99 116 117 122 125 136 135 144 140]]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 172 to 28.
  - T2 < T3, because T3 appended 174 after T2 appended 172 to 28.
  - T3 < T4, because T3 completed at index 9704, 0.008 seconds before the invocation of T4, at index 9709.
  - T4 < T5, because T4 did not observe T5's append of 126 to 24.
  - T5 < T6, because T5 completed at index 9846, 0.011 seconds before the invocation of T6, at index 9851.
  - T6 < T7, because T6 completed at index 9890, 0.000 seconds before the invocation of T7, at index 9891.
  - T7 < T8, because T8 appended 243 after T7 appended 238 to 28.
  - T8 < T9, because T9 appended 156 after T8 appended 243 to 28.
  - T9 < T10, because T9 completed at index 9636, 0.001 seconds before the invocation of T10, at index 9639.
  - However, T10 < T1, because T10 completed at index 9641, 0.010 seconds before the invocation of T1, at index 9647: a contradiction!