@fraczak/k 5.1.2 → 6.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (99) hide show
  1. package/Code-derivation-tests/blowup.mjs +3 -3
  2. package/Code-derivation-tests/bnat.mjs +2 -2
  3. package/Code-derivation-tests/codec-witness-pattern.mjs +50 -0
  4. package/Code-derivation-tests/convergence-strategy.mjs +24 -0
  5. package/Code-derivation-tests/dot.mjs +12 -9
  6. package/Code-derivation-tests/filter-syntax.mjs +21 -0
  7. package/Code-derivation-tests/loop.mjs +8 -2
  8. package/Code-derivation-tests/nat.mjs +1 -1
  9. package/Code-derivation-tests/not-not.mjs +3 -3
  10. package/Code-derivation-tests/pattern-envelope.mjs +68 -0
  11. package/Code-derivation-tests/rlz.mjs +2 -2
  12. package/{BIG_PICTURE.md → DOCS/BIG_PICTURE.md} +103 -50
  13. package/DOCS/REPL.md +191 -0
  14. package/DOCS/book/01-introduction.md +51 -0
  15. package/DOCS/book/02-syntax-and-values.md +111 -0
  16. package/DOCS/book/03-types-as-finite-automata.md +156 -0
  17. package/DOCS/book/04-partial-functions-and-composition.md +146 -0
  18. package/DOCS/book/05-typing-filters-and-normalization.md +111 -0
  19. package/DOCS/book.md +54 -0
  20. package/README.md +204 -508
  21. package/TypeGraph.mjs +43 -0
  22. package/TypePatternGraph.mjs +251 -0
  23. package/Value.mjs +192 -0
  24. package/augmentation.mjs +198 -0
  25. package/codecs/BINARY_FORMAT.md +53 -0
  26. package/codecs/POLYMORPHIC_BINARY_FORMAT.md +303 -0
  27. package/codecs/README.md +215 -0
  28. package/codecs/example-pipeline.mjs +149 -0
  29. package/codecs/ieee.mjs +140 -0
  30. package/codecs/int.mjs +104 -0
  31. package/codecs/json-codec.mjs +215 -0
  32. package/codecs/json.mjs +40 -0
  33. package/codecs/k-parse.mjs +90 -0
  34. package/codecs/k-pattern.mjs +75 -0
  35. package/codecs/k-print.mjs +46 -0
  36. package/codecs/runtime/codec.mjs +768 -0
  37. package/codecs/runtime/ieee-pattern.mjs +30 -0
  38. package/codecs/runtime/pattern-json.mjs +96 -0
  39. package/codecs/runtime/prefix-codec.mjs +425 -0
  40. package/codecs/runtime/show-value.mjs +68 -0
  41. package/codecs/runtime/typeFromValue.mjs +34 -0
  42. package/codecs/runtime/unicode-string.mjs +220 -0
  43. package/codecs/show.mjs +41 -0
  44. package/codecs/string-codec.mjs +80 -0
  45. package/codecs/unit.mjs +51 -0
  46. package/codecs/utf16.mjs +66 -0
  47. package/codecs/utf8.mjs +37 -0
  48. package/codes.mjs +146 -44
  49. package/compiler.mjs +111 -0
  50. package/convergence.mjs +197 -0
  51. package/core.k +197 -0
  52. package/export.mjs +22 -32
  53. package/hash.mjs +29 -31
  54. package/index.mjs +41 -15
  55. package/k-vscode/.vscode/launch.json +14 -0
  56. package/k-vscode/README.md +65 -0
  57. package/k-vscode/language-configuration.json +42 -0
  58. package/k-vscode/package.json +57 -0
  59. package/k-vscode/snippets/k.json +92 -0
  60. package/k-vscode/syntaxes/k.tmLanguage.json +243 -0
  61. package/k.mjs +56 -54
  62. package/object.mjs +517 -0
  63. package/objects/README.md +38 -0
  64. package/objects/compile-lib.mjs +42 -0
  65. package/objects/compile.mjs +42 -0
  66. package/objects/decompile.mjs +32 -0
  67. package/package.json +18 -8
  68. package/parser.jison +27 -46
  69. package/parser.mjs +68 -100
  70. package/pretty.mjs +21 -40
  71. package/repl2.mjs +652 -0
  72. package/run.mjs +264 -231
  73. package/symbol-table.mjs +3 -17
  74. package/test-fingerprint.mjs +7 -7
  75. package/test-hash-fuzz.mjs +107 -0
  76. package/test-hash-normalization.mjs +134 -0
  77. package/test-k-object.mjs +74 -0
  78. package/test-repl2.mjs +95 -0
  79. package/test.mjs +45 -70
  80. package/tests.sh +10 -1
  81. package/typing.mjs +129 -676
  82. package/unification.mjs +157 -0
  83. package/valueIO.mjs +54 -0
  84. package/valueParser.jison +143 -0
  85. package/valueParser.mjs +713 -0
  86. package/Code-derivation-tests/built-in.mjs +0 -19
  87. package/Code-derivation-tests/vector.mjs +0 -19
  88. package/Filters/bug.k +0 -3
  89. package/Filters/composing.k +0 -15
  90. package/Filters/filter.k +0 -9
  91. package/TODO.md +0 -53
  92. package/TYPING.md +0 -365
  93. package/k-repl.cast +0 -1913
  94. package/k.cast +0 -618
  95. package/my-objects.json +0 -6
  96. package/patterns.mjs +0 -543
  97. package/repl.mjs +0 -213
  98. package/test-filters.mjs +0 -45
  99. package/typing-test.mjs +0 -40
