G0 #0
Let:
  T1 = {:index 274796, :time 201280424088, :type :ok, :process 25, :f :txn, :value [[:r 4100 [18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72]] [:append 4100 73] [:append 4103 7] [:r 4100 [18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73]]]}
  T2 = {:index 274798, :time 201353047924, :type :ok, :process 25, :f :txn, :value [[:append 4100 74] [:r 4103 [1 2 3 4 5 6 7]] [:r 4103 [1 2 3 4 5 6 7]]]}
  T3 = {:index 274800, :time 201479207104, :type :ok, :process 25, :f :txn, :value [[:r 4103 [1 2 3 4 5 6 7]] [:append 4100 75] [:r 4100 [18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75]] [:r 4103 [1 2 3 4 5 6 7]]]}
  T4 = {:index 274802, :time 201541621072, :type :ok, :process 25, :f :txn, :value [[:r 4100 [18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75]] [:r 4100 [18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75]] [:append 4100 76]]}
  T5 = {:index 274883, :time 222749355802, :type :ok, :process 33, :f :txn, :value [[:append 4100 93] [:append 4039 179] [:r 4103 [12 14 15 19]] [:append 4100 94]]}
  T6 = {:index 274893, :time 222761388134, :type :ok, :process 21, :f :txn, :value [[:append 4039 180]]}
  T7 = {:index 274776, :time 200776803808, :type :ok, :process 25, :f :txn, :value [[:append 4103 5] [:append 4100 65] [:append 4100 66] [:append 4039 177]]}
  T8 = {:index 274792, :time 201122681427, :type :ok, :process 25, :f :txn, :value [[:append 4100 71] [:append 4103 6]]}

Then:
  - T1 < T2, because T2 appended 74 after T1 appended 73 to 4100.
  - T2 < T3, because T3 appended 75 after T2 appended 74 to 4100.
  - T3 < T4, because T4 appended 76 after T3 appended 75 to 4100.
  - T4 < T5, because T5 appended 93 after T4 appended 76 to 4100.
  - T5 < T6, because T6 appended 180 after T5 appended 179 to 4039.
  - T6 < T7, because T7 appended 177 after T6 appended 180 to 4039.
  - T7 < T8, because T8 appended 6 after T7 appended 5 to 4103.
  - However, T8 < T1, because T1 appended 7 after T8 appended 6 to 4103: a contradiction!