G-nonadjacent-item-realtime #0
Let:
  T1 = {:index 57730, :time 118977223260, :type :ok, :process 4, :f :txn, :value [[:r 847 [3 4 6 10 12 11 17 18 26 36 47 51 53 50 66 70 78 93 80 102 103 117 127 136 150 151 152 153 154 155 158 165 174 190 194 198 215]] [:r 850 [8 15 12 28 27 29 25 37 39 47 41]] [:r 847 [3 4 6 10 12 11 17 18 26 36 47 51 53 50 66 70 78 93 80 102 103 117 127 136 150 151 152 153 154 155 158 165 174 190 194 198 215]]]}
  T2 = {:index 57734, :time 118984031748, :type :ok, :process 8, :f :txn, :value [[:append 847 213] [:append 847 214] [:r 847 [3 4 6 10 12 11 17 18 26 36 47 51 53 50 66 70 78 93 80 102 103 117 127 136 150 151 152 153 154 155 158 165 174 190 194 198 215 213 214]]]}
  T3 = {:index 57736, :time 118989970261, :type :ok, :process 9, :f :txn, :value [[:append 847 220]]}
  T4 = {:index 57756, :time 119021376523, :type :ok, :process 6, :f :txn, :value [[:r 850 [8 15 12 28 27 29 25 37 39 47 41 50]] [:r 850 [8 15 12 28 27 29 25 37 39 47 41 50]]]}
  T5 = {:index 57766, :time 119042232162, :type :ok, :process 6, :f :txn, :value [[:append 797 166]]}
  T6 = {:index 57808, :time 119154111085, :type :ok, :process 8, :f :txn, :value [[:append 852 1] [:append 797 167] [:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118 125 130 131]] [:r 852 [1]]]}
  T7 = {:index 57896, :time 119309428777, :type :ok, :process 5, :f :txn, :value [[:append 797 171]]}
  T8 = {:index 58016, :time 119559227388, :type :ok, :process 3, :f :txn, :value [[:r 854 [6 3 4 5 15 21 26 27 28 32]] [:r 854 [6 3 4 5 15 21 26 27 28 32]] [:append 797 177]]}
  T9 = {:index 58022, :time 119568103256, :type :ok, :process 6, :f :txn, :value [[:r 850 [8 15 12 28 27 29 25 37 39 47 41 50 49 59 65 66 74 77 69 70 71 88]] [:append 854 35] [:r 802 [4 10 13 14 20]] [:append 854 36]]}
  T10 = {:index 58026, :time 119575549314, :type :ok, :process 5, :f :txn, :value [[:r 854 [6 3 4 5 15 21 26 27 28 32 35 36]]]}
  T11 = {:index 58036, :time 119606602726, :type :ok, :process 4, :f :txn, :value [[:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118 125 130 131 141 142 143 146 147]] [:append 854 34] [:append 837 150] [:r 854 [6 3 4 5 15 21 26 27 28 32 35 36 34]]]}
  T12 = {:index 58058, :time 119628946348, :type :ok, :process 4, :f :txn, :value [[:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118 125 130 131 141 142 143 146 147 150]] [:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118 125 130 131 141 142 143 146 147 150]] [:r 850 [8 15 12 28 27 29 25 37 39 47 41 50 49 59 65 66 74 77 69 70 71 88]] [:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118 125 130 131 141 142 143 146 147 150]]]}
  T13 = {:index 58064, :time 119634048570, :type :ok, :process 4, :f :txn, :value [[:append 850 93] [:append 850 94] [:append 848 22]]}
  T14 = {:index 58094, :time 119745268711, :type :ok, :process 4, :f :txn, :value [[:r 850 [8 15 12 28 27 29 25 37 39 47 41 50 49 59 65 66 74 77 69 70 71 88 90 93 94]] [:r 855 [3]]]}
  T15 = {:index 58098, :time 119752536861, :type :ok, :process 3, :f :txn, :value [[:r 856 [6]]]}
  T16 = {:index 58154, :time 119851746207, :type :ok, :process 3, :f :txn, :value [[:r 856 [6]] [:r 848 [2 5 7 8 6 18 19 22]] [:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118 125 130 131 141 142 143 146 147 150 152 154]]]}
  T17 = {:index 58164, :time 119896118228, :type :ok, :process 5, :f :txn, :value [[:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118 125 130 131 141 142 143 146 147 150 152 154]] [:r 856 [6 11 16]]]}
  T18 = {:index 58190, :time 119937498917, :type :ok, :process 7, :f :txn, :value [[:append 837 160]]}
  T19 = {:index 58214, :time 119999854797, :type :ok, :process 9, :f :txn, :value [[:r 850 [8 15 12 28 27 29 25 37 39 47 41 50 49 59 65 66 74 77 69 70 71 88 90 93 94 107 111]] [:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118 125 130 131 141 142 143 146 147 150 152 154 160]]]}
  T20 = {:index 58250, :time 120060809803, :type :ok, :process 5, :f :txn, :value [[:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118 125 130 131 141 142 143 146 147 150 152 154 160 161 159]] [:r 856 [6 11 16 29 30 27]] [:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118 125 130 131 141 142 143 146 147 150 152 154 160 161 159]]]}
  T21 = {:index 58224, :time 120023243966, :type :ok, :process 7, :f :txn, :value [[:append 856 43] [:append 837 162]]}
  T22 = {:index 58228, :time 120031929284, :type :ok, :process 8, :f :txn, :value [[:append 856 37]]}
  T23 = {:index 58238, :time 120044794194, :type :ok, :process 1, :f :txn, :value [[:append 850 121]]}
  T24 = {:index 58242, :time 120050793955, :type :ok, :process 7, :f :txn, :value [[:append 794 53]]}
  T25 = {:index 58252, :time 120061023278, :type :ok, :process 5, :f :txn, :value [[:r 797 nil]]}
  T26 = {:index 53838, :time 111001500957, :type :ok, :process 4, :f :txn, :value [[:r 796 [2 4 5]] [:append 796 6] [:append 797 1]]}
  T27 = {:index 53858, :time 111053321803, :type :ok, :process 7, :f :txn, :value [[:append 783 145]]}
  T28 = {:index 53874, :time 111071616862, :type :ok, :process 0, :f :txn, :value [[:append 796 27] [:r 796 [2 4 5 6 14 27]] [:append 796 28] [:append 787 87]]}
  T29 = {:index 53908, :time 111153646994, :type :ok, :process 7, :f :txn, :value [[:append 787 84] [:r 796 [2 4 5 6 14 27 28 34]]]}
  T30 = {:index 53910, :time 111158050952, :type :ok, :process 2, :f :txn, :value [[:append 787 92]]}
  T31 = {:index 53948, :time 111224903974, :type :ok, :process 6, :f :txn, :value [[:append 783 158] [:append 796 50] [:append 787 97] [:append 796 51]]}
  T32 = {:index 54008, :time 111333027169, :type :ok, :process 3, :f :txn, :value [[:append 794 7]]}
  T33 = {:index 54060, :time 111447117298, :type :ok, :process 0, :f :txn, :value [[:r 796 [2 4 5 6 14 27 28 34 46 47 50 51 55 56 60 64 74 77 78]] [:r 801 [5]]]}
  T34 = {:index 54054, :time 111444312104, :type :ok, :process 1, :f :txn, :value [[:append 801 7] [:append 801 8]]}
  T35 = {:index 54088, :time 111490793920, :type :ok, :process 3, :f :txn, :value [[:r 801 [5 7 8 9]] [:r 787 [2 3 7 9 11 13 15 29 31 36 48 47 50 56 57 63 69 73 76 74 78 87 84 92 97 99 104 105 106]]]}
  T36 = {:index 54116, :time 111577631632, :type :ok, :process 6, :f :txn, :value [[:append 801 18] [:r 801 [5 7 8 9 18]] [:append 801 19] [:r 796 [2 4 5 6 14 27 28 34 46 47 50 51 55 56 60 64 74 77 78 90 93]]]}
  T37 = {:index 54126, :time 111598826449, :type :ok, :process 4, :f :txn, :value [[:r 796 [2 4 5 6 14 27 28 34 46 47 50 51 55 56 60 64 74 77 78 90 93]] [:append 787 109]]}
  T38 = {:index 54154, :time 111672057488, :type :ok, :process 0, :f :txn, :value [[:r 801 [5 7 8 9 18 19 16 20]] [:append 797 6] [:append 803 1]]}
  T39 = {:index 54194, :time 111759826906, :type :ok, :process 0, :f :txn, :value [[:append 797 7]]}
  T40 = {:index 54198, :time 111765578482, :type :ok, :process 8, :f :txn, :value [[:r 803 [1 26 15 16]] [:r 803 [1 26 15 16]]]}
  T41 = {:index 54202, :time 111774869878, :type :ok, :process 8, :f :txn, :value [[:r 803 [1 26 15 16]] [:r 801 [5 7 8 9 18 19 16 20 28 30]] [:r 801 [5 7 8 9 18 19 16 20 28 30]]]}
  T42 = {:index 54208, :time 111793288475, :type :ok, :process 7, :f :txn, :value [[:r 803 [1 26 15 16]]]}
  T43 = {:index 54222, :time 111810239871, :type :ok, :process 0, :f :txn, :value [[:append 801 38]]}
  T44 = {:index 54298, :time 112018773461, :type :ok, :process 5, :f :txn, :value [[:r 797 [1 4 6 7 10 12 13]] [:r 801 [5 7 8 9 18 19 16 20 28 30 35 38]] [:r 803 [1 26 15 16 39 44 46 47 50 40 41 49 48]]]}
  T45 = {:index 54282, :time 111968250559, :type :ok, :process 4, :f :txn, :value [[:append 797 15] [:r 803 [1 26 15 16 39 44 46 47 50 40 41 49 48]] [:append 801 48]]}
  T46 = {:index 54358, :time 112108288029, :type :ok, :process 9, :f :txn, :value [[:r 803 [1 26 15 16 39 44 46 47 50 40 41 49 48 70 72]] [:r 803 [1 26 15 16 39 44 46 47 50 40 41 49 48 70 72]] [:r 803 [1 26 15 16 39 44 46 47 50 40 41 49 48 70 72]] [:r 797 [1 4 6 7 10 12 13 15]]]}
  T47 = {:index 54370, :time 112123973359, :type :ok, :process 9, :f :txn, :value [[:append 803 83]]}
  T48 = {:index 54384, :time 112142805615, :type :ok, :process 5, :f :txn, :value [[:r 801 [5 7 8 9 18 19 16 20 28 30 35 38 48 46 54 58 63 64 67]] [:r 803 [1 26 15 16 39 44 46 47 50 40 41 49 48 70 72 80 83 85 86]]]}
  T49 = {:index 54416, :time 112209437812, :type :ok, :process 9, :f :txn, :value [[:append 803 99]]}
  T50 = {:index 54422, :time 112220005551, :type :ok, :process 0, :f :txn, :value [[:append 787 134]]}
  T51 = {:index 54442, :time 112239308047, :type :ok, :process 1, :f :txn, :value [[:r 803 [1 26 15 16 39 44 46 47 50 40 41 49 48 70 72 80 83 85 86 99]] [:append 787 135]]}
  T52 = {:index 54542, :time 112515046089, :type :ok, :process 1, :f :txn, :value [[:append 787 139]]}
  T53 = {:index 54578, :time 112571071414, :type :ok, :process 5, :f :txn, :value [[:append 806 20] [:r 787 [2 3 7 9 11 13 15 29 31 36 48 47 50 56 57 63 69 73 76 74 78 87 84 92 97 99 104 105 106 109 111 121 122 127 134 135 139 140]]]}
  T54 = {:index 54580, :time 112571721064, :type :ok, :process 5, :f :txn, :value [[:r 797 [1 4 6 7 10 12 13 15 19 22]] [:append 806 30]]}
  T55 = {:index 54592, :time 112598291636, :type :ok, :process 5, :f :txn, :value [[:append 801 99] [:append 797 24]]}
  T56 = {:index 54610, :time 112662716055, :type :ok, :process 4, :f :txn, :value [[:r 808 nil] [:append 801 103]]}
  T57 = {:index 54650, :time 112764772672, :type :ok, :process 2, :f :txn, :value [[:r 794 [2 4 7 14 15 17]] [:r 801 [5 7 8 9 18 19 16 20 28 30 35 38 48 46 54 58 63 64 67 72 68 73 74 75 79 83 92 94 99 102 103]] [:r 801 [5 7 8 9 18 19 16 20 28 30 35 38 48 46 54 58 63 64 67 72 68 73 74 75 79 83 92 94 99 102 103]]]}
  T58 = {:index 54668, :time 112792996853, :type :ok, :process 7, :f :txn, :value [[:append 806 64]]}
  T59 = {:index 54680, :time 112816301705, :type :ok, :process 4, :f :txn, :value [[:r 806 [1 2 13 27 28 20 30 31 37 29 42 41 52 56 58 59 63 64]] [:r 806 [1 2 13 27 28 20 30 31 37 29 42 41 52 56 58 59 63 64]]]}
  T60 = {:index 54732, :time 112919173599, :type :ok, :process 1, :f :txn, :value [[:append 806 83]]}
  T61 = {:index 54754, :time 112947338063, :type :ok, :process 6, :f :txn, :value [[:append 806 87] [:r 801 [5 7 8 9 18 19 16 20 28 30 35 38 48 46 54 58 63 64 67 72 68 73 74 75 79 83 92 94 99 102 103 106 107 108 115 117 119]]]}
  T62 = {:index 54762, :time 112958768986, :type :ok, :process 5, :f :txn, :value [[:r 806 [1 2 13 27 28 20 30 31 37 29 42 41 52 56 58 59 63 64 83 87]] [:r 801 [5 7 8 9 18 19 16 20 28 30 35 38 48 46 54 58 63 64 67 72 68 73 74 75 79 83 92 94 99 102 103 106 107 108 115 117 119]]]}
  T63 = {:index 54786, :time 113037175192, :type :ok, :process 6, :f :txn, :value [[:r 806 [1 2 13 27 28 20 30 31 37 29 42 41 52 56 58 59 63 64 83 87 89]] [:r 1 [8 19 21 22 26 33 34 38 41 43 45 50 53 54 56 57 59 62 67 69 72 73]]]}
  T64 = {:index 54818, :time 113103055096, :type :ok, :process 2, :f :txn, :value [[:append 1 76]]}
  T65 = {:index 57472, :time 118520888725, :type :ok, :process 6, :f :txn, :value [[:r 1 [8 19 21 22 26 33 34 38 41 43 45 50 53 54 56 57 59 62 67 69 72 73 76]]]}
  T66 = {:index 57476, :time 118541862698, :type :ok, :process 3, :f :txn, :value [[:append 847 136] [:append 837 112]]}
  T67 = {:index 57484, :time 118557688013, :type :ok, :process 1, :f :txn, :value [[:r 847 [3 4 6 10 12 11 17 18 26 36 47 51 53 50 66 70 78 93 80 102 103 117 127 136]]]}
  T68 = {:index 57512, :time 118632540214, :type :ok, :process 1, :f :txn, :value [[:append 847 150]]}
  T69 = {:index 57542, :time 118684312538, :type :ok, :process 3, :f :txn, :value [[:r 847 [3 4 6 10 12 11 17 18 26 36 47 51 53 50 66 70 78 93 80 102 103 117 127 136 150 151 152 153 154]] [:r 847 [3 4 6 10 12 11 17 18 26 36 47 51 53 50 66 70 78 93 80 102 103 117 127 136 150 151 152 153 154]] [:r 847 [3 4 6 10 12 11 17 18 26 36 47 51 53 50 66 70 78 93 80 102 103 117 127 136 150 151 152 153 154]]]}
  T70 = {:index 57540, :time 118683221205, :type :ok, :process 5, :f :txn, :value [[:append 847 155] [:r 797 [1 4 6 7 10 12 13 15 19 22 24 28 30 35 36 39 40 43 47 48 50 52 53 57 58 61 63 64 69 70 76 94 98 101 103 107 111 113 114 119 125 126 130 131 135 140 141 144 146 145 149 156]]]}
  T71 = {:index 57560, :time 118713575167, :type :ok, :process 7, :f :txn, :value [[:append 847 158] [:r 847 [3 4 6 10 12 11 17 18 26 36 47 51 53 50 66 70 78 93 80 102 103 117 127 136 150 151 152 153 154 155 158]] [:r 797 [1 4 6 7 10 12 13 15 19 22 24 28 30 35 36 39 40 43 47 48 50 52 53 57 58 61 63 64 69 70 76 94 98 101 103 107 111 113 114 119 125 126 130 131 135 140 141 144 146 145 149 156]]]}
  T72 = {:index 57572, :time 118732139485, :type :ok, :process 2, :f :txn, :value [[:r 847 [3 4 6 10 12 11 17 18 26 36 47 51 53 50 66 70 78 93 80 102 103 117 127 136 150 151 152 153 154 155 158]]]}
  T73 = {:index 57596, :time 118777666727, :type :ok, :process 9, :f :txn, :value [[:append 850 27]]}
  T74 = {:index 57598, :time 118781355646, :type :ok, :process 1, :f :txn, :value [[:append 850 29] [:r 847 [3 4 6 10 12 11 17 18 26 36 47 51 53 50 66 70 78 93 80 102 103 117 127 136 150 151 152 153 154 155 158 165 174]] [:r 850 [8 15 12 28 27 29]] [:r 850 [8 15 12 28 27 29]]]}
  T75 = {:index 57640, :time 118825439807, :type :ok, :process 8, :f :txn, :value [[:r 847 [3 4 6 10 12 11 17 18 26 36 47 51 53 50 66 70 78 93 80 102 103 117 127 136 150 151 152 153 154 155 158 165 174]] [:r 847 [3 4 6 10 12 11 17 18 26 36 47 51 53 50 66 70 78 93 80 102 103 117 127 136 150 151 152 153 154 155 158 165 174]] [:r 847 [3 4 6 10 12 11 17 18 26 36 47 51 53 50 66 70 78 93 80 102 103 117 127 136 150 151 152 153 154 155 158 165 174]]]}
  T76 = {:index 57670, :time 118892677760, :type :ok, :process 0, :f :txn, :value [[:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118]] [:append 850 39] [:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118]] [:append 837 125]]}
  T77 = {:index 57724, :time 118957319829, :type :ok, :process 5, :f :txn, :value [[:append 847 198] [:append 794 46] [:r 847 [3 4 6 10 12 11 17 18 26 36 47 51 53 50 66 70 78 93 80 102 103 117 127 136 150 151 152 153 154 155 158 165 174 190 194 198]] [:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118 125]]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 213 to 847.
  - T2 < T3, because T3 appended 220 after T2 appended 214 to 847.
  - T3 < T4, because T3 completed at index 57736, 0.008 seconds before the invocation of T4, at index 57743.
  - T4 < T5, because T4 completed at index 57756, 0.021 seconds before the invocation of T5, at index 57765.
  - T5 < T6, because T6 appended 167 after T5 appended 166 to 797.
  - T6 < T7, because T7 appended 171 after T6 appended 167 to 797.
  - T7 < T8, because T8 appended 177 after T7 appended 171 to 797.
  - T8 < T9, because T8 did not observe T9's append of 35 to 854.
  - T9 < T10, because T10 observed T9's append of 36 to key 854.
  - T10 < T11, because T10 did not observe T11's append of 34 to 854.
  - T11 < T12, because T12 observed T11's append of 150 to key 837.
  - T12 < T13, because T12 completed at index 58058, 0.000 seconds before the invocation of T13, at index 58059.
  - T13 < T14, because T14 observed T13's append of 94 to key 850.
  - T14 < T15, because T14 completed at index 58094, 0.004 seconds before the invocation of T15, at index 58097.
  - T15 < T16, because T15 completed at index 58098, 0.023 seconds before the invocation of T16, at index 58105.
  - T16 < T17, because T16 completed at index 58154, 0.043 seconds before the invocation of T17, at index 58163.
  - T17 < T18, because T17 did not observe T18's append of 160 to 837.
  - T18 < T19, because T19 observed T18's append of 160 to key 837.
  - T19 < T20, because T19 completed at index 58214, 0.017 seconds before the invocation of T20, at index 58221.
  - T20 < T21, because T20 did not observe T21's append of 43 to 856.
  - T21 < T22, because T22 appended 37 after T21 appended 43 to 856.
  - T22 < T23, because T22 completed at index 58228, 0.005 seconds before the invocation of T23, at index 58235.
  - T23 < T24, because T23 completed at index 58238, 0.004 seconds before the invocation of T24, at index 58241.
  - T24 < T25, because T24 completed at index 58242, 0.010 seconds before the invocation of T25, at index 58251.
  - T25 < T26, because T25 observed the initial (nil) state of 797, which T26 created by appending 1.
  - T26 < T27, because T26 completed at index 53838, 0.026 seconds before the invocation of T27, at index 53851.
  - T27 < T28, because T27 completed at index 53858, 0.013 seconds before the invocation of T28, at index 53869.
  - T28 < T29, because T29 appended 84 after T28 appended 87 to 787.
  - T29 < T30, because T30 appended 92 after T29 appended 84 to 787.
  - T30 < T31, because T31 appended 97 after T30 appended 92 to 787.
  - T31 < T32, because T31 completed at index 53948, 0.009 seconds before the invocation of T32, at index 53957.
  - T32 < T33, because T32 completed at index 54008, 0.017 seconds before the invocation of T33, at index 54015.
  - T33 < T34, because T33 did not observe T34's append of 7 to 801.
  - T34 < T35, because T34 completed at index 54054, 0.001 seconds before the invocation of T35, at index 54059.
  - T35 < T36, because T35 did not observe T36's append of 18 to 801.
  - T36 < T37, because T36 completed at index 54116, 0.020 seconds before the invocation of T37, at index 54125.
  - T37 < T38, because T37 completed at index 54126, 0.008 seconds before the invocation of T38, at index 54133.
  - T38 < T39, because T39 appended 7 after T38 appended 6 to 797.
  - T39 < T40, because T39 completed at index 54194, 0.001 seconds before the invocation of T40, at index 54197.
  - T40 < T41, because T40 completed at index 54198, 0.000 seconds before the invocation of T41, at index 54199.
  - T41 < T42, because T41 completed at index 54202, 0.017 seconds before the invocation of T42, at index 54207.
  - T42 < T43, because T42 completed at index 54208, 0.016 seconds before the invocation of T43, at index 54219.
  - T43 < T44, because T44 observed T43's append of 38 to key 801.
  - T44 < T45, because T44 did not observe T45's append of 15 to 797.
  - T45 < T46, because T46 observed T45's append of 15 to key 797.
  - T46 < T47, because T46 completed at index 54358, 0.000 seconds before the invocation of T47, at index 54359.
  - T47 < T48, because T47 completed at index 54370, 0.004 seconds before the invocation of T48, at index 54375.
  - T48 < T49, because T48 did not observe T49's append of 99 to 803.
  - T49 < T50, because T49 completed at index 54416, 0.008 seconds before the invocation of T50, at index 54421.
  - T50 < T51, because T51 appended 135 after T50 appended 134 to 787.
  - T51 < T52, because T52 appended 139 after T51 appended 135 to 787.
  - T52 < T53, because T52 completed at index 54542, 0.014 seconds before the invocation of T53, at index 54549.
  - T53 < T54, because T54 appended 30 after T53 appended 20 to 806.
  - T54 < T55, because T54 did not observe T55's append of 24 to 797.
  - T55 < T56, because T55 completed at index 54592, 0.018 seconds before the invocation of T56, at index 54599.
  - T56 < T57, because T57 observed T56's append of 103 to key 801.
  - T57 < T58, because T57 completed at index 54650, 0.018 seconds before the invocation of T58, at index 54657.
  - T58 < T59, because T59 observed T58's append of 64 to key 806.
  - T59 < T60, because T59 did not observe T60's append of 83 to 806.
  - T60 < T61, because T61 appended 87 after T60 appended 83 to 806.
  - T61 < T62, because T62 observed T61's append of 87 to key 806.
  - T62 < T63, because T62 completed at index 54762, 0.064 seconds before the invocation of T63, at index 54777.
  - T63 < T64, because T63 did not observe T64's append of 76 to 1.
  - T64 < T65, because T65 observed T64's append of 76 to key 1.
  - T65 < T66, because T65 completed at index 57472, 0.014 seconds before the invocation of T66, at index 57475.
  - T66 < T67, because T67 observed T66's append of 136 to key 847.
  - T67 < T68, because T67 did not observe T68's append of 150 to 847.
  - T68 < T69, because T68 completed at index 57512, 0.007 seconds before the invocation of T69, at index 57517.
  - T69 < T70, because T69 did not observe T70's append of 155 to 847.
  - T70 < T71, because T71 appended 158 after T70 appended 155 to 847.
  - T71 < T72, because T72 observed T71's append of 158 to key 847.
  - T72 < T73, because T72 completed at index 57572, 0.005 seconds before the invocation of T73, at index 57575.
  - T73 < T74, because T74 appended 29 after T73 appended 27 to 850.
  - T74 < T75, because T74 completed at index 57598, 0.007 seconds before the invocation of T75, at index 57603.
  - T75 < T76, because T75 completed at index 57640, 0.007 seconds before the invocation of T76, at index 57645.
  - T76 < T77, because T77 observed T76's append of 125 to key 837.
  - However, T77 < T1, because T77 completed at index 57724, 0.006 seconds before the invocation of T1, at index 57729: a contradiction!


G-nonadjacent-item-realtime #1
Let:
  T1 = {:index 49634, :time 102323359597, :type :ok, :process 7, :f :txn, :value [[:append 730 4] [:r 730 [4]]]}
  T2 = {:index 49644, :time 102350130103, :type :ok, :process 8, :f :txn, :value [[:r 728 nil]]}
  T3 = {:index 49650, :time 102356785106, :type :ok, :process 1, :f :txn, :value [[:append 728 8]]}
  T4 = {:index 49656, :time 102370664143, :type :ok, :process 0, :f :txn, :value [[:r 730 nil]]}

Then:
  - T1 < T2, because T1 completed at index 49634, 0.016 seconds before the invocation of T2, at index 49641.
  - T2 < T3, because T2 observed the initial (nil) state of 728, which T3 created by appending 8.
  - T3 < T4, because T3 completed at index 49650, 0.004 seconds before the invocation of T4, at index 49653.
  - However, T4 < T1, because T4 observed the initial (nil) state of 730, which T1 created by appending 4: a contradiction!


G-nonadjacent-item-realtime #2
Let:
  T1 = {:index 48072, :time 99129886926, :type :ok, :process 2, :f :txn, :value [[:r 687 [5 10 14 21 27 29 30 47 60 61 62 57 51 91 92 96 110 122 134 135 148 149 150 151 152 160 167]] [:append 685 8] [:append 687 189]]}
  T2 = {:index 48080, :time 99149412832, :type :ok, :process 5, :f :txn, :value [[:r 691 nil]]}
  T3 = {:index 48086, :time 99164251877, :type :ok, :process 7, :f :txn, :value [[:r 687 nil]]}
  T4 = {:index 48098, :time 99179849187, :type :ok, :process 5, :f :txn, :value [[:r 691 [4 2 10 22 24 27 29 33 37 38 39 40 41 42 36 45 46 47 59 58 65]] [:r 687 [5 10 14 21 27 29 30 47 60 61 62 57 51 91 92 96 110 122 134 135 148 149 150 151 152 160 167 189 191]]]}
  T5 = {:index 48104, :time 99198952320, :type :ok, :process 1, :f :txn, :value [[:append 691 69]]}
  T6 = {:index 48112, :time 99210894538, :type :ok, :process 1, :f :txn, :value [[:r 687 [5 10 14 21 27 29 30 47 60 61 62 57 51 91 92 96 110 122 134 135 148 149 150 151 152 160 167 189 191 196]] [:append 691 70] [:append 695 1]]}
  T7 = {:index 48120, :time 99215810781, :type :ok, :process 7, :f :txn, :value [[:r 695 [1]]]}
  T8 = {:index 48156, :time 99299396173, :type :ok, :process 7, :f :txn, :value [[:r 695 [1 6]]]}
  T9 = {:index 48176, :time 99373941442, :type :ok, :process 5, :f :txn, :value [[:r 695 [1 6]]]}
  T10 = {:index 48186, :time 99396393662, :type :ok, :process 8, :f :txn, :value [[:append 696 1]]}
  T11 = {:index 48200, :time 99418112766, :type :ok, :process 2, :f :txn, :value [[:r 690 nil]]}
  T12 = {:index 47734, :time 98400912045, :type :ok, :process 4, :f :txn, :value [[:append 690 1]]}
  T13 = {:index 47746, :time 98423973473, :type :ok, :process 7, :f :txn, :value [[:append 677 18] [:r 687 [5 10 14 21 27 29 30 47 60 61 62 57 51]] [:r 687 [5 10 14 21 27 29 30 47 60 61 62 57 51]] [:r 687 [5 10 14 21 27 29 30 47 60 61 62 57 51]]]}
  T14 = {:index 47788, :time 98503694404, :type :ok, :process 9, :f :txn, :value [[:append 687 91] [:append 687 92] [:r 687 [5 10 14 21 27 29 30 47 60 61 62 57 51 91 92]]]}
  T15 = {:index 47800, :time 98514614580, :type :ok, :process 4, :f :txn, :value [[:append 687 96]]}
  T16 = {:index 47806, :time 98539303541, :type :ok, :process 1, :f :txn, :value [[:r 687 [5 10 14 21 27 29 30 47 60 61 62 57 51 91 92 96]] [:r 687 [5 10 14 21 27 29 30 47 60 61 62 57 51 91 92 96]]]}
  T17 = {:index 47842, :time 98575124091, :type :ok, :process 0, :f :txn, :value [[:append 677 20] [:append 687 110] [:append 685 5]]}

Then:
  - T1 < T2, because T1 completed at index 48072, 0.019 seconds before the invocation of T2, at index 48079.
  - T2 < T3, because T2 completed at index 48080, 0.013 seconds before the invocation of T3, at index 48085.
  - T3 < T4, because T3 completed at index 48086, 0.005 seconds before the invocation of T4, at index 48093.
  - T4 < T5, because T4 did not observe T5's append of 69 to 691.
  - T5 < T6, because T6 appended 70 after T5 appended 69 to 691.
  - T6 < T7, because T7 observed T6's append of 1 to key 695.
  - T7 < T8, because T7 completed at index 48120, 0.000 seconds before the invocation of T8, at index 48121.
  - T8 < T9, because T8 completed at index 48156, 0.038 seconds before the invocation of T9, at index 48167.
  - T9 < T10, because T9 completed at index 48176, 0.022 seconds before the invocation of T10, at index 48185.
  - T10 < T11, because T10 completed at index 48186, 0.004 seconds before the invocation of T11, at index 48189.
  - T11 < T12, because T11 observed the initial (nil) state of 690, which T12 created by appending 1.
  - T12 < T13, because T12 completed at index 47734, 0.000 seconds before the invocation of T13, at index 47737.
  - T13 < T14, because T13 did not observe T14's append of 91 to 687.
  - T14 < T15, because T15 appended 96 after T14 appended 92 to 687.
  - T15 < T16, because T16 observed T15's append of 96 to key 687.
  - T16 < T17, because T16 did not observe T17's append of 110 to 687.
  - However, T17 < T1, because T1 appended 8 after T17 appended 5 to 685: a contradiction!


G-nonadjacent-item-realtime #3
Let:
  T1 = {:index 38410, :time 79311581865, :type :ok, :process 8, :f :txn, :value [[:r 568 [3]] [:r 560 [4 5 11 15 39 40 49 53 54 50 56 57 58 74 63 64 65 90 94 95 111 120 121 114 127 129 131 138 126 146 147 143 160 151 170 166 162 163 173 179 181 189 191 194 196 198 199 205 209 210 211 212 220 221 225 227]]]}
  T2 = {:index 38408, :time 79304887530, :type :ok, :process 0, :f :txn, :value [[:append 560 230] [:append 560 231]]}
  T3 = {:index 38426, :time 79345376515, :type :ok, :process 2, :f :txn, :value [[:r 568 nil]]}
  T4 = {:index 38392, :time 79292534117, :type :ok, :process 0, :f :txn, :value [[:append 568 3] [:append 560 227]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 230 to 560.
  - T2 < T3, because T2 completed at index 38408, 0.013 seconds before the invocation of T3, at index 38415.
  - T3 < T4, because T3 observed the initial (nil) state of 568, which T4 created by appending 3.
  - However, T4 < T1, because T1 observed T4's append of 3 to key 568: a contradiction!


G-nonadjacent-item-realtime #4
Let:
  T1 = {:index 44948, :time 92653722249, :type :ok, :process 9, :f :txn, :value [[:r 650 nil]]}
  T2 = {:index 44838, :time 92387544785, :type :ok, :process 2, :f :txn, :value [[:append 631 67] [:append 650 3]]}
  T3 = {:index 44924, :time 92594935804, :type :ok, :process 1, :f :txn, :value [[:r 631 [3 5 7 13 15 17 20 24 27 34 36 42 41 44 50 52 51 54 57 59 58 64 67]] [:r 648 [2 4 5 7 17 21 20 24 25 22 31 37 42 48 41 60 75 63 79 87 90 93 94 95 99 108 110 109 119 111 129 123 136 137 135 140]] [:r 648 [2 4 5 7 17 21 20 24 25 22 31 37 42 48 41 60 75 63 79 87 90 93 94 95 99 108 110 109 119 111 129 123 136 137 135 140]]]}
  T4 = {:index 44926, :time 92599338159, :type :ok, :process 1, :f :txn, :value [[:r 648 [2 4 5 7 17 21 20 24 25 22 31 37 42 48 41 60 75 63 79 87 90 93 94 95 99 108 110 109 119 111 129 123 136 137 135 140 148 152 147]] [:r 645 [2 3 4 6]]]}
  T5 = {:index 44940, :time 92644817777, :type :ok, :process 6, :f :txn, :value [[:r 650 [3 4 7 6 12 13 16]] [:append 648 155] [:r 650 [3 4 7 6 12 13 16]] [:append 2 91]]}
  T6 = {:index 44944, :time 92651300940, :type :ok, :process 5, :f :txn, :value [[:r 648 [2 4 5 7 17 21 20 24 25 22 31 37 42 48 41 60 75 63 79 87 90 93 94 95 99 108 110 109 119 111 129 123 136 137 135 140 148 152 147 155]] [:r 642 [1 5 8 9 10 11 13 16 22 27 29 31 37 39 34 38 42 44 46 48 51 50 63 65 67 68 66 70 74 77 83 88 87 93 92 94 95 101]]]}

Then:
  - T1 < T2, because T1 observed the initial (nil) state of 650, which T2 created by appending 3.
  - T2 < T3, because T3 observed T2's append of 67 to key 631.
  - T3 < T4, because T3 completed at index 44924, 0.000 seconds before the invocation of T4, at index 44925.
  - T4 < T5, because T4 did not observe T5's append of 155 to 648.
  - T5 < T6, because T6 observed T5's append of 155 to key 648.
  - However, T6 < T1, because T6 completed at index 44944, 0.002 seconds before the invocation of T1, at index 44947: a contradiction!


G-nonadjacent-item-realtime #5
Let:
  T1 = {:index 36560, :time 75716738266, :type :ok, :process 5, :f :txn, :value [[:append 537 16]]}
  T2 = {:index 36594, :time 75794883555, :type :ok, :process 3, :f :txn, :value [[:append 539 53] [:append 540 44]]}
  T3 = {:index 36602, :time 75808185920, :type :ok, :process 3, :f :txn, :value [[:r 540 [1 4 6 2 3 13 27 29 30 34 38 45 37 44]] [:r 540 [1 4 6 2 3 13 27 29 30 34 38 45 37 44]]]}
  T4 = {:index 36608, :time 75819805208, :type :ok, :process 4, :f :txn, :value [[:r 540 nil]]}
  T5 = {:index 36622, :time 75844308434, :type :ok, :process 2, :f :txn, :value [[:append 543 8]]}
  T6 = {:index 36632, :time 75860093592, :type :ok, :process 2, :f :txn, :value [[:append 540 55] [:append 1 56] [:append 540 56] [:r 540 [1 4 6 2 3 13 27 29 30 34 38 45 37 44 50 55 56]]]}
  T7 = {:index 36880, :time 76329379464, :type :ok, :process 0, :f :txn, :value [[:r 544 [3 4 5 11 18 17]] [:r 544 [3 4 5 11 18 17]] [:r 1 [8 19 21 22 26 33 34 38 41 43 45 50 53 54 56]] [:r 544 [3 4 5 11 18 17]]]}
  T8 = {:index 36856, :time 76265586983, :type :ok, :process 4, :f :txn, :value [[:append 544 22]]}
  T9 = {:index 36860, :time 76278319825, :type :ok, :process 1, :f :txn, :value [[:append 544 15] [:append 541 27] [:append 544 16]]}
  T10 = {:index 36864, :time 76283321630, :type :ok, :process 8, :f :txn, :value [[:append 544 23]]}
  T11 = {:index 36866, :time 76283824886, :type :ok, :process 8, :f :txn, :value [[:append 544 24]]}
  T12 = {:index 36868, :time 76295796094, :type :ok, :process 3, :f :txn, :value [[:append 544 21]]}
  T13 = {:index 36878, :time 76320150799, :type :ok, :process 5, :f :txn, :value [[:r 544 [3 4 5 11 18 17 22 15 16 23 24 21]]]}
  T14 = {:index 36890, :time 76351331365, :type :ok, :process 2, :f :txn, :value [[:r 544 [3 4 5 11 18 17 22 15 16 23 24 21]] [:r 541 [5 2 7 9 8 11 19 20 21 23 25 27 29]] [:append 543 33]]}
  T15 = {:index 36898, :time 76374823733, :type :ok, :process 2, :f :txn, :value [[:r 542 nil]]}
  T16 = {:index 36692, :time 75973199672, :type :ok, :process 8, :f :txn, :value [[:append 543 14] [:append 542 4]]}
  T17 = {:index 36730, :time 76067977542, :type :ok, :process 8, :f :txn, :value [[:append 540 86]]}
  T18 = {:index 36758, :time 76128348148, :type :ok, :process 7, :f :txn, :value [[:r 540 [1 4 6 2 3 13 27 29 30 34 38 45 37 44 50 55 56 59 60 58 71 69 65 66 82 86]] [:r 543 [3 4 7 8 6 14 19]] [:r 543 [3 4 7 8 6 14 19]]]}
  T19 = {:index 36760, :time 76129721934, :type :ok, :process 7, :f :txn, :value [[:append 540 102]]}
  T20 = {:index 36774, :time 76140110398, :type :ok, :process 6, :f :txn, :value [[:r 540 nil]]}
  T21 = {:index 36460, :time 75534378600, :type :ok, :process 3, :f :txn, :value [[:r 534 [4 5 6 20 35 29 36 49 52 63 67 62 68 69 59 73 81 82 86 90 91 98 96 97 105 106 118 116 122 128 130 133 136 146 147 148 152 153 167 168 169 170]] [:append 539 35] [:append 539 36] [:append 540 1]]}
  T22 = {:index 36462, :time 75535860442, :type :ok, :process 4, :f :txn, :value [[:append 539 40] [:r 540 [1]] [:r 540 [1]]]}
  T23 = {:index 36466, :time 75541353213, :type :ok, :process 3, :f :txn, :value [[:append 540 4] [:append 522 91]]}
  T24 = {:index 36470, :time 75550040331, :type :ok, :process 3, :f :txn, :value [[:append 540 6]]}
  T25 = {:index 36482, :time 75564696181, :type :ok, :process 6, :f :txn, :value [[:r 522 [4 7 3 12 16 24 28 30 35 38 42 44 43 53 56 57 63 64 66 71 74 75 85 86 91]] [:append 540 2] [:append 540 3] [:append 522 90]]}
  T26 = {:index 36490, :time 75587816258, :type :ok, :process 5, :f :txn, :value [[:r 537 [2 3 8 12]] [:append 343 147] [:append 540 13]]}

Then:
  - T1 < T2, because T1 completed at index 36560, 0.010 seconds before the invocation of T2, at index 36567.
  - T2 < T3, because T3 observed T2's append of 44 to key 540.
  - T3 < T4, because T3 completed at index 36602, 0.008 seconds before the invocation of T4, at index 36605.
  - T4 < T5, because T4 completed at index 36608, 0.024 seconds before the invocation of T5, at index 36618.
  - T5 < T6, because T5 completed at index 36622, 0.000 seconds before the invocation of T6, at index 36623.
  - T6 < T7, because T7 observed T6's append of 56 to key 1.
  - T7 < T8, because T7 did not observe T8's append of 22 to 544.
  - T8 < T9, because T9 appended 15 after T8 appended 22 to 544.
  - T9 < T10, because T10 appended 23 after T9 appended 16 to 544.
  - T10 < T11, because T11 appended 24 after T10 appended 23 to 544.
  - T11 < T12, because T12 appended 21 after T11 appended 24 to 544.
  - T12 < T13, because T13 observed T12's append of 21 to key 544.
  - T13 < T14, because T13 completed at index 36878, 0.013 seconds before the invocation of T14, at index 36885.
  - T14 < T15, because T14 completed at index 36890, 0.000 seconds before the invocation of T15, at index 36891.
  - T15 < T16, because T15 observed the initial (nil) state of 542, which T16 created by appending 4.
  - T16 < T17, because T16 completed at index 36692, 0.041 seconds before the invocation of T17, at index 36715.
  - T17 < T18, because T18 observed T17's append of 86 to key 540.
  - T18 < T19, because T18 completed at index 36758, 0.000 seconds before the invocation of T19, at index 36759.
  - T19 < T20, because T19 completed at index 36760, 0.009 seconds before the invocation of T20, at index 36769.
  - T20 < T21, because T20 observed the initial (nil) state of 540, which T21 created by appending 1.
  - T21 < T22, because T22 appended 40 after T21 appended 36 to 539.
  - T22 < T23, because T22 did not observe T23's append of 4 to 540.
  - T23 < T24, because T24 appended 6 after T23 appended 4 to 540.
  - T24 < T25, because T25 appended 2 after T24 appended 6 to 540.
  - T25 < T26, because T26 appended 13 after T25 appended 3 to 540.
  - However, T26 < T1, because T26 did not observe T1's append of 16 to 537: a contradiction!


G-nonadjacent-item-realtime #6
Let:
  T1 = {:index 34676, :time 71872534790, :type :ok, :process 4, :f :txn, :value [[:r 507 [2 3 5 17 18 16 29 43 58 61 63 66 75 77 79 80]] [:r 507 [2 3 5 17 18 16 29 43 58 61 63 66 75 77 79 80]]]}
  T2 = {:index 34684, :time 71896812122, :type :ok, :process 3, :f :txn, :value [[:r 507 [2 3 5 17 18 16 29 43 58 61 63 66 75 77 79 80 83 84 82]]]}
  T3 = {:index 34686, :time 71903142092, :type :ok, :process 1, :f :txn, :value [[:append 507 88] [:r 511 nil]]}
  T4 = {:index 34710, :time 71974294104, :type :ok, :process 9, :f :txn, :value [[:append 507 99]]}
  T5 = {:index 34722, :time 71999779413, :type :ok, :process 8, :f :txn, :value [[:append 248 118] [:r 507 [2 3 5 17 18 16 29 43 58 61 63 66 75 77 79 80 83 84 82 88 100 106 99]] [:append 507 101]]}
  T6 = {:index 34724, :time 72003162487, :type :ok, :process 8, :f :txn, :value [[:append 507 115]]}
  T7 = {:index 34740, :time 72038434690, :type :ok, :process 9, :f :txn, :value [[:r 509 [2 4]] [:r 511 [15]] [:r 507 [2 3 5 17 18 16 29 43 58 61 63 66 75 77 79 80 83 84 82 88 100 106 99 101 115]] [:r 507 [2 3 5 17 18 16 29 43 58 61 63 66 75 77 79 80 83 84 82 88 100 106 99 101 115]]]}
  T8 = {:index 34758, :time 72061206361, :type :ok, :process 3, :f :txn, :value [[:append 511 16] [:append 343 132] [:append 509 9]]}
  T9 = {:index 34786, :time 72090357242, :type :ok, :process 4, :f :txn, :value [[:r 507 [2 3 5 17 18 16 29 43 58 61 63 66 75 77 79 80 83 84 82 88 100 106 99 101 115 126]] [:append 511 20]]}
  T10 = {:index 34804, :time 72109184450, :type :ok, :process 6, :f :txn, :value [[:r 511 [15 16 17 18 20]]]}
  T11 = {:index 34904, :time 72347758819, :type :ok, :process 7, :f :txn, :value [[:r 511 [15 16 17 18 20 26]] [:r 507 [2 3 5 17 18 16 29 43 58 61 63 66 75 77 79 80 83 84 82 88 100 106 99 101 115 126 135]] [:r 507 [2 3 5 17 18 16 29 43 58 61 63 66 75 77 79 80 83 84 82 88 100 106 99 101 115 126 135]] [:r 499 [3 5 6 16]]]}
  T12 = {:index 34856, :time 72229429287, :type :ok, :process 4, :f :txn, :value [[:append 511 33] [:append 507 146] [:r 507 [2 3 5 17 18 16 29 43 58 61 63 66 75 77 79 80 83 84 82 88 100 106 99 101 115 126 135 139 145 146]]]}
  T13 = {:index 34864, :time 72237680671, :type :ok, :process 4, :f :txn, :value [[:r 509 nil]]}
  T14 = {:index 34648, :time 71821447332, :type :ok, :process 5, :f :txn, :value [[:append 507 80] [:append 509 2]]}

Then:
  - T1 < T2, because T1 completed at index 34676, 0.024 seconds before the invocation of T2, at index 34683.
  - T2 < T3, because T2 did not observe T3's append of 88 to 507.
  - T3 < T4, because T3 completed at index 34686, 0.001 seconds before the invocation of T4, at index 34689.
  - T4 < T5, because T5 appended 101 after T4 appended 99 to 507.
  - T5 < T6, because T6 appended 115 after T5 appended 101 to 507.
  - T6 < T7, because T7 observed T6's append of 115 to key 507.
  - T7 < T8, because T7 did not observe T8's append of 16 to 511.
  - T8 < T9, because T8 completed at index 34758, 0.003 seconds before the invocation of T9, at index 34765.
  - T9 < T10, because T10 observed T9's append of 20 to key 511.
  - T10 < T11, because T10 completed at index 34804, 0.041 seconds before the invocation of T11, at index 34815.
  - T11 < T12, because T11 did not observe T12's append of 33 to 511.
  - T12 < T13, because T12 completed at index 34856, 0.000 seconds before the invocation of T13, at index 34857.
  - T13 < T14, because T13 observed the initial (nil) state of 509, which T14 created by appending 2.
  - However, T14 < T1, because T1 observed T14's append of 80 to key 507: a contradiction!


G-nonadjacent-item-realtime #7
Let:
  T1 = {:index 28844, :time 60450184037, :type :ok, :process 8, :f :txn, :value [[:r 439 [1 13 9 4 40 45 54 65]] [:r 439 [1 13 9 4 40 45 54 65]] [:append 439 66] [:append 444 2]]}
  T2 = {:index 28848, :time 60452848220, :type :ok, :process 8, :f :txn, :value [[:append 439 67] [:r 439 [1 13 9 4 40 45 54 65 66 67]]]}
  T3 = {:index 28888, :time 60530305178, :type :ok, :process 4, :f :txn, :value [[:r 439 [1 13 9 4 40 45 54 65 66 67]] [:r 439 [1 13 9 4 40 45 54 65 66 67]]]}
  T4 = {:index 28896, :time 60580034299, :type :ok, :process 9, :f :txn, :value [[:r 439 [1 13 9 4 40 45 54 65 66 67 69 70 71]] [:append 421 41] [:append 444 7]]}
  T5 = {:index 29228, :time 61203449895, :type :ok, :process 0, :f :txn, :value [[:append 421 45] [:append 449 2] [:r 449 [3 4 2]]]}
  T6 = {:index 29280, :time 61294211337, :type :ok, :process 7, :f :txn, :value [[:r 444 [2 3 5 6 7 9 11 13 15 20 22 29 30 38 39 40 32 37 45 47 59 55 56 67]] [:r 421 [4 7 9 15 16 20 22 26 31 34 35 36 37 40 41 45]] [:append 446 30]]}
  T7 = {:index 29284, :time 61298425394, :type :ok, :process 7, :f :txn, :value [[:append 449 22] [:append 444 72]]}
  T8 = {:index 29288, :time 61305292434, :type :ok, :process 3, :f :txn, :value [[:r 444 nil]]}

Then:
  - T1 < T2, because T2 appended 67 after T1 appended 66 to 439.
  - T2 < T3, because T3 observed T2's append of 67 to key 439.
  - T3 < T4, because T3 completed at index 28888, 0.007 seconds before the invocation of T4, at index 28891.
  - T4 < T5, because T5 appended 45 after T4 appended 41 to 421.
  - T5 < T6, because T6 observed T5's append of 45 to key 421.
  - T6 < T7, because T6 did not observe T7's append of 72 to 444.
  - T7 < T8, because T7 completed at index 29284, 0.007 seconds before the invocation of T8, at index 29287.
  - However, T8 < T1, because T8 observed the initial (nil) state of 444, which T1 created by appending 2: a contradiction!


G-nonadjacent-item-realtime #8
Let:
  T1 = {:index 58376, :time 120293501685, :type :ok, :process 7, :f :txn, :value [[:r 858 [5 1 8]] [:r 858 [5 1 8]] [:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118 125 130 131 141 142 143 146 147 150 152 154 160 161 159 162 163 165 166 168]] [:r 856 [6 11 16 29 30 27 43 37 56 63 65 66 68 62 73 74 67]]]}
  T2 = {:index 58414, :time 120339067194, :type :ok, :process 2, :f :txn, :value [[:append 858 14]]}
  T3 = {:index 58424, :time 120355522583, :type :ok, :process 2, :f :txn, :value [[:append 856 102] [:append 858 19]]}
  T4 = {:index 58470, :time 120431156710, :type :ok, :process 5, :f :txn, :value [[:r 856 [6 11 16 29 30 27 43 37 56 63 65 66 68 62 73 74 67 83 89 90 99 100 102]] [:r 856 [6 11 16 29 30 27 43 37 56 63 65 66 68 62 73 74 67 83 89 90 99 100 102]] [:append 856 110]]}
  T5 = {:index 58520, :time 120517631356, :type :ok, :process 1, :f :txn, :value [[:append 856 114] [:r 858 [5 1 8 14 19 22 23 27]] [:r 858 [5 1 8 14 19 22 23 27]] [:r 856 [6 11 16 29 30 27 43 37 56 63 65 66 68 62 73 74 67 83 89 90 99 100 102 110 114]]]}
  T6 = {:index 58522, :time 120531377900, :type :ok, :process 2, :f :txn, :value [[:r 837 [2 4 6 12 16 22 23 29 33 34 42 43 47 51 54 57 59 64 66 69 82 95 99 100 103 104 110 108 112 114 115 116 118 125 130 131 141 142 143 146 147 150 152 154 160 161 159 162 163 165 166 168 182 186]] [:r 858 [5 1 8 14 19 22 23 27]] [:append 858 31]]}
  T7 = {:index 58532, :time 120547625905, :type :ok, :process 3, :f :txn, :value [[:append 861 8] [:r 858 [5 1 8 14 19 22 23 27 31]]]}
  T8 = {:index 58548, :time 120568224666, :type :ok, :process 8, :f :txn, :value [[:r 861 [5 8 10]]]}
  T9 = {:index 58558, :time 120593404508, :type :ok, :process 0, :f :txn, :value [[:r 858 nil]]}
  T10 = {:index 58588, :time 120645689600, :type :ok, :process 0, :f :txn, :value [[:r 858 [5 1 8 14 19 22 23 27 31]] [:r 862 nil]]}
  T11 = {:index 58608, :time 120730434396, :type :ok, :process 4, :f :txn, :value [[:r 858 nil]]}
  T12 = {:index 58328, :time 120216470321, :type :ok, :process 1, :f :txn, :value [[:r 856 [6 11 16 29 30 27 43 37 56 63 65 66 68]] [:r 797 [1 4 6 7 10 12 13 15 19 22 24 28 30 35 36 39 40 43 47 48 50 52 53 57 58 61 63 64 69 70 76 94 98 101 103 107 111 113 114 119 125 126 130 131 135 140 141 144 146 145 149 156 165 166 167 171 177 181 182 183 187 191 190 193]] [:append 858 5] [:append 848 27]]}
  T13 = {:index 58366, :time 120265852525, :type :ok, :process 6, :f :txn, :value [[:r 858 [5 1 8]] [:append 848 28]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 14 to 858.
  - T2 < T3, because T3 appended 19 after T2 appended 14 to 858.
  - T3 < T4, because T4 appended 110 after T3 appended 102 to 856.
  - T4 < T5, because T5 appended 114 after T4 appended 110 to 856.
  - T5 < T6, because T5 did not observe T6's append of 31 to 858.
  - T6 < T7, because T7 observed T6's append of 31 to key 858.
  - T7 < T8, because T7 completed at index 58532, 0.019 seconds before the invocation of T8, at index 58545.
  - T8 < T9, because T8 completed at index 58548, 0.025 seconds before the invocation of T9, at index 58557.
  - T9 < T10, because T9 completed at index 58558, 0.000 seconds before the invocation of T10, at index 58559.
  - T10 < T11, because T10 completed at index 58588, 0.007 seconds before the invocation of T11, at index 58593.
  - T11 < T12, because T11 observed the initial (nil) state of 858, which T12 created by appending 5.
  - T12 < T13, because T13 appended 28 after T12 appended 27 to 848.
  - However, T13 < T1, because T13 completed at index 58366, 0.009 seconds before the invocation of T1, at index 58375: a contradiction!


G-nonadjacent-item-realtime #9
Let:
  T1 = {:index 37114, :time 76793629119, :type :ok, :process 7, :f :txn, :value [[:append 544 107] [:r 546 [3 11 16 17 18]] [:r 544 [3 4 5 11 18 17 22 15 16 23 24 21 27 37 50 49 45 46 60 61 65 66 67 68 76 77 72 84 92 107]] [:append 541 53]]}
  T2 = {:index 37130, :time 76840649276, :type :ok, :process 1, :f :txn, :value [[:append 546 28]]}
  T3 = {:index 37152, :time 76875157039, :type :ok, :process 5, :f :txn, :value [[:r 546 [3 11 16 17 18 24 28]] [:append 544 116]]}
  T4 = {:index 37156, :time 76881139141, :type :ok, :process 5, :f :txn, :value [[:append 544 117] [:append 544 118]]}
  T5 = {:index 37176, :time 76934153811, :type :ok, :process 8, :f :txn, :value [[:append 544 122]]}
  T6 = {:index 37180, :time 76951238143, :type :ok, :process 8, :f :txn, :value [[:append 541 56] [:append 541 57]]}
  T7 = {:index 37196, :time 76982711359, :type :ok, :process 2, :f :txn, :value [[:r 544 [3 4 5 11 18 17 22 15 16 23 24 21 27 37 50 49 45 46 60 61 65 66 67 68 76 77 72 84 92 107 104 115 111 116 117 118 121 127 122 123]] [:r 544 [3 4 5 11 18 17 22 15 16 23 24 21 27 37 50 49 45 46 60 61 65 66 67 68 76 77 72 84 92 107 104 115 111 116 117 118 121 127 122 123]]]}
  T8 = {:index 37206, :time 76989321038, :type :ok, :process 7, :f :txn, :value [[:r 544 [3 4 5 11 18 17 22 15 16 23 24 21 27 37 50 49 45 46 60 61 65 66 67 68 76 77 72 84 92 107 104 115 111 116 117 118 121 127 122 123 129]]]}
  T9 = {:index 37232, :time 77054657914, :type :ok, :process 2, :f :txn, :value [[:append 546 46]]}
  T10 = {:index 37280, :time 77155318224, :type :ok, :process 3, :f :txn, :value [[:r 546 [3 11 16 17 18 24 28 27 38 39 36 46]] [:append 546 49] [:append 544 143]]}
  T11 = {:index 37296, :time 77179426987, :type :ok, :process 9, :f :txn, :value [[:r 546 nil]]}
  T12 = {:index 36988, :time 76542948926, :type :ok, :process 6, :f :txn, :value [[:append 546 3]]}
  T13 = {:index 37044, :time 76661179059, :type :ok, :process 5, :f :txn, :value [[:r 542 [4 7]] [:r 541 [5 2 7 9 8 11 19 20 21 23 25 27 29 31 37 40]] [:r 546 [3]]]}

Then:
  - T1 < T2, because T1 completed at index 37114, 0.037 seconds before the invocation of T2, at index 37125.
  - T2 < T3, because T3 observed T2's append of 28 to key 546.
  - T3 < T4, because T4 appended 117 after T3 appended 116 to 544.
  - T4 < T5, because T4 completed at index 37156, 0.010 seconds before the invocation of T5, at index 37163.
  - T5 < T6, because T5 completed at index 37176, 0.000 seconds before the invocation of T6, at index 37177.
  - T6 < T7, because T6 completed at index 37180, 0.017 seconds before the invocation of T7, at index 37185.
  - T7 < T8, because T7 completed at index 37196, 0.005 seconds before the invocation of T8, at index 37203.
  - T8 < T9, because T8 completed at index 37206, 0.060 seconds before the invocation of T9, at index 37229.
  - T9 < T10, because T10 appended 49 after T9 appended 46 to 546.
  - T10 < T11, because T10 completed at index 37280, 0.024 seconds before the invocation of T11, at index 37295.
  - T11 < T12, because T11 observed the initial (nil) state of 546, which T12 created by appending 3.
  - T12 < T13, because T13 observed T12's append of 3 to key 546.
  - However, T13 < T1, because T13 did not observe T1's append of 53 to 541: a contradiction!


G-nonadjacent-item-realtime #10
Let:
  T1 = {:index 33024, :time 68477672091, :type :ok, :process 0, :f :txn, :value [[:append 489 2] [:append 489 3] [:append 484 45] [:append 488 15]]}
  T2 = {:index 33044, :time 68516411784, :type :ok, :process 5, :f :txn, :value [[:r 488 [3 2 10 11 12 9 14 16 15]] [:r 488 [3 2 10 11 12 9 14 16 15]] [:r 488 [3 2 10 11 12 9 14 16 15]]]}
  T3 = {:index 33058, :time 68539388859, :type :ok, :process 3, :f :txn, :value [[:append 488 36] [:r 488 [3 2 10 11 12 9 14 16 15 36]]]}
  T4 = {:index 33094, :time 68608442864, :type :ok, :process 4, :f :txn, :value [[:r 488 [3 2 10 11 12 9 14 16 15 36]] [:r 484 [3 9 10 11 13 14 26 30 40 42 43 44 41 45 47]] [:r 488 [3 2 10 11 12 9 14 16 15 36]] [:r 487 [1 2 5 6]]]}
  T5 = {:index 33142, :time 68720413289, :type :ok, :process 2, :f :txn, :value [[:append 487 10] [:r 488 [3 2 10 11 12 9 14 16 15 36 38 41 48]]]}
  T6 = {:index 33144, :time 68720529327, :type :ok, :process 5, :f :txn, :value [[:r 487 [1 2 5 6 10]]]}
  T7 = {:index 33306, :time 68992569402, :type :ok, :process 6, :f :txn, :value [[:append 490 35] [:append 487 13] [:r 490 [6 4 26 25 32 35]]]}
  T8 = {:index 33330, :time 69024417908, :type :ok, :process 1, :f :txn, :value [[:r 490 [6 4 26 25 32 35]]]}
  T9 = {:index 33338, :time 69049794190, :type :ok, :process 5, :f :txn, :value [[:append 490 42] [:append 490 43] [:append 490 44]]}
  T10 = {:index 33342, :time 69052017485, :type :ok, :process 7, :f :txn, :value [[:r 490 [6 4 26 25 32 35 42 43 44]]]}
  T11 = {:index 33348, :time 69056508857, :type :ok, :process 5, :f :txn, :value [[:r 490 [6 4 26 25 32 35 42 43 44 50]]]}
  T12 = {:index 33356, :time 69080849861, :type :ok, :process 0, :f :txn, :value [[:append 489 63] [:r 490 [6 4 26 25 32 35 42 43 44 50]] [:r 484 [3 9 10 11 13 14 26 30 40 42 43 44 41 45 47 55 57 58 59 62]]]}
  T13 = {:index 33358, :time 69083060495, :type :ok, :process 2, :f :txn, :value [[:append 490 47] [:r 421 [4 7 9 15 16 20 22 26 31 34 35 36 37 40 41 45 46 48 61 62 69 77 78 83 91 95 97 99 105 111]] [:r 487 [1 2 5 6 10 13]]]}
  T14 = {:index 33360, :time 69083694503, :type :ok, :process 5, :f :txn, :value [[:r 421 [4 7 9 15 16 20 22 26 31 34 35 36 37 40 41 45 46 48 61 62 69 77 78 83 91 95 97 99 105 111]] [:r 490 [6 4 26 25 32 35 42 43 44 50 47]]]}
  T15 = {:index 33362, :time 69093217923, :type :ok, :process 5, :f :txn, :value [[:r 484 [3 9 10 11 13 14 26 30 40 42 43 44 41 45 47 55 57 58 59 62]] [:append 490 59] [:append 484 68] [:r 489 [2 3 10 13 19 20 21 34 32 44 49 50 51 52 63]]]}
  T16 = {:index 33398, :time 69160379651, :type :ok, :process 3, :f :txn, :value [[:r 484 [3 9 10 11 13 14 26 30 40 42 43 44 41 45 47 55 57 58 59 62 68]] [:r 489 [2 3 10 13 19 20 21 34 32 44 49 50 51 52 63 65]]]}
  T17 = {:index 33400, :time 69165625577, :type :ok, :process 3, :f :txn, :value [[:r 490 [6 4 26 25 32 35 42 43 44 50 47 59 62]] [:r 489 [2 3 10 13 19 20 21 34 32 44 49 50 51 52 63 65]] [:append 484 71] [:r 484 [3 9 10 11 13 14 26 30 40 42 43 44 41 45 47 55 57 58 59 62 68 71]]]}
  T18 = {:index 33442, :time 69256711053, :type :ok, :process 8, :f :txn, :value [[:r 490 [6 4 26 25 32 35 42 43 44 50 47 59 62 71 89]] [:append 484 73] [:r 490 [6 4 26 25 32 35 42 43 44 50 47 59 62 71 89]]]}
  T19 = {:index 33540, :time 69440636840, :type :ok, :process 6, :f :txn, :value [[:r 484 [3 9 10 11 13 14 26 30 40 42 43 44 41 45 47 55 57 58 59 62 68 71 73]] [:r 490 [6 4 26 25 32 35 42 43 44 50 47 59 62 71 89]] [:r 490 [6 4 26 25 32 35 42 43 44 50 47 59 62 71 89]] [:r 484 [3 9 10 11 13 14 26 30 40 42 43 44 41 45 47 55 57 58 59 62 68 71 73]]]}
  T20 = {:index 33504, :time 69386001650, :type :ok, :process 1, :f :txn, :value [[:append 489 75] [:append 490 111] [:append 484 76] [:append 489 76]]}
  T21 = {:index 33530, :time 69430424713, :type :ok, :process 5, :f :txn, :value [[:append 490 120]]}
  T22 = {:index 33534, :time 69433159226, :type :ok, :process 3, :f :txn, :value [[:r 490 [6 4 26 25 32 35 42 43 44 50 47 59 62 71 89 110 111 120]]]}
  T23 = {:index 33536, :time 69433306375, :type :ok, :process 3, :f :txn, :value [[:r 489 nil]]}

Then:
  - T1 < T2, because T2 observed T1's append of 15 to key 488.
  - T2 < T3, because T2 did not observe T3's append of 36 to 488.
  - T3 < T4, because T4 observed T3's append of 36 to key 488.
  - T4 < T5, because T4 did not observe T5's append of 10 to 487.
  - T5 < T6, because T6 observed T5's append of 10 to key 487.
  - T6 < T7, because T6 did not observe T7's append of 13 to 487.
  - T7 < T8, because T8 observed T7's append of 35 to key 490.
  - T8 < T9, because T8 did not observe T9's append of 42 to 490.
  - T9 < T10, because T10 observed T9's append of 44 to key 490.
  - T10 < T11, because T10 completed at index 33342, 0.004 seconds before the invocation of T11, at index 33347.
  - T11 < T12, because T11 completed at index 33348, 0.016 seconds before the invocation of T12, at index 33353.
  - T12 < T13, because T12 did not observe T13's append of 47 to 490.
  - T13 < T14, because T14 observed T13's append of 47 to key 490.
  - T14 < T15, because T14 did not observe T15's append of 59 to 490.
  - T15 < T16, because T16 observed T15's append of 68 to key 484.
  - T16 < T17, because T16 did not observe T17's append of 71 to 484.
  - T17 < T18, because T18 appended 73 after T17 appended 71 to 484.
  - T18 < T19, because T19 observed T18's append of 73 to key 484.
  - T19 < T20, because T19 did not observe T20's append of 76 to 484.
  - T20 < T21, because T21 appended 120 after T20 appended 111 to 490.
  - T21 < T22, because T22 observed T21's append of 120 to key 490.
  - T22 < T23, because T22 completed at index 33534, 0.000 seconds before the invocation of T23, at index 33535.
  - However, T23 < T1, because T23 observed the initial (nil) state of 489, which T1 created by appending 2: a contradiction!


G-nonadjacent-item-realtime #11
Let:
  T1 = {:index 38542, :time 79542297147, :type :ok, :process 6, :f :txn, :value [[:r 571 [1 4 7 17 24]] [:append 573 1]]}
  T2 = {:index 38612, :time 79671530812, :type :ok, :process 4, :f :txn, :value [[:r 571 [1 4 7 17 24 23 26]] [:r 568 [3 7 8 5 15]] [:r 573 [1]]]}
  T3 = {:index 38604, :time 79659133458, :type :ok, :process 1, :f :txn, :value [[:append 568 24]]}
  T4 = {:index 38618, :time 79675114888, :type :ok, :process 0, :f :txn, :value [[:r 573 nil]]}

Then:
  - T1 < T2, because T2 observed T1's append of 1 to key 573.
  - T2 < T3, because T2 did not observe T3's append of 24 to 568.
  - T3 < T4, because T3 completed at index 38604, 0.009 seconds before the invocation of T4, at index 38607.
  - However, T4 < T1, because T4 observed the initial (nil) state of 573, which T1 created by appending 1: a contradiction!