@fraczak/k 4.0.3 → 5.0.0

package/demo2.cast

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