G2-item-realtime #0
Let:
  T1 = {:index 40056, :time 82713267385, :type :ok, :process 1, :f :txn, :value [[:r 592 [4 2]] [:append 592 8]]}
  T2 = {:index 40062, :time 82716778421, :type :ok, :process 1, :f :txn, :value [[:append 499 117]]}
  T3 = {:index 40066, :time 82727157431, :type :ok, :process 1, :f :txn, :value [[:r 590 [5 2 3 11 6 12 23 39 44 50 51 55 62 68 72 73 75 81 74 86 92 97 100 101 107 123 136 137 131 140 145]] [:r 590 [5 2 3 11 6 12 23 39 44 50 51 55 62 68 72 73 75 81 74 86 92 97 100 101 107 123 136 137 131 140 145]]]}
  T4 = {:index 40070, :time 82732453698, :type :ok, :process 5, :f :txn, :value [[:append 590 150] [:append 590 151]]}
  T5 = {:index 40084, :time 82745195294, :type :ok, :process 8, :f :txn, :value [[:r 590 [5 2 3 11 6 12 23 39 44 50 51 55 62 68 72 73 75 81 74 86 92 97 100 101 107 123 136 137 131 140 145 150 151]] [:r 590 [5 2 3 11 6 12 23 39 44 50 51 55 62 68 72 73 75 81 74 86 92 97 100 101 107 123 136 137 131 140 145 150 151]]]}
  T6 = {:index 40112, :time 82799261558, :type :ok, :process 9, :f :txn, :value [[:r 590 nil]]}
  T7 = {:index 40118, :time 82807613705, :type :ok, :process 9, :f :txn, :value [[:r 590 nil]]}
  T8 = {:index 40132, :time 82835426169, :type :ok, :process 1, :f :txn, :value [[:append 598 2]]}
  T9 = {:index 40164, :time 82884997693, :type :ok, :process 1, :f :txn, :value [[:r 598 [2]] [:append 343 186] [:append 590 169] [:append 590 170]]}
  T10 = {:index 40170, :time 82895596209, :type :ok, :process 9, :f :txn, :value [[:append 590 180]]}
  T11 = {:index 40176, :time 82902967307, :type :ok, :process 9, :f :txn, :value [[:r 590 [5 2 3 11 6 12 23 39 44 50 51 55 62 68 72 73 75 81 74 86 92 97 100 101 107 123 136 137 131 140 145 150 151 161 162 165 171 172 173 169 170 180]] [:append 596 23] [:r 596 [4 5 10 11 12 23]]]}
  T12 = {:index 40186, :time 82922887749, :type :ok, :process 4, :f :txn, :value [[:append 596 25]]}
  T13 = {:index 40192, :time 82927276186, :type :ok, :process 5, :f :txn, :value [[:append 596 27] [:append 590 185]]}
  T14 = {:index 40214, :time 82966922316, :type :ok, :process 5, :f :txn, :value [[:append 590 187] [:r 596 [4 5 10 11 12 23 25 27 28]]]}
  T15 = {:index 40246, :time 83066573357, :type :ok, :process 5, :f :txn, :value [[:r 598 [2 6 8]] [:r 590 [5 2 3 11 6 12 23 39 44 50 51 55 62 68 72 73 75 81 74 86 92 97 100 101 107 123 136 137 131 140 145 150 151 161 162 165 171 172 173 169 170 180 183 185 186 187]] [:r 598 [2 6 8]]]}
  T16 = {:index 40256, :time 83084623861, :type :ok, :process 8, :f :txn, :value [[:r 590 [5 2 3 11 6 12 23 39 44 50 51 55 62 68 72 73 75 81 74 86 92 97 100 101 107 123 136 137 131 140 145 150 151 161 162 165 171 172 173 169 170 180 183 185 186 187 195 196 202]] [:append 590 208]]}
  T17 = {:index 40264, :time 83092048246, :type :ok, :process 5, :f :txn, :value [[:r 581 [2 5 6 10 15 19 20 21 26 32 33 38 43 41 48 55 54 58 61]]]}
  T18 = {:index 40272, :time 83096699298, :type :ok, :process 5, :f :txn, :value [[:append 590 212]]}
  T19 = {:index 40276, :time 83098401525, :type :ok, :process 1, :f :txn, :value [[:append 590 210]]}
  T20 = {:index 40286, :time 83105055001, :type :ok, :process 5, :f :txn, :value [[:append 590 215]]}
  T21 = {:index 40302, :time 83135226506, :type :ok, :process 9, :f :txn, :value [[:append 590 222] [:r 598 [2 6 8 9]]]}
  T22 = {:index 40306, :time 83150631765, :type :ok, :process 8, :f :txn, :value [[:r 590 nil]]}
  T23 = {:index 40308, :time 83156356747, :type :ok, :process 8, :f :txn, :value [[:r 590 nil]]}
  T24 = {:index 40322, :time 83172098232, :type :ok, :process 1, :f :txn, :value [[:r 590 nil]]}
  T25 = {:index 39602, :time 81706623471, :type :ok, :process 5, :f :txn, :value [[:append 590 5]]}
  T26 = {:index 39616, :time 81745973656, :type :ok, :process 0, :f :txn, :value [[:r 588 nil]]}
  T27 = {:index 39618, :time 81755239374, :type :ok, :process 0, :f :txn, :value [[:r 590 [5 2 3]] [:r 590 [5 2 3]] [:append 590 11] [:r 590 [5 2 3 11]]]}
  T28 = {:index 39662, :time 81883135366, :type :ok, :process 8, :f :txn, :value [[:r 581 [2 5 6 10 15 19 20 21 26 32 33]] [:append 588 34] [:append 590 12]]}
  T29 = {:index 39668, :time 81902616709, :type :ok, :process 5, :f :txn, :value [[:r 588 [1 3 8 9 13 17 22 24 23 27 25 29 34]] [:r 590 [5 2 3 11 6 12]] [:append 590 23] [:r 585 [7 9 11 15 23 24 28 30]]]}
  T30 = {:index 39680, :time 81916106579, :type :ok, :process 1, :f :txn, :value [[:append 581 38] [:r 590 [5 2 3 11 6 12 23]]]}
  T31 = {:index 39700, :time 81938377871, :type :ok, :process 3, :f :txn, :value [[:r 581 [2 5 6 10 15 19 20 21 26 32 33 38]] [:r 499 [3 5 6 16 18 19 26 30 32 34 38 40 41 42 43 44 47 49 52 53 59 58 62 67 71 72 74 76 78 79 85 88 90 94 101 102 105 107 109]] [:append 590 39]]}
  T32 = {:index 40032, :time 82631549433, :type :ok, :process 6, :f :txn, :value [[:append 499 115] [:r 592 [4 2]]]}

