G-nonadjacent-item-realtime #0
Let:
  T1 = {:index 1192178, :time 2963352526449, :type :ok, :process 0, :f :txn, :value [[:append 17344 5] [:append 17348 9] [:append 17348 10]]}
  T2 = {:index 1192244, :time 2963552415024, :type :ok, :process 7, :f :txn, :value [[:r 17344 [3 5]] [:append 17348 47] [:append 17348 48]]}
  T3 = {:index 1192270, :time 2963643500530, :type :ok, :process 15, :f :txn, :value [[:append 17295 26] [:append 17348 53]]}
  T4 = {:index 1192290, :time 2963701061175, :type :ok, :process 0, :f :txn, :value [[:r 17348 [1 2 8 9 10 23 24 35 36 34 42 47 48 58 53 64]] [:append 17347 29]]}
  T5 = {:index 1192300, :time 2963767293601, :type :ok, :process 7, :f :txn, :value [[:append 17348 75]]}
  T6 = {:index 1192332, :time 2963832195652, :type :ok, :process 7, :f :txn, :value [[:r 17347 [2 4 7 9 12 10 11 20 21 29]] [:r 17348 [1 2 8 9 10 23 24 35 36 34 42 47 48 58 53 64 75]]]}
  T7 = {:index 1192338, :time 2963846892950, :type :ok, :process 19, :f :txn, :value [[:r 17348 nil]]}
  T8 = {:index 1192148, :time 2963260828924, :type :ok, :process 6, :f :txn, :value [[:append 17348 1] [:append 17341 30] [:append 17348 2]]}

Then:
  - T1 < T2, because T2 observed T1's append of 5 to key 17344.
  - T2 < T3, because T2 completed at index 1192244, 0.015 seconds before the invocation of T3, at index 1192249.
  - T3 < T4, because T3 completed at index 1192270, 0.021 seconds before the invocation of T4, at index 1192277.
  - T4 < T5, because T4 did not observe T5's append of 75 to 17348.
  - T5 < T6, because T6 observed T5's append of 75 to key 17348.
  - T6 < T7, because T6 completed at index 1192332, 0.001 seconds before the invocation of T7, at index 1192335.
  - T7 < T8, because T7 observed the initial (nil) state of 17348, which T8 created by appending 1.
  - However, T8 < T1, because T8 completed at index 1192148, 0.027 seconds before the invocation of T1, at index 1192159: a contradiction!


G-nonadjacent-item-realtime #1
Let:
  T1 = {:index 825148, :time 1877463886184, :type :ok, :process 6, :f :txn, :value [[:r 12096 [6 8 14 15 16 17 18]] [:append 11955 166] [:r 12096 [6 8 14 15 16 17 18]] [:append 12087 8]]}
  T2 = {:index 825164, :time 1877521636865, :type :ok, :process 3, :f :txn, :value [[:r 12096 [6 8 14 15 16 17 18 13]] [:append 12065 203] [:append 12096 29]]}
  T3 = {:index 825204, :time 1877612983305, :type :ok, :process 7, :f :txn, :value [[:append 12065 204]]}
  T4 = {:index 825232, :time 1877655264509, :type :ok, :process 6, :f :txn, :value [[:r 12091 [1 5 10 12 17 15 16 18 20]] [:r 12096 [6 8 14 15 16 17 18 13 29 32 33 34 44 62]] [:r 12096 [6 8 14 15 16 17 18 13 29 32 33 34 44 62]]]}
  T5 = {:index 825240, :time 1877686084510, :type :ok, :process 3, :f :txn, :value [[:append 12096 66] [:append 12096 67] [:r 12096 [6 8 14 15 16 17 18 13 29 32 33 34 44 62 66 67]]]}
  T6 = {:index 825242, :time 1877687484727, :type :ok, :process 3, :f :txn, :value [[:append 12096 72]]}
  T7 = {:index 825246, :time 1877707003644, :type :ok, :process 8, :f :txn, :value [[:r 12096 nil]]}
  T8 = {:index 825086, :time 1877288415536, :type :ok, :process 1, :f :txn, :value [[:append 12096 6] [:r 11955 [3 10 11 13 14 15 21 25 31 34 36 42 43 46 48 49 51 52 55 59 60 65 67 76 78 79 80 81 83 84 85 89 93 96 98 100 102 106 109 110 115 116 121 122 124 127 130 131 132 133 134 137 142 143 145 150 156 157 159 160 161 162 163]] [:append 12065 198]]}
  T9 = {:index 825100, :time 1877370387603, :type :ok, :process 3, :f :txn, :value [[:append 11955 165] [:append 12096 8]]}

Then:
  - T1 < T2, because T1 completed at index 825148, 0.008 seconds before the invocation of T2, at index 825155.
  - T2 < T3, because T3 appended 204 after T2 appended 203 to 12065.
  - T3 < T4, because T3 completed at index 825204, 0.020 seconds before the invocation of T4, at index 825217.
  - T4 < T5, because T4 did not observe T5's append of 66 to 12096.
  - T5 < T6, because T6 appended 72 after T5 appended 67 to 12096.
  - T6 < T7, because T6 completed at index 825242, 0.001 seconds before the invocation of T7, at index 825245.
  - T7 < T8, because T7 observed the initial (nil) state of 12096, which T8 created by appending 6.
  - T8 < T9, because T9 appended 8 after T8 appended 6 to 12096.
  - However, T9 < T1, because T1 appended 166 after T9 appended 165 to 11955: a contradiction!


