@fraczak/k 4.0.3 → 5.0.0

package/demo.cast

@@ -1,1772 +0,0 @@
-{"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"]