Then:
  - T1 < T2, because T1 completed at index 40056, 0.000 seconds before the invocation of T2, at index 40057.
  - T2 < T3, because T2 completed at index 40062, 0.000 seconds before the invocation of T3, at index 40063.
  - T3 < T4, because T3 did not observe T4's append of 150 to 590.
  - T4 < T5, because T5 observed T4's append of 151 to key 590.
  - T5 < T6, because T5 completed at index 40084, 0.035 seconds before the invocation of T6, at index 40099.
  - T6 < T7, because T6 completed at index 40112, 0.000 seconds before the invocation of T7, at index 40113.
  - T7 < T8, because T7 completed at index 40118, 0.008 seconds before the invocation of T8, at index 40127.
  - T8 < T9, because T9 observed T8's append of 2 to key 598.
  - T9 < T10, because T10 appended 180 after T9 appended 170 to 590.
  - T10 < T11, because T11 observed T10's append of 180 to key 590.
  - T11 < T12, because T12 appended 25 after T11 appended 23 to 596.
  - T12 < T13, because T13 appended 27 after T12 appended 25 to 596.
  - T13 < T14, because T13 completed at index 40192, 0.000 seconds before the invocation of T14, at index 40193.
  - T14 < T15, because T15 observed T14's append of 187 to key 590.
  - T15 < T16, because T15 completed at index 40246, 0.014 seconds before the invocation of T16, at index 40255.
  - T16 < T17, because T16 completed at index 40256, 0.007 seconds before the invocation of T17, at index 40263.
  - T17 < T18, because T17 completed at index 40264, 0.000 seconds before the invocation of T18, at index 40267.
  - T18 < T19, because T19 appended 210 after T18 appended 212 to 590.
  - T19 < T20, because T20 appended 215 after T19 appended 210 to 590.
  - T20 < T21, because T21 appended 222 after T20 appended 215 to 590.
  - T21 < T22, because T21 completed at index 40302, 0.012 seconds before the invocation of T22, at index 40305.
  - T22 < T23, because T22 completed at index 40306, 0.000 seconds before the invocation of T23, at index 40307.
  - T23 < T24, because T23 completed at index 40308, 0.015 seconds before the invocation of T24, at index 40321.
  - T24 < T25, because T24 observed the initial (nil) state of 590, which T25 created by appending 5.
  - T25 < T26, because T25 completed at index 39602, 0.024 seconds before the invocation of T26, at index 39611.
  - T26 < T27, because T26 completed at index 39616, 0.000 seconds before the invocation of T27, at index 39617.
  - T27 < T28, because T27 completed at index 39618, 0.028 seconds before the invocation of T28, at index 39623.
  - T28 < T29, because T29 appended 23 after T28 appended 12 to 590.
  - T29 < T30, because T30 observed T29's append of 23 to key 590.
  - T30 < T31, because T31 observed T30's append of 38 to key 581.
  - T31 < T32, because T31 did not observe T32's append of 115 to 499.
  - However, T32 < T1, because T32 did not observe T1's append of 8 to 592: a contradiction!