package/k-repl.cast DELETED
@@ -1,1913 +0,0 @@
1
- {"version":2,"width":80,"height":24,"timestamp":1726625821,"idle_time_limit":1.2,"env":{"SHELL":"/bin/bash","TERM":"xterm-256color"}}
2
- [0.0194486,"o","\u001b[?2004h\u001b]133;D;0\u001b\\\u001b]133;A\u001b\\\u001b[32mwojtek@mac\u001b[0m:\u001b[32m~\u001b[0m$\u001b[0m \u001b]133;B\u001b\\"]
3
- [0.9537682000000001,"o","s"]
4
- [0.982345,"o","u"]
5
- [1.022629,"o","d"]
6
- [1.0625608,"o","o"]
7
- [1.101126,"o"," "]
8
- [1.4788712000000002,"o","n"]
9
- [1.5875676,"o","p"]
10
- [1.649695,"o","m"]
11
- [1.699083,"o"," "]
12
- [1.8082380000000002,"o","i"]
13
- [1.8529022000000002,"o"," "]
14
- [2.095037,"o","@"]
15
- [2.1604,"o","f"]
16
- [2.196933,"o","r"]
17
- [2.2289674,"o","a"]
18
- [2.25614,"o","c"]
19
- [2.2832572,"o","z"]
20
- [2.3330616,"o","a"]
21
- [2.3603216000000002,"o","k"]
22
- [2.4785332,"o","/"]
23
- [2.7120522000000005,"o","k"]
24
- [2.756975,"o"," "]
25
- [3.0337882,"o","-"]
26
- [3.1597906,"o","g"]
27
- [3.272041,"o","\r\n"]
28
- [3.3107808,"o","[sudo] password for wojtek: "]
29
- [4.144112,"o","\r\n"]
30
- [4.4995652,"o","\r\nchanged 1 package in 1s"]
31
- [4.4997940000000005,"o","\r\n"]
32
- [4.5073458,"o","\u001b]7;file://mac/home/wojtek\u001b\\\u001b[?2004h\u001b]133;D;0\u001b\\\u001b]133;A\u001b\\\u001b[32mwojtek@mac\u001b[0m:\u001b[32m~\u001b[0m$\u001b[0m \u001b]133;B\u001b\\"]
33
- [5.123277600000001,"o","k"]
34
- [5.2273346,"o","-"]
35
- [5.2719892,"o","r"]
36
- [5.326494,"o","e"]
37
- [5.3615998000000005,"o","p"]
38
- [5.404944400000001,"o","l"]
39
- [5.5710592000000005,"o","\r\n\u001b[?2004l\r"]
40
- [5.5710764,"o","\u001b]133;C\u001b\\\r\u001b]777;preexec\u001b\\"]
41
- [5.6119268,"o","Very! experimental repl shell for 'k-language'...\r\n"]
42
- [5.611951400000001,"o"," --c print aliased codes\r\n --C code print 'code' definition\r\n --r print relations\r\n --R rel print 'rel' definition with type patterns\r\n --p (--pp) pretty-print last value\r\n --s (--g) reg store (get) the current value in (from) register 'reg'\r\n --regs print register names\r\n --l file.k load 'file.k'\r\n"]
43
- [5.6123718,"o","\u001b[1G"]
44
- [5.612387,"o","\u001b[0J"]
45
- [5.6124004,"o","> \u001b[3G"]
46
- [7.0840434000000005,"o","D"]
47
- [7.1313138,"o","E"]
48
- [7.2717766,"o","M"]
49
- [7.328242,"o","O"]
50
- [7.5358042,"o","\u001b[1G"]
51
- [7.535945,"o","\u001b[0J> DEM\u001b[6G"]
52
- [7.572777800000001,"o","\u001b[1G\u001b[0J"]
53
- [7.5729328,"o","> DE\u001b[5G"]
54
- [7.6062806,"o","\u001b[1G\u001b[0J> D\u001b[4G"]
55
- [7.673641600000001,"o","\u001b[1G\u001b[0J"]
56
- [7.6737340000000005,"o","> \u001b[3G"]
57
- [7.8049356,"o","-"]
58
- [7.8433824,"o","-"]
59
- [7.9638638,"o"," "]
60
- [8.086576599999999,"o","D"]
61
- [8.123181800000001,"o","E"]
62
- [8.2494588,"o","M"]
63
- [8.300921,"o","O"]
64
- [8.502488,"o",":"]
65
- [8.5793432,"o"," "]
66
- [8.8847672,"o","c"]
67
- [8.934530200000001,"o","o"]
68
- [8.9759884,"o","m"]
69
- [9.0112828,"o","m"]
70
- [9.0447848,"o","e"]
71
- [9.070350600000001,"o","n"]
72
- [9.1132116,"o","t"]
73
- [9.1887694,"o","s"]
74
- [9.2304582,"o"," "]
75
- [9.307225800000001,"o","s"]
76
- [9.346949200000001,"o","t"]
77
- [9.3921434,"o","a"]
78
- [9.4198656,"o","r"]
79
- [9.4546518,"o","t"]
80
- [9.519923799999999,"o"," "]
81
- [9.6082076,"o","w"]
82
- [9.694341000000001,"o","i"]
83
- [9.738975600000002,"o","t"]
84
- [9.783894400000001,"o","h"]
85
- [9.8256498,"o"," "]
86
- [9.9746016,"o","'"]
87
- [10.0768812,"o","-"]
88
- [10.1583942,"o","-"]
89
- [10.371396,"o","'"]
90
- [10.432177600000001,"o"," "]
91
- [10.6828438,"o","\u001b[1G\u001b[0J"]
92
- [10.682916800000001,"o","> -- DEMO: comments start with '--'\u001b[36G"]
93
- [10.775987200000001,"o",","]
94
- [10.8175916,"o"," "]
95
- [11.0095028,"o","l"]
96
- [11.0511952,"o","i"]
97
- [11.0797288,"o","k"]
98
- [11.1068856,"o","e"]
99
- [11.140724200000001,"o"," "]
100
- [11.179135800000001,"o","t"]
101
- [11.214381600000001,"o","h"]
102
- [11.292680400000002,"o","i"]
103
- [11.3330536,"o","s"]
104
- [11.361581600000001,"o"," "]
105
- [11.4383388,"o","l"]
106
- [11.484918200000001,"o","i"]
107
- [11.6155372,"o","n"]
108
- [11.6511028,"o","e"]
109
- [11.7884306,"o"," "]
110
- [11.961087000000001,"o","\\"]
111
- [12.6975408,"o","\r\r\n\u001b[1G"]
112
- [12.6979962,"o","\u001b[0J \u001b[3G"]
113
- [13.127546200000001,"o","-"]
114
- [13.174463000000001,"o","-"]
115
- [13.294411600000002,"o"," "]
116
- [13.471694800000002,"o","T"]
117
- [13.507074000000001,"o","y"]
118
- [13.600807800000002,"o","p"]
119
- [13.638278800000002,"o","e"]
120
- [13.695788400000001,"o","s"]
121
- [13.7246402,"o"," "]
122
- [13.8415328,"o","("]
123
- [14.2462652,"o","c"]
124
- [14.3118166,"o","a"]
125
- [14.337439400000001,"o","l"]
126
- [14.3741938,"o","l"]
127
- [14.398242600000001,"o","e"]
128
- [14.4557606,"o","d"]
129
- [14.479617400000002,"o"," "]
130
- [14.5853998,"o","'"]
131
- [14.6415224,"o","c"]
132
- [14.699166600000002,"o","o"]
133
- [14.7342534,"o","d"]
134
- [14.783408000000001,"o","e"]
135
- [14.8446104,"o","s"]
136
- [14.9183438,"o","'"]
137
- [14.978828,"o"," "]
138
- [15.102042,"o","h"]
139
- [15.132775200000001,"o","e"]
140
- [15.167895600000001,"o","r"]
141
- [15.196614,"o","e"]
142
- [15.423574400000001,"o",")"]
143
- [15.6509988,"o",":"]
144
- [15.7730166,"o"," "]
145
- [15.969305,"o","'"]
146
- [16.1100458,"o"," "]
147
- [16.374207600000002,"o","$"]
148
- [16.4718124,"o"," "]
149
- [16.514834200000003,"o","c"]
150
- [16.551817800000002,"o","o"]
151
- [16.6018176,"o","d"]
152
- [16.6481798,"o","e"]
153
- [16.721369000000003,"o","-"]
154
- [16.8062932,"o","n"]
155
- [16.8381674,"o","a"]
156
- [16.8707846,"o","m"]
157
- [16.907043400000003,"o","e"]
158
- [16.9501768,"o"," "]
159
- [17.0204746,"o","="]
160
- [17.0733498,"o"," "]
161
- [17.1149676,"o","c"]
162
- [17.1597024,"o","o"]
163
- [17.2017218,"o","d"]
164
- [17.251052,"o","e"]
165
- [17.3117574,"o","-"]
166
- [17.3965982,"o","e"]
167
- [17.465394200000002,"o","x"]
168
- [17.538967600000003,"o","p"]
169
- [17.5743136,"o","r"]
170
- [17.6189232,"o","e"]
171
- [17.6765752,"o","s"]
172
- [17.719638200000002,"o","s"]
173
- [17.7599752,"o","i"]
174
- [17.791747,"o","o"]
175
- [17.848860600000002,"o","n"]
176
- [18.012752000000003,"o"," "]
177
- [18.1468192,"o",";"]
178
- [18.1932278,"o"," "]
179
- [18.2749662,"o","'"]
180
- [18.3306412,"o"," "]
181
- [18.431666000000003,"o","\\"]
182
- [18.7196274,"o","\r\r\n"]
183
- [18.7196658,"o","\u001b[1G\u001b[0J \u001b[3G"]
184
- [19.1909728,"o","$"]
185
- [19.2670108,"o"," "]
186
- [19.3580956,"o","u"]
187
- [19.3946408,"o","n"]
188
- [19.4381604,"o","i"]
189
- [19.486676000000003,"o","t"]
190
- [19.526134,"o"," "]
191
- [19.7794248,"o","="]
192
- [19.8215836,"o"," "]
193
- [19.9500642,"o","{"]
194
- [20.040858800000002,"o"," "]
195
- [20.161379800000002,"o","}"]
196
- [20.2416018,"o"," "]
197
- [20.293986200000003,"o",";"]
198
- [20.3758188,"o"," "]
199
- [20.5851292,"o","-"]
200
- [20.6203518,"o","-"]
201
- [20.764449600000003,"o"," "]
202
- [20.877828,"o","e"]
203
- [20.953279800000004,"o","m"]
204
- [21.0009266,"o","p"]
205
- [21.0764248,"o","t"]
206
- [21.116545000000002,"o","y"]
207
- [21.151859200000004,"o"," "]
208
- [21.233332200000003,"o","p"]
209
- [21.274763800000002,"o","r"]
210
- [21.2987158,"o","o"]
211
- [21.356238,"o","d"]
212
- [21.4060048,"o","u"]
213
- [21.4443978,"o","c"]
214
- [21.474930200000003,"o","t"]
215
- [21.857254,"o",","]
216
- [21.898710800000003,"o"," "]
217
- [21.990064200000003,"o","r"]
218
- [22.024988200000003,"o","a"]
219
- [22.119828400000003,"o","r"]
220
- [22.1599282,"o","e"]
221
- [22.217555200000003,"o","l"]
222
- [22.329332,"o","y"]
223
- [22.344659,"o"," "]
224
- [22.4076182,"o","u"]
225
- [22.4540016,"o","s"]
226
- [22.5049976,"o","e"]
227
- [22.550015200000004,"o","d"]
228
- [22.583576400000002,"o"," "]
229
- [22.639592800000003,"o","a"]
230
- [22.687639,"o","s"]
231
- [22.724485400000002,"o"," "]
232
- [22.9466186,"o","t"]
233
- [22.983695400000002,"o","y"]
234
- [23.1324532,"o","p"]
235
- [23.177179600000002,"o","i"]
236
- [23.2237362,"o","n"]
237
- [23.262004,"o","g"]
238
- [23.297272200000002,"o"," "]
239
- [23.455611,"o","'"]
240
- [23.591844800000004,"o","{"]
241
- [23.628322600000004,"o","}"]
242
- [23.809329,"o","'"]
243
- [23.935509800000002,"o"," "]
244
- [24.057607,"o","i"]
245
- [24.087492,"o","s"]
246
- [24.119715,"o"," "]
247
- [24.314674800000002,"o","s"]
248
- [24.3371918,"o","h"]
249
- [24.4076744,"o","o"]
250
- [24.469848400000004,"o","r"]
251
- [24.5050308,"o","t"]
252
- [24.533919400000002,"o","e"]
253
- [24.548729800000004,"o","r"]
254
- [24.694002400000002,"o"," "]
255
- [24.8058708,"o","\\"]
256
- [26.017975800000002,"o","\r\r\n"]
257
- [26.018017,"o","\u001b[1G\u001b[0J "]
258
- [26.018634,"o","\u001b[3G"]
259
- [26.582357200000004,"o","$"]
260
- [26.6890094,"o"," "]
261
- [27.3418818,"o","b"]
262
- [27.428285799999998,"o","i"]
263
- [27.4778484,"o","t"]
264
- [27.5098174,"o","s"]
265
- [27.532631800000004,"o"," "]
266
- [27.7322482,"o","="]
267
- [27.7771504,"o"," "]
268
- [27.974852,"o","<"]
269
- [28.146635400000005,"o"," "]
270
- [28.653942,"o","u"]
271
- [28.690663400000002,"o","n"]
272
- [28.7258202,"o","i"]
273
- [28.771851800000004,"o","t"]
274
- [28.7945678,"o"," "]
275
- [28.9066196,"o","_"]
276
- [28.981794400000002,"o",","]
277
- [29.0522756,"o"," "]
278
- [29.5005836,"o","b"]
279
- [29.5945174,"o","i"]
280
- [29.660182200000005,"o","t"]
281
- [29.697090400000004,"o","s"]
282
- [29.7850286,"o"," "]
283
- [30.215523200000003,"o","0"]
284
- [30.4014048,"o",","]
285
- [30.450558200000003,"o"," "]
286
- [30.540162199999997,"o","b"]
287
- [30.6155982,"o","i"]
288
- [30.6696192,"o","t"]
289
- [30.7098102,"o","s"]
290
- [30.743687,"o"," "]
291
- [30.820402200000004,"o","1"]
292
- [30.860267800000003,"o"," "]
293
- [31.012310000000003,"o",">"]
294
- [31.065124600000004,"o"," "]
295
- [31.1194524,"o",";"]
296
- [31.591657600000005,"o","\u001b[1D"]
297
- [31.691555,"o","\u001b[1D"]
298
- [31.697515199999998,"o","\u001b[1D"]
299
- [31.7036052,"o","\u001b[1D"]
300
- [31.709839000000002,"o","\u001b[1D"]
301
- [31.7158062,"o","\u001b[1D"]
302
- [31.721665,"o","\u001b[1D"]
303
- [31.7274976,"o","\u001b[1D"]
304
- [31.7335938,"o","\u001b[1D"]
305
- [31.7397208,"o","\u001b[1D"]
306
- [31.746156600000003,"o","\u001b[1D"]
307
- [31.751972600000002,"o","\u001b[1D"]
308
- [31.757621200000003,"o","\u001b[1D"]
309
- [31.763593400000005,"o","\u001b[1D"]
310
- [31.7698852,"o","\u001b[1D"]
311
- [31.775852,"o","\u001b[1D"]
312
- [31.7817416,"o","\u001b[1D"]
313
- [31.787888600000002,"o","\u001b[1D"]
314
- [31.793676599999998,"o","\u001b[1D"]
315
- [31.799888,"o","\u001b[1D"]
316
- [31.852088,"o","\u001b[1D"]
317
- [31.888915400000002,"o","\u001b[1D"]
318
- [31.954765,"o","\u001b[1G\u001b[0J $ bits = < uni _, bits 0, bits 1 > ;\u001b[17G"]
319
- [31.986531600000003,"o","\u001b[1G\u001b[0J"]
320
- [31.9867444,"o"," $ bits = < un _, bits 0, bits 1 > ;\u001b[16G"]
321
- [32.0230348,"o","\u001b[1G\u001b[0J"]
322
- [32.0230554,"o"," $ bits = < u _, bits 0, bits 1 > ;\u001b[15G"]
323
- [32.065109400000004,"o","\u001b[1G\u001b[0J"]
324
- [32.06515340000001,"o"," $ bits = < _, bits 0, bits 1 > ;"]
325
- [32.0652344,"o","\u001b[14G"]
326
- [32.2822372,"o","\u001b[1G\u001b[0J"]
327
- [32.282283,"o"," $ bits = < ( _, bits 0, bits 1 > ;\u001b[15G"]
328
- [32.3144276,"o","\u001b[1G\u001b[0J"]
329
- [32.314597400000004,"o"," $ bits = < () _, bits 0, bits 1 > ;\u001b[16G"]
330
- [32.4903778,"o","\u001b[1G"]
331
- [32.490428,"o","\u001b[0J $ bits = < ( _, bits 0, bits 1 > ;\u001b[15G"]
332
- [32.5204632,"o","\u001b[1G\u001b[0J $ bits = < _, bits 0, bits 1 > ;\u001b[14G"]
333
- [32.6646434,"o","\u001b[1G"]
334
- [32.6648712,"o","\u001b[0J $ bits = < { _, bits 0, bits 1 > ;\u001b[15G"]
335
- [32.6934332,"o","\u001b[1G\u001b[0J"]
336
- [32.6934716,"o"," $ bits = < {} _, bits 0, bits 1 > ;\u001b[16G"]
337
- [32.7819198,"o","\u001b[1C"]
338
- [32.8821572,"o","\u001b[1C"]
339
- [32.8871766,"o","\u001b[1C"]
340
- [32.8933504,"o","\u001b[1C"]
341
- [32.899526,"o","\u001b[1C"]
342
- [32.9053388,"o","\u001b[1C"]
343
- [32.9113224,"o","\u001b[1C"]
344
- [32.9172146,"o","\u001b[1C"]
345
- [32.9235414,"o","\u001b[1C"]
346
- [32.9295428,"o","\u001b[1C"]
347
- [32.935214800000004,"o","\u001b[1C"]
348
- [32.9415812,"o","\u001b[1C"]
349
- [32.947632,"o","\u001b[1C"]
350
- [32.953347400000006,"o","\u001b[1C"]
351
- [32.9595926,"o","\u001b[1C"]
352
- [32.9654758,"o","\u001b[1C"]
353
- [32.9716234,"o","\u001b[1C"]
354
- [32.9774198,"o","\u001b[1C"]
355
- [32.9832334,"o","\u001b[1C"]
356
- [32.9893724,"o","\u001b[1C"]
357
- [33.0278228,"o","\u001b[1C"]
358
- [33.0601208,"o","\u001b[1C"]
359
- [33.2723914,"o"," "]
360
- [33.4394618,"o","-"]
361
- [33.4762818,"o","-"]
362
- [33.532394599999996,"o"," "]
363
- [33.5784996,"o","u"]
364
- [33.6120004,"o","n"]
365
- [33.666412,"o","i"]
366
- [33.7003618,"o","o"]
367
- [33.722459199999996,"o","n"]
368
- [33.8043306,"o",","]
369
- [33.8534146,"o"," "]
370
- [34.0534004,"o","3"]
371
- [34.0920428,"o"," "]
372
- [34.2762406,"o","v"]
373
- [34.3095762,"o","a"]
374
- [34.3418772,"o","r"]
375
- [34.4187408,"o","i"]
376
- [34.460245,"o","a"]
377
- [34.4838874,"o","n"]
378
- [34.5336228,"o","t"]
379
- [34.581628,"o","s"]
380
- [34.7306678,"o",","]
381
- [34.7656372,"o"," "]
382
- [34.82341,"o","t"]
383
- [34.8552554,"o","a"]
384
- [34.893765200000004,"o","g"]
385
- [34.9272962,"o","g"]
386
- [34.9511898,"o","e"]
387
- [35.0040682,"o","d"]
388
- [35.213574200000004,"o",":"]
389
- [35.3017974,"o"," "]
390
- [35.4032278,"o","_"]
391
- [35.4789844,"o",","]
392
- [35.786548599999996,"o"," "]
393
- [35.828048,"o","1"]
394
- [36.080525,"o","\u001b[1G\u001b[0J $ bits = < {} _, bits 0, bits 1 > ; -- union, 3 variants, tagged: _, \u001b[72G"]
395
- [36.172015,"o","0"]
396
- [36.2296088,"o",","]
397
- [36.268178,"o"," "]
398
- [36.437762400000004,"o","1"]
399
- [36.651877400000004,"o"," "]
400
- [36.8137302,"o","\\"]
401
- [38.3560998,"o","\r\r\n\u001b[1G\u001b[0J \u001b[3G"]
402
- [38.6358778,"o","-"]
403
- [38.6901972,"o","-"]
404
- [38.839187,"o"," "]
405
- [39.0695204,"o","R"]
406
- [39.1242584,"o","e"]
407
- [39.2194688,"o","l"]
408
- [39.2531204,"o","a"]
409
- [39.296070400000005,"o","t"]
410
- [39.378207800000006,"o","i"]
411
- [39.41499,"o","o"]
412
- [39.45791560000001,"o","n"]
413
- [39.49217,"o","s"]
414
- [39.5116658,"o"," "]
415
- [39.5954442,"o","("]
416
- [39.7416332,"o","f"]
417
- [39.773452600000006,"o","u"]
418
- [39.815079600000004,"o","n"]
419
- [39.8390928,"o","c"]
420
- [39.8928018,"o","t"]
421
- [39.96667,"o","i"]
422
- [40.004169000000005,"o","o"]
423
- [40.0511932,"o","n"]
424
- [40.159341000000005,"o","s"]
425
- [40.5079146,"o",")"]
426
- [40.800786200000005,"o",":"]
427
- [40.864807400000004,"o"," "]
428
- [41.0503926,"o","'"]
429
- [41.1095782,"o"," "]
430
- [41.3064794,"o","n"]
431
- [41.33021600000001,"o","a"]
432
- [41.3536906,"o","m"]
433
- [41.3894188,"o","e"]
434
- [41.4152204,"o"," "]
435
- [41.493412000000006,"o","="]
436
- [41.5479654,"o"," "]
437
- [41.6022342,"o","e"]
438
- [41.664780400000005,"o","x"]
439
- [41.715973600000005,"o","p"]
440
- [41.752674600000006,"o","r"]
441
- [41.7992128,"o","e"]
442
- [41.8548576,"o","s"]
443
- [41.901435400000004,"o","s"]
444
- [41.9318064,"o","i"]
445
- [41.9620772,"o","o"]
446
- [41.989530800000004,"o","n"]
447
- [42.024491000000005,"o"," "]
448
- [42.1143714,"o",";"]
449
- [42.227969200000004,"o"," "]
450
- [42.573632800000006,"o","'"]
451
- [43.245523600000006,"o"," "]
452
- [43.36061000000001,"o","\\"]
453
- [43.497993400000006,"o","\r\r\n\u001b[1G\u001b[0J \u001b[3G"]
454
- [44.128820000000005,"o","e"]
455
- [44.1767582,"o","m"]
456
- [44.2665176,"o","p"]
457
- [44.3572032,"o","t"]
458
- [44.397447400000004,"o","y"]
459
- [44.5543868,"o"," "]
460
- [44.6996668,"o","="]
461
- [44.7544904,"o"," "]
462
- [45.189679600000005,"o","{"]
463
- [45.536608,"o"," "]
464
- [45.8122376,"o","{"]
465
- [45.845567,"o","}"]
466
- [45.915940000000006,"o"," "]
467
- [46.0502396,"o","_"]
468
- [46.1446692,"o"," "]
469
- [46.3110984,"o","}"]
470
- [46.6072792,"o",";"]
471
- [46.6678202,"o"," "]
472
- [46.931719,"o"," "]
473
- [47.0950806,"o","-"]
474
- [47.22143320000001,"o","-"]
475
- [47.30461940000001,"o"," "]
476
- [47.39421,"o","a"]
477
- [47.4454288,"o","l"]
478
- [47.5078106,"o","t"]
479
- [47.549476600000006,"o","e"]
480
- [47.5674866,"o","r"]
481
- [47.6889934,"o","n"]
482
- [47.719059,"o","a"]
483
- [47.750983600000005,"o","t"]
484
- [47.83412920000001,"o","i"]
485
- [47.9125926,"o","v"]
486
- [47.944734600000004,"o","e"]
487
- [47.9702884,"o"," "]
488
- [48.190913200000004,"o","J"]
489
- [48.2294004,"o","S"]
490
- [48.261292600000004,"o","O"]
491
- [48.3156796,"o","N"]
492
- [48.41496480000001,"o","-"]
493
- [48.4743876,"o","l"]
494
- [48.544368,"o","i"]
495
- [48.5798878,"o","k"]
496
- [48.6071772,"o","e"]
497
- [48.6392578,"o"," "]
498
- [48.68874400000001,"o","s"]
499
- [48.735262000000006,"o","y"]
500
- [48.7752802,"o","n"]
501
- [48.826166400000005,"o","t"]
502
- [48.8612626,"o","a"]
503
- [48.9235582,"o","x"]
504
- [48.945240600000005,"o"," "]
505
- [49.747698400000004,"o","i"]
506
- [49.77658460000001,"o","s"]
507
- [49.8038444,"o"," "]
508
- [50.1797296,"o","{"]
509
- [50.291363000000004,"o"," "]
510
- [50.3666776,"o","_"]
511
- [50.4454486,"o"," "]
512
- [50.5669302,"o",":"]
513
- [50.6212606,"o"," "]
514
- [50.693567,"o","{"]
515
- [50.7301456,"o","}"]
516
- [50.842027200000004,"o"," "]
517
- [51.0197694,"o","}"]
518
- [51.348041200000004,"o"," "]
519
- [51.440444400000004,"o","\\"]
520
- [51.9749972,"o","\r\r\n\u001b[1G\u001b[0J \u001b[3G"]
521
- [52.3476824,"o","_"]
522
- [52.40867080000001,"o","0"]
523
- [52.4561212,"o","0"]
524
- [52.4999788,"o","1"]
525
- [52.648643400000005,"o"," "]
526
- [52.727009,"o"," "]
527
- [52.932074400000005,"o","="]
528
- [52.98626540000001,"o"," "]
529
- [53.096959000000005,"o","\u001b[1G\u001b[0J _001 =\u001b[10G"]
530
- [53.13356280000001,"o","\u001b[1G"]
531
- [53.1336192,"o","\u001b[0J _001 \u001b[9G"]
532
- [53.168408,"o","\u001b[1G\u001b[0J _001 \u001b[8G"]
533
- [53.326660000000004,"o","="]
534
- [53.3679808,"o"," "]
535
- [53.542739600000004,"o","<"]
536
- [54.4962998,"o","0"]
537
- [54.656345200000004,"o",":"]
538
- [54.8007716,"o","{"]
539
- [55.10457340000001,"o","0"]
540
- [55.2559502,"o",":"]
541
- [55.3443506,"o","{"]
542
- [55.683549400000004,"o","1"]
543
- [56.0196658,"o","\u001b[1D"]
544
- [56.119948,"o","\u001b[1D"]
545
- [56.12571020000001,"o","\u001b[1D"]
546
- [56.131984,"o","\u001b[1D"]
547
- [56.1697828,"o","\u001b[1D"]
548
- [56.2068188,"o","\u001b[1D"]
549
- [56.2452276,"o","\u001b[1D"]
550
- [56.301249600000006,"o","\u001b[1G\u001b[0J _001 = 0:{0:{1\u001b[10G"]
551
- [56.48996160000001,"o","\u001b[1G\u001b[0J _001 = {0:{0:{1\u001b[11G"]
552
- [56.580893800000005,"o","\u001b[1C"]
553
- [56.681083,"o","\u001b[1C"]
554
- [56.6868882,"o","\u001b[1C"]
555
- [56.69318500000001,"o","\u001b[1C"]
556
- [56.69895360000001,"o","\u001b[1C"]
557
- [56.7052234,"o","\u001b[1C"]
558
- [56.7110564,"o","\u001b[1C"]
559
- [56.9266568,"o",":"]
560
- [57.01639320000001,"o","e"]
561
- [57.05980540000001,"o","m"]
562
- [57.1441828,"o","p"]
563
- [57.2211458,"o","t"]
564
- [57.25789,"o","y"]
565
- [57.68354500000001,"o","}"]
566
- [57.786168599999996,"o","}"]
567
- [58.0399894,"o","}"]
568
- [58.2470784,"o",";"]
569
- [58.2962318,"o"," "]
570
- [58.459600800000004,"o","-"]
571
- [58.49994420000001,"o","-"]
572
- [58.582701799999995,"o"," "]
573
- [58.659532000000006,"o","i"]
574
- [58.68833720000001,"o","n"]
575
- [58.72663360000001,"o"," "]
576
- [58.8354084,"o","J"]
577
- [58.889863000000005,"o","S"]
578
- [58.9379726,"o","O"]
579
- [58.998925799999995,"o","N"]
580
- [59.1458684,"o","-"]
581
- [59.2261432,"o","l"]
582
- [59.2676912,"o","i"]
583
- [59.2996232,"o","k"]
584
- [59.33473860000001,"o","e"]
585
- [59.3651358,"o"," "]
586
- [59.485347600000004,"o","s"]
587
- [59.521575,"o","y"]
588
- [59.56284960000001,"o","n"]
589
- [59.6044906,"o","t"]
590
- [59.6381806,"o","a"]
591
- [59.703492600000004,"o","x"]
592
- [59.966681400000006,"o"," "]
593
- [60.462346200000006,"o","\\"]
594
- [61.09303,"o","\r\r\n\u001b[1G\u001b[0J \u001b[3G"]
595
- [61.6339236,"o","r"]
596
- [61.6801758,"o","e"]
597
- [61.7346048,"o","v"]
598
- [61.7825346,"o","e"]
599
- [61.822780200000004,"o","r"]
600
- [61.860939599999995,"o","s"]
601
- [61.9458038,"o","e"]
602
- [62.182511000000005,"o"," "]
603
- [62.308843800000005,"o","="]
604
- [63.166694199999995,"o"," "]
605
- [64.08205840000001,"o","$"]
606
- [64.25626559999999,"o","b"]
607
- [64.3297172,"o","i"]
608
- [64.4180582,"o","t"]
609
- [64.453068,"o","s"]
610
- [64.4884502,"o"," "]
611
- [65.16489340000001,"o","{"]
612
- [65.32014120000001,"o","("]
613
- [65.352073,"o",")"]
614
- [65.5978924,"o"," "]
615
- [65.75379400000001,"o","i"]
616
- [65.8017198,"o","n"]
617
- [66.02384060000001,"o",","]
618
- [66.1405272,"o"," "]
619
- [66.4319974,"o","e"]
620
- [66.4508144,"o","m"]
621
- [66.5284736,"o","p"]
622
- [66.6034312,"o","t"]
623
- [66.6400494,"o","y"]
624
- [66.72345,"o"," "]
625
- [66.8719444,"o","o"]
626
- [66.91353000000001,"o","u"]
627
- [66.965134,"o","t"]
628
- [67.070492,"o"," "]
629
- [67.2783604,"o","}"]
630
- [67.503651,"o"," "]
631
- [67.6366012,"o","r"]
632
- [67.6737132,"o","e"]
633
- [67.7137288,"o","v"]
634
- [67.7440254,"o","e"]
635
- [67.764869,"o","r"]
636
- [67.8066154,"o","s"]
637
- [67.8623566,"o","e"]
638
- [67.96802960000001,"o","_"]
639
- [68.1233496,"o"," "]
640
- [68.40160780000001,"o",";"]
641
- [71.0286784,"o"," "]
642
- [71.595193,"o","\\"]
643
- [71.7951602,"o","\r"]
644
- [71.7952216,"o","\r\n\u001b[1G"]
645
- [71.7953276,"o","\u001b[0J"]
646
- [71.7953952,"o"," \u001b[3G"]
647
- [72.0860126,"o","-"]
648
- [72.1342322,"o","-"]
649
- [72.241718,"o"," "]
650
- [72.4010312,"o","b"]
651
- [72.4462822,"o","y"]
652
- [72.4750056,"o"," "]
653
- [72.56005259999999,"o","c"]
654
- [72.5950138,"o","o"]
655
- [72.6398312,"o","m"]
656
- [72.7550284,"o","p"]
657
- [72.9002474,"o","o"]
658
- [72.9547748,"o","s"]
659
- [72.9946244,"o","i"]
660
- [73.0414046,"o","n"]
661
- [73.0840754,"o","g"]
662
- [73.12612560000001,"o"," "]
663
- [73.21855000000001,"o","$"]
664
- [73.548562,"o","b"]
665
- [73.676288,"o","i"]
666
- [73.74677000000001,"o","t"]
667
- [73.7887716,"o","s"]
668
- [73.8125952,"o"," "]
669
- [73.90206920000001,"o","w"]
670
- [73.9663468,"o","i"]
671
- [74.0319642,"o","t"]
672
- [74.0800718,"o","h"]
673
- [74.9249626,"o"," "]
674
- [75.01264880000001,"o","t"]
675
- [75.0526162,"o","h"]
676
- [75.083178,"o","e"]
677
- [75.1119786,"o"," "]
678
- [75.169679,"o","r"]
679
- [75.1983356,"o","e"]
680
- [75.2556028,"o","s"]
681
- [75.27833020000001,"o","t"]
682
- [75.3054538,"o"," "]
683
- [75.72145540000001,"o","o"]
684
- [75.7520714,"o","f"]
685
- [75.78062800000001,"o"," "]
686
- [77.64477160000001,"o","d"]
687
- [77.68968240000001,"o","e"]
688
- [77.7647328,"o","f"]
689
- [77.80482760000001,"o","i"]
690
- [77.83830760000001,"o","n"]
691
- [77.8750556,"o","i"]
692
- [77.9294756,"o","t"]
693
- [78.07841580000002,"o","i"]
694
- [78.11357600000001,"o","o"]
695
- [78.1534572,"o","n"]
696
- [78.23503480000001,"o",","]
697
- [78.2798336,"o"," "]
698
- [78.3242754,"o","w"]
699
- [78.38544100000001,"o","e"]
700
- [78.56464620000001,"o"," "]
701
- [78.7101504,"o","e"]
702
- [78.77580520000001,"o","x"]
703
- [78.8315852,"o","p"]
704
- [78.8731588,"o","l"]
705
- [78.910236,"o","i"]
706
- [78.97565180000001,"o","c"]
707
- [79.038207,"o","i"]
708
- [79.0878264,"o","t"]
709
- [79.1248352,"o","e"]
710
- [79.18243860000001,"o","l"]
711
- [79.24623220000001,"o","y"]
712
- [79.2830198,"o"," "]
713
- [79.8274288,"o","t"]
714
- [79.8681772,"o","y"]
715
- [79.96047720000001,"o","p"]
716
- [79.98473080000001,"o","e"]
717
- [80.0468764,"o","d"]
718
- [80.6555944,"o"," "]
719
- [80.72480920000001,"o","a"]
720
- [80.7645904,"o","r"]
721
- [80.8047846,"o","g"]
722
- [81.6400332,"o","\\"]
723
- [82.223889,"o","\r\r\n\u001b[1G\u001b[0J \u001b[3G"]
724
- [82.43001020000001,"o","r"]
725
- [82.45562860000001,"o","e"]
726
- [82.5008346,"o","v"]
727
- [82.5278684,"o","e"]
728
- [82.5491192,"o","r"]
729
- [82.59019260000001,"o","s"]
730
- [82.6493964,"o","e"]
731
- [82.8458442,"o","_"]
732
- [82.9679114,"o"," "]
733
- [83.1070602,"o","="]
734
- [83.185404,"o"," "]
735
- [83.3838406,"o","$"]
736
- [83.4861774,"o","{"]
737
- [83.6912018,"o","b"]
738
- [83.74692720000002,"o","i"]
739
- [83.80917520000001,"o","t"]
740
- [83.8458998,"o","s"]
741
- [83.9771594,"o"," "]
742
- [84.2800696,"o","i"]
743
- [84.3154866,"o","n"]
744
- [84.396859,"o",","]
745
- [84.4415886,"o"," "]
746
- [84.5757806,"o","$"]
747
- [84.7064666,"o","\u001b[1G\u001b[0J reverse_ = ${bits in, \u001b[25G"]
748
- [84.9693452,"o","b"]
749
- [85.03180200000001,"o","i"]
750
- [85.0829528,"o","t"]
751
- [85.11659660000001,"o","s"]
752
- [85.1501448,"o"," "]
753
- [85.2825936,"o","o"]
754
- [85.3277556,"o","u"]
755
- [85.3725206,"o","t"]
756
- [85.4479948,"o"," "]
757
- [85.53435060000001,"o","}"]
758
- [85.63481000000002,"o"," "]
759
- [85.9086462,"o","<"]
760
- [86.04582860000001,"o"," "]
761
- [86.0853902,"o"," "]
762
- [86.119714,"o"," "]
763
- [86.261739,"o","-"]
764
- [86.30372080000001,"o","-"]
765
- [86.41713580000001,"o"," "]
766
- [86.5692468,"o","m"]
767
- [86.60778160000001,"o","e"]
768
- [86.67169100000001,"o","r"]
769
- [86.81093240000001,"o","g"]
770
- [87.1735256,"o","e"]
771
- [87.58862020000001,"o"," "]
772
- [87.649212,"o","f"]
773
- [87.7071344,"o","o"]
774
- [87.74371180000001,"o","l"]
775
- [87.7805158,"o","l"]
776
- [87.86842920000001,"o","o"]
777
- [87.92613320000001,"o","w"]
778
- [87.9612314,"o","i"]
779
- [88.04768460000001,"o","n"]
780
- [88.1083928,"o","g"]
781
- [88.15155920000001,"o"," "]
782
- [88.19942680000001,"o","r"]
783
- [88.2461372,"o","e"]
784
- [88.3084714,"o","l"]
785
- [88.3518064,"o","s"]
786
- [88.42681340000001,"o"," "]
787
- [88.57263060000001,"o","\\"]
788
- [88.9693182,"o","\r\r\n\u001b[1G\u001b[0J \u001b[3G"]
789
- [89.0828204,"o"," "]
790
- [89.13569220000001,"o"," "]
791
- [89.3292426,"o","{"]
792
- [89.417203,"o","."]
793
- [89.51483160000001,"o","i"]
794
- [89.58358700000001,"o","n"]
795
- [89.9166902,"o"," "]
796
- [89.97579300000001,"o","."]
797
- [90.10654240000001,"o"," "]
798
- [90.2973662,"o","0"]
799
- [90.62199820000001,"o"," "]
800
- [90.78202340000001,"o","i"]
801
- [90.82200360000002,"o","n"]
802
- [90.95782960000001,"o",","]
803
- [91.0171552,"o"," "]
804
- [91.2044508,"o","{"]
805
- [91.36292040000001,"o","."]
806
- [91.5149126,"o","o"]
807
- [91.56287280000001,"o","u"]
808
- [91.6124092,"o","t"]
809
- [91.66204520000001,"o"," "]
810
- [91.8750052,"o","0"]
811
- [92.08910220000001,"o","}"]
812
- [92.1597418,"o"," "]
813
- [92.322794,"o","o"]
814
- [92.3722862,"o","u"]
815
- [92.4189978,"o","t"]
816
- [92.49552560000001,"o"," "]
817
- [92.6570706,"o","}"]
818
- [92.7402612,"o"," "]
819
- [92.89068700000001,"o","r"]
820
- [92.9242488,"o","e"]
821
- [92.96727220000001,"o","v"]
822
- [92.99946840000001,"o","e"]
823
- [93.0223494,"o","r"]
824
- [93.066597,"o","s"]
825
- [93.135992,"o","e"]
826
- [93.25253980000001,"o","_"]
827
- [93.5659672,"o",","]
828
- [93.647789,"o"," "]
829
- [93.91075540000001,"o","\\"]
830
- [94.3179154,"o","\r\r\n\u001b[1G\u001b[0J \u001b[3G"]
831
- [94.4938522,"o"," "]
832
- [94.540267,"o"," "]
833
- [94.73097840000001,"o","{"]
834
- [94.884483,"o","."]
835
- [95.1033012,"o","i"]
836
- [95.15951700000001,"o","n"]
837
- [95.437897,"o","."]
838
- [95.5019648,"o","1"]
839
- [95.71465140000001,"o",","]
840
- [95.9755606,"o","\u001b[1G\u001b[0J {.in.1\u001b[11G"]
841
- [96.082666,"o"," "]
842
- [96.1910694,"o","i"]
843
- [96.22355300000001,"o","n"]
844
- [96.3738426,"o",","]
845
- [96.51127760000001,"o"," "]
846
- [96.7002396,"o","{"]
847
- [96.79146580000001,"o","."]
848
- [96.861524,"o","o"]
849
- [96.9114156,"o","u"]
850
- [96.9755456,"o","t"]
851
- [97.14641420000001,"o"," "]
852
- [97.21897340000001,"o","1"]
853
- [97.3066616,"o","}"]
854
- [97.40428680000001,"o"," "]
855
- [97.5580574,"o","o"]
856
- [97.60964200000001,"o","u"]
857
- [97.665176,"o","t"]
858
- [97.9145812,"o","}"]
859
- [98.0200896,"o"," "]
860
- [98.14780160000001,"o","r"]
861
- [98.18339680000001,"o","e"]
862
- [98.21841020000001,"o","v"]
863
- [98.2441818,"o","e"]
864
- [98.26386980000001,"o","r"]
865
- [98.30340220000001,"o","s"]
866
- [98.3591674,"o","e"]
867
- [98.46348400000001,"o","_"]
868
- [98.7210208,"o",","]
869
- [98.75500060000002,"o"," "]
870
- [99.00859120000001,"o","\\"]
871
- [99.082548,"o","\r\r\n"]
872
- [99.0825806,"o","\u001b[1G"]
873
- [99.08263120000001,"o","\u001b[0J "]
874
- [99.08272600000001,"o","\u001b[3G"]
875
- [99.20243540000001,"o"," "]
876
- [99.30343640000001,"o"," "]
877
- [99.45065360000001,"o","."]
878
- [99.5357666,"o","o"]
879
- [99.5831378,"o","u"]
880
- [99.6330044,"o","t"]
881
- [99.991093,"o"," "]
882
- [100.45972920000001,"o",">"]
883
- [101.751266,"o"," "]
884
- [101.86514720000001,"o","$"]
885
- [102.00727380000001,"o","b"]
886
- [102.068037,"o","i"]
887
- [102.13703000000001,"o","t"]
888
- [102.1850278,"o","s"]
889
- [102.3306002,"o"," "]
890
- [102.4491464,"o",";"]
891
- [102.5017778,"o"," "]
892
- [102.69374700000002,"o","-"]
893
- [102.7401832,"o","-"]
894
- [102.8489498,"o"," "]
895
- [102.967022,"o","w"]
896
- [103.01376600000002,"o","e"]
897
- [103.047022,"o"," "]
898
- [103.2107482,"o","e"]
899
- [103.4987774,"o","x"]
900
- [103.59119720000001,"o","p"]
901
- [103.626577,"o","l"]
902
- [103.66641700000001,"o","i"]
903
- [103.7768584,"o","t"]
904
- [103.81079720000001,"o","e"]
905
- [103.87122300000001,"o","l"]
906
- [103.93201200000001,"o","y"]
907
- [103.96260380000001,"o"," "]
908
- [104.2631682,"o","t"]
909
- [104.2985432,"o","y"]
910
- [104.39120539999999,"o","p"]
911
- [104.4167892,"o","e"]
912
- [104.49203620000002,"o","d"]
913
- [104.5305496,"o"," "]
914
- [104.65086160000001,"o","t"]
915
- [104.69369640000001,"o","h"]
916
- [104.724346,"o","e"]
917
- [104.754442,"o"," "]
918
- [104.832899,"o","o"]
919
- [104.876011,"o","u"]
920
- [104.9176714,"o","t"]
921
- [105.0233174,"o","p"]
922
- [105.09854000000001,"o","u"]
923
- [105.15447140000002,"o","t"]
924
- [106.0120884,"o",","]
925
- [106.0473834,"o"," "]
926
- [106.10947240000002,"o","b"]
927
- [106.1640426,"o","u"]
928
- [106.2154292,"o","t"]
929
- [106.24724040000001,"o"," "]
930
- [106.31453180000001,"o","a"]
931
- [106.38621020000001,"o","c"]
932
- [106.421607,"o","t"]
933
- [106.498624,"o","u"]
934
- [106.54176319999999,"o","a"]
935
- [106.5867196,"o","l"]
936
- [106.61920660000001,"o","l"]
937
- [106.6932396,"o","y"]
938
- [106.9445902,"o"," "]
939
- [107.5235492,"o","n"]
940
- [107.672696,"o","o"]
941
- [107.73708740000001,"o","t"]
942
- [107.76887620000001,"o"," "]
943
- [107.88563160000001,"o","n"]
944
- [107.9192184,"o","e"]
945
- [107.95910220000002,"o","e"]
946
- [108.01679220000001,"o","d"]
947
- [108.06155260000001,"o","e"]
948
- [108.1128554,"o","d"]
949
- [108.3334874,"o","\\"]
950
- [109.5081322,"o","\r"]
951
- [109.5082978,"o","\r\n\u001b[1G\u001b[0J"]
952
- [109.508315,"o"," \u001b[3G"]
953
- [110.9204988,"o","_"]
954
- [111.0662662,"o","0"]
955
- [111.27270020000002,"o","\u001b[1G\u001b[0J _\u001b[4G"]
956
- [111.31425340000001,"o","\u001b[1G\u001b[0J \u001b[3G"]
957
- [111.515935,"o","-"]
958
- [111.5656436,"o","-"]
959
- [111.6724266,"o"," "]
960
- [111.81821000000001,"o","e"]
961
- [111.8738112,"o","x"]
962
- [111.92726920000001,"o","p"]
963
- [111.962152,"o","r"]
964
- [112.0101888,"o","e"]
965
- [112.06961360000001,"o","s"]
966
- [112.11613520000002,"o","s"]
967
- [112.14624040000001,"o","i"]
968
- [112.17760820000001,"o","o"]
969
- [112.20840140000001,"o","n"]
970
- [112.24091980000001,"o"," "]
971
- [112.2895566,"o","t"]
972
- [112.3712706,"o","o"]
973
- [112.40733800000001,"o"," "]
974
- [112.579883,"o","e"]
975
- [112.6311082,"o","v"]
976
- [112.66311900000001,"o","a"]
977
- [112.7154464,"o","l"]
978
- [112.7667364,"o","u"]
979
- [112.807333,"o","a"]
980
- [112.85665420000001,"o","t"]
981
- [113.0214248,"o","e"]
982
- [113.44994580000001,"o",":"]
983
- [114.1494078,"o"," "]
984
- [114.213524,"o","\\"]
985
- [114.28224700000001,"o","\r\r\n\u001b[1G\u001b[0J \u001b[3G"]
986
- [114.5636648,"o","_"]
987
- [114.64401880000001,"o","0"]
988
- [114.83092280000001,"o","0"]
989
- [114.91542280000002,"o","1"]
990
- [114.997731,"o"," "]
991
- [115.3029926,"o","r"]
992
- [115.33809600000001,"o","e"]
993
- [115.39561300000001,"o","v"]
994
- [115.4323768,"o","e"]
995
- [115.4503536,"o","r"]
996
- [115.4917934,"o","s"]
997
- [115.54601840000001,"o","e"]
998
- [115.6741452,"o"," "]
999
- [115.7093396,"o"," "]
1000
- [115.7476868,"o"," "]
1001
- [115.8581346,"o","-"]
1002
- [115.9014786,"o","-"]
1003
- [115.98632640000001,"o"," "]
1004
- [116.2282548,"o","t"]
1005
- [116.26761959999999,"o","h"]
1006
- [116.338205,"o","i"]
1007
- [116.3762726,"o","s"]
1008
- [116.4101606,"o"," "]
1009
- [116.6244434,"o","\u001b[1G\u001b[0J"]
1010
- [116.6244848,"o"," _001 reverse -- this\u001b[25G"]
1011
- [116.6660048,"o","\u001b[1G"]
1012
- [116.66617940000002,"o","\u001b[0J _001 reverse -- thi\u001b[24G"]
1013
- [116.70113300000001,"o","\u001b[1G\u001b[0J _001 reverse -- th\u001b[23G"]
1014
- [116.73485120000001,"o","\u001b[1G\u001b[0J _001 reverse -- t\u001b[22G"]
1015
- [116.77159660000001,"o","\u001b[1G\u001b[0J _001 reverse -- \u001b[21G"]
1016
- [117.28037260000002,"o","f"]
1017
- [117.3032432,"o","u"]
1018
- [117.3639332,"o","c"]
1019
- [117.53349060000001,"o","\u001b[1G\u001b[0J"]
1020
- [117.53354039999999,"o"," _001 reverse -- fu\u001b[23G"]
1021
- [117.7776292,"o","n"]
1022
- [117.8038358,"o","c"]
1023
- [117.84398220000001,"o","t"]
1024
- [117.92023300000001,"o","i"]
1025
- [117.95588459999999,"o","o"]
1026
- [118.00532140000001,"o","n"]
1027
- [118.04801140000001,"o","a"]
1028
- [118.0916526,"o","l"]
1029
- [118.125211,"o"," "]
1030
- [118.16361119999999,"o","c"]
1031
- [118.2029578,"o","o"]
1032
- [118.2484182,"o","m"]
1033
- [118.29827620000002,"o","p"]
1034
- [118.3447246,"o","o"]
1035
- [118.38306580000001,"o","s"]
1036
- [118.42233240000002,"o","i"]
1037
- [118.4792412,"o","t"]
1038
- [118.5556554,"o","i"]
1039
- [118.5908724,"o","o"]
1040
- [118.678928,"o","n"]
1041
- [118.9893558,"o","\r\r\n"]
1042
- [118.99708800000002,"o","--> {\"1\":{\"0\":{\"0\":{\"_\":{}}}}}"]
1043
- [118.9971538,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
1044
- [121.17141360000001,"o","-"]
1045
- [121.21487020000001,"o","-"]
1046
- [121.3316276,"o","R"]
1047
- [121.4868246,"o"," "]
1048
- [121.5939246,"o","r"]
1049
- [121.6339272,"o","e"]
1050
- [121.66775960000001,"o","v"]
1051
- [121.935032,"o","e"]
1052
- [122.2101782,"o","r"]
1053
- [122.2531414,"o","s"]
1054
- [122.30101400000001,"o","e"]
1055
- [122.598894,"o","\r"]
1056
- [122.5990184,"o","\r\n"]
1057
- [122.59934659999999,"o"," reverse : ?$BsAqRMv --> ?$BsAqRMv\r\n reverse = $BsAqRMv {() in, empty out} reverse_;\r\n\u001b[1G"]
1058
- [123.5993984,"o","\u001b[0J> "]
1059
- [125.0577468,"o","--C "]
1060
- [126.2869822,"o","BsAqRMv"]
1061
- [127.4813424,"o","\r"]
1062
- [128.4815034,"o","\r\n $ BsAqRMv = < BsAqRMv 0, BsAqRMv 1, KL _ >; -- $C0=<C0\"0\",C0\"1\",C1\"_\">;$C1={};\r\n"]
1063
- [128.4815754,"o","\u001b[1G\u001b[0J> \u001b[3G"]
1064
- [129.9297688,"o","-"]
1065
- [129.9730384,"o","-"]
1066
- [130.211224,"o","C"]
1067
- [130.267605,"o"," "]
1068
- [130.32348320000003,"o","b"]
1069
- [130.3840232,"o","i"]
1070
- [130.4464864,"o","t"]
1071
- [130.475242,"o","s"]
1072
- [130.654575,"o","\r"]
1073
- [130.6546352,"o","\r\n $ BsAqRMv = < BsAqRMv 0, BsAqRMv 1, KL _ >; -- $C0=<C0\"0\",C0\"1\",C1\"_\">;$C1={};\r\n\u001b[1G\u001b[0J> \u001b[3G"]
1074
- [131.1521568,"o","-"]
1075
- [131.19880880000002,"o","-"]
1076
- [131.28161500000002,"o"," "]
1077
- [131.6241578,"o","b"]
1078
- [131.70736,"o","i"]
1079
- [131.8396476,"o","\u001b[1G\u001b[0J> -- b\u001b[7G"]
1080
- [131.8864484,"o","\u001b[1G\u001b[0J> -- \u001b[6G"]
1081
- [132.040178,"o","'"]
1082
- [132.137602,"o","\u001b[1G\u001b[0J"]
1083
- [132.1377566,"o","> -- \u001b[6G"]
1084
- [132.2447696,"o","C"]
1085
- [132.3086814,"o","o"]
1086
- [132.342811,"o","d"]
1087
- [132.38264180000002,"o","e"]
1088
- [132.3922564,"o"," "]
1089
- [132.4642262,"o","'"]
1090
- [132.55525459999998,"o","b"]
1091
- [132.67524160000002,"o","i"]
1092
- [132.73780159999998,"o","t"]
1093
- [132.8431922,"o","s"]
1094
- [132.89802340000003,"o","'"]
1095
- [132.9503922,"o"," "]
1096
- [133.1121502,"o","i"]
1097
- [133.151961,"o","s"]
1098
- [133.1775876,"o"," "]
1099
- [133.267231,"o","a"]
1100
- [133.29128880000002,"o","n"]
1101
- [133.33277619999998,"o"," "]
1102
- [133.3968012,"o","a"]
1103
- [133.43655420000002,"o","l"]
1104
- [133.476641,"o","i"]
1105
- [133.5021986,"o","a"]
1106
- [133.5395826,"o","s"]
1107
- [133.566328,"o"," "]
1108
- [133.6204204,"o","t"]
1109
- [133.73679760000002,"o","o"]
1110
- [133.7836268,"o"," "]
1111
- [133.9285198,"o","'"]
1112
- [134.202614,"o","BsAqRMv"]
1113
- [134.4351416,"o","'"]
1114
- [135.3904238,"o",","]
1115
- [135.4271268,"o"," "]
1116
- [135.4625612,"o","w"]
1117
- [135.5088138,"o","h"]
1118
- [135.54872020000002,"o","i"]
1119
- [135.59367540000002,"o","c"]
1120
- [135.6335678,"o","h"]
1121
- [135.68459660000002,"o"," "]
1122
- [135.7486392,"o","i"]
1123
- [135.7887694,"o","s"]
1124
- [135.8161368,"o"," "]
1125
- [135.8911558,"o","t"]
1126
- [135.9279214,"o","h"]
1127
- [135.95368040000002,"o","e"]
1128
- [135.9871856,"o"," "]
1129
- [136.0108832,"o","c"]
1130
- [136.083187,"o","a"]
1131
- [136.1743868,"o","n"]
1132
- [136.2624872,"o","o"]
1133
- [136.3264246,"o","n"]
1134
- [136.39355740000002,"o","i"]
1135
- [136.4977574,"o","c"]
1136
- [136.529388,"o","a"]
1137
- [136.5840234,"o","l"]
1138
- [136.63998120000002,"o"," "]
1139
- [136.79522,"o","n"]
1140
- [136.8269938,"o","a"]
1141
- [136.8485392,"o","m"]
1142
- [136.892754,"o","e"]
1143
- [137.3632636,"o","\\"]
1144
- [137.49898140000002,"o","\r\r\n"]
1145
- [137.4989974,"o","\u001b[1G\u001b[0J "]
1146
- [137.4990576,"o","\u001b[3G"]
1147
- [138.91197580000002,"o","t"]
1148
- [139.067127,"o","o"]
1149
- [139.12793059999998,"o","S"]
1150
- [139.169535,"o","t"]
1151
- [139.2046908,"o","r"]
1152
- [139.32139420000001,"o"," "]
1153
- [139.42541920000002,"o","="]
1154
- [139.471867,"o"," "]
1155
- [139.5454276,"o","<"]
1156
- [139.64300699999998,"o"," "]
1157
- [139.79230379999998,"o","."]
1158
- [140.067181,"o","0"]
1159
- [140.365167,"o"," "]
1160
- [140.6207602,"o","\u001b[1G"]
1161
- [140.6208034,"o","\u001b[0J toStr = < .0\u001b[15G"]
1162
- [140.6527396,"o","\u001b[1G\u001b[0J toStr = < .\u001b[14G"]
1163
- [140.6845534,"o","\u001b[1G"]
1164
- [140.68456920000003,"o","\u001b[0J toStr = < \u001b[13G"]
1165
- [140.71843220000002,"o","\u001b[1G\u001b[0J toStr = <\u001b[12G"]
1166
- [140.7710394,"o","\u001b[1G\u001b[0J toStr = \u001b[11G"]
1167
- [140.94242640000002,"o","$"]
1168
- [141.0382508,"o","b"]
1169
- [141.11337880000002,"o","i"]
1170
- [141.1646008,"o","t"]
1171
- [141.198328,"o","s"]
1172
- [141.2461946,"o"," "]
1173
- [141.44796340000002,"o","<"]
1174
- [141.4878586,"o"," "]
1175
- [141.6078146,"o","."]
1176
- [141.7151154,"o","0"]
1177
- [141.8846806,"o"," "]
1178
- [142.5886212,"o","\u001b[1G\u001b[0J toStr = $bits < .0\u001b[21G"]
1179
- [142.688717,"o","\u001b[1G"]
1180
- [142.6887666,"o","\u001b[0J toStr = $bits < .\u001b[20G"]
1181
- [142.6948308,"o","\u001b[1G\u001b[0J"]
1182
- [142.6948692,"o"," toStr = $bits < \u001b[19G"]
1183
- [142.7008492,"o","\u001b[1G\u001b[0J toStr = $bits <\u001b[18G"]
1184
- [142.706991,"o","\u001b[1G"]
1185
- [142.70712060000002,"o","\u001b[0J toStr = $bits \u001b[17G"]
1186
- [142.7126438,"o","\u001b[1G\u001b[0J toStr = $bits\u001b[16G"]
1187
- [142.7187542,"o","\u001b[1G"]
1188
- [142.7188144,"o","\u001b[0J toStr = $bit\u001b[15G"]
1189
- [142.72517660000003,"o","\u001b[1G"]
1190
- [142.7252896,"o","\u001b[0J toStr = $bi\u001b[14G"]
1191
- [142.7838886,"o","\u001b[1G\u001b[0J"]
1192
- [142.7840072,"o"," toStr = $b\u001b[13G"]
1193
- [142.8239522,"o","\u001b[1G"]
1194
- [142.8240804,"o","\u001b[0J toStr = $\u001b[12G"]
1195
- [142.8622142,"o","\u001b[1G"]
1196
- [142.8625072,"o","\u001b[0J toStr = \u001b[11G"]
1197
- [143.00124960000002,"o","<"]
1198
- [143.05278080000002,"o"," "]
1199
- [143.38726160000002,"o","."]
1200
- [143.4797382,"o","0"]
1201
- [143.5837568,"o"," "]
1202
- [143.7208426,"o","["]
1203
- [143.9578788,"o","\""]
1204
- [144.0652586,"o","0"]
1205
- [144.1661496,"o","\""]
1206
- [144.37246000000002,"o",","]
1207
- [144.4942776,"o","t"]
1208
- [144.5840174,"o","o"]
1209
- [144.6560536,"o","S"]
1210
- [144.69460660000001,"o","t"]
1211
- [144.72979800000002,"o","r"]
1212
- [144.8191828,"o","]"]
1213
- [144.877979,"o"," "]
1214
- [145.0219432,"o","C"]
1215
- [145.1135326,"o","O"]
1216
- [145.1741644,"o","N"]
1217
- [145.2461496,"o","C"]
1218
- [145.2880306,"o","A"]
1219
- [145.3309994,"o","T"]
1220
- [145.6525512,"o",","]
1221
- [145.6908562,"o"," "]
1222
- [145.8703288,"o","."]
1223
- [145.9100962,"o","1"]
1224
- [146.14806140000002,"o"," "]
1225
- [146.2792878,"o","["]
1226
- [146.5661064,"o","\""]
1227
- [146.6447326,"o","1"]
1228
- [146.727664,"o","\""]
1229
- [146.9244708,"o",","]
1230
- [147.0247802,"o","t"]
1231
- [147.1224692,"o","o"]
1232
- [147.3449512,"o","S"]
1233
- [147.369373,"o","t"]
1234
- [147.40775920000002,"o","r"]
1235
- [147.6042648,"o","]"]
1236
- [147.7191922,"o","C"]
1237
- [147.8028294,"o","O"]
1238
- [147.8619272,"o","N"]
1239
- [147.93399380000002,"o","C"]
1240
- [147.9629634,"o","A"]
1241
- [148.0284968,"o","T"]
1242
- [148.4025262,"o",","]
1243
- [148.4349732,"o"," "]
1244
- [148.5375568,"o","\""]
1245
- [148.58680320000002,"o","\""]
1246
- [148.8016282,"o",">"]
1247
- [148.948417,"o"," "]
1248
- [149.0126034,"o",";"]
1249
- [150.32455339999999,"o","\r\r\n"]
1250
- [150.329069,"o","--> {\"1\":{\"0\":{\"0\":{\"_\":{}}}}}"]
1251
- [150.3291292,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
1252
- [151.6538186,"o","t"]
1253
- [151.7464372,"o","o"]
1254
- [151.8127402,"o","S"]
1255
- [151.8508506,"o","t"]
1256
- [151.8860896,"o","r"]
1257
- [152.0151332,"o","\r"]
1258
- [152.01516039999998,"o","\r\n"]
1259
- [152.0207342,"o","--> \"100\"\r\n\u001b[1G\u001b[0J> \u001b[3G"]
1260
- [152.44107400000001,"o","-"]
1261
- [152.4760444,"o","-"]
1262
- [152.5770524,"o","R"]
1263
- [152.6253164,"o"," "]
1264
- [152.793978,"o","t"]
1265
- [152.895985,"o","o"]
1266
- [152.95796660000002,"o","S"]
1267
- [153.0170922,"o","t"]
1268
- [153.0667282,"o","r"]
1269
- [153.215737,"o","\r\r\n"]
1270
- [153.2157914,"o"," toStr : ?((((...) 0, (...) 1, ...) 0, ((...) 0, (...) 1, ...) 1, ...) 0, (((...) 0, (...) 1, ...) 0, ((...) 0, (...) 1, ...) 1, ...) 1, ...) --> ?$string\r\n"]
1271
- [153.2159404,"o"," toStr = <.0 ['0', toStr] CONCAT, .1 ['1', toStr] CONCAT, ''>;\r\n\u001b[1G\u001b[0J> \u001b[3G"]
1272
- [154.009053,"o","-"]
1273
- [154.0473728,"o","-"]
1274
- [154.112997,"o"," "]
1275
- [154.1722506,"o","t"]
1276
- [154.26788720000002,"o","o"]
1277
- [154.4742854,"o","S"]
1278
- [154.5193846,"o","t"]
1279
- [154.55813360000002,"o","r"]
1280
- [154.591403,"o"," "]
1281
- [154.7371682,"o","i"]
1282
- [154.771002,"o","s"]
1283
- [154.78840300000002,"o"," "]
1284
- [154.86193260000002,"o","p"]
1285
- [154.89863680000002,"o","o"]
1286
- [154.93683320000002,"o","l"]
1287
- [155.00100440000003,"o","y"]
1288
- [155.0972574,"o","m"]
1289
- [155.144901,"o","o"]
1290
- [155.2586488,"o","r"]
1291
- [155.34994500000002,"o","p"]
1292
- [155.4920152,"o","h"]
1293
- [155.5337188,"o","i"]
1294
- [155.60431400000002,"o","c"]
1295
- [156.71319240000003,"o",","]
1296
- [156.75773800000002,"o"," "]
1297
- [156.8393288,"o","a"]
1298
- [156.8759406,"o","n"]
1299
- [156.9049094,"o","d"]
1300
- [156.9230176,"o"," "]
1301
- [157.4845228,"o","t"]
1302
- [157.52729,"o","h"]
1303
- [157.5497286,"o","e"]
1304
- [157.57851040000003,"o"," "]
1305
- [157.8153586,"o","'"]
1306
- [157.9000218,"o","s"]
1307
- [157.9624408,"o","h"]
1308
- [157.9914096,"o","a"]
1309
- [158.0555756,"o","p"]
1310
- [158.08689800000002,"o","e"]
1311
- [158.17527520000002,"o","'"]
1312
- [158.23126860000002,"o"," "]
1313
- [158.2905198,"o","o"]
1314
- [158.34324160000003,"o","f"]
1315
- [158.3704428,"o"," "]
1316
- [158.4152778,"o","t"]
1317
- [158.4553342,"o","h"]
1318
- [158.4776788,"o","e"]
1319
- [158.5035704,"o"," "]
1320
- [158.56076280000002,"o","i"]
1321
- [158.6008594,"o","n"]
1322
- [158.72526600000003,"o","p"]
1323
- [158.77858940000002,"o","u"]
1324
- [158.83624480000003,"o","t"]
1325
- [158.9929952,"o"," "]
1326
- [159.0713734,"o","c"]
1327
- [159.1208502,"o","o"]
1328
- [159.1546552,"o","d"]
1329
- [159.20086060000003,"o","e"]
1330
- [159.58644420000002,"o"," "]
1331
- [161.0594982,"o","i"]
1332
- [161.0912882,"o","s"]
1333
- [161.2696008,"o"," "]
1334
- [161.3064228,"o","c"]
1335
- [161.3624628,"o","o"]
1336
- [161.40712960000002,"o","m"]
1337
- [161.4488138,"o","p"]
1338
- [161.48243820000002,"o","l"]
1339
- [161.5112004,"o","e"]
1340
- [161.56891800000002,"o","x"]
1341
- [162.72231580000002,"o","\\"]
1342
- [162.784676,"o","\r\r\n\u001b[1G\u001b[0J \u001b[3G"]
1343
- [163.0072504,"o","t"]
1344
- [163.106504,"o","o"]
1345
- [163.2441196,"o","S"]
1346
- [163.28716480000003,"o","t"]
1347
- [163.32238440000003,"o","r"]
1348
- [163.96422700000002,"o","\u001b[1G\u001b[0J"]
1349
- [163.9643006,"o"," toStr = < .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;\u001b[63G"]
1350
- [164.2501674,"o","\u001b[1D"]
1351
- [164.3504856,"o","\u001b[1D"]
1352
- [164.35643140000002,"o","\u001b[1D"]
1353
- [164.362493,"o","\u001b[1D"]
1354
- [164.3685542,"o","\u001b[1D"]
1355
- [164.3742734,"o","\u001b[1D"]
1356
- [164.3802252,"o","\u001b[1D"]
1357
- [164.3863504,"o","\u001b[1D"]
1358
- [164.3924082,"o","\u001b[1D"]
1359
- [164.39861940000003,"o","\u001b[1D"]
1360
- [164.4044928,"o","\u001b[1D"]
1361
- [164.41081480000003,"o","\u001b[1D"]
1362
- [164.41657940000002,"o","\u001b[1D"]
1363
- [164.4224704,"o","\u001b[1D"]
1364
- [164.42843000000002,"o","\u001b[1D"]
1365
- [164.4346556,"o","\u001b[1D"]
1366
- [164.440673,"o","\u001b[1D"]
1367
- [164.4465362,"o","\u001b[1D"]
1368
- [164.45238940000002,"o","\u001b[1D"]
1369
- [164.4587394,"o","\u001b[1D"]
1370
- [164.464525,"o","\u001b[1D"]
1371
- [164.4706542,"o","\u001b[1D"]
1372
- [164.4767486,"o","\u001b[1D"]
1373
- [164.4821996,"o","\u001b[1D"]
1374
- [164.48840940000002,"o","\u001b[1D"]
1375
- [164.4946678,"o","\u001b[1D"]
1376
- [164.5001598,"o","\u001b[1D"]
1377
- [164.5063428,"o","\u001b[1D"]
1378
- [164.51245260000002,"o","\u001b[1D"]
1379
- [164.5181726,"o","\u001b[1D"]
1380
- [164.52412280000001,"o","\u001b[1D"]
1381
- [164.530323,"o","\u001b[1D"]
1382
- [164.53635180000003,"o","\u001b[1D"]
1383
- [164.54234340000002,"o","\u001b[1D"]
1384
- [164.548416,"o","\u001b[1D"]
1385
- [164.5542412,"o","\u001b[1D"]
1386
- [164.560215,"o","\u001b[1D"]
1387
- [164.56639520000002,"o","\u001b[1D"]
1388
- [164.5723988,"o","\u001b[1D"]
1389
- [164.5785456,"o","\u001b[1D"]
1390
- [164.584482,"o","\u001b[1D"]
1391
- [164.5905648,"o","\u001b[1D"]
1392
- [164.5963978,"o","\u001b[1D"]
1393
- [164.60268900000003,"o","\u001b[1D"]
1394
- [164.6084486,"o","\u001b[1D"]
1395
- [164.6144968,"o","\u001b[1D"]
1396
- [164.62036160000002,"o","\u001b[1D"]
1397
- [164.626371,"o","\u001b[1D"]
1398
- [164.63222840000003,"o","\u001b[1D"]
1399
- [164.63834240000003,"o","\u001b[1D"]
1400
- [164.68717900000001,"o","\u001b[1D"]
1401
- [164.72535100000002,"o","\u001b[1D"]
1402
- [165.083812,"o","\u001b[1G"]
1403
- [165.0839754,"o","\u001b[0J toStr = $< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;"]
1404
- [165.0840452,"o","\u001b[12G"]
1405
- [165.2247964,"o","\u001b[1G\u001b[0J"]
1406
- [165.2249306,"o"," toStr = $b< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;\u001b[13G"]
1407
- [165.3238554,"o","\u001b[1G\u001b[0J"]
1408
- [165.3239648,"o"," toStr = $bi< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;\u001b[14G"]
1409
- [165.38303180000003,"o","\u001b[1G"]
1410
- [165.3830704,"o","\u001b[0J toStr = $bit< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;\u001b[15G"]
1411
- [165.4122162,"o","\u001b[1G"]
1412
- [165.412293,"o","\u001b[0J toStr = $bits< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;\u001b[16G"]
1413
- [165.4488152,"o","\u001b[1G\u001b[0J toStr = $bits < .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;\u001b[17G"]
1414
- [166.24109900000002,"o","\u001b[52C\r\r\n"]
1415
- [166.2411724,"o","SymbolTable: rel 'toStr' is redefined (lines 3:9...3:65)\r\n"]
1416
- [166.24540760000002,"o","--> \"100\"\r\n\u001b[1G\u001b[0J> \u001b[3G"]
1417
- [166.66951100000003,"o","\u001b[1G\u001b[0J"]
1418
- [166.66953360000002,"o","> toStr = $bits < .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;\u001b[69G"]
1419
- [166.75721120000003,"o","\u001b[1G\u001b[0J> -- toStr is polymorphic, and the 'shape' of the input code is complex\\\u001b[73G"]
1420
- [166.9775648,"o","\u001b[1G\u001b[0J"]
1421
- [166.9776074,"o","> --R toStr\u001b[12G"]
1422
- [167.108622,"o","\r"]
1423
- [167.108655,"o","\r\n toStr : ?$BsAqRMv --> ?$string"]
1424
- [167.1087228,"o","\r\n"]
1425
- [167.10881840000002,"o"," toStr = $BsAqRMv <.0 ['0', toStr] CONCAT, .1 ['1', toStr] CONCAT, ''>;"]
1426
- [167.1088914,"o","\r\n\u001b[1G"]
1427
- [167.10903840000003,"o","\u001b[0J> "]
1428
- [167.10905680000002,"o","\u001b[3G"]
1429
- [169.2674548,"o","c"]
1430
- [169.312006,"o","o"]
1431
- [169.36619280000002,"o","n"]
1432
- [169.441457,"o","c"]
1433
- [169.473778,"o","a"]
1434
- [169.53129380000001,"o","t"]
1435
- [169.5661004,"o"," "]
1436
- [169.7741574,"o","="]
1437
- [169.877798,"o"," "]
1438
- [170.5750184,"o","$"]
1439
- [170.7845016,"o","{"]
1440
- [171.2766372,"o","b"]
1441
- [171.3724416,"o","i"]
1442
- [171.5745684,"o","t"]
1443
- [171.60345840000002,"o","s"]
1444
- [171.69133680000002,"o"," "]
1445
- [171.7680478,"o","x"]
1446
- [171.841589,"o",","]
1447
- [171.8770304,"o"," "]
1448
- [172.002666,"o","b"]
1449
- [172.0508842,"o","i"]
1450
- [172.1021248,"o","t"]
1451
- [172.1325122,"o","s"]
1452
- [172.26994720000002,"o"," "]
1453
- [172.377248,"o","y"]
1454
- [172.5134202,"o","}"]
1455
- [172.6250458,"o"," "]
1456
- [172.78321440000002,"o","{"]
1457
- [172.9353202,"o","."]
1458
- [173.0298878,"o","x"]
1459
- [173.11760180000002,"o"," "]
1460
- [173.203796,"o","r"]
1461
- [173.23432620000003,"o","e"]
1462
- [173.26496840000001,"o","v"]
1463
- [173.29035820000001,"o","e"]
1464
- [173.3100068,"o","r"]
1465
- [173.34295880000002,"o","s"]
1466
- [173.3959484,"o","e"]
1467
- [173.4806618,"o"," "]
1468
- [173.697843,"o","x"]
1469
- [173.7620908,"o",","]
1470
- [173.8006344,"o"," "]
1471
- [174.03413680000003,"o","."]
1472
- [174.26998020000002,"o","\u001b[1G\u001b[0J> concat = ${bits x, bits y} {.x reverse x, \u001b[45G"]
1473
- [174.3036624,"o","\u001b[1G\u001b[0J> concat = ${bits x, bits y} {.x reverse x,\u001b[44G"]
1474
- [174.34106400000002,"o","\u001b[1G\u001b[0J> concat = ${bits x, bits y} {.x reverse x\u001b[43G"]
1475
- [174.42089180000002,"o","\u001b[1G\u001b[0J> concat = ${bits x, bits y} {.x reverse \u001b[42G"]
1476
- [174.5503182,"o","i"]
1477
- [174.58218220000003,"o","n"]
1478
- [174.6699916,"o",","]
1479
- [174.7051902,"o"," "]
1480
- [174.9088092,"o","."]
1481
- [174.99534140000003,"o","y"]
1482
- [175.0159006,"o"," "]
1483
- [175.1198584,"o","o"]
1484
- [175.1630302,"o","u"]
1485
- [175.20317160000002,"o","t"]
1486
- [175.5102098,"o","}"]
1487
- [175.60588740000003,"o"," "]
1488
- [175.76421620000002,"o","r"]
1489
- [175.79143240000002,"o","e"]
1490
- [175.8330252,"o","v"]
1491
- [175.85853780000002,"o","e"]
1492
- [175.8806826,"o","r"]
1493
- [175.9149322,"o","s"]
1494
- [175.96355340000002,"o","e"]
1495
- [176.16274940000002,"o","_"]
1496
- [176.2970594,"o",";"]
1497
- [176.8711394,"o","\r"]
1498
- [176.8714358,"o","\r\n"]
1499
- [176.87604340000001,"o","--> \"100\"\r\n\u001b[1G"]
1500
- [176.8761096,"o","\u001b[0J> \u001b[3G"]
1501
- [177.57054820000002,"o","_"]
1502
- [177.67064800000003,"o","0"]
1503
- [177.76940100000002,"o","0"]
1504
- [177.9201406,"o","1"]
1505
- [178.20656580000002,"o"," "]
1506
- [179.0957248,"o","\u001b[1G\u001b[0J> _001\u001b[7G"]
1507
- [179.12935600000003,"o","\u001b[1G\u001b[0J> _00\u001b[6G"]
1508
- [179.16156220000002,"o","\u001b[1G\u001b[0J> _0\u001b[5G"]
1509
- [179.19537860000003,"o","\u001b[1G\u001b[0J> _\u001b[4G"]
1510
- [179.23640880000002,"o","\u001b[1G\u001b[0J"]
1511
- [179.2364622,"o","> \u001b[3G"]
1512
- [179.48211960000003,"o","d"]
1513
- [179.5019976,"o","o"]
1514
- [179.5422588,"o","u"]
1515
- [179.5885498,"o","b"]
1516
- [179.70771100000002,"o","l"]
1517
- [179.74178600000002,"o","e"]
1518
- [179.9137062,"o"," "]
1519
- [180.04067640000002,"o","="]
1520
- [180.10193260000003,"o"," "]
1521
- [180.32538480000002,"o","{"]
1522
- [180.89200400000001,"o","$"]
1523
- [180.99680560000002,"o","b"]
1524
- [181.15303200000002,"o","i"]
1525
- [181.22624580000002,"o","t"]
1526
- [181.4707922,"o","s"]
1527
- [181.5966092,"o"," "]
1528
- [181.9135358,"o","x"]
1529
- [181.962853,"o",","]
1530
- [182.0095394,"o"," "]
1531
- [182.1133956,"o","("]
1532
- [182.14561700000002,"o",")"]
1533
- [182.2319348,"o"," "]
1534
- [182.4224006,"o","y"]
1535
- [182.5838644,"o","}"]
1536
- [182.799037,"o"," "]
1537
- [183.59135100000003,"o","c"]
1538
- [183.6142646,"o","o"]
1539
- [183.6586042,"o","n"]
1540
- [183.7435364,"o","c"]
1541
- [183.77709720000001,"o","a"]
1542
- [183.82040540000003,"o","t"]
1543
- [184.1147904,"o",";"]
1544
- [184.2368666,"o"," "]
1545
- [185.11077540000002,"o","\\"]
1546
- [185.5928614,"o","\r\r\n"]
1547
- [185.59293920000002,"o","\u001b[1G\u001b[0J \u001b[3G"]
1548
- [185.9589544,"o","_"]
1549
- [186.0374128,"o","0"]
1550
- [186.10787660000003,"o","0"]
1551
- [186.21194760000003,"o","1"]
1552
- [186.56708500000002,"o"," "]
1553
- [186.759026,"o","d"]
1554
- [186.83256260000002,"o","o"]
1555
- [186.93179560000002,"o","b"]
1556
- [187.21499040000003,"o","\u001b[1G\u001b[0J _001 do\u001b[10G"]
1557
- [187.3905732,"o","u"]
1558
- [187.4452018,"o","b"]
1559
- [187.52338220000001,"o","l"]
1560
- [187.55427500000002,"o","e"]
1561
- [187.68355880000001,"o"," "]
1562
- [187.73061,"o","d"]
1563
- [187.7825822,"o","o"]
1564
- [187.8228302,"o","u"]
1565
- [187.8755956,"o","b"]
1566
- [187.966809,"o","l"]
1567
- [187.9962362,"o","e"]
1568
- [188.169762,"o"," "]
1569
- [188.4770932,"o","d"]
1570
- [188.64036180000002,"o","o"]
1571
- [188.69161300000002,"o","u"]
1572
- [188.7490606,"o","b"]
1573
- [188.8597118,"o","l"]
1574
- [188.88353400000003,"o","e"]
1575
- [188.94472280000002,"o"," "]
1576
- [189.07848380000001,"o","t"]
1577
- [189.17625040000001,"o","o"]
1578
- [189.3308646,"o","S"]
1579
- [189.7362792,"o","t"]
1580
- [189.7761504,"o","r"]
1581
- [189.952607,"o","\r\r\n"]
1582
- [189.96177980000002,"o","--> \"001001001001001001001001\"\r\n\u001b[1G\u001b[0J> \u001b[3G"]
1583
- [190.7971976,"o","\u001b[1G\u001b[0J"]
1584
- [190.7972416,"o","> _001 double double double toStr\u001b[34G"]
1585
- [190.91033240000002,"o","\u001b[1G\u001b[0J"]
1586
- [190.9103758,"o","> _001 double double double toSt\u001b[33G"]
1587
- [190.94715200000002,"o","\u001b[1G\u001b[0J"]
1588
- [190.94716860000003,"o","> _001 double double double toS\u001b[32G"]
1589
- [190.98068020000002,"o","\u001b[1G\u001b[0J"]
1590
- [190.98074780000002,"o","> _001 double double double to\u001b[31G"]
1591
- [191.01606320000002,"o","\u001b[1G"]
1592
- [191.01615500000003,"o","\u001b[0J> _001 double double double t\u001b[30G"]
1593
- [191.0560954,"o","\u001b[1G"]
1594
- [191.05629240000002,"o","\u001b[0J> _001 double double double \u001b[29G"]
1595
- [191.3084588,"o","r"]
1596
- [191.3393446,"o","e"]
1597
- [191.3695236,"o","v"]
1598
- [191.3949222,"o","e"]
1599
- [191.4118426,"o","r"]
1600
- [191.4464902,"o","s"]
1601
- [191.4946,"o","e"]
1602
- [191.527892,"o"," "]
1603
- [191.64476660000003,"o","t"]
1604
- [191.74361380000002,"o","o"]
1605
- [191.8206886,"o","S"]
1606
- [191.8655814,"o","t"]
1607
- [191.902387,"o","r"]
1608
- [192.0337398,"o","\r\r\n"]
1609
- [192.04473800000002,"o","--> \"100100100100100100100100\""]
1610
- [192.04476440000002,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
1611
- [192.5945346,"o","-"]
1612
- [192.63122760000002,"o","-"]
1613
- [192.73557200000002,"o"," "]
1614
- [192.8539848,"o","l"]
1615
- [192.888999,"o","i"]
1616
- [192.9275682,"o","s"]
1617
- [192.9487598,"o","t"]
1618
- [192.98043600000003,"o"," "]
1619
- [193.098893,"o","c"]
1620
- [193.16146000000003,"o","o"]
1621
- [193.2111804,"o","m"]
1622
- [193.2574774,"o","p"]
1623
- [193.3233666,"o","r"]
1624
- [193.356917,"o","e"]
1625
- [193.4353958,"o","h"]
1626
- [193.466024,"o","e"]
1627
- [193.4946078,"o","n"]
1628
- [193.6550282,"o","s"]
1629
- [193.6835316,"o","i"]
1630
- [193.71572160000002,"o","o"]
1631
- [193.75880940000002,"o","n"]
1632
- [193.9286686,"o"," "]
1633
- [194.0564452,"o","u"]
1634
- [194.1177174,"o","s"]
1635
- [194.1447942,"o","i"]
1636
- [194.1924564,"o","n"]
1637
- [194.23104460000002,"o","g"]
1638
- [194.34779920000003,"o"," "]
1639
- [194.4001694,"o","'"]
1640
- [194.54162100000002,"o","|"]
1641
- [194.61652560000002,"o","'"]
1642
- [194.6790254,"o"," "]
1643
- [194.8358462,"o","("]
1644
- [195.034332,"o","u"]
1645
- [195.0775874,"o","n"]
1646
- [195.24056660000002,"o","b"]
1647
- [195.34470140000002,"o","o"]
1648
- [195.47916740000002,"o","x"]
1649
- [195.59427700000003,"o",")"]
1650
- [195.7911408,"o"," "]
1651
- [195.88903820000002,"o","a"]
1652
- [195.91755940000002,"o","n"]
1653
- [195.951211,"o","d"]
1654
- [195.9674482,"o"," "]
1655
- [196.11251500000003,"o","'"]
1656
- [196.2841708,"o","^"]
1657
- [196.4087816,"o","\""]
1658
- [196.52056960000002,"o"," "]
1659
- [196.61026040000002,"o","\u001b[1G\u001b[0J"]
1660
- [196.6103108,"o","> -- list comprehension using '|' (unbox) and '^\"\u001b[50G"]
1661
- [196.7894492,"o","\u001b[1G"]
1662
- [196.78963380000002,"o","\u001b[0J> -- list comprehension using '|' (unbox) and '^\u001b[49G"]
1663
- [196.9302974,"o","'"]
1664
- [196.97804920000002,"o"," "]
1665
- [197.061373,"o","b"]
1666
- [197.192226,"o","\u001b[1G\u001b[0J"]
1667
- [197.19224300000002,"o","> -- list comprehension using '|' (unbox) and '^' \u001b[51G"]
1668
- [197.2772898,"o","("]
1669
- [197.37959020000002,"o","b"]
1670
- [197.488648,"o","o"]
1671
- [197.5412468,"o","x"]
1672
- [197.68208520000002,"o",")"]
1673
- [198.01188520000002,"o"," "]
1674
- [198.56211800000003,"o","\\"]
1675
- [198.9892152,"o","\r\r\n\u001b[1G\u001b[0J \u001b[3G"]
1676
- [199.1811996,"o","t"]
1677
- [199.27253240000002,"o","o"]
1678
- [199.59245020000003,"o","\u001b[1G"]
1679
- [199.5925338,"o","\u001b[0J t\u001b[4G"]
1680
- [199.6307202,"o","\u001b[1G\u001b[0J \u001b[3G"]
1681
- [199.97144920000002,"o","["]
1682
- [201.851407,"o","e"]
1683
- [201.8671734,"o","m"]
1684
- [201.936196,"o","p"]
1685
- [202.00488140000002,"o","t"]
1686
- [202.04017100000002,"o","y"]
1687
- [202.1278446,"o",","]
1688
- [202.34385780000002,"o"," "]
1689
- [202.68973000000003,"o","_"]
1690
- [202.750727,"o","0"]
1691
- [202.80965300000003,"o","0"]
1692
- [203.00644780000002,"o","1"]
1693
- [203.27360980000003,"o",","]
1694
- [203.31857200000002,"o"," "]
1695
- [203.6002746,"o","_"]
1696
- [203.67021400000002,"o","0"]
1697
- [203.7473222,"o","0"]
1698
- [203.78880800000002,"o","1"]
1699
- [204.28137300000003,"o"," "]
1700
- [204.3713318,"o","r"]
1701
- [204.40475320000002,"o","e"]
1702
- [204.4352206,"o","v"]
1703
- [204.4702656,"o","e"]
1704
- [204.49741140000003,"o","r"]
1705
- [204.5311168,"o","s"]
1706
- [204.5743026,"o","e"]
1707
- [204.92670020000003,"o","]"]
1708
- [205.38799600000004,"o"," "]
1709
- [206.5771204,"o","|"]
1710
- [206.8539476,"o"," "]
1711
- [207.439828,"o","1"]
1712
- [207.7734314,"o"," "]
1713
- [208.2672392,"o","^"]
1714
- [208.3460814,"o"," "]
1715
- [208.6305562,"o","P"]
1716
- [208.669,"o","L"]
1717
- [208.7217252,"o","U"]
1718
- [208.768216,"o","S"]
1719
- [209.44342900000004,"o","\r"]
1720
- [209.4436526,"o","\r\n"]
1721
- [209.44965980000003,"o","--> 3"]
1722
- [209.4496776,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
1723
- [210.4628108,"o","-"]
1724
- [210.504277,"o","-"]
1725
- [210.61458779999998,"o"," "]
1726
- [212.06293300000004,"o","3"]
1727
- [212.0827398,"o"," "]
1728
- [212.1555818,"o","r"]
1729
- [212.1857842,"o","e"]
1730
- [212.2562814,"o","p"]
1731
- [212.2865946,"o","r"]
1732
- [212.3311652,"o","e"]
1733
- [212.3841986,"o","s"]
1734
- [212.4337662,"o","e"]
1735
- [212.460925,"o","n"]
1736
- [212.49928060000002,"o","t"]
1737
- [212.5234,"o","s"]
1738
- [212.54619720000002,"o"," "]
1739
- [212.6738638,"o","t"]
1740
- [212.7124618,"o","h"]
1741
- [212.7304584,"o","e"]
1742
- [212.7527342,"o"," "]
1743
- [212.94432619999998,"o","l"]
1744
- [212.97622900000002,"o","e"]
1745
- [213.01780480000002,"o","n"]
1746
- [213.05797819999998,"o","g"]
1747
- [213.0897956,"o","t"]
1748
- [213.1329366,"o","h"]
1749
- [213.41352400000002,"o"," "]
1750
- [213.47398220000002,"o","o"]
1751
- [213.53134920000002,"o","f"]
1752
- [213.55328880000002,"o"," "]
1753
- [213.5987444,"o","t"]
1754
- [213.6335428,"o","h"]
1755
- [213.65918980000004,"o","e"]
1756
- [213.68872480000002,"o"," "]
1757
- [213.7509904,"o","v"]
1758
- [213.78587160000004,"o","e"]
1759
- [213.84657560000002,"o","c"]
1760
- [213.88826720000003,"o","t"]
1761
- [213.9809884,"o","o"]
1762
- [214.00486820000003,"o","r"]
1763
- [214.5714696,"o","\r"]
1764
- [214.57196199999998,"o","\r\n"]
1765
- [214.57938880000003,"o","--> 3\r\n"]
1766
- [214.57940760000002,"o","\u001b[1G\u001b[0J> \u001b[3G"]
1767
- [215.1377928,"o","["]
1768
- [215.23702100000003,"o","1"]
1769
- [215.28340300000002,"o",","]
1770
- [215.31535920000002,"o","2"]
1771
- [215.35359480000002,"o",","]
1772
- [215.38263940000002,"o","3"]
1773
- [215.4240374,"o",","]
1774
- [215.46096020000002,"o","4"]
1775
- [215.72165280000002,"o","]"]
1776
- [215.88819220000002,"o","\u001b[1G\u001b[0J> [1,2,3,4\u001b[11G"]
1777
- [216.053055,"o",","]
1778
- [216.142606,"o","3"]
1779
- [216.17764980000004,"o",","]
1780
- [216.203894,"o","2"]
1781
- [216.238661,"o",","]
1782
- [216.2658184,"o","1"]
1783
- [216.29790020000002,"o",","]
1784
- [216.3698188,"o",","]
1785
- [216.53628600000002,"o","\u001b[1G\u001b[0J"]
1786
- [216.5363394,"o","> [1,2,3,4,3,2,1,\u001b[18G"]
1787
- [216.69644140000003,"o","3"]
1788
- [216.7715946,"o",","]
1789
- [216.80994139999999,"o","2"]
1790
- [217.26223420000002,"o","]"]
1791
- [217.47671540000002,"o"," "]
1792
- [217.6722542,"o","|"]
1793
- [217.86402200000003,"o"," "]
1794
- [219.10885199999998,"o","<"]
1795
- [219.298328,"o","."]
1796
- [219.76516740000002,"o","2"]
1797
- [219.9907648,"o"," "]
1798
- [220.21513460000003,"o","2"]
1799
- [220.40058600000003,"o",","]
1800
- [220.59775260000004,"o"," "]
1801
- [220.71264540000004,"o","."]
1802
- [220.90481340000002,"o","3"]
1803
- [221.15075940000003,"o"," "]
1804
- [221.790488,"o","\u001b[1G\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 2, .3\u001b[34G"]
1805
- [221.8337662,"o","\u001b[1G\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 2, .\u001b[33G"]
1806
- [221.86746560000003,"o","\u001b[1G\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 2, \u001b[32G"]
1807
- [221.89979140000003,"o","\u001b[1G\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 2,\u001b[31G"]
1808
- [221.9383836,"o","\u001b[1G\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 2\u001b[30G"]
1809
- [221.97531920000003,"o","\u001b[1G\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 \u001b[29G"]
1810
- [222.12553939999998,"o","\""]
1811
- [222.37803340000002,"o","t"]
1812
- [222.43464840000001,"o","w"]
1813
- [222.4876026,"o","o"]
1814
- [222.58646800000002,"o","\""]
1815
- [222.82020060000002,"o",","]
1816
- [222.8601464,"o"," "]
1817
- [222.9466196,"o","."]
1818
- [223.11461880000002,"o","3"]
1819
- [223.27784200000002,"o"," "]
1820
- [223.39834300000004,"o","\""]
1821
- [223.4970332,"o","t"]
1822
- [223.5720344,"o","h"]
1823
- [223.61345860000003,"o","r"]
1824
- [223.642699,"o","e"]
1825
- [223.6842138,"o","e"]
1826
- [223.87788460000002,"o","\""]
1827
- [223.97704140000002,"o"," "]
1828
- [224.5566794,"o","^"]
1829
- [224.82515880000003,"o","\r\r\n"]
1830
- [224.8253558,"o","Parse error on line 3:\r\n...wo\", .3 \"three\" ^()\r\n----------------------^\r\nExpecting 'NAME', 'STRING', 'INT', 'LA', 'LC', 'LB', 'LP', 'RA', 'RB', 'DOT', 'COMMA', 'DOLLAR', 'QMARK', 'CARET', 'PIPE', got 'EOF'\r\nWARN: Recompiling without type reconciliation due to the type error above.\r\n"]
1831
- [224.82553180000002,"o","e is not defined"]
1832
- [224.8255494,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
1833
- [225.578944,"o","\u001b[1G\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 \"two\", .3 \"three\" ^\u001b[48G"]
1834
- [225.6641836,"o","\u001b[1D"]
1835
- [225.71348920000003,"o","\u001b[1D"]
1836
- [225.807815,"o","\u001b[1C"]
1837
- [225.98544860000004,"o","\u001b[1G\u001b[0J"]
1838
- [225.9854872,"o","> [1,2,3,4,3,2,1,3,2] | <.2 \"two\", .3 \"three\" >^\u001b[48G"]
1839
- [226.03664760000004,"o","\u001b[1G"]
1840
- [226.0366714,"o","\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 \"two\", .3 \"three\" > ^\u001b[49G"]
1841
- [226.1935604,"o","\u001b[1C\r\r\n"]
1842
- [226.1997262,"o","--> [\"two\",\"three\",\"three\",\"two\",\"three\",\"two\"]"]
1843
- [226.19976700000004,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
1844
- [228.46702660000003,"o","-"]
1845
- [228.6433728,"o","-"]
1846
- [228.76353920000003,"o"," "]
1847
- [228.95360219999998,"o","C"]
1848
- [228.99240920000003,"o","a"]
1849
- [229.03081000000003,"o","r"]
1850
- [229.0798696,"o","t"]
1851
- [229.12442980000003,"o","e"]
1852
- [229.203016,"o","s"]
1853
- [229.25387420000004,"o","i"]
1854
- [229.27961300000004,"o","a"]
1855
- [229.306816,"o","n"]
1856
- [229.3422466,"o"," "]
1857
- [229.439581,"o","p"]
1858
- [229.47809940000002,"o","r"]
1859
- [229.505177,"o","o"]
1860
- [229.551656,"o","d"]
1861
- [229.60590860000002,"o","u"]
1862
- [229.6412282,"o","c"]
1863
- [229.6972676,"o","t"]
1864
- [229.840933,"o",":"]
1865
- [229.95459660000003,"o"," "]
1866
- [230.042616,"o","\\"]
1867
- [230.09016700000004,"o","\r\r\n"]
1868
- [230.0902072,"o","\u001b[1G\u001b[0J \u001b[3G"]
1869
- [230.33022219999998,"o","["]
1870
- [231.02780180000002,"o","1"]
1871
- [231.1156588,"o",","]
1872
- [231.26234180000003,"o","2"]
1873
- [231.4614098,"o",","]
1874
- [231.64700720000002,"o","3"]
1875
- [231.9814724,"o","]"]
1876
- [232.1983992,"o"," "]
1877
- [232.91397840000002,"o","{"]
1878
- [233.09345440000004,"o"," "]
1879
- [233.21481920000002,"o","|"]
1880
- [233.27741360000002,"o"," "]
1881
- [233.33200520000003,"o","x"]
1882
- [233.40399280000003,"o",","]
1883
- [233.4471404,"o"," "]
1884
- [233.89355260000002,"o","|"]
1885
- [233.9976354,"o"," "]
1886
- [234.1284114,"o","y"]
1887
- [234.34323500000002,"o"," "]
1888
- [234.54722980000003,"o","}"]
1889
- [234.64683020000004,"o"," "]
1890
- [234.80172940000003,"o","^"]
1891
- [235.1001342,"o","\r\r\n"]
1892
- [235.1116766,"o","--> [{\"x\":1,\"y\":1},{\"x\":2,\"y\":1},{\"x\":3,\"y\":1},{\"x\":1,\"y\":2},{\"x\":2,\"y\":2},{\"x\":3,\"y\":2},{\"x\":1,\"y\":3},{\"x\":2,\"y\":3},{\"x\":3,\"y\":3}]\r\n\u001b[1G\u001b[0J"]
1893
- [235.111696,"o","> \u001b[3G"]
1894
- [235.5304742,"o","-"]
1895
- [235.57365500000003,"o","-"]
1896
- [235.6742672,"o","p"]
1897
- [235.71587340000002,"o","p"]
1898
- [235.99457980000003,"o","\r"]
1899
- [235.99484240000004,"o","\r\n"]
1900
- [235.99575300000004,"o","["]
1901
- [235.99585280000002,"o","\r\n { x: \u001b[33m1\u001b[39m, y: \u001b[33m1\u001b[39m },\r\n { x: \u001b[33m2\u001b[39m, y: \u001b[33m1\u001b[39m },\r\n { x: \u001b[33m3\u001b[39m, y: \u001b[33m1\u001b[39m },\r\n { x: \u001b[33m1\u001b[39m, y: \u001b[33m2\u001b[39m },\r\n { x: \u001b[33m2\u001b[39m, y: \u001b[33m2\u001b[39m },\r\n { x: \u001b[33m3\u001b[39m, y: \u001b[33m2\u001b[39m },\r\n { x: \u001b[33m1\u001b[39m, y: \u001b[33m3\u001b[39m },\r\n { x: \u001b[33m2\u001b[39m, y: \u001b[33m3\u001b[39m },\r\n { x: \u001b[33m3\u001b[39m, y: \u001b[33m3\u001b[39m }\r\n]\r\n\u001b[1G\u001b[0J> \u001b[3G"]
1902
- [237.62046180000004,"o","REPL closed\r\n"]
1903
- [237.62294980000001,"o","\u001b]0;wojtek@mac:~\u0007"]
1904
- [237.6240702,"o","\u001b]777;notify;Command completed;k-repl\u001b\\\u001b]777;precmd\u001b\\"]
1905
- [237.6249528,"o","\u001b]7;file://mac/home/wojtek\u001b\\"]
1906
- [237.62511940000002,"o","\u001b[?2004h\u001b]133;D;0\u001b\\\u001b]133;A\u001b\\\u001b[32mwojtek@mac\u001b[0m:\u001b[32m~\u001b[0m$\u001b[0m \u001b]133;B\u001b\\"]
1907
- [237.8697276,"o","e"]
1908
- [237.9179252,"o","x"]
1909
- [237.9675952,"o","i"]
1910
- [238.0138294,"o","t"]
1911
- [238.09409040000003,"o","\r\n\u001b[?2004l\r"]
1912
- [238.0941258,"o","\u001b]133;C\u001b\\\r\u001b]777;preexec\u001b\\"]
1913
- [238.09427580000002,"o","exit\r\n"]