G-nonadjacent-item-realtime #2
Let:
  T1 = {:index 66730, :time 136773294020, :type :ok, :process 3, :f :txn, :value [[:append 934 39] [:r 912 [4 3 6 7 10 11 9 13 16 21 24 27 29 34 36 35 37 40 38 39 41 43 49 50 48 52 56 57 62 65 67 72 73 80 82]] [:r 856 [2 8 14 12 13 15 18 28 32 35 39 42 40 44 45 53 56 57 60 62 64 65 66 70 72 73 75 80 83 85 86 89 91 95 98 100 102 104]]]}
  T2 = {:index 66738, :time 136785757664, :type :ok, :process 5, :f :txn, :value [[:append 934 47] [:append 912 84] [:append 912 85]]}
  T3 = {:index 66756, :time 136812139455, :type :ok, :process 2, :f :txn, :value [[:r 934 nil]]}
  T4 = {:index 66666, :time 136672379730, :type :ok, :process 4, :f :txn, :value [[:append 934 10] [:r 931 nil] [:append 912 82]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 84 to 912.
  - T2 < T3, because T2 completed at index 66738, 0.008 seconds before the invocation of T3, at index 66741.
  - T3 < T4, because T3 observed the initial (nil) state of 934, which T4 created by appending 10.
  - However, T4 < T1, because T1 observed T4's append of 82 to key 912: a contradiction!


G-nonadjacent-item-realtime #3
Let:
  T1 = {:index 708264, :time 1573272792265, :type :ok, :process 3, :f :txn, :value [[:append 10301 17]]}
  T2 = {:index 708282, :time 1573313543334, :type :ok, :process 9, :f :txn, :value [[:r 10301 [6 7 8 9 1 17 13]] [:r 10301 [6 7 8 9 1 17 13]] [:r 10301 [6 7 8 9 1 17 13]]]}
  T3 = {:index 708308, :time 1573364815017, :type :ok, :process 1, :f :txn, :value [[:append 10301 30]]}
  T4 = {:index 708316, :time 1573385428064, :type :ok, :process 5, :f :txn, :value [[:r 10301 nil]]}
  T5 = {:index 708242, :time 1573219559036, :type :ok, :process 2, :f :txn, :value [[:append 10301 6]]}
  T6 = {:index 708260, :time 1573271737472, :type :ok, :process 7, :f :txn, :value [[:r 10301 [6 7 8 9 1]] [:r 10301 [6 7 8 9 1]]]}

Then:
  - T1 < T2, because T1 completed at index 708264, 0.014 seconds before the invocation of T2, at index 708271.
  - T2 < T3, because T2 did not observe T3's append of 30 to 10301.
  - T3 < T4, because T3 completed at index 708308, 0.020 seconds before the invocation of T4, at index 708315.
  - T4 < T5, because T4 observed the initial (nil) state of 10301, which T5 created by appending 6.
  - T5 < T6, because T5 completed at index 708242, 0.022 seconds before the invocation of T6, at index 708247.
  - However, T6 < T1, because T6 did not observe T1's append of 17 to 10301: a contradiction!


G-nonadjacent-item-realtime #4
Let:
  T1 = {:index 1306, :time 4268529710, :type :ok, :process 4, :f :txn, :value [[:append 22 34] [:append 28 2]]}
  T2 = {:index 1338, :time 4327316443, :type :ok, :process 6, :f :txn, :value [[:r 15 [1 2 6 7 10 15 17]] [:r 22 [1 6 11 15 13 19 20 21 28 34]] [:r 28 [2 1 11]] [:r 22 [1 6 11 15 13 19 20 21 28 34]]]}
  T3 = {:index 1520, :time 4742599339, :type :ok, :process 5, :f :txn, :value [[:append 15 23]]}
  T4 = {:index 1528, :time 4751354174, :type :ok, :process 7, :f :txn, :value [[:append 14 54]]}
  T5 = {:index 1546, :time 4772672915, :type :ok, :process 9, :f :txn, :value [[:r 28 [2 1 11 20 29 35 36 37 53 41 42 49 74 81 77 78 71 72 73 94]] [:r 22 [1 6 11 15 13 19 20 21 28 34 37 39 41 44 51 55]] [:r 22 [1 6 11 15 13 19 20 21 28 34 37 39 41 44 51 55]]]}
  T6 = {:index 1566, :time 4809936279, :type :ok, :process 1, :f :txn, :value [[:r 22 [1 6 11 15 13 19 20 21 28 34 37 39 41 44 51 55 58]] [:r 28 [2 1 11 20 29 35 36 37 53 41 42 49 74 81 77 78 71 72 73 94 82 83]]]}
  T7 = {:index 1604, :time 4864633946, :type :ok, :process 4, :f :txn, :value [[:r 28 [2 1 11 20 29 35 36 37 53 41 42 49 74 81 77 78 71 72 73 94 82 83 103]] [:r 28 [2 1 11 20 29 35 36 37 53 41 42 49 74 81 77 78 71 72 73 94 82 83 103]]]}
  T8 = {:index 1625, :time 4893024664, :type :ok, :process 7, :f :txn, :value [[:r 28 [2 1 11 20 29 35 36 37 53 41 42 49 74 81 77 78 71 72 73 94 82 83 103 127]] [:append 28 139]]}
  T9 = {:index 1636, :time 4916373951, :type :ok, :process 5, :f :txn, :value [[:r 28 nil]]}

Then:
  - T1 < T2, because T2 observed T1's append of 34 to key 22.
  - T2 < T3, because T2 did not observe T3's append of 23 to 15.
  - T3 < T4, because T3 completed at index 1520, 0.008 seconds before the invocation of T4, at index 1527.
  - T4 < T5, because T4 completed at index 1528, 0.004 seconds before the invocation of T5, at index 1533.
  - T5 < T6, because T5 completed at index 1546, 0.012 seconds before the invocation of T6, at index 1555.
  - T6 < T7, because T6 completed at index 1566, 0.022 seconds before the invocation of T7, at index 1577.
  - T7 < T8, because T7 completed at index 1604, 0.023 seconds before the invocation of T8, at index 1623.
  - T8 < T9, because T8 completed at index 1625, 0.023 seconds before the invocation of T9, at index 1635.
  - However, T9 < T1, because T9 observed the initial (nil) state of 28, which T1 created by appending 2: a contradiction!


G-nonadjacent-item-realtime #5
Let:
  T1 = {:index 248904, :time 514865507144, :type :ok, :process 7, :f :txn, :value [[:append 3745 3]]}
  T2 = {:index 248916, :time 514891097643, :type :ok, :process 8, :f :txn, :value [[:append 3745 5] [:append 3729 54]]}
  T3 = {:index 248936, :time 514937968650, :type :ok, :process 5, :f :txn, :value [[:r 3745 [3 5 4 13 16]] [:r 3745 [3 5 4 13 16]] [:r 3729 [4 6 9 13 14 15 19 22 27 28 32 34 35 36 41 47 45 46 49 50 54]]]}
  T4 = {:index 248934, :time 514936781105, :type :ok, :process 9, :f :txn, :value [[:append 3745 17]]}
  T5 = {:index 248940, :time 514956019366, :type :ok, :process 9, :f :txn, :value [[:r 3745 [3 5 4 13 16 17]] [:r 3745 [3 5 4 13 16 17]] [:append 3745 18]]}
  T6 = {:index 248956, :time 514992040796, :type :ok, :process 2, :f :txn, :value [[:r 3745 [3 5 4 13 16 17 18]] [:append 3729 55]]}
  T7 = {:index 248958, :time 514992491102, :type :ok, :process 2, :f :txn, :value [[:r 3745 nil]]}

Then:
  - T1 < T2, because T2 appended 5 after T1 appended 3 to 3745.
  - T2 < T3, because T3 observed T2's append of 54 to key 3729.
  - T3 < T4, because T3 did not observe T4's append of 17 to 3745.
  - T4 < T5, because T5 appended 18 after T4 appended 17 to 3745.
  - T5 < T6, because T6 observed T5's append of 18 to key 3745.
  - T6 < T7, because T6 completed at index 248956, 0.000 seconds before the invocation of T7, at index 248957.
  - However, T7 < T1, because T7 observed the initial (nil) state of 3745, which T1 created by appending 3: a contradiction!


G-nonadjacent-item-realtime #6
Let:
  T1 = {:index 1377814, :time 3599794116371, :type :ok, :process 7, :f :txn, :value [[:r 20046 [1 2 5 18 21 35 37 49 52 54 68 69 63 76 82 95]]]}
  T2 = {:index 1377826, :time 3599814093353, :type :ok, :process 19, :f :txn, :value [[:append 20046 98] [:r 20046 [1 2 5 18 21 35 37 49 52 54 68 69 63 76 82 95 98]]]}
  T3 = {:index 1377850, :time 3599881667111, :type :ok, :process 1, :f :txn, :value [[:append 20046 110] [:r 20046 [1 2 5 18 21 35 37 49 52 54 68 69 63 76 82 95 98 110]] [:append 19680 196]]}
  T4 = {:index 1377856, :time 3599911083863, :type :ok, :process 1, :f :txn, :value [[:append 20046 115] [:append 20049 12]]}
  T5 = {:index 1377864, :time 3599918299446, :type :ok, :process 8, :f :txn, :value [[:r 20046 [1 2 5 18 21 35 37 49 52 54 68 69 63 76 82 95 98 110 115 117]] [:r 20046 [1 2 5 18 21 35 37 49 52 54 68 69 63 76 82 95 98 110 115 117]]]}
  T6 = {:index 1377870, :time 3599926647955, :type :ok, :process 14, :f :txn, :value [[:append 20046 120]]}
  T7 = {:index 1377880, :time 3599950184012, :type :ok, :process 14, :f :txn, :value [[:r 20049 nil]]}
  T8 = {:index 1377666, :time 3599246583749, :type :ok, :process 14, :f :txn, :value [[:append 20049 1] [:append 20046 35]]}
  T9 = {:index 1377678, :time 3599298357801, :type :ok, :process 3, :f :txn, :value [[:append 20046 37] [:r 20046 [1 2 5 18 21 35 37]]]}
  T10 = {:index 1377690, :time 3599319451623, :type :ok, :process 2, :f :txn, :value [[:r 20046 [1 2 5 18 21 35 37]]]}
  T11 = {:index 1377698, :time 3599352821271, :type :ok, :process 6, :f :txn, :value [[:append 20046 49] [:append 20049 4]]}
  T12 = {:index 1377802, :time 3599740269387, :type :ok, :process 0, :f :txn, :value [[:r 20049 [1 4]] [:r 20046 [1 2 5 18 21 35 37 49 52 54 68 69 63]] [:r 20046 [1 2 5 18 21 35 37 49 52 54 68 69 63]]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 98 to 20046.
  - T2 < T3, because T3 appended 110 after T2 appended 98 to 20046.
  - T3 < T4, because T4 appended 115 after T3 appended 110 to 20046.
  - T4 < T5, because T4 completed at index 1377856, 0.002 seconds before the invocation of T5, at index 1377861.
  - T5 < T6, because T5 did not observe T6's append of 120 to 20046.
  - T6 < T7, because T6 completed at index 1377870, 0.000 seconds before the invocation of T7, at index 1377871.
  - T7 < T8, because T7 observed the initial (nil) state of 20049, which T8 created by appending 1.
  - T8 < T9, because T9 appended 37 after T8 appended 35 to 20046.
  - T9 < T10, because T10 observed T9's append of 37 to key 20046.
  - T10 < T11, because T10 did not observe T11's append of 49 to 20046.
  - T11 < T12, because T12 observed T11's append of 4 to key 20049.
  - However, T12 < T1, because T12 completed at index 1377802, 0.049 seconds before the invocation of T1, at index 1377813: a contradiction!


G-nonadjacent-item-realtime #7
Let:
  T1 = {:index 795192, :time 1797028389872, :type :ok, :process 7, :f :txn, :value [[:r 11661 [5 9 20 21 25 32 39]] [:append 11662 1] [:append 11661 46]]}
  T2 = {:index 795222, :time 1797102770285, :type :ok, :process 1, :f :txn, :value [[:append 11662 5]]}
  T3 = {:index 795240, :time 1797143405649, :type :ok, :process 2, :f :txn, :value [[:r 11661 [5 9 20 21 25 32 39 46 49 44 45]] [:r 11661 [5 9 20 21 25 32 39 46 49 44 45]] [:r 11661 [5 9 20 21 25 32 39 46 49 44 45]]]}
  T4 = {:index 795242, :time 1797145010994, :type :ok, :process 2, :f :txn, :value [[:r 11663 nil]]}
  T5 = {:index 795248, :time 1797151538730, :type :ok, :process 14, :f :txn, :value [[:append 11663 7]]}
  T6 = {:index 795252, :time 1797157129705, :type :ok, :process 14, :f :txn, :value [[:append 11660 21]]}
  T7 = {:index 795296, :time 1797275201372, :type :ok, :process 3, :f :txn, :value [[:append 11660 23] [:r 11663 [7 8 9 17 6]] [:r 11662 [1 5 8]] [:r 11663 [7 8 9 17 6]]]}
  T8 = {:index 795384, :time 1797505311578, :type :ok, :process 9, :f :txn, :value [[:r 11660 [1 3 7 11 12 17 21 23]] [:r 11648 [7 10 14 17 18 21 22 24 25 32 35 36 45 52 53 57 59 62 64 65 69 71]] [:r 11663 [7 8 9 17 6 36 39 42]] [:r 11662 [1 5 8 12 16 19 20]]]}
  T9 = {:index 795380, :time 1797504553956, :type :ok, :process 8, :f :txn, :value [[:append 11662 22] [:append 11424 81] [:r 11664 nil]]}
  T10 = {:index 795410, :time 1797546266658, :type :ok, :process 6, :f :txn, :value [[:append 11662 26]]}
  T11 = {:index 795412, :time 1797549820209, :type :ok, :process 6, :f :txn, :value [[:append 11665 8]]}
  T12 = {:index 795414, :time 1797563752156, :type :ok, :process 8, :f :txn, :value [[:r 11665 [3 8]]]}
  T13 = {:index 795418, :time 1797566415689, :type :ok, :process 7, :f :txn, :value [[:append 11665 12] [:append 11587 68]]}
  T14 = {:index 795428, :time 1797578449327, :type :ok, :process 3, :f :txn, :value [[:r 11662 [1 5 8 12 16 19 20 22 26]] [:r 11662 [1 5 8 12 16 19 20 22 26]]]}
  T15 = {:index 795464, :time 1797688655199, :type :ok, :process 6, :f :txn, :value [[:append 11660 24] [:r 11662 [1 5 8 12 16 19 20 22 26 28]] [:append 11660 25]]}
  T16 = {:index 795476, :time 1797746432259, :type :ok, :process 7, :f :txn, :value [[:r 11662 [1 5 8 12 16 19 20 22 26 28]] [:r 11665 [3 8 12 7 11 27]]]}
  T17 = {:index 795506, :time 1797852573488, :type :ok, :process 1, :f :txn, :value [[:r 11662 [1 5 8 12 16 19 20 22 26 28]] [:append 11665 45]]}
  T18 = {:index 795510, :time 1797863612617, :type :ok, :process 1, :f :txn, :value [[:append 11665 46]]}
  T19 = {:index 795536, :time 1797935258086, :type :ok, :process 1, :f :txn, :value [[:r 11665 [3 8 12 7 11 27 45 46 52]]]}
  T20 = {:index 795539, :time 1797936212884, :type :ok, :process 6, :f :txn, :value [[:append 11665 54] [:r 11665 [3 8 12 7 11 27 45 46 52 54]]]}
  T21 = {:index 795552, :time 1797966089363, :type :ok, :process 8, :f :txn, :value [[:r 11662 nil]]}

Then:
  - T1 < T2, because T2 appended 5 after T1 appended 1 to 11662.
  - T2 < T3, because T2 completed at index 795222, 0.000 seconds before the invocation of T3, at index 795227.
  - T3 < T4, because T3 completed at index 795240, 0.000 seconds before the invocation of T4, at index 795241.
  - T4 < T5, because T4 observed the initial (nil) state of 11663, which T5 created by appending 7.
  - T5 < T6, because T5 completed at index 795248, 0.000 seconds before the invocation of T6, at index 795249.
  - T6 < T7, because T7 appended 23 after T6 appended 21 to 11660.
  - T7 < T8, because T8 observed T7's append of 23 to key 11660.
  - T8 < T9, because T8 did not observe T9's append of 22 to 11662.
  - T9 < T10, because T10 appended 26 after T9 appended 22 to 11662.
  - T10 < T11, because T10 completed at index 795410, 0.000 seconds before the invocation of T11, at index 795411.
  - T11 < T12, because T12 observed T11's append of 8 to key 11665.
  - T12 < T13, because T12 did not observe T13's append of 12 to 11665.
  - T13 < T14, because T13 completed at index 795418, 0.002 seconds before the invocation of T14, at index 795421.
  - T14 < T15, because T14 completed at index 795428, 0.005 seconds before the invocation of T15, at index 795431.
  - T15 < T16, because T15 completed at index 795464, 0.031 seconds before the invocation of T16, at index 795469.
  - T16 < T17, because T16 did not observe T17's append of 45 to 11665.
  - T17 < T18, because T18 appended 46 after T17 appended 45 to 11665.
  - T18 < T19, because T18 completed at index 795510, 0.000 seconds before the invocation of T19, at index 795511.
  - T19 < T20, because T19 did not observe T20's append of 54 to 11665.
  - T20 < T21, because T20 completed at index 795539, 0.030 seconds before the invocation of T21, at index 795551.
  - However, T21 < T1, because T21 observed the initial (nil) state of 11662, which T1 created by appending 1: a contradiction!


G-nonadjacent-item-realtime #8
Let:
  T1 = {:index 38362, :time 78806281465, :type :ok, :process 0, :f :txn, :value [[:r 463 [1 9 11 15 20 21 24 26 32 33 35 36 38 40 41 42 45 46 51 52 55 61]] [:r 528 [4 7 8]] [:r 527 [4 9]] [:r 527 [4 9]]]}
  T2 = {:index 38374, :time 78839495025, :type :ok, :process 5, :f :txn, :value [[:append 528 31]]}
  T3 = {:index 38412, :time 78946084843, :type :ok, :process 3, :f :txn, :value [[:append 528 34]]}
  T4 = {:index 38436, :time 78973504816, :type :ok, :process 3, :f :txn, :value [[:r 528 [4 7 8 31 35 28 36 40 34 49 53]]]}
  T5 = {:index 38512, :time 79114033508, :type :ok, :process 0, :f :txn, :value [[:r 528 [4 7 8 31 35 28 36 40 34 49 53 51 57]] [:r 528 [4 7 8 31 35 28 36 40 34 49 53 51 57]] [:r 527 [4 9 25]] [:r 528 [4 7 8 31 35 28 36 40 34 49 53 51 57]]]}
  T6 = {:index 38520, :time 79124890780, :type :ok, :process 9, :f :txn, :value [[:r 513 nil]]}
  T7 = {:index 37756, :time 77566314836, :type :ok, :process 7, :f :txn, :value [[:append 520 27] [:append 513 2]]}
  T8 = {:index 38218, :time 78480128663, :type :ok, :process 9, :f :txn, :value [[:append 446 30] [:r 522 [6 7 11 12 23 25 15 28 36 37 49 50 55 54 65 67 60 71 58 66 77 78 81 92 96 97 82 99 100 110 108 132 114 141 143]] [:r 513 [2]]]}
  T9 = {:index 38242, :time 78523876745, :type :ok, :process 1, :f :txn, :value [[:append 522 146] [:r 521 [2 4 5 6 10 13 20]] [:r 522 [6 7 11 12 23 25 15 28 36 37 49 50 55 54 65 67 60 71 58 66 77 78 81 92 96 97 82 99 100 110 108 132 114 141 143 146]]]}
  T10 = {:index 38302, :time 78700857194, :type :ok, :process 9, :f :txn, :value [[:r 522 [6 7 11 12 23 25 15 28 36 37 49 50 55 54 65 67 60 71 58 66 77 78 81 92 96 97 82 99 100 110 108 132 114 141 143 146 166 172 165 176 183]] [:r 527 [4 9]] [:r 527 [4 9]] [:r 522 [6 7 11 12 23 25 15 28 36 37 49 50 55 54 65 67 60 71 58 66 77 78 81 92 96 97 82 99 100 110 108 132 114 141 143 146 166 172 165 176 183]]]}
  T11 = {:index 38300, :time 78670389969, :type :ok, :process 0, :f :txn, :value [[:append 522 194]]}
  T12 = {:index 38310, :time 78717252847, :type :ok, :process 1, :f :txn, :value [[:r 522 [6 7 11 12 23 25 15 28 36 37 49 50 55 54 65 67 60 71 58 66 77 78 81 92 96 97 82 99 100 110 108 132 114 141 143 146 166 172 165 176 183 194]]]}
  T13 = {:index 38320, :time 78752196728, :type :ok, :process 5, :f :txn, :value [[:r 528 nil] [:r 521 [2 4 5 6 10 13 20 22]] [:r 499 [5]] [:r 528 nil]]}
  T14 = {:index 38324, :time 78757546506, :type :ok, :process 6, :f :txn, :value [[:append 528 4]]}
  T15 = {:index 38335, :time 78763672398, :type :ok, :process 2, :f :txn, :value [[:r 528 [4]]]}
  T16 = {:index 38344, :time 78770063480, :type :ok, :process 4, :f :txn, :value [[:append 528 7] [:append 528 8]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 31 to 528.
  - T2 < T3, because T2 completed at index 38374, 0.007 seconds before the invocation of T3, at index 38381.
  - T3 < T4, because T3 completed at index 38412, 0.001 seconds before the invocation of T4, at index 38415.
  - T4 < T5, because T4 completed at index 38436, 0.008 seconds before the invocation of T5, at index 38441.
  - T5 < T6, because T5 completed at index 38512, 0.011 seconds before the invocation of T6, at index 38519.
  - T6 < T7, because T6 observed the initial (nil) state of 513, which T7 created by appending 2.
  - T7 < T8, because T8 observed T7's append of 2 to key 513.
  - T8 < T9, because T8 did not observe T9's append of 146 to 522.
  - T9 < T10, because T9 completed at index 38242, 0.008 seconds before the invocation of T10, at index 38249.
  - T10 < T11, because T10 did not observe T11's append of 194 to 522.
  - T11 < T12, because T12 observed T11's append of 194 to key 522.
  - T12 < T13, because T12 completed at index 38310, 0.012 seconds before the invocation of T13, at index 38313.
  - T13 < T14, because T13 observed the initial (nil) state of 528, which T14 created by appending 4.
  - T14 < T15, because T15 observed T14's append of 4 to key 528.
  - T15 < T16, because T15 did not observe T16's append of 7 to 528.
  - However, T16 < T1, because T1 observed T16's append of 8 to key 528: a contradiction!


G-nonadjacent-item-realtime #9
Let:
  T1 = {:index 1371852, :time 3578268982482, :type :ok, :process 3, :f :txn, :value [[:r 19958 [4 3]] [:r 19958 [4 3]]]}
  T2 = {:index 1371850, :time 3578253299335, :type :ok, :process 15, :f :txn, :value [[:append 19958 8] [:r 19958 [4 3 8]]]}
  T3 = {:index 1371856, :time 3578272215793, :type :ok, :process 19, :f :txn, :value [[:append 19958 24]]}
  T4 = {:index 1371868, :time 3578358957181, :type :ok, :process 0, :f :txn, :value [[:r 19958 nil]]}
  T5 = {:index 1371811, :time 3578110435194, :type :ok, :process 2, :f :txn, :value [[:append 19958 4]]}
  T6 = {:index 1371822, :time 3578200149960, :type :ok, :process 8, :f :txn, :value [[:append 19958 3] [:append 19956 4]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 8 to 19958.
  - T2 < T3, because T3 appended 24 after T2 appended 8 to 19958.
  - T3 < T4, because T3 completed at index 1371856, 0.031 seconds before the invocation of T4, at index 1371861.
  - T4 < T5, because T4 observed the initial (nil) state of 19958, which T5 created by appending 4.
  - T5 < T6, because T6 appended 3 after T5 appended 4 to 19958.
  - However, T6 < T1, because T1 observed T6's append of 3 to key 19958: a contradiction!


G-nonadjacent-item-realtime #10
Let:
  T1 = {:index 951300, :time 2226638008811, :type :ok, :process 9, :f :txn, :value [[:append 13950 4] [:append 13950 5] [:append 13951 2]]}
  T2 = {:index 951308, :time 2226657211520, :type :ok, :process 5, :f :txn, :value [[:append 13951 10]]}
  T3 = {:index 951340, :time 2226768285680, :type :ok, :process 2, :f :txn, :value [[:r 13951 [2 10]] [:r 13951 [2 10]] [:r 13951 [2 10]]]}
  T4 = {:index 951330, :time 2226727174161, :type :ok, :process 1, :f :txn, :value [[:append 13951 22] [:r 13935 [1 9 12 16 32 38 42 43 47 46 49 51 52 53 58 56 59]]]}
  T5 = {:index 951338, :time 2226755814222, :type :ok, :process 1, :f :txn, :value [[:r 13950 [4 5 9]] [:append 13951 24]]}
  T6 = {:index 951408, :time 2226949378076, :type :ok, :process 1, :f :txn, :value [[:r 13951 [2 10 22 24]] [:r 13941 [7 9]] [:r 13951 [2 10 22 24]]]}
  T7 = {:index 951426, :time 2226984703827, :type :ok, :process 9, :f :txn, :value [[:r 13951 [2 10 22 24 26 44 59]] [:append 13950 19]]}
  T8 = {:index 951432, :time 2226998447476, :type :ok, :process 9, :f :txn, :value [[:r 13951 nil]]}

Then:
  - T1 < T2, because T2 appended 10 after T1 appended 2 to 13951.
  - T2 < T3, because T3 observed T2's append of 10 to key 13951.
  - T3 < T4, because T3 did not observe T4's append of 22 to 13951.
  - T4 < T5, because T5 appended 24 after T4 appended 22 to 13951.
  - T5 < T6, because T6 observed T5's append of 24 to key 13951.
  - T6 < T7, because T6 completed at index 951408, 0.020 seconds before the invocation of T7, at index 951419.
  - T7 < T8, because T7 completed at index 951426, 0.013 seconds before the invocation of T8, at index 951431.
  - However, T8 < T1, because T8 observed the initial (nil) state of 13951, which T1 created by appending 2: a contradiction!


G-nonadjacent-item-realtime #11
Let:
  T1 = {:index 788682, :time 1780376242538, :type :ok, :process 3, :f :txn, :value [[:r 11564 [2 5]] [:r 11564 [2 5]] [:r 11564 [2 5]] [:r 11558 [2]]]}
  T2 = {:index 788708, :time 1780440935744, :type :ok, :process 1, :f :txn, :value [[:r 11564 [2 5 6 20]]]}
  T3 = {:index 788720, :time 1780460521122, :type :ok, :process 1, :f :txn, :value [[:append 11559 2]]}
  T4 = {:index 788754, :time 1780563831198, :type :ok, :process 5, :f :txn, :value [[:r 11564 [2 5 6 20 33 28 40 45 46]]]}
  T5 = {:index 788760, :time 1780575196472, :type :ok, :process 1, :f :txn, :value [[:r 11564 [2 5 6 20 33 28 40 45 46]]]}
  T6 = {:index 788776, :time 1780618821204, :type :ok, :process 14, :f :txn, :value [[:append 11560 19] [:r 11564 [2 5 6 20 33 28 40 45 46]]]}
  T7 = {:index 788818, :time 1780747268742, :type :ok, :process 5, :f :txn, :value [[:append 11560 27]]}
  T8 = {:index 788836, :time 1780766617595, :type :ok, :process 1, :f :txn, :value [[:r 11564 [2 5 6 20 33 28 40 45 46 71 83]] [:append 11564 89]]}
  T9 = {:index 788852, :time 1780804678143, :type :ok, :process 7, :f :txn, :value [[:r 11370 [2 4 8 11 17 20 28 30 38 40 41 44 48 63 64 68 74 78 80 82]] [:r 11564 [2 5 6 20 33 28 40 45 46 71 83 89]] [:r 11564 [2 5 6 20 33 28 40 45 46 71 83 89]] [:r 11560 [1 2 19 27]]]}
  T10 = {:index 788892, :time 1780890949723, :type :ok, :process 3, :f :txn, :value [[:append 11559 8] [:append 11370 87]]}
  T11 = {:index 788894, :time 1780892791584, :type :ok, :process 3, :f :txn, :value [[:append 11564 102]]}
  T12 = {:index 788900, :time 1780915349644, :type :ok, :process 8, :f :txn, :value [[:r 11564 [2 5 6 20 33 28 40 45 46 71 83 89 95 100 98 102]] [:append 11560 35]]}
  T13 = {:index 788921, :time 1781002657699, :type :ok, :process 3, :f :txn, :value [[:r 11564 [2 5 6 20 33 28 40 45 46 71 83 89 95 100 98 102]] [:r 11560 [1 2 19 27 31 35]]]}
  T14 = {:index 788912, :time 1780981728149, :type :ok, :process 7, :f :txn, :value [[:append 11560 37] [:r 11564 [2 5 6 20 33 28 40 45 46 71 83 89 95 100 98 102]] [:r 11564 [2 5 6 20 33 28 40 45 46 71 83 89 95 100 98 102]]]}
  T15 = {:index 788932, :time 1781013353536, :type :ok, :process 8, :f :txn, :value [[:r 11564 [2 5 6 20 33 28 40 45 46 71 83 89 95 100 98 102]] [:r 11560 [1 2 19 27 31 35 37]]]}
  T16 = {:index 788942, :time 1781038274855, :type :ok, :process 8, :f :txn, :value [[:append 11564 115] [:r 11560 [1 2 19 27 31 35 37]] [:r 11560 [1 2 19 27 31 35 37]] [:r 11564 [2 5 6 20 33 28 40 45 46 71 83 89 95 100 98 102 115]]]}
  T17 = {:index 788948, :time 1781049007960, :type :ok, :process 5, :f :txn, :value [[:r 11564 [2 5 6 20 33 28 40 45 46 71 83 89 95 100 98 102 115]]]}
  T18 = {:index 789008, :time 1781247063703, :type :ok, :process 5, :f :txn, :value [[:r 11534 [1 2 3 10]] [:r 11564 [2 5 6 20 33 28 40 45 46 71 83 89 95 100 98 102 115 121 122 123 120]] [:r 11560 [1 2 19 27 31 35 37 38]] [:r 11565 nil]]}
  T19 = {:index 788984, :time 1781182495881, :type :ok, :process 6, :f :txn, :value [[:append 11564 130] [:append 11564 131] [:append 11560 43]]}
  T20 = {:index 788986, :time 1781194084160, :type :ok, :process 6, :f :txn, :value [[:append 11558 14]]}
  T21 = {:index 789076, :time 1781438928253, :type :ok, :process 9, :f :txn, :value [[:r 11564 [2 5 6 20 33 28 40 45 46 71 83 89 95 100 98 102 115 121 122 123 120 130 131 141]] [:r 11564 [2 5 6 20 33 28 40 45 46 71 83 89 95 100 98 102 115 121 122 123 120 130 131 141]] [:r 11564 [2 5 6 20 33 28 40 45 46 71 83 89 95 100 98 102 115 121 122 123 120 130 131 141]] [:r 11564 [2 5 6 20 33 28 40 45 46 71 83 89 95 100 98 102 115 121 122 123 120 130 131 141]]]}
  T22 = {:index 789112, :time 1781537853501, :type :ok, :process 14, :f :txn, :value [[:r 11569 [1 7 13 23 41]] [:append 11570 1] [:append 11569 44] [:r 11571 nil]]}
  T23 = {:index 789122, :time 1781555729583, :type :ok, :process 14, :f :txn, :value [[:r 11571 nil]]}
  T24 = {:index 789138, :time 1781601137796, :type :ok, :process 9, :f :txn, :value [[:append 11569 57] [:append 11569 58]]}
  T25 = {:index 789154, :time 1781643296228, :type :ok, :process 8, :f :txn, :value [[:r 11565 [5]] [:append 11569 60]]}
  T26 = {:index 789180, :time 1781704843924, :type :ok, :process 1, :f :txn, :value [[:r 11572 nil]]}
  T27 = {:index 789198, :time 1781755009782, :type :ok, :process 2, :f :txn, :value [[:append 11573 22]]}
  T28 = {:index 789214, :time 1781790827659, :type :ok, :process 0, :f :txn, :value [[:append 11573 35]]}
  T29 = {:index 789224, :time 1781821424363, :type :ok, :process 0, :f :txn, :value [[:append 11573 36]]}
  T30 = {:index 789230, :time 1781835192576, :type :ok, :process 0, :f :txn, :value [[:r 11573 [2 4 5 22 13 14 35 36]]]}
  T31 = {:index 789238, :time 1781853563845, :type :ok, :process 0, :f :txn, :value [[:r 11514 [1 2 5 7 12 15 18 24 27 28 34 41 42 43]]]}
  T32 = {:index 789418, :time 1782387207895, :type :ok, :process 3, :f :txn, :value [[:append 11576 4] [:append 11514 45] [:append 11570 9]]}
  T33 = {:index 789476, :time 1782563894539, :type :ok, :process 14, :f :txn, :value [[:r 11570 [1 2 4 8 9]] [:r 11565 [5 14 16 17 20]]]}
  T34 = {:index 789484, :time 1782569000363, :type :ok, :process 5, :f :txn, :value [[:append 11574 20]]}
  T35 = {:index 789532, :time 1782705974501, :type :ok, :process 8, :f :txn, :value [[:append 11574 24]]}
  T36 = {:index 789538, :time 1782718090607, :type :ok, :process 8, :f :txn, :value [[:r 11580 nil] [:append 11574 27]]}
  T37 = {:index 789554, :time 1782767544323, :type :ok, :process 2, :f :txn, :value [[:append 11574 29]]}
  T38 = {:index 789598, :time 1782881661378, :type :ok, :process 0, :f :txn, :value [[:r 11574 [2 8 13 15 20 24 27 29 31]] [:append 11581 13] [:append 11534 14] [:r 11581 [7 12 13]]]}
  T39 = {:index 789620, :time 1782954203855, :type :ok, :process 9, :f :txn, :value [[:append 11582 3] [:append 11574 32] [:append 11583 1] [:append 11583 2]]}
  T40 = {:index 789644, :time 1782996426186, :type :ok, :process 8, :f :txn, :value [[:r 11574 [2 8 13 15 20 24 27 29 31 32]] [:r 11570 [1 2 4 8 9]] [:r 11584 [3 11]] [:r 11584 [3 11]]]}
  T41 = {:index 789672, :time 1783050771283, :type :ok, :process 8, :f :txn, :value [[:r 11584 nil]]}
  T42 = {:index 789720, :time 1783127174847, :type :ok, :process 6, :f :txn, :value [[:append 11585 19]]}
  T43 = {:index 789726, :time 1783177645637, :type :ok, :process 0, :f :txn, :value [[:r 11585 [1 2 9 18 29 30 19]] [:r 11585 [1 2 9 18 29 30 19]]]}
  T44 = {:index 789732, :time 1783186763471, :type :ok, :process 2, :f :txn, :value [[:r 11586 nil]]}
  T45 = {:index 789748, :time 1783227668863, :type :ok, :process 8, :f :txn, :value [[:r 11586 nil]]}
  T46 = {:index 789754, :time 1783245778488, :type :ok, :process 7, :f :txn, :value [[:r 11558 nil]]}
  T47 = {:index 789818, :time 1783374504217, :type :ok, :process 8, :f :txn, :value [[:r 11586 [9]] [:r 11586 [9]]]}
  T48 = {:index 789768, :time 1783275765979, :type :ok, :process 3, :f :txn, :value [[:r 11586 [9]] [:append 11586 13] [:r 11574 [2 8 13 15 20 24 27 29 31 32 46]] [:append 11586 14]]}
  T49 = {:index 789778, :time 1783291727037, :type :ok, :process 2, :f :txn, :value [[:r 11574 [2 8 13 15 20 24 27 29 31 32 46]] [:r 11586 [9 13 14]]]}
  T50 = {:index 789812, :time 1783357434583, :type :ok, :process 2, :f :txn, :value [[:r 11586 [9 13 14 17 20]] [:r 11574 [2 8 13 15 20 24 27 29 31 32 46]] [:r 11586 [9 13 14 17 20]]]}
  T51 = {:index 789816, :time 1783372131134, :type :ok, :process 2, :f :txn, :value [[:append 11587 1] [:append 11558 40]]}
  T52 = {:index 789868, :time 1783490971200, :type :ok, :process 7, :f :txn, :value [[:append 11587 2] [:r 11586 [9 13 14 17 20 35 36]]]}
  T53 = {:index 789974, :time 1783763496824, :type :ok, :process 1, :f :txn, :value [[:r 11586 [9 13 14 17 20 35 36 41 44 54 60 61]] [:r 11586 [9 13 14 17 20 35 36 41 44 54 60 61]] [:r 11587 [1 2]]]}
  T54 = {:index 790018, :time 1783890844761, :type :ok, :process 14, :f :txn, :value [[:r 11424 [1 3 7 8 9 14 16 23 33 35 37 38 39 44 46 50 52 54]] [:r 11558 [2 8 9 14 19 20 26 31 32 33 34 40 44]] [:r 11586 [9 13 14 17 20 35 36 41 44 54 60 61 65]]]}
  T55 = {:index 790028, :time 1783918771933, :type :ok, :process 6, :f :txn, :value [[:r 11586 [9 13 14 17 20 35 36 41 44 54 60 61 65 71]] [:r 11586 [9 13 14 17 20 35 36 41 44 54 60 61 65 71]] [:r 11574 [2 8 13 15 20 24 27 29 31 32 46 56 62 65 66 72 73 74]]]}
  T56 = {:index 790042, :time 1783958768849, :type :ok, :process 6, :f :txn, :value [[:append 11589 1]]}
  T57 = {:index 790046, :time 1783964698218, :type :ok, :process 6, :f :txn, :value [[:r 11574 [2 8 13 15 20 24 27 29 31 32 46 56 62 65 66 72 73 74]]]}
  T58 = {:index 790072, :time 1784030731088, :type :ok, :process 3, :f :txn, :value [[:append 11565 51] [:r 11589 [1 5]]]}
  T59 = {:index 790084, :time 1784049400068, :type :ok, :process 3, :f :txn, :value [[:append 11570 16] [:r 11574 [2 8 13 15 20 24 27 29 31 32 46 56 62 65 66 72 73 74 84 88]]]}
  T60 = {:index 790116, :time 1784124443987, :type :ok, :process 1, :f :txn, :value [[:append 11589 17]]}
  T61 = {:index 790124, :time 1784151339983, :type :ok, :process 9, :f :txn, :value [[:append 11570 18]]}
  T62 = {:index 790128, :time 1784164347939, :type :ok, :process 5, :f :txn, :value [[:append 11570 19] [:append 11589 30]]}
  T63 = {:index 790360, :time 1784711540313, :type :ok, :process 8, :f :txn, :value [[:r 11570 [1 2 4 8 9 11 12 13 16 17 18 19]] [:r 11594 [1 7 8 27 34 35 40 45 49 51 52 53]]]}
  T64 = {:index 790424, :time 1784891224567, :type :ok, :process 3, :f :txn, :value [[:append 11570 25] [:append 11594 89] [:append 11594 90] [:append 11587 11]]}
  T65 = {:index 790440, :time 1784958972682, :type :ok, :process 6, :f :txn, :value [[:r 11574 [2 8 13 15 20 24 27 29 31 32 46 56 62 65 66 72 73 74 84 88 87 90 102 105 113 114 120]] [:r 11594 [1 7 8 27 34 35 40 45 49 51 52 53 56 64 46 73 74 89 90]]]}
  T66 = {:index 790454, :time 1784987354588, :type :ok, :process 5, :f :txn, :value [[:append 11594 106] [:r 11594 [1 7 8 27 34 35 40 45 49 51 52 53 56 64 46 73 74 89 90 93 94 95 100 106]]]}
  T67 = {:index 790492, :time 1785120869772, :type :ok, :process 7, :f :txn, :value [[:r 11594 [1 7 8 27 34 35 40 45 49 51 52 53 56 64 46 73 74 89 90 93 94 95 100 106]] [:r 11594 [1 7 8 27 34 35 40 45 49 51 52 53 56 64 46 73 74 89 90 93 94 95 100 106]] [:r 11594 [1 7 8 27 34 35 40 45 49 51 52 53 56 64 46 73 74 89 90 93 94 95 100 106]]]}
  T68 = {:index 790502, :time 1785149780496, :type :ok, :process 5, :f :txn, :value [[:append 11594 121]]}
  T69 = {:index 790514, :time 1785204731131, :type :ok, :process 0, :f :txn, :value [[:append 11594 122] [:r 11565 [5 14 16 17 20 24 25 23 29 31 34 39 40 43 45 51 54 64 63 68 69]] [:append 11594 123]]}
  T70 = {:index 790558, :time 1785322040087, :type :ok, :process 5, :f :txn, :value [[:r 11594 [1 7 8 27 34 35 40 45 49 51 52 53 56 64 46 73 74 89 90 93 94 95 100 106 110 114 121 122 123]] [:r 11574 [2 8 13 15 20 24 27 29 31 32 46 56 62 65 66 72 73 74 84 88 87 90 102 105 113 114 120 128]] [:r 11594 [1 7 8 27 34 35 40 45 49 51 52 53 56 64 46 73 74 89 90 93 94 95 100 106 110 114 121 122 123]]]}
  T71 = {:index 790530, :time 1785235403542, :type :ok, :process 6, :f :txn, :value [[:append 11594 124] [:r 11574 [2 8 13 15 20 24 27 29 31 32 46 56 62 65 66 72 73 74 84 88 87 90 102 105 113 114 120 128]] [:r 11574 [2 8 13 15 20 24 27 29 31 32 46 56 62 65 66 72 73 74 84 88 87 90 102 105 113 114 120 128]] [:r 11594 [1 7 8 27 34 35 40 45 49 51 52 53 56 64 46 73 74 89 90 93 94 95 100 106 110 114 121 122 123 124]]]}
  T72 = {:index 790552, :time 1785303550495, :type :ok, :process 0, :f :txn, :value [[:r 11558 nil]]}
  T73 = {:index 788560, :time 1780030135368, :type :ok, :process 3, :f :txn, :value [[:append 11557 30] [:append 11558 2]]}

Then:
  - T1 < T2, because T1 completed at index 788682, 0.012 seconds before the invocation of T2, at index 788689.
  - T2 < T3, because T2 completed at index 788708, 0.000 seconds before the invocation of T3, at index 788709.
  - T3 < T4, because T3 completed at index 788720, 0.032 seconds before the invocation of T4, at index 788729.
  - T4 < T5, because T4 completed at index 788754, 0.011 seconds before the invocation of T5, at index 788757.
  - T5 < T6, because T5 completed at index 788760, 0.010 seconds before the invocation of T6, at index 788765.
  - T6 < T7, because T7 appended 27 after T6 appended 19 to 11560.
  - T7 < T8, because T7 completed at index 788818, 0.016 seconds before the invocation of T8, at index 788831.
  - T8 < T9, because T9 observed T8's append of 89 to key 11564.
  - T9 < T10, because T9 did not observe T10's append of 87 to 11370.
  - T10 < T11, because T10 completed at index 788892, 0.000 seconds before the invocation of T11, at index 788893.
  - T11 < T12, because T12 observed T11's append of 102 to key 11564.
  - T12 < T13, because T13 observed T12's append of 35 to key 11560.
  - T13 < T14, because T13 did not observe T14's append of 37 to 11560.
  - T14 < T15, because T15 observed T14's append of 37 to key 11560.
  - T15 < T16, because T15 did not observe T16's append of 115 to 11564.
  - T16 < T17, because T17 observed T16's append of 115 to key 11564.
  - T17 < T18, because T17 completed at index 788948, 0.000 seconds before the invocation of T18, at index 788949.
  - T18 < T19, because T18 did not observe T19's append of 130 to 11564.
  - T19 < T20, because T19 completed at index 788984, 0.000 seconds before the invocation of T20, at index 788985.
  - T20 < T21, because T20 completed at index 788986, 0.053 seconds before the invocation of T21, at index 789005.
  - T21 < T22, because T21 completed at index 789076, 0.042 seconds before the invocation of T22, at index 789093.
  - T22 < T23, because T22 completed at index 789112, 0.000 seconds before the invocation of T23, at index 789113.
  - T23 < T24, because T23 completed at index 789122, 0.036 seconds before the invocation of T24, at index 789129.
  - T24 < T25, because T25 appended 60 after T24 appended 58 to 11569.
  - T25 < T26, because T25 completed at index 789154, 0.035 seconds before the invocation of T26, at index 789159.
  - T26 < T27, because T26 completed at index 789180, 0.045 seconds before the invocation of T27, at index 789197.
  - T27 < T28, because T27 completed at index 789198, 0.033 seconds before the invocation of T28, at index 789213.
  - T28 < T29, because T29 appended 36 after T28 appended 35 to 11573.
  - T29 < T30, because T30 observed T29's append of 36 to key 11573.
  - T30 < T31, because T30 completed at index 789230, 0.000 seconds before the invocation of T31, at index 789231.
  - T31 < T32, because T31 did not observe T32's append of 45 to 11514.
  - T32 < T33, because T33 observed T32's append of 9 to key 11570.
  - T33 < T34, because T33 completed at index 789476, 0.004 seconds before the invocation of T34, at index 789481.
  - T34 < T35, because T35 appended 24 after T34 appended 20 to 11574.
  - T35 < T36, because T36 appended 27 after T35 appended 24 to 11574.
  - T36 < T37, because T37 appended 29 after T36 appended 27 to 11574.
  - T37 < T38, because T37 completed at index 789554, 0.025 seconds before the invocation of T38, at index 789565.
  - T38 < T39, because T38 did not observe T39's append of 32 to 11574.
  - T39 < T40, because T40 observed T39's append of 32 to key 11574.
  - T40 < T41, because T40 completed at index 789644, 0.000 seconds before the invocation of T41, at index 789645.
  - T41 < T42, because T41 completed at index 789672, 0.016 seconds before the invocation of T42, at index 789685.
  - T42 < T43, because T43 observed T42's append of 19 to key 11585.
  - T43 < T44, because T43 completed at index 789726, 0.009 seconds before the invocation of T44, at index 789731.
  - T44 < T45, because T44 completed at index 789732, 0.018 seconds before the invocation of T45, at index 789737.
  - T45 < T46, because T45 completed at index 789748, 0.018 seconds before the invocation of T46, at index 789753.
  - T46 < T47, because T46 completed at index 789754, 0.010 seconds before the invocation of T47, at index 789763.
  - T47 < T48, because T47 did not observe T48's append of 13 to 11586.
  - T48 < T49, because T49 observed T48's append of 14 to key 11586.
  - T49 < T50, because T49 completed at index 789778, 0.010 seconds before the invocation of T50, at index 789785.
  - T50 < T51, because T50 completed at index 789812, 0.000 seconds before the invocation of T51, at index 789813.
  - T51 < T52, because T52 appended 2 after T51 appended 1 to 11587.
  - T52 < T53, because T53 observed T52's append of 2 to key 11587.
  - T53 < T54, because T53 completed at index 789974, 0.010 seconds before the invocation of T54, at index 789981.
  - T54 < T55, because T54 completed at index 790018, 0.001 seconds before the invocation of T55, at index 790021.
  - T55 < T56, because T55 completed at index 790028, 0.000 seconds before the invocation of T56, at index 790029.
  - T56 < T57, because T56 completed at index 790042, 0.000 seconds before the invocation of T57, at index 790043.
  - T57 < T58, because T57 completed at index 790046, 0.027 seconds before the invocation of T58, at index 790057.
  - T58 < T59, because T58 completed at index 790072, 0.000 seconds before the invocation of T59, at index 790073.
  - T59 < T60, because T59 completed at index 790084, 0.000 seconds before the invocation of T60, at index 790087.
  - T60 < T61, because T60 completed at index 790116, 0.017 seconds before the invocation of T61, at index 790121.
  - T61 < T62, because T62 appended 19 after T61 appended 18 to 11570.
  - T62 < T63, because T63 observed T62's append of 19 to key 11570.
  - T63 < T64, because T63 did not observe T64's append of 25 to 11570.
  - T64 < T65, because T65 observed T64's append of 90 to key 11594.
  - T65 < T66, because T65 completed at index 790440, 0.019 seconds before the invocation of T66, at index 790453.
  - T66 < T67, because T67 observed T66's append of 106 to key 11594.
  - T67 < T68, because T67 completed at index 790492, 0.011 seconds before the invocation of T68, at index 790495.
  - T68 < T69, because T69 appended 122 after T68 appended 121 to 11594.
  - T69 < T70, because T70 observed T69's append of 123 to key 11594.
  - T70 < T71, because T70 did not observe T71's append of 124 to 11594.
  - T71 < T72, because T71 completed at index 790530, 0.023 seconds before the invocation of T72, at index 790537.
  - T72 < T73, because T72 observed the initial (nil) state of 11558, which T73 created by appending 2.
  - However, T73 < T1, because T1 observed T73's append of 2 to key 11558: a contradiction!