G2-item-realtime #1
Let:
  T1 = {:index 31004, :time 64570364955, :type :ok, :process 8, :f :txn, :value [[:append 472 1]]}
  T2 = {:index 31008, :time 64577603425, :type :ok, :process 1, :f :txn, :value [[:append 471 13] [:r 421 [4 7 9 15 16 20 22 26 31 34 35 36 37 40 41 45 46 48 61 62 69 77]] [:r 473 [1 2]]]}
  T3 = {:index 31014, :time 64588341412, :type :ok, :process 5, :f :txn, :value [[:append 473 7] [:append 473 8] [:append 473 9] [:append 473 10]]}
  T4 = {:index 31016, :time 64590388572, :type :ok, :process 6, :f :txn, :value [[:append 473 4]]}
  T5 = {:index 31042, :time 64649464047, :type :ok, :process 4, :f :txn, :value [[:r 471 [1 7 8 9 13]] [:r 473 [1 2 7 8 9 10 4]] [:r 471 [1 7 8 9 13]]]}
  T6 = {:index 31038, :time 64619929014, :type :ok, :process 8, :f :txn, :value [[:append 471 12]]}
  T7 = {:index 31040, :time 64644835600, :type :ok, :process 8, :f :txn, :value [[:append 466 81] [:r 472 [1]]]}
  T8 = {:index 31050, :time 64662377252, :type :ok, :process 4, :f :txn, :value [[:r 466 [2 6 4 5 12 7 13 18 19 23 24 26 27 28 29 31 41 42 46 51 50 52 56 57 63 65 71 81]] [:r 466 [2 6 4 5 12 7 13 18 19 23 24 26 27 28 29 31 41 42 46 51 50 52 56 57 63 65 71 81]]]}
  T9 = {:index 31052, :time 64662903165, :type :ok, :process 0, :f :txn, :value [[:append 466 80] [:append 473 18] [:append 473 19] [:r 472 [1]]]}
  T10 = {:index 31198, :time 64895568169, :type :ok, :process 3, :f :txn, :value [[:append 472 6]]}
  T11 = {:index 31204, :time 64901971885, :type :ok, :process 3, :f :txn, :value [[:r 473 [1 2 7 8 9 10 4 14 5 18 19 26 27 11 12 13 31 33 34 37 32 41 40 47 58 60 69 68 64 73 75]] [:r 473 [1 2 7 8 9 10 4 14 5 18 19 26 27 11 12 13 31 33 34 37 32 41 40 47 58 60 69 68 64 73 75]] [:append 473 78]]}
  T12 = {:index 31244, :time 65018674282, :type :ok, :process 7, :f :txn, :value [[:append 473 89] [:r 473 [1 2 7 8 9 10 4 14 5 18 19 26 27 11 12 13 31 33 34 37 32 41 40 47 58 60 69 68 64 73 75 78 89]]]}
  T13 = {:index 31252, :time 65023436064, :type :ok, :process 4, :f :txn, :value [[:r 471 nil]]}
  T14 = {:index 31266, :time 65038095949, :type :ok, :process 4, :f :txn, :value [[:r 476 nil] [:append 476 3] [:append 472 8] [:append 476 4]]}
  T15 = {:index 31296, :time 65086261574, :type :ok, :process 0, :f :txn, :value [[:r 471 nil]]}
  T16 = {:index 31306, :time 65125375248, :type :ok, :process 4, :f :txn, :value [[:r 476 [3 4 11 8]]]}
  T17 = {:index 31310, :time 65136083164, :type :ok, :process 9, :f :txn, :value [[:append 476 21]]}
  T18 = {:index 31330, :time 65158916134, :type :ok, :process 0, :f :txn, :value [[:append 476 24] [:append 476 25]]}
  T19 = {:index 31340, :time 65193240932, :type :ok, :process 9, :f :txn, :value [[:append 475 34] [:r 477 nil] [:r 475 [1 2 4 5 7 9 10 12 6 20 24 34]] [:r 477 nil]]}
  T20 = {:index 31366, :time 65246495600, :type :ok, :process 6, :f :txn, :value [[:append 477 9]]}
  T21 = {:index 31370, :time 65254770130, :type :ok, :process 7, :f :txn, :value [[:append 471 46]]}
  T22 = {:index 31422, :time 65381796610, :type :ok, :process 5, :f :txn, :value [[:r 477 [2 9 11 16]]]}
  T23 = {:index 31424, :time 65386929695, :type :ok, :process 5, :f :txn, :value [[:r 478 [8 9]] [:append 478 13]]}
  T24 = {:index 31428, :time 65398211872, :type :ok, :process 4, :f :txn, :value [[:r 471 [1 7 8 9 13 12 20 24 38 40 43 46 51]] [:r 475 [1 2 4 5 7 9 10 12 6 20 24 34 41 40]] [:append 478 3] [:append 478 4]]}
  T25 = {:index 31466, :time 65472455029, :type :ok, :process 9, :f :txn, :value [[:r 478 [8 9 13 3 4]] [:append 478 21] [:r 478 [8 9 13 3 4 21]]]}
  T26 = {:index 31470, :time 65474945528, :type :ok, :process 8, :f :txn, :value [[:append 478 17]]}
  T27 = {:index 31484, :time 65503077071, :type :ok, :process 6, :f :txn, :value [[:r 479 nil] [:r 479 nil]]}
  T28 = {:index 31494, :time 65547308385, :type :ok, :process 1, :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]]]}
  T29 = {:index 31504, :time 65579697915, :type :ok, :process 5, :f :txn, :value [[:r 475 nil]]}
  T30 = {:index 31518, :time 65633792975, :type :ok, :process 5, :f :txn, :value [[:append 479 16] [:r 471 [1 7 8 9 13 12 20 24 38 40 43 46 51 54 56]] [:r 479 [5 16]]]}
  T31 = {:index 31524, :time 65643109715, :type :ok, :process 5, :f :txn, :value [[:r 248 [2 4 10 13 14 15 16 18 23 28 33 34 38 40 42 51 53 65 66 67 68 72 76 79 80 82 87 88 89 90 92 94 95 98 99 102 103]] [:append 479 21]]}
  T32 = {:index 31536, :time 65655403553, :type :ok, :process 7, :f :txn, :value [[:r 475 nil]]}
  T33 = {:index 31538, :time 65656587573, :type :ok, :process 7, :f :txn, :value [[:r 479 nil]]}
  T34 = {:index 31556, :time 65696623320, :type :ok, :process 2, :f :txn, :value [[:append 479 34]]}
  T35 = {:index 31584, :time 65738874257, :type :ok, :process 7, :f :txn, :value [[:r 475 [1 2 4 5 7 9 10 12 6 20 24 34 41 40 56 57 58 70]] [:append 475 76] [:r 479 [5 16 21 15 19 34 25 26 44]]]}
  T36 = {:index 31614, :time 65821800225, :type :ok, :process 0, :f :txn, :value [[:append 475 84] [:append 479 57]]}
  T37 = {:index 31630, :time 65852025811, :type :ok, :process 2, :f :txn, :value [[:append 479 60] [:r 0 [3 6 10 11]]]}
  T38 = {:index 31646, :time 65866608789, :type :ok, :process 2, :f :txn, :value [[:append 479 61]]}
  T39 = {:index 31662, :time 65898640133, :type :ok, :process 1, :f :txn, :value [[:r 479 [5 16 21 15 19 34 25 26 44 30 51 57 60 63 66 61]] [: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]]]}
  T40 = {:index 31706, :time 65969245521, :type :ok, :process 4, :f :txn, :value [[:r 479 nil]]}
  T41 = {:index 31716, :time 65981244820, :type :ok, :process 9, :f :txn, :value [[:r 479 nil]]}
  T42 = {:index 31722, :time 66002680362, :type :ok, :process 9, :f :txn, :value [[:r 475 [1 2 4 5 7 9 10 12 6 20 24 34 41 40 56 57 58 70 76 84 85 87]] [:append 479 90] [:r 475 [1 2 4 5 7 9 10 12 6 20 24 34 41 40 56 57 58 70 76 84 85 87]]]}
  T43 = {:index 31736, :time 66033825709, :type :ok, :process 3, :f :txn, :value [[:append 475 91]]}
  T44 = {:index 31780, :time 66121754821, :type :ok, :process 3, :f :txn, :value [[:r 479 [5 16 21 15 19 34 25 26 44 30 51 57 60 63 66 61 62 69 64 73 74 83 85 88 90 86]] [:r 479 [5 16 21 15 19 34 25 26 44 30 51 57 60 63 66 61 62 69 64 73 74 83 85 88 90 86]] [:r 479 [5 16 21 15 19 34 25 26 44 30 51 57 60 63 66 61 62 69 64 73 74 83 85 88 90 86]]]}
  T45 = {:index 31772, :time 66111594864, :type :ok, :process 7, :f :txn, :value [[:append 479 95] [:r 479 [5 16 21 15 19 34 25 26 44 30 51 57 60 63 66 61 62 69 64 73 74 83 85 88 90 86 95]] [:r 472 [1 6 8 13 19 24 25 26]] [:append 479 96]]}
  T46 = {:index 31778, :time 66119449432, :type :ok, :process 0, :f :txn, :value [[:r 475 nil]]}
  T47 = {:index 31804, :time 66172267315, :type :ok, :process 9, :f :txn, :value [[:r 472 nil]]}

