@fraczak/k 4.0.2 → 4.0.3

package/demo2.cast

@@ -0,0 +1,1705 @@
+{"version":2,"width":120,"height":36,"timestamp":1726451231,"idle_time_limit":2.5,"env":{"SHELL":"/bin/bash","TERM":"xterm-256color"}}
+[0.0185824,"o","\u001b]0;wojtek@mac:~/gits/k\u0007"]
+[0.0202378,"o","\u001b]777;notify;Command completed;gitk --all\u001b\\\u001b]777;precmd\u001b\\"]
+[0.020753,"o","\u001b]7;file://mac/home/wojtek/gits/k\u001b\\"]
+[0.0208512,"o","\u001b[?2004h"]
+[0.020946400000000004,"o","\u001b]133;D;0\u001b\\\u001b]133;A\u001b\\\u001b[32mwojtek@mac\u001b[0m:\u001b[32m~/gits/k\u001b[0m$\u001b[0m \u001b]133;B\u001b\\"]
+[1.9303480000000002,"o","."]
+[2.054764,"o","/"]
+[2.2182454000000003,"o","r"]
+[2.2501406,"o","e"]
+[2.3377376,"o","p"]
+[2.3660406,"o","l.mjs "]
+[2.5040114,"o","\r\n\u001b[?2004l\r"]
+[2.5040282000000005,"o","\u001b]133;C\u001b\\\r\u001b]777;preexec\u001b\\"]
+[2.5628994,"o","Very! experimental repl shell for 'k-language'...\r\n"]
+[2.5629566,"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.563376,"o","\u001b[1G"]
+[2.5634252,"o","\u001b[0J"]
+[2.5634978000000004,"o","> "]
+[2.5635548000000004,"o","\u001b[3G"]
+[3.2581848000000004,"o","-"]
+[3.3002088,"o","-"]
+[3.3996049999999998,"o"," "]
+[3.4972408,"o","D"]
+[3.5371554000000005,"o","E"]
+[3.6489854000000004,"o","M"]
+[3.7161437999999998,"o","O"]
+[3.9341850000000003,"o",":"]
+[4.0219604,"o"," "]
+[4.2569432,"o","c"]
+[4.2909532,"o","o"]
+[4.3406042000000005,"o","m"]
+[4.3773752,"o","m"]
+[4.4123834,"o","e"]
+[4.4487892,"o","n"]
+[4.5056692,"o","t"]
+[4.53868,"o","s"]
+[4.750614000000001,"o",":"]
+[4.8266156,"o"," "]
+[4.941924800000001,"o","-"]
+[4.984964000000001,"o","-"]
+[5.2508040000000005,"o"," "]
+[5.2856372,"o","."]
+[5.319753,"o","."]
+[5.360922,"o","."]
+[5.403870400000001,"o",","]
+[5.447550400000001,"o"," "]
+[5.5936836,"o","/"]
+[5.6346618,"o","/"]
+[5.7080786,"o"," "]
+[5.7583476000000005,"o","."]
+[5.7937858,"o","."]
+[5.834719400000001,"o","."]
+[6.0113108,"o",","]
+[6.055583200000001,"o"," "]
+[6.3021608,"o","#"]
+[6.422788199999999,"o"," "]
+[6.4805426,"o","."]
+[6.518176800000001,"o","."]
+[6.5565771999999996,"o","."]
+[6.723314600000001,"o",","]
+[6.757144800000001,"o"," "]
+[6.856101,"o","o"]
+[6.9383708,"o","r"]
+[6.971301400000001,"o"," "]
+[7.1442651999999995,"o","c"]
+[7.309062600000001,"o","-"]
+[7.3850582000000005,"o","l"]
+[7.431185000000001,"o","i"]
+[7.4664746,"o","k"]
+[7.5043036,"o","e"]
+[7.5321074,"o"," "]
+[7.642543000000001,"o","/"]
+[7.782168400000001,"o","*"]
+[7.832591600000001,"o"," "]
+[7.9530318,"o","."]
+[7.9869596000000005,"o","."]
+[8.0229344,"o","."]
+[8.0601052,"o","."]
+[8.1099678,"o"," "]
+[8.168528,"o","*"]
+[8.2815568,"o","/"]
+[9.1523824,"o","\\"]
+[9.3415198,"o","\r"]
+[9.341640400000001,"o","\r\n"]
+[9.341795000000001,"o","\u001b[1G\u001b[0J  "]
+[9.3418278,"o","\u001b[3G"]
+[9.635990800000002,"o","-"]
+[9.6794996,"o","-"]
+[9.833852400000001,"o"," "]
+[10.114476400000001,"o","L"]
+[10.186872200000002,"o","e"]
+[10.2116828,"o","t"]
+[10.315873000000002,"o","'"]
+[10.3476626,"o","s"]
+[10.384472200000001,"o"," "]
+[10.4471544,"o","s"]
+[10.496733,"o","t"]
+[10.5241846,"o","a"]
+[10.54798,"o","r"]
+[10.5881114,"o","t"]
+[10.6199384,"o"," "]
+[10.685141600000001,"o","w"]
+[10.745125400000001,"o","i"]
+[10.797902,"o","t"]
+[10.8373404,"o","h"]
+[10.871085,"o"," "]
+[11.0353802,"o","c"]
+[11.1011918,"o","o"]
+[11.162063000000002,"o","d"]
+[11.210036200000001,"o","e"]
+[11.2665078,"o","s"]
+[11.652945,"o","."]
+[11.7062696,"o"," "]
+[11.8278354,"o","T"]
+[11.92712,"o","o"]
+[11.9636308,"o"," "]
+[11.9989834,"o","d"]
+[12.039378600000001,"o","e"]
+[12.099039000000001,"o","f"]
+[12.158566800000001,"o","i"]
+[12.2002514,"o","n"]
+[12.232997600000001,"o","e"]
+[12.259960200000002,"o"," "]
+[12.319391600000001,"o","a"]
+[12.3563538,"o"," "]
+[12.3963246,"o","c"]
+[12.4562568,"o","o"]
+[12.4834332,"o","d"]
+[12.531451400000002,"o","e"]
+[12.563735200000002,"o"," "]
+[12.6677844,"o","("]
+[12.9341154,"o","t"]
+[12.9707518,"o","y"]
+[13.0704834,"o","p"]
+[13.092136199999999,"o","e"]
+[13.193149600000002,"o",")"]
+[13.266992200000002,"o"," "]
+[13.723472000000001,"o","y"]
+[13.7907716,"o","o"]
+[13.833255399999999,"o","u"]
+[13.894175000000002,"o","d"]
+[13.9277158,"o"," "]
+[14.1311568,"o","\\"]
+[14.476815199999999,"o","\r"]
+[14.4769602,"o","\r\n\u001b[1G"]
+[14.477025000000001,"o","\u001b[0J  "]
+[14.4770434,"o","\u001b[3G"]
+[14.77988,"o","-"]
+[14.820872800000002,"o","-"]
+[14.91685,"o"," "]
+[15.219730000000002,"o","`"]
+[15.2734678,"o"," "]
+[15.549263199999999,"o","$"]
+[15.616739000000003,"o"," "]
+[15.6832066,"o","c"]
+[15.7362648,"o","o"]
+[15.7687592,"o","d"]
+[15.8129682,"o","e"]
+[15.962004400000001,"o","-"]
+[16.036961400000003,"o","n"]
+[16.0623848,"o","a"]
+[16.0859464,"o","m"]
+[16.115944,"o","e"]
+[16.2142714,"o"," "]
+[16.3587332,"o","="]
+[16.4312458,"o"," "]
+[16.520217600000002,"o","c"]
+[16.569832,"o","o"]
+[16.608577399999998,"o","d"]
+[16.6567124,"o","e"]
+[16.7030812,"o","-"]
+[16.7491892,"o","e"]
+[16.8019376,"o","x"]
+[16.858529400000002,"o","p"]
+[16.9000318,"o","r"]
+[16.9410272,"o","e"]
+[16.99921,"o","s"]
+[17.0491334,"o","s"]
+[17.078677,"o","i"]
+[17.1119434,"o","o"]
+[17.162121600000003,"o","n"]
+[17.192643,"o"," "]
+[17.309713600000002,"o",";"]
+[17.551111000000002,"o"," "]
+[17.5876838,"o","`"]
+[17.94371,"o","\r\r\n"]
+[17.946912800000003,"o","--> {}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[18.3655646,"o","$"]
+[18.4334154,"o"," "]
+[18.6208228,"o","u"]
+[18.656693999999998,"o","n"]
+[18.6979092,"o","i"]
+[18.759331800000002,"o","t"]
+[18.784208000000003,"o"," "]
+[18.9516302,"o","="]
+[19.0094034,"o"," "]
+[19.1396098,"o","{"]
+[19.241440600000004,"o"," "]
+[19.3515898,"o","}"]
+[19.4239138,"o"," "]
+[19.5227704,"o",";"]
+[19.5776122,"o"," "]
+[19.6781304,"o"," "]
+[19.683656600000003,"o"," "]
+[19.6896314,"o"," "]
+[19.6953658,"o"," "]
+[19.701315800000003,"o"," "]
+[19.707391,"o"," "]
+[19.713740200000004,"o"," "]
+[19.719778400000003,"o"," "]
+[19.7257056,"o"," "]
+[19.731392,"o"," "]
+[19.737659800000003,"o"," "]
+[19.7435554,"o"," "]
+[19.750008800000003,"o"," "]
+[19.755525000000002,"o"," "]
+[19.762115,"o"," "]
+[19.7675476,"o"," "]
+[19.7735488,"o"," "]
+[19.779614600000002,"o"," "]
+[19.7860202,"o"," "]
+[19.7915406,"o"," "]
+[19.9474352,"o","-"]
+[19.992668800000004,"o","-"]
+[20.179270600000002,"o"," "]
+[20.8576348,"o","e"]
+[20.882564600000002,"o","m"]
+[20.9459814,"o","p"]
+[21.014982800000002,"o","t"]
+[21.058019200000004,"o","y"]
+[21.078728,"o"," "]
+[21.164197200000004,"o","p"]
+[21.205219,"o","r"]
+[21.229261,"o","o"]
+[21.2869758,"o","d"]
+[21.3414384,"o","u"]
+[21.374675,"o","c"]
+[21.417536600000002,"o","t"]
+[21.5090036,"o"," "]
+[21.5800188,"o","c"]
+[21.629947400000002,"o","o"]
+[21.6586152,"o","d"]
+[21.703012400000002,"o","e"]
+[22.316322200000002,"o"," "]
+[22.6331032,"o","\\"]
+[22.8523868,"o","\r"]
+[22.852457200000003,"o","\r\n"]
+[22.852550800000003,"o","\u001b[1G"]
+[22.8535462,"o","\u001b[0J  "]
+[22.8535654,"o","\u001b[3G"]
+[23.092838,"o","$"]
+[23.1916684,"o"," "]
+[23.3518496,"o","b"]
+[23.447730200000002,"o","i"]
+[23.507957200000003,"o","t"]
+[23.534700200000003,"o","s"]
+[23.5648856,"o"," "]
+[23.756847800000003,"o","="]
+[23.8215228,"o"," "]
+[23.8973316,"o","<"]
+[23.9663214,"o"," "]
+[24.2266576,"o","u"]
+[24.2633666,"o","n"]
+[24.3037116,"o","i"]
+[24.3581904,"o","t"]
+[24.385142600000002,"o"," "]
+[24.528280600000002,"o","_"]
+[24.595161,"o",","]
+[24.639992200000002,"o"," "]
+[24.956389400000003,"o","b"]
+[25.0659642,"o","i"]
+[25.136606,"o","t"]
+[25.1885474,"o","s"]
+[25.222113,"o"," "]
+[25.5518998,"o","0"]
+[25.7488122,"o",","]
+[25.792859,"o"," "]
+[26.075280400000004,"o","b"]
+[26.2254236,"o","i"]
+[26.285846,"o","t"]
+[26.3240386,"o","s"]
+[26.3540452,"o"," "]
+[26.4732354,"o","1"]
+[26.6801314,"o"," "]
+[26.824217,"o",">"]
+[26.968735600000002,"o"," "]
+[27.1559388,"o",";"]
+[27.2075274,"o"," "]
+[27.416816999999998,"o","-"]
+[27.4634298,"o","-"]
+[27.5738344,"o"," "]
+[27.954725000000003,"o","u"]
+[27.997318200000002,"o","n"]
+[28.0494624,"o","i"]
+[28.091639,"o","o"]
+[28.126741199999998,"o","n"]
+[28.201793400000003,"o"," "]
+[28.2670284,"o","t"]
+[28.3069294,"o","y"]
+[28.389128799999998,"o","p"]
+[28.4141172,"o","e"]
+[28.4463636,"o"," "]
+[28.5903978,"o","w"]
+[28.639223800000003,"o","i"]
+[28.687471799999997,"o","t"]
+[28.7307192,"o","h"]
+[28.765209,"o"," "]
+[28.8111654,"o","t"]
+[29.019701400000002,"o","\u001b[1G\u001b[0J"]
+[29.019816,"o","  $ bits = < unit _, bits 0, bits 1 > ; -- union type with \u001b[60G"]
+[29.045847199999997,"o","3"]
+[29.1599268,"o"," "]
+[29.57734,"o","c"]
+[29.6598772,"o","\u001b[1G"]
+[29.6600074,"o","\u001b[0J  $ bits = < unit _, bits 0, bits 1 > ; -- union type with 3 "]
+[29.6601008,"o","\u001b[62G"]
+[29.7065704,"o","v"]
+[29.840630800000003,"o","a"]
+[29.959027600000002,"o","r"]
+[30.0486702,"o","i"]
+[30.084571,"o","a"]
+[30.116014000000003,"o","n"]
+[30.1576216,"o","t"]
+[30.1874964,"o","s"]
+[30.365317,"o",","]
+[30.4184558,"o"," "]
+[30.5737396,"o","t"]
+[30.665830200000002,"o","a"]
+[30.700613,"o","g"]
+[30.736594600000004,"o","g"]
+[30.7618064,"o","e"]
+[30.8065606,"o","d"]
+[30.916544800000004,"o"," "]
+[31.175625800000002,"o","_"]
+[31.273386000000002,"o","\u001b[1G\u001b[0J  $ bits = < unit _, bits 0, bits 1 > ; -- union type with 3 variants, tagged _, \u001b[1G"]
+[31.477227,"o"," "]
+[31.6523034,"o","0"]
+[31.733105600000002,"o",","]
+[31.779410400000003,"o"," "]
+[31.993059000000002,"o","o"]
+[32.0464432,"o","r"]
+[32.0713396,"o"," "]
+[32.197994,"o",")"]
+[32.3808152,"o","\u001b[1A\u001b[1G\u001b[0J  $ bits = < unit _, bits 0, bits 1 > ; -- union type with 3 variants, tagged _, 0, or \u001b[8G"]
+[32.5563894,"o","1"]
+[33.4003462,"o","\r\r\n"]
+[33.400903,"o","--> {}\r\n"]
+[33.400972200000005,"o","\u001b[1G\u001b[0J"]
+[33.401695600000004,"o","> \u001b[3G"]
+[33.6390222,"o","-"]
+[33.685841599999996,"o","-"]
+[33.7563176,"o","c"]
+[33.8385192,"o","\r\r\n"]
+[33.83855260000001,"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"]
+[34.3838596,"o","-"]
+[34.4349372,"o","-"]
+[34.5065224,"o"," "]
+[34.6657534,"o","O"]
+[34.725821200000006,"o","n"]
+[34.7950298,"o","l"]
+[35.0622598,"o","y"]
+[35.7054198,"o"," "]
+[36.0102582,"o","\u001b[1G"]
+[36.01041,"o","\u001b[0J> -- Only"]
+[36.0104686,"o","\u001b[10G"]
+[36.042596800000005,"o","\u001b[1G"]
+[36.0427444,"o","\u001b[0J> -- Onl\u001b[9G"]
+[36.0774606,"o","\u001b[1G"]
+[36.0776034,"o","\u001b[0J> -- On\u001b[8G"]
+[36.111587,"o","\u001b[1G\u001b[0J"]
+[36.1116656,"o","> -- O\u001b[7G"]
+[36.183073,"o","\u001b[1G"]
+[36.1831936,"o","\u001b[0J> -- \u001b[6G"]
+[36.5332762,"o","c"]
+[36.5629446,"o","o"]
+[36.595639,"o","d"]
+[36.6467814,"o","e"]
+[36.6762998,"o"," "]
+[37.0242426,"o","'"]
+[37.1105868,"o","u"]
+[37.1520338,"o","n"]
+[37.1913366,"o","i"]
+[37.2432686,"o","t"]
+[37.429349200000004,"o","'"]
+[37.509349400000005,"o"," "]
+[37.636271,"o","a"]
+[37.6755614,"o","n"]
+[37.704882,"o","d"]
+[37.7299864,"o"," "]
+[37.8446584,"o","'"]
+[37.9204564,"o","b"]
+[38.003059400000005,"o","i"]
+[38.0605352,"o","t"]
+[38.0989534,"o","s"]
+[38.1726932,"o","'"]
+[38.2305258,"o"," "]
+[38.261761400000005,"o","a"]
+[38.303499,"o","r"]
+[38.3370868,"o","e"]
+[38.3783594,"o"," "]
+[38.836493000000004,"o","a"]
+[38.8793036,"o","l"]
+[38.91388140000001,"o","i"]
+[38.9314964,"o","a"]
+[38.9842894,"o","s"]
+[39.02270480000001,"o","e"]
+[39.069225,"o","s"]
+[39.0988636,"o"," "]
+[39.1426992,"o","t"]
+[39.2195064,"o","o"]
+[39.256274600000005,"o"," "]
+[39.2909372,"o","c"]
+[39.3520958,"o","a"]
+[39.388706400000004,"o","n"]
+[39.44971760000001,"o","o"]
+[39.5129048,"o","n"]
+[39.574701000000005,"o","i"]
+[39.7315122,"o","c"]
+[39.7634376,"o","a"]
+[39.840082,"o","l"]
+[39.8980976,"o"," "]
+[40.299382400000006,"o","c"]
+[40.329570200000006,"o","o"]
+[40.3697882,"o","d"]
+[40.413257200000004,"o","e"]
+[40.4396232,"o"," "]
+[40.481525000000005,"o","n"]
+[40.512114600000004,"o","a"]
+[40.540054600000005,"o","m"]
+[40.56560640000001,"o","e"]
+[40.61289980000001,"o","s"]
+[40.6513046,"o"," "]
+[41.0311936,"o","'"]
+[41.1578984,"o","K"]
+[41.198079400000005,"o","L"]
+[41.2940466,"o","'"]
+[41.35823500000001,"o"," "]
+[41.388686400000005,"o","a"]
+[41.471702,"o","n"]
+[41.494272200000005,"o","d"]
+[41.51272900000001,"o"," "]
+[41.620707800000005,"o","'"]
+[42.421438,"o","Bs"]
+[42.4215492,"o","Aq"]
+[42.421660800000005,"o","R\u001b[1G\u001b[0J"]
+[42.421775600000004,"o","> -- code 'unit' and 'bits' are aliases to canonical code names 'KL' and 'BsAqRM \u001b[1Gv"]
+[42.6576374,"o","'"]
+[42.810227600000005,"o",","]
+[42.8487634,"o"," "]
+[42.892061600000005,"o","r"]
+[42.9332532,"o","e"]
+[42.9856976,"o","s"]
+[43.03455220000001,"o","p"]
+[43.060916600000006,"o","e"]
+[43.1193222,"o","c"]
+[43.1828098,"o","t"]
+[43.2559088,"o","i"]
+[43.325098000000004,"o","v"]
+[43.387009400000004,"o","e"]
+[43.4426824,"o","l"]
+[43.515509200000004,"o","y"]
+[44.0214062,"o","\\"]
+[44.164642400000005,"o","\r"]
+[44.1647284,"o","\r\n"]
+[44.16483840000001,"o","\u001b[1G"]
+[44.1648664,"o","\u001b[0J  \u001b[3G"]
+[44.3738164,"o","-"]
+[44.41584460000001,"o","-"]
+[44.524868,"o"," "]
+[44.6796426,"o","N"]
+[44.7441734,"o","o"]
+[44.785271800000004,"o","w"]
+[44.815583000000004,"o"," "]
+[44.859916600000005,"o","w"]
+[44.90288340000001,"o","e"]
+[44.968303600000006,"o"," "]
+[45.001681600000005,"o","w"]
+[45.044790000000006,"o","i"]
+[45.0891688,"o","l"]
+[45.129642000000004,"o","l"]
+[45.172744800000004,"o"," "]
+[45.265352400000005,"o","d"]
+[45.3056274,"o","e"]
+[45.3570432,"o","f"]
+[45.3904464,"o","i"]
+[45.4194776,"o","n"]
+[45.53927780000001,"o","e"]
+[45.5918342,"o"," "]
+[45.844030000000004,"o","r"]
+[45.9518824,"o","\u001b[1G\u001b[0J"]
+[45.951917400000006,"o","  -- Now we will define "]
+[45.9520718,"o","\u001b[25G"]
+[46.0639996,"o","'"]
+[46.117116,"o","r"]
+[46.159933200000005,"o","e"]
+[46.205059000000006,"o","l"]
+[46.2544082,"o","a"]
+[46.313771,"o","t"]
+[46.3973846,"o","i"]
+[46.42923160000001,"o","o"]
+[46.4738478,"o","n"]
+[46.630441000000005,"o","a"]
+[46.690337,"o","'"]
+[46.806766,"o","\u001b[1G"]
+[46.8069702,"o","\u001b[0J  -- Now we will define 'relationa"]
+[46.807028,"o","\u001b[35G"]
+[46.840518800000005,"o","\u001b[1G"]
+[46.84064660000001,"o","\u001b[0J  -- Now we will define 'relation"]
+[46.840676,"o","\u001b[34G"]
+[46.8739038,"o","s"]
+[47.043624200000004,"o","'"]
+[47.323667400000005,"o",":"]
+[47.517394200000005,"o"," "]
+[47.63741400000001,"o","`"]
+[47.8309896,"o"," "]
+[47.982951400000005,"o","r"]
+[48.056648200000005,"o","e"]
+[48.260058,"o","l"]
+[48.32587040000001,"o","a"]
+[48.386338200000004,"o","t"]
+[48.532067600000005,"o","\u001b[1G"]
+[48.5321926,"o","\u001b[0J"]
+[48.5322662,"o","  -- Now we will define 'relations': ` rela\u001b[44G"]
+[48.5699952,"o","\u001b[1G"]
+[48.5702628,"o","\u001b[0J  -- Now we will define 'relations': ` rel"]
+[48.570321400000005,"o","\u001b[43G"]
+[48.6041018,"o","\u001b[1G"]
+[48.604324600000005,"o","\u001b[0J  -- Now we will define 'relations': ` re"]
+[48.604440000000004,"o","\u001b[42G"]
+[48.635822000000005,"o","\u001b[1G"]
+[48.6360084,"o","\u001b[0J  -- Now we will define 'relations': ` r\u001b[41G"]
+[48.6726454,"o","\u001b[1G"]
+[48.6727992,"o","\u001b[0J  -- Now we will define 'relations': ` \u001b[40G"]
+[48.8239246,"o","n"]
+[48.8488854,"o","a"]
+[48.870983800000005,"o","m"]
+[48.8987282,"o","e"]
+[48.9224632,"o"," "]
+[49.039585200000005,"o","="]
+[49.0874978,"o"," "]
+[49.212509600000004,"o","e"]
+[49.2667148,"o","x"]
+[49.319812000000006,"o","p"]
+[49.364600200000005,"o","r"]
+[49.407841600000005,"o","e"]
+[49.461639600000005,"o","s"]
+[49.5092228,"o","s"]
+[49.5487084,"o","i"]
+[49.5855086,"o","o"]
+[49.6322974,"o","n"]
+[49.6661512,"o"," "]
+[49.75970720000001,"o",";"]
+[49.830873200000006,"o"," "]
+[49.8560358,"o","`"]
+[50.079372000000006,"o","\r"]
+[50.07961280000001,"o","\r\n"]
+[50.0799624,"o","--> {}"]
+[50.080060800000005,"o","\r\n"]
+[50.0801522,"o","\u001b[1G\u001b[0J"]
+[50.0802152,"o","> \u001b[3G"]
+[50.918547000000004,"o","e"]
+[50.941778400000004,"o","m"]
+[51.027103600000004,"o","p"]
+[51.102504,"o","t"]
+[51.14292280000001,"o","y"]
+[51.174499600000004,"o"," "]
+[51.3485832,"o","="]
+[51.4091684,"o"," "]
+[51.6812642,"o","{"]
+[52.233199600000006,"o","{"]
+[52.26353040000001,"o","}"]
+[52.33087020000001,"o"," "]
+[52.4716492,"o","_"]
+[52.62373300000001,"o"," "]
+[52.783518400000005,"o","}"]
+[52.899329,"o"," "]
+[53.0333586,"o",";"]
+[53.09183960000001,"o"," "]
+[53.50825220000001,"o"," "]
+[53.545069600000005,"o"," "]
+[53.7084166,"o","-"]
+[53.7529576,"o","-"]
+[53.852060800000004,"o"," "]
+[53.9415582,"o","a"]
+[54.0103336,"o","l"]
+[54.0823678,"o","t"]
+[54.324465000000004,"o","e"]
+[54.376673800000006,"o","r"]
+[54.463746400000005,"o","n"]
+[54.493466600000005,"o","a"]
+[54.530920800000004,"o","t"]
+[54.610607800000004,"o","i"]
+[54.6772658,"o","v"]
+[54.7084136,"o","e"]
+[54.7388284,"o"," "]
+[54.900525200000004,"o","J"]
+[54.95601500000001,"o","S"]
+[54.999048200000004,"o","O"]
+[55.0616418,"o","N"]
+[55.1637016,"o","-"]
+[55.22010360000001,"o","l"]
+[55.2612264,"o","i"]
+[55.294659,"o","k"]
+[55.32086000000001,"o","e"]
+[55.35553660000001,"o"," "]
+[55.39283400000001,"o","s"]
+[55.434180000000005,"o","y"]
+[55.4782252,"o","n"]
+[55.5259056,"o","t"]
+[55.556578,"o","a"]
+[55.611938,"o","x"]
+[55.81733940000001,"o",":"]
+[55.8847222,"o"," "]
+[56.358910200000004,"o","{"]
+[56.6089628,"o","_"]
+[56.736169800000006,"o",":"]
+[57.00347980000001,"o","{"]
+[57.040077,"o","}"]
+[57.178146600000005,"o","}"]
+[57.6613304,"o"," "]
+[57.802353800000006,"o","\\"]
+[58.291054599999995,"o","\r"]
+[58.2915134,"o","\r\n\u001b[1G"]
+[58.291629400000005,"o","\u001b[0J"]
+[58.2918906,"o","  \u001b[3G"]
+[59.08938040000001,"o","_"]
+[59.1976226,"o","0"]
+[59.2493486,"o","0"]
+[59.2959644,"o","1"]
+[59.3745474,"o"," "]
+[59.5996542,"o","="]
+[59.7122358,"o"," "]
+[59.85649660000001,"o","{"]
+[60.0872764,"o","0"]
+[60.24898060000001,"o",":"]
+[60.434594000000004,"o","{"]
+[60.62505200000001,"o","0"]
+[60.767334000000005,"o",":"]
+[61.0451496,"o","{"]
+[61.2818522,"o","1"]
+[61.3984456,"o","{"]
+[61.751431000000004,"o","\u001b[1G"]
+[61.7519596,"o","\u001b[0J"]
+[61.7520132,"o","  _001 = {0:{0:{1\u001b[18G"]
+[62.0530206,"o",":"]
+[62.254973,"o","e"]
+[62.309055400000005,"o","m"]
+[62.3879536,"o","p"]
+[62.45789640000001,"o","t"]
+[62.4972316,"o","y"]
+[62.79728320000001,"o","}"]
+[62.895202,"o","}"]
+[63.1726732,"o","}"]
+[63.39163620000001,"o",";"]
+[63.8214072,"o","\r"]
+[63.821444,"o","\r\n"]
+[63.82335140000001,"o","--> {}"]
+[63.823425799999995,"o","\r\n"]
+[63.8240244,"o","\u001b[1G"]
+[63.8241232,"o","\u001b[0J"]
+[63.82425980000001,"o","> "]
+[63.82434560000001,"o","\u001b[3G"]
+[64.08173839999999,"o","-"]
+[64.1297038,"o","-"]
+[64.2451026,"o","r"]
+[64.32596240000001,"o","\r"]
+[64.326326,"o","\r\n{ empty: \u001b[32m'{{} _}'\u001b[39m, _001: \u001b[32m'{{{empty 1} 0} 0}'\u001b[39m }"]
+[64.3264218,"o","\r\n"]
+[64.3265332,"o","\u001b[1G"]
+[64.327139,"o","\u001b[0J> \u001b[3G"]
+[65.5346366,"o","-"]
+[65.6165388,"o","-"]
+[65.7040726,"o"," "]
+[65.824185,"o","t"]
+[65.8691766,"o","h"]
+[65.98245419999999,"o","w"]
+[66.016656,"o","o"]
+[66.18154700000001,"o","\u001b[1G\u001b[0J"]
+[66.1816252,"o","> -- thw\u001b[9G"]
+[66.22454800000001,"o","\u001b[1G"]
+[66.2246446,"o","\u001b[0J> -- th\u001b[8G"]
+[66.2531834,"o","\u001b[1G"]
+[66.253298,"o","\u001b[0J> -- t\u001b[7G"]
+[66.4645898,"o","t"]
+[66.84635,"o","\u001b[1G"]
+[66.846416,"o","\u001b[0J> -- t"]
+[66.8464824,"o","\u001b[7G"]
+[67.2621824,"o","\u001b[1G"]
+[67.262279,"o","\u001b[0J> -- \u001b[6G"]
+[67.301037,"o","\u001b[1G"]
+[67.301163,"o","\u001b[0J> --\u001b[5G"]
+[67.3345864,"o","\u001b[1G"]
+[67.33466200000001,"o","\u001b[0J> -"]
+[67.334732,"o","\u001b[4G"]
+[67.3713576,"o","\u001b[1G"]
+[67.3714758,"o","\u001b[0J> "]
+[67.3715186,"o","\u001b[3G"]
+[67.57159460000001,"o","-"]
+[67.60910360000001,"o","-"]
+[67.748358,"o","r"]
+[68.0201768,"o","\u001b[1G"]
+[68.02030660000001,"o","\u001b[0J> --\u001b[5G"]
+[68.16483520000001,"o","R"]
+[68.22165460000001,"o"," "]
+[68.5486846,"o","e"]
+[68.607175,"o","m"]
+[68.71350740000001,"o","p"]
+[68.7800094,"o","t"]
+[68.81674860000001,"o","y"]
+[68.98874260000001,"o","\r"]
+[68.988816,"o","\r\n  empty : ?(...)  -->  ?<$KL _, ...>\r\n  empty = {{} _};\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[69.95712660000001,"o","-"]
+[70.0050536,"o","-"]
+[70.18483280000001,"o"," "]
+[70.663381,"o","t"]
+[70.7030268,"o","h"]
+[70.7355156,"o","e"]
+[70.75687500000001,"o"," "]
+[70.845038,"o","e"]
+[70.9810258,"o","\u001b[1G"]
+[70.9811566,"o","\u001b[0J> -- the \u001b[10G"]
+[71.0380958,"o","'"]
+[71.0784036,"o","e"]
+[71.231026,"o","m"]
+[71.3178824,"o","p"]
+[71.37878520000001,"o","t"]
+[71.42615060000001,"o","y"]
+[71.5879788,"o","'"]
+[71.64912880000001,"o"," "]
+[71.749556,"o","r"]
+[71.78195459999999,"o","e"]
+[71.8743048,"o","l"]
+[71.9020344,"o","a"]
+[71.9455658,"o","t"]
+[72.01667,"o","i"]
+[72.054238,"o","o"]
+[72.1065536,"o","n"]
+[72.1549028,"o"," "]
+[73.20899960000001,"o","i"]
+[73.38867880000001,"o","s"]
+[73.41890160000001,"o"," "]
+[73.4897492,"o","p"]
+[73.5292202,"o","o"]
+[73.5683202,"o","l"]
+[73.6109166,"o","u"]
+[73.9538448,"o","\u001b[1G\u001b[0J> -- the 'empty' relation is pol\u001b[33G"]
+[74.1220344,"o","y"]
+[74.236867,"o","p"]
+[74.3679412,"o","\u001b[1G\u001b[0J"]
+[74.3679906,"o","> -- the 'empty' relation is poly\u001b[34G"]
+[74.50742699999999,"o","m"]
+[74.5824138,"o","o"]
+[74.6582022,"o","r"]
+[74.73029820000001,"o","p"]
+[74.7918332,"o","h"]
+[74.8814728,"o","i"]
+[74.9328218,"o","c"]
+[75.1774402,"o",","]
+[75.21959000000001,"o"," "]
+[75.25020060000001,"o","a"]
+[75.2944056,"o","c"]
+[75.33019920000001,"o","c"]
+[75.356639,"o","e"]
+[75.41906780000001,"o","p"]
+[75.4797978,"o","t"]
+[75.5573214,"o","i"]
+[75.6064656,"o","n"]
+[75.6475722,"o","g"]
+[75.6797368,"o"," "]
+[75.84285,"o","a"]
+[75.8864608,"o","n"]
+[76.1489624,"o","y"]
+[76.2654006,"o"," "]
+[76.39793200000001,"o","s"]
+[76.4526164,"o","h"]
+[76.4883422,"o","a"]
+[76.54692680000001,"o","p"]
+[76.57751940000001,"o","e"]
+[76.6173238,"o"," "]
+[76.79954300000001,"o","v"]
+[76.8285242,"o","a"]
+[76.9067976,"o","l"]
+[76.9741838,"o","u"]
+[77.00598360000001,"o","e"]
+[77.1114766,"o"," "]
+[77.22206440000001,"o","("]
+[77.3533956,"o","\u001b[1G"]
+[77.35347940000001,"o","\u001b[0J"]
+[77.35368740000001,"o","> -- the 'empty' relation is polymorphic, accepting any shape value \u001b[69G"]
+[77.4797494,"o","?"]
+[77.581917,"o","("]
+[77.71180100000001,"o","."]
+[77.74513300000001,"o","."]
+[77.79246280000001,"o","."]
+[77.98977780000001,"o",")"]
+[78.1094458,"o"," "]
+[78.72870400000001,"o","\\"]
+[78.95985940000001,"o","\r\r\n\u001b[1G"]
+[78.95988840000001,"o","\u001b[0J  \u001b[3G"]
+[79.2225112,"o","-"]
+[79.31712060000001,"o","-"]
+[79.4404872,"o"," "]
+[79.59631000000002,"o","e"]
+[79.838104,"o","\u001b[1G"]
+[79.8384252,"o","\u001b[0J  -- \u001b[6G"]
+[79.8695342,"o","a"]
+[79.91713140000002,"o","n"]
+[79.94334900000001,"o","d"]
+[79.9671216,"o"," "]
+[80.0136454,"o","r"]
+[80.05819600000001,"o","e"]
+[80.1203766,"o","t"]
+[80.16613740000001,"o","u"]
+[80.1929356,"o","r"]
+[80.23822960000001,"o","n"]
+[80.28117120000002,"o","i"]
+[80.30741160000001,"o","n"]
+[80.3543554,"o","g"]
+[80.40452,"o"," "]
+[80.92591240000002,"o","a"]
+[81.04975200000001,"o"," "]
+[81.3660126,"o","v"]
+[81.8487532,"o","l"]
+[82.0035174,"o","u"]
+[82.1437514,"o","\u001b[1G"]
+[82.1438278,"o","\u001b[0J  -- and returning a vl\u001b[24G"]
+[82.186079,"o","\u001b[1G\u001b[0J  -- and returning a v"]
+[82.18616500000002,"o","\u001b[23G"]
+[82.2260634,"o","a"]
+[82.3685066,"o","l"]
+[82.421389,"o","u"]
+[82.4463806,"o","e"]
+[82.47597680000001,"o"," "]
+[82.5863404,"o","o"]
+[82.62954380000001,"o","f"]
+[82.65988800000001,"o"," "]
+[82.7106682,"o","u"]
+[82.7537124,"o","n"]
+[82.79731000000001,"o","i"]
+[82.83741900000001,"o","o"]
+[82.87266140000001,"o","n"]
+[82.94226800000001,"o"," "]
+[82.9983944,"o","t"]
+[83.0566336,"o","y"]
+[83.14098380000001,"o","p"]
+[83.1714632,"o","e"]
+[83.211162,"o"," "]
+[83.5342272,"o","w"]
+[83.56149400000001,"o","i"]
+[83.6148378,"o","t"]
+[83.6630682,"o","h"]
+[83.68454460000001,"o"," "]
+[83.7422372,"o","v"]
+[83.77348380000001,"o","a"]
+[83.8093046,"o","r"]
+[83.89706000000001,"o","i"]
+[83.9343352,"o","a"]
+[83.9974552,"o","n"]
+[84.35792020000001,"o","t"]
+[84.393788,"o"," "]
+[85.2888602,"o","_"]
+[86.34730200000001,"o","\r\r\n"]
+[86.3480636,"o","--> {}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[86.8135716,"o","e"]
+[86.8736092,"o","m"]
+[86.95323760000001,"o","p"]
+[87.02190080000001,"o","t"]
+[87.06578080000001,"o","y"]
+[87.1013068,"o"," "]
+[87.26292720000001,"o","="]
+[87.3209994,"o"," "]
+[87.42943980000001,"o","{"]
+[87.6581488,"o","{"]
+[87.694959,"o","}"]
+[87.81053560000001,"o"," "]
+[87.92727740000001,"o","_"]
+[88.0213976,"o","}"]
+[88.1088226,"o"," "]
+[88.2415542,"o","b"]
+[88.33356800000001,"o","i"]
+[88.3961688,"o","t"]
+[88.43681360000001,"o","s"]
+[88.6554716,"o","\u001b[1G"]
+[88.6555608,"o","\u001b[0J"]
+[88.65559300000001,"o","> empty = {{} _} bit\u001b[21G"]
+[88.69688860000001,"o","\u001b[1G\u001b[0J"]
+[88.69695300000001,"o","> empty = {{} _} bi\u001b[20G"]
+[88.729651,"o","\u001b[1G"]
+[88.730022,"o","\u001b[0J"]
+[88.73012920000001,"o","> empty = {{} _} b\u001b[19G"]
+[88.76638200000001,"o","\u001b[1G\u001b[0J> empty = {{} _} \u001b[18G"]
+[88.98296,"o","$"]
+[89.13423180000001,"o","b"]
+[89.2338436,"o","i"]
+[89.2891636,"o","t"]
+[89.32433420000001,"o","s"]
+[89.4071308,"o",";"]
+[89.6036036,"o","\r"]
+[89.6039002,"o","\r\n"]
+[89.6039496,"o","SymbolTable: rel 'empty' is redefined (lines 2:9...2:21)"]
+[89.60437680000001,"o","\r\n"]
+[89.606053,"o","--> {}"]
+[89.6061706,"o","\r\n"]
+[89.60675020000001,"o","\u001b[1G\u001b[0J"]
+[89.6067824,"o","> \u001b[3G"]
+[89.9367172,"o","-"]
+[89.9912604,"o","-"]
+[90.0775066,"o","R"]
+[90.1384464,"o"," "]
+[90.21044040000001,"o","e"]
+[90.2384988,"o","m"]
+[90.34237940000001,"o","p"]
+[90.413105,"o","t"]
+[90.448673,"o","y"]
+[90.53259120000001,"o","\r"]
+[90.5330922,"o","\r\n  empty : ?(...)  -->  ?$BsAqRMv"]
+[90.53413420000001,"o","\r\n  empty = {{} _} $BsAqRMv;"]
+[90.53429620000001,"o","\r\n\u001b[1G"]
+[90.5343854,"o","\u001b[0J> \u001b[3G"]
+[92.4323818,"o","_"]
+[92.64977040000001,"o","0"]
+[92.71745560000001,"o","0"]
+[92.81978800000002,"o","0"]
+[92.97987280000001,"o","\u001b[1G"]
+[92.9799904,"o","\u001b[0J"]
+[92.9807092,"o","> _00"]
+[92.980796,"o","\u001b[6G"]
+[93.0309766,"o","1"]
+[93.1692046,"o","\r"]
+[93.16973680000001,"o","\r\n"]
+[93.1718568,"o","--> {\"0\":{\"0\":{\"1\":{\"_\":{}}}}}"]
+[93.17217920000002,"o","\r\n"]
+[93.172408,"o","\u001b[1G\u001b[0J"]
+[93.17270580000002,"o","> \u001b[3G"]
+[94.687278,"o","r"]
+[94.7221224,"o","e"]
+[94.77099520000002,"o","v"]
+[94.80273580000001,"o","e"]
+[94.8247816,"o","r"]
+[94.85435860000001,"o","s"]
+[94.9088074,"o","e"]
+[95.0930472,"o","_"]
+[95.1849942,"o"," "]
+[95.34904820000001,"o","="]
+[95.5803868,"o"," "]
+[96.41105320000001,"o","$"]
+[96.53670460000001,"o","{"]
+[96.6595064,"o"," "]
+[96.8921138,"o","b"]
+[96.9777542,"o","i"]
+[97.025107,"o","t"]
+[97.0837144,"o","s"]
+[97.1212278,"o"," "]
+[97.4251276,"o","i"]
+[97.47410880000001,"o","n"]
+[97.711038,"o",","]
+[97.75121960000001,"o"," "]
+[97.9672344,"o","b"]
+[98.05217440000001,"o","i"]
+[98.1018792,"o","t"]
+[98.1434208,"o","s"]
+[98.1793104,"o"," "]
+[98.2580978,"o","o"]
+[98.30659560000001,"o","u"]
+[98.3720452,"o","t"]
+[98.6041356,"o"," "]
+[98.7649214,"o","}"]
+[98.8290046,"o"," "]
+[99.0017042,"o","<"]
+[99.051221,"o"," "]
+[99.22010780000001,"o"," "]
+[99.2600122,"o"," "]
+[99.29914860000001,"o"," "]
+[99.410245,"o","-"]
+[99.445633,"o","-"]
+[99.5430042,"o","\\"]
+[99.88010700000001,"o","\r\r\n\u001b[1G\u001b[0J  \u001b[3G"]
+[100.00422700000001,"o"," "]
+[100.049468,"o"," "]
+[100.3008058,"o","{"]
+[100.74422320000001,"o","."]
+[100.8607654,"o","i"]
+[100.913931,"o","n"]
+[101.0148018,"o","."]
+[101.1603778,"o","0"]
+[101.27241240000001,"o",","]
+[101.3875816,"o","\u001b[1G"]
+[101.3877142,"o","\u001b[0J    {.in.0\u001b[11G"]
+[101.4687414,"o"," "]
+[101.57351440000001,"o","i"]
+[101.61202500000002,"o","n"]
+[101.7175168,"o",","]
+[101.7621412,"o"," "]
+[101.885433,"o","{"]
+[101.9974294,"o","."]
+[102.07277040000001,"o","o"]
+[102.121071,"o","u"]
+[102.17510140000002,"o","t"]
+[102.28991180000001,"o"," "]
+[102.5449964,"o","0"]
+[102.7035232,"o","}"]
+[102.8091268,"o"," "]
+[103.0282254,"o","o"]
+[103.06824240000002,"o","u"]
+[103.1180104,"o","t"]
+[103.3053166,"o","}"]
+[103.38661520000001,"o"," "]
+[103.606145,"o","r"]
+[103.6374012,"o","e"]
+[103.68250920000001,"o","v"]
+[103.71209120000002,"o","e"]
+[103.73555440000001,"o","r"]
+[103.7676684,"o","s"]
+[103.8234352,"o","e"]
+[103.91870540000001,"o","_"]
+[104.2179436,"o",","]
+[104.2703202,"o"," "]
+[104.31341480000002,"o"," "]
+[104.4477458,"o"," "]
+[104.67401840000001,"o","-"]
+[104.70563620000001,"o","-"]
+[104.808153,"o","\\"]
+[105.0207346,"o","\r"]
+[105.0208654,"o","\r\n"]
+[105.02093520000001,"o","\u001b[1G\u001b[0J"]
+[105.02095159999999,"o","  \u001b[3G"]
+[105.17160200000001,"o"," "]
+[105.2114866,"o"," "]
+[105.39073860000002,"o","{"]
+[105.50115060000002,"o","."]
+[105.6661952,"o","i"]
+[105.71240900000001,"o","n"]
+[105.81833340000001,"o","."]
+[105.90618119999999,"o","1"]
+[106.0582948,"o"," "]
+[106.275668,"o","i"]
+[106.30635740000001,"o","n"]
+[106.69839520000001,"o",","]
+[106.73539260000001,"o"," "]
+[106.8633618,"o","{"]
+[107.12555660000001,"o","."]
+[107.19795520000001,"o","o"]
+[107.2620968,"o","u"]
+[107.3294172,"o","t"]
+[107.39464760000001,"o"," "]
+[107.55753480000001,"o","1"]
+[107.67658160000002,"o","{"]
+[107.8717518,"o","\u001b[1G"]
+[107.871768,"o","\u001b[0J    {.in.1 in, {.out 1\u001b[23G"]
+[107.9677256,"o","}"]
+[108.06225340000002,"o"," "]
+[108.4702482,"o","o"]
+[108.5279762,"o","u"]
+[108.587079,"o","t"]
+[108.814188,"o","}"]
+[108.91039840000002,"o"," "]
+[109.04301579999999,"o","r"]
+[109.0737656,"o","e"]
+[109.1139776,"o","v"]
+[109.14433480000001,"o","e"]
+[109.16071740000001,"o","r"]
+[109.19217200000001,"o","s"]
+[109.24354160000001,"o","e"]
+[109.5507302,"o","_"]
+[109.65150000000001,"o",","]
+[109.79049760000001,"o"," "]
+[109.83401620000001,"o"," "]
+[109.9132098,"o"," "]
+[110.0902836,"o","-"]
+[110.1288368,"o","-"]
+[110.2213162,"o","\\"]
+[110.40385280000001,"o","\r"]
+[110.40395140000001,"o","\r\n\u001b[1G"]
+[110.4040274,"o","\u001b[0J"]
+[110.4040726,"o","  \u001b[3G"]
+[110.5441022,"o"," "]
+[110.58473959999999,"o"," "]
+[110.73362560000001,"o","."]
+[110.8137716,"o","o"]
+[110.8645922,"o","u"]
+[110.920571,"o","t"]
+[111.2327546,"o"," "]
+[111.3558526,"o",">"]
+[111.48696620000001,"o",";"]
+[111.6651472,"o","\r\r\n"]
+[111.6684004,"o","--> {\"0\":{\"0\":{\"1\":{\"_\":{}}}}}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[111.8906402,"o","-"]
+[111.93695120000001,"o","-"]
+[112.0732054,"o","r"]
+[112.10335580000002,"o","e"]
+[112.14359240000002,"o","v"]
+[112.1885018,"o","e"]
+[112.220474,"o","r"]
+[112.25231280000001,"o","s"]
+[112.32277959999999,"o","e"]
+[112.4106384,"o","_"]
+[112.535523,"o","\r\r\n"]
+[112.53733820000001,"o","--> {\"0\":{\"0\":{\"1\":{\"_\":{}}}}}"]
+[112.5375118,"o","\r\n"]
+[112.5375276,"o","\u001b[1G\u001b[0J"]
+[112.5375372,"o","> "]
+[112.53766060000001,"o","\u001b[3G"]
+[113.813249,"o","\u001b[1G\u001b[0J> --reverse_\u001b[13G"]
+[113.8479836,"o","\u001b[1D"]
+[113.9481658,"o","\u001b[1D"]
+[113.9539994,"o","\u001b[1D"]
+[113.9600518,"o","\u001b[1D"]
+[113.96603900000001,"o","\u001b[1D"]
+[113.9720472,"o","\u001b[1D"]
+[113.9781784,"o","\u001b[1D"]
+[114.057592,"o","\u001b[1D"]
+[114.21262440000001,"o","\u001b[1G\u001b[0J"]
+[114.2126636,"o","> --Rreverse_\u001b[6G"]
+[114.2688246,"o","\u001b[1G\u001b[0J"]
+[114.2689156,"o","> --R reverse_\u001b[7G"]
+[114.39085640000002,"o","\u001b[8C\r"]
+[114.3909332,"o","\r\n  reverse_ : ?$DTquzEBzERD  -->  ?$BsAqRMv"]
+[114.39098320000001,"o","\r\n"]
+[114.39108240000002,"o","  reverse_ = $DTquzEBzERD <{.in .0 in, {.out 0} out} reverse_, {.in .1 in, {.out 1} out} reverse_, .out>;"]
+[114.391167,"o","\r\n\u001b[1G\u001b[0J"]
+[114.39121,"o","> \u001b[3G"]
+[115.51725200000001,"o","-"]
+[115.54915260000001,"o","-"]
+[115.63735919999999,"o","C"]
+[115.7219784,"o"," "]
+[116.2947806,"o","DTq"]
+[116.2947964,"o","uzEB"]
+[116.294905,"o","zERD"]
+[116.41832640000001,"o","\r\r\n"]
+[116.418403,"o"," $ DTquzEBzERD = {BsAqRMv in, BsAqRMv out}; -- $C0={C1\"in\",C1\"out\"};$C1=<C1\"0\",C1\"1\",C2\"_\">;$C2={};\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[119.6383112,"o","r"]
+[119.67346020000001,"o","e"]
+[119.72318920000001,"o","v"]
+[119.75036399999999,"o","e"]
+[119.7728184,"o","r"]
+[119.801668,"o","s"]
+[119.8544384,"o","e"]
+[119.8959456,"o"," "]
+[120.0691686,"o","="]
+[120.14238660000001,"o"," "]
+[120.4177968,"o","{"]
+[120.5986164,"o","("]
+[120.6325392,"o",")"]
+[120.71900800000002,"o"," "]
+[120.8608,"o","i"]
+[120.8882592,"o","n"]
+[121.1683834,"o",","]
+[121.2160408,"o"," "]
+[121.306038,"o","e"]
+[121.3459968,"o","m"]
+[121.42771560000001,"o","p"]
+[121.4934658,"o","t"]
+[121.5345484,"o","y"]
+[121.67678260000001,"o"," "]
+[121.84212000000001,"o","o"]
+[121.8787468,"o","u"]
+[121.923731,"o","t"]
+[122.0341794,"o","}"]
+[122.15417480000002,"o"," "]
+[122.36241460000002,"o","r"]
+[122.3944438,"o","e"]
+[122.43309440000002,"o","v"]
+[122.4616284,"o","e"]
+[122.4830374,"o","r"]
+[122.5210402,"o","s"]
+[122.576738,"o","e"]
+[122.6693464,"o","_"]
+[122.8311274,"o",";"]
+[123.16226979999999,"o","\r\r\n"]
+[123.1645734,"o","--> {\"0\":{\"0\":{\"1\":{\"_\":{}}}}}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[124.12895280000001,"o","r"]
+[124.15980320000001,"o","e"]
+[124.19017500000001,"o","v"]
+[124.21395640000001,"o","e"]
+[124.24138600000002,"o","r"]
+[124.27201540000002,"o","s"]
+[124.3165204,"o","e"]
+[124.49418840000001,"o","\r\r\n"]
+[124.49712280000001,"o","--> {\"1\":{\"0\":{\"0\":{\"_\":{}}}}}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[124.9706896,"o","r"]
+[124.9976892,"o","e"]
+[125.0327844,"o","v"]
+[125.06321220000001,"o","e"]
+[125.0936168,"o","r"]
+[125.11294720000001,"o","s"]
+[125.16042920000001,"o","e"]
+[125.24398920000002,"o"," "]
+[125.3398344,"o","r"]
+[125.3735698,"o","e"]
+[125.4630228,"o","v"]
+[125.5077636,"o","e"]
+[125.54157620000001,"o","r"]
+[125.573244,"o","s"]
+[125.6213198,"o","e"]
+[125.87127800000002,"o","\r"]
+[125.8713268,"o","\r\n"]
+[125.8747054,"o","--> {\"1\":{\"0\":{\"0\":{\"_\":{}}}}}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[127.3562326,"o","t"]
+[127.45848900000001,"o","o"]
+[127.53536300000002,"o","S"]
+[127.58336220000001,"o","t"]
+[127.620041,"o","r"]
+[127.664923,"o"," "]
+[127.80236500000001,"o","="]
+[127.849857,"o"," "]
+[128.03412920000002,"o","<"]
+[128.16350440000002,"o"," "]
+[128.2951514,"o","."]
+[128.4772044,"o","0"]
+[128.54274900000001,"o"," "]
+[128.6882206,"o","["]
+[128.7952276,"o","\""]
+[128.9409788,"o","0"]
+[129.2110274,"o","\""]
+[129.47175360000003,"o",","]
+[129.8250554,"o","t"]
+[129.919304,"o","o"]
+[130.0201082,"o","S"]
+[130.0520016,"o","t"]
+[130.08731780000002,"o","r"]
+[130.26961260000002,"o","]"]
+[130.3415684,"o"," "]
+[130.51740560000002,"o","C"]
+[130.558984,"o","O"]
+[130.6085098,"o","N"]
+[130.66941640000002,"o","C"]
+[130.69643860000002,"o","S"]
+[130.7397638,"o","T"]
+[130.99997000000002,"o","\u001b[1G\u001b[0J> toStr = < .0 [\"0\",toStr] CONCS"]
+[130.999988,"o","\u001b[33G"]
+[131.0387276,"o","\u001b[1G\u001b[0J> toStr = < .0 [\"0\",toStr] CONC\u001b[32G"]
+[131.2131142,"o","A"]
+[131.2577134,"o","T"]
+[131.43855820000002,"o",","]
+[131.49132640000002,"o"," "]
+[131.771162,"o","."]
+[131.9500038,"o","1"]
+[132.091265,"o"," "]
+[132.3770278,"o","["]
+[132.447676,"o","\""]
+[132.6089952,"o","1"]
+[132.7592068,"o","\""]
+[132.94301760000002,"o",","]
+[133.15740639999999,"o","t"]
+[133.26137000000003,"o","o"]
+[133.3396256,"o","S"]
+[133.43570259999998,"o","t"]
+[133.4819628,"o","r"]
+[133.7633886,"o","]"]
+[133.84339359999998,"o"," "]
+[134.0350264,"o","C"]
+[134.1375266,"o","O"]
+[134.2092484,"o","N"]
+[134.2727844,"o","C"]
+[134.3098986,"o","A"]
+[134.3662176,"o","T"]
+[134.5646322,"o",","]
+[134.5978246,"o"," "]
+[134.7466178,"o","\""]
+[134.7852242,"o","\""]
+[134.8616862,"o"," "]
+[134.97394240000003,"o",">"]
+[135.0710162,"o",";"]
+[135.3579296,"o","\r\r\n"]
+[135.36184820000003,"o","--> {\"1\":{\"0\":{\"0\":{\"_\":{}}}}}\r\n"]
+[135.3619054,"o","\u001b[1G\u001b[0J> \u001b[3G"]
+[135.8444094,"o","t"]
+[135.93397860000002,"o","o"]
+[136.012509,"o","S"]
+[136.0539576,"o","t"]
+[136.0920504,"o","r"]
+[136.21583800000002,"o","\r"]
+[136.21590080000001,"o","\r\n"]
+[136.2205342,"o","--> \"100\"\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[137.41618860000003,"o","_"]
+[137.48192100000003,"o","0"]
+[137.528144,"o","0"]
+[137.7393596,"o","1"]
+[137.8322494,"o"," "]
+[138.08296,"o","r"]
+[138.11556579999998,"o","e"]
+[138.15555500000002,"o","v"]
+[138.1811098,"o","e"]
+[138.2030464,"o","r"]
+[138.2307946,"o","s"]
+[138.27872420000003,"o","e"]
+[139.0979636,"o","\u001b[1G\u001b[0J> _001 revers\u001b[14G"]
+[139.1335048,"o","\u001b[1G\u001b[0J> _001 rever\u001b[13G"]
+[139.16862260000002,"o","\u001b[1G\u001b[0J> _001 reve\u001b[12G"]
+[139.1991126,"o","\u001b[1G\u001b[0J> _001 rev\u001b[11G"]
+[139.2310732,"o","\u001b[1G\u001b[0J> _001 re\u001b[10G"]
+[139.266303,"o","\u001b[1G\u001b[0J> _001 r\u001b[9G"]
+[139.3046382,"o","\u001b[1G\u001b[0J> _001 \u001b[8G"]
+[139.4551514,"o","{"]
+[139.5880354,"o"," "]
+[140.40437219999998,"o","("]
+[140.434595,"o",")"]
+[140.4984636,"o"," "]
+[140.61706139999998,"o","i"]
+[140.6603196,"o","n"]
+[140.723829,"o","p"]
+[140.7795606,"o","u"]
+[140.826643,"o","t"]
+[140.93518300000002,"o",","]
+[140.97234880000002,"o"," "]
+[141.2403222,"o","r"]
+[141.2687618,"o","e"]
+[141.3104038,"o","v"]
+[141.3338166,"o","e"]
+[141.3562624,"o","r"]
+[141.3836698,"o","s"]
+[141.4304654,"o","e"]
+[141.5999324,"o"," "]
+[141.77920360000002,"o","r"]
+[141.8030284,"o","e"]
+[141.854309,"o","v"]
+[141.8895886,"o","e"]
+[141.9215906,"o","r"]
+[142.02626840000002,"o","e"]
+[142.357204,"o","\u001b[1G\u001b[0J"]
+[142.3572428,"o","> _001 { () input, reverse rever\u001b[33G"]
+[142.393615,"o","s"]
+[142.4353936,"o","e"]
+[142.4853316,"o","d"]
+[142.640194,"o"," "]
+[142.83064620000002,"o","}"]
+[143.4287496,"o","\r\r\n"]
+[143.43350519999998,"o","--> {\"input\":{\"0\":{\"0\":{\"1\":{\"_\":{}}}}},\"reversed\":{\"1\":{\"0\":{\"0\":{\"_\":{}}}}}}\r\n\u001b[1G"]
+[143.43363440000002,"o","\u001b[0J> \u001b[3G"]
+[143.69813140000002,"o","-"]
+[143.74617080000002,"o","-"]
+[143.8851844,"o","p"]
+[143.9286112,"o","p"]
+[144.0116922,"o","\\"]
+[144.1814836,"o","\u001b[1G\u001b[0J> --pp\u001b[7G"]
+[144.2569264,"o","\r\r\n{\r\n  input: { \u001b[32m'0'\u001b[39m: { \u001b[32m'0'\u001b[39m: \u001b[36m[Object]\u001b[39m } },\r\n  reversed: { \u001b[32m'1'\u001b[39m: { \u001b[32m'0'\u001b[39m: \u001b[36m[Object]\u001b[39m } }\r\n}\r\n"]
+[144.2570102,"o","\u001b[1G\u001b[0J> \u001b[3G"]
+[144.970718,"o","\u001b[1G\u001b[0J> --pp\u001b[7G"]
+[145.0872772,"o","\u001b[1G\u001b[0J"]
+[145.0873326,"o","> --p\u001b[6G"]
+[145.2843832,"o","\r"]
+[145.284446,"o","\r\n{"]
+[145.28454,"o","\r\n  \"input\": {\r\n    \"0\": {\r\n      \"0\": {\r\n"]
+[145.284672,"o","        \"1\": {\r\n          \"_\": {}\r\n        }\r\n      }\r\n    }\r\n  },\r\n  \"reversed\": {\r\n    \"1\": {\r\n      \"0\": {\r\n        \"0\": {"]
+[145.2847454,"o","\r\n          \"_\": {}\r\n        }\r\n      }\r\n    }\r\n  }\r\n}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[146.5791556,"o","c"]
+[146.6014258,"o","o"]
+[146.6494592,"o","n"]
+[146.70343,"o","c"]
+[146.7325812,"o","a"]
+[146.76619780000001,"o","t"]
+[146.8443308,"o"," "]
+[146.98199680000002,"o","="]
+[147.02985080000002,"o"," "]
+[147.4124674,"o","{"]
+[147.81847960000002,"o","\u001b[1G\u001b[0J> concat = \u001b[12G"]
+[147.9656228,"o","$"]
+[148.05878760000002,"o","b"]
+[148.2839506,"o","i"]
+[148.338394,"o","t"]
+[148.36733999999998,"o","s"]
+[148.4105246,"o"," "]
+[148.5562536,"o","\u001b[1G"]
+[148.55641980000001,"o","\u001b[0J> concat = $bits\u001b[17G"]
+[148.6007766,"o","\u001b[1G"]
+[148.6008846,"o","\u001b[0J> concat = $bit\u001b[16G"]
+[148.6345384,"o","\u001b[1G\u001b[0J> concat = $bi\u001b[15G"]
+[148.66803480000002,"o","\u001b[1G"]
+[148.668136,"o","\u001b[0J> concat = $b\u001b[14G"]
+[148.7017316,"o","\u001b[1G\u001b[0J> concat = $\u001b[13G"]
+[148.843167,"o","{"]
+[148.8984866,"o"," "]
+[149.01855120000002,"o","b"]
+[149.0987132,"o","i"]
+[149.156261,"o","t"]
+[149.196137,"o","s"]
+[149.43166040000003,"o"," "]
+[149.685627,"o","x"]
+[149.770756,"o",","]
+[149.8172298,"o"," "]
+[149.9453554,"o","b"]
+[150.0364216,"o","i"]
+[150.0972844,"o","t"]
+[150.22535660000003,"o","s"]
+[150.31827900000002,"o"," "]
+[150.46030800000003,"o","y"]
+[150.6495268,"o","}"]
+[150.8026284,"o"," "]
+[151.6273168,"o","{"]
+[151.8913602,"o","."]
+[151.9682258,"o","x"]
+[152.02920079999998,"o"," "]
+[152.5379522,"o","r"]
+[152.5650564,"o","e"]
+[152.60215300000002,"o","v"]
+[152.626077,"o","e"]
+[152.64852000000002,"o","r"]
+[152.680299,"o","s"]
+[152.726875,"o","e"]
+[152.9109856,"o"," "]
+[153.18758880000001,"o","i"]
+[153.22938059999998,"o","n"]
+[153.31109460000002,"o",","]
+[153.3573152,"o"," "]
+[153.57982520000002,"o","."]
+[153.65011140000001,"o","y"]
+[153.7306708,"o"," "]
+[154.109784,"o","o"]
+[154.15153740000002,"o","u"]
+[154.19764840000002,"o","t"]
+[154.4791788,"o","}"]
+[154.5928222,"o"," "]
+[154.9292522,"o","r"]
+[154.9618292,"o","e"]
+[155.09822180000003,"o","v"]
+[155.1243272,"o","e"]
+[155.14692960000002,"o","r"]
+[155.18357400000002,"o","s"]
+[155.23295660000002,"o","e"]
+[155.31621280000002,"o","_"]
+[155.51142600000003,"o",";"]
+[155.65239240000002,"o","\r"]
+[155.65249140000003,"o","\r\n"]
+[155.65729140000002,"o","--> {\"input\":{\"0\":{\"0\":{\"1\":{\"_\":{}}}}},\"reversed\":{\"1\":{\"0\":{\"0\":{\"_\":{}}}}}}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[156.7261598,"o","-"]
+[156.801524,"o","-"]
+[157.09263880000003,"o","r"]
+[157.1615552,"o","\r\r\n"]
+[157.16157320000002,"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  toStr: \u001b[32m\"<.0 ['0', toStr] CONCAT, .1 ['1', toStr] CONCAT, ''>\"\u001b[39m,\r\n  concat: \u001b[32m'$PvIWGWZBVz {.x reverse in, .y out} reverse_'\u001b[39m\r\n}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[157.6320248,"o","-"]
+[157.66568360000002,"o","-"]
+[157.7567586,"o","R"]
+[157.8479842,"o"," "]
+[158.0481436,"o","t"]
+[158.1504496,"o","o"]
+[158.227358,"o","S"]
+[158.33936440000002,"o","t"]
+[158.37299080000003,"o","r"]
+[158.5089172,"o","\r\r\n"]
+[158.5091976,"o","  toStr : ?((((...) 0, (...) 1, ...) 0, ((...) 0, (...) 1, ...) 1, ...) 0, (((...) 0, (...) 1, ...) 0, ((...) 0, (...) 1, ...) 1, ...) 1, ...)  -->  ?$string\r\n  toStr = <.0 ['0', toStr] CONCAT, .1 ['1', toStr] CONCAT, ''>;\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[159.6208056,"o","\u001b[1G\u001b[0J> --R toStr\u001b[12G"]
+[159.6841774,"o","\u001b[1G"]
+[159.6842118,"o","\u001b[0J"]
+[159.6842442,"o","> --r"]
+[159.68425760000002,"o","\u001b[6G"]
+[159.78988760000001,"o","\u001b[1G"]
+[159.7899218,"o","\u001b[0J> concat = ${ bits x, bits y} {.x reverse in, .y out} reverse_;\u001b[64G"]
+[159.9224184,"o","\u001b[1G\u001b[0J> --p\u001b[6G"]
+[160.0153894,"o","\u001b[1G"]
+[160.01544460000002,"o","\u001b[0J> --pp\u001b[7G"]
+[160.0952704,"o","\u001b[1G"]
+[160.0954098,"o","\u001b[0J> _001 { () input, reverse reversed }\u001b[38G"]
+[160.21322,"o","\u001b[1G"]
+[160.2136144,"o","\u001b[0J> toStr\u001b[8G"]
+[160.5066748,"o","\u001b[1G\u001b[0J> toStr = < .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr] CONCAT, \"\" >;\u001b[64G"]
+[160.63063580000002,"o","\u001b[1D"]
+[160.73103160000002,"o","\u001b[1D"]
+[160.7369184,"o","\u001b[1D"]
+[160.7428702,"o","\u001b[1D"]
+[160.74891520000003,"o","\u001b[1D"]
+[160.75504120000002,"o","\u001b[1D"]
+[160.7609612,"o","\u001b[1D"]
+[160.7669686,"o","\u001b[1D"]
+[160.7731574,"o","\u001b[1D"]
+[160.779018,"o","\u001b[1D"]
+[160.785043,"o","\u001b[1D"]
+[160.7912262,"o","\u001b[1D"]
+[160.7969756,"o","\u001b[1D"]
+[160.80333480000002,"o","\u001b[1D"]
+[160.80905640000003,"o","\u001b[1D"]
+[160.8150164,"o","\u001b[1D"]
+[160.82148640000003,"o","\u001b[1D"]
+[160.82699560000003,"o","\u001b[1D"]
+[160.83267120000002,"o","\u001b[1D"]
+[160.83932140000002,"o","\u001b[1D"]
+[160.8459328,"o","\u001b[1D"]
+[160.85113320000002,"o","\u001b[1D"]
+[160.85703080000002,"o","\u001b[1D"]
+[160.86333000000002,"o","\u001b[1D"]
+[160.8691032,"o","\u001b[1D"]
+[160.87501880000002,"o","\u001b[1D"]
+[160.88098680000002,"o","\u001b[1D"]
+[160.88691200000002,"o","\u001b[1D"]
+[160.8928056,"o","\u001b[1D"]
+[160.8989156,"o","\u001b[1D"]
+[160.904956,"o","\u001b[1D"]
+[160.91083020000002,"o","\u001b[1D"]
+[160.916933,"o","\u001b[1D"]
+[160.922661,"o","\u001b[1D"]
+[160.92879140000002,"o","\u001b[1D"]
+[160.93493420000001,"o","\u001b[1D"]
+[160.94065220000002,"o","\u001b[1D"]
+[160.946962,"o","\u001b[1D"]
+[160.9528074,"o","\u001b[1D"]
+[160.9588764,"o","\u001b[1D"]
+[160.9650392,"o","\u001b[1D"]
+[160.9710124,"o","\u001b[1D"]
+[160.97682120000002,"o","\u001b[1D"]
+[160.98305580000002,"o","\u001b[1D"]
+[160.98890160000002,"o","\u001b[1D"]
+[160.99518940000002,"o","\u001b[1D"]
+[161.00122120000003,"o","\u001b[1D"]
+[161.0070006,"o","\u001b[1D"]
+[161.01312900000002,"o","\u001b[1D"]
+[161.01904820000001,"o","\u001b[1D"]
+[161.0251588,"o","\u001b[1D"]
+[161.0881976,"o","\u001b[1D"]
+[161.1314446,"o","\u001b[1D"]
+[161.42112980000002,"o","\u001b[1G\u001b[0J"]
+[161.42125240000001,"o","> toStr = $< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr] CONCAT, \"\" >;\u001b[12G"]
+[161.7093202,"o","\u001b[1G"]
+[161.7093692,"o","\u001b[0J> toStr = $b< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr] CONCAT, \"\" >;\u001b[13G"]
+[161.78295780000002,"o","\u001b[1G"]
+[161.7830318,"o","\u001b[0J> toStr = $bi< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr] CONCAT, \"\" >;\u001b[14G"]
+[161.84044300000002,"o","\u001b[1G\u001b[0J> toStr = $bit< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr] CONCAT, \"\" >;\u001b[15G"]
+[161.88684020000002,"o","\u001b[1G\u001b[0J> toStr = $bits< .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr] CONCAT, \"\" >;\u001b[16G"]
+[161.9268932,"o","\u001b[1G\u001b[0J> toStr = $bits < .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr] CONCAT, \"\" >;\u001b[17G"]
+[162.24067920000002,"o","\u001b[53C\r\r\n"]
+[162.2409328,"o","SymbolTable: rel 'toStr' is redefined (lines 2:9...2:67)\r\n"]
+[162.24626820000003,"o","--> {\"input\":{\"0\":{\"0\":{\"1\":{\"_\":{}}}}},\"reversed\":{\"1\":{\"0\":{\"0\":{\"_\":{}}}}}}\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[162.41201980000002,"o","\u001b[1G\u001b[0J> toStr = $bits < .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr] CONCAT, \"\" >;\u001b[70G"]
+[162.47101940000002,"o","\u001b[1G\u001b[0J"]
+[162.47105820000002,"o","> --R toStr\u001b[12G"]
+[162.66351360000002,"o","\r\r\n  toStr : ?$BsAqRMv  -->  ?$string\r\n  toStr = $BsAqRMv <.0 ['0', toStr] CONCAT, .1 ['1', toStr] CONCAT, ''>;\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[163.4359784,"o","\u001b[1G\u001b[0J> --R toStr\u001b[12G"]
+[163.54655540000002,"o","\u001b[1G\u001b[0J> toStr = $bits < .0 [\"0\",toStr] CONCAT, .1 [\"1\",toStr] CONCAT, \"\" >;\u001b[70G"]
+[163.70163960000002,"o","\u001b[1G\u001b[0J"]
+[163.70168420000002,"o","> --R toStr\u001b[12G"]
+[164.2600152,"o","\u001b[1G\u001b[0J> --R toSt\u001b[11G"]
+[164.29855840000002,"o","\u001b[1G"]
+[164.2986506,"o","\u001b[0J> --R toS\u001b[10G"]
+[164.3336074,"o","\u001b[1G\u001b[0J> --R to\u001b[9G"]
+[164.3703964,"o","\u001b[1G\u001b[0J> --R t"]
+[164.3704348,"o","\u001b[8G"]
+[164.4025626,"o","\u001b[1G\u001b[0J"]
+[164.40264960000002,"o","> --R "]
+[164.4026762,"o","\u001b[7G"]
+[164.43474060000003,"o","\u001b[1G\u001b[0J"]
+[164.43478140000002,"o","> --R\u001b[6G"]
+[164.4708586,"o","\u001b[1G\u001b[0J> --\u001b[5G"]
+[164.509676,"o","\u001b[1G\u001b[0J"]
+[164.5097336,"o","> -\u001b[4G"]
+[164.54810480000003,"o","\u001b[1G\u001b[0J"]
+[164.5481804,"o","> \u001b[3G"]
+[164.71142,"o","0"]
+[164.942079,"o","\u001b[1G\u001b[0J"]
+[164.9421764,"o","> \u001b[3G"]
+[165.0284534,"o","_"]
+[165.2139406,"o","0"]
+[165.2846326,"o","0"]
+[165.42361820000002,"o","1"]
+[165.5899224,"o"," "]
+[165.7081164,"o","{"]
+[165.9308982,"o","("]
+[165.9645524,"o",")"]
+[166.14211260000002,"o"," "]
+[166.50043700000003,"o","x"]
+[166.5965274,"o",","]
+[166.6744712,"o"," "]
+[167.1613402,"o","("]
+[167.2257212,"o",")"]
+[167.3184036,"o"," "]
+[167.441618,"o","y"]
+[167.60335560000001,"o","}"]
+[167.73094160000002,"o"," "]
+[167.881758,"o","c"]
+[167.9215226,"o","o"]
+[167.9871426,"o","n"]
+[168.05098180000002,"o","c"]
+[168.0803338,"o","a"]
+[168.1285312,"o","t"]
+[168.16530060000002,"o"," "]
+[168.8575032,"o","t"]
+[168.9492444,"o","o"]
+[169.02612580000002,"o","S"]
+[169.1013524,"o","t"]
+[169.13634380000002,"o","r"]
+[169.5379274,"o","\r\r\n"]
+[169.5436086,"o","--> \"001001\"\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[170.7553524,"o","-"]
+[170.8213066,"o","-"]
+[170.9345552,"o"," "]
+[171.0626396,"o","L"]
+[171.1298792,"o","i"]
+[171.163395,"o","s"]
+[171.19342220000001,"o","t"]
+[171.22095360000003,"o"," "]
+[171.3501472,"o","c"]
+[171.43360040000002,"o","o"]
+[171.4878448,"o","m"]
+[171.5965486,"o","p"]
+[171.6861064,"o","r"]
+[171.7212086,"o","e"]
+[171.78839800000003,"o","h"]
+[171.8140146,"o","e"]
+[171.83611860000002,"o","n"]
+[171.89241400000003,"o","t"]
+[172.0521928,"o","\u001b[1G"]
+[172.052209,"o","\u001b[0J> -- List comprehen\u001b[20G"]
+[172.09839620000002,"o","s"]
+[172.259998,"o","i"]
+[172.2903794,"o","o"]
+[172.32072860000002,"o","n"]
+[173.0591204,"o"," "]
+[173.12161920000003,"o","w"]
+[173.18037500000003,"o","i"]
+[173.23474000000002,"o","t"]
+[173.274503,"o","h"]
+[173.3234208,"o"," "]
+[173.5025778,"o","|"]
+[173.6923744,"o"," "]
+[173.8427982,"o","a"]
+[173.87798700000002,"o","n"]
+[173.9132578,"o","d"]
+[173.92918740000002,"o"," "]
+[174.319362,"o","^"]
+[174.37389380000002,"o"," "]
+[174.41199640000002,"o"," "]
+[174.4459032,"o"," "]
+[174.7873148,"o","\r\r\n"]
+[174.7923194,"o","--> \"001001\"\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[175.1246682,"o","["]
+[175.20914760000002,"o","1"]
+[175.2524358,"o",","]
+[175.289185,"o","2"]
+[175.3291468,"o",","]
+[175.4332108,"o","3"]
+[175.6588006,"o","]"]
+[175.7293516,"o"," "]
+[175.90526060000002,"o","|"]
+[176.014151,"o"," "]
+[176.399661,"o","\""]
+[176.53892860000002,"o","a"]
+[176.6142332,"o","\""]
+[176.7169596,"o"," "]
+[177.01930800000002,"o","^"]
+[177.3041154,"o","\r"]
+[177.3042092,"o","\r\n"]
+[177.309124,"o","--> [\"a\",\"a\",\"a\"]"]
+[177.3092516,"o","\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[178.2225682,"o","{"]
+[178.6130674,"o"," "]
+[178.8837756,"o","["]
+[178.9862344,"o","1"]
+[179.053356,"o",","]
+[179.0818758,"o","2"]
+[179.1286106,"o",","]
+[179.18234740000003,"o","3"]
+[179.36038040000003,"o","]"]
+[179.686349,"o"," "]
+[179.7955726,"o","|"]
+[179.8820558,"o"," "]
+[179.97802660000002,"o","x"]
+[180.18603760000002,"o",","]
+[180.24413,"o"," "]
+[181.0630242,"o","{"]
+[181.29523240000003,"o","\u001b[1G"]
+[181.2954334,"o","\u001b[0J> { [1,2,3] | x, \u001b[18G"]
+[181.391051,"o","["]
+[181.702912,"o","\""]
+[181.7752554,"o","a"]
+[181.8760014,"o","\""]
+[182.03102320000002,"o",","]
+[182.1255936,"o","\""]
+[182.28257140000002,"o","b"]
+[182.39781040000003,"o","\""]
+[182.735184,"o","]"]
+[182.9448456,"o"," "]
+[183.13975440000002,"o","}"]
+[183.2453116,"o"," "]
+[183.66425900000002,"o","^"]
+[184.4111258,"o","\u001b[1G"]
+[184.4111878,"o","\u001b[0J> { [1,2,3] | x, [\"a\",\"b\"] } \u001b[30G"]
+[184.45412100000001,"o","\u001b[1G\u001b[0J> { [1,2,3] | x, [\"a\",\"b\"] }\u001b[29G"]
+[184.49716820000003,"o","\u001b[1G\u001b[0J> { [1,2,3] | x, [\"a\",\"b\"] \u001b[28G"]
+[185.039307,"o","|"]
+[185.135277,"o"," "]
+[185.2968154,"o","y"]
+[185.34280520000002,"o"," "]
+[185.4327,"o","}"]
+[185.50927620000002,"o"," "]
+[186.1602656,"o","^"]
+[186.4111264,"o","\r\r\n"]
+[186.4159612,"o","--> [{\"x\":1,\"y\":\"a\"},{\"x\":2,\"y\":\"a\"},{\"x\":3,\"y\":\"a\"},{\"x\":1,\"y\":\"b\"},{\"x\":2,\"y\":\"b\"},{\"x\":3,\"y\":\"b\"}]\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[186.7801584,"o","-"]
+[186.8299958,"o","-"]
+[187.02504420000002,"o","p"]
+[187.0554356,"o","p"]
+[187.13374480000002,"o","\r"]
+[187.13391520000002,"o","\r\n[\r\n  { x: \u001b[33m1\u001b[39m, y: \u001b[32m'a'\u001b[39m },\r\n  { x: \u001b[33m2\u001b[39m, y: \u001b[32m'a'\u001b[39m },\r\n  { x: \u001b[33m3\u001b[39m, y: \u001b[32m'a'\u001b[39m },\r\n  { x: \u001b[33m1\u001b[39m, y: \u001b[32m'b'\u001b[39m },\r\n  { x: \u001b[33m2\u001b[39m, y: \u001b[32m'b'\u001b[39m },\r\n  { x: \u001b[33m3\u001b[39m, y: \u001b[32m'b'\u001b[39m }\r\n]\r\n\u001b[1G\u001b[0J> \u001b[3G"]
+[187.7170518,"o","e"]
+[187.88707060000002,"o","\u001b[1G"]
+[187.88710300000002,"o","\u001b[0J> \u001b[3G"]
+[188.08542820000002,"o","REPL closed\r\n"]
+[188.0879242,"o","\u001b]0;wojtek@mac:~/gits/k\u0007"]
+[188.08894580000003,"o","\u001b]777;notify;Command completed;./repl.mjs \u001b\\\u001b]777;precmd\u001b\\"]
+[188.0895236,"o","\u001b]7;file://mac/home/wojtek/gits/k\u001b\\"]
+[188.0895836,"o","\u001b[?2004h\u001b]133;D;0\u001b\\\u001b]133;A\u001b\\\u001b[32mwojtek@mac\u001b[0m:\u001b[32m~/gits/k\u001b[0m$\u001b[0m \u001b]133;B\u001b\\"]
+[188.31395740000002,"o","e"]
+[188.3669616,"o","x"]
+[188.4179164,"o","i"]
+[188.46776720000003,"o","t"]
+[188.57562380000002,"o","\r\n\u001b[?2004l\r"]
+[188.5757226,"o","\u001b]133;C\u001b\\\r\u001b]777;preexec\u001b\\exit\r\n"]