G-nonadjacent-item-realtime #0
Let:
  T1 = {:index 126016, :time 133244872678, :type :ok, :process 30, :f :txn, :value [[:append 2039 15] [:r 2022 [27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 85 88 90 98 99 102 103 104 105 108 107 116 117 125 127 129 130 132 133 134 135 136 139 140 142 145 147]] [:append 2022 152]]}
  T2 = {:index 126020, :time 133286212570, :type :ok, :process 22, :f :txn, :value [[:r 2022 [27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 85 88 90 98 99 102 103 104 105 108 107 116 117 125 127 129 130 132 133 134 135 136 139 140 142 145 147 152]] [:append 2019 3] [:r 2039 [1 5 7 8 14 15]] [:r 2036 [1 2 6 7]]]}
  T3 = {:index 126070, :time 133522285642, :type :ok, :process 27, :f :txn, :value [[:append 2039 27] [:append 2039 28] [:append 2036 9]]}
  T4 = {:index 126080, :time 133533229454, :type :ok, :process 27, :f :txn, :value [[:r 2041 nil] [:r 2022 [27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 85 88 90 98 99 102 103 104 105 108 107 116 117 125 127 129 130 132 133 134 135 136 139 140 142 145 147 152 154 156 161]]]}
  T5 = {:index 126096, :time 133567819510, :type :ok, :process 30, :f :txn, :value [[:append 1992 72] [:append 2041 8]]}
  T6 = {:index 126100, :time 133596052456, :type :ok, :process 27, :f :txn, :value [[:append 2041 9]]}
  T7 = {:index 126120, :time 133663433525, :type :ok, :process 15, :f :txn, :value [[:r 2041 [8 9]] [:append 2041 15] [:r 2040 [1 4 3 6 8]]]}
  T8 = {:index 126130, :time 133712060766, :type :ok, :process 15, :f :txn, :value [[:r 2022 [27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81]]]}
  T9 = {:index 125586, :time 131638484380, :type :ok, :process 15, :f :txn, :value [[:r 2032 [1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 37]] [:append 2022 85] [:append 1992 60]]}
  T10 = {:index 125624, :time 131771834644, :type :ok, :process 22, :f :txn, :value [[:r 2022 [27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 85 88]] [:append 1992 62] [:r 2022 [27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 85 88]]]}
  T11 = {:index 125750, :time 132334043134, :type :ok, :process 27, :f :txn, :value [[:append 2034 34] [:append 1992 65] [:append 2034 35]]}
  T12 = {:index 125778, :time 132425926530, :type :ok, :process 22, :f :txn, :value [[:r 2034 [1 7 12 11 13 14 23 26 34 35 42 45]] [:append 1992 66]]}
  T13 = {:index 125910, :time 132899772431, :type :ok, :process 27, :f :txn, :value [[:r 2034 [1 7 12 11 13 14 23 26 34 35 42 45 48 46 50 51 52 58 59 74 77 82 86 87]] [:r 2022 [27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 85 88 90 98 99 102 103 104 105 108 107 116 117 125 127 129 130 132]] [:append 1992 67] [:append 2022 133]]}
  T14 = {:index 126012, :time 133232964885, :type :ok, :process 27, :f :txn, :value [[:append 2039 14] [:append 1992 69]]}

Then:
  - T1 < T2, because T2 observed T1's append of 152 to key 2022.
  - T2 < T3, because T2 did not observe T3's append of 9 to 2036.
  - T3 < T4, because T3 completed at index 126070, 0.000 seconds before the invocation of T4, at index 126071.
  - T4 < T5, because T4 observed the initial (nil) state of 2041, which T5 created by appending 8.
  - T5 < T6, because T6 appended 9 after T5 appended 8 to 2041.
  - T6 < T7, because T7 appended 15 after T6 appended 9 to 2041.
  - T7 < T8, because T7 completed at index 126120, 0.000 seconds before the invocation of T8, at index 126121.
  - T8 < T9, because T8 did not observe T9's append of 85 to 2022.
  - T9 < T10, because T10 appended 62 after T9 appended 60 to 1992.
  - T10 < T11, because T11 appended 65 after T10 appended 62 to 1992.
  - T11 < T12, because T12 appended 66 after T11 appended 65 to 1992.
  - T12 < T13, because T13 appended 67 after T12 appended 66 to 1992.
  - T13 < T14, because T14 appended 69 after T13 appended 67 to 1992.
  - However, T14 < T1, because T1 appended 15 after T14 appended 14 to 2039: a contradiction!


G-nonadjacent-item-realtime #1
Let:
  T1 = {:index 125214, :time 109735549362, :type :ok, :process 48, :f :txn, :value [[:r 2022 [27 28 29 30 31 32 33 34 35 36 37]] [:r 2028 [1]] [:append 2027 6]]}
  T2 = {:index 125218, :time 109825318533, :type :ok, :process 48, :f :txn, :value [[:append 2028 2] [:r 2028 [1 2]]]}
  T3 = {:index 125220, :time 109919162695, :type :ok, :process 48, :f :txn, :value [[:r 2028 nil]]}
  T4 = {:index 125212, :time 109704412241, :type :ok, :process 48, :f :txn, :value [[:append 2028 1] [:r 2016 [6 7 8]] [:r 2028 [1]] [:append 2027 5]]}

Then:
  - T1 < T2, because T1 did not observe T2's append of 2 to 2028.
  - T2 < T3, because T2 completed at index 125218, 0.000 seconds before the invocation of T3, at index 125219.
  - T3 < T4, because T3 observed the initial (nil) state of 2028, which T4 created by appending 1.
  - However, T4 < T1, because T1 appended 6 after T4 appended 5 to 2027: a contradiction!