Then:
  - T1 < T2, because T1 completed at index 31004, 0.002 seconds before the invocation of T2, at index 31007.
  - T2 < T3, because T2 did not observe T3's append of 7 to 473.
  - T3 < T4, because T4 appended 4 after T3 appended 10 to 473.
  - T4 < T5, because T5 observed T4's append of 4 to key 473.
  - T5 < T6, because T5 did not observe T6's append of 12 to 471.
  - T6 < T7, because T6 completed at index 31038, 0.000 seconds before the invocation of T7, at index 31039.
  - T7 < T8, because T8 observed T7's append of 81 to key 466.
  - T8 < T9, because T8 did not observe T9's append of 80 to 466.
  - T9 < T10, because T9 did not observe T10's append of 6 to 472.
  - T10 < T11, because T10 completed at index 31198, 0.000 seconds before the invocation of T11, at index 31199.
  - T11 < T12, because T12 appended 89 after T11 appended 78 to 473.
  - T12 < T13, because T12 completed at index 31244, 0.000 seconds before the invocation of T13, at index 31247.
  - T13 < T14, because T13 completed at index 31252, 0.000 seconds before the invocation of T14, at index 31253.
  - T14 < T15, because T14 completed at index 31266, 0.005 seconds before the invocation of T15, at index 31271.
  - T15 < T16, because T15 completed at index 31296, 0.037 seconds before the invocation of T16, at index 31305.
  - T16 < T17, because T16 did not observe T17's append of 21 to 476.
  - T17 < T18, because T18 appended 24 after T17 appended 21 to 476.
  - T18 < T19, because T18 completed at index 31330, 0.027 seconds before the invocation of T19, at index 31337.
  - T19 < T20, because T19 completed at index 31340, 0.046 seconds before the invocation of T20, at index 31359.
  - T20 < T21, because T20 completed at index 31366, 0.002 seconds before the invocation of T21, at index 31369.
  - T21 < T22, because T21 completed at index 31370, 0.039 seconds before the invocation of T22, at index 31391.
  - T22 < T23, because T22 completed at index 31422, 0.000 seconds before the invocation of T23, at index 31423.
  - T23 < T24, because T24 appended 3 after T23 appended 13 to 478.
  - T24 < T25, because T25 appended 21 after T24 appended 4 to 478.
  - T25 < T26, because T26 appended 17 after T25 appended 21 to 478.
  - T26 < T27, because T26 completed at index 31470, 0.019 seconds before the invocation of T27, at index 31475.
  - T27 < T28, because T27 completed at index 31484, 0.043 seconds before the invocation of T28, at index 31491.
  - T28 < T29, because T28 completed at index 31494, 0.025 seconds before the invocation of T29, at index 31503.
  - T29 < T30, because T29 completed at index 31504, 0.000 seconds before the invocation of T30, at index 31505.
  - T30 < T31, because T31 appended 21 after T30 appended 16 to 479.
  - T31 < T32, because T31 completed at index 31524, 0.009 seconds before the invocation of T32, at index 31531.
  - T32 < T33, because T32 completed at index 31536, 0.000 seconds before the invocation of T33, at index 31537.
  - T33 < T34, because T33 completed at index 31538, 0.037 seconds before the invocation of T34, at index 31555.
  - T34 < T35, because T34 completed at index 31556, 0.022 seconds before the invocation of T35, at index 31569.
  - T35 < T36, because T36 appended 84 after T35 appended 76 to 475.
  - T36 < T37, because T37 appended 60 after T36 appended 57 to 479.
  - T37 < T38, because T37 completed at index 31630, 0.000 seconds before the invocation of T38, at index 31631.
  - T38 < T39, because T39 observed T38's append of 61 to key 479.
  - T39 < T40, because T39 completed at index 31662, 0.001 seconds before the invocation of T40, at index 31669.
  - T40 < T41, because T40 completed at index 31706, 0.002 seconds before the invocation of T41, at index 31709.
  - T41 < T42, because T41 completed at index 31716, 0.000 seconds before the invocation of T42, at index 31717.
  - T42 < T43, because T42 did not observe T43's append of 91 to 475.
  - T43 < T44, because T43 completed at index 31736, 0.000 seconds before the invocation of T44, at index 31737.
  - T44 < T45, because T44 did not observe T45's append of 95 to 479.
  - T45 < T46, because T45 completed at index 31772, 0.002 seconds before the invocation of T46, at index 31775.
  - T46 < T47, because T46 completed at index 31778, 0.007 seconds before the invocation of T47, at index 31785.
  - However, T47 < T1, because T47 observed the initial (nil) state of 472, which T1 created by appending 1: a contradiction!