@fraczak/k 4.0.2 → 4.0.3

package/demo.cast

@@ -0,0 +1,1772 @@
+{"version":2,"width":139,"height":32,"timestamp":1726538565,"idle_time_limit":2,"env":{"SHELL":"/bin/bash","TERM":"xterm-256color"}}
+[0.017488600000000003,"o","\u001b]0;wojtek@mac:~\u0007"]
+[0.0192872,"o","\u001b]777;notify;Command completed;sudo dnf install gifsicle\u001b\\\u001b]777;precmd\u001b\\"]
+[0.019799200000000003,"o","\u001b]7;file://mac/home/wojtek\u001b\\\u001b[?2004h"]
+[0.0198348,"o","\u001b]133;D;0\u001b\\\u001b]133;A\u001b\\\u001b[32mwojtek@mac\u001b[0m:\u001b[32m~\u001b[0m$\u001b[0m \u001b]133;B\u001b\\"]
+[0.557235,"o","."]
+[0.5979004,"o","/"]
+[0.7035076,"o","r"]
+[0.748471,"o","e"]
+[0.785042,"o","p"]
+[0.8636448,"o","l"]
+[0.9003582,"o","\u0007"]
+[1.1017158,"o","\b\u001b[K"]
+[1.1390762,"o","\b\u001b[K"]
+[1.1771284,"o","\b\u001b[K"]
+[1.2148728000000002,"o","\b\u001b[K"]
+[1.2489192,"o","\b\u001b[K"]
+[1.2905924000000002,"o","\b\u001b[K"]
+[1.4715594,"o","k"]
+[1.5849262,"o","-"]
+[1.6602946,"o","r"]
+[1.7051914000000001,"o","e"]
+[1.7475307999999998,"o","p"]
+[1.8025572,"o","l"]
+[1.835217,"o"," "]
+[2.1150694000000003,"o","\r\n"]
+[2.1151108,"o","\u001b[?2004l\r"]
+[2.1152802000000004,"o","\u001b]133;C\u001b\\\r\u001b]777;preexec\u001b\\"]
+[2.1542752000000003,"o","Very! experimental repl shell for 'k-language'...\r\n"]
+[2.154884,"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"]
+[2.1554762000000003,"o","\u001b[1G\u001b[0J> \u001b[3G"]
+[3.0056482,"o","-"]
+[3.0512204,"o","-"]
+[3.1553430000000002,"o"," "]
+[3.2752774000000002,"o","D"]
+[3.3906654000000005,"o","E"]
+[3.4560548,"o","M"]
+[3.552066,"o","O"]
+[3.8049340000000003,"o",":"]
+[3.8845382,"o"," "]
+[4.0955868,"o","c"]
+[4.1488148,"o","o"]
+[4.2000582,"o","m"]
+[4.2366656,"o","m"]
+[4.2637618,"o","e"]
+[4.2859848000000005,"o","n"]
+[4.3405678000000005,"o","t"]
+[4.3709622,"o","s"]
+[4.399934600000001,"o"," "]
+[4.9213676,"o",":"]
+[4.985550400000001,"o"," "]
+[5.1227612,"o","/"]
+[5.1632584,"o","/"]
+[5.2543176,"o"," "]
+[5.4068528,"o","."]
+[5.441807000000001,"o","."]
+[5.4867132000000005,"o","."]
+[5.6195406000000006,"o",","]
+[5.6817086,"o"," "]
+[5.878749200000001,"o","-"]
+[5.9187306,"o","-"]
+[6.0497190000000005,"o"," "]
+[6.181064800000001,"o","."]
+[6.216106400000001,"o","."]
+[6.2595848,"o","."]
+[6.392524000000001,"o",","]
+[6.4374804,"o"," "]
+[6.731406400000001,"o","#"]
+[6.795149000000001,"o"," "]
+[6.960150400000001,"o","."]
+[6.996918,"o","."]
+[7.039926,"o","."]
+[7.188596800000001,"o",","]
+[7.227213600000001,"o"," "]
+[7.270276800000001,"o","a"]
+[7.307059,"o","n"]
+[7.3437681999999995,"o","d"]
+[7.3679164,"o"," "]
+[7.4800716,"o","c"]
+[7.640073,"o","-"]
+[7.6876999999999995,"o","l"]
+[7.7259975999999995,"o","i"]
+[7.7632144,"o","k"]
+[7.790259000000001,"o","e"]
+[7.822187,"o"," "]
+[7.9501322000000005,"o","/"]
+[8.0475574,"o","*"]
+[8.092323200000001,"o"," "]
+[8.1997366,"o","."]
+[8.236266,"o","."]
+[8.277892,"o","."]
+[8.4897886,"o"," "]
+[8.586861,"o","*"]
+[8.700018,"o","/"]
+[8.938204,"o"," "]
+[9.1482004,"o","\\"]
+[9.3400818,"o","\r\r\n"]
+[9.3403428,"o","\u001b[1G\u001b[0J  \u001b[3G"]
+[9.613678400000001,"o","-"]
+[9.6616582,"o","-"]
+[9.741234,"o"," "]
+[10.1012588,"o","W"]
+[10.158671400000001,"o","e"]
+[10.2130462,"o"," "]
+[10.278700800000001,"o","s"]
+[10.3380686,"o","t"]
+[10.3648988,"o","a"]
+[10.3936696,"o","r"]
+[10.428987600000001,"o","t"]
+[10.4563602,"o"," "]
+[10.501175400000001,"o","w"]
+[10.6464744,"o","i"]
+[10.705495200000001,"o","t"]
+[10.7503452,"o","h"]
+[10.7841266,"o"," "]
+[10.923104600000002,"o","c"]
+[10.9534202,"o","o"]
+[11.027182600000002,"o","d"]
+[11.1323448,"o","e"]
+[11.251355400000001,"o"," "]
+[11.3056846,"o","d"]
+[11.3436596,"o","e"]
+[11.398141800000001,"o","f"]
+[11.439684,"o","i"]
+[11.4780498,"o","n"]
+[11.521043800000001,"o","i"]
+[11.5787346,"o","t"]
+[11.638120800000001,"o","i"]
+[11.6813338,"o","o"]
+[11.7341888,"o","n"]
+[11.7674112,"o","s"]
+[12.0026856,"o",":"]
+[12.0634126,"o"," "]
+[12.162742600000001,"o","`"]
+[12.2088794,"o"," "]
+[12.4027052,"o","$"]
+[12.490442600000002,"o"," "]
+[12.7394088,"o","c"]
+[12.7766812,"o","o"]
+[12.813483,"o","d"]
+[12.8615364,"o","e"]
+[12.928534200000001,"o","-"]
+[13.000409400000002,"o","n"]
+[13.029306600000002,"o","a"]
+[13.057494600000002,"o","m"]
+[13.0837388,"o","e"]
+[13.112222600000003,"o"," "]
+[13.2341312,"o","="]
+[13.299296400000001,"o"," "]
+[13.616142400000001,"o","c"]
+[13.672312400000003,"o","o"]
+[13.7089554,"o","d"]
+[13.7538208,"o","e"]
+[13.9361406,"o","-"]
+[14.0080178,"o","e"]
+[14.0671552,"o","x"]
+[14.121642800000002,"o","p"]
+[14.179236000000001,"o","r"]
+[14.222368800000002,"o","e"]
+[14.278153800000002,"o","s"]
+[14.326345800000002,"o","s"]
+[14.366290000000001,"o","i"]
+[14.401603600000001,"o","o"]
+[14.451089200000002,"o","n"]
+[14.601646600000002,"o"," "]
+[15.0591682,"o",";"]
+[15.1167508,"o"," "]
+[15.2047936,"o","`"]
+[15.6202554,"o","\r\r\n"]
+[15.622369200000001,"o","--> {}\r\n"]
+[15.622384400000001,"o","\u001b[1G\u001b[0J> \u001b[3G"]
+[16.0868794,"o","$"]
+[16.1444566,"o"," "]
+[16.2422696,"o","u"]
+[16.274155200000003,"o","n"]
+[16.312573800000003,"o","i"]
+[16.365406200000002,"o","t"]
+[16.3941234,"o"," "]
+[16.599332999999998,"o","="]
+[16.639081,"o"," "]
+[16.768918,"o","{"]
+[16.810517200000003,"o","}"]
+[17.1726252,"o","\u001b[1G\u001b[0J"]
+[17.172666000000003,"o","> $ unit = {\u001b[13G"]
+[17.218705800000002,"o"," "]
+[17.37705,"o","}"]
+[17.4588314,"o"," "]
+[17.5679482,"o",";"]
+[17.631785,"o"," "]
+[17.7502198,"o"," "]
+[17.786976000000003,"o"," "]
+[17.825168,"o"," "]
+[17.925322,"o"," "]
+[17.931318,"o"," "]
+[17.937302600000002,"o"," "]
+[17.943151,"o"," "]
+[17.949154200000002,"o"," "]
+[17.9553488,"o"," "]
+[17.961518,"o"," "]
+[17.9677264,"o"," "]
+[17.9733968,"o"," "]
+[17.9793938,"o"," "]
+[17.985438400000003,"o"," "]
+[17.9913624,"o"," "]
+[17.997855400000002,"o"," "]
+[18.0039498,"o"," "]
+[18.0096666,"o"," "]
+[18.0157072,"o"," "]
+[18.021729,"o"," "]
+[18.0273552,"o"," "]
+[18.0335904,"o"," "]
+[18.039663,"o"," "]
+[18.0458584,"o"," "]
+[18.051171,"o"," "]
+[18.2256442,"o","-"]
+[18.347507,"o","-"]
+[18.4578424,"o"," "]
+[19.0714544,"o","e"]
+[19.1224898,"o","m"]
+[19.203066800000002,"o","p"]
+[19.2941788,"o","t"]
+[19.334265400000003,"o","y"]
+[19.3610966,"o"," "]
+[19.471532800000002,"o","p"]
+[19.5065678,"o","r"]
+[19.532259600000003,"o","o"]
+[19.569004000000003,"o","d"]
+[19.621927400000004,"o","u"]
+[19.6649108,"o","c"]
+[19.7035308,"o","t"]
+[19.7301536,"o"," "]
+[19.7851782,"o","c"]
+[19.8297138,"o","o"]
+[19.864925400000004,"o","d"]
+[19.913074,"o","e"]
+[20.199187600000002,"o"," "]
+[20.2967838,"o","("]
+[20.7490984,"o","u"]
+[20.7829086,"o","n"]
+[20.821269200000003,"o","i"]
+[20.883713800000002,"o","t"]
+[20.9108252,"o"," "]
+[20.9974674,"o","a"]
+[21.045214400000003,"o","s"]
+[21.070750200000003,"o"," "]
+[21.2773746,"o","i"]
+[21.340795800000002,"o","t"]
+[21.3665574,"o"," "]
+[21.440184400000003,"o","a"]
+[21.505615000000002,"o","d"]
+[21.5553692,"o","m"]
+[21.601734,"o","i"]
+[21.6528856,"o","t"]
+[21.691305600000003,"o","s"]
+[21.721549800000002,"o"," "]
+[21.993478600000003,"o","o"]
+[22.041511200000002,"o","n"]
+[22.0687466,"o","e"]
+[22.095973400000002,"o"," "]
+[22.150317400000002,"o","v"]
+[22.1838562,"o","a"]
+[22.235181800000003,"o","l"]
+[22.2892058,"o","u"]
+[22.323014200000003,"o","e"]
+[22.5199488,"o",")"]
+[23.213593200000002,"o"," "]
+[23.2778132,"o","\\"]
+[23.398008200000003,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
+[23.632675000000003,"o","$"]
+[23.732359400000004,"o"," "]
+[23.949273400000003,"o","b"]
+[24.039214200000004,"o","i"]
+[24.096926600000003,"o","t"]
+[24.130488800000002,"o","s"]
+[24.1657128,"o"," "]
+[24.3771254,"o","="]
+[24.4191584,"o"," "]
+[24.538536,"o","<"]
+[24.5879304,"o"," "]
+[24.832661200000004,"o","u"]
+[24.865015600000003,"o","n"]
+[24.9000576,"o","i"]
+[24.9498062,"o","t"]
+[24.9835178,"o"," "]
+[25.175700000000003,"o","_"]
+[25.260328400000002,"o",","]
+[25.309985400000002,"o"," "]
+[25.4652696,"o","b"]
+[25.529356000000003,"o","i"]
+[25.582294400000002,"o","t"]
+[25.634937400000002,"o","s"]
+[25.673324000000004,"o"," "]
+[25.7741742,"o","0"]
+[25.8430496,"o",","]
+[25.8815998,"o"," "]
+[25.979129,"o","b"]
+[26.0542914,"o","i"]
+[26.108534400000003,"o","t"]
+[26.1471076,"o","s"]
+[26.182347600000003,"o"," "]
+[26.267151600000002,"o","1"]
+[26.387183800000003,"o"," "]
+[26.566460000000003,"o",">"]
+[26.690754600000005,"o"," "]
+[26.875204800000002,"o",";"]
+[26.9301408,"o"," "]
+[27.094759,"o"," "]
+[27.3623082,"o"," "]
+[27.562243600000002,"o","-"]
+[27.6037764,"o","-"]
+[27.7764974,"o"," "]
+[27.851771400000004,"o","u"]
+[27.8807046,"o","n"]
+[27.925184200000004,"o","i"]
+[27.970294000000003,"o","o"]
+[28.0054906,"o","n"]
+[28.5561518,"o",","]
+[28.6780494,"o"," "]
+[28.9131484,"o","w"]
+[28.943647,"o","i"]
+[28.996536400000004,"o","t"]
+[29.047803000000002,"o","h"]
+[29.085946000000003,"o"," "]
+[29.170980600000004,"o","3"]
+[29.194111400000004,"o"," "]
+[29.2862274,"o","v"]
+[29.319761999999997,"o","a"]
+[29.3615054,"o","r"]
+[29.456000799999998,"o","i"]
+[29.507064200000002,"o","a"]
+[29.542312600000002,"o","n"]
+[29.5935408,"o","t"]
+[29.6993482,"o","s"]
+[29.9427326,"o",","]
+[29.9777476,"o"," "]
+[30.038523800000004,"o","t"]
+[30.113878999999997,"o","a"]
+[30.163519200000003,"o","g"]
+[30.1972714,"o","g"]
+[30.226065000000002,"o","e"]
+[30.267547200000003,"o","d"]
+[30.2963238,"o"," "]
+[30.352304600000004,"o","b"]
+[30.430967,"o","y"]
+[30.459460800000002,"o"," "]
+[30.641763800000003,"o","_"]
+[30.718590000000003,"o",","]
+[30.768134,"o"," "]
+[30.897582200000002,"o","0"]
+[30.964845800000003,"o",","]
+[31.0113498,"o"," "]
+[31.047950400000005,"o","a"]
+[31.081902400000004,"o","n"]
+[31.1103842,"o","d"]
+[31.1406502,"o"," "]
+[31.203119600000004,"o","1"]
+[31.608118400000002,"o","\r\r\n"]
+[31.609166800000004,"o","--> {}\r\n\u001b[1G"]
+[31.609191,"o","\u001b[0J> \u001b[3G"]
+[31.8979664,"o","-"]
+[31.9425592,"o","-"]
+[32.1185576,"o","c"]
+[32.1970844,"o","\r\r\n"]
+[32.1977982,"o","{"]
+[32.1978526,"o","\r\n  BsAqRMv: \u001b[32m'< BsAqRMv 0, BsAqRMv 1, KL _ >'\u001b[39m,\r\n  KL: \u001b[32m'{}'\u001b[39m,\r\n  unit: \u001b[32m'{}'\u001b[39m,\r\n  bits: \u001b[32m'< BsAqRMv 0, BsAqRMv 1, KL _ >'\u001b[39m\r\n}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[32.7306414,"o","-"]
+[32.784453000000006,"o","-"]
+[32.93012100000001,"o"," "]
+[33.024533600000005,"o","t"]
+[33.064451000000005,"o","h"]
+[33.086883,"o","e"]
+[33.1108922,"o"," "]
+[33.1733154,"o","l"]
+[33.2101218,"o","i"]
+[33.2422324,"o","s"]
+[33.3046402,"o","t"]
+[33.3366426,"o"," "]
+[33.424582199999996,"o","o"]
+[33.475839400000005,"o","f"]
+[33.515922,"o"," "]
+[33.640153600000005,"o","c"]
+[33.68234760000001,"o","o"]
+[33.7192138,"o","d"]
+[33.76411,"o","e"]
+[33.8148958,"o","s"]
+[34.58028,"o","."]
+[34.6315922,"o"," "]
+[34.727653600000004,"o","A"]
+[34.825216000000005,"o","c"]
+[34.8764654,"o","t"]
+[35.006927000000005,"o","u"]
+[35.0493362,"o","a"]
+[35.098976,"o","l"]
+[35.1341258,"o","l"]
+[35.182143,"o","y"]
+[35.276526000000004,"o",","]
+[35.323106200000005,"o"," "]
+[35.4350176,"o","'"]
+[35.54067800000001,"o","u"]
+[35.574232200000004,"o","n"]
+[35.6158998,"o","i"]
+[35.673511600000005,"o","t"]
+[35.7794446,"o","'"]
+[35.8435148,"o"," "]
+[35.881832200000005,"o","a"]
+[36.0705442,"o","n"]
+[36.1025248,"o","d"]
+[36.1245854,"o"," "]
+[36.2307642,"o","'"]
+[36.321815199999996,"o","b"]
+[36.422730200000004,"o","i"]
+[36.4947012,"o","t"]
+[36.7107446,"o","s"]
+[36.861388,"o","'"]
+[36.9204834,"o"," "]
+[37.01812760000001,"o","a"]
+[37.0565114,"o","r"]
+[37.0901188,"o","e"]
+[37.1156868,"o"," "]
+[37.194174800000006,"o","a"]
+[37.232599,"o","l"]
+[37.268907000000006,"o","i"]
+[37.298114600000005,"o","a"]
+[37.3589988,"o","s"]
+[37.3990642,"o","e"]
+[37.445478400000006,"o","s"]
+[37.488730800000006,"o"," "]
+[37.6107014,"o","t"]
+[37.7159258,"o","o"]
+[37.7640752,"o"," "]
+[37.9560752,"o","c"]
+[38.0185318,"o","a"]
+[38.0745642,"o","b"]
+[38.160837199999996,"o","\u001b[1G\u001b[0J> -- the list of codes. Actually, 'unit' and 'bits' are aliases to ca\u001b[70G"]
+[38.245985000000005,"o","n"]
+[38.2970898,"o","o"]
+[38.3946506,"o","n"]
+[38.541968000000004,"o","i"]
+[38.7965712,"o","c"]
+[38.83639120000001,"o","a"]
+[38.90840600000001,"o","l"]
+[38.9436868,"o"," "]
+[39.003206000000006,"o","n"]
+[39.0349756,"o","a"]
+[39.063719,"o","m"]
+[39.3710378,"o","e"]
+[39.470265000000005,"o","s"]
+[39.5264402,"o"," "]
+[39.716847800000004,"o","'"]
+[40.024148600000004,"o","K"]
+[40.1938476,"o","L"]
+[40.388972800000005,"o","'"]
+[40.4451478,"o"," "]
+[40.4899302,"o","a"]
+[40.518637000000005,"o","n"]
+[40.550643400000006,"o","d"]
+[40.581142,"o"," "]
+[40.806350800000004,"o","'"]
+[42.602536,"o","B"]
+[42.603031200000004,"o","sAqRMv"]
+[42.807121800000004,"o","'"]
+[43.352665200000004,"o","\r\r\n"]
+[43.3528924,"o","--> {}"]
+[43.35298660000001,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[43.6293388,"o","-"]
+[43.6707864,"o","-"]
+[43.833699800000005,"o","C"]
+[43.893067200000004,"o"," "]
+[44.292835600000004,"o","u"]
+[44.32326380000001,"o","n"]
+[44.359869200000006,"o","i"]
+[44.4111298,"o","t"]
+[44.627302,"o","\r\r\n"]
+[44.627337600000004,"o"," $ KL = {}; -- $C0={};\r\n\u001b[1G\u001b[0J"]
+[44.627467,"o","> \u001b[3G"]
+[45.188282,"o","-"]
+[45.2367232,"o","-"]
+[45.32291240000001,"o"," "]
+[46.2995114,"o","N"]
+[46.35449560000001,"o","o"]
+[46.3878518,"o","w"]
+[46.4533302,"o",","]
+[46.4918026,"o"," "]
+[46.5205384,"o","w"]
+[46.563852600000004,"o","e"]
+[46.6053038,"o"," "]
+[46.6405358,"o","w"]
+[46.6818516,"o","i"]
+[46.727043200000004,"o","l"]
+[46.7620888,"o","l"]
+[46.8021512,"o"," "]
+[46.837278,"o","d"]
+[46.877208800000005,"o","e"]
+[46.923714000000004,"o","f"]
+[46.9603732,"o","i"]
+[47.0020806,"o","n"]
+[47.029205600000004,"o","e"]
+[47.081931,"o"," "]
+[47.3039028,"o","r"]
+[47.3473296,"o","e"]
+[47.397149600000006,"o","l"]
+[47.4305372,"o","a"]
+[47.486577600000004,"o","t"]
+[47.5616472,"o","i"]
+[47.59369960000001,"o","o"]
+[47.6193432,"o","n"]
+[47.657539400000005,"o","s"]
+[47.788700000000006,"o",":"]
+[47.8495348,"o"," "]
+[48.1711622,"o","`"]
+[48.256102600000006,"o"," "]
+[48.4049474,"o","n"]
+[48.43218,"o","a"]
+[48.461245000000005,"o","m"]
+[48.489766,"o","e"]
+[48.5153644,"o"," "]
+[48.6178142,"o","="]
+[48.6802744,"o"," "]
+[48.80316740000001,"o","e"]
+[48.8611578,"o","x"]
+[48.9142364,"o","p"]
+[48.9540596,"o","r"]
+[48.9987778,"o","e"]
+[49.051640600000006,"o","s"]
+[49.09985040000001,"o","s"]
+[49.144357400000004,"o","i"]
+[49.2052502,"o","n"]
+[49.259638800000005,"o"," "]
+[49.4649594,"o","\u001b[1G"]
+[49.465161800000004,"o","\u001b[0J> -- Now, we will define relations: ` name = expressin\u001b[55G"]
+[49.50287180000001,"o","\u001b[1G\u001b[0J> -- Now, we will define relations: ` name = expressi"]
+[49.50288760000001,"o","\u001b[54G"]
+[49.6615994,"o","o"]
+[49.7210418,"o","n"]
+[49.754183000000005,"o"," "]
+[49.8632708,"o",";"]
+[49.914288400000004,"o"," "]
+[49.9524934,"o","`"]
+[50.1384846,"o","\r"]
+[50.138502200000005,"o","\r\n"]
+[50.1390314,"o","--> {}"]
+[50.139053000000004,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[50.788068800000005,"o","e"]
+[50.831391800000006,"o","m"]
+[50.9130496,"o","p"]
+[50.9817774,"o","t"]
+[51.0267192,"o","y"]
+[51.066691,"o"," "]
+[51.2300472,"o","="]
+[51.2811012,"o"," "]
+[51.39796760000001,"o","{"]
+[52.1021518,"o","{"]
+[52.134303200000005,"o","}"]
+[52.215823,"o"," "]
+[52.3872356,"o","_"]
+[52.572843400000004,"o","}"]
+[52.66245760000001,"o"," "]
+[52.8207266,"o",";"]
+[53.030784800000006,"o"," "]
+[53.91090460000001,"o"," "]
+[53.9556074,"o"," "]
+[53.9940208,"o"," "]
+[54.1893792,"o","-"]
+[54.2341696,"o","-"]
+[54.312521000000004,"o"," "]
+[54.64195620000001,"o","a"]
+[54.71545180000001,"o","l"]
+[54.8051102,"o","t"]
+[54.837001799999996,"o","e"]
+[54.862202200000006,"o","r"]
+[54.950639,"o","n"]
+[54.97788880000001,"o","a"]
+[55.00970340000001,"o","t"]
+[55.081736400000004,"o","i"]
+[55.1505644,"o","v"]
+[55.180938600000005,"o","e"]
+[55.214479,"o"," "]
+[55.3218502,"o","s"]
+[55.3521078,"o","y"]
+[55.401896,"o","n"]
+[55.444916400000004,"o","t"]
+[55.4831338,"o","a"]
+[55.560133199999996,"o","x"]
+[55.5969162,"o"," "]
+[55.7012792,"o","i"]
+[55.7282012,"o","s"]
+[55.761756600000005,"o"," "]
+[56.08510760000001,"o","`"]
+[56.256348,"o","{"]
+[56.7347896,"o","_"]
+[56.8565348,"o",":"]
+[56.9690522,"o","{"]
+[57.002248,"o","}"]
+[57.312726,"o","}"]
+[57.3621576,"o","`"]
+[57.9863758,"o","\r"]
+[57.98658520000001,"o","\r\n"]
+[57.98746200000001,"o","--> {}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[58.5338648,"o","_"]
+[58.60887300000001,"o","0"]
+[58.6697818,"o","0"]
+[58.712903,"o","1"]
+[58.8468982,"o"," "]
+[59.0204308,"o","="]
+[59.079667199999996,"o"," "]
+[59.201165,"o","{"]
+[59.389853800000004,"o","0"]
+[59.5062366,"o",":"]
+[59.59634200000001,"o","{"]
+[59.710193000000004,"o","0"]
+[59.9566246,"o",":"]
+[60.03800220000001,"o","{"]
+[60.2669568,"o","1"]
+[60.37417000000001,"o",":"]
+[60.764786400000006,"o","e"]
+[60.8813672,"o","m"]
+[61.08789860000001,"o","p"]
+[61.172876,"o","t"]
+[61.2141934,"o","y"]
+[61.5123284,"o","}"]
+[61.67686700000001,"o","}"]
+[61.754029800000005,"o","}"]
+[61.9617336,"o",";"]
+[62.2532142,"o","\r\r\n"]
+[62.254708400000005,"o","--> {}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[62.539862600000006,"o","-"]
+[63.00578920000001,"o","-"]
+[63.2037552,"o","r"]
+[63.354237000000005,"o","\r\r\n"]
+[63.354380600000006,"o","{ empty: \u001b[32m'{{} _}'\u001b[39m, _001: \u001b[32m'{{{empty 1} 0} 0}'\u001b[39m }\r\n"]
+[63.3544724,"o","\u001b[1G\u001b[0J> \u001b[3G"]
+[64.30758200000001,"o","-"]
+[64.3477996,"o","-"]
+[64.58435180000001,"o","R"]
+[64.70615400000001,"o"," "]
+[65.0231716,"o","e"]
+[65.0776496,"o","m"]
+[65.1703342,"o","p"]
+[65.25178700000001,"o","t"]
+[65.2919366,"o","y"]
+[65.5177936,"o","\r\r\n"]
+[65.51811380000001,"o","  empty : ?(...)  -->  ?<$KL _, ...>\r\n  empty = {{} _};\r\n"]
+[65.5181278,"o","\u001b[1G\u001b[0J> \u001b[3G"]
+[66.74473,"o","-"]
+[66.793065,"o","-"]
+[66.87466060000001,"o"," "]
+[67.0325028,"o","I"]
+[67.115566,"o","f"]
+[67.14626220000001,"o"," "]
+[67.23551400000001,"o","w"]
+[67.2763278,"o","e"]
+[67.3058726,"o"," "]
+[67.3522932,"o","w"]
+[67.401858,"o","a"]
+[67.4354202,"o","n"]
+[67.4865364,"o","t"]
+[67.5233666,"o"," "]
+[67.55227280000001,"o","t"]
+[67.65283980000001,"o","o"]
+[67.69759040000001,"o"," "]
+[68.199934,"o","f"]
+[68.2413826,"o","o"]
+[68.28647620000001,"o","r"]
+[68.4201984,"o","c"]
+[68.4509834,"o","e"]
+[68.4843306,"o"," "]
+[68.65917920000001,"o","o"]
+[68.7044032,"o","u"]
+[68.75210700000001,"o","t"]
+[68.8656598,"o","p"]
+[68.9662656,"o","u"]
+[69.0191042,"o","t"]
+[69.06396099999999,"o"," "]
+[69.1439034,"o","c"]
+[69.1822454,"o","o"]
+[69.207949,"o","d"]
+[69.2510768,"o","e"]
+[69.2731358,"o"," "]
+[69.3167606,"o","t"]
+[69.39062940000001,"o","o"]
+[69.4272984,"o"," "]
+[69.54725499999999,"o","b"]
+[69.6335088,"o","e"]
+[69.7006456,"o"," "]
+[69.9662816,"o","b"]
+[70.0861006,"o","i"]
+[70.140649,"o","t"]
+[70.18710420000001,"o","s"]
+[70.455912,"o",","]
+[70.590056,"o"," "]
+[70.9248626,"o","w"]
+[70.9678192,"o","e"]
+[71.0048764,"o"," "]
+[71.041104,"o","c"]
+[71.10393780000001,"o","o"]
+[71.151723,"o","m"]
+[71.209561,"o","p"]
+[71.2523998,"o","o"]
+[71.2815228,"o","s"]
+[71.3263366,"o","e"]
+[71.3613548,"o"," "]
+[72.1739204,"o","t"]
+[72.2191654,"o","h"]
+[72.24138520000001,"o","e"]
+[72.27659220000001,"o"," "]
+[72.3392574,"o","a"]
+[72.39676419999999,"o","b"]
+[72.4748904,"o","o"]
+[72.53779100000001,"o","v"]
+[72.5650594,"o","e"]
+[72.587849,"o"," "]
+[72.617667,"o","e"]
+[72.6735736,"o","x"]
+[72.8077928,"o","p"]
+[72.8350416,"o","r"]
+[72.88151,"o","e"]
+[72.9392114,"o","s"]
+[72.9823468,"o","s"]
+[73.0248878,"o","i"]
+[73.0623038,"o","o"]
+[73.0908656,"o","n"]
+[73.1281842,"o"," "]
+[73.2046934,"o","w"]
+[73.2494448,"o","i"]
+[73.2991842,"o","t"]
+[73.34225760000001,"o","h"]
+[73.37270240000001,"o"," "]
+[73.5696454,"o","t"]
+[73.610792,"o","y"]
+[73.691179,"o","p"]
+[73.7182462,"o","e"]
+[73.7535054,"o"," "]
+[73.85268860000001,"o","e"]
+[73.9869238,"o","\u001b[1G\u001b[0J> -- If we want to force output code to be bits, we compose the above expression with type \u001b[92G"]
+[74.020804,"o","\u001b[1G\u001b[0J> -- If we want to force output code to be bits, we compose the above expression with type\u001b[91G"]
+[74.05749899999999,"o","\u001b[1G"]
+[74.0575592,"o","\u001b[0J> -- If we want to force output code to be bits, we compose the above expression with typ\u001b[90G"]
+[74.0909438,"o","\u001b[1G\u001b[0J> -- If we want to force output code to be bits, we compose the above expression with ty\u001b[89G"]
+[74.1230802,"o","\u001b[1G\u001b[0J"]
+[74.12312060000001,"o","> -- If we want to force output code to be bits, we compose the above expression with t\u001b[88G"]
+[74.1610454,"o","\u001b[1G"]
+[74.16114900000001,"o","\u001b[0J"]
+[74.1612092,"o","> -- If we want to force output code to be bits, we compose the above expression with "]
+[74.16127300000001,"o","\u001b[87G"]
+[74.295535,"o","c"]
+[74.3327306,"o","o"]
+[74.5631836,"o","d"]
+[74.6127948,"o","e"]
+[74.6495382,"o"," "]
+[74.7102508,"o","e"]
+[74.76947940000001,"o","x"]
+[74.838681,"o","p"]
+[74.879892,"o","r"]
+[74.9182986,"o","e"]
+[74.9725428,"o","s"]
+[75.0158844,"o","s"]
+[75.055742,"o","i"]
+[75.0878376,"o","o"]
+[75.1198842,"o","n"]
+[75.169495,"o"," "]
+[75.5891596,"o","\r"]
+[75.589197,"o","\r\n"]
+[75.5902434,"o","--> {}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[75.9393968,"o","\u001b[1G\u001b[0J> -- If we want to force output code to be bits, we compose the above expression with code expression \u001b[103G"]
+[76.08461220000001,"o","\u001b[1G\u001b[0J"]
+[76.08466120000001,"o","> --R empty\u001b[12G"]
+[76.2926108,"o"," "]
+[76.63034760000001,"o","$"]
+[76.758014,"o","b"]
+[76.8431344,"o","i"]
+[76.899433,"o","t"]
+[76.9391394,"o","s"]
+[77.1391842,"o",";"]
+[77.286479,"o","\r\r\n"]
+[77.2865286,"o"," -- relation 'empty $bits;' not found\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[77.53571060000002,"o","\u001b[1G\u001b[0J"]
+[77.5357546,"o","> --R empty $bits;\u001b[19G"]
+[77.5855494,"o","\u001b[1G\u001b[0J"]
+[77.5855906,"o","> -- If we want to force output code to be bits, we compose the above expression with code expression \u001b[103G"]
+[77.6282644,"o","\u001b[1G\u001b[0J"]
+[77.62837880000001,"o","> --R empty\u001b[12G"]
+[77.69469360000001,"o","\u001b[1G\u001b[0J"]
+[77.69473260000001,"o","> --r\u001b[6G"]
+[77.77706540000001,"o","\u001b[1G\u001b[0J"]
+[77.777197,"o","> _001 = {0:{0:{1:empty}}};\u001b[28G"]
+[78.070454,"o","\u001b[1G\u001b[0J"]
+[78.0704934,"o","> empty = {{} _} ;    -- alternative syntax is `{_:{}}`\u001b[56G"]
+[78.39188460000001,"o","\u001b[1G\u001b[0J"]
+[78.392036,"o","> empty = {{} _} ;    -- alternative syntax is `{_:{}}\u001b[55G"]
+[78.4919136,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- alternative syntax is `{_:{}\u001b[54G"]
+[78.4979684,"o","\u001b[1G\u001b[0J"]
+[78.49806380000001,"o","> empty = {{} _} ;    -- alternative syntax is `{_:{\u001b[53G"]
+[78.50393460000001,"o","\u001b[1G"]
+[78.50409280000001,"o","\u001b[0J> empty = {{} _} ;    -- alternative syntax is `{_:"]
+[78.50412820000001,"o","\u001b[52G"]
+[78.5100346,"o","\u001b[1G"]
+[78.5101278,"o","\u001b[0J> empty = {{} _} ;    -- alternative syntax is `{_"]
+[78.5101416,"o","\u001b[51G"]
+[78.51618380000001,"o","\u001b[1G"]
+[78.5163136,"o","\u001b[0J> empty = {{} _} ;    -- alternative syntax is `{\u001b[50G"]
+[78.52216200000001,"o","\u001b[1G\u001b[0J"]
+[78.5225208,"o","> empty = {{} _} ;    -- alternative syntax is `\u001b[49G"]
+[78.5279412,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- alternative syntax is "]
+[78.5279586,"o","\u001b[48G"]
+[78.5341236,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- alternative syntax is\u001b[47G"]
+[78.540063,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- alternative syntax i\u001b[46G"]
+[78.5464108,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- alternative syntax \u001b[45G"]
+[78.5525904,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- alternative syntax\u001b[44G"]
+[78.5585396,"o","\u001b[1G\u001b[0J"]
+[78.55861240000002,"o","> empty = {{} _} ;    -- alternative synta\u001b[43G"]
+[78.56438320000001,"o","\u001b[1G"]
+[78.56466400000001,"o","\u001b[0J> empty = {{} _} ;    -- alternative synt\u001b[42G"]
+[78.5701116,"o","\u001b[1G"]
+[78.57046980000001,"o","\u001b[0J> empty = {{} _} ;    -- alternative syn\u001b[41G"]
+[78.57651720000001,"o","\u001b[1G"]
+[78.57671880000001,"o","\u001b[0J> empty = {{} _} ;    -- alternative sy\u001b[40G"]
+[78.58251480000001,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- alternative s\u001b[39G"]
+[78.58833120000001,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- alternative \u001b[38G"]
+[78.59425700000001,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- alternative\u001b[37G"]
+[78.6004918,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- alternativ\u001b[36G"]
+[78.6065458,"o","\u001b[1G\u001b[0J"]
+[78.606589,"o","> empty = {{} _} ;    -- alternati\u001b[35G"]
+[78.61214000000001,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- alternat\u001b[34G"]
+[78.6182718,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- alterna\u001b[33G"]
+[78.6242002,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- altern"]
+[78.6242732,"o","\u001b[32G"]
+[78.630205,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- alter\u001b[31G"]
+[78.6360612,"o","\u001b[1G"]
+[78.63613720000001,"o","\u001b[0J> empty = {{} _} ;    -- alte\u001b[30G"]
+[78.6422022,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- alt\u001b[29G"]
+[78.64840000000001,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- al\u001b[28G"]
+[78.65399640000001,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- a\u001b[27G"]
+[78.6604604,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -- \u001b[26G"]
+[78.66617860000001,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    --\u001b[25G"]
+[78.672145,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    -\u001b[24G"]
+[78.6781516,"o","\u001b[1G\u001b[0J> empty = {{} _} ;    \u001b[23G"]
+[78.6840494,"o","\u001b[1G\u001b[0J> empty = {{} _} ;   \u001b[22G"]
+[78.7292484,"o","\u001b[1G\u001b[0J> empty = {{} _} ;  \u001b[21G"]
+[78.76779340000002,"o","\u001b[1G\u001b[0J> empty = {{} _} ; \u001b[20G"]
+[78.8076208,"o","\u001b[1G\u001b[0J> empty = {{} _} ;\u001b[19G"]
+[78.8454492,"o","\u001b[1G\u001b[0J> empty = {{} _} \u001b[18G"]
+[79.095454,"o","$"]
+[79.351303,"o","b"]
+[79.43664860000001,"o","i"]
+[79.4906282,"o","t"]
+[79.52266080000001,"o","s"]
+[79.7531894,"o",";"]
+[80.08775080000001,"o","\r"]
+[80.08790060000001,"o","\r\n"]
+[80.0881274,"o","SymbolTable: rel 'empty' is redefined (lines 2:9...2:21)\r\n"]
+[80.08933780000001,"o","--> {}\r\n\u001b[1G\u001b[0J"]
+[80.08951400000001,"o","> \u001b[3G"]
+[80.4203978,"o","-"]
+[80.45591,"o","-"]
+[80.5519338,"o","R"]
+[80.604838,"o"," "]
+[80.87677500000001,"o","e"]
+[80.9070446,"o","m"]
+[80.9997996,"o","p"]
+[81.07811140000001,"o","t"]
+[81.1115218,"o","y"]
+[81.27324,"o","\r\r\n  empty : ?(...)  -->  ?$BsAqRMv\r\n  empty = {{} _} $BsAqRMv;\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[82.5868444,"o","b"]
+[82.7195402,"o","o"]
+[82.78174800000001,"o","t"]
+[82.8361774,"o","h"]
+[82.88553780000001,"o"," "]
+[83.0598106,"o","r"]
+[83.1684446,"o","\u001b[1G\u001b[0J> both \u001b[8G"]
+[83.2685244,"o","\u001b[1G\u001b[0J"]
+[83.2685452,"o","> both\u001b[7G"]
+[83.27455140000001,"o","\u001b[1G\u001b[0J> bot\u001b[6G"]
+[83.2805764,"o","\u001b[1G"]
+[83.28068880000001,"o","\u001b[0J> bo\u001b[5G"]
+[83.2865238,"o","\u001b[1G\u001b[0J> b\u001b[4G"]
+[83.2929216,"o","\u001b[1G\u001b[0J> \u001b[3G"]
+[83.510201,"o","-"]
+[83.6001384,"o","-"]
+[83.6703042,"o"," "]
+[83.70868580000001,"o"," "]
+[83.81576820000001,"o","b"]
+[83.8957144,"o","i"]
+[83.9627802,"o","t"]
+[84.00431220000002,"o","h"]
+[84.13081120000001,"o","\u001b[1G\u001b[0J"]
+[84.13087860000002,"o","> --  bit\u001b[10G"]
+[84.1672792,"o","\u001b[1G\u001b[0J"]
+[84.1673274,"o","> --  bi"]
+[84.16737520000001,"o","\u001b[9G"]
+[84.20407660000001,"o","\u001b[1G"]
+[84.204144,"o","\u001b[0J> --  b"]
+[84.2042552,"o","\u001b[8G"]
+[84.32826940000001,"o","o"]
+[84.38808900000001,"o","t"]
+[84.42476,"o","h"]
+[84.4549702,"o"," "]
+[84.5704164,"o","r"]
+[84.6088902,"o","e"]
+[84.67569420000001,"o","l"]
+[84.70778560000001,"o","a"]
+[84.75097740000001,"o","t"]
+[84.829265,"o","i"]
+[84.86112920000001,"o","o"]
+[84.8962732,"o","n"]
+[84.9330096,"o","s"]
+[85.0855188,"o",":"]
+[85.1631468,"o"," "]
+[85.3814026,"o","e"]
+[85.4023158,"o","m"]
+[85.5009744,"o","p"]
+[85.5731104,"o","t"]
+[85.61188680000001,"o","y"]
+[85.92019040000001,"o"," "]
+[85.9764358,"o","a"]
+[86.01021940000001,"o","n"]
+[86.0467004,"o","d"]
+[86.0650498,"o"," "]
+[86.43083080000001,"o","_"]
+[86.494791,"o","0"]
+[86.5428864,"o","0"]
+[86.6116406,"o","1"]
+[86.68851640000001,"o"," "]
+[86.8162386,"o","a"]
+[86.8675212,"o","r"]
+[86.90451060000001,"o","e"]
+[86.93989640000001,"o"," "]
+[87.1012974,"o","c"]
+[87.13513760000001,"o","o"]
+[87.1925988,"o","n"]
+[87.2230698,"o","s"]
+[87.2673984,"o","t"]
+[87.30006220000001,"o","a"]
+[87.33670760000001,"o","n"]
+[87.3876704,"o","t"]
+[87.4357906,"o","s"]
+[87.7094388,"o",","]
+[87.74934200000001,"o"," "]
+[87.82325660000001,"o","m"]
+[87.85513580000001,"o","e"]
+[87.9239838,"o","a"]
+[87.954273,"o","n"]
+[87.9943406,"o","i"]
+[88.0230636,"o","n"]
+[88.06461560000001,"o","g"]
+[88.11745680000001,"o"," "]
+[88.1910854,"o","t"]
+[88.2376064,"o","h"]
+[88.33026640000001,"o","e"]
+[88.45768460000001,"o","y"]
+[88.5907056,"o"," "]
+[89.1099078,"o","d"]
+[89.2104578,"o","o"]
+[89.2987612,"o"," "]
+[89.34970200000001,"o","n"]
+[89.4186746,"o","o"]
+[89.52892920000001,"o","t"]
+[89.70037780000001,"o"," "]
+[89.855414,"o","l"]
+[89.90687020000001,"o","o"]
+[89.94664780000001,"o","o"]
+[89.9881178,"o","k"]
+[90.047647,"o"," "]
+[90.1014348,"o","i"]
+[90.1545504,"o","n"]
+[90.301551,"o","\u001b[1G\u001b[0J"]
+[90.3016082,"o","> --  both relations: empty and _001 are constants, meaning they do not look i\u001b[79G"]
+[90.40197060000001,"o","\u001b[1G\u001b[0J"]
+[90.4019894,"o","> --  both relations: empty and _001 are constants, meaning they do not look "]
+[90.40204920000001,"o","\u001b[78G"]
+[90.40784880000001,"o","\u001b[1G\u001b[0J> --  both relations: empty and _001 are constants, meaning they do not look\u001b[77G"]
+[90.413533,"o","\u001b[1G\u001b[0J> --  both relations: empty and _001 are constants, meaning they do not loo\u001b[76G"]
+[90.4195668,"o","\u001b[1G\u001b[0J> --  both relations: empty and _001 are constants, meaning they do not lo\u001b[75G"]
+[90.4256168,"o","\u001b[1G\u001b[0J> --  both relations: empty and _001 are constants, meaning they do not l\u001b[74G"]
+[90.43188140000001,"o","\u001b[1G\u001b[0J> --  both relations: empty and _001 are constants, meaning they do not \u001b[73G"]
+[90.4380706,"o","\u001b[1G\u001b[0J> --  both relations: empty and _001 are constants, meaning they do not\u001b[72G"]
+[90.44396,"o","\u001b[1G\u001b[0J> --  both relations: empty and _001 are constants, meaning they do no\u001b[71G"]
+[90.4497838,"o","\u001b[1G\u001b[0J> --  both relations: empty and _001 are constants, meaning they do n"]
+[90.4498536,"o","\u001b[70G"]
+[90.45584760000001,"o","\u001b[1G\u001b[0J> --  both relations: empty and _001 are constants, meaning they do \u001b[69G"]
+[90.4618738,"o","\u001b[1G\u001b[0J> --  both relations: empty and _001 are constants, meaning they do\u001b[68G"]
+[90.58007860000001,"o"," "]
+[90.6393094,"o","i"]
+[90.7766026,"o","g"]
+[90.8471528,"o","n"]
+[90.90795000000001,"o","o"]
+[90.9735004,"o","r"]
+[91.00240840000001,"o","e"]
+[91.0310942,"o"," "]
+[91.1567742,"o","i"]
+[91.218135,"o","t"]
+[91.26759960000001,"o","s"]
+[91.31733880000002,"o"," "]
+[91.51731480000001,"o","i"]
+[91.5602812,"o","n"]
+[91.63231640000001,"o","p"]
+[91.69178480000001,"o","u"]
+[91.7411024,"o","t"]
+[91.8168086,"o"," "]
+[91.9780896,"o","("]
+[92.0770796,"o","w"]
+[92.47516920000001,"o","i"]
+[92.52795300000001,"o","t"]
+[92.57127400000002,"o","h"]
+[92.6066672,"o"," "]
+[92.6495136,"o","s"]
+[92.685971,"o","h"]
+[92.7167108,"o","a"]
+[92.7486408,"o","t"]
+[92.7775228,"o","e"]
+[92.80143960000001,"o"," "]
+[92.986963,"o","\u001b[1G\u001b[0J"]
+[92.9870314,"o","> --  both relations: empty and _001 are constants, meaning they do ignore its input (with shate\u001b[97G"]
+[93.0237802,"o","\u001b[1G"]
+[93.0238882,"o","\u001b[0J"]
+[93.02390940000001,"o","> --  both relations: empty and _001 are constants, meaning they do ignore its input (with shat\u001b[96G"]
+[93.0589672,"o","\u001b[1G"]
+[93.05905100000001,"o","\u001b[0J"]
+[93.05909700000001,"o","> --  both relations: empty and _001 are constants, meaning they do ignore its input (with sha\u001b[95G"]
+[93.23026320000001,"o","p"]
+[93.2768006,"o","e"]
+[93.3372814,"o"," "]
+[93.44760300000002,"o","?"]
+[93.598411,"o","("]
+[93.6868492,"o","."]
+[93.72573940000001,"o","."]
+[93.7849622,"o","."]
+[93.8809634,"o",")"]
+[94.19601660000001,"o",")"]
+[94.2775744,"o"," "]
+[94.74913120000001,"o","\\"]
+[94.8661856,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
+[95.0820892,"o","="]
+[95.19233100000001,"o","\u001b[1G\u001b[0J"]
+[95.1923692,"o","  \u001b[3G"]
+[95.3491764,"o","-"]
+[95.4034858,"o","-"]
+[95.4941834,"o"," "]
+[95.8256786,"o"," "]
+[95.9057196,"o","a"]
+[96.0593042,"o","n"]
+[96.0960464,"o","d"]
+[96.11826300000001,"o"," "]
+[96.23067700000001,"o","p"]
+[96.272176,"o","r"]
+[96.2977542,"o","o"]
+[96.35029180000001,"o","d"]
+[96.39193,"o","u"]
+[96.45909460000001,"o","c"]
+[96.5070844,"o","e"]
+[96.55029580000001,"o"," "]
+[97.04790120000001,"o","a"]
+[97.1054372,"o"," "]
+[97.1967582,"o","v"]
+[97.23188820000001,"o","a"]
+[97.2960766,"o","l"]
+[97.3565628,"o","u"]
+[97.39501340000001,"o","e"]
+[97.5087364,"o"," "]
+[98.78265720000002,"o","\u001b[1G\u001b[0J  --  and produce a value\u001b[26G"]
+[98.835015,"o","\u001b[1G\u001b[0J  --  and produce a valu\u001b[25G"]
+[98.86528960000001,"o","\u001b[1G"]
+[98.8653108,"o","\u001b[0J  --  and produce a val\u001b[24G"]
+[98.9008508,"o","\u001b[1G\u001b[0J  --  and produce a va\u001b[23G"]
+[98.93592740000001,"o","\u001b[1G\u001b[0J  --  and produce a v\u001b[22G"]
+[98.97103820000001,"o","\u001b[1G\u001b[0J  --  and produce a \u001b[21G"]
+[99.00784060000001,"o","\u001b[1G\u001b[0J  --  and produce a\u001b[20G"]
+[99.0431056,"o","\u001b[1G\u001b[0J  --  and produce \u001b[19G"]
+[99.0910424,"o","a"]
+[99.172779,"o","l"]
+[99.21436220000001,"o","w"]
+[99.26424200000001,"o","a"]
+[99.5953892,"o","y"]
+[99.64164140000001,"o","s"]
+[99.6754674,"o"," "]
+[99.77116740000001,"o","t"]
+[99.80966860000001,"o","h"]
+[99.8204442,"o","e"]
+[99.84948020000002,"o"," "]
+[99.8845122,"o","s"]
+[99.93295,"o","a"]
+[99.95836000000001,"o","m"]
+[99.9855318,"o","e"]
+[100.0110798,"o"," "]
+[100.08954260000002,"o","v"]
+[100.12312580000001,"o","a"]
+[100.18874360000001,"o","l"]
+[100.24959460000001,"o","u"]
+[100.2627784,"o","e"]
+[100.635052,"o","\r"]
+[100.6350746,"o","\r\n"]
+[100.63626060000001,"o","--> {}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[102.1138666,"o","r"]
+[102.1617622,"o","e"]
+[102.27546160000001,"o","v"]
+[102.3073554,"o","e"]
+[102.3331586,"o","r"]
+[102.3712738,"o","s"]
+[102.4222918,"o","e"]
+[102.49931160000001,"o"," "]
+[102.64131780000001,"o","\u001b[1G\u001b[0J> reverse\u001b[10G"]
+[103.00977280000001,"o","_"]
+[103.06735320000001,"o"," "]
+[103.2382656,"o","="]
+[103.28970420000002,"o"," "]
+[104.1260084,"o","$"]
+[104.24279,"o","{"]
+[104.33894000000001,"o","b"]
+[104.41383760000002,"o","i"]
+[104.4731548,"o","t"]
+[104.4986424,"o","s"]
+[104.5326794,"o"," "]
+[104.6663108,"o","i"]
+[104.6967354,"o","n"]
+[104.7817976,"o",","]
+[104.82330560000001,"o"," "]
+[104.89050660000001,"o","b"]
+[104.9784428,"o","i"]
+[105.03769600000001,"o","t"]
+[105.0697238,"o","s"]
+[105.1096926,"o"," "]
+[105.242147,"o","o"]
+[105.2860078,"o","u"]
+[105.33674940000002,"o","t"]
+[105.62786460000001,"o","{"]
+[105.7334752,"o","\u001b[1G\u001b[0J"]
+[105.73351680000002,"o","> reverse_ = ${bits in, bits out\u001b[33G"]
+[105.868358,"o","}"]
+[105.92887000000002,"o"," "]
+[106.2500732,"o","<"]
+[106.3153586,"o"," "]
+[106.41571640000001,"o"," "]
+[106.4217754,"o"," "]
+[106.42764340000002,"o"," "]
+[106.4334334,"o"," "]
+[106.43941400000001,"o"," "]
+[106.44538820000001,"o"," "]
+[106.45159799999999,"o"," "]
+[106.45774260000002,"o"," "]
+[106.4635154,"o"," "]
+[106.4697174,"o"," "]
+[106.47585,"o"," "]
+[106.48191,"o"," "]
+[106.48771300000001,"o"," "]
+[106.494006,"o"," "]
+[106.50002340000002,"o"," "]
+[106.50557020000002,"o"," "]
+[106.5122,"o"," "]
+[106.64211920000001,"o","-"]
+[106.677261,"o","-"]
+[106.79891600000002,"o","\\"]
+[106.8821368,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
+[107.005479,"o"," "]
+[107.102893,"o"," "]
+[107.22747820000001,"o","{"]
+[107.4277316,"o","."]
+[107.510906,"o","i"]
+[107.60044780000001,"o","n"]
+[107.71563300000001,"o","."]
+[107.8084364,"o","o"]
+[108.0335506,"o","\u001b[1G\u001b[0J    {.in.\u001b[10G"]
+[108.1157542,"o","0"]
+[108.4711826,"o"," "]
+[108.58452840000001,"o","i"]
+[108.6613242,"o","n"]
+[108.77020720000002,"o",","]
+[108.81339820000001,"o"," "]
+[108.93671260000002,"o","{"]
+[109.10151739999999,"o","."]
+[109.1735326,"o","o"]
+[109.2437966,"o","u"]
+[109.3080086,"o","t"]
+[109.87447259999999,"o"," "]
+[110.31591800000001,"o","0"]
+[110.53691200000002,"o","}"]
+[110.63134620000001,"o"," "]
+[110.78971220000001,"o","o"]
+[110.83947080000002,"o","u"]
+[110.9049364,"o","t"]
+[111.2537684,"o","}"]
+[111.389256,"o"," "]
+[111.6978038,"o","r"]
+[111.76914099999999,"o","e"]
+[111.84749220000002,"o","v"]
+[111.8907484,"o","e"]
+[111.93549820000001,"o","r"]
+[111.96574840000001,"o","s"]
+[112.02663419999999,"o","e"]
+[112.14819460000001,"o","_"]
+[112.45705760000001,"o",","]
+[112.498722,"o"," "]
+[112.59886540000001,"o"," "]
+[112.6049934,"o"," "]
+[112.61094100000001,"o"," "]
+[112.61705260000002,"o"," "]
+[112.62289240000001,"o"," "]
+[112.6289036,"o"," "]
+[112.6354108,"o"," "]
+[112.64125200000001,"o"," "]
+[112.64747540000002,"o"," "]
+[112.6957574,"o"," "]
+[112.738351,"o"," "]
+[112.77887780000002,"o"," "]
+[112.82040620000001,"o"," "]
+[112.8654636,"o"," "]
+[113.0318354,"o","-"]
+[113.068474,"o","-"]
+[113.330667,"o","\\"]
+[113.6075676,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
+[113.71043320000001,"o"," "]
+[113.7883822,"o"," "]
+[113.94054799999999,"o","{"]
+[114.1485874,"o","."]
+[114.26523680000001,"o","i"]
+[114.3069364,"o","n"]
+[114.4589628,"o","."]
+[114.50532700000002,"o","1"]
+[114.6393488,"o"," "]
+[114.77546520000001,"o","i"]
+[114.80455660000001,"o","n"]
+[114.897199,"o",","]
+[114.95947340000001,"o"," "]
+[115.19651320000001,"o","{"]
+[115.3693358,"o","o"]
+[115.4828026,"o","\u001b[1G\u001b[0J    {.in.1 in, {\u001b[17G"]
+[115.59950200000002,"o","."]
+[115.70348480000001,"o","o"]
+[115.7483106,"o","u"]
+[115.802586,"o","t"]
+[115.8922996,"o"," "]
+[116.0953656,"o","1"]
+[116.205872,"o","}"]
+[116.35122,"o"," "]
+[116.5211912,"o","o"]
+[116.56259920000001,"o","u"]
+[116.62491399999999,"o","t"]
+[116.8664344,"o","}"]
+[116.96655559999999,"o"," "]
+[117.0772372,"o","r"]
+[117.1304748,"o","e"]
+[117.2216052,"o","v"]
+[117.25399460000001,"o","e"]
+[117.2871322,"o","r"]
+[117.3191218,"o","s"]
+[117.3723102,"o","e"]
+[117.52427,"o","_"]
+[117.70639960000001,"o",","]
+[117.7452474,"o"," "]
+[117.8451116,"o"," "]
+[117.85100440000002,"o"," "]
+[117.85727220000001,"o"," "]
+[117.8639176,"o"," "]
+[117.86897520000001,"o"," "]
+[117.8749636,"o"," "]
+[117.8810732,"o"," "]
+[117.8873594,"o"," "]
+[117.94149780000001,"o"," "]
+[117.97353980000001,"o"," "]
+[118.0071184,"o"," "]
+[118.04235040000002,"o"," "]
+[118.07744020000001,"o"," "]
+[118.160676,"o"," "]
+[118.3897354,"o","-"]
+[118.42156580000001,"o","-"]
+[118.58336580000001,"o","\\"]
+[118.8920124,"o","\r"]
+[118.8921134,"o","\r\n\u001b[1G\u001b[0J  \u001b[3G"]
+[119.02127060000001,"o"," "]
+[119.07186220000001,"o"," "]
+[119.2151934,"o","."]
+[119.2888954,"o","o"]
+[119.3385624,"o","u"]
+[119.44244900000001,"o","t"]
+[119.63147260000001,"o"," "]
+[119.7273274,"o",">"]
+[119.86173100000002,"o",";"]
+[120.9098368,"o","\r\r\n"]
+[120.9126152,"o","--> {}"]
+[120.91267760000001,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[121.23159760000001,"o","r"]
+[121.2651152,"o","e"]
+[121.31609000000002,"o","v"]
+[121.3449954,"o","e"]
+[121.36378460000002,"o","r"]
+[121.4007224,"o","s"]
+[121.45548980000001,"o","e"]
+[121.5083414,"o"," "]
+[121.66350500000001,"o","="]
+[121.717535,"o"," "]
+[121.874712,"o","{"]
+[122.36752280000002,"o","("]
+[122.3995702,"o",")"]
+[122.4907766,"o"," "]
+[122.7501694,"o","i"]
+[122.77909520000001,"o","n"]
+[122.8716318,"o",","]
+[122.91004020000001,"o"," "]
+[123.16130040000002,"o","e"]
+[123.18319919999999,"o","m"]
+[123.2299448,"o","p"]
+[123.2940062,"o","t"]
+[123.32925660000001,"o","y"]
+[123.37073960000001,"o"," "]
+[123.5101472,"o","o"]
+[123.553521,"o","u"]
+[123.6109076,"o","t"]
+[123.795072,"o","}"]
+[123.8685258,"o"," "]
+[124.00616980000001,"o","r"]
+[124.03633359999999,"o","e"]
+[124.100507,"o","v"]
+[124.13409280000002,"o","e"]
+[124.15664280000001,"o","r"]
+[124.1917086,"o","s"]
+[124.2492618,"o","e"]
+[124.5166004,"o"," "]
+[124.5965142,"o",";"]
+[125.168075,"o","\r\r\n"]
+[125.17117840000002,"o","--> {}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[125.37599780000001,"o","-"]
+[125.41930420000001,"o","-"]
+[125.5249036,"o","r"]
+[125.67030380000001,"o","\r\r\n"]
+[125.67056720000001,"o","{"]
+[125.67064620000002,"o","\r\n  empty: \u001b[32m'{{} _} $BsAqRMv'\u001b[39m,\r\n  _001: \u001b[32m'{{{empty 1} 0} 0}'\u001b[39m,\r\n  reverse_: \u001b[32m'$DTquzEBzERD <{.in .0 in, {.out 0} out} reverse_, {.in .1 in, {.out 1} out} reverse_, .out>'\u001b[39m,\r\n  reverse: \u001b[32m'{() in, empty out} reverse'\u001b[39m\r\n}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[126.94217180000001,"o","-"]
+[126.9793878,"o","-"]
+[127.07358300000001,"o","R"]
+[127.15985920000001,"o"," "]
+[127.33409,"o","r"]
+[127.3671008,"o","e"]
+[127.46688,"o","v"]
+[127.5037276,"o","e"]
+[127.5261428,"o","r"]
+[127.55955140000002,"o","s"]
+[127.61245200000002,"o","e"]
+[127.92935820000001,"o","\r\r\n  reverse : ?(...)  -->  ?(...)\r\n  reverse = {() in, empty out} reverse;\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[130.53206780000002,"o","\u001b[1G\u001b[0J> --R reverse\u001b[14G"]
+[130.6183096,"o","\u001b[1G\u001b[0J"]
+[130.6183476,"o","> --r\u001b[6G"]
+[130.71113580000002,"o","\u001b[1G\u001b[0J"]
+[130.71126139999998,"o","> reverse = {() in, empty out} reverse ;\u001b[41G"]
+[130.906288,"o","\u001b[1D"]
+[130.9510884,"o","\u001b[1D"]
+[130.9974756,"o","\u001b[1D"]
+[131.05815700000002,"o","\u001b[1C"]
+[131.366847,"o","\u001b[1G\u001b[0J> reverse = {() in, empty out} reverse_ ;\u001b[40G"]
+[131.5238198,"o","\u001b[2C\r"]
+[131.5238918,"o","\r\nSymbolTable: rel 'reverse' is redefined (lines 2:11...2:38)"]
+[131.5239176,"o","\r\n"]
+[131.5268586,"o","--> {}\r\n"]
+[131.52690500000003,"o","\u001b[1G\u001b[0J> \u001b[3G"]
+[131.74792480000002,"o","\u001b[1G\u001b[0J> reverse = {() in, empty out} reverse_ ;\u001b[42G"]
+[131.8292408,"o","\u001b[1G\u001b[0J> --R reverse\u001b[14G"]
+[132.0340278,"o","\r"]
+[132.0341612,"o","\r\n  reverse : ?$BsAqRMv  -->  ?$BsAqRMv\r\n"]
+[132.034228,"o","  reverse = {() in, empty out} reverse_;\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[132.5940352,"o","-"]
+[132.6288292,"o","-"]
+[132.7267366,"o","C"]
+[132.8003682,"o"," "]
+[133.6656544,"o","B"]
+[133.6657088,"o","sAqR"]
+[133.66572060000001,"o","Mv"]
+[133.78134359999999,"o","\r"]
+[133.78139240000002,"o","\r\n"]
+[133.78156980000003,"o"," $ BsAqRMv = < BsAqRMv 0, BsAqRMv 1, KL _ >; -- $C0=<C0\"0\",C0\"1\",C1\"_\">;$C1={};\r\n\u001b[1G\u001b[0J"]
+[133.78160620000003,"o","> \u001b[3G"]
+[135.0004422,"o","-"]
+[135.19410539999998,"o","-"]
+[135.2741306,"o","C"]
+[135.322134,"o"," "]
+[135.3765472,"o","b"]
+[135.4631944,"o","i"]
+[135.5173386,"o","t"]
+[135.5412944,"o","s"]
+[135.6214814,"o","\r\r\n"]
+[135.621526,"o"," $ BsAqRMv = < BsAqRMv 0, BsAqRMv 1, KL _ >; -- $C0=<C0\"0\",C0\"1\",C1\"_\">;$C1={};\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[137.17990700000001,"o","_"]
+[137.2455414,"o","0"]
+[137.30477760000002,"o","0"]
+[137.437316,"o","1"]
+[137.5702562,"o","\r"]
+[137.5703102,"o","\r\n"]
+[137.57313200000002,"o","--> {\"0\":{\"0\":{\"1\":{\"_\":{}}}}}\r\n"]
+[137.573162,"o","\u001b[1G\u001b[0J> \u001b[3G"]
+[138.117792,"o","r"]
+[138.1641352,"o","e"]
+[138.2216462,"o","v"]
+[138.2569378,"o","e"]
+[138.2873136,"o","r"]
+[138.3224934,"o","s"]
+[138.3721074,"o","e"]
+[138.53718160000003,"o","\r\r\n"]
+[138.5400394,"o","--> {\"1\":{\"0\":{\"0\":{\"_\":{}}}}}\r\n\u001b[1G"]
+[138.54005560000002,"o","\u001b[0J> \u001b[3G"]
+[138.9351972,"o","r"]
+[138.9943072,"o","e"]
+[139.1667664,"o","v"]
+[139.1990666,"o","e"]
+[139.2293528,"o","r"]
+[139.2599698,"o","s"]
+[139.3110652,"o","e"]
+[139.4728492,"o","\r\r\n"]
+[139.47553660000003,"o","--> {\"0\":{\"0\":{\"1\":{\"_\":{}}}}}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[140.1938844,"o","_"]
+[140.3958158,"o","\u001b[1G"]
+[140.3958852,"o","\u001b[0J> \u001b[3G"]
+[140.5064474,"o","t"]
+[140.66606240000002,"o","o"]
+[140.7459292,"o","S"]
+[140.7891092,"o","t"]
+[140.8275192,"o","r"]
+[140.90121140000002,"o"," "]
+[141.054669,"o","="]
+[141.098062,"o"," "]
+[141.20028520000002,"o","<"]
+[141.264339,"o"," "]
+[141.71075340000002,"o","."]
+[141.89137720000002,"o","0"]
+[142.08496,"o"," "]
+[142.20911759999998,"o","["]
+[142.2817238,"o","\""]
+[142.5250356,"o","0"]
+[142.63349100000002,"o","\""]
+[142.75033900000003,"o",","]
+[142.8863646,"o","t"]
+[142.9823274,"o","o"]
+[143.1198064,"o","S"]
+[143.1613934,"o","t"]
+[143.19828600000002,"o","r"]
+[143.3995332,"o","]"]
+[143.46231540000002,"o"," "]
+[143.6443254,"o","C"]
+[143.7963316,"o","O"]
+[143.847767,"o","N"]
+[143.92933660000003,"o","C"]
+[143.96312740000002,"o","A"]
+[143.9997676,"o","T"]
+[144.2031624,"o",","]
+[144.2689758,"o"," "]
+[144.53864819999998,"o","."]
+[144.6411572,"o","1"]
+[144.716331,"o"," "]
+[144.8299632,"o","["]
+[144.9178048,"o","\""]
+[145.001132,"o","1"]
+[145.0829514,"o","\""]
+[145.3579496,"o",","]
+[145.4523002,"o","t"]
+[145.54518860000002,"o","o"]
+[145.666561,"o","S"]
+[145.6987048,"o","t"]
+[145.7389946,"o","r"]
+[145.92591960000001,"o","]"]
+[146.00747940000002,"o"," "]
+[146.21293020000002,"o","C"]
+[146.30667860000003,"o","O"]
+[146.3643902,"o","N"]
+[146.43160840000002,"o","C"]
+[146.4666604,"o","A"]
+[146.5102564,"o","T"]
+[146.6875818,"o",","]
+[146.7276032,"o"," "]
+[146.8618268,"o","\""]
+[146.89586260000002,"o","\""]
+[147.0889802,"o"," "]
+[147.15666940000003,"o",">"]
+[147.439651,"o",";"]
+[147.7918446,"o","\r"]
+[147.7919756,"o","\r\n"]
+[147.796019,"o","--> {\"0\":{\"0\":{\"1\":{\"_\":{}}}}}"]
+[147.79607719999998,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[148.3890542,"o","t"]
+[148.4850712,"o","o"]
+[148.55823640000003,"o","S"]
+[148.60613940000002,"o","t"]
+[148.6462596,"o","r"]
+[148.9440532,"o","\r\r\n"]
+[148.948338,"o","--> \"001\"\r\n"]
+[148.9485592,"o","\u001b[1G\u001b[0J> \u001b[3G"]
+[150.07214,"o","_"]
+[150.1472692,"o","0"]
+[150.22106300000002,"o","0"]
+[150.2736782,"o","1"]
+[150.4591602,"o"," "]
+[150.56980000000001,"o","r"]
+[150.61909680000002,"o","e"]
+[150.6625788,"o","v"]
+[150.691227,"o","e"]
+[150.7167182,"o","r"]
+[150.74550200000002,"o","s"]
+[150.79546620000002,"o","e"]
+[150.857097,"o"," "]
+[150.99505580000002,"o","t"]
+[151.076893,"o","o"]
+[151.153505,"o","S"]
+[151.21900820000002,"o","t"]
+[151.25749800000003,"o","r"]
+[151.3794722,"o","\r\r\n"]
+[151.38448920000002,"o","--> \"100\"\r\n\u001b[1G\u001b[0J"]
+[151.3845372,"o","> \u001b[3G"]
+[151.86963699999998,"o","c"]
+[151.9230378,"o","o"]
+[151.9755724,"o","n"]
+[152.0285938,"o","c"]
+[152.058935,"o","a"]
+[152.08964020000002,"o","t"]
+[152.1178872,"o"," "]
+[152.3051902,"o","="]
+[152.35022260000002,"o"," "]
+[152.83983320000002,"o","{"]
+[153.65363620000002,"o","\u001b[1G\u001b[0J> concat = \u001b[12G"]
+[153.7467514,"o","$"]
+[153.9067534,"o","{"]
+[153.9962756,"o","b"]
+[154.05708320000002,"o","i"]
+[154.114709,"o","t"]
+[154.1483102,"o","s"]
+[154.22686620000002,"o"," "]
+[154.3786758,"o","x"]
+[154.4346462,"o",","]
+[154.467982,"o"," "]
+[154.6424426,"o","b"]
+[154.70319400000002,"o","i"]
+[154.75783080000002,"o","t"]
+[154.78678620000002,"o","s"]
+[155.0038872,"o"," "]
+[155.2245746,"o","y"]
+[155.4793042,"o","}"]
+[155.60658180000001,"o"," "]
+[155.8074518,"o","{"]
+[155.98132520000001,"o","."]
+[156.14466240000002,"o","x"]
+[156.3015004,"o","."]
+[156.4053646,"o","\u001b[1G\u001b[0J> concat = ${bits x, bits y} {.x\u001b[33G"]
+[156.4567204,"o"," "]
+[156.5649788,"o","r"]
+[156.59884720000002,"o","e"]
+[156.63114760000002,"o","v"]
+[156.65819320000003,"o","e"]
+[156.6739828,"o","r"]
+[156.71431640000003,"o","s"]
+[156.76536140000002,"o","e"]
+[156.7972576,"o"," "]
+[156.95590600000003,"o","i"]
+[156.9877858,"o","n"]
+[157.06937620000002,"o",","]
+[157.10616460000003,"o"," "]
+[157.238794,"o","."]
+[157.33812160000002,"o","y"]
+[157.41975480000002,"o"," "]
+[157.85327560000002,"o","o"]
+[157.9012408,"o","u"]
+[157.96051980000001,"o","t"]
+[158.1777678,"o","}"]
+[158.26126520000003,"o"," "]
+[158.430878,"o","r"]
+[158.480551,"o","e"]
+[158.5283698,"o","v"]
+[158.560356,"o","e"]
+[158.5859514,"o","r"]
+[158.6179612,"o","s"]
+[158.6693348,"o","e"]
+[158.754092,"o","_"]
+[158.9349218,"o",";"]
+[159.019875,"o","\r\r\n"]
+[159.0246492,"o","--> \"100\"\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[159.3672052,"o","-"]
+[159.40379800000002,"o","-"]
+[159.6245584,"o","R"]
+[159.6998142,"o"," "]
+[159.8471628,"o","c"]
+[159.9000038,"o","o"]
+[159.99453340000002,"o","n"]
+[160.0535424,"o","c"]
+[160.0854926,"o","a"]
+[160.10849100000001,"o","t"]
+[160.3094446,"o","\r"]
+[160.3094714,"o","\r\n  concat : ?$PvIWGWZBVz  -->  ?$BsAqRMv"]
+[160.3097348,"o","\r\n  concat = $PvIWGWZBVz {.x reverse in, .y out} reverse_;\r\n"]
+[160.30981400000002,"o","\u001b[1G\u001b[0J> "]
+[160.30995140000002,"o","\u001b[3G"]
+[161.27138820000002,"o","-"]
+[161.3017244,"o","-"]
+[161.39132180000001,"o","C"]
+[161.4777918,"o"," "]
+[162.0535632,"o","Pv"]
+[162.0536552,"o","I"]
+[162.05369800000003,"o","WGWZBVz"]
+[162.18838300000002,"o","\r"]
+[162.1885632,"o","\r\n"]
+[162.18858520000003,"o"," $ PvIWGWZBVz = {BsAqRMv x, BsAqRMv y}; -- $C0={C1\"x\",C1\"y\"};$C1=<C1\"0\",C1\"1\",C2\"_\">;$C2={};\r\n"]
+[162.1886006,"o","\u001b[1G\u001b[0J"]
+[162.18862220000003,"o","> "]
+[162.18874860000003,"o","\u001b[3G"]
+[164.6636286,"o","_"]
+[164.94510860000003,"o","0"]
+[165.05546320000002,"o","0"]
+[165.1114904,"o","1"]
+[165.18671080000001,"o"," "]
+[165.4794942,"o","{"]
+[165.65246660000003,"o","("]
+[165.68610180000002,"o",")"]
+[165.76597040000001,"o"," "]
+[165.878034,"o","x"]
+[165.9483438,"o",","]
+[165.98828880000002,"o"," "]
+[166.1692812,"o","("]
+[166.20291,"o",")"]
+[166.29731260000003,"o"," "]
+[166.4321772,"o","y"]
+[166.69728220000002,"o","}"]
+[166.79316040000003,"o"," "]
+[166.9611152,"o","c"]
+[167.0140646,"o","o"]
+[167.0698896,"o","n"]
+[167.13568320000002,"o","c"]
+[167.1710648,"o","a"]
+[167.2013128,"o","t"]
+[167.39672900000002,"o"," "]
+[167.5835472,"o","{"]
+[167.7083574,"o","{"]
+[167.79516260000003,"o","}"]
+[167.87978780000003,"o","\u001b[1G\u001b[0J> _001 {() x, () y} concat {{\u001b[30G"]
+[167.914882,"o","\u001b[1G\u001b[0J> _001 {() x, () y} concat {\u001b[29G"]
+[168.0541144,"o","("]
+[168.0861404,"o",")"]
+[168.22541260000003,"o"," "]
+[168.3578622,"o","x"]
+[168.63666080000002,"o",","]
+[168.6765574,"o"," "]
+[168.941915,"o","("]
+[168.9741928,"o",")"]
+[169.0285206,"o"," "]
+[169.08150700000002,"o","y"]
+[169.21423660000002,"o","}"]
+[169.4174618,"o"," "]
+[169.5965486,"o","c"]
+[169.659269,"o","o"]
+[169.715123,"o","n"]
+[169.7854494,"o","c"]
+[169.8176592,"o","a"]
+[169.8543046,"o","t"]
+[169.97476300000002,"o"," "]
+[170.07648500000002,"o","t"]
+[170.16462660000002,"o","o"]
+[170.2383034,"o","S"]
+[170.28834,"o","t"]
+[170.45274500000002,"o","r"]
+[170.5297126,"o","\r\r\n"]
+[170.5352882,"o","--> \"001001001001\"\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[171.714068,"o","-"]
+[171.7984824,"o","-"]
+[171.8975962,"o"," "]
+[171.98554220000003,"o","l"]
+[172.02250160000003,"o","i"]
+[172.0593136,"o","s"]
+[172.10411380000002,"o","t"]
+[172.14239880000002,"o"," "]
+[172.2544578,"o","c"]
+[172.3075232,"o","o"]
+[172.35694160000003,"o","m"]
+[172.475399,"o","p"]
+[172.55199960000002,"o","r"]
+[172.5904188,"o","e"]
+[172.63364380000002,"o","h"]
+[172.6673274,"o","e"]
+[172.69965620000002,"o","n"]
+[172.7956618,"o","s"]
+[172.82890740000002,"o","i"]
+[172.86458140000002,"o","o"]
+[172.8880784,"o","n"]
+[173.26590620000002,"o",":"]
+[173.36494760000002,"o","\u001b[1G"]
+[173.3649968,"o","\u001b[0J"]
+[173.36505060000002,"o","> -- list comprehension\u001b[24G"]
+[173.4114558,"o"," "]
+[173.5075564,"o","u"]
+[173.54736820000002,"o","n"]
+[173.58581360000002,"o","i"]
+[173.9359402,"o","\u001b[1G\u001b[0J> -- list comprehension un\u001b[27G"]
+[173.98235060000002,"o","\u001b[1G\u001b[0J> -- list comprehension u\u001b[26G"]
+[174.105876,"o","s"]
+[174.163656,"o","i"]
+[174.2097568,"o","n"]
+[174.2529634,"o","g"]
+[174.2785298,"o"," "]
+[174.4993088,"o","|"]
+[174.5855922,"o"," "]
+[174.8505252,"o","("]
+[175.1983136,"o","u"]
+[175.2429088,"o","n"]
+[175.3421714,"o","b"]
+[175.54529460000003,"o","o"]
+[175.57473500000003,"o","x"]
+[175.6713214,"o",")"]
+[175.76288820000002,"o"," "]
+[176.1515764,"o","a"]
+[176.22338680000001,"o","n"]
+[176.25072880000002,"o","d"]
+[176.2728586,"o"," "]
+[176.4506704,"o","\""]
+[176.5303262,"o","\u001b[1G\u001b[0J"]
+[176.53036480000003,"o","> -- list comprehension using | (unbox) and \u001b[45G"]
+[176.77848140000003,"o","^"]
+[176.8200012,"o"," "]
+[177.0056198,"o","("]
+[177.1864836,"o","b"]
+[177.29188620000002,"o","o"]
+[177.34311620000003,"o","x"]
+[177.4374818,"o",")"]
+[177.9265392,"o","\r\r\n"]
+[177.93231980000002,"o","--> \"001001001001\""]
+[177.93259220000002,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[178.328561,"o","t"]
+[178.49327760000003,"o","o"]
+[178.6516604,"o","C"]
+[178.8258856,"o","\u001b[1G"]
+[178.825904,"o","\u001b[0J> to\u001b[5G"]
+[178.9984032,"o","V"]
+[179.05007780000003,"o","E"]
+[179.0932934,"o","C"]
+[179.5820376,"o","\r\r\n"]
+[183.8931664,"o","--> [\"0\",\"0\",\"1\",\"0\",\"0\",\"1\",\"0\",\"0\",\"1\",\"0\",\"0\",\"1\"]\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[184.38359720000003,"o","|"]
+[184.4879728,"o"," "]
+[184.75967060000002,"o","<"]
+[185.0136212,"o"," "]
+[185.2957974,"o","."]
+[185.48770820000001,"o","0"]
+[185.87343040000002,"o"," "]
+[186.159815,"o","\""]
+[186.71826860000002,"o","\u001b[1G"]
+[186.71834280000002,"o","\u001b[0J"]
+[186.7185238,"o","> | < .0 \u001b[10G"]
+[187.0240008,"o","0"]
+[187.34714,"o",","]
+[187.38733760000002,"o"," "]
+[187.66242620000003,"o","."]
+[187.73132180000002,"o","1"]
+[187.8864552,"o"," "]
+[187.96199360000003,"o","1"]
+[188.45130300000002,"o",">"]
+[188.58865260000002,"o"," "]
+[189.37288320000002,"o","^"]
+[190.2197494,"o","\r\r\n"]
+[190.2206504,"o","--> [0,0,1,0,0,1,0,0,1,0,0,1]\r\n"]
+[190.22068960000001,"o","\u001b[1G"]
+[190.2207266,"o","\u001b[0J> \u001b[3G"]
+[190.68692180000002,"o","|"]
+[190.84998000000002,"o"," "]
+[191.142785,"o","["]
+[191.32820040000001,"o","("]
+[191.37176620000002,"o",")"]
+[191.5525408,"o",","]
+[191.65802480000002,"o","("]
+[191.6964508,"o",")"]
+[191.8484642,"o",","]
+[191.9269392,"o","("]
+[191.966922,"o",")"]
+[192.1441388,"o","]"]
+[192.3012454,"o"," "]
+[192.4354518,"o","P"]
+[192.475602,"o","L"]
+[192.5314836,"o","U"]
+[192.57631220000002,"o","S"]
+[192.6709032,"o"," "]
+[192.82917460000002,"o","\""]
+[192.92011660000003,"o","\u001b[1G\u001b[0J> | [(),(),()] PLUS \u001b[21G"]
+[193.140982,"o","^"]
+[193.4095264,"o","\r\r\n"]
+[193.4105854,"o","--> [0,0,3,0,0,3,0,0,3,0,0,3]\r\n\u001b[1G\u001b[0J> \u001b[3G"]