G-single-item #0
Let:
  T1 = {:index 2358, :time 6248025005, :type :ok, :process 7, :f :txn, :value [[:append 7 193] [:append 11 245] [:r 12 [1 5 8 12 23 26 31 32 39 43 48 51 58 55 66 67 74 78 82 85 97 105 102 110 111 113 124 129 130 132 136 140 144 155 153 179 183 181 86]] [:append 11 246]]}
  T2 = {:index 2010, :time 5597953607, :type :ok, :process 2, :f :txn, :value [[:r 11 [2 10 16 32 34 38 36 37 43 42 47 48 40 68 67 76 80 87 91 93 94 89 97 98 103 102 114 119 121 128 123 140 134 144]] [:append 12 61]]}
  T3 = {:index 2030, :time 5650062815, :type :ok, :process 0, :f :txn, :value [[:r 12 [1 2 7 14 19 18 24 27 29 41 51 60 61]] [:append 5 49] [:r 12 [1 2 7 14 19 18 24 27 29 41 51 60 61]]]}
  T4 = {:index 2052, :time 5676268368, :type :ok, :process 8, :f :txn, :value [[:append 5 50]]}
  T5 = {:index 2196, :time 5963011988, :type :ok, :process 5, :f :txn, :value [[:append 5 53]]}
  T6 = {:index 2198, :time 5967384989, :type :ok, :process 0, :f :txn, :value [[:append 5 52]]}
  T7 = {:index 2234, :time 6016052701, :type :ok, :process 6, :f :txn, :value [[:append 5 55]]}
  T8 = {:index 2314, :time 6161168390, :type :ok, :process 3, :f :txn, :value [[:append 11 229] [:append 5 57]]}
  T9 = {:index 2330, :time 6200455777, :type :ok, :process 8, :f :txn, :value [[:append 11 242]]}
  T10 = {:index 2340, :time 6224597109, :type :ok, :process 9, :f :txn, :value [[:r 11 [2 10 16 32 34 38 36 37 43 42 47 48 40 68 67 76 80 87 91 93 94 89 97 98 103 102 114 119 121 128 123 140 134 144 155 157 151 156 166 171 174 173 185 183 187 192 193 194 195 201 207 204 218 226 227 230 229 242]] [:append 11 239]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 61 to 12.
  - T2 < T3, because T3 observed T2's append of 61 to key 12.
  - T3 < T4, because T4 appended 50 after T3 appended 49 to 5.
  - T4 < T5, because T5 appended 53 after T4 appended 50 to 5.
  - T5 < T6, because T6 appended 52 after T5 appended 53 to 5.
  - T6 < T7, because T7 appended 55 after T6 appended 52 to 5.
  - T7 < T8, because T8 appended 57 after T7 appended 55 to 5.
  - T8 < T9, because T9 appended 242 after T8 appended 229 to 11.
  - T9 < T10, because T10 appended 239 after T9 appended 242 to 11.
  - However, T10 < T1, because T1 appended 245 after T10 appended 239 to 11: a contradiction!