G-single-item #0
Let:
  T1 = {:index 190704, :time 100211183125, :type :ok, :process 59, :f :txn, :value [[:r 2879 nil] [:append 2879 16] [:r 2879 [1 2 3 4 5 7 8 16]]]}
  T2 = {:index 190654, :time 88010110895, :type :ok, :process 27, :f :txn, :value [[:append 2863 205] [:append 2879 1] [:r 2879 [1]] [:r 2879 [1]]]}
  T3 = {:index 190656, :time 88031143355, :type :ok, :process 27, :f :txn, :value [[:append 2879 2] [:append 2879 3] [:append 2879 4] [:append 2879 5]]}
  T4 = {:index 190666, :time 88094665756, :type :ok, :process 27, :f :txn, :value [[:append 2879 7]]}
  T5 = {:index 190668, :time 88094915026, :type :ok, :process 27, :f :txn, :value [[:append 2879 8]]}

Then:
  - T1 < T2, because T1 observed the initial (nil) state of 2879, which T2 created by appending 1.
  - T2 < T3, because T3 appended 2 after T2 appended 1 to 2879.
  - T3 < T4, because T4 appended 7 after T3 appended 5 to 2879.
  - T4 < T5, because T5 appended 8 after T4 appended 7 to 2879.
  - However, T5 < T1, because T1 appended 16 after T5 appended 8 to 2879: a contradiction!