{
  "version": 1,
  "width": 95,
  "height": 50,
  "duration": 114.465701,
  "command": null,
  "title": null,
  "env": {
    "TERM": "xterm",
    "SHELL": "/usr/bin/zsh"
  },
  "stdout": [
    [
      0.137774,
      "\u001b[1m\u001b[7m%\u001b[27m\u001b[1m\u001b[0m                                                                                              \r \r"
    ],
    [
      5.5e-05,
      "\u001b]2;jack@sun-wukong: ~/common-lisp/charming-clim\u0007\u001b]1;..charming-clim\u0007"
    ],
    [
      0.009269,
      "\r\u001b[0m\u001b[27m\u001b[24m\u001b[J\u001b[01;32m➜  \u001b[36mcharming-clim\u001b[00m \u001b[01;34mgit:(\u001b[31mmaster\u001b[34m) \u001b[33m✗\u001b[00m \u001b[K"
    ],
    [
      2.6e-05,
      "\u001b[?1h\u001b=\u001b[?2004h"
    ],
    [
      1.36311,
      "~"
    ],
    [
      0.318529,
      "\b~/"
    ],
    [
      0.253347,
      "b"
    ],
    [
      0.08077,
      "i"
    ],
    [
      0.099495,
      "n"
    ],
    [
      0.216868,
      "/"
    ],
    [
      0.166312,
      "c"
    ],
    [
      0.166938,
      "c"
    ],
    [
      0.079716,
      "l"
    ],
    [
      0.416346,
      "\u001b[?1l\u001b>\u001b[?2004l\r\r\n"
    ],
    [
      0.002967,
      "\u001b]2;~/bin/ccl\u0007\u001b]1;~/bin/ccl\u0007"
    ],
    [
      0.298741,
      "Welcome to Clozure Common Lisp Version 1.11  (LinuxX8664)!\r\n\r\nCCL is developed and maintained by Clozure Associates. For more information\r\nabout CCL visit http://ccl.clozure.com.  To enquire about Clozure's Common Lisp\r\nconsulting services e-mail info@clozure.com or visit http://www.clozure.com.\r\n\r\n? "
    ],
    [
      0.577327,
      "(defvar *console-io* *terminal-io*)"
    ],
    [
      0.403937,
      "\r\n"
    ],
    [
      0.000844,
      "*CONSOLE-IO*\r\n? "
    ],
    [
      0.803786,
      "(ql:quickload 'swank :silent t)"
    ],
    [
      0.618684,
      "\r\n"
    ],
    [
      0.162822,
      "(SWANK)\r\n? "
    ],
    [
      0.563759,
      "(swank:create-server :port 4005 :dont-close t)"
    ],
    [
      0.780836,
      "\r\n"
    ],
    [
      0.002687,
      ";; Swank started at port: 4005.\r\n"
    ],
    [
      0.002042,
      "4005\r\n? "
    ],
    [
      0.484231,
      "(loop (sleep 1))"
    ],
    [
      0.771931,
      "\r\n"
    ],
    [
      1.469771,
      "\u001b[?1049h\u001b[1;50r\u001b(B\u001b[m\u001b[4l\u001b[?7h\u001b[H\u001b[2J\u001b[39;49m\u001b[39;49m\u001b[50d\u001b[K\u001b[50;1H\u001b[?1049l\r\u001b[?1l\u001b>"
    ],
    [
      0.114009,
      "\u001b[?1049h\u001b[1;50r\u001b[39;49m\u001b(B\u001b[m\u001b[4l\u001b[?7h\u001b[39;49m\u001b[37m\u001b[40m\u001b[H\u001b[2J\u001b[39;49m\u001b[50d\u001b[K\u001b[50;1H\u001b[?1049l\r\u001b[?1l\u001b>"
    ],
    [
      0.104105,
      "\u001b[?1049h\u001b[1;50r\u001b[39;49m\u001b(B\u001b[m\u001b[4l\u001b[?7h\u001b[39;49m\u001b[37m\u001b[40m\u001b[H\u001b[2J"
    ],
    [
      2.1e-05,
      "\u001b[?1h\u001b="
    ],
    [
      0.000139,
      "\u001b[?1000h"
    ],
    [
      0.002523,
      "\u001b[11;11H\u001b[37m\u001b[44m\u001b[50X\n  \u001b[30m\u001b[41mHello world!\u001b[37m\u001b[44m\u001b[36X\u001b[13;11H\u001b[50X\n\u001b[50X\n\u001b[50X\n\u001b[50X\n\u001b[50X\n\u001b[50X\n\u001b[50X\n\u001b[50X\n\u001b[50X\n\u001b[30X\u001b[22;41H\u001b[33m\u001b[40m Toggle \u001b[37m\u001b[44m  \u001b[33m\u001b[40m  Exit  \u001b[37m\u001b[44m  \u001b[23;11H\u001b[50X\n  \u001b[30m\u001b[47m\u001b[26X\u001b[24;39H\u001b[37m\u001b[44m  \u001b[33m\u001b[40m Accept \u001b[37m\u001b[44m  \u001b[33m\u001b[40m Cancel \u001b[37m\u001b[44m  \u001b[25;11H\u001b[50X\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[11;11H"
    ],
    [
      0.183553,
      "\u001b[?1003h"
    ],
    [
      1.164587,
      "\u001b[24;59H\u001b[21;11H"
    ],
    [
      0.034392,
      "\u001b[24;59H\u001b[19;14H"
    ],
    [
      0.017542,
      "\u001b[24;59H\u001b[15;21H"
    ],
    [
      0.017662,
      "\u001b[24;59H\u001b[13;25H"
    ],
    [
      0.017741,
      "\u001b[24;59H\u001b[12;26H"
    ],
    [
      0.371377,
      "\u001b[24;59H\u001b[13;26H"
    ],
    [
      0.102094,
      "\u001b[24;59H"
    ],
    [
      6.4e-05,
      "\u001b[14;27H"
    ],
    [
      0.034518,
      "\u001b[24;59H"
    ],
    [
      7.5e-05,
      "\u001b[14;28H"
    ],
    [
      0.017496,
      "\u001b[24;59H\u001b[15;29H"
    ],
    [
      0.034531,
      "\u001b[24;59H\u001b[16;30H"
    ],
    [
      0.033883,
      "\u001b[24;59H\u001b[16;31H"
    ],
    [
      0.119169,
      "\u001b[24;59H\u001b[17;31H"
    ],
    [
      0.034456,
      "\u001b[24;59H\u001b[18;31H"
    ],
    [
      0.034421,
      "\u001b[24;59H\u001b[19;30H"
    ],
    [
      0.017733,
      "\u001b[24;59H\u001b[19;29H"
    ],
    [
      0.017745,
      "\u001b[24;59H\u001b[19;28H"
    ],
    [
      0.017583,
      "\u001b[24;59H\u001b[20;27H"
    ],
    [
      0.017854,
      "\u001b[24;59H\u001b[20;26H"
    ],
    [
      0.017639,
      "\u001b[24;59H\u001b[20;25H"
    ],
    [
      0.017962,
      "\u001b[24;59H\u001b[21;24H"
    ],
    [
      0.017538,
      "\u001b[24;59H"
    ],
    [
      0.000119,
      "\u001b[21;23H"
    ],
    [
      0.084906,
      "\u001b[24;59H\u001b[21;22H"
    ],
    [
      0.304164,
      "\u001b[24;59H\u001b[22;23H"
    ],
    [
      0.017657,
      "\u001b[24;59H\u001b[22;24H"
    ],
    [
      0.017678,
      "\u001b[24;59H\u001b[22;25H"
    ],
    [
      0.034343,
      "\u001b[24;59H\u001b[22;26H"
    ],
    [
      0.017898,
      "\u001b[24;59H\u001b[22;27H"
    ],
    [
      0.018013,
      "\u001b[24;59H\u001b[22;28H"
    ],
    [
      0.017624,
      "\u001b[24;59H\u001b[22;29H"
    ],
    [
      0.017642,
      "\u001b[24;59H\u001b[22;30H"
    ],
    [
      0.017845,
      "\u001b[24;59H"
    ],
    [
      0.00013,
      "\u001b[22;32H"
    ],
    [
      0.000773,
      "\u001b[24;59H"
    ],
    [
      0.000302,
      "\u001b[22;33H"
    ],
    [
      0.01755,
      "\u001b[24;59H\u001b[22;34H"
    ],
    [
      0.034425,
      "\u001b[24;59H"
    ],
    [
      7.1e-05,
      "\u001b[22;35H"
    ],
    [
      0.304153,
      "\u001b[24;59H\u001b[22;36H"
    ],
    [
      0.051337,
      "\u001b[24;59H\u001b[22;37H"
    ],
    [
      0.034561,
      "\u001b[24;59H\u001b[22;38H"
    ],
    [
      0.068145,
      "\u001b[24;59H\u001b[22;39H"
    ],
    [
      0.101783,
      "\u001b[24;59H\u001b[22;40H"
    ],
    [
      0.152495,
      "\u001b[C\u001b[31m\u001b[40m Toggle \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[22;41H"
    ],
    [
      0.051471,
      "\u001b[24;59H\u001b[22;42H"
    ],
    [
      0.034405,
      "\u001b[24;59H\u001b[22;43H"
    ],
    [
      0.034452,
      "\u001b[24;59H\u001b[22;44H"
    ],
    [
      0.337451,
      "\u001b[24;59H"
    ],
    [
      0.000694,
      "\u001b[22;45H"
    ],
    [
      0.117999,
      "\u001b[24;59H\u001b[23;45H"
    ],
    [
      0.085126,
      "\u001b[A\b\b\b\b\u001b[33m\u001b[40m Toggle \u001b[24;41H\u001b[31m\u001b[40m Accept \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      0.000108,
      "\u001b[24;45H"
    ],
    [
      0.102044,
      "\u001b[24;59H\u001b[25;45H"
    ],
    [
      0.152017,
      "\u001b[24;59H"
    ],
    [
      5.3e-05,
      "\u001b[25;44H"
    ],
    [
      0.371082,
      "\u001b[24;59H\u001b[24;44H"
    ],
    [
      0.017483,
      "\u001b[24;59H\u001b[24;43H"
    ],
    [
      0.034531,
      "\u001b[24;59H\u001b[24;42H"
    ],
    [
      0.034722,
      "\u001b[24;59H"
    ],
    [
      0.000157,
      "\u001b[24;41H"
    ],
    [
      0.017875,
      "\u001b[24;59H"
    ],
    [
      0.000166,
      "\u001b[24;40H"
    ],
    [
      0.018008,
      "\u001b[24;59H\u001b[24;39H"
    ],
    [
      0.017761,
      "\u001b[24;13H\u001b[30m\u001b[46m\u001b[26X\u001b[24;39H\u001b[37m\u001b[44m  \u001b[33m\u001b[40m Accept \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;37H"
    ],
    [
      0.017707,
      "\u001b[24;59H\u001b[24;36H"
    ],
    [
      0.017101,
      "\u001b[24;59H\u001b[24;34H"
    ],
    [
      0.017023,
      "\u001b[24;59H\u001b[24;33H"
    ],
    [
      0.017585,
      "\u001b[24;59H"
    ],
    [
      9.2e-05,
      "\u001b[24;32H"
    ],
    [
      0.018152,
      "\u001b[24;59H\u001b[24;31H"
    ],
    [
      0.034253,
      "\u001b[24;59H\u001b[24;30H"
    ],
    [
      0.10298,
      "\u001b[24;59H\u001b[24;29H"
    ],
    [
      0.613532,
      "\u001b[24;59H\u001b[24;29H"
    ],
    [
      0.407351,
      "\u001b[24;13H\u001b[30m\u001b[46mh\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;29H"
    ],
    [
      0.068572,
      "\u001b[24;14H\u001b[30m\u001b[46me\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;29H"
    ],
    [
      0.152281,
      "\u001b[24;15H\u001b[30m\u001b[46ml\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;29H"
    ],
    [
      0.169274,
      "\u001b[24;16H\u001b[30m\u001b[46ml\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;29H"
    ],
    [
      0.170983,
      "\u001b[24;17H\u001b[30m\u001b[46mo\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;29H"
    ],
    [
      0.085276,
      "\u001b[24;59H\u001b[24;29H"
    ],
    [
      0.068874,
      "\u001b[24;19H\u001b[30m\u001b[46mw\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;29H"
    ],
    [
      0.084948,
      "\u001b[24;20H\u001b[30m\u001b[46mo\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;29H"
    ],
    [
      0.136412,
      "\u001b[24;21H\u001b[30m\u001b[46mr\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;29H"
    ],
    [
      0.120095,
      "\u001b[22G\u001b[30m\u001b[46ml\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      0.000228,
      "\u001b[24;29H"
    ],
    [
      0.136625,
      "\u001b[23G\u001b[30m\u001b[46md\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;29H"
    ],
    [
      0.291323,
      "\u001b[24G\u001b[30m\u001b[46m!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;29H"
    ],
    [
      0.799473,
      "\u001b[24;59H\u001b[24;31H"
    ],
    [
      0.017046,
      "\u001b[24;59H\u001b[23;33H"
    ],
    [
      0.017221,
      "\u001b[24;59H\u001b[22;38H"
    ],
    [
      0.017134,
      "\u001b[24;59H"
    ],
    [
      5.8e-05,
      "\u001b[22;40H"
    ],
    [
      0.018178,
      "\u001b[24;59H\u001b[21;43H"
    ],
    [
      0.017031,
      "\u001b[24;59H"
    ],
    [
      6.4e-05,
      "\u001b[21;45H"
    ],
    [
      0.018098,
      "\u001b[24;59H\u001b[21;46H"
    ],
    [
      0.017857,
      "\u001b[24;59H\u001b[21;47H"
    ],
    [
      0.018161,
      "\u001b[24;59H\u001b[21;48H"
    ],
    [
      0.034854,
      "\u001b[24;59H"
    ],
    [
      8.8e-05,
      "\u001b[21;50H"
    ],
    [
      0.034731,
      "\u001b[24;59H\u001b[21;51H"
    ],
    [
      0.035127,
      "\u001b[24;59H"
    ],
    [
      7.3e-05,
      "\u001b[21;52H"
    ],
    [
      0.050872,
      "\n\b\u001b[31m\u001b[40m  Exit  \u001b[24;13H\u001b[30m\u001b[47mhello world!\u001b[14X\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[22;53H"
    ],
    [
      0.101599,
      "\u001b[24;59H\u001b[23;53H"
    ],
    [
      0.034885,
      "\n\u001b[59G\u001b[23;54H"
    ],
    [
      0.185798,
      "\n\u001b[59G\u001b[A\b\b\b\b"
    ],
    [
      0.135794,
      "\n\u001b[59G\u001b[23;54H"
    ],
    [
      0.017573,
      "\n\u001b[59G\u001b[23;53H"
    ],
    [
      0.000991,
      "\n\u001b[59G"
    ],
    [
      6.9e-05,
      "\u001b[23;52H"
    ],
    [
      0.017377,
      "\u001b[24;59H\u001b[23;49H"
    ],
    [
      0.017883,
      "\u001b[24;59H\u001b[23;48H"
    ],
    [
      0.017716,
      "\u001b[24;59H\u001b[23;47H"
    ],
    [
      0.017897,
      "\u001b[24;59H\u001b[23;46H"
    ],
    [
      0.186108,
      "\u001b[22;51H\u001b[33m\u001b[40m  Exit  \u001b[24;41H\u001b[31m\u001b[40m Accept \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;46H"
    ],
    [
      0.472246,
      "\u001b[24;59H\u001b[24;45H"
    ],
    [
      1.052031,
      "\u001b[12;13H\u001b[30m\u001b[41mh\u001b[24;13H\u001b[30m\u001b[47m            \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;45H"
    ],
    [
      0.523279,
      "\u001b[24;59H"
    ],
    [
      0.000105,
      "\u001b[24;44H"
    ],
    [
      0.017635,
      "\u001b[24;59H\u001b[25;43H"
    ],
    [
      0.018151,
      "\u001b[24;59H\u001b[25;42H"
    ],
    [
      0.962212,
      "\u001b[24;59H\u001b[25;21H"
    ],
    [
      0.017007,
      "\u001b[24;59H\u001b[23;19H"
    ],
    [
      0.017719,
      "\u001b[24;59H"
    ],
    [
      0.000103,
      "\u001b[20;17H"
    ],
    [
      0.017553,
      "\u001b[24;59H\u001b[19;16H"
    ],
    [
      0.01768,
      "\u001b[24;59H\u001b[17;16H"
    ],
    [
      0.01771,
      "\u001b[24;59H\u001b[15;16H"
    ],
    [
      0.017809,
      "\u001b[24;59H\u001b[14;16H"
    ],
    [
      0.202805,
      "\u001b[24;59H\u001b[15;16H"
    ],
    [
      0.034653,
      "\u001b[24;59H"
    ],
    [
      9.4e-05,
      "\u001b[15;17H"
    ],
    [
      0.135046,
      "\u001b[24;59H"
    ],
    [
      0.000109,
      "\u001b[16;17H"
    ],
    [
      0.01697,
      "\u001b[24;59H\u001b[17;17H"
    ],
    [
      0.017086,
      "\u001b[24;59H\u001b[19;18H"
    ],
    [
      0.017641,
      "\u001b[24;59H\u001b[20;18H"
    ],
    [
      0.017706,
      "\u001b[24;59H\u001b[21;18H"
    ],
    [
      0.017615,
      "\u001b[24;59H\u001b[22;18H"
    ],
    [
      0.051384,
      "\u001b[24;59H\u001b[23;18H"
    ],
    [
      0.304178,
      "\n\u001b[13G\u001b[30m\u001b[46m\u001b[26X\u001b[24;39H\u001b[37m\u001b[44m  \u001b[33m\u001b[40m Accept \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      0.000138,
      "\u001b[24;18H"
    ],
    [
      0.835226,
      "\u001b[24;59H\u001b[24;18H"
    ],
    [
      0.424539,
      "\u001b[13G\u001b[30m\u001b[46md\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      0.000478,
      "\u001b[24;18H"
    ],
    [
      0.102022,
      "\b\b\b\b\u001b[30m\u001b[46mi\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.119809,
      "\b\b\b\u001b[30m\u001b[46mf\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.153098,
      "\b\b\u001b[30m\u001b[46mf\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.153446,
      "\b\u001b[30m\u001b[46me\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.068611,
      "\u001b[30m\u001b[46mr\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.290034,
      "\u001b[C\u001b[30m\u001b[46me\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.15472,
      "\u001b[20G\u001b[30m\u001b[46mn\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.119577,
      "\u001b[21G\u001b[30m\u001b[46mt\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.086779,
      "\u001b[24;59H\u001b[24;18H"
    ],
    [
      0.137401,
      "\u001b[23G\u001b[30m\u001b[46mh\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.068786,
      "\u001b[24G\u001b[30m\u001b[46me\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.119625,
      "\u001b[25G\u001b[30m\u001b[46ml\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.187115,
      "\u001b[24;26H\u001b[30m\u001b[46ml\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.134806,
      "\u001b[24;27H\u001b[30m\u001b[46mo\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.101812,
      "\u001b[24;59H\u001b[24;18H"
    ],
    [
      0.119462,
      "\u001b[24;29H\u001b[30m\u001b[46mw\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.205324,
      "\u001b[24;30H\u001b[30m\u001b[46mo\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.101597,
      "\u001b[24;31H\u001b[30m\u001b[46mr\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.102549,
      "\u001b[24;32H\u001b[30m\u001b[46ml\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.119961,
      "\u001b[24;33H\u001b[30m\u001b[46md\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.323896,
      "\u001b[24;34H\u001b[30m\u001b[46m!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;18H"
    ],
    [
      0.526792,
      "\u001b[24;59H\u001b[24;19H"
    ],
    [
      0.017763,
      "\u001b[24;59H\u001b[24;20H"
    ],
    [
      0.017766,
      "\u001b[24;59H\u001b[24;21H"
    ],
    [
      0.017782,
      "\u001b[24;59H\u001b[24;22H"
    ],
    [
      0.017976,
      "\u001b[24;59H\u001b[24;24H"
    ],
    [
      0.018152,
      "\u001b[24;59H\u001b[24;25H"
    ],
    [
      0.018471,
      "\u001b[24;59H\u001b[24;27H"
    ],
    [
      0.018065,
      "\u001b[24;59H"
    ],
    [
      6.5e-05,
      "\u001b[24;29H"
    ],
    [
      0.001237,
      "\u001b[24;59H\u001b[24;32H"
    ],
    [
      0.017731,
      "\u001b[24;59H"
    ],
    [
      0.000108,
      "\u001b[23;34H"
    ],
    [
      0.017704,
      "\u001b[24;59H\u001b[23;37H"
    ],
    [
      0.018202,
      "\u001b[24;59H\u001b[23;38H"
    ],
    [
      0.035091,
      "\u001b[24;59H\u001b[23;39H"
    ],
    [
      0.169772,
      "\u001b[24;59H\u001b[23;40H"
    ],
    [
      0.033859,
      "\u001b[24;59H\u001b[23;41H"
    ],
    [
      0.017076,
      "\u001b[24;59H\u001b[23;42H"
    ],
    [
      0.017788,
      "\u001b[24;13H\u001b[30m\u001b[47mdifferent hello world!    \u001b[37m\u001b[44m  \u001b[31m\u001b[40m Accept \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;43H"
    ],
    [
      0.102032,
      "\u001b[24;59H"
    ],
    [
      8.6e-05,
      "\u001b[25;43H"
    ],
    [
      0.337612,
      "\u001b[24;59H\u001b[24;43H"
    ],
    [
      0.800387,
      "\u001b[12;13H\u001b[30m\u001b[41mdifferent hello world!\u001b[24;13H\u001b[30m\u001b[47m\u001b[22X\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;43H"
    ],
    [
      0.522307,
      "\u001b[24;59H"
    ],
    [
      8.6e-05,
      "\u001b[25;42H"
    ],
    [
      0.017671,
      "\u001b[24;59H"
    ],
    [
      0.000149,
      "\u001b[25;41H"
    ],
    [
      0.017471,
      "\u001b[24;59H\u001b[25;39H"
    ],
    [
      0.017656,
      "\u001b[24;59H"
    ],
    [
      8.6e-05,
      "\u001b[25;37H"
    ],
    [
      0.017214,
      "\u001b[24;59H"
    ],
    [
      9.5e-05,
      "\u001b[25;33H"
    ],
    [
      0.018229,
      "\u001b[24;59H\u001b[25;30H"
    ],
    [
      0.017811,
      "\u001b[24;59H\u001b[25;28H"
    ],
    [
      0.017927,
      "\u001b[24;13H\u001b[30m\u001b[46m\u001b[26X\u001b[24;39H\u001b[37m\u001b[44m  \u001b[33m\u001b[40m Accept \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      9.4e-05,
      "\u001b[24;26H"
    ],
    [
      0.000895,
      "\u001b[24;59H\u001b[23;25H"
    ],
    [
      0.051975,
      "\u001b[24;59H\u001b[22;25H"
    ],
    [
      0.050779,
      "\u001b[24;59H"
    ],
    [
      8.7e-05,
      "\u001b[22;26H"
    ],
    [
      0.017061,
      "\u001b[24;59H\u001b[22;27H"
    ],
    [
      0.034619,
      "\u001b[24;59H\u001b[22;28H"
    ],
    [
      0.102455,
      "\u001b[24;59H\u001b[22;29H"
    ],
    [
      0.086297,
      "\u001b[24;59H\u001b[21;29H"
    ],
    [
      0.034629,
      "\u001b[24;59H\u001b[20;29H"
    ],
    [
      0.034823,
      "\u001b[24;59H"
    ],
    [
      0.000148,
      "\u001b[19;29H"
    ],
    [
      0.256013,
      "\u001b[24;59H\u001b[18;29H"
    ],
    [
      0.034802,
      "\u001b[24;59H"
    ],
    [
      0.000173,
      "\u001b[17;29H"
    ],
    [
      0.017699,
      "\u001b[24;59H\u001b[16;29H"
    ],
    [
      0.018478,
      "\u001b[24;59H"
    ],
    [
      0.000118,
      "\u001b[14;30H"
    ],
    [
      0.018106,
      "\u001b[24;59H\u001b[13;30H"
    ],
    [
      0.017573,
      "\u001b[24;59H\u001b[12;30H"
    ],
    [
      0.017868,
      "\u001b[24;59H\u001b[11;30H"
    ],
    [
      0.034797,
      "\u001b[24;59H"
    ],
    [
      0.000155,
      "\u001b[11;29H"
    ],
    [
      0.375729,
      "\u001b[24;59H"
    ],
    [
      0.000109,
      "\u001b[12;29H"
    ],
    [
      0.61207,
      "\u001b[24;59H\u001b[13;29H"
    ],
    [
      0.017817,
      "\u001b[24;59H\u001b[13;30H"
    ],
    [
      0.017816,
      "\u001b[24;59H\u001b[14;31H"
    ],
    [
      0.017924,
      "\u001b[24;59H\u001b[15;33H"
    ],
    [
      0.017703,
      "\u001b[24;59H\u001b[16;34H"
    ],
    [
      0.017835,
      "\u001b[24;59H\u001b[16;35H"
    ],
    [
      0.01865,
      "\u001b[24;59H\u001b[17;36H"
    ],
    [
      0.017342,
      "\u001b[24;59H\u001b[17;37H"
    ],
    [
      0.017784,
      "\u001b[24;59H\u001b[18;38H"
    ],
    [
      0.052104,
      "\u001b[24;59H\u001b[19;39H"
    ],
    [
      0.051048,
      "\u001b[24;59H\u001b[19;40H"
    ],
    [
      0.067512,
      "\u001b[24;59H\u001b[20;40H"
    ],
    [
      0.084777,
      "\u001b[24;59H\u001b[21;41H"
    ],
    [
      0.186923,
      "\u001b[24;59H\u001b[21;42H"
    ],
    [
      0.084966,
      "\n\b\u001b[31m\u001b[40m Toggle \u001b[24;13H\u001b[30m\u001b[47m\u001b[26X\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[22;42H"
    ],
    [
      0.152387,
      "\u001b[24;59H\u001b[22;43H"
    ],
    [
      0.587663,
      "\u001b[24;59H\u001b[22;43H"
    ],
    [
      1.012837,
      "\u001b[12;13H\u001b[37m\u001b[44mdifferent hello world!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      0.000122,
      "\u001b[22;43H"
    ],
    [
      0.993933,
      "\u001b[12;13H\u001b[30m\u001b[41mdifferent hello world!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[22;43H"
    ],
    [
      0.67551,
      "\u001b[24;59H\u001b[22;42H"
    ],
    [
      0.017572,
      "\u001b[24;59H"
    ],
    [
      7.2e-05,
      "\u001b[23;41H"
    ],
    [
      0.01796,
      "\u001b[24;59H"
    ],
    [
      8.5e-05,
      "\u001b[23;39H"
    ],
    [
      0.017555,
      "\u001b[22;41H\u001b[33m\u001b[40m Toggle \u001b[24;13H\u001b[30m\u001b[46m\u001b[26X\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      0.000138,
      "\u001b[24;37H"
    ],
    [
      0.017446,
      "\u001b[24;59H"
    ],
    [
      0.000138,
      "\u001b[24;35H"
    ],
    [
      0.017487,
      "\u001b[24;59H"
    ],
    [
      0.000136,
      "\u001b[24;34H"
    ],
    [
      0.017941,
      "\u001b[24;59H\u001b[25;32H"
    ],
    [
      0.102185,
      "\u001b[24;59H"
    ],
    [
      0.00031,
      "\u001b[25;31H"
    ],
    [
      0.119753,
      "\u001b[12;13H\u001b[37m\u001b[44mdifferent hello world!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[25;31H"
    ],
    [
      0.103484,
      "\u001b[24;59H\u001b[24;31H"
    ],
    [
      0.930786,
      "\u001b[24;59H"
    ],
    [
      0.000744,
      "\u001b[12;13H\u001b[30m\u001b[41mdifferent hello world!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;31H"
    ],
    [
      0.184222,
      "\u001b[24;59H\u001b[24;31H"
    ],
    [
      0.663035,
      "\u001b[24;13H\u001b[30m\u001b[46mO\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;31H"
    ],
    [
      0.119853,
      "\u001b[12;13H\u001b[37m\u001b[44mdifferent hello world!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;31H"
    ],
    [
      0.205371,
      "\u001b[24;14H\u001b[30m\u001b[46mh\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;31H"
    ],
    [
      0.374513,
      "\u001b[24;15H\u001b[30m\u001b[46m,\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;31H"
    ],
    [
      0.086233,
      "\u001b[24;59H\u001b[24;31H"
    ],
    [
      0.171446,
      "\u001b[24;17H\u001b[30m\u001b[46mh\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      0.000323,
      "\u001b[24;31H"
    ],
    [
      0.068819,
      "\u001b[24;18H\u001b[30m\u001b[46mi\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;31H"
    ],
    [
      0.085933,
      "\u001b[12;13H\u001b[30m\u001b[41mdifferent hello world!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;31H"
    ],
    [
      0.340987,
      "\u001b[24;19H\u001b[30m\u001b[46m!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;31H"
    ],
    [
      0.66508,
      "\u001b[12;13H\u001b[37m\u001b[44mdifferent hello world!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;31H"
    ],
    [
      0.018037,
      "\u001b[24;59H\u001b[24;32H"
    ],
    [
      0.018012,
      "\u001b[24;59H\u001b[24;33H"
    ],
    [
      0.018059,
      "\u001b[24;59H\u001b[24;34H"
    ],
    [
      0.017801,
      "\u001b[24;59H\u001b[24;35H"
    ],
    [
      0.017984,
      "\u001b[24;59H\u001b[25;36H"
    ],
    [
      0.051968,
      "\u001b[24;59H\u001b[25;37H"
    ],
    [
      0.086708,
      "\u001b[24;59H\u001b[25;38H"
    ],
    [
      0.018296,
      "\u001b[24;59H\u001b[25;39H"
    ],
    [
      0.017725,
      "\u001b[24;59H\u001b[25;40H"
    ],
    [
      0.017216,
      "\u001b[24;59H\u001b[25;41H"
    ],
    [
      0.000225,
      "\u001b[24;59H"
    ],
    [
      1.7e-05,
      "\u001b[25;42H"
    ],
    [
      0.017078,
      "\u001b[24;13H\u001b[30m\u001b[47mOh, hi!\u001b[19X\u001b[24;39H\u001b[37m\u001b[44m  \u001b[31m\u001b[40m Accept \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;43H"
    ],
    [
      0.018105,
      "\u001b[24;59H\u001b[24;44H"
    ],
    [
      0.08488,
      "\u001b[24;59H\u001b[24;45H"
    ],
    [
      0.763,
      "\u001b[12;13H\u001b[37m\u001b[44mOh, hi!\u001b[15X\u001b[24;13H\u001b[30m\u001b[47m       \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      0.000865,
      "\u001b[12;13H\u001b[30m\u001b[41mOh, hi!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      9.5e-05,
      "\u001b[24;45H"
    ],
    [
      0.2029,
      "\u001b[24;59H\u001b[24;44H"
    ],
    [
      0.01769,
      "\u001b[24;59H\u001b[24;42H"
    ],
    [
      0.018087,
      "\u001b[24;59H\u001b[24;40H"
    ],
    [
      0.017121,
      "\u001b[24;13H\u001b[30m\u001b[46m\u001b[26X\u001b[24;39H\u001b[37m\u001b[44m  \u001b[33m\u001b[40m Accept \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;38H"
    ],
    [
      0.017655,
      "\u001b[24;59H\u001b[24;37H"
    ],
    [
      0.01818,
      "\u001b[24;59H"
    ],
    [
      0.000183,
      "\u001b[24;36H"
    ],
    [
      0.017757,
      "\u001b[24;59H\u001b[24;35H"
    ],
    [
      0.051524,
      "\u001b[24;59H\u001b[24;34H"
    ],
    [
      0.085038,
      "\u001b[24;59H\u001b[24;33H"
    ],
    [
      0.60345,
      "\u001b[24;59H"
    ],
    [
      0.000584,
      "\u001b[12;13H\u001b[37m\u001b[44mOh, hi!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;33H"
    ],
    [
      0.237164,
      "\u001b[24;13H\u001b[30m\u001b[46mv\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;33H"
    ],
    [
      0.205131,
      "\u001b[24;14H\u001b[30m\u001b[46me\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;33H"
    ],
    [
      0.067453,
      "\u001b[24;15H\u001b[30m\u001b[46mr\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;33H"
    ],
    [
      0.102161,
      "\u001b[24;16H\u001b[30m\u001b[46my\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;33H"
    ],
    [
      0.135281,
      "\u001b[24;59H\u001b[24;33H"
    ],
    [
      0.033913,
      "\u001b[12;13H\u001b[30m\u001b[41mOh, hi!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;33H"
    ],
    [
      0.085212,
      "\u001b[24;18H\u001b[30m\u001b[46mm\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;33H"
    ],
    [
      0.186992,
      "\u001b[24;19H\u001b[30m\u001b[46mu\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;33H"
    ],
    [
      0.068918,
      "\u001b[24;20H\u001b[30m\u001b[46mc\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;33H"
    ],
    [
      0.086248,
      "\u001b[24;21H\u001b[30m\u001b[46mh\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;33H"
    ],
    [
      0.577592,
      "\u001b[12;13H\u001b[37m\u001b[44mOh, hi!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;33H"
    ],
    [
      0.051363,
      "\u001b[24;59H\u001b[24;34H"
    ],
    [
      0.017729,
      "\u001b[24;59H\u001b[24;35H"
    ],
    [
      0.017864,
      "\u001b[24;59H\u001b[24;37H"
    ],
    [
      0.017775,
      "\u001b[24;59H\u001b[24;39H"
    ],
    [
      0.017919,
      "\u001b[24;13H\u001b[30m\u001b[47mvery much\u001b[17X\u001b[24;39H\u001b[37m\u001b[44m  \u001b[31m\u001b[40m Accept \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;42H"
    ],
    [
      0.017731,
      "\u001b[24;59H"
    ],
    [
      0.000385,
      "\u001b[24;44H"
    ],
    [
      0.017788,
      "\u001b[24;59H\u001b[24;46H"
    ],
    [
      0.017776,
      "\u001b[24;59H"
    ],
    [
      7.3e-05,
      "\u001b[24;47H"
    ],
    [
      0.000909,
      "\u001b[24;59H"
    ],
    [
      0.000459,
      "\u001b[24;48H"
    ],
    [
      0.01754,
      "\u001b[24;59H"
    ],
    [
      8.7e-05,
      "\u001b[24;49H"
    ],
    [
      0.034896,
      "\u001b[24;59H\u001b[24;50H"
    ],
    [
      0.033786,
      "\u001b[24;41H\u001b[33m\u001b[40m Accept \u001b[37m\u001b[44m  \u001b[31m\u001b[40m Cancel \u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;51H"
    ],
    [
      0.016947,
      "\u001b[24;59H\u001b[52G"
    ],
    [
      0.017635,
      "\u001b[59G\u001b[53G"
    ],
    [
      0.034912,
      "\u001b[59G"
    ],
    [
      8.3e-05,
      "\u001b[54G"
    ],
    [
      0.786371,
      "\u001b[24;13H\u001b[30m\u001b[47m         \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      0.000413,
      "\u001b[12;13H\u001b[30m\u001b[41mOh, hi!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      0.000247,
      "\u001b[54G"
    ],
    [
      0.538857,
      "\u001b[59G"
    ],
    [
      9.8e-05,
      "\u001b[53G"
    ],
    [
      0.017789,
      "\u001b[59G"
    ],
    [
      0.000105,
      "\u001b[52G"
    ],
    [
      0.017814,
      "\u001b[24;41H\u001b[31m\u001b[40m Accept \u001b[37m\u001b[44m  \u001b[33m\u001b[40m Cancel \u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      0.000108,
      "\u001b[24;48H"
    ],
    [
      0.017037,
      "\u001b[24;59H\u001b[24;45H"
    ],
    [
      0.01798,
      "\u001b[24;59H"
    ],
    [
      0.000153,
      "\u001b[24;39H"
    ],
    [
      0.017572,
      "\u001b[24;13H\u001b[30m\u001b[46m\u001b[26X\u001b[24;39H\u001b[37m\u001b[44m  \u001b[33m\u001b[40m Accept \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      0.000178,
      "\u001b[24;36H"
    ],
    [
      0.017239,
      "\u001b[24;59H\u001b[25;31H"
    ],
    [
      0.017687,
      "\u001b[24;59H\u001b[25;29H"
    ],
    [
      0.017969,
      "\u001b[24;59H\u001b[25;28H"
    ],
    [
      0.018077,
      "\u001b[24;59H\u001b[25;27H"
    ],
    [
      0.034758,
      "\u001b[24;59H\u001b[25;26H"
    ],
    [
      0.135972,
      "\u001b[12;13H\u001b[37m\u001b[44mOh, hi!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[25;26H"
    ],
    [
      0.170844,
      "\u001b[24;59H\u001b[24;26H"
    ],
    [
      0.069047,
      "\u001b[24;59H\u001b[24;25H"
    ],
    [
      0.561057,
      "\u001b[24;59H\u001b[24;25H"
    ],
    [
      0.137485,
      "\u001b[24;13H\u001b[30m\u001b[46mB\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      0.000122,
      "\u001b[24;25H"
    ],
    [
      0.068869,
      "\u001b[12;13H\u001b[30m\u001b[41mOh, hi!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;25H"
    ],
    [
      0.154607,
      "\u001b[24;14H\u001b[30m\u001b[46my\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;25H"
    ],
    [
      0.204733,
      "\u001b[24;15H\u001b[30m\u001b[46me\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;25H"
    ],
    [
      0.630527,
      "\u001b[12;13H\u001b[37m\u001b[44mOh, hi!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;25H"
    ],
    [
      0.288705,
      "\u001b[24;16H\u001b[30m\u001b[46m.\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;25H"
    ],
    [
      0.594378,
      "\u001b[24;59H"
    ],
    [
      7.9e-05,
      "\u001b[24;26H"
    ],
    [
      0.033987,
      "\u001b[24;59H"
    ],
    [
      0.000109,
      "\u001b[24;28H"
    ],
    [
      0.017086,
      "\u001b[24;59H\u001b[24;30H"
    ],
    [
      0.018502,
      "\u001b[24;59H\u001b[23;34H"
    ],
    [
      0.017866,
      "\u001b[24;59H\u001b[23;35H"
    ],
    [
      0.017996,
      "\u001b[24;59H\u001b[23;37H"
    ],
    [
      0.017977,
      "\u001b[12;13H\u001b[30m\u001b[41mOh, hi!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[23;37H"
    ],
    [
      0.373497,
      "\u001b[24;59H\u001b[23;38H"
    ],
    [
      0.034733,
      "\u001b[24;59H\u001b[23;39H"
    ],
    [
      0.017482,
      "\u001b[24;59H\u001b[23;40H"
    ],
    [
      0.018289,
      "\u001b[24;59H\u001b[23;41H"
    ],
    [
      0.017995,
      "\u001b[24;59H\u001b[23;42H"
    ],
    [
      0.001041,
      "\u001b[24;59H"
    ],
    [
      8.9e-05,
      "\u001b[23;43H"
    ],
    [
      0.017885,
      "\u001b[24;59H"
    ],
    [
      0.000101,
      "\u001b[23;44H"
    ],
    [
      0.017097,
      "\u001b[24;59H\u001b[23;45H"
    ],
    [
      0.290505,
      "\u001b[24;13H\u001b[30m\u001b[47mBye.\u001b[22X\u001b[24;39H\u001b[37m\u001b[44m  \u001b[31m\u001b[40m Accept \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;45H"
    ],
    [
      0.218583,
      "\u001b[12;13H\u001b[37m\u001b[44mOh, hi!\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;45H"
    ],
    [
      0.537387,
      "\u001b[12;13H\u001b[37m\u001b[44mBye.   \u001b[24;13H\u001b[30m\u001b[47m    \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[24;45H"
    ],
    [
      0.202506,
      "\u001b[24;59H\u001b[23;45H"
    ],
    [
      0.253068,
      "\u001b[12;13H\u001b[30m\u001b[41mBye.\u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[23;45H"
    ],
    [
      0.236654,
      "\u001b[A\b\b\b\b\u001b[31m\u001b[40m Toggle \u001b[24;41H\u001b[33m\u001b[40m Accept \u001b[24;59H\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m"
    ],
    [
      0.000158,
      "\u001b[22;45H"
    ],
    [
      0.722401,
      "\u001b[24;59H"
    ],
    [
      0.000227,
      "\u001b[22;45H"
    ],
    [
      0.387631,
      "\u001b[24;59H\u001b[22;47H"
    ],
    [
      0.017308,
      "\u001b[24;59H\u001b[22;49H"
    ],
    [
      0.017033,
      "\u001b[24;59H\u001b[22;50H"
    ],
    [
      0.017629,
      "\u001b[22;41H\u001b[33m\u001b[40m Toggle \u001b[37m\u001b[44m  \u001b[31m\u001b[40m  Exit  \n\n\u001b(B\u001b[m\u001b[39;49m\u001b[37m\u001b[40m\u001b[22;51H"
    ],
    [
      0.017931,
      "\u001b[24;59H\u001b[22;52H"
    ],
    [
      0.033839,
      "\u001b[24;59H\u001b[22;53H"
    ],
    [
      0.134552,
      "\u001b[24;59H\u001b[22;54H"
    ],
    [
      0.77588,
      "\u001b[?1000l"
    ],
    [
      0.000558,
      "\u001b[39;49m\r\u001b[50d\u001b[K\u001b[50;1H\u001b[?1049l\r\u001b[?1l\u001b>"
    ],
    [
      4.252162,
      "\r\n"
    ],
    [
      0.004734,
      "\u001b[1m\u001b[7m%\u001b[27m\u001b[1m\u001b[0m                                                                                              \r \r"
    ],
    [
      0.000175,
      "\u001b]2;jack@sun-wukong: ~/common-lisp/charming-clim\u0007"
    ],
    [
      0.000541,
      "\u001b]1;..charming-clim\u0007"
    ],
    [
      0.019374,
      "\r\u001b[0m\u001b[27m\u001b[24m\u001b[J\u001b[01;32m➜  \u001b[36mcharming-clim\u001b[00m \u001b[01;34mgit:(\u001b[31mmaster\u001b[34m) \u001b[33m✗\u001b[00m \u001b[K"
    ],
    [
      9.3e-05,
      "\u001b[?1h\u001b=\u001b[?2004h"
    ],
    [
      0.892005,
      "\u001b[?2004l\r"
    ],
    [
      0.001576,
      "\r\n"
    ]
  ]
}