@fraczak/k 4.0.4 → 5.0.1

package/k-repl.cast~

@@ -1,1939 +0,0 @@
-{"version":2,"width":80,"height":24,"timestamp":1726625821,"idle_time_limit":1.2,"env":{"SHELL":"/bin/bash","TERM":"xterm-256color"}}
-[0.0177552,"o","\u001b]0;wojtek@mac:~\u0007"]
-[0.018949800000000003,"o","\u001b]777;notify;Command completed;exit\u001b\\\u001b]777;precmd\u001b\\"]
-[0.019338400000000002,"o","\u001b]7;file://mac/home/wojtek\u001b\\"]
-[0.0194486,"o","\u001b[?2004h\u001b]133;D;0\u001b\\\u001b]133;A\u001b\\\u001b[32mwojtek@mac\u001b[0m:\u001b[32m~\u001b[0m$\u001b[0m \u001b]133;B\u001b\\"]
-[0.9537682000000001,"o","s"]
-[0.982345,"o","u"]
-[1.022629,"o","d"]
-[1.0625608,"o","o"]
-[1.101126,"o"," "]
-[1.4788712000000002,"o","n"]
-[1.5875676,"o","p"]
-[1.649695,"o","m"]
-[1.699083,"o"," "]
-[1.8082380000000002,"o","i"]
-[1.8529022000000002,"o"," "]
-[2.095037,"o","@"]
-[2.1604,"o","f"]
-[2.196933,"o","r"]
-[2.2289674,"o","a"]
-[2.25614,"o","c"]
-[2.2832572,"o","z"]
-[2.3330616,"o","a"]
-[2.3603216000000002,"o","k"]
-[2.4785332,"o","/"]
-[2.7120522000000005,"o","k"]
-[2.756975,"o"," "]
-[3.0337882,"o","-"]
-[3.1597906,"o","g"]
-[3.272041,"o","\r\n\u001b[?2004l\r\u001b]133;C\u001b\\\r\u001b]777;preexec\u001b\\"]
-[3.3107808,"o","[sudo] password for wojtek: "]
-[4.144112,"o","\r\n"]
-[4.3127092,"o","\u001b[?25l"]
-[4.3136808,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.3231872000000005,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.3329662,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.3433672,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.3535905999999995,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.363969,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.3740792,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.384377400000001,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.3944234,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.4047476,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.4148454,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.4249514,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.4353618,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.4452504,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.455377,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.4655664,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.4752954,"o","(\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠦ idealTree:lib: \u001b[7msill\u001b[0m \u001b[35midealTree\u001b[0m buildDeps\u001b[0m\u001b[K\r"]
-[4.4857743999999995,"o","(\u001b[107;97m#########\u001b[0m\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠋ reify:@fraczak/k: \u001b[32;40mtiming\u001b[0m \u001b[35mreify:loadBundles\u001b[0m Completed in\u001b[0m\u001b[K\r"]
-[4.4953164,"o","(\u001b[107;97m#########\u001b[0m\u001b[100;90m⠂⠂⠂⠂⠂⠂⠂⠂⠂\u001b[0m) ⠋ reify:@fraczak/k: \u001b[32;40mtiming\u001b[0m \u001b[35mreify:loadBundles\u001b[0m Completed in\u001b[0m\u001b[K\r"]
-[4.4989904,"o","\r\u001b[K\u001b[?25h"]
-[4.4995652,"o","\r\nchanged 1 package in 1s"]
-[4.4997940000000005,"o","\r\n"]
-[4.5056284,"o","\u001b]0;wojtek@mac:~\u0007"]
-[4.5067658,"o","\u001b]777;notify;Command completed;sudo npm i @fraczak/k -g\u001b\\\u001b]777;precmd\u001b\\"]
-[4.5073458,"o","\u001b]7;file://mac/home/wojtek\u001b\\\u001b[?2004h\u001b]133;D;0\u001b\\\u001b]133;A\u001b\\\u001b[32mwojtek@mac\u001b[0m:\u001b[32m~\u001b[0m$\u001b[0m \u001b]133;B\u001b\\"]
-[5.123277600000001,"o","k"]
-[5.2273346,"o","-"]
-[5.2719892,"o","r"]
-[5.326494,"o","e"]
-[5.3615998000000005,"o","p"]
-[5.404944400000001,"o","l"]
-[5.5710592000000005,"o","\r\n\u001b[?2004l\r"]
-[5.5710764,"o","\u001b]133;C\u001b\\\r\u001b]777;preexec\u001b\\"]
-[5.6119268,"o","Very! experimental repl shell for 'k-language'...\r\n"]
-[5.611951400000001,"o","  --c            print aliased codes\r\n  --C code       print 'code' definition\r\n  --r            print relations\r\n  --R rel        print 'rel' definition with type patterns\r\n  --p (--pp)     pretty-print last value\r\n  --s (--g) reg  store (get) the current value in (from) register 'reg'\r\n  --regs         print register names\r\n  --l file.k     load 'file.k'\r\n"]
-[5.6123718,"o","\u001b[1G"]
-[5.612387,"o","\u001b[0J"]
-[5.6124004,"o","> \u001b[3G"]
-[7.0840434000000005,"o","D"]
-[7.1313138,"o","E"]
-[7.2717766,"o","M"]
-[7.328242,"o","O"]
-[7.5358042,"o","\u001b[1G"]
-[7.535945,"o","\u001b[0J> DEM\u001b[6G"]
-[7.572777800000001,"o","\u001b[1G\u001b[0J"]
-[7.5729328,"o","> DE\u001b[5G"]
-[7.6062806,"o","\u001b[1G\u001b[0J> D\u001b[4G"]
-[7.673641600000001,"o","\u001b[1G\u001b[0J"]
-[7.6737340000000005,"o","> \u001b[3G"]
-[7.8049356,"o","-"]
-[7.8433824,"o","-"]
-[7.9638638,"o"," "]
-[8.086576599999999,"o","D"]
-[8.123181800000001,"o","E"]
-[8.2494588,"o","M"]
-[8.300921,"o","O"]
-[8.502488,"o",":"]
-[8.5793432,"o"," "]
-[8.8847672,"o","c"]
-[8.934530200000001,"o","o"]
-[8.9759884,"o","m"]
-[9.0112828,"o","m"]
-[9.0447848,"o","e"]
-[9.070350600000001,"o","n"]
-[9.1132116,"o","t"]
-[9.1887694,"o","s"]
-[9.2304582,"o"," "]
-[9.307225800000001,"o","s"]
-[9.346949200000001,"o","t"]
-[9.3921434,"o","a"]
-[9.4198656,"o","r"]
-[9.4546518,"o","t"]
-[9.519923799999999,"o"," "]
-[9.6082076,"o","w"]
-[9.694341000000001,"o","i"]
-[9.738975600000002,"o","t"]
-[9.783894400000001,"o","h"]
-[9.8256498,"o"," "]
-[9.9746016,"o","'"]
-[10.0768812,"o","-"]
-[10.1583942,"o","-"]
-[10.371396,"o","'"]
-[10.432177600000001,"o"," "]
-[10.6828438,"o","\u001b[1G\u001b[0J"]
-[10.682916800000001,"o","> -- DEMO: comments start with '--'\u001b[36G"]
-[10.775987200000001,"o",","]
-[10.8175916,"o"," "]
-[11.0095028,"o","l"]
-[11.0511952,"o","i"]
-[11.0797288,"o","k"]
-[11.1068856,"o","e"]
-[11.140724200000001,"o"," "]
-[11.179135800000001,"o","t"]
-[11.214381600000001,"o","h"]
-[11.292680400000002,"o","i"]
-[11.3330536,"o","s"]
-[11.361581600000001,"o"," "]
-[11.4383388,"o","l"]
-[11.484918200000001,"o","i"]
-[11.6155372,"o","n"]
-[11.6511028,"o","e"]
-[11.7884306,"o"," "]
-[11.961087000000001,"o","\\"]
-[12.6975408,"o","\r\r\n\u001b[1G"]
-[12.6979962,"o","\u001b[0J  \u001b[3G"]
-[13.127546200000001,"o","-"]
-[13.174463000000001,"o","-"]
-[13.294411600000002,"o"," "]
-[13.471694800000002,"o","T"]
-[13.507074000000001,"o","y"]
-[13.600807800000002,"o","p"]
-[13.638278800000002,"o","e"]
-[13.695788400000001,"o","s"]
-[13.7246402,"o"," "]
-[13.8415328,"o","("]
-[14.2462652,"o","c"]
-[14.3118166,"o","a"]
-[14.337439400000001,"o","l"]
-[14.3741938,"o","l"]
-[14.398242600000001,"o","e"]
-[14.4557606,"o","d"]
-[14.479617400000002,"o"," "]
-[14.5853998,"o","'"]
-[14.6415224,"o","c"]
-[14.699166600000002,"o","o"]
-[14.7342534,"o","d"]
-[14.783408000000001,"o","e"]
-[14.8446104,"o","s"]
-[14.9183438,"o","'"]
-[14.978828,"o"," "]
-[15.102042,"o","h"]
-[15.132775200000001,"o","e"]
-[15.167895600000001,"o","r"]
-[15.196614,"o","e"]
-[15.423574400000001,"o",")"]
-[15.6509988,"o",":"]
-[15.7730166,"o"," "]
-[15.969305,"o","'"]
-[16.1100458,"o"," "]
-[16.374207600000002,"o","$"]
-[16.4718124,"o"," "]
-[16.514834200000003,"o","c"]
-[16.551817800000002,"o","o"]
-[16.6018176,"o","d"]
-[16.6481798,"o","e"]
-[16.721369000000003,"o","-"]
-[16.8062932,"o","n"]
-[16.8381674,"o","a"]
-[16.8707846,"o","m"]
-[16.907043400000003,"o","e"]
-[16.9501768,"o"," "]
-[17.0204746,"o","="]
-[17.0733498,"o"," "]
-[17.1149676,"o","c"]
-[17.1597024,"o","o"]
-[17.2017218,"o","d"]
-[17.251052,"o","e"]
-[17.3117574,"o","-"]
-[17.3965982,"o","e"]
-[17.465394200000002,"o","x"]
-[17.538967600000003,"o","p"]
-[17.5743136,"o","r"]
-[17.6189232,"o","e"]
-[17.6765752,"o","s"]
-[17.719638200000002,"o","s"]
-[17.7599752,"o","i"]
-[17.791747,"o","o"]
-[17.848860600000002,"o","n"]
-[18.012752000000003,"o"," "]
-[18.1468192,"o",";"]
-[18.1932278,"o"," "]
-[18.2749662,"o","'"]
-[18.3306412,"o"," "]
-[18.431666000000003,"o","\\"]
-[18.7196274,"o","\r\r\n"]
-[18.7196658,"o","\u001b[1G\u001b[0J  \u001b[3G"]
-[19.1909728,"o","$"]
-[19.2670108,"o"," "]
-[19.3580956,"o","u"]
-[19.3946408,"o","n"]
-[19.4381604,"o","i"]
-[19.486676000000003,"o","t"]
-[19.526134,"o"," "]
-[19.7794248,"o","="]
-[19.8215836,"o"," "]
-[19.9500642,"o","{"]
-[20.040858800000002,"o"," "]
-[20.161379800000002,"o","}"]
-[20.2416018,"o"," "]
-[20.293986200000003,"o",";"]
-[20.3758188,"o"," "]
-[20.5851292,"o","-"]
-[20.6203518,"o","-"]
-[20.764449600000003,"o"," "]
-[20.877828,"o","e"]
-[20.953279800000004,"o","m"]
-[21.0009266,"o","p"]
-[21.0764248,"o","t"]
-[21.116545000000002,"o","y"]
-[21.151859200000004,"o"," "]
-[21.233332200000003,"o","p"]
-[21.274763800000002,"o","r"]
-[21.2987158,"o","o"]
-[21.356238,"o","d"]
-[21.4060048,"o","u"]
-[21.4443978,"o","c"]
-[21.474930200000003,"o","t"]
-[21.857254,"o",","]
-[21.898710800000003,"o"," "]
-[21.990064200000003,"o","r"]
-[22.024988200000003,"o","a"]
-[22.119828400000003,"o","r"]
-[22.1599282,"o","e"]
-[22.217555200000003,"o","l"]
-[22.329332,"o","y"]
-[22.344659,"o"," "]
-[22.4076182,"o","u"]
-[22.4540016,"o","s"]
-[22.5049976,"o","e"]
-[22.550015200000004,"o","d"]
-[22.583576400000002,"o"," "]
-[22.639592800000003,"o","a"]
-[22.687639,"o","s"]
-[22.724485400000002,"o"," "]
-[22.9466186,"o","t"]
-[22.983695400000002,"o","y"]
-[23.1324532,"o","p"]
-[23.177179600000002,"o","i"]
-[23.2237362,"o","n"]
-[23.262004,"o","g"]
-[23.297272200000002,"o"," "]
-[23.455611,"o","'"]
-[23.591844800000004,"o","{"]
-[23.628322600000004,"o","}"]
-[23.809329,"o","'"]
-[23.935509800000002,"o"," "]
-[24.057607,"o","i"]
-[24.087492,"o","s"]
-[24.119715,"o"," "]
-[24.314674800000002,"o","s"]
-[24.3371918,"o","h"]
-[24.4076744,"o","o"]
-[24.469848400000004,"o","r"]
-[24.5050308,"o","t"]
-[24.533919400000002,"o","e"]
-[24.548729800000004,"o","r"]
-[24.694002400000002,"o"," "]
-[24.8058708,"o","\\"]
-[26.017975800000002,"o","\r\r\n"]
-[26.018017,"o","\u001b[1G\u001b[0J  "]
-[26.018634,"o","\u001b[3G"]
-[26.582357200000004,"o","$"]
-[26.6890094,"o"," "]
-[27.3418818,"o","b"]
-[27.428285799999998,"o","i"]
-[27.4778484,"o","t"]
-[27.5098174,"o","s"]
-[27.532631800000004,"o"," "]
-[27.7322482,"o","="]
-[27.7771504,"o"," "]
-[27.974852,"o","<"]
-[28.146635400000005,"o"," "]
-[28.653942,"o","u"]
-[28.690663400000002,"o","n"]
-[28.7258202,"o","i"]
-[28.771851800000004,"o","t"]
-[28.7945678,"o"," "]
-[28.9066196,"o","_"]
-[28.981794400000002,"o",","]
-[29.0522756,"o"," "]
-[29.5005836,"o","b"]
-[29.5945174,"o","i"]
-[29.660182200000005,"o","t"]
-[29.697090400000004,"o","s"]
-[29.7850286,"o"," "]
-[30.215523200000003,"o","0"]
-[30.4014048,"o",","]
-[30.450558200000003,"o"," "]
-[30.540162199999997,"o","b"]
-[30.6155982,"o","i"]
-[30.6696192,"o","t"]
-[30.7098102,"o","s"]
-[30.743687,"o"," "]
-[30.820402200000004,"o","1"]
-[30.860267800000003,"o"," "]
-[31.012310000000003,"o",">"]
-[31.065124600000004,"o"," "]
-[31.1194524,"o",";"]
-[31.591657600000005,"o","\u001b[1D"]
-[31.691555,"o","\u001b[1D"]
-[31.697515199999998,"o","\u001b[1D"]
-[31.7036052,"o","\u001b[1D"]
-[31.709839000000002,"o","\u001b[1D"]
-[31.7158062,"o","\u001b[1D"]
-[31.721665,"o","\u001b[1D"]
-[31.7274976,"o","\u001b[1D"]
-[31.7335938,"o","\u001b[1D"]
-[31.7397208,"o","\u001b[1D"]
-[31.746156600000003,"o","\u001b[1D"]
-[31.751972600000002,"o","\u001b[1D"]
-[31.757621200000003,"o","\u001b[1D"]
-[31.763593400000005,"o","\u001b[1D"]
-[31.7698852,"o","\u001b[1D"]
-[31.775852,"o","\u001b[1D"]
-[31.7817416,"o","\u001b[1D"]
-[31.787888600000002,"o","\u001b[1D"]
-[31.793676599999998,"o","\u001b[1D"]
-[31.799888,"o","\u001b[1D"]
-[31.852088,"o","\u001b[1D"]
-[31.888915400000002,"o","\u001b[1D"]
-[31.954765,"o","\u001b[1G\u001b[0J  $ bits = < uni _, bits 0, bits 1 > ;\u001b[17G"]
-[31.986531600000003,"o","\u001b[1G\u001b[0J"]
-[31.9867444,"o","  $ bits = < un _, bits 0, bits 1 > ;\u001b[16G"]
-[32.0230348,"o","\u001b[1G\u001b[0J"]
-[32.0230554,"o","  $ bits = < u _, bits 0, bits 1 > ;\u001b[15G"]
-[32.065109400000004,"o","\u001b[1G\u001b[0J"]
-[32.06515340000001,"o","  $ bits = <  _, bits 0, bits 1 > ;"]
-[32.0652344,"o","\u001b[14G"]
-[32.2822372,"o","\u001b[1G\u001b[0J"]
-[32.282283,"o","  $ bits = < ( _, bits 0, bits 1 > ;\u001b[15G"]
-[32.3144276,"o","\u001b[1G\u001b[0J"]
-[32.314597400000004,"o","  $ bits = < () _, bits 0, bits 1 > ;\u001b[16G"]
-[32.4903778,"o","\u001b[1G"]
-[32.490428,"o","\u001b[0J  $ bits = < ( _, bits 0, bits 1 > ;\u001b[15G"]
-[32.5204632,"o","\u001b[1G\u001b[0J  $ bits = <  _, bits 0, bits 1 > ;\u001b[14G"]
-[32.6646434,"o","\u001b[1G"]
-[32.6648712,"o","\u001b[0J  $ bits = < { _, bits 0, bits 1 > ;\u001b[15G"]
-[32.6934332,"o","\u001b[1G\u001b[0J"]
-[32.6934716,"o","  $ bits = < {} _, bits 0, bits 1 > ;\u001b[16G"]
-[32.7819198,"o","\u001b[1C"]
-[32.8821572,"o","\u001b[1C"]
-[32.8871766,"o","\u001b[1C"]
-[32.8933504,"o","\u001b[1C"]
-[32.899526,"o","\u001b[1C"]
-[32.9053388,"o","\u001b[1C"]
-[32.9113224,"o","\u001b[1C"]
-[32.9172146,"o","\u001b[1C"]
-[32.9235414,"o","\u001b[1C"]
-[32.9295428,"o","\u001b[1C"]
-[32.935214800000004,"o","\u001b[1C"]
-[32.9415812,"o","\u001b[1C"]
-[32.947632,"o","\u001b[1C"]
-[32.953347400000006,"o","\u001b[1C"]
-[32.9595926,"o","\u001b[1C"]
-[32.9654758,"o","\u001b[1C"]
-[32.9716234,"o","\u001b[1C"]
-[32.9774198,"o","\u001b[1C"]
-[32.9832334,"o","\u001b[1C"]
-[32.9893724,"o","\u001b[1C"]
-[33.0278228,"o","\u001b[1C"]
-[33.0601208,"o","\u001b[1C"]
-[33.2723914,"o"," "]
-[33.4394618,"o","-"]
-[33.4762818,"o","-"]
-[33.532394599999996,"o"," "]
-[33.5784996,"o","u"]
-[33.6120004,"o","n"]
-[33.666412,"o","i"]
-[33.7003618,"o","o"]
-[33.722459199999996,"o","n"]
-[33.8043306,"o",","]
-[33.8534146,"o"," "]
-[34.0534004,"o","3"]
-[34.0920428,"o"," "]
-[34.2762406,"o","v"]
-[34.3095762,"o","a"]
-[34.3418772,"o","r"]
-[34.4187408,"o","i"]
-[34.460245,"o","a"]
-[34.4838874,"o","n"]
-[34.5336228,"o","t"]
-[34.581628,"o","s"]
-[34.7306678,"o",","]
-[34.7656372,"o"," "]
-[34.82341,"o","t"]
-[34.8552554,"o","a"]
-[34.893765200000004,"o","g"]
-[34.9272962,"o","g"]
-[34.9511898,"o","e"]
-[35.0040682,"o","d"]
-[35.213574200000004,"o",":"]
-[35.3017974,"o"," "]
-[35.4032278,"o","_"]
-[35.4789844,"o",","]
-[35.786548599999996,"o"," "]
-[35.828048,"o","1"]
-[36.080525,"o","\u001b[1G\u001b[0J  $ bits = < {} _, bits 0, bits 1 > ; -- union, 3 variants, tagged: _, \u001b[72G"]
-[36.172015,"o","0"]
-[36.2296088,"o",","]
-[36.268178,"o"," "]
-[36.437762400000004,"o","1"]
-[36.651877400000004,"o"," "]
-[36.8137302,"o","\\"]
-[38.3560998,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
-[38.6358778,"o","-"]
-[38.6901972,"o","-"]
-[38.839187,"o"," "]
-[39.0695204,"o","R"]
-[39.1242584,"o","e"]
-[39.2194688,"o","l"]
-[39.2531204,"o","a"]
-[39.296070400000005,"o","t"]
-[39.378207800000006,"o","i"]
-[39.41499,"o","o"]
-[39.45791560000001,"o","n"]
-[39.49217,"o","s"]
-[39.5116658,"o"," "]
-[39.5954442,"o","("]
-[39.7416332,"o","f"]
-[39.773452600000006,"o","u"]
-[39.815079600000004,"o","n"]
-[39.8390928,"o","c"]
-[39.8928018,"o","t"]
-[39.96667,"o","i"]
-[40.004169000000005,"o","o"]
-[40.0511932,"o","n"]
-[40.159341000000005,"o","s"]
-[40.5079146,"o",")"]
-[40.800786200000005,"o",":"]
-[40.864807400000004,"o"," "]
-[41.0503926,"o","'"]
-[41.1095782,"o"," "]
-[41.3064794,"o","n"]
-[41.33021600000001,"o","a"]
-[41.3536906,"o","m"]
-[41.3894188,"o","e"]
-[41.4152204,"o"," "]
-[41.493412000000006,"o","="]
-[41.5479654,"o"," "]
-[41.6022342,"o","e"]
-[41.664780400000005,"o","x"]
-[41.715973600000005,"o","p"]
-[41.752674600000006,"o","r"]
-[41.7992128,"o","e"]
-[41.8548576,"o","s"]
-[41.901435400000004,"o","s"]
-[41.9318064,"o","i"]
-[41.9620772,"o","o"]
-[41.989530800000004,"o","n"]
-[42.024491000000005,"o"," "]
-[42.1143714,"o",";"]
-[42.227969200000004,"o"," "]
-[42.573632800000006,"o","'"]
-[43.245523600000006,"o"," "]
-[43.36061000000001,"o","\\"]
-[43.497993400000006,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
-[44.128820000000005,"o","e"]
-[44.1767582,"o","m"]
-[44.2665176,"o","p"]
-[44.3572032,"o","t"]
-[44.397447400000004,"o","y"]
-[44.5543868,"o"," "]
-[44.6996668,"o","="]
-[44.7544904,"o"," "]
-[45.189679600000005,"o","{"]
-[45.536608,"o"," "]
-[45.8122376,"o","{"]
-[45.845567,"o","}"]
-[45.915940000000006,"o"," "]
-[46.0502396,"o","_"]
-[46.1446692,"o"," "]
-[46.3110984,"o","}"]
-[46.6072792,"o",";"]
-[46.6678202,"o"," "]
-[46.931719,"o"," "]
-[47.0950806,"o","-"]
-[47.22143320000001,"o","-"]
-[47.30461940000001,"o"," "]
-[47.39421,"o","a"]
-[47.4454288,"o","l"]
-[47.5078106,"o","t"]
-[47.549476600000006,"o","e"]
-[47.5674866,"o","r"]
-[47.6889934,"o","n"]
-[47.719059,"o","a"]
-[47.750983600000005,"o","t"]
-[47.83412920000001,"o","i"]
-[47.9125926,"o","v"]
-[47.944734600000004,"o","e"]
-[47.9702884,"o"," "]
-[48.190913200000004,"o","J"]
-[48.2294004,"o","S"]
-[48.261292600000004,"o","O"]
-[48.3156796,"o","N"]
-[48.41496480000001,"o","-"]
-[48.4743876,"o","l"]
-[48.544368,"o","i"]
-[48.5798878,"o","k"]
-[48.6071772,"o","e"]
-[48.6392578,"o"," "]
-[48.68874400000001,"o","s"]
-[48.735262000000006,"o","y"]
-[48.7752802,"o","n"]
-[48.826166400000005,"o","t"]
-[48.8612626,"o","a"]
-[48.9235582,"o","x"]
-[48.945240600000005,"o"," "]
-[49.747698400000004,"o","i"]
-[49.77658460000001,"o","s"]
-[49.8038444,"o"," "]
-[50.1797296,"o","{"]
-[50.291363000000004,"o"," "]
-[50.3666776,"o","_"]
-[50.4454486,"o"," "]
-[50.5669302,"o",":"]
-[50.6212606,"o"," "]
-[50.693567,"o","{"]
-[50.7301456,"o","}"]
-[50.842027200000004,"o"," "]
-[51.0197694,"o","}"]
-[51.348041200000004,"o"," "]
-[51.440444400000004,"o","\\"]
-[51.9749972,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
-[52.3476824,"o","_"]
-[52.40867080000001,"o","0"]
-[52.4561212,"o","0"]
-[52.4999788,"o","1"]
-[52.648643400000005,"o"," "]
-[52.727009,"o"," "]
-[52.932074400000005,"o","="]
-[52.98626540000001,"o"," "]
-[53.096959000000005,"o","\u001b[1G\u001b[0J  _001  =\u001b[10G"]
-[53.13356280000001,"o","\u001b[1G"]
-[53.1336192,"o","\u001b[0J  _001  \u001b[9G"]
-[53.168408,"o","\u001b[1G\u001b[0J  _001 \u001b[8G"]
-[53.326660000000004,"o","="]
-[53.3679808,"o"," "]
-[53.542739600000004,"o","<"]
-[54.4962998,"o","0"]
-[54.656345200000004,"o",":"]
-[54.8007716,"o","{"]
-[55.10457340000001,"o","0"]
-[55.2559502,"o",":"]
-[55.3443506,"o","{"]
-[55.683549400000004,"o","1"]
-[56.0196658,"o","\u001b[1D"]
-[56.119948,"o","\u001b[1D"]
-[56.12571020000001,"o","\u001b[1D"]
-[56.131984,"o","\u001b[1D"]
-[56.1697828,"o","\u001b[1D"]
-[56.2068188,"o","\u001b[1D"]
-[56.2452276,"o","\u001b[1D"]
-[56.301249600000006,"o","\u001b[1G\u001b[0J  _001 = 0:{0:{1\u001b[10G"]
-[56.48996160000001,"o","\u001b[1G\u001b[0J  _001 = {0:{0:{1\u001b[11G"]
-[56.580893800000005,"o","\u001b[1C"]
-[56.681083,"o","\u001b[1C"]
-[56.6868882,"o","\u001b[1C"]
-[56.69318500000001,"o","\u001b[1C"]
-[56.69895360000001,"o","\u001b[1C"]
-[56.7052234,"o","\u001b[1C"]
-[56.7110564,"o","\u001b[1C"]
-[56.9266568,"o",":"]
-[57.01639320000001,"o","e"]
-[57.05980540000001,"o","m"]
-[57.1441828,"o","p"]
-[57.2211458,"o","t"]
-[57.25789,"o","y"]
-[57.68354500000001,"o","}"]
-[57.786168599999996,"o","}"]
-[58.0399894,"o","}"]
-[58.2470784,"o",";"]
-[58.2962318,"o"," "]
-[58.459600800000004,"o","-"]
-[58.49994420000001,"o","-"]
-[58.582701799999995,"o"," "]
-[58.659532000000006,"o","i"]
-[58.68833720000001,"o","n"]
-[58.72663360000001,"o"," "]
-[58.8354084,"o","J"]
-[58.889863000000005,"o","S"]
-[58.9379726,"o","O"]
-[58.998925799999995,"o","N"]
-[59.1458684,"o","-"]
-[59.2261432,"o","l"]
-[59.2676912,"o","i"]
-[59.2996232,"o","k"]
-[59.33473860000001,"o","e"]
-[59.3651358,"o"," "]
-[59.485347600000004,"o","s"]
-[59.521575,"o","y"]
-[59.56284960000001,"o","n"]
-[59.6044906,"o","t"]
-[59.6381806,"o","a"]
-[59.703492600000004,"o","x"]
-[59.966681400000006,"o"," "]
-[60.462346200000006,"o","\\"]
-[61.09303,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
-[61.6339236,"o","r"]
-[61.6801758,"o","e"]
-[61.7346048,"o","v"]
-[61.7825346,"o","e"]
-[61.822780200000004,"o","r"]
-[61.860939599999995,"o","s"]
-[61.9458038,"o","e"]
-[62.182511000000005,"o"," "]
-[62.308843800000005,"o","="]
-[63.166694199999995,"o"," "]
-[64.08205840000001,"o","$"]
-[64.25626559999999,"o","b"]
-[64.3297172,"o","i"]
-[64.4180582,"o","t"]
-[64.453068,"o","s"]
-[64.4884502,"o"," "]
-[65.16489340000001,"o","{"]
-[65.32014120000001,"o","("]
-[65.352073,"o",")"]
-[65.5978924,"o"," "]
-[65.75379400000001,"o","i"]
-[65.8017198,"o","n"]
-[66.02384060000001,"o",","]
-[66.1405272,"o"," "]
-[66.4319974,"o","e"]
-[66.4508144,"o","m"]
-[66.5284736,"o","p"]
-[66.6034312,"o","t"]
-[66.6400494,"o","y"]
-[66.72345,"o"," "]
-[66.8719444,"o","o"]
-[66.91353000000001,"o","u"]
-[66.965134,"o","t"]
-[67.070492,"o"," "]
-[67.2783604,"o","}"]
-[67.503651,"o"," "]
-[67.6366012,"o","r"]
-[67.6737132,"o","e"]
-[67.7137288,"o","v"]
-[67.7440254,"o","e"]
-[67.764869,"o","r"]
-[67.8066154,"o","s"]
-[67.8623566,"o","e"]
-[67.96802960000001,"o","_"]
-[68.1233496,"o"," "]
-[68.40160780000001,"o",";"]
-[71.0286784,"o"," "]
-[71.595193,"o","\\"]
-[71.7951602,"o","\r"]
-[71.7952216,"o","\r\n\u001b[1G"]
-[71.7953276,"o","\u001b[0J"]
-[71.7953952,"o","  \u001b[3G"]
-[72.0860126,"o","-"]
-[72.1342322,"o","-"]
-[72.241718,"o"," "]
-[72.4010312,"o","b"]
-[72.4462822,"o","y"]
-[72.4750056,"o"," "]
-[72.56005259999999,"o","c"]
-[72.5950138,"o","o"]
-[72.6398312,"o","m"]
-[72.7550284,"o","p"]
-[72.9002474,"o","o"]
-[72.9547748,"o","s"]
-[72.9946244,"o","i"]
-[73.0414046,"o","n"]
-[73.0840754,"o","g"]
-[73.12612560000001,"o"," "]
-[73.21855000000001,"o","$"]
-[73.548562,"o","b"]
-[73.676288,"o","i"]
-[73.74677000000001,"o","t"]
-[73.7887716,"o","s"]
-[73.8125952,"o"," "]
-[73.90206920000001,"o","w"]
-[73.9663468,"o","i"]
-[74.0319642,"o","t"]
-[74.0800718,"o","h"]
-[74.9249626,"o"," "]
-[75.01264880000001,"o","t"]
-[75.0526162,"o","h"]
-[75.083178,"o","e"]
-[75.1119786,"o"," "]
-[75.169679,"o","r"]
-[75.1983356,"o","e"]
-[75.2556028,"o","s"]
-[75.27833020000001,"o","t"]
-[75.3054538,"o"," "]
-[75.72145540000001,"o","o"]
-[75.7520714,"o","f"]
-[75.78062800000001,"o"," "]
-[77.64477160000001,"o","d"]
-[77.68968240000001,"o","e"]
-[77.7647328,"o","f"]
-[77.80482760000001,"o","i"]
-[77.83830760000001,"o","n"]
-[77.8750556,"o","i"]
-[77.9294756,"o","t"]
-[78.07841580000002,"o","i"]
-[78.11357600000001,"o","o"]
-[78.1534572,"o","n"]
-[78.23503480000001,"o",","]
-[78.2798336,"o"," "]
-[78.3242754,"o","w"]
-[78.38544100000001,"o","e"]
-[78.56464620000001,"o"," "]
-[78.7101504,"o","e"]
-[78.77580520000001,"o","x"]
-[78.8315852,"o","p"]
-[78.8731588,"o","l"]
-[78.910236,"o","i"]
-[78.97565180000001,"o","c"]
-[79.038207,"o","i"]
-[79.0878264,"o","t"]
-[79.1248352,"o","e"]
-[79.18243860000001,"o","l"]
-[79.24623220000001,"o","y"]
-[79.2830198,"o"," "]
-[79.8274288,"o","t"]
-[79.8681772,"o","y"]
-[79.96047720000001,"o","p"]
-[79.98473080000001,"o","e"]
-[80.0468764,"o","d"]
-[80.6555944,"o"," "]
-[80.72480920000001,"o","a"]
-[80.7645904,"o","r"]
-[80.8047846,"o","g"]
-[81.6400332,"o","\\"]
-[82.223889,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
-[82.43001020000001,"o","r"]
-[82.45562860000001,"o","e"]
-[82.5008346,"o","v"]
-[82.5278684,"o","e"]
-[82.5491192,"o","r"]
-[82.59019260000001,"o","s"]
-[82.6493964,"o","e"]
-[82.8458442,"o","_"]
-[82.9679114,"o"," "]
-[83.1070602,"o","="]
-[83.185404,"o"," "]
-[83.3838406,"o","$"]
-[83.4861774,"o","{"]
-[83.6912018,"o","b"]
-[83.74692720000002,"o","i"]
-[83.80917520000001,"o","t"]
-[83.8458998,"o","s"]
-[83.9771594,"o"," "]
-[84.2800696,"o","i"]
-[84.3154866,"o","n"]
-[84.396859,"o",","]
-[84.4415886,"o"," "]
-[84.5757806,"o","$"]
-[84.7064666,"o","\u001b[1G\u001b[0J  reverse_ = ${bits in, \u001b[25G"]
-[84.9693452,"o","b"]
-[85.03180200000001,"o","i"]
-[85.0829528,"o","t"]
-[85.11659660000001,"o","s"]
-[85.1501448,"o"," "]
-[85.2825936,"o","o"]
-[85.3277556,"o","u"]
-[85.3725206,"o","t"]
-[85.4479948,"o"," "]
-[85.53435060000001,"o","}"]
-[85.63481000000002,"o"," "]
-[85.9086462,"o","<"]
-[86.04582860000001,"o"," "]
-[86.0853902,"o"," "]
-[86.119714,"o"," "]
-[86.261739,"o","-"]
-[86.30372080000001,"o","-"]
-[86.41713580000001,"o"," "]
-[86.5692468,"o","m"]
-[86.60778160000001,"o","e"]
-[86.67169100000001,"o","r"]
-[86.81093240000001,"o","g"]
-[87.1735256,"o","e"]
-[87.58862020000001,"o"," "]
-[87.649212,"o","f"]
-[87.7071344,"o","o"]
-[87.74371180000001,"o","l"]
-[87.7805158,"o","l"]
-[87.86842920000001,"o","o"]
-[87.92613320000001,"o","w"]
-[87.9612314,"o","i"]
-[88.04768460000001,"o","n"]
-[88.1083928,"o","g"]
-[88.15155920000001,"o"," "]
-[88.19942680000001,"o","r"]
-[88.2461372,"o","e"]
-[88.3084714,"o","l"]
-[88.3518064,"o","s"]
-[88.42681340000001,"o"," "]
-[88.57263060000001,"o","\\"]
-[88.9693182,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
-[89.0828204,"o"," "]
-[89.13569220000001,"o"," "]
-[89.3292426,"o","{"]
-[89.417203,"o","."]
-[89.51483160000001,"o","i"]
-[89.58358700000001,"o","n"]
-[89.9166902,"o"," "]
-[89.97579300000001,"o","."]
-[90.10654240000001,"o"," "]
-[90.2973662,"o","0"]
-[90.62199820000001,"o"," "]
-[90.78202340000001,"o","i"]
-[90.82200360000002,"o","n"]
-[90.95782960000001,"o",","]
-[91.0171552,"o"," "]
-[91.2044508,"o","{"]
-[91.36292040000001,"o","."]
-[91.5149126,"o","o"]
-[91.56287280000001,"o","u"]
-[91.6124092,"o","t"]
-[91.66204520000001,"o"," "]
-[91.8750052,"o","0"]
-[92.08910220000001,"o","}"]
-[92.1597418,"o"," "]
-[92.322794,"o","o"]
-[92.3722862,"o","u"]
-[92.4189978,"o","t"]
-[92.49552560000001,"o"," "]
-[92.6570706,"o","}"]
-[92.7402612,"o"," "]
-[92.89068700000001,"o","r"]
-[92.9242488,"o","e"]
-[92.96727220000001,"o","v"]
-[92.99946840000001,"o","e"]
-[93.0223494,"o","r"]
-[93.066597,"o","s"]
-[93.135992,"o","e"]
-[93.25253980000001,"o","_"]
-[93.5659672,"o",","]
-[93.647789,"o"," "]
-[93.91075540000001,"o","\\"]
-[94.3179154,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
-[94.4938522,"o"," "]
-[94.540267,"o"," "]
-[94.73097840000001,"o","{"]
-[94.884483,"o","."]
-[95.1033012,"o","i"]
-[95.15951700000001,"o","n"]
-[95.437897,"o","."]
-[95.5019648,"o","1"]
-[95.71465140000001,"o",","]
-[95.9755606,"o","\u001b[1G\u001b[0J    {.in.1\u001b[11G"]
-[96.082666,"o"," "]
-[96.1910694,"o","i"]
-[96.22355300000001,"o","n"]
-[96.3738426,"o",","]
-[96.51127760000001,"o"," "]
-[96.7002396,"o","{"]
-[96.79146580000001,"o","."]
-[96.861524,"o","o"]
-[96.9114156,"o","u"]
-[96.9755456,"o","t"]
-[97.14641420000001,"o"," "]
-[97.21897340000001,"o","1"]
-[97.3066616,"o","}"]
-[97.40428680000001,"o"," "]
-[97.5580574,"o","o"]
-[97.60964200000001,"o","u"]
-[97.665176,"o","t"]
-[97.9145812,"o","}"]
-[98.0200896,"o"," "]
-[98.14780160000001,"o","r"]
-[98.18339680000001,"o","e"]
-[98.21841020000001,"o","v"]
-[98.2441818,"o","e"]
-[98.26386980000001,"o","r"]
-[98.30340220000001,"o","s"]
-[98.3591674,"o","e"]
-[98.46348400000001,"o","_"]
-[98.7210208,"o",","]
-[98.75500060000002,"o"," "]
-[99.00859120000001,"o","\\"]
-[99.082548,"o","\r\r\n"]
-[99.0825806,"o","\u001b[1G"]
-[99.08263120000001,"o","\u001b[0J  "]
-[99.08272600000001,"o","\u001b[3G"]
-[99.20243540000001,"o"," "]
-[99.30343640000001,"o"," "]
-[99.45065360000001,"o","."]
-[99.5357666,"o","o"]
-[99.5831378,"o","u"]
-[99.6330044,"o","t"]
-[99.991093,"o"," "]
-[100.45972920000001,"o",">"]
-[101.751266,"o"," "]
-[101.86514720000001,"o","$"]
-[102.00727380000001,"o","b"]
-[102.068037,"o","i"]
-[102.13703000000001,"o","t"]
-[102.1850278,"o","s"]
-[102.3306002,"o"," "]
-[102.4491464,"o",";"]
-[102.5017778,"o"," "]
-[102.69374700000002,"o","-"]
-[102.7401832,"o","-"]
-[102.8489498,"o"," "]
-[102.967022,"o","w"]
-[103.01376600000002,"o","e"]
-[103.047022,"o"," "]
-[103.2107482,"o","e"]
-[103.4987774,"o","x"]
-[103.59119720000001,"o","p"]
-[103.626577,"o","l"]
-[103.66641700000001,"o","i"]
-[103.7768584,"o","t"]
-[103.81079720000001,"o","e"]
-[103.87122300000001,"o","l"]
-[103.93201200000001,"o","y"]
-[103.96260380000001,"o"," "]
-[104.2631682,"o","t"]
-[104.2985432,"o","y"]
-[104.39120539999999,"o","p"]
-[104.4167892,"o","e"]
-[104.49203620000002,"o","d"]
-[104.5305496,"o"," "]
-[104.65086160000001,"o","t"]
-[104.69369640000001,"o","h"]
-[104.724346,"o","e"]
-[104.754442,"o"," "]
-[104.832899,"o","o"]
-[104.876011,"o","u"]
-[104.9176714,"o","t"]
-[105.0233174,"o","p"]
-[105.09854000000001,"o","u"]
-[105.15447140000002,"o","t"]
-[106.0120884,"o",","]
-[106.0473834,"o"," "]
-[106.10947240000002,"o","b"]
-[106.1640426,"o","u"]
-[106.2154292,"o","t"]
-[106.24724040000001,"o"," "]
-[106.31453180000001,"o","a"]
-[106.38621020000001,"o","c"]
-[106.421607,"o","t"]
-[106.498624,"o","u"]
-[106.54176319999999,"o","a"]
-[106.5867196,"o","l"]
-[106.61920660000001,"o","l"]
-[106.6932396,"o","y"]
-[106.9445902,"o"," "]
-[107.5235492,"o","n"]
-[107.672696,"o","o"]
-[107.73708740000001,"o","t"]
-[107.76887620000001,"o"," "]
-[107.88563160000001,"o","n"]
-[107.9192184,"o","e"]
-[107.95910220000002,"o","e"]
-[108.01679220000001,"o","d"]
-[108.06155260000001,"o","e"]
-[108.1128554,"o","d"]
-[108.3334874,"o","\\"]
-[109.5081322,"o","\r"]
-[109.5082978,"o","\r\n\u001b[1G\u001b[0J"]
-[109.508315,"o","  \u001b[3G"]
-[110.9204988,"o","_"]
-[111.0662662,"o","0"]
-[111.27270020000002,"o","\u001b[1G\u001b[0J  _\u001b[4G"]
-[111.31425340000001,"o","\u001b[1G\u001b[0J  \u001b[3G"]
-[111.515935,"o","-"]
-[111.5656436,"o","-"]
-[111.6724266,"o"," "]
-[111.81821000000001,"o","e"]
-[111.8738112,"o","x"]
-[111.92726920000001,"o","p"]
-[111.962152,"o","r"]
-[112.0101888,"o","e"]
-[112.06961360000001,"o","s"]
-[112.11613520000002,"o","s"]
-[112.14624040000001,"o","i"]
-[112.17760820000001,"o","o"]
-[112.20840140000001,"o","n"]
-[112.24091980000001,"o"," "]
-[112.2895566,"o","t"]
-[112.3712706,"o","o"]
-[112.40733800000001,"o"," "]
-[112.579883,"o","e"]
-[112.6311082,"o","v"]
-[112.66311900000001,"o","a"]
-[112.7154464,"o","l"]
-[112.7667364,"o","u"]
-[112.807333,"o","a"]
-[112.85665420000001,"o","t"]
-[113.0214248,"o","e"]
-[113.44994580000001,"o",":"]
-[114.1494078,"o"," "]
-[114.213524,"o","\\"]
-[114.28224700000001,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
-[114.5636648,"o","_"]
-[114.64401880000001,"o","0"]
-[114.83092280000001,"o","0"]
-[114.91542280000002,"o","1"]
-[114.997731,"o"," "]
-[115.3029926,"o","r"]
-[115.33809600000001,"o","e"]
-[115.39561300000001,"o","v"]
-[115.4323768,"o","e"]
-[115.4503536,"o","r"]
-[115.4917934,"o","s"]
-[115.54601840000001,"o","e"]
-[115.6741452,"o"," "]
-[115.7093396,"o"," "]
-[115.7476868,"o"," "]
-[115.8581346,"o","-"]
-[115.9014786,"o","-"]
-[115.98632640000001,"o"," "]
-[116.2282548,"o","t"]
-[116.26761959999999,"o","h"]
-[116.338205,"o","i"]
-[116.3762726,"o","s"]
-[116.4101606,"o"," "]
-[116.6244434,"o","\u001b[1G\u001b[0J"]
-[116.6244848,"o","  _001 reverse   -- this\u001b[25G"]
-[116.6660048,"o","\u001b[1G"]
-[116.66617940000002,"o","\u001b[0J  _001 reverse   -- thi\u001b[24G"]
-[116.70113300000001,"o","\u001b[1G\u001b[0J  _001 reverse   -- th\u001b[23G"]
-[116.73485120000001,"o","\u001b[1G\u001b[0J  _001 reverse   -- t\u001b[22G"]
-[116.77159660000001,"o","\u001b[1G\u001b[0J  _001 reverse   -- \u001b[21G"]
-[117.28037260000002,"o","f"]
-[117.3032432,"o","u"]
-[117.3639332,"o","c"]
-[117.53349060000001,"o","\u001b[1G\u001b[0J"]
-[117.53354039999999,"o","  _001 reverse   -- fu\u001b[23G"]
-[117.7776292,"o","n"]
-[117.8038358,"o","c"]
-[117.84398220000001,"o","t"]
-[117.92023300000001,"o","i"]
-[117.95588459999999,"o","o"]
-[118.00532140000001,"o","n"]
-[118.04801140000001,"o","a"]
-[118.0916526,"o","l"]
-[118.125211,"o"," "]
-[118.16361119999999,"o","c"]
-[118.2029578,"o","o"]
-[118.2484182,"o","m"]
-[118.29827620000002,"o","p"]
-[118.3447246,"o","o"]
-[118.38306580000001,"o","s"]
-[118.42233240000002,"o","i"]
-[118.4792412,"o","t"]
-[118.5556554,"o","i"]
-[118.5908724,"o","o"]
-[118.678928,"o","n"]
-[118.9893558,"o","\r\r\n"]
-[118.99708800000002,"o","--> {\"1\":{\"0\":{\"0\":{\"_\":{}}}}}"]
-[118.9971538,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
-[121.17141360000001,"o","-"]
-[121.21487020000001,"o","-"]
-[121.3316276,"o","R"]
-[121.4868246,"o"," "]
-[121.5939246,"o","r"]
-[121.6339272,"o","e"]
-[121.66775960000001,"o","v"]
-[121.935032,"o","e"]
-[122.2101782,"o","r"]
-[122.2531414,"o","s"]
-[122.30101400000001,"o","e"]
-[122.598894,"o","\r"]
-[122.5990184,"o","\r\n"]
-[122.59934659999999,"o","  reverse : ?$BsAqRMv  -->  ?$BsAqRMv\r\n  reverse = $BsAqRMv {() in, empty out} reverse_;\r\n\u001b[1G"]
-[123.5993984,"o","\u001b[0J> "]
-[125.0577468,"o","--C "]
-[126.2869822,"o","BsAqRMv"]
-[127.4813424,"o","\r"]
-[128.4815034,"o","\r\n $ BsAqRMv = < BsAqRMv 0, BsAqRMv 1, KL _ >; -- $C0=<C0\"0\",C0\"1\",C1\"_\">;$C1={};\r\n"]
-[128.4815754,"o","\u001b[1G\u001b[0J> \u001b[3G"]
-[129.9297688,"o","-"]
-[129.9730384,"o","-"]
-[130.211224,"o","C"]
-[130.267605,"o"," "]
-[130.32348320000003,"o","b"]
-[130.3840232,"o","i"]
-[130.4464864,"o","t"]
-[130.475242,"o","s"]
-[130.654575,"o","\r"]
-[130.6546352,"o","\r\n $ BsAqRMv = < BsAqRMv 0, BsAqRMv 1, KL _ >; -- $C0=<C0\"0\",C0\"1\",C1\"_\">;$C1={};\r\n\u001b[1G\u001b[0J> \u001b[3G"]
-[131.1521568,"o","-"]
-[131.19880880000002,"o","-"]
-[131.28161500000002,"o"," "]
-[131.6241578,"o","b"]
-[131.70736,"o","i"]
-[131.8396476,"o","\u001b[1G\u001b[0J> -- b\u001b[7G"]
-[131.8864484,"o","\u001b[1G\u001b[0J> -- \u001b[6G"]
-[132.040178,"o","'"]
-[132.137602,"o","\u001b[1G\u001b[0J"]
-[132.1377566,"o","> -- \u001b[6G"]
-[132.2447696,"o","C"]
-[132.3086814,"o","o"]
-[132.342811,"o","d"]
-[132.38264180000002,"o","e"]
-[132.3922564,"o"," "]
-[132.4642262,"o","'"]
-[132.55525459999998,"o","b"]
-[132.67524160000002,"o","i"]
-[132.73780159999998,"o","t"]
-[132.8431922,"o","s"]
-[132.89802340000003,"o","'"]
-[132.9503922,"o"," "]
-[133.1121502,"o","i"]
-[133.151961,"o","s"]
-[133.1775876,"o"," "]
-[133.267231,"o","a"]
-[133.29128880000002,"o","n"]
-[133.33277619999998,"o"," "]
-[133.3968012,"o","a"]
-[133.43655420000002,"o","l"]
-[133.476641,"o","i"]
-[133.5021986,"o","a"]
-[133.5395826,"o","s"]
-[133.566328,"o"," "]
-[133.6204204,"o","t"]
-[133.73679760000002,"o","o"]
-[133.7836268,"o"," "]
-[133.9285198,"o","'"]
-[134.202614,"o","BsAqRMv"]
-[134.4351416,"o","'"]
-[135.3904238,"o",","]
-[135.4271268,"o"," "]
-[135.4625612,"o","w"]
-[135.5088138,"o","h"]
-[135.54872020000002,"o","i"]
-[135.59367540000002,"o","c"]
-[135.6335678,"o","h"]
-[135.68459660000002,"o"," "]
-[135.7486392,"o","i"]
-[135.7887694,"o","s"]
-[135.8161368,"o"," "]
-[135.8911558,"o","t"]
-[135.9279214,"o","h"]
-[135.95368040000002,"o","e"]
-[135.9871856,"o"," "]
-[136.0108832,"o","c"]
-[136.083187,"o","a"]
-[136.1743868,"o","n"]
-[136.2624872,"o","o"]
-[136.3264246,"o","n"]
-[136.39355740000002,"o","i"]
-[136.4977574,"o","c"]
-[136.529388,"o","a"]
-[136.5840234,"o","l"]
-[136.63998120000002,"o"," "]
-[136.79522,"o","n"]
-[136.8269938,"o","a"]
-[136.8485392,"o","m"]
-[136.892754,"o","e"]
-[137.3632636,"o","\\"]
-[137.49898140000002,"o","\r\r\n"]
-[137.4989974,"o","\u001b[1G\u001b[0J  "]
-[137.4990576,"o","\u001b[3G"]
-[138.91197580000002,"o","t"]
-[139.067127,"o","o"]
-[139.12793059999998,"o","S"]
-[139.169535,"o","t"]
-[139.2046908,"o","r"]
-[139.32139420000001,"o"," "]
-[139.42541920000002,"o","="]
-[139.471867,"o"," "]
-[139.5454276,"o","<"]
-[139.64300699999998,"o"," "]
-[139.79230379999998,"o","."]
-[140.067181,"o","0"]
-[140.365167,"o"," "]
-[140.6207602,"o","\u001b[1G"]
-[140.6208034,"o","\u001b[0J  toStr = < .0\u001b[15G"]
-[140.6527396,"o","\u001b[1G\u001b[0J  toStr = < .\u001b[14G"]
-[140.6845534,"o","\u001b[1G"]
-[140.68456920000003,"o","\u001b[0J  toStr = < \u001b[13G"]
-[140.71843220000002,"o","\u001b[1G\u001b[0J  toStr = <\u001b[12G"]
-[140.7710394,"o","\u001b[1G\u001b[0J  toStr = \u001b[11G"]
-[140.94242640000002,"o","$"]
-[141.0382508,"o","b"]
-[141.11337880000002,"o","i"]
-[141.1646008,"o","t"]
-[141.198328,"o","s"]
-[141.2461946,"o"," "]
-[141.44796340000002,"o","<"]
-[141.4878586,"o"," "]
-[141.6078146,"o","."]
-[141.7151154,"o","0"]
-[141.8846806,"o"," "]
-[142.5886212,"o","\u001b[1G\u001b[0J  toStr = $bits < .0\u001b[21G"]
-[142.688717,"o","\u001b[1G"]
-[142.6887666,"o","\u001b[0J  toStr = $bits < .\u001b[20G"]
-[142.6948308,"o","\u001b[1G\u001b[0J"]
-[142.6948692,"o","  toStr = $bits < \u001b[19G"]
-[142.7008492,"o","\u001b[1G\u001b[0J  toStr = $bits <\u001b[18G"]
-[142.706991,"o","\u001b[1G"]
-[142.70712060000002,"o","\u001b[0J  toStr = $bits \u001b[17G"]
-[142.7126438,"o","\u001b[1G\u001b[0J  toStr = $bits\u001b[16G"]
-[142.7187542,"o","\u001b[1G"]
-[142.7188144,"o","\u001b[0J  toStr = $bit\u001b[15G"]
-[142.72517660000003,"o","\u001b[1G"]
-[142.7252896,"o","\u001b[0J  toStr = $bi\u001b[14G"]
-[142.7838886,"o","\u001b[1G\u001b[0J"]
-[142.7840072,"o","  toStr = $b\u001b[13G"]
-[142.8239522,"o","\u001b[1G"]
-[142.8240804,"o","\u001b[0J  toStr = $\u001b[12G"]
-[142.8622142,"o","\u001b[1G"]
-[142.8625072,"o","\u001b[0J  toStr = \u001b[11G"]
-[143.00124960000002,"o","<"]
-[143.05278080000002,"o"," "]
-[143.38726160000002,"o","."]
-[143.4797382,"o","0"]
-[143.5837568,"o"," "]
-[143.7208426,"o","["]
-[143.9578788,"o","\""]
-[144.0652586,"o","0"]
-[144.1661496,"o","\""]
-[144.37246000000002,"o",","]
-[144.4942776,"o","t"]
-[144.5840174,"o","o"]
-[144.6560536,"o","S"]
-[144.69460660000001,"o","t"]
-[144.72979800000002,"o","r"]
-[144.8191828,"o","]"]
-[144.877979,"o"," "]
-[145.0219432,"o","C"]
-[145.1135326,"o","O"]
-[145.1741644,"o","N"]
-[145.2461496,"o","C"]
-[145.2880306,"o","A"]
-[145.3309994,"o","T"]
-[145.6525512,"o",","]
-[145.6908562,"o"," "]
-[145.8703288,"o","."]
-[145.9100962,"o","1"]
-[146.14806140000002,"o"," "]
-[146.2792878,"o","["]
-[146.5661064,"o","\""]
-[146.6447326,"o","1"]
-[146.727664,"o","\""]
-[146.9244708,"o",","]
-[147.0247802,"o","t"]
-[147.1224692,"o","o"]
-[147.3449512,"o","S"]
-[147.369373,"o","t"]
-[147.40775920000002,"o","r"]
-[147.6042648,"o","]"]
-[147.7191922,"o","C"]
-[147.8028294,"o","O"]
-[147.8619272,"o","N"]
-[147.93399380000002,"o","C"]
-[147.9629634,"o","A"]
-[148.0284968,"o","T"]
-[148.4025262,"o",","]
-[148.4349732,"o"," "]
-[148.5375568,"o","\""]
-[148.58680320000002,"o","\""]
-[148.8016282,"o",">"]
-[148.948417,"o"," "]
-[149.0126034,"o",";"]
-[150.32455339999999,"o","\r\r\n"]
-[150.329069,"o","--> {\"1\":{\"0\":{\"0\":{\"_\":{}}}}}"]
-[150.3291292,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
-[151.6538186,"o","t"]
-[151.7464372,"o","o"]
-[151.8127402,"o","S"]
-[151.8508506,"o","t"]
-[151.8860896,"o","r"]
-[152.0151332,"o","\r"]
-[152.01516039999998,"o","\r\n"]
-[152.0207342,"o","--> \"100\"\r\n\u001b[1G\u001b[0J> \u001b[3G"]
-[152.44107400000001,"o","-"]
-[152.4760444,"o","-"]
-[152.5770524,"o","R"]
-[152.6253164,"o"," "]
-[152.793978,"o","t"]
-[152.895985,"o","o"]
-[152.95796660000002,"o","S"]
-[153.0170922,"o","t"]
-[153.0667282,"o","r"]
-[153.215737,"o","\r\r\n"]
-[153.2157914,"o","  toStr : ?((((...) 0, (...) 1, ...) 0, ((...) 0, (...) 1, ...) 1, ...) 0, (((...) 0, (...) 1, ...) 0, ((...) 0, (...) 1, ...) 1, ...) 1, ...)  -->  ?$string\r\n"]
-[153.2159404,"o","  toStr = <.0 ['0', toStr] CONCAT, .1 ['1', toStr] CONCAT, ''>;\r\n\u001b[1G\u001b[0J> \u001b[3G"]
-[154.009053,"o","-"]
-[154.0473728,"o","-"]
-[154.112997,"o"," "]
-[154.1722506,"o","t"]
-[154.26788720000002,"o","o"]
-[154.4742854,"o","S"]
-[154.5193846,"o","t"]
-[154.55813360000002,"o","r"]
-[154.591403,"o"," "]
-[154.7371682,"o","i"]
-[154.771002,"o","s"]
-[154.78840300000002,"o"," "]
-[154.86193260000002,"o","p"]
-[154.89863680000002,"o","o"]
-[154.93683320000002,"o","l"]
-[155.00100440000003,"o","y"]
-[155.0972574,"o","m"]
-[155.144901,"o","o"]
-[155.2586488,"o","r"]
-[155.34994500000002,"o","p"]
-[155.4920152,"o","h"]
-[155.5337188,"o","i"]
-[155.60431400000002,"o","c"]
-[156.71319240000003,"o",","]
-[156.75773800000002,"o"," "]
-[156.8393288,"o","a"]
-[156.8759406,"o","n"]
-[156.9049094,"o","d"]
-[156.9230176,"o"," "]
-[157.4845228,"o","t"]
-[157.52729,"o","h"]
-[157.5497286,"o","e"]
-[157.57851040000003,"o"," "]
-[157.8153586,"o","'"]
-[157.9000218,"o","s"]
-[157.9624408,"o","h"]
-[157.9914096,"o","a"]
-[158.0555756,"o","p"]
-[158.08689800000002,"o","e"]
-[158.17527520000002,"o","'"]
-[158.23126860000002,"o"," "]
-[158.2905198,"o","o"]
-[158.34324160000003,"o","f"]
-[158.3704428,"o"," "]
-[158.4152778,"o","t"]
-[158.4553342,"o","h"]
-[158.4776788,"o","e"]
-[158.5035704,"o"," "]
-[158.56076280000002,"o","i"]
-[158.6008594,"o","n"]
-[158.72526600000003,"o","p"]
-[158.77858940000002,"o","u"]
-[158.83624480000003,"o","t"]
-[158.9929952,"o"," "]
-[159.0713734,"o","c"]
-[159.1208502,"o","o"]
-[159.1546552,"o","d"]
-[159.20086060000003,"o","e"]
-[159.58644420000002,"o"," "]
-[161.0594982,"o","i"]
-[161.0912882,"o","s"]
-[161.2696008,"o"," "]
-[161.3064228,"o","c"]
-[161.3624628,"o","o"]
-[161.40712960000002,"o","m"]
-[161.4488138,"o","p"]
-[161.48243820000002,"o","l"]
-[161.5112004,"o","e"]
-[161.56891800000002,"o","x"]
-[162.72231580000002,"o","\\"]
-[162.784676,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
-[163.0072504,"o","t"]
-[163.106504,"o","o"]
-[163.2441196,"o","S"]
-[163.28716480000003,"o","t"]
-[163.32238440000003,"o","r"]
-[163.96422700000002,"o","\u001b[1G\u001b[0J"]
-[163.9643006,"o","  toStr = < .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;\u001b[63G"]
-[164.2501674,"o","\u001b[1D"]
-[164.3504856,"o","\u001b[1D"]
-[164.35643140000002,"o","\u001b[1D"]
-[164.362493,"o","\u001b[1D"]
-[164.3685542,"o","\u001b[1D"]
-[164.3742734,"o","\u001b[1D"]
-[164.3802252,"o","\u001b[1D"]
-[164.3863504,"o","\u001b[1D"]
-[164.3924082,"o","\u001b[1D"]
-[164.39861940000003,"o","\u001b[1D"]
-[164.4044928,"o","\u001b[1D"]
-[164.41081480000003,"o","\u001b[1D"]
-[164.41657940000002,"o","\u001b[1D"]
-[164.4224704,"o","\u001b[1D"]
-[164.42843000000002,"o","\u001b[1D"]
-[164.4346556,"o","\u001b[1D"]
-[164.440673,"o","\u001b[1D"]
-[164.4465362,"o","\u001b[1D"]
-[164.45238940000002,"o","\u001b[1D"]
-[164.4587394,"o","\u001b[1D"]
-[164.464525,"o","\u001b[1D"]
-[164.4706542,"o","\u001b[1D"]
-[164.4767486,"o","\u001b[1D"]
-[164.4821996,"o","\u001b[1D"]
-[164.48840940000002,"o","\u001b[1D"]
-[164.4946678,"o","\u001b[1D"]
-[164.5001598,"o","\u001b[1D"]
-[164.5063428,"o","\u001b[1D"]
-[164.51245260000002,"o","\u001b[1D"]
-[164.5181726,"o","\u001b[1D"]
-[164.52412280000001,"o","\u001b[1D"]
-[164.530323,"o","\u001b[1D"]
-[164.53635180000003,"o","\u001b[1D"]
-[164.54234340000002,"o","\u001b[1D"]
-[164.548416,"o","\u001b[1D"]
-[164.5542412,"o","\u001b[1D"]
-[164.560215,"o","\u001b[1D"]
-[164.56639520000002,"o","\u001b[1D"]
-[164.5723988,"o","\u001b[1D"]
-[164.5785456,"o","\u001b[1D"]
-[164.584482,"o","\u001b[1D"]
-[164.5905648,"o","\u001b[1D"]
-[164.5963978,"o","\u001b[1D"]
-[164.60268900000003,"o","\u001b[1D"]
-[164.6084486,"o","\u001b[1D"]
-[164.6144968,"o","\u001b[1D"]
-[164.62036160000002,"o","\u001b[1D"]
-[164.626371,"o","\u001b[1D"]
-[164.63222840000003,"o","\u001b[1D"]
-[164.63834240000003,"o","\u001b[1D"]
-[164.68717900000001,"o","\u001b[1D"]
-[164.72535100000002,"o","\u001b[1D"]
-[165.083812,"o","\u001b[1G"]
-[165.0839754,"o","\u001b[0J  toStr = $< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;"]
-[165.0840452,"o","\u001b[12G"]
-[165.2247964,"o","\u001b[1G\u001b[0J"]
-[165.2249306,"o","  toStr = $b< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;\u001b[13G"]
-[165.3238554,"o","\u001b[1G\u001b[0J"]
-[165.3239648,"o","  toStr = $bi< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;\u001b[14G"]
-[165.38303180000003,"o","\u001b[1G"]
-[165.3830704,"o","\u001b[0J  toStr = $bit< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;\u001b[15G"]
-[165.4122162,"o","\u001b[1G"]
-[165.412293,"o","\u001b[0J  toStr = $bits< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;\u001b[16G"]
-[165.4488152,"o","\u001b[1G\u001b[0J  toStr = $bits < .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;\u001b[17G"]
-[166.24109900000002,"o","\u001b[52C\r\r\n"]
-[166.2411724,"o","SymbolTable: rel 'toStr' is redefined (lines 3:9...3:65)\r\n"]
-[166.24540760000002,"o","--> \"100\"\r\n\u001b[1G\u001b[0J> \u001b[3G"]
-[166.66951100000003,"o","\u001b[1G\u001b[0J"]
-[166.66953360000002,"o","> toStr = $bits < .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr]CONCAT, \"\"> ;\u001b[69G"]
-[166.75721120000003,"o","\u001b[1G\u001b[0J> -- toStr is polymorphic, and the 'shape' of the input code is complex\\\u001b[73G"]
-[166.9775648,"o","\u001b[1G\u001b[0J"]
-[166.9776074,"o","> --R toStr\u001b[12G"]
-[167.108622,"o","\r"]
-[167.108655,"o","\r\n  toStr : ?$BsAqRMv  -->  ?$string"]
-[167.1087228,"o","\r\n"]
-[167.10881840000002,"o","  toStr = $BsAqRMv <.0 ['0', toStr] CONCAT, .1 ['1', toStr] CONCAT, ''>;"]
-[167.1088914,"o","\r\n\u001b[1G"]
-[167.10903840000003,"o","\u001b[0J> "]
-[167.10905680000002,"o","\u001b[3G"]
-[169.2674548,"o","c"]
-[169.312006,"o","o"]
-[169.36619280000002,"o","n"]
-[169.441457,"o","c"]
-[169.473778,"o","a"]
-[169.53129380000001,"o","t"]
-[169.5661004,"o"," "]
-[169.7741574,"o","="]
-[169.877798,"o"," "]
-[170.5750184,"o","$"]
-[170.7845016,"o","{"]
-[171.2766372,"o","b"]
-[171.3724416,"o","i"]
-[171.5745684,"o","t"]
-[171.60345840000002,"o","s"]
-[171.69133680000002,"o"," "]
-[171.7680478,"o","x"]
-[171.841589,"o",","]
-[171.8770304,"o"," "]
-[172.002666,"o","b"]
-[172.0508842,"o","i"]
-[172.1021248,"o","t"]
-[172.1325122,"o","s"]
-[172.26994720000002,"o"," "]
-[172.377248,"o","y"]
-[172.5134202,"o","}"]
-[172.6250458,"o"," "]
-[172.78321440000002,"o","{"]
-[172.9353202,"o","."]
-[173.0298878,"o","x"]
-[173.11760180000002,"o"," "]
-[173.203796,"o","r"]
-[173.23432620000003,"o","e"]
-[173.26496840000001,"o","v"]
-[173.29035820000001,"o","e"]
-[173.3100068,"o","r"]
-[173.34295880000002,"o","s"]
-[173.3959484,"o","e"]
-[173.4806618,"o"," "]
-[173.697843,"o","x"]
-[173.7620908,"o",","]
-[173.8006344,"o"," "]
-[174.03413680000003,"o","."]
-[174.26998020000002,"o","\u001b[1G\u001b[0J> concat = ${bits x, bits y} {.x reverse x, \u001b[45G"]
-[174.3036624,"o","\u001b[1G\u001b[0J> concat = ${bits x, bits y} {.x reverse x,\u001b[44G"]
-[174.34106400000002,"o","\u001b[1G\u001b[0J> concat = ${bits x, bits y} {.x reverse x\u001b[43G"]
-[174.42089180000002,"o","\u001b[1G\u001b[0J> concat = ${bits x, bits y} {.x reverse \u001b[42G"]
-[174.5503182,"o","i"]
-[174.58218220000003,"o","n"]
-[174.6699916,"o",","]
-[174.7051902,"o"," "]
-[174.9088092,"o","."]
-[174.99534140000003,"o","y"]
-[175.0159006,"o"," "]
-[175.1198584,"o","o"]
-[175.1630302,"o","u"]
-[175.20317160000002,"o","t"]
-[175.5102098,"o","}"]
-[175.60588740000003,"o"," "]
-[175.76421620000002,"o","r"]
-[175.79143240000002,"o","e"]
-[175.8330252,"o","v"]
-[175.85853780000002,"o","e"]
-[175.8806826,"o","r"]
-[175.9149322,"o","s"]
-[175.96355340000002,"o","e"]
-[176.16274940000002,"o","_"]
-[176.2970594,"o",";"]
-[176.8711394,"o","\r"]
-[176.8714358,"o","\r\n"]
-[176.87604340000001,"o","--> \"100\"\r\n\u001b[1G"]
-[176.8761096,"o","\u001b[0J> \u001b[3G"]
-[177.57054820000002,"o","_"]
-[177.67064800000003,"o","0"]
-[177.76940100000002,"o","0"]
-[177.9201406,"o","1"]
-[178.20656580000002,"o"," "]
-[179.0957248,"o","\u001b[1G\u001b[0J> _001\u001b[7G"]
-[179.12935600000003,"o","\u001b[1G\u001b[0J> _00\u001b[6G"]
-[179.16156220000002,"o","\u001b[1G\u001b[0J> _0\u001b[5G"]
-[179.19537860000003,"o","\u001b[1G\u001b[0J> _\u001b[4G"]
-[179.23640880000002,"o","\u001b[1G\u001b[0J"]
-[179.2364622,"o","> \u001b[3G"]
-[179.48211960000003,"o","d"]
-[179.5019976,"o","o"]
-[179.5422588,"o","u"]
-[179.5885498,"o","b"]
-[179.70771100000002,"o","l"]
-[179.74178600000002,"o","e"]
-[179.9137062,"o"," "]
-[180.04067640000002,"o","="]
-[180.10193260000003,"o"," "]
-[180.32538480000002,"o","{"]
-[180.89200400000001,"o","$"]
-[180.99680560000002,"o","b"]
-[181.15303200000002,"o","i"]
-[181.22624580000002,"o","t"]
-[181.4707922,"o","s"]
-[181.5966092,"o"," "]
-[181.9135358,"o","x"]
-[181.962853,"o",","]
-[182.0095394,"o"," "]
-[182.1133956,"o","("]
-[182.14561700000002,"o",")"]
-[182.2319348,"o"," "]
-[182.4224006,"o","y"]
-[182.5838644,"o","}"]
-[182.799037,"o"," "]
-[183.59135100000003,"o","c"]
-[183.6142646,"o","o"]
-[183.6586042,"o","n"]
-[183.7435364,"o","c"]
-[183.77709720000001,"o","a"]
-[183.82040540000003,"o","t"]
-[184.1147904,"o",";"]
-[184.2368666,"o"," "]
-[185.11077540000002,"o","\\"]
-[185.5928614,"o","\r\r\n"]
-[185.59293920000002,"o","\u001b[1G\u001b[0J  \u001b[3G"]
-[185.9589544,"o","_"]
-[186.0374128,"o","0"]
-[186.10787660000003,"o","0"]
-[186.21194760000003,"o","1"]
-[186.56708500000002,"o"," "]
-[186.759026,"o","d"]
-[186.83256260000002,"o","o"]
-[186.93179560000002,"o","b"]
-[187.21499040000003,"o","\u001b[1G\u001b[0J  _001 do\u001b[10G"]
-[187.3905732,"o","u"]
-[187.4452018,"o","b"]
-[187.52338220000001,"o","l"]
-[187.55427500000002,"o","e"]
-[187.68355880000001,"o"," "]
-[187.73061,"o","d"]
-[187.7825822,"o","o"]
-[187.8228302,"o","u"]
-[187.8755956,"o","b"]
-[187.966809,"o","l"]
-[187.9962362,"o","e"]
-[188.169762,"o"," "]
-[188.4770932,"o","d"]
-[188.64036180000002,"o","o"]
-[188.69161300000002,"o","u"]
-[188.7490606,"o","b"]
-[188.8597118,"o","l"]
-[188.88353400000003,"o","e"]
-[188.94472280000002,"o"," "]
-[189.07848380000001,"o","t"]
-[189.17625040000001,"o","o"]
-[189.3308646,"o","S"]
-[189.7362792,"o","t"]
-[189.7761504,"o","r"]
-[189.952607,"o","\r\r\n"]
-[189.96177980000002,"o","--> \"001001001001001001001001\"\r\n\u001b[1G\u001b[0J> \u001b[3G"]
-[190.7971976,"o","\u001b[1G\u001b[0J"]
-[190.7972416,"o","> _001 double double double toStr\u001b[34G"]
-[190.91033240000002,"o","\u001b[1G\u001b[0J"]
-[190.9103758,"o","> _001 double double double toSt\u001b[33G"]
-[190.94715200000002,"o","\u001b[1G\u001b[0J"]
-[190.94716860000003,"o","> _001 double double double toS\u001b[32G"]
-[190.98068020000002,"o","\u001b[1G\u001b[0J"]
-[190.98074780000002,"o","> _001 double double double to\u001b[31G"]
-[191.01606320000002,"o","\u001b[1G"]
-[191.01615500000003,"o","\u001b[0J> _001 double double double t\u001b[30G"]
-[191.0560954,"o","\u001b[1G"]
-[191.05629240000002,"o","\u001b[0J> _001 double double double \u001b[29G"]
-[191.3084588,"o","r"]
-[191.3393446,"o","e"]
-[191.3695236,"o","v"]
-[191.3949222,"o","e"]
-[191.4118426,"o","r"]
-[191.4464902,"o","s"]
-[191.4946,"o","e"]
-[191.527892,"o"," "]
-[191.64476660000003,"o","t"]
-[191.74361380000002,"o","o"]
-[191.8206886,"o","S"]
-[191.8655814,"o","t"]
-[191.902387,"o","r"]
-[192.0337398,"o","\r\r\n"]
-[192.04473800000002,"o","--> \"100100100100100100100100\""]
-[192.04476440000002,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
-[192.5945346,"o","-"]
-[192.63122760000002,"o","-"]
-[192.73557200000002,"o"," "]
-[192.8539848,"o","l"]
-[192.888999,"o","i"]
-[192.9275682,"o","s"]
-[192.9487598,"o","t"]
-[192.98043600000003,"o"," "]
-[193.098893,"o","c"]
-[193.16146000000003,"o","o"]
-[193.2111804,"o","m"]
-[193.2574774,"o","p"]
-[193.3233666,"o","r"]
-[193.356917,"o","e"]
-[193.4353958,"o","h"]
-[193.466024,"o","e"]
-[193.4946078,"o","n"]
-[193.6550282,"o","s"]
-[193.6835316,"o","i"]
-[193.71572160000002,"o","o"]
-[193.75880940000002,"o","n"]
-[193.9286686,"o"," "]
-[194.0564452,"o","u"]
-[194.1177174,"o","s"]
-[194.1447942,"o","i"]
-[194.1924564,"o","n"]
-[194.23104460000002,"o","g"]
-[194.34779920000003,"o"," "]
-[194.4001694,"o","'"]
-[194.54162100000002,"o","|"]
-[194.61652560000002,"o","'"]
-[194.6790254,"o"," "]
-[194.8358462,"o","("]
-[195.034332,"o","u"]
-[195.0775874,"o","n"]
-[195.24056660000002,"o","b"]
-[195.34470140000002,"o","o"]
-[195.47916740000002,"o","x"]
-[195.59427700000003,"o",")"]
-[195.7911408,"o"," "]
-[195.88903820000002,"o","a"]
-[195.91755940000002,"o","n"]
-[195.951211,"o","d"]
-[195.9674482,"o"," "]
-[196.11251500000003,"o","'"]
-[196.2841708,"o","^"]
-[196.4087816,"o","\""]
-[196.52056960000002,"o"," "]
-[196.61026040000002,"o","\u001b[1G\u001b[0J"]
-[196.6103108,"o","> -- list comprehension using '|' (unbox) and '^\"\u001b[50G"]
-[196.7894492,"o","\u001b[1G"]
-[196.78963380000002,"o","\u001b[0J> -- list comprehension using '|' (unbox) and '^\u001b[49G"]
-[196.9302974,"o","'"]
-[196.97804920000002,"o"," "]
-[197.061373,"o","b"]
-[197.192226,"o","\u001b[1G\u001b[0J"]
-[197.19224300000002,"o","> -- list comprehension using '|' (unbox) and '^' \u001b[51G"]
-[197.2772898,"o","("]
-[197.37959020000002,"o","b"]
-[197.488648,"o","o"]
-[197.5412468,"o","x"]
-[197.68208520000002,"o",")"]
-[198.01188520000002,"o"," "]
-[198.56211800000003,"o","\\"]
-[198.9892152,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
-[199.1811996,"o","t"]
-[199.27253240000002,"o","o"]
-[199.59245020000003,"o","\u001b[1G"]
-[199.5925338,"o","\u001b[0J  t\u001b[4G"]
-[199.6307202,"o","\u001b[1G\u001b[0J  \u001b[3G"]
-[199.97144920000002,"o","["]
-[201.851407,"o","e"]
-[201.8671734,"o","m"]
-[201.936196,"o","p"]
-[202.00488140000002,"o","t"]
-[202.04017100000002,"o","y"]
-[202.1278446,"o",","]
-[202.34385780000002,"o"," "]
-[202.68973000000003,"o","_"]
-[202.750727,"o","0"]
-[202.80965300000003,"o","0"]
-[203.00644780000002,"o","1"]
-[203.27360980000003,"o",","]
-[203.31857200000002,"o"," "]
-[203.6002746,"o","_"]
-[203.67021400000002,"o","0"]
-[203.7473222,"o","0"]
-[203.78880800000002,"o","1"]
-[204.28137300000003,"o"," "]
-[204.3713318,"o","r"]
-[204.40475320000002,"o","e"]
-[204.4352206,"o","v"]
-[204.4702656,"o","e"]
-[204.49741140000003,"o","r"]
-[204.5311168,"o","s"]
-[204.5743026,"o","e"]
-[204.92670020000003,"o","]"]
-[205.38799600000004,"o"," "]
-[206.5771204,"o","|"]
-[206.8539476,"o"," "]
-[207.439828,"o","1"]
-[207.7734314,"o"," "]
-[208.2672392,"o","^"]
-[208.3460814,"o"," "]
-[208.6305562,"o","P"]
-[208.669,"o","L"]
-[208.7217252,"o","U"]
-[208.768216,"o","S"]
-[209.44342900000004,"o","\r"]
-[209.4436526,"o","\r\n"]
-[209.44965980000003,"o","--> 3"]
-[209.4496776,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
-[210.4628108,"o","-"]
-[210.504277,"o","-"]
-[210.61458779999998,"o"," "]
-[212.06293300000004,"o","3"]
-[212.0827398,"o"," "]
-[212.1555818,"o","r"]
-[212.1857842,"o","e"]
-[212.2562814,"o","p"]
-[212.2865946,"o","r"]
-[212.3311652,"o","e"]
-[212.3841986,"o","s"]
-[212.4337662,"o","e"]
-[212.460925,"o","n"]
-[212.49928060000002,"o","t"]
-[212.5234,"o","s"]
-[212.54619720000002,"o"," "]
-[212.6738638,"o","t"]
-[212.7124618,"o","h"]
-[212.7304584,"o","e"]
-[212.7527342,"o"," "]
-[212.94432619999998,"o","l"]
-[212.97622900000002,"o","e"]
-[213.01780480000002,"o","n"]
-[213.05797819999998,"o","g"]
-[213.0897956,"o","t"]
-[213.1329366,"o","h"]
-[213.41352400000002,"o"," "]
-[213.47398220000002,"o","o"]
-[213.53134920000002,"o","f"]
-[213.55328880000002,"o"," "]
-[213.5987444,"o","t"]
-[213.6335428,"o","h"]
-[213.65918980000004,"o","e"]
-[213.68872480000002,"o"," "]
-[213.7509904,"o","v"]
-[213.78587160000004,"o","e"]
-[213.84657560000002,"o","c"]
-[213.88826720000003,"o","t"]
-[213.9809884,"o","o"]
-[214.00486820000003,"o","r"]
-[214.5714696,"o","\r"]
-[214.57196199999998,"o","\r\n"]
-[214.57938880000003,"o","--> 3\r\n"]
-[214.57940760000002,"o","\u001b[1G\u001b[0J> \u001b[3G"]
-[215.1377928,"o","["]
-[215.23702100000003,"o","1"]
-[215.28340300000002,"o",","]
-[215.31535920000002,"o","2"]
-[215.35359480000002,"o",","]
-[215.38263940000002,"o","3"]
-[215.4240374,"o",","]
-[215.46096020000002,"o","4"]
-[215.72165280000002,"o","]"]
-[215.88819220000002,"o","\u001b[1G\u001b[0J> [1,2,3,4\u001b[11G"]
-[216.053055,"o",","]
-[216.142606,"o","3"]
-[216.17764980000004,"o",","]
-[216.203894,"o","2"]
-[216.238661,"o",","]
-[216.2658184,"o","1"]
-[216.29790020000002,"o",","]
-[216.3698188,"o",","]
-[216.53628600000002,"o","\u001b[1G\u001b[0J"]
-[216.5363394,"o","> [1,2,3,4,3,2,1,\u001b[18G"]
-[216.69644140000003,"o","3"]
-[216.7715946,"o",","]
-[216.80994139999999,"o","2"]
-[217.26223420000002,"o","]"]
-[217.47671540000002,"o"," "]
-[217.6722542,"o","|"]
-[217.86402200000003,"o"," "]
-[219.10885199999998,"o","<"]
-[219.298328,"o","."]
-[219.76516740000002,"o","2"]
-[219.9907648,"o"," "]
-[220.21513460000003,"o","2"]
-[220.40058600000003,"o",","]
-[220.59775260000004,"o"," "]
-[220.71264540000004,"o","."]
-[220.90481340000002,"o","3"]
-[221.15075940000003,"o"," "]
-[221.790488,"o","\u001b[1G\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 2, .3\u001b[34G"]
-[221.8337662,"o","\u001b[1G\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 2, .\u001b[33G"]
-[221.86746560000003,"o","\u001b[1G\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 2, \u001b[32G"]
-[221.89979140000003,"o","\u001b[1G\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 2,\u001b[31G"]
-[221.9383836,"o","\u001b[1G\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 2\u001b[30G"]
-[221.97531920000003,"o","\u001b[1G\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 \u001b[29G"]
-[222.12553939999998,"o","\""]
-[222.37803340000002,"o","t"]
-[222.43464840000001,"o","w"]
-[222.4876026,"o","o"]
-[222.58646800000002,"o","\""]
-[222.82020060000002,"o",","]
-[222.8601464,"o"," "]
-[222.9466196,"o","."]
-[223.11461880000002,"o","3"]
-[223.27784200000002,"o"," "]
-[223.39834300000004,"o","\""]
-[223.4970332,"o","t"]
-[223.5720344,"o","h"]
-[223.61345860000003,"o","r"]
-[223.642699,"o","e"]
-[223.6842138,"o","e"]
-[223.87788460000002,"o","\""]
-[223.97704140000002,"o"," "]
-[224.5566794,"o","^"]
-[224.82515880000003,"o","\r\r\n"]
-[224.8253558,"o","Parse error on line 3:\r\n...wo\", .3 \"three\" ^()\r\n----------------------^\r\nExpecting 'NAME', 'STRING', 'INT', 'LA', 'LC', 'LB', 'LP', 'RA', 'RB', 'DOT', 'COMMA', 'DOLLAR', 'QMARK', 'CARET', 'PIPE', got 'EOF'\r\nWARN: Recompiling without type reconciliation due to the type error above.\r\n"]
-[224.82553180000002,"o","e is not defined"]
-[224.8255494,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
-[225.578944,"o","\u001b[1G\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 \"two\", .3 \"three\" ^\u001b[48G"]
-[225.6641836,"o","\u001b[1D"]
-[225.71348920000003,"o","\u001b[1D"]
-[225.807815,"o","\u001b[1C"]
-[225.98544860000004,"o","\u001b[1G\u001b[0J"]
-[225.9854872,"o","> [1,2,3,4,3,2,1,3,2] | <.2 \"two\", .3 \"three\" >^\u001b[48G"]
-[226.03664760000004,"o","\u001b[1G"]
-[226.0366714,"o","\u001b[0J> [1,2,3,4,3,2,1,3,2] | <.2 \"two\", .3 \"three\" > ^\u001b[49G"]
-[226.1935604,"o","\u001b[1C\r\r\n"]
-[226.1997262,"o","--> [\"two\",\"three\",\"three\",\"two\",\"three\",\"two\"]"]
-[226.19976700000004,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
-[228.46702660000003,"o","-"]
-[228.6433728,"o","-"]
-[228.76353920000003,"o"," "]
-[228.95360219999998,"o","C"]
-[228.99240920000003,"o","a"]
-[229.03081000000003,"o","r"]
-[229.0798696,"o","t"]
-[229.12442980000003,"o","e"]
-[229.203016,"o","s"]
-[229.25387420000004,"o","i"]
-[229.27961300000004,"o","a"]
-[229.306816,"o","n"]
-[229.3422466,"o"," "]
-[229.439581,"o","p"]
-[229.47809940000002,"o","r"]
-[229.505177,"o","o"]
-[229.551656,"o","d"]
-[229.60590860000002,"o","u"]
-[229.6412282,"o","c"]
-[229.6972676,"o","t"]
-[229.840933,"o",":"]
-[229.95459660000003,"o"," "]
-[230.042616,"o","\\"]
-[230.09016700000004,"o","\r\r\n"]
-[230.0902072,"o","\u001b[1G\u001b[0J  \u001b[3G"]
-[230.33022219999998,"o","["]
-[231.02780180000002,"o","1"]
-[231.1156588,"o",","]
-[231.26234180000003,"o","2"]
-[231.4614098,"o",","]
-[231.64700720000002,"o","3"]
-[231.9814724,"o","]"]
-[232.1983992,"o"," "]
-[232.91397840000002,"o","{"]
-[233.09345440000004,"o"," "]
-[233.21481920000002,"o","|"]
-[233.27741360000002,"o"," "]
-[233.33200520000003,"o","x"]
-[233.40399280000003,"o",","]
-[233.4471404,"o"," "]
-[233.89355260000002,"o","|"]
-[233.9976354,"o"," "]
-[234.1284114,"o","y"]
-[234.34323500000002,"o"," "]
-[234.54722980000003,"o","}"]
-[234.64683020000004,"o"," "]
-[234.80172940000003,"o","^"]
-[235.1001342,"o","\r\r\n"]
-[235.1116766,"o","--> [{\"x\":1,\"y\":1},{\"x\":2,\"y\":1},{\"x\":3,\"y\":1},{\"x\":1,\"y\":2},{\"x\":2,\"y\":2},{\"x\":3,\"y\":2},{\"x\":1,\"y\":3},{\"x\":2,\"y\":3},{\"x\":3,\"y\":3}]\r\n\u001b[1G\u001b[0J"]
-[235.111696,"o","> \u001b[3G"]
-[235.5304742,"o","-"]
-[235.57365500000003,"o","-"]
-[235.6742672,"o","p"]
-[235.71587340000002,"o","p"]
-[235.99457980000003,"o","\r"]
-[235.99484240000004,"o","\r\n"]
-[235.99575300000004,"o","["]
-[235.99585280000002,"o","\r\n  { x: \u001b[33m1\u001b[39m, y: \u001b[33m1\u001b[39m },\r\n  { x: \u001b[33m2\u001b[39m, y: \u001b[33m1\u001b[39m },\r\n  { x: \u001b[33m3\u001b[39m, y: \u001b[33m1\u001b[39m },\r\n  { x: \u001b[33m1\u001b[39m, y: \u001b[33m2\u001b[39m },\r\n  { x: \u001b[33m2\u001b[39m, y: \u001b[33m2\u001b[39m },\r\n  { x: \u001b[33m3\u001b[39m, y: \u001b[33m2\u001b[39m },\r\n  { x: \u001b[33m1\u001b[39m, y: \u001b[33m3\u001b[39m },\r\n  { x: \u001b[33m2\u001b[39m, y: \u001b[33m3\u001b[39m },\r\n  { x: \u001b[33m3\u001b[39m, y: \u001b[33m3\u001b[39m }\r\n]\r\n\u001b[1G\u001b[0J> \u001b[3G"]
-[237.62046180000004,"o","REPL closed\r\n"]
-[237.62294980000001,"o","\u001b]0;wojtek@mac:~\u0007"]
-[237.6240702,"o","\u001b]777;notify;Command completed;k-repl\u001b\\\u001b]777;precmd\u001b\\"]
-[237.6249528,"o","\u001b]7;file://mac/home/wojtek\u001b\\"]
-[237.62511940000002,"o","\u001b[?2004h\u001b]133;D;0\u001b\\\u001b]133;A\u001b\\\u001b[32mwojtek@mac\u001b[0m:\u001b[32m~\u001b[0m$\u001b[0m \u001b]133;B\u001b\\"]
-[237.8697276,"o","e"]
-[237.9179252,"o","x"]
-[237.9675952,"o","i"]
-[238.0138294,"o","t"]
-[238.09409040000003,"o","\r\n\u001b[?2004l\r"]
-[238.0941258,"o","\u001b]133;C\u001b\\\r\u001b]777;preexec\u001b\\"]
-[238.09427580000002,"o","exit\r\n"]