G0 #0
Let:
  T1 = {:index 3494, :time 8242172611, :type :ok, :process 167, :f :txn, :value [[:r 135 [1]] [:append 135 10] [:append 134 12] [:r 134 [3 12]]]}
  T2 = {:index 3508, :time 8275290247, :type :ok, :process 141, :f :txn, :value [[:append 134 16] [:append 135 14]]}

Then:
  - T1 < T2, because T2 appended 16 after T1 appended 12 to 134.
  - However, T2 < T1, because T1 appended 10 after T2 appended 14 to 135: a contradiction!


G0 #1
Let:
  T1 = {:index 6048, :time 13287150147, :type :ok, :process 220, :f :txn, :value [[:r 230 [3]] [:append 228 11] [:r 233 nil] [:append 233 1]]}
  T2 = {:index 6034, :time 13258014891, :type :ok, :process 329, :f :txn, :value [[:append 233 2] [:append 234 1] [:append 228 13]]}

Then:
  - T1 < T2, because T2 appended 13 after T1 appended 11 to 228.
  - However, T2 < T1, because T1 appended 1 after T2 appended 2 to 233: a contradiction!


G0 #2
Let:
  T1 = {:index 22406, :time 45544764671, :type :ok, :process 1050, :f :txn, :value [[:r 851 [1 3]] [:append 853 6] [:r 854 nil]]}
  T2 = {:index 22434, :time 45578498334, :type :ok, :process 1081, :f :txn, :value [[:append 853 10]]}
  T3 = {:index 22368, :time 45440049870, :type :ok, :process 937, :f :txn, :value [[:r 845 [2 9 11]] [:append 853 4] [:append 852 9]]}
  T4 = {:index 22370, :time 45440560383, :type :ok, :process 1043, :f :txn, :value [[:append 852 10]]}
  T5 = {:index 22390, :time 45497546017, :type :ok, :process 845, :f :txn, :value [[:r 852 [7 9 10]] [:append 852 12] [:r 851 [1 3]] [:r 852 [7 9 10 12]]]}
  T6 = {:index 22382, :time 45489699982, :type :ok, :process 859, :f :txn, :value [[:append 853 2] [:r 853 [2]] [:append 852 6] [:r 852 nil]]}

Then:
  - T1 < T2, because T2 appended 10 after T1 appended 6 to 853.
  - T2 < T3, because T3 appended 4 after T2 appended 10 to 853.
  - T3 < T4, because T4 appended 10 after T3 appended 9 to 852.
  - T4 < T5, because T5 appended 12 after T4 appended 10 to 852.
  - T5 < T6, because T6 appended 6 after T5 appended 12 to 852.
  - However, T6 < T1, because T1 appended 6 after T6 appended 2 to 853: a contradiction!


G0 #3
Let:
  T1 = {:index 9340, :time 19618066656, :type :ok, :process 387, :f :txn, :value [[:append 360 10] [:r 360 [3 10]] [:r 360 [3 10]] [:append 359 14]]}
  T2 = {:index 9322, :time 19594080353, :type :ok, :process 358, :f :txn, :value [[:append 360 8] [:append 359 11]]}

Then:
  - T1 < T2, because T2 appended 8 after T1 appended 10 to 360.
  - However, T2 < T1, because T1 appended 14 after T2 appended 11 to 359: a contradiction!


G0 #4
Let:
  T1 = {:index 12010, :time 25218121381, :type :ok, :process 468, :f :txn, :value [[:append 463 2] [:append 463 3] [:append 461 3]]}
  T2 = {:index 12032, :time 25246768618, :type :ok, :process 522, :f :txn, :value [[:append 464 4] [:append 463 5] [:append 463 6] [:append 461 5]]}
  T3 = {:index 12112, :time 25355481034, :type :ok, :process 468, :f :txn, :value [[:append 461 11] [:r 461 [1 5 11]] [:r 465 nil]]}

Then:
  - T1 < T2, because T2 appended 5 after T1 appended 3 to 463.
  - T2 < T3, because T3 appended 11 after T2 appended 5 to 461.
  - However, T3 < T1, because T1 appended 3 after T3 appended 11 to 461: a contradiction!


G0 #5
Let:
  T1 = {:index 6638, :time 14433361982, :type :ok, :process 244, :f :txn, :value [[:append 254 14] [:r 253 [5 6]] [:append 253 12] [:r 254 [2 3 10 9 12 14]]]}
  T2 = {:index 6654, :time 14493158105, :type :ok, :process 245, :f :txn, :value [[:append 254 16] [:append 253 14] [:r 253 [5 6 14]] [:append 253 15]]}

Then:
  - T1 < T2, because T2 appended 16 after T1 appended 14 to 254.
  - However, T2 < T1, because T1 appended 12 after T2 appended 14 to 253: a contradiction!


G0 #6
Let:
  T1 = {:index 4112, :time 9541259158, :type :ok, :process 134, :f :txn, :value [[:r 153 [1 2 7]] [:r 102 [2 4 6 8 9 11 13]] [:append 153 15] [:r 153 [1 2 7 15]]]}
  T2 = {:index 4020, :time 9328586462, :type :ok, :process 134, :f :txn, :value [[:append 153 5] [:append 151 1]]}
  T3 = {:index 4028, :time 9343376130, :type :ok, :process 148, :f :txn, :value [[:append 151 2] [:append 156 8] [:append 155 13] [:append 155 14]]}
  T4 = {:index 4070, :time 9455667730, :type :ok, :process 162, :f :txn, :value [[:append 153 7] [:r 154 nil] [:r 154 nil] [:append 155 9]]}

Then:
  - T1 < T2, because T2 appended 5 after T1 appended 15 to 153.
  - T2 < T3, because T3 appended 2 after T2 appended 1 to 151.
  - T3 < T4, because T4 appended 9 after T3 appended 14 to 155.
  - However, T4 < T1, because T1 appended 15 after T4 appended 7 to 153: a contradiction!


G0 #7
Let:
  T1 = {:index 15520, :time 32273952102, :type :ok, :process 669, :f :txn, :value [[:append 591 14] [:r 594 nil] [:r 591 [3 14]]]}
  T2 = {:index 15448, :time 32144783431, :type :ok, :process 670, :f :txn, :value [[:append 592 12] [:append 592 13] [:append 591 4] [:r 592 [5 11 12 13]]]}
  T3 = {:index 15462, :time 32175519074, :type :ok, :process 761, :f :txn, :value [[:r 591 nil] [:append 591 3] [:append 592 1]]}

Then:
  - T1 < T2, because T2 appended 4 after T1 appended 14 to 591.
  - T2 < T3, because T3 appended 1 after T2 appended 13 to 592.
  - However, T3 < T1, because T1 appended 14 after T3 appended 3 to 591: a contradiction!


G0 #8
Let:
  T1 = {:index 1434, :time 4248469017, :type :ok, :process 89, :f :txn, :value [[:append 53 10] [:append 57 13] [:append 58 1] [:r 57 [11 12 13]]]}
  T2 = {:index 1438, :time 4258748414, :type :ok, :process 67, :f :txn, :value [[:r 58 nil] [:append 53 11] [:r 58 nil] [:append 57 15]]}

Then:
  - T1 < T2, because T2 appended 15 after T1 appended 13 to 57.
  - However, T2 < T1, because T1 appended 10 after T2 appended 11 to 53: a contradiction!