SuccessConsole Output

Skipping 28,498 KB.. Full Log
th1-deposit-index>
    <validators>
      .Map
    </validators>
    <balances>
      .Map
    </balances>
    <randao-mixes>
      .BytesList
    </randao-mixes>
    <slashings>
      .Map
    </slashings>
    <previous-epoch-attestations>
      .PendingAttestationList
    </previous-epoch-attestations>
    <current-epoch-attestations>
      .PendingAttestationList
    </current-epoch-attestations>
    <justification-bits>
      .BitList
    </justification-bits>
    <previous-justified-checkpoint>
      .Checkpoint
    </previous-justified-checkpoint>
    <current-justified-checkpoint>
      .Checkpoint
    </current-justified-checkpoint>
    <finalized-checkpoint>
      .Checkpoint
    </finalized-checkpoint>
  </state>
  <zerohashes-cache>
    0 |-> "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
    1 |-> "\xf5\xa5\xfdB\xd1j 0'\x98\xefn\xd3\t\x97\x9bC\x00=# \xd9\xf0\xe8\xea\x981\xa9'Y\xfbK"
    2 |-> "\xdbV\x11N\x00\xfd\xd4\xc1\xf8\\\x89+\xf3Z\xc9\xa8\x92\x89\xaa\xec\xb1\xeb\xd0\xa9l\xde`jt\x8b]q"
    3 |-> "\xc7\x80\t\xfd\xf0\x7f\xc5j\x11\xf1\"7\x06X\xa3S\xaa\xa5B\xedc\xe4LK\xc1_\xf4\xcd\x10Z\xb3<"
    4 |-> "Sm\x98\x83\x7f-\xd1e\xa5]^\xea\xe9\x14\x85\x95Dr\xd5o$m\xf2V\xbf<\xae\x195*\x12<"
    5 |-> "\x9e\xfd\xe0R\xaa\x15B\x9f\xae\x05\xba\xd4\xd0\xb1\xd7\xc6M\xa6M\x03\xd7\xa1\x85JX\x8c,\xb8C\f\r0"
    6 |-> "\xd8\x8d\xdf\xee\xd4\x00\xa8uU\x96\xb2\x19B\xc1I~\x11L0.a\x18)\x0f\x91\xe6w)v\x04\x1f\xa1"
    7 |-> "\x87\xeb\r\xdb\xa5~5\xf6\xd2\x86g8\x02\xa4\xafYu\xe2%\x06\xc7\xcfLd\xbbk\xe5\xee\x11R\x7f,"
    8 |-> "&\x84dv\xfd_\xc5J]C8Qg\xc9QD\xf2d?S<\xc8[\xb9\xd1kx/\x8d}\xb1\x93"
    9 |-> "Pm\x86X-%$\x05\xb8@\x01\x87\x92\xca\xd2\xbf\x12Y\xf1\xefZ\xa5\xf8\x87\xe1<\xb2\xf0\tOQ\xe1"
    10 |-> "\xff\xff\n\xd7\xe6Yw/\x954\xc1\x95\xc8\x15\xef\xc4\x01N\xf1\xe1\xda\xedD\x04\xc0c\x85\xd1\x11\x92\xe9+"
    11 |-> "l\xf0A'\xdb\x05D\x1c\xd83\x10zR\xbe\x85(h\x89\x0eC\x17\xe6\xa0*\xb4v\x83\xaau\x96B "
    12 |-> "\xb7\xd0_\x87_\x14\x00'\xefQ\x18\xa2${\xbb\x84\xce\x8f/\x0f\x11#b0\x85\xda\xf7\x96\f2\x9f_"
    13 |-> "\xdfj\xf5\xf5\xbb\xdbk\xe9\xef\x8a\xa6\x18\xe4\xbf\x80s\x96\x08g\x17\x1e)go\x8b(M\xeaj\x08\xa8^"
    14 |-> "\xb5\x8d\x90\x0f^\x18.<P\xeft\x96\x9e\xa1lw&\xc5Iu|\xc25#\xc3iX}\xa7)7\x84"
    15 |-> "\xd4\x9au\x02\xff\xcf\xb04\x0b\x1dx\x85h\x85\x00\xca0\x81a\xa7\xf9kb\xdf\x9d\x08;q\xfc\xc8\xf2\xbb"
    16 |-> "\x8f\xe6\xb1h\x92V\xc0\xd3\x85\xf4/[\xbe '\xa2,\x19\x96\xe1\x10\xba\x97\xc1q\xd3\xe5\x94\x8d\xe9+\xeb"
    17 |-> "\x8d\rc\xc3\x9e\xba\xde\x85\t\xe0\xae<\x9c8v\xfb_\xa1\x12\xbe\x18\xf9\x05\xec\xac\xfe\xcb\x92\x05v\x03\xab"
    18 |-> "\x95\xee\xc8\xb2\xe5A\xca\xd4\xe9\x1d\xe3\x83\x85\xf2\xe0Fa\x9fTIl#\x82\xcbl\xac\xd5\xb9\x8c&\xf5\xa4"
    19 |-> "\xf8\x93\xe9\x08\x91wu\xb6+\xff#)M\xbb\xe3\xa1\xcd\x8el\xc1\xc3[H\x01\x88{djo\x81\xf1\x7f"
    20 |-> "\xcd\xdb\xa7\xb5\x92\xe3\x133\x93\xc1a\x94\xfa\xc7C\x1a\xbf/T\x85\xedq\x1d\xb2\x82\x18<\x81\x9e\x08\xeb\xaa"
    21 |-> "\x8a\x8d\x7f\xe3\xaf\x8c\xaa\x08Zv9\xa82\x00\x14W\xdf\xb9\x12\x8a\x80a\x14*\xd03V)\xff#\xff\x9c"
    22 |-> "\xfe\xb3\xc37\xd7\xa5\x1ao\xbf\x00\xb9\xe3LR\xe1\xc9\x19\\\x96\x9b\xd4\xe7\xa0\xbf\xd5\x1d\\[\xed\x9c\x11g"
    23 |-> "\xe7\x1f\n\xa8<\xc3.\xdf\xbe\xfa\x9fM>\x01t\xca\x85\x18.\xec\x9f:\t\xf6\xa6\xc0\xdfcw\xa5\x10\xd7"
    24 |-> "1 o\xa8\nP\xbbj\xbe)\x08PX\xf1b\x12!*`\xee\xc8\xf0I\xfe\xcb\x92\xd8\xc8\xe0\xa8K\xc0"
    25 |-> "!5+\xfe\xcb\xed\xdd\xe9\x93\x83\x9faL=\xac\n>\xe3uC\xf9\xb4\x12\xb1a\x99\xdc\x15\x8e#\xb5D"
    26 |-> "a\x9e1'$\xbbm|1S\xed\x9d\xe7\x91\xd7d\xa3f\xb3\x89\xaf\x13\xc5\x8b\xf8\xa8\xd9\x04\x81\xa4ge"
    27 |-> "|\xdd)\x86&\x82Pb\x8d\f\x10\xe3\x85\xc5\x8ca\x91\xe6\xfb\xe0Q\x91\xbc\xc0O\x13?,\xear\xc1\xc4"
    28 |-> "\x84\x890\xbd{\xa8\xca\xc5Fa\x07!\x13\xfb'\x88i\xe0{\xb8X\x7f\x919)37M\x01{\xcb\xe1"
    29 |-> "\x88i\xff,\"\xb2\x8c\xc1\x05\x10\xd9\x852\x92\x803(\xbeO\xb0\xe8\x04\x95\xe8\xbb\x8d'\x1f[\x88\x966"
    30 |-> "\xb5\xfe(\xe7\x9f\x1b\x85\x0f\x86X$l\xe9\xb6\xa1\xe7\xb4\x9f\xc0m\xb7\x14>\x8f\xe0\xb4\xf2\xb0\xc5R:\\"
    31 |-> "\x98^\x92\x9fp\xaf(\xd0\xbd\xd1\xa9\n\x80\x8f\x97\x7fY||w\x8cH\x9e\x98\xd3\xbd\x89\x10\xd3\x1a\xc0\xf7"
    32 |-> "\xc6\xf6~\x02\xe6\xe4\xe1\xbd\xef\xb9\x94\xc6\t\x89S\xf3F6\xba+l\xa2\nG!\xd2\xb2j\x88g\"\xff"
    33 |-> "\x1c\x9a~_\xf1\xcfH\xb4\xad\x15\x82\xd3\xf4\xe4\xa1\x00O; \xd8\xc5\xa2\xb7\x13\x87\xa4%J\xd93\xeb\xc5"
    34 |-> "/\x07Z\xe2)dkoj\xed\x19\xa5\xe3r\xcf)P\x81@\x1e\xb8\x93\xffY\x9b?\x9a\xcc\f\r>}"
    35 |-> "2\x89!\xde\xb5\x96\x12\x07h\x01\xe8\xcdaY!\x07\xb5\xc6|y\xb8FY\\\xc62\f9[F6,"
    36 |-> "\xbf\xb9\t\xfd\xb26\xad$\x11\xb4\xe4\x888\x10\xa0t\xb8@FF\x89\x98l?\x8a\x80\x91\x82~\x17\xc3'"
    37 |-> "U\xd8\xfb6\x87\xba;\xa4\x9f4,w\xf5\xa1\xf8\x9b\xec\x83\xd8\x11Dn\x1aFq9!=d\x0bjt"
    38 |-> "\xf7!\rO\x8e~\x109y\x0e{\xf4\xef\xa2\x07UZ\x10\xa6\xdb\x1d\xd4\xb9]\xa3\x13\xaa\xa8\x8b\x88\xfev"
    39 |-> "\xad!\xb5\x16\xcb\xc6E\xff\xe3J\xb5\xde\x1c\x8a\xef\x8c\xd4\xe7\xf8\xd2\xb5\x1e\x8e\x14V\xad\xc7V<\xda o"
    40 |-> "k\xfe\x8d+\xccB7\xb7JPG\x05\x8e\xf4U3\x9e\xcds`\xcbc\xbf\xbb\x8e\xe5D\x8ed0\xba\x04"
    41 |-> "\xa7\xf2<\xe9\x18\x17@\xdc\"\f\x81G\x82eO\xeej\xce\xb9\xf1\xec\x92\"\xc4\xe2F}\n\xb1h\x087"
    42 |-> "\xae\xf9Gl\x89Y\n,\x8c\xc9\xb3\xb7OIg\xc7W\xc4\x9d\x98f\xa4K\xac\xf2\x1f\xa2\xedg]\xdf\xa2"
    43 |-> "\x9aB\xbc\xad\x82\xf6\xa9\xe4\x12\x84\xd8\x08\xea\xd3\x19\xf2\x9f;\x08 \x9dh\x0f\x0e,\xe7\x15\x10\xd0q\xe2\x05"
    44 |-> "\xd1\xa6m5Jg\xb9\xcf\x17\x95q\xd8\xe5\xf9w\x92qn\x8d\xd4\xecD\x19h9\xa3\xf7\xc6\xb7O\x8b\xac"
    45 |-> "\xfa\xfa0%\xf2\xf8\x95\t\xc2\xc7\x1ct\xfb\xa0\xcd\x92\x85\x8e\xf4\x9b\x07\x80\xfbTytl\x8a\x9b\xfc\xb3F"
    46 |-> "34\xa7\xc1\xe7\xf6pZ\xa6\x01\x1aj\x94\x96E\x01m\xb4\xac\xde\f\xa9\xab\xd6m\xc7\x9d\x82fB0V"
    47 |-> "\x07\x96\xfdufO\xae\xf7D\xeeNR\xd7'\x1e+\xbbv\x9f\x91\xedo\x9bt\xd8\xb6\x94\xf5f\x06\x85,"
    48 |-> "{\xa3\xaeJA\x7f\xe8T[\x14+\xc8\x9fJ\xdc\xd7\xae\x13\x94\x1c\xba\xb7u\x0b\x83\xe9\xf0\xa6m\x16\xbed"
    49 |-> "x\x8f\xaf\xccJ\xa5 9\x9a\xdb\xae\xd1\x95\xf8\xb1,N\xb3\x1e\xc1\x01h\xe5\n\xab\xc6Y\xa6\xae\xa5\x16\xdc"
    50 |-> "\xe83\xd7\xa6q`\xe6\x8b\xf4\xc9\x04JS\x07}\xf2rz\xd0\f\xf3oII\xc7\xb6\x81\xa9\x12\x14\f\xbb"
    51 |-> "0\x9e\xab\xf0\x95\xdcg\x14\xf9\xf4\xd8d\xbb\xa5\xaf\xfa\xe0\xb3Z\xe2\xf5\xe3V[\xcc:G\xb2\x12vw\x01"
    52 |-> "\"j\x8e\xbe\xfa(\x86e\xa6D\xa5\x02s3^\xfb\xb6\x10Q\x0f$\x1b[r\f\x8a6\x8dY\xa6\x9a]"
    53 |-> "A\xab\xfd\x99T%\x82v%\x93\x811\xaf\fO3\xfe\x0b\xd4h\x8c\",!\xfa\x9d\xa8\xe8\x9c\xaa\x03\xf8"
    54 |-> "D,d.\xf5\x0f\xa1\xa6g\xa6\xe6\xd1\x05\xc7|\\\xc3\xfe\xc8\xd7\xaa%p\xcf\x1a0w\xb5\x03\xc3\x80i"
    55 |-> "\xa0\xa0\x8d\xfc\x9bB\xd9l-\xe1\x9bm\x12{\x8a\xe16\xdd\xcf>Z\xd0\xdc\xe4\"\xc4ZV\xf6\x1fjt"
    56 |-> "}4\x83\x82\xaf\tm\xbe\x0b\xf0\x86\xc7\xbb9\xb2\xa2\xc0\xbc6\xb6!\xab\fs\x8e\x98\x85\xd71\xd8\x17@"
    57 |-> ":\xb14u\x1d\x19\x12i\x02l\x86\x99N\xaa\x8bC\xa8;J\xd1\xf6\xd0\xe7s\x81\xc4\xe2\x97J\xfb\xc8\xf6"
    58 |-> "\x9atRa\x1d\xb2\xd2>\xae&\xf9\xbd\xbb\x88\x95\x8e\xf4Ld\xd0\xfe\x98{\xe9\xf7&\xad\xf98\xf5\x0fl"
    59 |-> "r\\\x7f\x81`7\xbf\xe4R\xcd\x1e{\xa3Z\xc4~\xdc\xb4\x9a\x9a+'\xae\xcap\xdc\xe4\x83\xcb}\xed\x1f"
    60 |-> ",\xea\x1a\xf5\x1f\xb2\x8bb\x88|9\x99\x8a\xc9\xfe\xf4\xdf\xde\xda\x1f\x07\xe0q\xbaU\x8a\x17:\xfd\x06\xcb\xc3"
    61 |-> "\xff\x1dY\xf9\x8blU\x1d\x95\x08\x93W\x05}\\\x8b\xe2d\x02'\x9e\x9d\xf0\xb1\xdf\x1a\x10\xb7+\xf3\x92\x7f"
    62 |-> "/\x8a\x18\x1f|\x99\xdd!Zu)\xbf\xe2\x96\xa9`:\x14Fsq\x86\xd2\x1a\xeb\x8b\xc7\xaeY\xe1\xfd!"
    63 |-> "\xec\xc5\x02\xc9\xb1\x14_9P\xcb}>8BDo\x81\xa4\xf0\xdf\x1d\xf57\xce\xe19\xefd\xea\x98K\xd9"
  <
kast content
============
<beacon-chain>
  <k>
        init
    ~> wrap #HistoricalBatch( "\xc0\xf4\xcf\xdb\xaf\x08\x5e\x73\xf6\xdb\x5b\x4a\x75\xad\xa3\x56\x88\xbf\x3f\xe6\xe3\x3d\x5c\x80\xbd\xb5\xe8\x25\x3b\x57\xc0\x78" "\x6c\x67\x66\xd2\xcb\xbc\x24\xbc\x47\x38\x64\xb6\x65\xff\x4b\xdc\x99\x1d\x77\x72\x13\x14\x61\x24\x0c\x74\x96\x73\xb2\xd7\x0a\xaf" "\x9d\x32\x5b\xf0\xca\x25\x37\x3d\x3e\x2a\xda\xda\x2f\x9a\x77\x0d\x8e\xf8\x7e\x2b\xc6\x32\x9b\xb0\x23\xf8\x07\xa5\xe1\x32\x81\x3a" "\x15\x3d\x13\x47\x31\x47\x44\x96\xa8\x0b\xc4\x64\xe5\x7f\x2a\x18\xfe\xd7\x83\xf7\x2e\x30\xd8\xc9\xfc\x24\x83\x9c\xf8\xe3\xd9\xf1" "\x99\x9f\xf2\xfb\x88\x88\x43\x2c\x97\xb5\x19\x70\x57\xa8\x22\xda\xb8\xc9\xc0\xbf\xde\x3e\x39\x93\xb5\x6b\x78\xa3\x67\xa7\xde\x6e" "\x00\xa4\x62\xba\x74\x1f\xa6\x46\xfd\xce\xb6\x99\x58\xa6\xfd\xbe\xec\x1a\x20\x9c\x4d\x5a\x63\xa2\x1d\x10\x63\xdd\x30\x0b\xf4\x8d" "\xae\x04\x9a\x8a\xb4\x8e\x7d\x17\x6b\xa9\x5c\x27\x5a\xd5\xcd\xa5\xcd\xb9\x6f\xea\xa0\xff\xb4\x45\x09\xf0\x49\xf9\x35\x8d\x22\x2a" "\xc6\x1b\x3d\xa8\x66\xec\x5c\x32\x93\x6a\xe0\x1a\xa3\x5c\x45\xbb\xa2\x39\xd9\x39\xaf\xb1\x5f\x15\x28\xa8\x71\x65\xb8\x85\xfa\xae" "\x1a\x3a\x4d\x6b\xa8\xf6\x95\x1c\xaf\xb0\x50\x37\x70\x7f\x56\x97\x63\x89\xe2\xd7\x70\xaf\xae\x5c\x5f\x6e\xb0\xe2\xd7\x66\x53\xb2" "\xf6\x03\xbf\xfe\x30\x8f\x75\x2a\x7e\xb6\xa9\x0d\x44\xb8\x41\x8c\xe8\x51\x55\x24\x3a\xd2\x9a\x9f\x6a\xb6\x49\xc1\x2d\x10\xf2\xd2" "\x34\x52\xa0\xb7\xcc\x20\xcf\x6b\xe6\x69\xcd\xda\x90\x93\xb4\xab\x10\x36\xbe\x47\x53\x3e\x0a\x6e\xc2\xaf\x95\x49\x03\xcc\x46\xc5" "\xa7\xdd\x55\xf7\xd8\x6e\xbf\xcc\x6b\x22\x3e\x2f\xd0\x3b\x00\x82\x23\x2d\xe6\x7b\xa4\x5b\x70\x36\x6a\x18\xd3\xbe\x05\xcb\x87\x61" "\x84\x69\x4b\xd6\x10\x0c\xd9\x40\x3b\xff\x18\xec\xb0\x5f\xc5\x70\x3a\x32\x37\xa6\x8a\x46\x99\xfd\xeb\x18\xd3\xd6\xfc\xca\xbf\xb9" "\x39\x4a\x73\x93\x8b\x90\x49\xaf\x15\x40\x7f\x1d\x71\x34\xe4\xa7\x57\x29\xba\xdf\xe4\x35\xa5\x34\x7b\x3b\x48\x33\xe0\x63\xd1\x91" "\x40\xdd\x62\x59\xcf\xf1\x50\xf3\xb8\xef\xb8\x2e\x3f\xc1\xd0\x99\xa4\x97\x49\x73\x57\x08\xe8\x59\x37\xae\xac\x39\x14\x97\x67\xb2" "\x6d\xf7\xad\x20\x39\x1d\x89\xb5\x4c\xdc\x20\x29\x4a\xce\x4f\xce\xfd\x7f\xfe\x80\xf7\xc6\xc4\x5c\x93\x76\x60\x6d\x2e\x51\x24\xc9" "\x2d\x33\x1f\x34\xa8\x6d\x98\x0d\xfa\x70\xb8\x73\x3a\x6e\x56\xf6\x9b\xe9\xf8\x0b\x69\xda\x93\x99\x6e\x1b\x4c\xee\x6f\xa0\x88\x63" "\x58\x39\x53\xae\x2c\x6f\x5f\x1c\xb9\x8b\x24\x42\x38\x72\x34\x00\xdc\xc4\x00\x04\x3e\xc6\xf4\x97\x87\xe2\x51\x52\xc8\x85\x66\xc6" "\x3b\xf9\x1d\xb2\x61\x98\x4d\xa1\x8a\x27\x8a\x4b\x57\x8e\xc2\x9c\xcb\x79\x80\x24\x66\xcc\x34\x6d\x20\x5a\x51\xac\x34\xfe\xc4\xf6" "\xfc\x14\x1c\xce\x14\x5c\x19\xb6\x8b\x03\x1c\x79\xa7\x73\x25\x6c\x70\xaf\xd7\x54\xcf\x95\x2a\xcf\x9c\x5b\x47\x3a\x12\x89\x3a\x9d" "\x64\x11\x9f\x74\x3e\xc0\x06\xcf\xfb\x32\xb9\x35\x10\xd5\xdc\xe9\x74\x1c\xed\x36\xb6\x82\xf9\x83\xef\xc6\xa3\xea\xa2\x6c\xea\x03" "\x50\xb7\xa7\x79\x6c\x4a\x8c\x9f\xe5\xa7\xac\x8f\x63\xcc\x1b\x3e\x8c\xc2\x67\xdf\x88\x84\x36\x44\xcb\xff\xb3\xdd\x0d\xab\x31\x87" "\xd3\x9e\xac\x6d\xda\xa3\x54\x8e\x80\xb2\x6f\xc2\xb7\x4c\x9b\x2b\xf6\x2e\xea\xb1\xf1\xaa\x22\x5e\x9a\x4f\xd2\x9e\xd0\x75\xad\x05" "\xca\xb1\xa1\x57\xd4\xa9\x9b\xef\x3d\xea\xb1\x6b\xfa\xb6\x56\x53\x2c\x8f\xa5\x20\xba\x74\xea\xbb\x21\xc0\x0c\x12\xc7\x58\x82\xd3" "\xd8\x6b\xbf\x91\xa0\xa0\xd4\x93\x1f\x88\xcd\x5f\x04\x53\xee\x25\x57\x63\x0d\x1f\x21\xfd\x8d\x90\xbd\xc5\x0b\x8a\x42\x7a\x79\x2e" "\x86\x9e\xf8\xff\x74\x06\x50\xdc\xb9\xca\x79\xba\x33\x2e\xc1\xee\x56\x8f\x7f\x7b\x7f\xdf\xb8\x25\xd9\x3d\xc1\x87\xc5\x2c\x6c\x9d" "\xaf\x74\x35\x7d\x77\xbb\x9d\x2c\x30\xc4\xaf\x69\xb3\x6d\x79\xd4\x3b\x94\xa1\xdf\xab\x6d\x9c\x00\xb7\x68\xbc\xcf\x92\xd6\xf6\x24" "\x98\x68\x73\x36\x00\x11\x9b\xc4\x89\x54\x70\xc3\x09\x94\x10\xec\xf0\x45\xef\xf3\xc0\xbd\x27\x92\x6a\xc6\x7a\x63\x37\x37\x8a\xa9" "\x62\x2b\x87\xb9\xff\xff\x3c\x85\x99\x12\x65\xad\x0a\x53\xfb\x00\x2e\x0a\x1e\x8b\x83\xde\x72\x0b\xfc\x03\x50\x81\x8a\xf5\x0b\x29" "\x0e\x16\x09\xab\x1a\xdc\x6f\x09\x6e\x7d\xdb\xc3\x44\xb5\x98\x31\x0b\x3c\x0d\xd7\xe4\x68\x33\x45\x6c\xa7\xff\x34\xdf\xeb\x9c\x5a" "\x30\x13\x31\x91\x60\xb6\x7a\xc7\x5a\x73\xa6\x2b\x0a\xf7\x7e\x39\x81\x4f\xc9\xb0\xba\x43\x8f\x20\x21\x3f\x12\xfb\xc1\xac\x66\x56" "\x98\x58\x85\xb8\x07\xee\x3f\x3e\x1f\xd0\xf0\x14\xde\xa9\x06\xd6\x6a\x6f\x6d\x59\x5d\x19\x23\x50\xee\x31\x6c\xf0\x2d\x52\x8b\x7f" "\x9f\x83\x1e\x5e\xf6\x18\xb6\x41\xa4\x1a\xd6\xc3\xc0\x2c\x9e\xaa\x05\x87\x99\xee\x8a\x58\x4a\x6a\xbf\x20\x2a\x98\x70\xe7\xc2\x84" "\x16\xae\x56\xc9\x26\x9b\x49\x59\x05\x2f\xe2\xbb\x15\x26\xe7\x72\x7b\xae\x8c\xc6\x55\x01\x6b\xbc\x4e\xd8\xcf\x95\xf0\x10\xb1\x78" "\xef\xb4\x65\xd4\x97\x6c\xfc\x40\xd5\x0a\x55\x81\x85\xc3\x15\x9b\x1e\xca\x9c\xb1\xa5\xac\x1c\xf2\x69\x15\x80\x04\x24\x20\x89\x72" "\xf4\x6e\x2f\x6e\x27\xe4\xbe\xec\xea\x7d\x4f\x9f\x0f\x8e\x88\x71\x4c\x25\x92\x73\xac\x3d\x52\xe9\x12\x3e\x9d\x38\x32\x8b\x43\x2d" "\x93\x5e\x6c\x6f\xc8\x32\x69\x61\xc1\x40\xc6\x67\x4e\xdd\xb0\x0f\xbb\x2c\x10\xdf\x5c\xef\x64\xb0\x4b\x15\xe1\x77\x6d\x7e\x67\x8f" "\xaf\x2b\x1a\x1a\xf7\xc2\xca\x5f\x09\x08\xdf\x76\xf2\x51\x6b\xd1\x0a\x38\x46\x8f\x75\x06\x75\xce\x1b\x5c\x2a\x3e\x94\x31\xfa\xa7" "\x6a\x80\xca\xc1\xef\x5f\x49\xe3\xa4\x38\x76\xc3\x16\xde\x6f\x48\x2a\x79\xde\xb3\xd7\x5a\xc0\xeb\xac\xe6\xc1\xf9\x40\xc2\x67\x70" "\xab\xc7\xce\xab\x13\xb4\xfa\x6b\xf7\xcd\x2f\xcc\xbe\x98\x66\xb7\x95\xc9\xb3\x13\xeb\xd4\x7e\x6f\xc0\x28\xfb\x22\xae\x1c\x38\x9a" "\x90\x49\x22\x89\x92\xbb\xad\x85\x44\x85\xe6\x98\x33\x0c\x94\xa8\x83\xd6\x8e\xc4\x65\x21\xcf\x03\x6e\xcc\x99\xc9\xe2\x43\xff\x1f" "\x16\x89\x67\xb0\x0b\x3f\xef\xa7\x7d\xa5\xe8\x66\x82\x89\x7e\x69\x6f\x5b\x6f\xfa\x73\x63\x7b\x9c\x7d\x61\x66\x85\x53\x4e\xda\xca" "\x2a\x11\x08\x1e\x77\x83\x6e\x1d\xb3\x9f\x51\x7c\x52\x9a\xbd\xea\xf4\xf8\xce\x49\xa2\xd5\x55\x65\x4c\x17\x2d\x99\x8a\x6c\x85\xf8" "\x5f\x1d\x66\x8a\x9b\x66\x73\xb4\x2b\x97\x19\x73\x1d\xba\xb9\x62\xf7\x10\x1c\x63\x91\x6f\x6e\x24\x0a\xe3\xe9\xda\x45\xba\x63\x67" "\x81\x9e\xb8\x0e\x61\x9f\x9f\x61\xc3\xc1\x6d\x41\xaa\xf9\x54\x3d\xb4\x92\xb9\x0d\x64\x18\x9a\xca\xf6\xf1\xca\xc2\x07\xbc\xf1\x27" "\x4b\x7e\x85\x17\xd7\x62\x26\x90\xd5\xd5\xc8\xd4\x4d\xc1\xf3\x8b\x47\x4d\x99\x22\xb3\xc2\xc3\x60\x48\xf0\x86\x78\xe7\x4d\xb2\x14" "\x26\x52\x6b\x58\xbb\x5e\xc0\x24\xa1\xe0\xf3\x69\xcd\x2b\x57\x84\xc9\x1f\xcb\x94\x46\x3b\xb5\x19\x4f\xbf\x86\x47\x6c\xc4\x01\x96" "\x7d\xd3\xb9\x29\xcc\x2e\x4c\x40\xe1\x27\xf1\x56\x02\x9a\xee\xcc\xde\xbc\xce\xd3\x61\xbc\x79\xae\xf9\x63\xe2\xe7\xdb\x81\x94\x34" "\xc2\x0e\x80\x02\xf4\x6b\x82\xc5\xf9\xe2\xac\xe1\xcc\x4e\xa6\xc6\xb3\x1f\x51\x9f\x7e\x47\x14\x4d\x42\x89\xd7\x49\x8b\xc3\x9c\x77" "\xe7\x41\xb5\x96\x18\x21\xdb\xcf\x38\x6d\x4d\xce\x87\xb7\x6e\xde\x72\x1f\xad\xcd\x94\xfa\x71\xbf\x25\xe3\xde\x86\x75\xd9\x10\x69" "\x60\x8d\xc7\x29\xbf\xb5\x54\x70\x4f\x44\xfe\x85\xd3\x06\xa1\x62\x05\x91\xb7\x43\x7c\x5e\x18\xe6\xef\x72\x5f\xbd\x62\xcf\x3b\xe3" "\x4a\x5e\x9d\x09\xc9\x64\x71\x2b\x71\xee\x70\xa6\xbd\x03\x7a\xcc\x6f\x38\xcd\x5e\xaa\xb4\xa3\xe6\x34\x4a\x18\x20\x02\xb9\x03\xcd" "\xc8\x50\x7d\x3b\xd1\x80\xbb\x2e\x10\xb7\x26\xd6\xc7\x50\xc1\x38\xf4\xa8\xcc\xfd\xe4\x87\x0a\x5f\x61\xb4\x99\xd9\xe1\x11\x38\x7f" "\x82\xfa\xaa\x17\x00\x39\xfb\xa1\x6c\x19\x65\x8c\x48\x1d\xb3\xd3\x12\xbc\xe8\x13\xc4\x50\xd0\xf5\x85\xfa\xfe\xb4\x75\xeb\x56\x98" "\xe6\x1d\xcf\x3e\x3f\xea\xf6\x1a\xda\xaa\x8c\xe2\x24\x80\xda\xf6\x0c\x2c\x25\x9d\xaa\x33\xaf\xa0\xa6\xf8\x59\x51\xa7\xe5\x0c\xc8" "\x4e\x8f\xd4\x90\x1a\x9f\x60\x49\x40\x88\x8e\x79\x40\x38\xb4\xce\xa0\xf6\x67\x10\xd4\x91\x48\x93\x18\x2b\x5a\x48\x52\x2c\x97\xc9" "\x4f\x10\x62\x34\xd2\x76\xbe\x05\xe9\x6c\x75\x38\x60\x5f\x9e\xa0\x0c\xde\xc2\x5a\x48\xd0\x0b\x4b\xe0\xc0\xaf\x1d\x93\x4d\x7f\x3f" "\x08\x36\xfe\xa2\xf6\x2a\x5e\x1c\x27\x2f\xb0\xef\x89\x13\xb6\xc3\xc0\xe7\x6d\x3f\xd9\x03\x6d\xfa\xa3\xad\x62\x06\x38\xe0\xee\x5f" "\xad\x35\x13\xd4\xdc\x4a\x01\x17\x3e\xd7\x90\x56\xc7\xa1\xfd\x5a\xca\x1c\xa7\x11\x25\xe0\x41\xe6\xb1\x40\x9d\x6c\xb3\x01\xbf\x6e" "\x1b\x11\x2d\xa4\x97\x26\xab\x5c\xea\x4e\x64\x6f\x4e\x8f\xdd\x36\x9a\xa5\xac\xe6\x70\xe8\xeb\xae\x83\x7a\x30\x37\xe6\x0f\x36\xae" "\x7d\xb4\xa7\x6a\x64\x4b\x12\x4c\x7c\x21\x85\xd6\x62\x4e\xb9\x8f\xf3\x62\x5c\xa6\x11\x36\x4a\x57\xe3\x2e\x18\x4f\x19\x9b\x56\xea" "\x66\xe5\xf8\x11\x15\x64\x7e\xdf\xd5\x85\xd3\x10\x39\x9e\x77\x28\x6d\x1b\x42\x84\x93\xb8\x88\x92\x0e\xb3\xdc\xb8\xc9\x9f\x43\x47" "\xd0\xb8\x95\x8a\x3e\xa4\x9d\x51\xc3\xc9\xe3\x60\x14\x54\xc3\x6c\xcc\x10\xb8\xd3\xca\x0a\xe2\x24\x9e\x43\x27\xd4\xa5\x93\x7f\xbe" "\xc8\xa9\x03\x81\xba\xf0\xc0\xba\xc0\xb7\xa7\xee\xdf\x77\xef\xc7\xca\x01\x29\x49\x22\x62\xf5\xd2\x3f\xfc\x92\xc4\x4b\x39\xf8\xb8" .BytesList , "\xc2\x2d\x2a\xe3\x86\x12\xed\x6a\x82\x9d\x83\xd3\x2d\x45\x1f\x94\x87\xd3\xfe\x13\x3c\x36\x1a\x43\x91\x10\x48\x7a\x77\xa4\xbd\x0d" "\xa9\x05\x5d\x0c\xe9\x67\x56\xbf\x7c\x2a\x13\x69\x6a\x80\x51\x14\x2d\x2f\xb3\x86\xcf\x13\xfa\x11\xa2\xec\x84\xe2\xbd\x4b\xa8\x32" "\x86\x68\xf2\xc9\x87\x71\xe1\x17\x50\x1d\x69\x2f\x84\xa6\xb3\x1f\xa3\x77\x99\x84\x9d\xd6\x7c\xf3\xbf\x1e\x96\x4d\x59\x51\xc4\xe2" "\x48\x88\xd2\x7a\x14\x1f\xb2\x70\x6c\x41\x15\x75\x8e\xcf\x99\x93\x66\xb8\x88\x2f\x84\x71\x47\x38\x74\xd4\xa7\x64\x4e\x06\x8b\x9e" "\x63\xef\x9c\xb8\xba\x79\xa7\xaa\x5f\x22\xb5\x84\xdb\xac\x9d\xb8\x38\x59\xcb\x59\x1e\x72\x4f\x10\xbf\xb3\x8d\x74\xf2\x96\x31\x79" "\x4b\x48\x7a\xf5\x75\xae\xdf\xae\x48\xff\xcd\x57\x6e\x8f\x38\xec\x8f\xb2\x87\x90\x0f\x47\x58\xdc\x1b\xa6\xa4\x0e\x13\x54\x31\x97" "\xea\xf7\x5f\x1c\x74\x76\xc0\x0a\x15\xee\xb0\xa4\x8e\x83\x5b\x29\x0e\x40\x79\x71\xab\x02\x18\xea\xfe\xa0\x6d\x3c\x01\x94\x93\x54" "\x79\x2a\x72\x0d\x84\xe9\xed\x27\xbc\x6b\x74\x35\xc0\xf4\xc5\xdd\xa3\x37\x25\x2b\x60\x6f\xc8\xaf\x2d\xa1\x0d\x3e\x07\x74\x49\x12" "\xfc\xf6\xa1\xec\x37\xc9\x84\xd2\xf5\xee\x4b\xac\x6e\x13\xb2\xb8\x3c\x82\xad\x29\xd0\x9f\x96\x89\x4c\xdc\x65\x7d\x81\xdc\xf7\x20" "\x10\x83\x09\xb1\xa1\x8f\x5d\x54\x0a\x04\x45\x6e\x5c\x67\xba\xae\x20\x25\xa6\x1b\x50\x23\x07\x54\xe3\x75\x71\x83\x69\x31\x7a\x77" "\xa7\x68\x11\xc5\x41\x9f\xcb\x80\x07\xe5\x75\x25\x24\x7f\xa6\xac\x8e\xa7\xbe\x8f\x2f\x15\x52\x5b\x88\x9a\xf3\x96\x5a\x66\x5e\x2f" "\x93\x0f\xe2\xe9\xb3\x5a\xb2\x3b\xed\xea\x53\x1c\xcc\xac\xc2\x6c\x60\x8e\xc8\xc3\xa0\xca\x0b\x3e\x6f\xab\x8a\xed\xb5\x21\xe8\xdc" "\x98\x19\x33\xbc\xa7\x70\x6e\x38\xf8\x33\x1d\x7c\x0b\x57\xee\xe5\xc3\x7c\xdc\x6a\xb3\xe7\xf6\xc5\xfc\x32\x99\x80\x14\x76\x86\x79" "\xe5\x33\x29\x12\x55\xb4\x48\x8c\x94\xda\x31\xb3\xf6\xb6\xb5\x48\x44\xa7\x71\x91\xc5\x24\x51\xfd\xef\x9a\x7a\xf2\x6f\x3b\xc3\xe3" "\x6d\x65\x15\xb7\xcc\xc0\x36\xd8\xa8\xce\xe2\x92\xbf\xdb\xe9\xc4\xe3\x03\xd5\xb0\x4b\x8e\x15\x2a\xeb\xa1\x95\x4d\xc0\x8b\x1f\xa5" "\xb4\xec\x79\x3f\x29\x28\x58\x6d\xb2\xb9\x17\x6f\xc0\x36\x1e\x92\x3a\xbe\xea\xbc\x36\xcf\xb4\x7a\x2b\x6f\xbc\xe4\x60\x97\xda\x24" "\x9d\x05\xe9\x0d\x27\x0a\x9c\xc1\xa4\xc2\x14\x36\xfb\x1b\x3b\x17\x4d\x9d\xf1\x10\x1d\x0d\xec\x32\x69\x1b\xe5\x57\x60\x75\x6a\x72" "\xf0\x2b\xf4\x3c\x3a\xc9\xc6\xc6\x68\xf8\xe2\x91\xb3\x6e\xa2\x09\xbc\x50\x1a\x1c\xea\x20\xbf\x33\x68\xd4\x41\x71\x89\x4f\x48\x9c" "\x8e\xa8\x5f\xad\xec\x6d\x7b\x33\xfd\xfe\x33\xeb\x44\x90\x32\x6a\xb6\xc3\x19\x09\x93\x8f\x31\xee\xd3\xef\x53\x34\x16\x3e\xaf\x60" "\xea\xc4\x8e\x1f\x39\x1a\xbd\xce\xa0\x75\x2a\xbc\x1a\xe4\xb1\xb5\xc2\x99\x12\x41\xcc\xc7\x75\xd2\xa1\x91\x16\x99\xc6\x96\x83\x66" "\x88\x37\x84\xf8\x28\x94\x7c\x71\x19\xce\x75\x4d\x80\x80\x8e\xc6\xbf\xbb\x64\xc4\x4b\xc9\xcb\x42\x67\xa0\xa4\xd0\x8d\x88\xff\xc4" "\x57\x11\xcb\xcb\x8c\x92\x3d\xe8\x0b\xac\xe9\x42\x68\x38\xc9\x44\x5f\xd9\x39\x82\x79\x2f\xfd\x05\x95\x19\xfb\xa9\xd2\xde\x82\xeb" "\xdd\xfe\x0b\x56\xba\xc1\xd6\xec\xda\x10\x10\x2e\xc0\x59\xbf\x59\x5f\x97\xc4\x12\x78\x47\x35\x59\xdf\x41\x3a\x47\x91\xb0\x69\x9b" "\x8e\xef\x64\xe0\x36\x77\x03\x87\x60\xea\x45\x0c\xc7\x70\x1d\x41\x9a\x15\x9a\x10\xf8\x8d\xbb\x50\x13\xa2\xd3\xcf\x0f\x6c\x7f\xe5" "\x42\xaa\xc4\x73\xfb\xc8\x28\x86\xac\x29\x34\x7f\x31\xd7\x83\xa5\x90\xe9\x34\x58\xd6\x4a\xd7\x47\x30\xef\x45\x22\x0a\x27\x3a\xfc" "\xb1\xd7\xa9\x22\x58\x58\x40\x8b\x89\x22\xc3\x95\x1f\x41\x3e\xa7\x35\x0c\x57\xf9\xc3\xec\xfe\x58\x63\x7d\x48\xee\x76\xb4\xf8\x5a" "\x9a\x0e\x7d\xfd\x1c\x42\xea\xb9\xb7\x4d\x7c\xa1\x7d\xbb\x6f\x0c\x50\x70\x8b\xac\x40\x66\x52\xa4\x37\x4e\xb6\xf3\x93\xb9\x0d\xd0" "\x12\xe1\x2d\xdb\x5c\x33\x55\xeb\x05\x1d\x7f\xf9\x22\x79\xb7\x20\x8c\xf1\xc9\x83\x07\xec\xa7\x22\x55\x74\x54\xcc\x9d\xe2\x41\xc1" "\x90\x27\x8f\x29\x94\xb2\x2b\x05\xff\xba\x6a\xed\xe3\xf5\xaa\xab\x3b\x3d\x73\x1b\xbc\xbc\xcd\xc3\xe0\x83\x0d\xaa\xcb\xe4\x70\xd9" "\x2e\x47\x67\x8a\x65\xbd\x4c\xe2\x7f\x08\x35\xae\xb9\xa9\x70\x95\x24\xcc\x6c\xcc\x58\xc5\x9b\xfa\x41\xcc\xaa\x3f\x3d\x91\x17\xe7" "\x22\x45\xbb\x8a\x22\x51\x59\x2e\x87\x96\xee\x58\x18\x98\x60\xf4\x68\xe2\x44\x9d\x19\x9f\xb5\x7f\x93\x0b\x69\xbd\xb6\xfd\x3d\x1f" "\xbd\x5c\x11\x4e\x1b\x5f\xcf\xaf\x2d\x6f\x14\x0a\x5b\x46\xa0\x4b\xaf\xec\xf5\x78\x66\x10\xd1\x05\xb4\xa0\x4b\xa0\xba\x98\xb8\x9a" "\x8c\xd4\x90\xeb\xc3\x86\x5f\xee\x4e\x52\x40\x10\xe3\x31\x6c\xc6\x22\xd3\xd6\x9f\x63\x5d\x30\xbb\xdf\x08\x2b\x7d\xc9\x46\x6d\x4a" "\x82\xff\xba\xaf\xa1\xdc\x75\x4c\x85\x3d\x1d\x1e\x1e\xf1\x73\xf2\x26\x65\x4d\x6c\xa5\x50\xfd\x69\xf9\x7f\xee\x06\xd9\x2b\xc8\x6a" "\xa8\xf0\x36\xc9\x9b\xdd\x40\x51\x12\x73\x2b\xc7\xc8\xc3\x14\x7e\xb4\xff\x82\xa3\x62\xfc\xf4\x70\x3f\x0f\xd6\x20\xe5\x47\xfa\xab" "\xdf\x80\x68\x88\x38\x23\x45\xed\x7f\xd4\x9d\x39\x68\x52\x7e\x5f\x1e\x75\xd4\xb9\x91\x69\x76\x16\x1a\x45\x4d\xc2\xf5\xac\xc9\x8d" "\xbf\x5d\xa2\xfe\x91\x95\xa2\x83\xf3\x51\x22\x45\x3f\x8f\xa2\x67\x59\x86\x75\x5d\x24\xc5\x56\x53\x86\xf1\x71\xbb\xc5\x0b\x25\x35" "\x2f\x3b\x35\xf9\x19\x7e\x01\x27\xf6\x60\x39\xd0\x69\x4b\x8a\x94\xb9\xdb\xe6\x88\xc0\x56\x02\x24\x03\x38\x4e\x6f\xb2\x05\xc7\xb7" "\x71\xe7\x80\xff\x34\x13\xce\x2f\x3b\xca\xdd\x5e\xb0\xb3\xbc\x43\x67\x59\x56\xac\x80\x64\x52\x42\xc9\xb3\xa5\x88\xc7\x6b\xc5\x53" "\x31\x24\x1b\x5f\x96\x4a\xa6\xa1\x08\xb2\x29\x53\xb2\xa5\x7b\x43\x2d\xe9\xfa\x5b\x24\x29\x4a\x50\xd6\x55\x09\x30\x71\x45\xd4\x65" "\xfa\x0f\xff\x07\x8f\xdb\xd9\x3a\xb8\x88\xf8\xd8\xb7\x63\x7b\x3a\x2f\xb0\x25\x46\x53\x8d\xbc\xb4\xbd\xd5\x55\xf0\xc6\x9e\xf3\x52" "\x19\x87\x6e\x6e\x74\x19\x7c\xdb\x30\x2c\x89\xe9\x13\x6e\x6d\xe8\xb5\x75\x76\x41\xd4\x7e\xf4\x22\xaa\xd8\x7f\x07\x12\xb9\x70\xc6" "\x0f\x70\x21\x13\x01\x30\x31\x0f\xa5\x79\xf0\xf4\x9e\x29\x2b\xae\xf2\x88\x04\x94\xe3\x3e\x86\xfd\xe4\x64\x2e\xbe\x6b\xf4\x94\xb3" "\xf3\x9f\x8e\x8e\xa4\x47\x61\xa8\xe1\x99\x75\x8d\xeb\x5d\xa4\xbc\x22\xe5\x7f\xda\x0c\xaa\x9f\x88\xc4\xb2\xd1\x69\x8f\x67\x0d\xff" "\x6d\xd4\xfa\x50\x65\xd7\x60\x90\x88\x57\xf8\x49\x31\x01\x01\xb1\x7a\x46\xec\x39\xda\x0d\x6b\xa1\x56\xb1\x90\xd0\x71\x5d\x63\x80" "\x46\x8f\xfc\x9f\x67\x56\xd8\xfa\x6d\x59\xb0\xfd\x4e\x0f\xa3\x73\x0b\xe8\x8a\x27\x37\x83\x33\x0d\xc5\x70\xf3\x75\x85\xa1\xf5\xef" "\xea\x67\xa3\xc8\x33\x52\xe3\x8a\x72\xda\xad\xd3\x12\x8a\xe9\xf3\x9a\x7e\x5e\xcd\x0b\x3e\xa0\x4c\x5b\x4d\x88\xcf\xd7\x38\x2d\x31" "\xdc\x65\x74\xae\xd7\x3c\x44\x54\x1b\x73\x3a\x4b\xb8\x3c\x9a\x04\x6d\xc0\x86\x6f\x15\xf3\xa5\xda\xf1\x3b\xee\x8c\x4a\x77\xc4\x01" "\x22\xa2\x3c\x7e\x3d\x65\xd2\x91\x5a\x94\xec\xe5\x43\xda\xf3\x7c\xeb\xcb\xfe\xfb\x0e\x51\x7c\xbd\xc9\x10\x41\x85\x7d\xe2\x41\x19" "\x54\xcd\x4f\x69\x4c\xb2\x25\x7e\xa8\xdf\x9e\xe7\x4f\xba\x57\x5d\x29\x64\xf3\x14\x90\x05\x04\xd1\xec\xe9\x94\xa0\x17\xb4\xd2\x73" "\x27\xeb\xf9\x54\xe5\x1c\x1f\x2c\x50\xfc\x3b\xcb\xd3\x19\x7c\x06\xc8\x46\xcf\x98\xa2\xe4\xe7\xc3\x09\x2e\x25\x7c\xf6\xc0\x99\x19" "\xdc\xb5\xd1\xf3\x7f\xbe\xa4\xe9\xfa\xdd\x1a\xba\x14\x93\x06\xc7\x84\xc0\xfc\xa3\xf5\x20\xa2\x67\x71\xde\x27\xa7\xaf\x9e\xab\x7d" "\xac\x56\x2c\xee\xaa\xa8\x0d\x5d\xfe\xe7\x99\x92\x36\x79\x7d\x77\xe5\xef\xee\x75\xe2\x75\xac\x10\x1d\xb9\xca\xd4\xba\xa6\x43\x96" "\x0d\x02\x6c\x3f\xf2\xd6\x3e\xa7\x34\x8e\x7e\xdb\x2c\xe8\x44\x5a\xf7\x92\xd9\xb0\xbf\x41\x3c\x86\x7b\x91\x72\x15\x05\xfc\x23\x34" "\xa9\x6e\x45\x67\xdc\x4b\xf9\x10\xbb\xe8\xc2\x1e\xcb\x51\x5a\xa1\xcd\x34\x3d\x3f\x25\xc7\x4d\x24\x59\xfc\xb7\x2d\xbc\x3a\x92\xf6" "\x56\xce\xbe\x3e\x72\x46\x79\xa5\x8c\x0c\x0b\xb6\xef\xf3\x51\x6d\x70\x8a\xa2\xdd\x1c\x3a\xe2\x03\xac\xdc\x59\x44\x5a\xda\xd9\xf5" "\xfc\x4f\xa1\x5f\x78\x07\x24\x00\xe9\x7b\xa7\xc9\x1e\xaa\xc9\x68\xca\xf7\xe0\x60\xce\x3c\x57\xaf\xca\x63\x88\x1a\x09\x37\x5a\x08" "\x4d\xcf\x95\x04\x05\x46\x60\xc6\x82\x42\xa3\x54\xdd\xcb\x6d\x5c\x12\xf5\xfa\x61\x28\x4d\x10\xfd\xb7\xb9\x16\x91\xbb\x06\x38\x82" "\x50\xe4\x9f\x7c\xd3\x85\x65\x6c\xad\x6c\x69\x22\xd5\xaf\x2c\x43\xf2\xa6\x99\x8f\x8f\x5a\x04\xb5\x1b\x3c\x65\xff\x21\x79\xcd\xfd" "\x5e\x81\xe4\x00\x5a\xcd\xfd\x45\xab\x14\x03\x55\x23\xb7\x27\x48\xd6\xf8\x76\x98\x57\x07\xfc\x15\xae\x9d\x2d\x42\x6d\x22\x90\x15" "\x18\x31\x88\x78\x7f\xd4\xf6\x6d\x17\x33\x6f\xe7\xd5\x29\x1c\x0e\xf0\xcf\x36\xc6\x7e\x3e\x72\xab\x64\x7d\x77\xd4\xb1\x90\xde\xc7" "\xa4\xc9\x36\x7b\x05\x01\xe7\x17\x9d\x9c\x0a\xdd\xc0\x95\xb8\xea\x82\xe4\x2f\x8d\xb4\x3f\x7d\xf2\x2a\x09\x52\x54\x70\xf3\x68\xaf" "\xaf\x33\x6f\xd2\x61\x78\x41\x2c\x51\xb1\x5e\x7d\x65\x6c\x05\x81\xa5\x34\x46\x62\x79\xb6\xe1\xbc\xdb\xde\x75\x35\x09\xa3\xa8\x4a" "\x1d\x39\x47\xfe\x88\xc4\xf8\x02\x58\xc2\x65\xcd\x9b\xbb\x51\x91\xb7\xdd\xc0\x7b\x97\x3f\xfe\xdf\x4c\x86\x39\x91\x78\xbc\x43\x23" .BytesList ) hash tree root( )
  </k>
  <state>
    <genesis-time>
      0
    </genesis-time>
    <slot>
      0
    </slot>
    <fork>
      .Fork
    </fork>
    <latest-block-header>
      .BlockHeader
    </latest-block-header>
    <block-roots>
      .Map
    </block-roots>
    <state-roots>
      .Map
    </state-roots>
    <historical-roots>
      .BytesList
    </historical-roots>
    <eth1-data>
      .Eth1Data
    </eth1-data>
    <eth1-data-votes>
      .Eth1DataList
    </eth1-data-votes>
    <eth1-deposit-index>
      0
    </eth1-deposit-index>
    <validators>
      .Map
    </validators>
    <balances>
      .Map
    </balances>
    <randao-mixes>
      .BytesList
    </randao-mixes>
    <slashings>
      .Map
    </slashings>
    <previous-epoch-attestations>
      .PendingAttestationList
    </previous-epoch-attestations>
    <current-epoch-attestations>
      .PendingAttestationList
    </current-epoch-attestations>
    <justification-bits>
      .BitList
    </justification-bits>
    <previous-justified-checkpoint>
      .Checkpoint
    </previous-justified-checkpoint>
    <current-justified-checkpoint>
      .Checkpoint
    </current-justified-checkpoint>
    <finalized-checkpoint>
      .Checkpoint
    </finalized-checkpoint>
  </state>
  <zerohashes-cache>
    .Map
  </zerohashes-cache>
</beacon-chain>

Running: deps/k/k-distribution/target/release/k/bin/krun --directory .build/defn/llvm /tmp/tmprsrhb6tn --term --parser cat
==========================================================================================================================
/zerohashes-cache>
</beacon-chain>

roots.yaml file: tests/eth2.0-spec-tests/tests/minimal/phase0/ssz_static/HistoricalBatch/ssz_one/case_0/roots.yaml


Running: deps/k/k-distribution/target/release/k/bin/krun --directory .build/defn/llvm /tmp/tmpmwsd4fpg --term --parser cat
==========================================================================================================================
<beacon-chain>
  <k>
    "LK\f\xef\x8c2\xf1\x0eEM\xe6rV\xcf4\x1f\xa3J^9\xd0\xb3%\xb2\xeb\xd8\x0fS\xa6\x967,"
  </k>
  <state>
    <genesis-time>
      0
    </genesis-time>
    <slot>
      0
    </slot>
    <fork>
      .Fork
    </fork>
    <latest-block-header>
      .BlockHeader
    </latest-block-header>
    <block-roots>
      .Map
    </block-roots>
    <state-roots>
      .Map
    </state-roots>
    <historical-roots>
      .BytesList
    </historical-roots>
    <eth1-data>
      .Eth1Data
    </eth1-data>
    <eth1-data-votes>
      .Eth1DataList
    </eth1-data-votes>
    <eth1-deposit-index>
      0
    </eth1-deposit-index>
    <validators>
      .Map
    </validators>
    <balances>
      .Map
    </balances>
    <randao-mixes>
      .BytesList
    </randao-mixes>
    <slashings>
      .Map
    </slashings>
    <previous-epoch-attestations>
      .PendingAttestationList
    </previous-epoch-attestations>
    <current-epoch-attestations>
      .PendingAttestationList
    </current-epoch-attestations>
    <justification-bits>
      .BitList
    </justification-bits>
    <previous-justified-checkpoint>
      .Checkpoint
    </previous-justified-checkpoint>
    <current-justified-checkpoint>
      .Checkpoint
    </current-justified-checkpoint>
    <finalized-checkpoint>
      .Checkpoint
    </finalized-checkpoint>
  </state>
  <zerohashes-cache>
    0 |-> "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
    1 |-> "\xf5\xa5\xfdB\xd1j 0'\x98\xefn\xd3\t\x97\x9bC\x00=# \xd9\xf0\xe8\xea\x981\xa9'Y\xfbK"
    2 |-> "\xdbV\x11N\x00\xfd\xd4\xc1\xf8\\\x89+\xf3Z\xc9\xa8\x92\x89\xaa\xec\xb1\xeb\xd0\xa9l\xde`jt\x8b]q"
    3 |-> "\xc7\x80\t\xfd\xf0\x7f\xc5j\x11\xf1\"7\x06X\xa3S\xaa\xa5B\xedc\xe4LK\xc1_\xf4\xcd\x10Z\xb3<"
    4 |-> "Sm\x98\x83\x7f-\xd1e\xa5]^\xea\xe9\x14\x85\x95Dr\xd5o$m\xf2V\xbf<\xae\x195*\x12<"
    5 |-> "\x9e\xfd\xe0R\xaa\x15B\x9f\xae\x05\xba\xd4\xd0\xb1\xd7\xc6M\xa6M\x03\xd7\xa1\x85JX\x8c,\xb8C\f\r0"
    6 |-> "\xd8\x8d\xdf\xee\xd4\x00\xa8uU\x96\xb2\x19B\xc1I~\x11L0.a\x18)\x0f\x91\xe6w)v\x04\x1f\xa1"
    7 |-> "\x87\xeb\r\xdb\xa5~5\xf6\xd2\x86g8\x02\xa4\xafYu\xe2%\x06\xc7\xcfLd\xbbk\xe5\xee\x11R\x7f,"
    8 |-> "&\x84dv\xfd_\xc5J]C8Qg\xc9QD\xf2d?S<\xc8[\xb9\xd1kx/\x8d}\xb1\x93"
    9 |-> "Pm\x86X-%$\x05\xb8@\x01\x87\x92\xca\xd2\xbf\x12Y\xf1\xefZ\xa5\xf8\x87\xe1<\xb2\xf0\tOQ\xe1"
    10 |-> "\xff\xff\n\xd7\xe6Yw/\x954\xc1\x95\xc8\x15\xef\xc4\x01N\xf1\xe1\xda\xedD\x04\xc0c\x85\xd1\x11\x92\xe9+"
    11 |-> "l\xf0A'\xdb\x05D\x1c\xd83\x10zR\xbe\x85(h\x89\x0eC\x17\xe6\xa0*\xb4v\x83\xaau\x96B "
    12 |-> "\xb7\xd0_\x87_\x14\x00'\xefQ\x18\xa2${\xbb\x84\xce\x8f/\x0f\x11#b0\x85\xda\xf7\x96\f2\x9f_"
    13 |-> "\xdfj\xf5\xf5\xbb\xdbk\xe9\xef\x8a\xa6\x18\xe4\xbf\x80s\x96\x08g\x17\x1e)go\x8b(M\xeaj\x08\xa8^"
    14 |-> "\xb5\x8d\x90\x0f^\x18.<P\xeft\x96\x9e\xa1lw&\xc5Iu|\xc25#\xc3iX}\xa7)7\x84"
    15 |-> "\xd4\x9au\x02\xff\xcf\xb04\x0b\x1dx\x85h\x85\x00\xca0\x81a\xa7\xf9kb\xdf\x9d\x08;q\xfc\xc8\xf2\xbb"
    16 |-> "\x8f\xe6\xb1h\x92V\xc0\xd3\x85\xf4/[\xbe '\xa2,\x19\x96\xe1\x10\xba\x97\xc1q\xd3\xe5\x94\x8d\xe9+\xeb"
    17 |-> "\x8d\rc\xc3\x9e\xba\xde\x85\t\xe0\xae<\x9c8v\xfb_\xa1\x12\xbe\x18\xf9\x05\xec\xac\xfe\xcb\x92\x05v\x03\xab"
    18 |-> "\x95\xee\xc8\xb2\xe5A\xca\xd4\xe9\x1d\xe3\x83\x85\xf2\xe0Fa\x9fTIl#\x82\xcbl\xac\xd5\xb9\x8c&\xf5\xa4"
    19 |-> "\xf8\x93\xe9\x08\x91wu\xb6+\xff#)M\xbb\xe3\xa1\xcd\x8el\xc1\xc3[H\x01\x88{djo\x81\xf1\x7f"
    20 |-> "\xcd\xdb\xa7\xb5\x92\xe3\x133\x93\xc1a\x94\xfa\xc7C\x1a\xbf/T\x85\xedq\x1d\xb2\x82\x18<\x81\x9e\x08\xeb\xaa"
    21 |-> "\x8a\x8d\x7f\xe3\xaf\x8c\xaa\x08Zv9\xa82\x00\x14W\xdf\xb9\x12\x8a\x80a\x14*\xd03V)\xff#\xff\x9c"
    22 |-> "\xfe\xb3\xc37\xd7\xa5\x1ao\xbf\x00\xb9\xe3LR\xe1\xc9\x19\\\x96\x9b\xd4\xe7\xa0\xbf\xd5\x1d\\[\xed\x9c\x11g"
    23 |-> "\xe7\x1f\n\xa8<\xc3.\xdf\xbe\xfa\x9fM>\x01t\xca\x85\x18.\xec\x9f:\t\xf6\xa6\xc0\xdfcw\xa5\x10\xd7"
    24 |-> "1 o\xa8\nP\xbbj\xbe)\x08PX\xf1b\x12!*`\xee\xc8\xf0I\xfe\xcb\x92\xd8\xc8\xe0\xa8K\xc0"
    25 |-> "!5+\xfe\xcb\xed\xdd\xe9\x93\x83\x9faL=\xac\n>\xe3uC\xf9\xb4\x12\xb1a\x99\xdc\x15\x8e#\xb5D"
    26 |-> "a\x9e1'$\xbbm|1S\xed\x9d\xe7\x91\xd7d\xa3f\xb3\x89\xaf\x13\xc5\x8b\xf8\xa8\xd9\x04\x81\xa4ge"
    27 |-> "|\xdd)\x86&\x82Pb\x8d\f\x10\xe3\x85\xc5\x8ca\x91\xe6\xfb\xe0Q\x91\xbc\xc0O\x13?,\xear\xc1\xc4"
    28 |-> "\x84\x890\xbd{\xa8\xca\xc5Fa\x07!\x13\xfb'\x88i\xe0{\xb8X\x7f\x919)37M\x01{\xcb\xe1"
    29 |-> "\x88i\xff,\"\xb2\x8c\xc1\x05\x10\xd9\x852\x92\x803(\xbeO\xb0\xe8\x04\x95\xe8\xbb\x8d'\x1f[\x88\x966"
    30 |-> "\xb5\xfe(\xe7\x9f\x1b\x85\x0f\x86X$l\xe9\xb6\xa1\xe7\xb4\x9f\xc0m\xb7\x14>\x8f\xe0\xb4\xf2\xb0\xc5R:\\"
    31 |-> "\x98^\x92\x9fp\xaf(\xd0\xbd\xd1\xa9\n\x80\x8f\x97\x7fY||w\x8cH\x9e\x98\xd3\xbd\x89\x10\xd3\x1a\xc0\xf7"
    32 |-> "\xc6\xf6~\x02\xe6\xe4\xe1\xbd\xef\xb9\x94\xc6\t\x89S\xf3F6\xba+l\xa2\nG!\xd2\xb2j\x88g\"\xff"
    33 |-> "\x1c\x9a~_\xf1\xcfH\xb4\xad\x15\x82\xd3\xf4\xe4\xa1\x00O; \xd8\xc5\xa2\xb7\x13\x87\xa4%J\xd93\xeb\xc5"
    34 |-> "/\x07Z\xe2)dkoj\xed\x19\xa5\xe3r\xcf)P\x81@\x1e\xb8\x93\xffY\x9b?\x9a\xcc\f\r>}"
    35 |-> "2\x89!\xde\xb5\x96\x12\x07h\x01\xe8\xcdaY!\x07\xb5\xc6|y\xb8FY\\\xc62\f9[F6,"
    36 |-> "\xbf\xb9\t\xfd\xb26\xad$\x11\xb4\xe4\x888\x10\xa0t\xb8@FF\x89\x98l?\x8a\x80\x91\x82~\x17\xc3'"
    37 |-> "U\xd8\xfb6\x87\xba;\xa4\x9f4,w\xf5\xa1\xf8\x9b\xec\x83\xd8\x11Dn\x1aFq9!=d\x0bjt"
    38 |-> "\xf7!\rO\x8e~\x109y\x0e{\xf4\xef\xa2\x07UZ\x10\xa6\xdb\x1d\xd4\xb9]\xa3\x13\xaa\xa8\x8b\x88\xfev"
    39 |-> "\xad!\xb5\x16\xcb\xc6E\xff\xe3J\xb5\xde\x1c\x8a\xef\x8c\xd4\xe7\xf8\xd2\xb5\x1e\x8e\x14V\xad\xc7V<\xda o"
    40 |-> "k\xfe\x8d+\xccB7\xb7JPG\x05\x8e\xf4U3\x9e\xcds`\xcbc\xbf\xbb\x8e\xe5D\x8ed0\xba\x04"
    41 |-> "\xa7\xf2<\xe9\x18\x17@\xdc\"\f\x81G\x82eO\xeej\xce\xb9\xf1\xec\x92\"\xc4\xe2F}\n\xb1h\x087"
    42 |-> "\xae\xf9Gl\x89Y\n,\x8c\xc9\xb3\xb7OIg\xc7W\xc4\x9d\x98f\xa4K\xac\xf2\x1f\xa2\xedg]\xdf\xa2"
    43 |-> "\x9aB\xbc\xad\x82\xf6\xa9\xe4\x12\x84\xd8\x08\xea\xd3\x19\xf2\x9f;\x08 \x9dh\x0f\x0e,\xe7\x15\x10\xd0q\xe2\x05"
    44 |-> "\xd1\xa6m5Jg\xb9\xcf\x17\x95q\xd8\xe5\xf9w\x92qn\x8d\xd4\xecD\x19h9\xa3\xf7\xc6\xb7O\x8b\xac"
    45 |-> "\xfa\xfa0%\xf2\xf8\x95\t\xc2\xc7\x1ct\xfb\xa0\xcd\x92\x85\x8e\xf4\x9b\x07\x80\xfbTytl\x8a\x9b\xfc\xb3F"
    46 |-> "34\xa7\xc1\xe7\xf6pZ\xa6\x01\x1aj\x94\x96E\x01m\xb4\xac\xde\f\xa9\xab\xd6m\xc7\x9d\x82fB0V"
    47 |-> "\x07\x96\xfdufO\xae\xf7D\xeeNR\xd7'\x1e+\xbbv\x9f\x91\xedo\x9bt\xd8\xb6\x94\xf5f\x06\x85,"
    48 |-> "{\xa3\xaeJA\x7f\xe8T[\x14+\xc8\x9fJ\xdc\xd7\xae\x13\x94\x1c\xba\xb7u\x0b\x83\xe9\xf0\xa6m\x16\xbed"
    49 |-> "x\x8f\xaf\xccJ\xa5 9\x9a\xdb\xae\xd1\x95\xf8\xb1,N\xb3\x1e\xc1\x01h\xe5\n\xab\xc6Y\xa6\xae\xa5\x16\xdc"
    50 |-> "\xe83\xd7\xa6q`\xe6\x8b\xf4\xc9\x04JS\x07}\xf2rz\xd0\f\xf3oII\xc7\xb6\x81\xa9\x12\x14\f\xbb"
    51 |-> "0\x9e\xab\xf0\x95\xdcg\x14\xf9\xf4\xd8d\xbb\xa5\xaf\xfa\xe0\xb3Z\xe2\xf5\xe3V[\xcc:G\xb2\x12vw\x01"
    52 |-> "\"j\x8e\xbe\xfa(\x86e\xa6D\xa5\x02s3^\xfb\xb6\x10Q\x0f$\x1b[r\f\x8a6\x8dY\xa6\x9a]"
    53 |-> "A\xab\xfd\x99T%\x82v%\x93\x811\xaf\fO3\xfe\x0b\xd4h\x8c\",!\xfa\x9d\xa8\xe8\x9c\xaa\x03\xf8"
    54 |-> "D,d.\xf5\x0f\xa1\xa6g\xa6\xe6\xd1\x05\xc7|\\\xc3\xfe\xc8\xd7\xaa%p\xcf\x1a0w\xb5\x03\xc3\x80i"
    55 |-> "\xa0\xa0\x8d\xfc\x9bB\xd9l-\xe1\x9bm\x12{\x8a\xe16\xdd\xcf>Z\xd0\xdc\xe4\"\xc4ZV\xf6\x1fjt"
    56 |-> "}4\x83\x82\xaf\tm\xbe\x0b\xf0\x86\xc7\xbb9\xb2\xa2\xc0\xbc6\xb6!\xab\fs\x8e\x98\x85\xd71\xd8\x17@"
    57 |-> ":\xb14u\x1d\x19\x12i\x02l\x86\x99N\xaa\x8bC\xa8;J\xd1\xf6\xd0\xe7s\x81\xc4\xe2\x97J\xfb\xc8\xf6"
    58 |-> "\x9atRa\x1d\xb2\xd2>\xae&\xf9\xbd\xbb\x88\x95\x8e\xf4Ld\xd0\xfe\x98{\xe9\xf7&\xad\xf98\xf5\x0fl"
    59 |-> "r\\\x7f\x81`7\xbf\xe4R\xcd\x1e{\xa3Z\xc4~\xdc\xb4\x9a\x9a+'\xae\xcap\xdc\xe4\x83\xcb}\xed\x1f"
    60 |-> ",\xea\x1a\xf5\x1f\xb2\x8bb\x88|9\x99\x8a\xc9\xfe\xf4\xdf\xde\xda\x1f\x07\xe0q\xbaU\x8a\x17:\xfd\x06\xcb\xc3"
    61 |-> "\xff\x1dY\xf9\x8blU\x1d\x95\x08\x93W\x05}\\\x8b\xe2d\x02'\x9e\x9d\xf0\xb1\xdf\x1a\x10\xb7+\xf3\x92\x7f"
    62 |-> "/\x8a\x18\x1f|\x99\xdd!Zu)\xbf\xe2\x96\xa9`:\x14Fsq\x86\xd2\x1a\xeb\x8b\xc7\xaeY\xe1\xfd!"
    63 |-> "\xec\xc5\x02\xc9\xb1\x14_9P\xcb}>8BDo\x81\xa4\xf0\xdf\x1d\xf57\xce\xe19\xefd\xea\x98K\xd9"
  </zerohashes-cache>
</beacon-chain>

roots.yaml file: tests/eth2.0-spec-tests/tests/minimal/phase0/ssz_static/HistoricalBatch/ssz_random_chaos/case_0/roots.yaml

{"format":"KAST","version":1,"term":{"node":"KApply","label":"<generatedTop>","variable":false,"arity":2,"args":[{"node":"KApply","label":"<beacon-chain>","variable":false,"arity":3,"args":[{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KSequence","arity":1,"items":[{"node":"KApply","label":"noop","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"<state>","variable":false,"arity":20,"args":[{"node":"KApply","label":"<genesis-time>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<slot>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<fork>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Fork_TYPES_Fork","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<latest-block-header>","variable":false,"arity":1,"args":[{"node":"KApply","label":".BlockHeader_TYPES_BlockHeader","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<block-roots>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<state-roots>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<historical-roots>","variable":false,"arity":1,"args":[{"node":"KApply","label":".List{\"___TYPES_BytesList_Bytes_BytesList\"}_BytesList","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<eth1-data>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Eth1Data_TYPES_Eth1Data","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<eth1-data-votes>","variable":false,"arity":1,"args":[{"node":"KApply","label":".List{\"___TYPES_Eth1DataList_Eth1Data_Eth1DataList\"}_Eth1DataList","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<eth1-deposit-index>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<validators>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<balances>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<randao-mixes>","variable":false,"arity":1,"args":[{"node":"KApply","label":".List{\"___TYPES_BytesList_Bytes_BytesList\"}_BytesList","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<slashings>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<previous-epoch-attestations>","variable":false,"arity":1,"args":[{"node":"KApply","label":".List{\"___TYPES_PendingAttestationList_PendingAttestation_PendingAttestationList\"}_PendingAttestationList","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<current-epoch-attestations>","variable":false,"arity":1,"args":[{"node":"KApply","label":".List{\"___TYPES_PendingAttestationList_PendingAttestation_PendingAttestationList\"}_PendingAttestationList","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<justification-bits>","variable":false,"arity":1,"args":[{"node":"KApply","label":".List{\"___TYPES_BitList_Bit_BitList\"}_BitList","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<previous-justified-checkpoint>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Checkpoint_TYPES_Checkpoint","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<current-justified-checkpoint>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Checkpoint_TYPES_Checkpoint","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<finalized-checkpoint>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Checkpoint_TYPES_Checkpoint","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"<zerohashes-cache>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"<generatedCounter>","variabl
Running: deps/k/k-distribution/target/release/k/bin/krun --directory .build/defn/llvm /tmp/tmpxfrk004f --term --parser cat
==========================================================================================================================
e":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]}]}}
value.yaml file: tests/eth2.0-spec-tests/tests/minimal/phase0/ssz_static/HistoricalBatch/ssz_lengthy/case_0/value.yaml


kast content
============
<beacon-chain>
  <k>
        init
    ~> wrap #HistoricalBatch( "\xab\x91\x2c\xe0\xfa\x88\x5f\x66\x4d\x7a\x4b\xcc\xdb\x70\xbd\x4e\x0b\x5d\xfc\x38\x1e\x03\x11\x5a\xe4\xb4\xdb\x18\xd5\x2a\x2a\xe9" "\xc8\x3e\xca\x25\x94\xfc\x78\x20\x23\x8b\x36\x24\xe9\x81\xb9\xdf\x53\x7a\xdb\xf5\xc0\x6b\x1c\x59\x59\x00\x44\x3c\x90\xdf\xec\x42" "\x81\x27\x15\x7f\xc3\xbb\xd8\xb8\x81\x89\x26\xd9\x41\xb4\x2c\xe1\xd3\x89\xbd\xa1\xda\xcf\xcd\xec\x20\x26\x1f\x98\x2e\xda\x3c\x83" "\x0f\xd7\xbb\xb4\x7c\x10\xae\x6a\xc2\x77\x81\x25\x72\x7e\x2a\xee\x63\xa8\x82\xd4\x04\xf6\x6f\xc9\x87\xb3\x08\x3f\xf5\x61\x98\x7b" "\x71\x5d\x91\x42\x9d\x65\x36\xbd\x4f\x42\x46\x38\x24\x78\x23\x61\x4d\xe8\xd0\xc3\xe7\x26\xe5\xef\xe4\xb5\x9b\x95\x51\x99\xb5\xc7" "\x8e\x5a\xf7\x00\xbe\x69\xc7\xcb\xc6\x65\x30\x95\x71\x53\xf4\xb7\xa4\x9b\xe0\x36\xa0\xad\xcf\xb3\x6f\x42\x0f\xf2\x35\xa4\x4f\x43" "\x7e\x30\xf7\x8f\x33\x8e\xbd\x5f\xd1\x43\x2d\xf0\x3e\xb3\x05\x9a\x8b\x92\xcd\x73\x54\xa6\xfa\x09\x72\xae\x01\x1d\x83\xd3\x3c\x87" "\x66\x60\xe2\xbe\x76\x4a\x34\x9a\xbc\x9f\x82\x9f\x5e\x78\xef\x17\x08\xa5\x4e\x84\x95\xcc\x7b\xf3\x76\x3e\x4c\xe9\x86\x67\x0b\x30" "\xca\x1d\x6d\x8d\x36\x97\x35\x43\x4a\xcd\x0a\xcf\xca\x86\xfc\x9f\x15\xc8\xb0\x86\x6a\x0a\x37\x02\x60\xdc\x23\x33\xb1\x26\x81\x78" "\x1e\x27\xac\xc5\xb3\xd5\x77\x52\x5c\xf5\x74\x8f\xbf\xeb\x1d\x02\x96\x09\x92\x44\xe0\x1c\xd8\xc2\x2c\x8b\x43\x48\xe5\x71\x8e\x3e" "\xca\xe6\xaa\x84\xab\x04\x5a\x1b\xa0\x66\xfc\x89\x22\xf3\xcd\xd7\x2f\xeb\x5f\x13\xa3\xd2\xe5\xa5\x17\x79\xd3\xe2\x69\x10\x34\x6f" "\x5f\xdc\xfd\x9f\x71\x5d\x07\xc2\xaf\x5f\xab\xe7\xd2\x8b\xf8\xd6\x91\x9d\x5f\x3d\x30\x5b\x39\xb2\x83\x78\x4f\x53\xf1\x8e\xfc\x19" "\x94\x97\xc3\x53\x4e\xf8\x13\x9e\x4d\x32\xc4\x3a\x6b\x6f\xf8\x1b\x5c\x64\xf3\x0a\x39\x01\xa6\xdb\x0f\x28\x13\xb5\x55\x16\xd4\xbd" "\xcf\xdf\x23\xa8\x46\x3b\x71\x59\x1a\x4f\x12\x52\xd7\xb2\x34\x62\x92\x10\x4d\x6f\x7c\xe1\x5a\xc1\xc5\x69\x50\x97\xbf\xaa\x78\x48" "\x7a\xd0\x4e\x02\xd7\x50\xb5\x07\x52\xe7\x8e\xe3\x0a\x47\x3a\x1d\x59\xae\x6f\x91\xc7\x7e\xd6\x06\x3b\x85\x73\x3a\x24\x8d\x38\xee" "\x0e\xfc\x66\xa8\x58\x1c\x28\x6f\xb8\xd4\x2e\x13\x91\x22\xc2\x2f\x86\xc0\xca\xcf\x12\x40\x27\xb7\xd4\xdd\xe0\xfa\x5b\x36\x45\xe0" "\x71\x57\x7a\x7a\xb5\x20\x7a\xc8\x61\xed\x19\x3a\xd1\x9c\x98\x4e\x05\x52\x86\x7e\xda\x70\x96\xb6\x85\x41\x9d\x43\xaf\x27\xa3\x75" "\x5c\x3d\x17\x1f\x41\x96\x4c\xd3\x2e\x2d\x4e\x67\xd0\x24\xc4\xf2\x62\x34\xf3\xb0\x43\x21\x33\x00\x3a\xb2\x2f\xa2\x5b\xdf\xec\xa6" "\x69\x63\x31\xf1\x64\x13\x6b\xa9\x7b\x4f\x15\x85\x9f\x10\x5e\x38\x9b\x76\xfb\x9e\x12\x78\x69\x99\x0e\x18\xbf\x31\x70\x75\x80\xf1" "\xd6\x60\x39\x44\x9b\xf7\x79\x78\x84\x04\x0f\x71\x0d\x29\x2c\xb8\xc1\x68\x51\x8d\x3d\x64\x5f\x22\x0c\x89\x17\x68\x4c\x52\xa6\x67" "\xbf\xa1\x11\x69\xb5\x5d\x96\x6c\xc6\xc1\x33\xea\x57\x0c\xe0\x4f\x36\x83\xec\x37\x05\x3a\xdc\x00\xd0\x7e\x0b\x54\x03\x96\xf3\xce" "\x15\xd1\xc5\x69\xf2\x7c\x9d\x56\x50\xca\x94\xdd\x0d\x2f\x54\xe2\x3c\xbe\xe2\x99\x34\x6b\x3c\xd1\x3e\xe0\x3d\x69\x4e\x16\x2e\x48" "\x41\x58\x78\x0f\xdb\x2d\xc8\x6b\xe2\xb8\x88\x96\xb6\x26\xa1\x1e\x25\x2c\x90\x3e\x50\xfb\x55\x89\x58\x15\xe1\x1d\x8c\x8c\xb9\x35" "\x8a\xdb\x0a\x44\x72\x28\x32\xb7\x09\x5b\xa2\x22\xec\xec\x15\x51\x25\x63\xaf\x22\xdc\x11\x11\xee\x95\xaa\x0d\x4d\x73\x17\xae\x17" "\x79\xd7\x18\x96\x21\x24\x9e\x3b\x2b\x39\x31\x85\x3f\x57\xca\x4f\x6d\x3b\xa7\x37\x1d\x32\x46\x3f\xe0\x2a\x41\xd4\x9a\x8a\xbd\x87" "\x62\x54\x7b\x29\xdb\xf6\xd9\x74\xc8\xd7\x28\xc2\x4c\x61\x26\x7b\xec\xc8\xbb\xe3\x24\xad\x24\x8f\x13\x21\x3f\x9e\x47\xdd\x5b\x5b" "\x79\x79\x6b\x20\xe4\xfe\x73\xe8\x0c\x15\x68\x18\x3c\x5e\xb9\xb5\xc1\x16\xcf\x74\x91\x9c\xd1\x24\x12\x3d\xa4\xa5\xda\x5e\x00\x0f" "\x6c\x93\xf0\x5a\x95\xe3\x4c\xb1\xe8\x9e\xb2\x67\xb7\xa8\xf2\xc7\x38\x06\xef\xd9\x89\xf6\xec\x6f\x6c\xcf\x18\xa6\x66\x9e\x13\xec" "\x8f\xa3\x1b\x6e\x52\xc9\x3e\x14\xd8\x15\x97\x20\x0c\x7c\x98\x4b\xf1\xed\x98\xf2\xe3\x60\xff\x03\x6e\xdc\x68\xc8\x56\x80\xa5\x8c" "\x8c\x39\xd8\xbf\xea\xf5\xe0\xbc\xa4\x6d\x17\x47\xb1\x94\xea\xb5\x02\xba\x86\x36\x47\xeb\x1b\x69\x4b\x9b\xf2\x1f\xcd\x23\xf5\x1e" "\xe8\x19\xc4\xb8\x10\x35\x63\x07\x8d\x96\x67\x95\x8f\x01\x65\x25\x40\xbc\xd6\xef\x4f\x94\xc5\x33\xdd\xaf\x43\x8e\x12\x36\x07\x4b" "\xdc\xd5\xd0\x8e\x29\x3f\x97\x1e\x8d\x08\x50\xc2\x93\x3e\x1e\x66\x9f\xbd\x02\xa4\xae\xdd\x29\xbf\x30\xc4\x18\x0d\x4c\x3e\xff\xa6" "\xaa\x37\x88\xa2\x03\x53\x08\x6f\xd0\xd3\xff\x35\x47\x50\x3a\xbd\x6a\x50\x0f\x2e\x0e\xb3\x0c\xb0\x9c\xc0\xf7\xcc\xe3\x37\xb2\xaa" "\x66\x4c\x38\x07\x97\xf4\x52\x4e\xc8\x68\x39\xfb\x20\xf7\x69\xb1\x01\x78\x3b\x85\xbb\xf4\x9a\xf0\x1a\x3f\x8f\x43\xda\x2a\x76\x94" "\xee\x39\xf2\x12\xc1\x85\x7a\x77\xbd\x1c\xe7\x95\xda\x29\xb5\x5c\xf4\x04\x9c\x37\x06\xfa\x7c\x31\x20\xaa\x7d\x4d\x3f\x12\x28\xf8" "\xd5\x66\x07\x04\x93\xe5\x77\xd1\xef\xf6\x9b\xe5\x71\x85\x76\x18\x7a\xc6\x09\x3e\xce\xdd\xb7\x04\x05\x8a\x77\xed\xde\x76\x61\xf9" "\x13\x2e\xd6\x40\xe2\x7d\xa9\x93\x57\x34\x59\xf6\x1d\xef\x3c\x49\x64\x09\xbc\x3c\x80\xe0\xb8\xcc\x27\x43\x0c\x92\xf1\x5d\xad\x0c" "\xde\x26\x1f\xc2\x9f\x1f\x20\x89\x20\x55\xf9\x5c\xe4\xf6\xed\xd8\x4c\x95\x90\x42\xae\x21\x1b\xc0\xa5\x22\x14\xd2\x75\x11\x93\x52" "\xd8\x23\xb5\x50\xa4\x3f\x72\x80\xf1\x0c\xf5\x97\x02\xcb\x66\xef\x4c\x40\xc9\xe9\x4f\x28\x60\xd7\x59\xba\x0a\xfc\x87\x17\x0d\xe3" "\xd5\x0b\x0c\x26\x4c\x0e\xd0\x9d\x6a\x84\x58\x77\xdf\xd8\x2c\x69\x54\xd0\xfd\x44\xc7\x25\xed\x28\x9b\xda\x0f\xcb\xb5\x65\x66\x4b" "\xfc\x19\x86\xf4\xa9\x5b\xfc\x9e\x28\x67\xc9\x3b\xc9\x72\x85\x80\x48\x58\x2a\x7a\xec\x9a\xd3\x27\xda\x8e\xf2\xcd\x33\xa4\xbc\xf0" "\x6f\x7b\x81\x3b\xc0\xa4\x16\x1b\x32\x7b\xe8\x81\xf9\x06\x7e\x0f\x1d\x61\x81\x13\x04\xcb\x32\xc2\x39\xfc\x50\x7f\xec\x3e\x62\x9f" "\xc6\xc1\x61\xe3\xf7\x06\x22\x00\x92\xf5\x57\x1d\x5d\x6c\xb4\x3d\x8d\x94\x6f\x2c\xa3\x06\x67\x72\x13\xf4\x02\x3d\x92\x5e\xe1\x55" "\xcd\x7c\x01\x47\x69\x31\x42\x0a\xa3\xb1\xba\x7b\x87\x3f\xf1\xda\xbb\x39\xa0\xe5\x31\xda\x9e\x5a\x9e\x44\x14\xf0\xa9\x5d\xf7\xaa" "\x48\x29\xe4\xd3\xe4\xf7\x97\xb3\x13\xbb\x44\x4b\xb1\xc3\x29\x8d\x61\x46\x1a\xfb\xd0\x6c\x01\xa0\x17\xa0\x64\x97\xc6\x84\xa7\x79" "\x4c\x87\xf2\x04\x47\xdd\x36\x61\xdc\x7a\x2b\xc0\x4e\xd9\x88\x67\xb4\x47\x14\xf2\xf6\x0b\x94\x12\x16\xc0\x09\xa7\x6b\x18\x46\x4a" "\x0d\x43\x63\xf6\x9c\x8f\xa0\x44\x25\x38\x8c\x30\x08\xc8\xc3\xb8\xab\x90\xe9\xba\xca\x23\x9d\x73\x8e\x95\x8c\xef\x85\xdf\xda\x98" "\x30\xa1\xad\xae\x06\x89\xa3\x6e\xa9\xca\x5c\x04\x4b\xc2\x05\xb2\x60\xd8\x44\xf0\x3a\xd9\x45\xad\xaf\x22\x0f\xf6\x0d\x3b\x8e\x2b" "\xa7\x04\x5c\xf2\xda\x65\x5c\x76\xe5\x93\x24\xf2\x90\xee\xc3\xc5\x84\xcc\x28\x0c\x19\x9e\x0f\x78\x4d\xc8\x8f\x02\x0e\x06\x2a\x55" "\x27\x7d\x17\x5c\xd5\x2a\x90\x0d\x7d\xf9\x7d\x78\xb3\x95\xc6\x89\xfb\x7b\x63\x77\x39\x08\x8f\xeb\x5a\x9d\xc4\x91\xe7\xe0\xb2\x97" "\xed\x60\xb4\x85\x5d\xc7\xfb\x3f\x54\xc5\x92\xe0\x43\xc4\x0f\xc7\x7d\x6d\x8f\x11\xfb\xf8\x1d\x4c\xdb\x04\xa0\x2d\x94\x6d\xca\xa4" "\xe1\x31\x01\xf0\x52\x69\x6f\x2b\x91\x88\x14\xa0\xc4\x26\xd7\xb4\x0c\x73\x1b\x1e\x10\xd0\xa0\x83\x74\xc9\xbf\xd1\xf5\x3d\xba\x70" "\x84\x3b\x53\x03\x47\xfd\x5b\x12\x2a\x97\xf1\x1b\x67\x6c\xc7\xb0\x38\xeb\xed\xfe\x74\xf2\x6d\x70\x95\x5c\x9b\x5d\x28\x0a\x5d\x6e" "\x1a\x2b\x74\xa0\x99\x16\x25\x43\x90\xd7\x67\x5b\x35\x69\x21\x30\x82\x8f\x16\x36\xf9\x2f\xfb\xa9\x72\xcf\xca\xb9\x5e\x37\xe5\x5f" "\xab\x0c\x36\x0e\xcf\x24\x88\x99\x5b\xe2\xc0\xb8\x90\xb9\x57\x62\x40\x23\x3d\x6c\xf7\x72\x71\xd6\x96\xc0\x63\x1c\x1b\x88\x50\x9e" "\x81\x74\x44\x6e\xfe\x7d\x43\xaf\x5d\x3e\x69\x38\x06\x42\xe1\x01\x31\xe0\x48\x3c\xf7\x6f\x08\x32\x55\x8b\xcf\x05\x65\x51\x58\xaa" "\xa2\x48\xc4\xec\x4b\xb7\x99\xf0\xbe\xd3\x63\x8f\x3d\x79\xd5\x93\x95\x72\x67\x57\x20\xf5\x88\x5d\x27\x06\x55\xb2\xfc\xd1\xc2\x61" "\x07\x63\x4a\x3a\x4a\x35\x2b\x02\x8f\xe3\xa9\x2f\x61\xac\x16\x77\x16\xb2\x56\xc3\x44\x0a\x77\xc7\xa9\xe3\x00\x53\xc6\x5c\xd6\x6d" "\xe0\x1d\x3c\x3e\x41\xb1\xfe\xb3\x6c\x32\x05\xe5\xd9\x1a\x3a\xf7\xe2\xb8\x00\x45\x60\x9a\x55\xc9\xad\x12\x32\x98\x5c\xc8\xd6\x80" "\xce\x5b\x18\xb3\xbc\x7d\xc8\x37\x14\x6d\x1d\x2c\xb6\x2a\x05\xea\x52\x8a\x8c\xea\xa4\x48\xce\x9b\x76\x4c\x1c\x50\xb2\x5a\x5b\xbc" "\x9d\xb3\x84\x98\x47\x94\xab\xd4\xb9\xe4\xec\xef\x40\x74\xe6\xc9\x3e\x11\xea\x68\xa7\x9b\xd3\x53\x7f\xbb\xd0\x3f\xe8\xe8\x62\xf8" "\xb1\x33\x85\xd5\xc3\xf1\xcc\x09\xf2\x7a\x0a\xaa\xc2\x05\xfe\xb7\x3f\x07\x71\x8c\xb2\x50\xef\x82\xf1\xf0\x9c\x93\xe7\x9c\xfa\x9a" "\xd2\xbe\xa3\x54\xb2\x16\x7c\x20\xee\x2b\xd2\x3d\x1f\xfb\x20\x92\xeb\xb0\x18\x29\xc7\xba\x07\x7a\xc0\x66\xd1\x6a\x77\xa8\xbc\x80" "\x09\xa9\x61\x29\x0b\xa7\x2c\x28\x13\xab\xe3\xb0\x3d\xdb\x91\xba\x89\x26\x6f\x93\x83\xea\xed\xe1\x36\xeb\x34\xf9\xca\x86\x3e\x87" .BytesList , "\x07\x45\x34\xda\xbc\x3e\x4f\xa7\xc0\xdc\xd4\xaf\xc6\x04\xdb\x28\xaf\xe4\x1a\xd1\x06\xe1\xdf\x62\xeb\x60\x07\xe7\x9c\xd9\x20\x80" "\xde\xfa\x88\x1e\x09\x33\x57\xf1\xe8\x9c\xe2\xe8\x3c\xc5\x86\x08\x83\x0c\xf8\xad\xbc\xaf\xf1\xbd\x14\x6c\x7a\xff\x69\x45\xa6\x37" "\xec\xa5\x96\x0f\x95\xe0\xb8\x19\x93\x8c\x1e\xc2\x24\x63\x6d\x26\xc0\x46\x0e\x0f\x73\x48\x51\x25\xe7\xf1\x41\x78\x87\x5f\x25\x19" "\x79\x35\xee\xdc\x8f\x66\x10\x7e\xdb\xd7\x96\x0c\x5c\xf0\x4b\xa5\x2a\x29\xcc\x27\xe8\xd1\xdb\xac\x30\xb4\x5b\x19\x18\xd4\xa5\x9c" "\x46\x01\x17\x19\x64\x1b\xc4\xc1\x54\x65\x7a\x06\x5b\xa8\x65\xbd\x49\x79\xaa\x8d\xa8\xd0\x38\x58\xcf\x3b\xb1\xeb\xd1\x0a\xca\x92" "\x9e\x6c\x81\x28\x44\xc4\x0c\xad\x7a\x2b\x1c\x13\x08\x2d\xb8\x4e\xe7\xc4\x7f\xbe\xc2\x0d\xf0\xdc\x08\x40\xf8\x60\xa7\xee\x15\x06" "\xc0\x95\xe5\xdf\x89\x7c\x3a\x8a\x98\x5a\x87\x83\xb8\x9e\x9d\xf3\x02\xcb\x3f\xe7\x70\xe4\x45\x3c\x57\x0d\x12\x9e\x52\x68\xf4\x87" "\x87\xe4\x94\x2f\x50\xd4\x35\x3e\x55\x37\xc0\x78\x8e\x65\x12\x02\xc1\xdb\x8c\x97\xae\x47\x93\x8f\x78\x6b\xfd\x4a\xaa\xfc\xef\xbd" "\xbd\xc5\x6f\xa7\x0f\x96\x46\x91\xd3\x88\x58\x52\xaa\xec\xb3\x06\xa0\x04\x69\x03\x5f\x5a\xc7\xa8\xf2\x50\x86\xd2\xe3\x04\xd9\xa4" "\xea\x69\xd3\x90\x91\x80\xd8\x2f\x71\xdc\xdf\xbc\xb3\xef\x4d\x2d\x8e\x22\x51\x62\xde\x51\xac\x72\x17\x56\xdd\xd2\x4e\x58\x05\xed" "\x0f\x2f\x30\x8a\x2f\x3c\x80\x0b\x73\x52\x2e\xf0\xde\x76\x37\xd1\x70\xe6\x1b\x86\xd2\x8c\x81\xed\x94\x12\x44\x40\x8f\x6d\x1d\x42" "\xf0\xf1\x2d\xb3\xaf\x56\x85\x8e\x89\xc2\x7c\xad\x16\x28\xe5\xf2\x56\xec\xbe\xe4\x61\x3e\xe4\x6d\xfe\xf3\xd5\xec\x38\x05\x2e\x7c" "\xb2\xa0\x3c\x8d\xa0\x9c\x16\x59\xec\x81\x96\x68\xd4\x27\x53\xa8\x53\xaa\x04\xb8\xf7\xa9\xbe\xed\x38\xbb\xbd\x7c\x0a\xc3\xa2\x31" "\x30\xbe\x4b\xdb\xfc\xb0\x91\xbc\xeb\xf6\x8d\x68\xc1\x82\xa5\xd1\x3b\xaf\x2c\x7d\xb3\x6e\xfb\xd0\xfd\xf4\xbd\xfb\x69\x65\x4d\xd5" "\x8c\xe4\x88\xaf\x6e\x74\xe4\x0c\xe5\xe4\xd4\x42\x70\x8e\x08\x02\x6a\x0a\xe6\xe4\x46\x6a\xb8\x0c\x40\x3d\xb3\xd2\x8e\x61\x86\x30" "\xb9\x5d\xd2\xd5\xb7\x1a\x9d\x0a\x19\xef\xa8\x36\xe3\xa5\x45\x8c\xeb\xe9\x34\xad\xce\xcb\xd1\x75\x67\x6f\xa7\x6c\x69\x7d\x8c\x44" "\xfb\xbc\x0a\xfb\x92\x49\xb4\x07\xc7\x39\xe4\xe4\x7a\x41\x23\xfb\xae\xed\xfe\x1e\xcb\x1c\x04\x3d\x7b\x5a\x87\x1f\x0e\x94\xd6\x60" "\xdf\x07\xd1\xcd\xcc\x46\x92\x92\xaf\xcd\x01\x1d\xc6\xf8\xe3\xbf\x46\xff\x58\xb4\x81\x5f\x2a\x67\xa9\xa8\x56\x8a\x32\x17\x74\xb6" "\xe7\xc4\xf9\x84\x1b\xb2\x68\x27\x5a\x0c\x9a\xeb\xcd\xf8\xd6\xd3\xd4\xe8\x60\x7d\xda\xbe\x35\x7b\xaf\xf5\xee\x3b\x20\x00\xf2\x9e" "\x4f\x7c\xbf\x2f\x6a\xf3\xf3\x06\x66\x19\x09\x1e\xc8\x98\x18\x3f\xda\xa6\xf0\x27\x5d\x26\x7e\x4e\x03\x62\x76\xeb\xad\x93\xfb\xce" "\xa6\x55\x32\xbf\xf9\xc7\x36\x29\x2d\xd0\x22\x2f\x9c\x93\x1c\x00\xa9\xea\xa9\x3d\xb7\x8a\x12\x69\xd8\x64\x16\xa4\x18\x6a\x35\xe0" "\x78\x5c\xa2\x83\xab\x8d\x1c\xe7\xd8\xc4\x14\xbc\xfb\xf5\x3e\x7b\xe6\x6b\xb1\x9a\xcf\xb9\x62\xb2\x5a\x6b\x89\xa7\xd2\xae\x18\x56" "\xf6\x58\xa0\x3a\x5b\x75\xdd\x2e\x18\x50\xf3\x5a\xd7\xbe\xc7\x8c\xdd\x5a\x9d\xad\x1e\x4f\x71\x07\x29\x03\x47\x9d\x47\xfc\xf8\x36" "\x23\x01\x40\xc6\x66\x43\xa6\x3a\x1a\xca\xa4\xf9\x78\x75\x81\x31\xb3\xc1\x90\x8f\x7d\xe7\xef\xeb\x47\x57\x5f\xcb\x47\x66\xb5\x35" "\xe5\xbe\x83\x8b\x06\xb4\x44\x0a\x6c\x38\x88\x8c\x80\xc1\x9e\x57\x08\xf1\x3c\x96\x38\x79\xaf\xf7\x78\x4c\x61\xd1\x98\x88\x86\x2e" "\x3a\xe5\x1f\x4e\xb0\x13\x55\xe0\x46\xc4\x46\xb9\x63\xf6\xef\x86\x97\x41\xd6\x46\xcb\x4c\xa7\xe5\x4d\x86\xb1\xf0\x26\xd1\xb1\xbe" "\x23\xd9\xce\xa6\x56\xa6\x9b\x6e\xa8\x98\xd3\xa6\x0e\x82\x1f\xb7\x3d\x38\xbc\x39\x43\xe1\x75\xf9\x5b\x4c\xaf\xbc\xca\xc5\x2e\x1b" "\x7b\xc9\xf4\x7c\x1c\xa4\x1f\x96\x9a\xf3\xab\x95\x94\xf2\x3c\xb9\xa6\xa0\x04\x8d\xb3\x9f\x82\xce\x0c\x28\x37\x39\xef\x18\x07\xeb" "\x88\xa0\x6b\xd8\x5b\x39\x12\x01\x07\x54\xbf\xd4\x64\x03\xc5\xb5\x0d\xac\x09\xec\x82\x64\xc2\xba\xab\x2e\x42\x41\xf8\x88\x18\xe1" "\x94\x5c\x75\xce\x7c\xcf\xcf\x87\x36\xc0\xb8\xd2\xe5\x1d\x32\x2d\xfe\x92\x1b\x23\x76\x5a\xc9\x99\x99\x5c\x21\x3e\x44\x07\x72\x5b" "\x3c\x5f\x58\x59\xf9\xaa\xb8\x14\xd4\xe8\x9c\xe9\x66\x63\x7c\x7b\xde\xae\x30\xc8\x47\xe5\xb2\x19\xdf\x39\x2d\x1d\xe4\x9c\x88\xe0" "\x14\xa5\x09\x23\xec\x5b\xc0\x5d\x54\x99\x56\xdf\xb4\x5f\x84\xbc\xd2\xf3\xc5\x52\xd8\x2d\xc0\x58\x54\x2e\x95\xd4\xb4\xef\x85\xea" "\xb4\x96\x2a\xcb\x5e\x0a\x74\x50\x58\xd1\x8b\x96\x53\x67\xb9\xdd\xc2\xbb\xad\x77\x73\x8f\x79\x12\x44\x8f\x3f\x00\xb5\xd3\x32\x84" "\x4d\x5b\xd2\xa7\x36\xa7\xe8\x2b\x19\xd0\xc7\x7f\x51\xca\xe4\x1a\x20\xdb\x63\x01\x8e\x2d\x52\x21\xb1\x46\x2d\x40\xbc\xf4\x51\x61" "\x39\x4f\x1c\xe8\x6c\xf5\x55\x23\xb8\x68\xd7\x4c\x91\xa4\x0d\xb4\x65\x88\x84\xc0\x68\x86\x79\xa4\x39\xcc\xdf\x8b\x17\xb5\x27\x89" "\xe5\x67\x24\x46\x1c\x28\x26\x62\x91\xbb\x68\x8c\xe5\xc8\x85\xa7\x43\x21\x47\x15\x05\xb4\x72\x76\x97\xf2\x1e\x15\xad\x10\xb0\x98" "\xd6\xcb\xc4\xa1\xe3\x7b\xda\x2e\xec\x85\xa5\x54\x3b\x39\xa9\x36\xf0\xfd\xff\xa8\x27\x2f\x4f\x89\xad\xee\x7b\xc9\x21\xca\x17\xa7" "\x16\xf2\xed\x14\xd9\x5a\x17\xa5\x04\xdc\xc0\x1f\xf7\xaa\x0c\x3e\xef\xf9\xca\x98\x4f\x72\x52\x36\xcf\x89\x3e\x51\x99\xd5\xaa\xb3" "\xa8\x07\x84\x02\x5c\x90\xdd\x35\x05\x73\x2c\xaa\x47\xd5\xce\x32\x88\x74\x7c\xd2\xb1\x01\x6d\xb2\x0e\xf2\x66\x58\xac\xda\x84\xee" "\x6d\x05\xeb\xf3\x07\xf2\xb4\x7c\x66\x78\x6d\xc2\x7a\xe1\x54\x0b\xde\xb1\xd0\x57\x15\xc5\xac\x52\x84\x03\x09\xd0\x7c\xce\xb6\x48" "\x9e\x28\x6d\x48\x96\xf0\xeb\x42\x75\xb5\x07\x17\x59\xc1\x8d\x2d\x7b\x7c\xb1\x27\x23\x65\x94\xee\x41\x91\xd2\x14\xf5\x7d\xc7\xc7" "\xd5\x2b\x88\xfb\x94\xcd\x45\xd2\x07\xb8\xa6\xf0\xb3\x18\x79\x0b\x7a\xc6\xc0\x46\xfe\xf4\xb1\xfd\xec\x6f\xd1\xa7\x95\x2d\x72\xfa" "\xcf\x15\xcd\x81\x2c\x1e\xb0\x07\x1e\xef\x11\x6b\x98\x69\x96\x52\x62\xca\x43\x35\xe6\xba\x0e\xfc\x33\x3c\xbf\xf6\xed\x45\xd4\x57" "\xc0\xe9\x3f\xb9\x1e\x85\xb4\xd6\x64\x02\x8e\xdd\xd0\x72\x0a\x22\x4f\x9a\x5e\x4e\xf4\x75\xf9\xa7\x53\x3d\x02\x8a\xe5\x00\x0b\x20" "\xcb\xfa\x08\x6a\x6c\xc4\x7a\xcf\x34\x08\x90\x70\x20\x4d\x15\x25\x38\xfe\xcb\x5d\x73\xf2\x8c\x77\x6d\xe9\x41\x40\xf7\x53\xd2\xfa" "\xfd\xc6\x19\xd4\xb1\xe2\xc0\x99\x02\xfa\x69\x40\x6d\x30\xc3\x35\x30\x1c\xd5\x8e\xb1\xaa\xcc\x61\x77\x71\xbf\x06\xdb\xdb\xa0\x87" "\x23\x63\x56\xb6\x64\xa4\xef\x33\x6a\xad\xc7\x93\x8c\xa2\xdc\xc6\x32\x8d\x4d\x87\x30\x1b\xf4\x38\x99\x7d\xa5\x57\x0e\x34\x7b\x52" "\x83\xa0\x14\x95\x0b\xf3\x19\xee\xec\x85\x36\x4d\x99\xc1\x25\xa2\x3e\xac\xb4\xa8\xc0\x87\xfa\x41\x39\x7c\xe9\x50\x65\x50\x49\xa2" "\x57\x5e\xc2\x74\x52\x0c\x7e\x48\x45\x63\xc0\x0c\x91\x54\x25\x84\xfa\x60\xbd\x12\x5d\xab\xb5\x69\xe7\x5a\x9d\x33\x64\xa1\xda\x3a" "\x84\x8b\x85\x6a\xff\xed\x96\xc2\x75\x58\x90\x15\xc7\x6d\x3b\x77\x94\x75\xcd\x7e\x67\x72\x7e\x3b\x1a\xd0\xd0\x65\x80\xf2\x7a\xae" "\xcc\x77\xe9\x6a\x24\x28\x15\x76\x29\x65\xaf\x7b\xbe\xe9\x45\xcf\x97\x4e\xeb\x0c\x77\xbd\xef\xca\xf9\x0e\x16\xe1\x30\xd6\x18\x4c" "\x59\xf7\x1c\x44\xbc\x57\x2f\x37\xf6\xc5\xa7\xcd\x47\x06\x26\x39\x05\x6d\x13\xe8\xa5\xb2\xc6\x3e\xa3\xf1\x0a\xc8\xbd\x56\x21\x3a" "\x81\x21\x25\xc4\x2d\xb5\x06\x04\x7f\x8a\xda\xd7\x1f\x82\x01\x63\x79\x8d\x57\x11\x9f\x2a\xd1\x91\xd1\x93\xa5\x1b\x69\xe7\x91\x9e" "\x6a\x4e\xee\xc6\x18\xef\xad\x29\x7e\xfa\x8d\x23\x7f\x94\x60\x0c\x8f\xe0\x5b\x0a\x9a\x95\x71\xd3\x12\xd9\x33\x04\x31\x3e\xb9\xe2" "\xc7\xab\x3e\x1b\xf8\xc8\x91\x77\x03\x02\xc6\xe6\x84\x5c\xf4\xa0\xa5\xde\x9e\x98\x5e\xcb\xa1\xdb\xf6\xe5\x40\xd2\x6f\x53\x85\x87" "\x09\x62\xe0\xce\x73\xa7\x8d\x5e\xb4\x30\xe5\x37\xf9\xee\x42\xc0\x71\x5b\x0d\x48\x72\x88\x26\xb1\x99\xc0\xc9\xb3\x19\x45\x9d\x99" "\xd6\xbb\xab\x0a\xab\x0f\xa7\x22\x37\xb8\x1b\x2d\x44\xb9\x83\x97\xcd\xa0\x03\x5d\x2d\xe5\x86\xbe\xfc\xf6\x43\x8d\xb4\xbf\xdc\x48" "\xd2\x21\x80\x65\x2c\xe4\x8b\xac\x31\x49\x44\xcf\xbf\xe3\x25\xc6\x97\xcf\x71\xc3\xf9\xc6\x94\x47\x8e\x2e\x48\xa2\xc9\x85\xfc\x46" "\x3a\xc2\xc8\xe9\x06\xb1\x72\xe6\xd7\xe3\x37\xf9\xe2\x5f\xb7\x40\x6a\xce\xc2\x50\xc4\x44\x31\xe4\x09\xe0\xe6\x8d\x6f\x28\xbd\xfe" "\x3a\x62\x4a\xe0\xbe\x38\x09\xc7\xa8\xa2\xd1\x6e\xa5\xc1\xa3\xac\x6f\x3f\x26\x00\x0b\x13\x4c\xe8\x7e\x34\x17\xa4\xe3\x65\x4a\x63" "\x42\x7b\xc3\xab\xe6\xad\xb3\x82\x89\x59\x6c\xf5\xfe\xe2\x38\xf8\xcc\x12\x02\x1f\xad\x8b\xb5\xc7\x0c\x22\x97\xab\x14\x10\xe4\x3a" "\xc1\xd7\x5a\x71\x30\xd3\xe4\x0f\x06\x77\x8d\xa5\x4c\xa7\xb5\x68\x31\x9f\x9b\x66\xd0\xfb\x09\x86\xc1\xeb\x56\xd1\x8a\xcf\x72\x28" "\x84\x7b\x2e\x50\x89\x87\x7b\x57\xc7\xb2\x44\x96\x81\xcf\x51\xde\xf6\x8e\x45\x33\xa6\x60\x27\x38\xa8\xf6\x43\x8c\xbc\xeb\xef\xdd" "\x5d\x25\xa7\x50\x82\x7b\xe0\x90\x56\x55\x07\xd9\xd4\x85\xe7\xfa\x80\x72\x40\x00\x3e\x84\xcf\x55\xe9\x4e\xad\x01\xd8\xa1\x5c\xb4" .BytesList ) hash tree root( )
  </k>
  <state>
    <genesis-time>
      0
    </genesis-time>
    <slot>
      0
    </slot>
    <fork>
      .Fork
    </fork>
    <latest-block-header>
      .BlockHeader
    </latest-block-header>
    <block-roots>
      .Map
    </block-roots>
    <state-roots>
      .Map
    </state-roots>
    <historical-roots>
      .BytesList
    </historical-roots>
    <eth1-data>
      .Eth1Data
    </eth1-data>
    <eth1-data-votes>
      .Eth1DataList
    </eth1-data-votes>
    <eth1-deposit-index>
      0
    </eth1-deposit-index>
    <validators>
      .Map
    </validators>
    <balances>
      .Map
    </balances>
    <randao-mixes>
      .BytesList
    </randao-mixes>
    <slashings>
      .Map
    </slashings>
    <previous-epoch-attestations>
      .PendingAttestationList
    </previous-epoch-attestations>
    <current-epoch-attestations>
      .PendingAttestationList
    </current-epoch-attestations>
    <justification-bits>
      .BitList
    </justification-bits>
    <previous-justified-checkpoint>
      .Checkpoint
    </previous-justified-checkpoint>
    <current-justified-checkpoint>
      .Checkpoint
    </current-justified-checkpoint>
    <finalized-checkpoint>
      .Checkpoint
    </finalized-checkpoint>
  </state>
  <zerohashes-cache>
    .Map
  </zerohashes-cache>
</beacon-chain>

Running: deps/k/k-distribution/target/release/k/bin/krun --directory .build/defn/llvm /tmp/tmp5uie4vfu --term --parser cat
==========================================================================================================================
<beacon-chain>
  <k>
    "\x87\xeb\r\xdb\xa5~5\xf6\xd2\x86g8\x02\xa4\xafYu\xe2%\x06\xc7\xcfLd\xbbk\xe5\xee\x11R\x7f,"
  </k>
  <state>
    <genesis-time>
      0
    </genesis-time>
    <slot>
      0
    </slot>
    <fork>
      .Fork
    </fork>
    <latest-block-header>
      .BlockHeader
    </latest-block-header>
    <block-roots>
      .Map
    </block-roots>
    <state-roots>
      .Map
    </state-roots>
    <historical-roots>
      .BytesList
    </historical-roots>
    <eth1-data>
      .Eth1Data
    </eth1-data>
    <eth1-data-votes>
      .Eth1DataList
    </eth1-data-votes>
    <eth1-deposit-index>
      0
    </eth1-deposit-index>
    <validators>
      .Map
    </validators>
    <balances>
      .Map
    </balances>
    <randao-mixes>
      .BytesList
    </randao-mixes>
    <slashings>
      .Map
    </slashings>
    <previous-epoch-attestations>
      .PendingAttestationList
    </previous-epoch-attestations>
    <current-epoch-attestations>
      .PendingAttestationList
    </current-epoch-attestations>
    <justification-bits>
      .BitList
    </justification-bits>
    <previous-justified-checkpoint>
      .Checkpoint
    </previous-justified-checkpoint>
    <current-justified-checkpoint>
      .Checkpoint
    </current-justified-checkpoint>
    <finalized-checkpoint>
      .Checkpoint
    </finalized-checkpoint>
  </state>
  <zerohashes-cache>
    0 |-> "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
    1 |-> "\xf5\xa5\xfdB\xd1j 0'\x98\xefn\xd3\t\x97\x9bC\x00=# \xd9\xf0\xe8\xea\x981\xa9'Y\xfbK"
    2 |-> "\xdbV\x11N\x00\xfd\xd4\xc1\xf8\\\x89+\xf3Z\xc9\xa8\x92\x89\xaa\xec\xb1\xeb\xd0\xa9l\xde`jt\x8b]q"
    3 |-> "\xc7\x80\t\xfd\xf0\x7f\xc5j\x11\xf1\"7\x06X\xa3S\xaa\xa5B\xedc\xe4LK\xc1_\xf4\xcd\x10Z\xb3<"
    4 |-> "Sm\x98\x83\x7f-\xd1e\xa5]^\xea\xe9\x14\x85\x95Dr\xd5o$m\xf2V\xbf<\xae\x195*\x12<"
    5 |-> "\x9e\xfd\xe0R\xaa\x15B\x9f\xae\x05\xba\xd4\xd0\xb1\xd7\xc6M\xa6M\x03\xd7\xa1\x85JX\x8c,\xb8C\f\r0"
    6 |-> "\xd8\x8d\xdf\xee\xd4\x00\xa8uU\x96\xb2\x19B\xc1I~\x11L0.a\x18)\x0f\x91\xe6w)v\x04\x1f\xa1"
    7 |-> "\x87\xeb\r\xdb\xa5~5\xf6\xd2\x86g8\x02\xa4\xafYu\xe2%\x06\xc7\xcfLd\xbbk\xe5\xee\x11R\x7f,"
    8 |-> "&\x84dv\xfd_\xc5J]C8Qg\xc9QD\xf2d?S<\xc8[\xb9\xd1kx/\x8d}\xb1\x93"
    9 |-> "Pm\x86X-%$\x05\xb8@\x01\x87\x92\xca\xd2\xbf\x12Y\xf1\xefZ\xa5\xf8\x87\xe1<\xb2\xf0\tOQ\xe1"
    10 |-> "\xff\xff\n\xd7\xe6Yw/\x954\xc1\x95\xc8\x15\xef\xc4\x01N\xf1\xe1\xda\xedD\x04\xc0c\x85\xd1\x11\x92\xe9+"
    11 |-> "l\xf0A'\xdb\x05D\x1c\xd83\x10zR\xbe\x85(h\x89\x0eC\x17\xe6\xa0*\xb4v\x83\xaau\x96B "
    12 |-> "\xb7\xd0_\x87_\x14\x00'\xefQ\x18\xa2${\xbb\x84\xce\x8f/\x0f\x11#b0\x85\xda\xf7\x96\f2\x9f_"
    13 |-> "\xdfj\xf5\xf5\xbb\xdbk\xe9\xef\x8a\xa6\x18\xe4\xbf\x80s\x96\x08g\x17\x1e)go\x8b(M\xeaj\x08\xa8^"
    14 |-> "\xb5\x8d\x90\x0f^\x18.<P\xeft\x96\x9e\xa1lw&\xc5Iu|\xc25#\xc3iX}\xa7)7\x84"
    15 |-> "\xd4\x9au\x02\xff\xcf\xb04\x0b\x1dx\x85h\x85\x00\xca0\x81a\xa7\xf9kb\xdf\x9d\x08;q\xfc\xc8\xf2\xbb"
    16 |-> "\x8f\xe6\xb1h\x92V\xc0\xd3\x85\xf4/[\xbe '\xa2,\x19\x96\xe1\x10\xba\x97\xc1q\xd3\xe5\x94\x8d\xe9+\xeb"
    17 |-> "\x8d\rc\xc3\x9e\xba\xde\x85\t\xe0\xae<\x9c8v\xfb_\xa1\x12\xbe\x18\xf9\x05\xec\xac\xfe\xcb\x92\x05v\x03\xab"
    18 |-> "\x95\xee\xc8\xb2\xe5A\xca\xd4\xe9\x1d\xe3\x83\x85\xf2\xe0Fa\x9fTIl#\x82\xcbl\xac\xd5\xb9\x8c&\xf5\xa4"
    19 |-> "\xf8\x93\xe9\x08\x91wu\xb6+\xff#)M\xbb\xe3\xa1\xcd\x8el\xc1\xc3[H\x01\x88{djo\x81\xf1\x7f"
    20 |-> "\xcd\xdb\xa7\xb5\x92\xe3\x133\x93\xc1a\x94\xfa\xc7C\x1a\xbf/T\x85\xedq\x1d\xb2\x82\x18<\x81\x9e\x08\xeb\xaa"
    21 |-> "\x8a\x8d\x7f\xe3\xaf\x8c\xaa\x08Zv9\xa82\x00\x14W\xdf\xb9\x12\x8a\x80a\x14*\xd03V)\xff#\xff\x9c"
    22 |-> "\xfe\xb3\xc37\xd7\xa5\x1ao\xbf\x00\xb9\xe3LR\xe1\xc9\x19\\\x96\x9b\xd4\xe7\xa0\xbf\xd5\x1d\\[\xed\x9c\x11g"
    23 |-> "\xe7\x1f\n\xa8<\xc3.\xdf\xbe\xfa\x9fM>\x01t\xca\x85\x18.\xec\x9f:\t\xf6\xa6\xc0\xdfcw\xa5\x10\xd7"
    24 |-> "1 o\xa8\nP\xbbj\xbe)\x08PX\xf1b\x12!*`\xee\xc8\xf0I\xfe\xcb\x92\xd8\xc8\xe0\xa8K\xc0"
    25 |-> "!5+\xfe\xcb\xed\xdd\xe9\x93\x83\x9faL=\xac\n>\xe3uC\xf9\xb4\x12\xb1a\x99\xdc\x15\x8e#\xb5D"
    26 |-> "a\x9e1'$\xbbm|1S\xed\x9d\xe7\x91\xd7d\xa3f\xb3\x89\xaf\x13\xc5\x8b\xf8\xa8\xd9\x04\x81\xa4ge"
    27 |-> "|\xdd)\x86&\x82Pb\x8d\f\x10\xe3\x85\xc5\x8ca\x91\xe6\xfb\xe0Q\x91\xbc\xc0O\x13?,\xear\xc1\xc4"
    28 |-> "\x84\x890\xbd{\xa8\xca\xc5Fa\x07!\x13\xfb'\x88i\xe0{\xb8X\x7f\x919)37M\x01{\xcb\xe1"
    29 |-> "\x88i\xff,\"\xb2\x8c\xc1\x05\x10\xd9\x852\x92\x803(\xbeO\xb0\xe8\x04\x95\xe8\xbb\x8d'\x1f[\x88\x966"
    30 |-> "\xb5\xfe(\xe7\x9f\x1b\x85\x0f\x86X$l\xe9\xb6\xa1\xe7\xb4\x9f\xc0m\xb7\x14>\x8f\xe0\xb4\xf2\xb0\xc5R:\\"
    31 |-> "\x98^\x92\x9fp\xaf(\xd0\xbd\xd1\xa9\n\x80\x8f\x97\x7fY||w\x8cH\x9e\x98\xd3\xbd\x89\x10\xd3\x1a\xc0\xf7"
    32 |-> "\xc6\xf6~\x02\xe6\xe4\xe1\xbd\xef\xb9\x94\xc6\t\x89S\xf3F6\xba+l\xa2\nG!\xd2\xb2j\x88g\"\xff"
    33 |-> "\x1c\x9a~_\xf1\xcfH\xb4\xad\x15\x82\xd3\xf4\xe4\xa1\x00O; \xd8\xc5\xa2\xb7\x13\x87\xa4%J\xd93\xeb\xc5"
    34 |-> "/\x07Z\xe2)dkoj\xed\x19\xa5\xe3r\xcf)P\x81@\x1e\xb8\x93\xffY\x9b?\x9a\xcc\f\r>}"
    35 |-> "2\x89!\xde\xb5\x96\x12\x07h\x01\xe8\xcdaY!\x07\xb5\xc6|y\xb8FY\\\xc62\f9[F6,"
    36 |-> "\xbf\xb9\t\xfd\xb26\xad$\x11\xb4\xe4\x888\x10\xa0t\xb8@FF\x89\x98l?\x8a\x80\x91\x82~\x17\xc3'"
    37 |-> "U\xd8\xfb6\x87\xba;\xa4\x9f4,w\xf5\xa1\xf8\x9b\xec\x83\xd8\x11Dn\x1aFq9!=d\x0bjt"
    38 |-> "\xf7!\rO\x8e~\x109y\x0e{\xf4\xef\xa2\x07UZ\x10\xa6\xdb\x1d\xd4\xb9]\xa3\x13\xaa\xa8\x8b\x88\xfev"
    39 |-> "\xad!\xb5\x16\xcb\xc6E\xff\xe3J\xb5\xde\x1c\x8a\xef\x8c\xd4\xe7\xf8\xd2\xb5\x1e\x8e\x14V\xad\xc7V<\xda o"
    40 |-> "k\xfe\x8d+\xccB7\xb7JPG\x05\x8e\xf4U3\x9e\xcds`\xcbc\xbf\xbb\x8e\xe5D\x8ed0\xba\x04"
    41 |-> "\xa7\xf2<\xe9\x18\x17@\xdc\"\f\x81G\x82eO\xeej\xce\xb9\xf1\xec\x92\"\xc4\xe2F}\n\xb1h\x087"
    42 |-> "\xae\xf9Gl\x89Y\n,\x8c\xc9\xb3\xb7OIg\xc7W\xc4\x9d\x98f\xa4K\xac\xf2\x1f\xa2\xedg]\xdf\xa2"
    43 |-> "\x9aB\xbc\xad\x82\xf6\xa9\xe4\x12\x84\xd8\x08\xea\xd3\x19\xf2\x9f;\x08 \x9dh\x0f\x0e,\xe7\x15\x10\xd0q\xe2\x05"
    44 |-> "\xd1\xa6m5Jg\xb9\xcf\x17\x95q\xd8\xe5\xf9w\x92qn\x8d\xd4\xecD\x19h9\xa3\xf7\xc6\xb7O\x8b\xac"
    45 |-> "\xfa\xfa0%\xf2\xf8\x95\t\xc2\xc7\x1ct\xfb\xa0\xcd\x92\x85\x8e\xf4\x9b\x07\x80\xfbTytl\x8a\x9b\xfc\xb3F"
    46 |-> "34\xa7\xc1\xe7\xf6pZ\xa6\x01\x1aj\x94\x96E\x01m\xb4\xac\xde\f\xa9\xab\xd6m\xc7\x9d\x82fB0V"
    47 |-> "\x07\x96\xfdufO\xae\xf7D\xeeNR\xd7'\x1e+\xbbv\x9f\x91\xedo\x9bt\xd8\xb6\x94\xf5f\x06\x85,"
    48 |-> "{\xa3\xaeJA\x7f\xe8T[\x14+\xc8\x9fJ\xdc\xd7\xae\x13\x94\x1c\xba\xb7u\x0b\x83\xe9\xf0\xa6m\x16\xbed"
    49 |-> "x\x8f\xaf\xccJ\xa5 9\x9a\xdb\xae\xd1\x95\xf8\xb1,N\xb3\x1e\xc1\x01h\xe5\n\xab\xc6Y\xa6\xae\xa5\x16\xdc"
    50 |-> "\xe83\xd7\xa6q`\xe6\x8b\xf4\xc9\x04JS\x07}\xf2rz\xd0\f\xf3oII\xc7\xb6\x81\xa9\x12\x14\f\xbb"
    51 |-> "0\x9e\xab\xf0\x95\xdcg\x14\xf9\xf4\xd8d\xbb\xa5\xaf\xfa\xe0\xb3Z\xe2\xf5\xe3V[\xcc:G\xb2\x12vw\x01"
    52 |-> "\"j\x8e\xbe\xfa(\x86e\xa6D\xa5\x02s3^\xfb\xb6\x10Q\x0f$\x1b[r\f\x8a6\x8dY\xa6\x9a]"
    53 |-> "A\xab\xfd\x99T%\x82v%\x93\x811\xaf\fO3\xfe\x0b\xd4h\x8c\",!\xfa\x9d\xa8\xe8\x9c\xaa\x03\xf8"
    54 |-> "D,d.\xf5\x0f\xa1\xa6g\xa6\xe6\xd1\x05\xc7|\\\xc3\xfe\xc8\xd7\xaa%p\xcf\x1a0w\xb5\x03\xc3\x80i"
    55 |-> "\xa0\xa0\x8d\xfc\x9bB\xd9l-\xe1\x9bm\x12{\x8a\xe16\xdd\xcf>Z\xd0\xdc\xe4\"\xc4ZV\xf6\x1fjt"
    56 |-> "}4\x83\x82\xaf\tm\xbe\x0b\xf0\x86\xc7\xbb9\xb2\xa2\xc0\xbc6\xb6!\xab\fs\x8e\x98\x85\xd71\xd8\x17@"
    57 |-> ":\xb14u\x1d\x19\x12i\x02l\x86\x99N\xaa\x8bC\xa8;J\xd1\xf6\xd0\xe7s\x81\xc4\xe2\x97J\xfb\xc8\xf6"
    58 |-> "\x9atRa\x1d\xb2\xd2>\xae&\xf9\xbd\xbb\x88\x95\x8e\xf4Ld\xd0\xfe\x98{\xe9\xf7&\xad\xf98\xf5\x0fl"
    59 |-> "r\\\x7f\x81`7\xbf\xe4R\xcd\x1e{\xa3Z\xc4~\xdc\xb4\x9a\x9a+'\xae\xcap\xdc\xe4\x83\xcb}\xed\x1f"
    60 |-> ",\xea\x1a\xf5\x1f\xb2\x8bb\x88|9\x99\x8a\xc9\xfe\xf4\xdf\xde\xda\x1f\x07\xe0q\xbaU\x8a\x17:\xfd\x06\xcb\xc3"
    61 |-> "\xff\x1dY\xf9\x8blU\x1d\x95\x08\x93W\x05}\\\x8b\xe2d\x02'\x9e\x9d\xf0\xb1\xdf\x1a\x10\xb7+\xf3\x92\x7f"
    62 |-> "/\x8a\x18\x1f|\x99\xdd!Zu)\xbf\xe2\x96\xa9`:\x14Fsq\x86\xd2\x1a\xeb\x8b\xc7\xaeY\xe1\xfd!"
    63 |-> "\xec\xc5\x02\xc9\xb1\x14_9P\xcb}>8BDo\x81\xa4\xf0\xdf\x1d\xf57\xce\xe19\xefd\xea\x98K\xd9"
  </zerohashes-cache>
</beacon-chain>
<beacon-chain>
  <k>
    "\x89\xb1\xb0=\xf6\xed\xee[!^\xe8\x12\xf1\x9d\xfaa\xde\xc9!\xb5\xe2=|\f&\xf2lS\xaf\xe9\f\xd6"
  </k>
  <state>
    <genesis-time>
      0
    </genesis-time>
    <slot>
      0
    </slot>
    <fork>
      .Fork
    </fork>
    <latest-block-header>
      .BlockHeader
    </latest-block-header>
    <block-roots>
      .Map
    </block-roots>
    <state-roots>
      .Map
    </state-roots>
    <historical-roots>
      .BytesList
    </historical-roots>
    <eth1-data>
      .Eth1Data
    </eth1-data>
    <eth1-data-votes>
      .Eth1DataList
    </eth1-data-votes>
    <eth1-deposit-index>
      0
    </eth1-deposit-index>
    <validators>
      .Map
    </validators>
    <balances>
      .Map
    </balances>
    <randao-mixes>
      .BytesList
    </randao-mixes>
    <slashings>
      .Map
    </slashings>
    <previous-epoch-attestations>
      .PendingAttestationList
    </previous-epoch-attestations>
    <current-epoch-attestations>
      .PendingAttestationList
    </current-epoch-attestations>
    <justification-bits>
      .BitList
    </justification-bits>
    <previous-justified-checkpoint>
      .Checkpoint
    </previous-justified-checkpoint>
    <current-justified-checkpoint>
      .Checkpoint
    </current-justified-checkpoint>
    <finalized-checkpoint>
      .Checkpoint
    </finalized-checkpoint>
  </state>
  <zerohashes-cache>
    0 |-> "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
    1 |-> "\xf5\xa5\xfdB\xd1j 0'\x98\xefn\xd3\t\x97\x9bC\x00=# \xd9\xf0\xe8\xea\x981\xa9'Y\xfbK"
    2 |-> "\xdbV\x11N\x00\xfd\xd4\xc1\xf8\\\x89+\xf3Z\xc9\xa8\x92\x89\xaa\xec\xb1\xeb\xd0\xa9l\xde`jt\x8b]q"
    3 |-> "\xc7\x80\t\xfd\xf0\x7f\xc5j\x11\xf1\"7\x06X\xa3S\xaa\xa5B\xedc\xe4LK\xc1_\xf4\xcd\x10Z\xb3<"
    4 |-> "Sm\x98\x83\x7f-\xd1e\xa5]^\xea\xe9\x14\x85\x95Dr\xd5o$m\xf2V\xbf<\xae\x195*\x12<"
    5 |-> "\x9e\xfd\xe0R\xaa\x15B\x9f\xae\x05\xba\xd4\xd0\xb1\xd7\xc6M\xa6M\x03\xd7\xa1\x85JX\x8c,\xb8C\f\r0"
    6 |-> "\xd8\x8d\xdf\xee\xd4\x00\xa8uU\x96\xb2\x19B\xc1I~\x11L0.a\x18)\x0f\x91\xe6w)v\x04\x1f\xa1"
    7 |-> "\x87\xeb\r\xdb\xa5~5\xf6\xd2\x86g8\x02\xa4\xafYu\xe2%\x06\xc7\xcfLd\xbbk\xe5\xee\x11R\x7f,"
    8 |-> "&\x84dv\xfd_\xc5J]C8Qg\xc9QD\xf2d?S<\xc8[\xb9\xd1kx/\x8d}\xb1\x93"
    9 |-> "Pm\x86X-%$\x05\xb8@\x01\x87\x92\xca\xd2\xbf\x12Y\xf1\xefZ\xa5\xf8\x87\xe1<\xb2\xf0\tOQ\xe1"
    10 |-> "\xff\xff\n\xd7\xe6Yw/\x954\xc1\x95\xc8\x15\xef\xc4\x01N\xf1\xe1\xda\xedD\x04\xc0c\x85\xd1\x11\x92\xe9+"
    11 |-> "l\xf0A'\xdb\x05D\x1c\xd83\x10zR\xbe\x85(h\x89\x0eC\x17\xe6\xa0*\xb4v\x83\xaau\x96B "
    12 |-> "\xb7\xd0_\x87_\x14\x00'\xefQ\x18\xa2${\xbb\x84\xce\x8f/\x0f\x11#b0\x85\xda\xf7\x96\f2\x9f_"
    13 |-> "\xdfj\xf5\xf5\xbb\xdbk\xe9\xef\x8a\xa6\x18\xe4\xbf\x80s\x96\x08g\x17\x1e)go\x8b(M\xeaj\x08\xa8^"
    14 |-> "\xb5\x8d\x90\x0f^\x18.<P\xeft\x96\x9e\xa1lw&\xc5Iu|\xc25#\xc3iX}\xa7)7\x84"
    15 |-> "\xd4\x9au\x02\xff\xcf\xb04\x0b\x1dx\x85h\x85\x00\xca0\x81a\xa7\xf9kb\xdf\x9d\x08;q\xfc\xc8\xf2\xbb"
    16 |-> "\x8f\xe6\xb1h\x92V\xc0\xd3\x85\xf4/[\xbe '\xa2,\x19\x96\xe1\x10\xba\x97\xc1q\xd3\xe5\x94\x8d\xe9+\xeb"
    17 |-> "\x8d\rc\xc3\x9e\xba\xde\x85\t\xe0\xae<\x9c8v\xfb_\xa1\x12\xbe\x18\xf9\x05\xec\xac\xfe\xcb\x92\x05v\x03\xab"
    18 |-> "\x95\xee\xc8\xb2\xe5A\xca\xd4\xe9\x1d\xe3\x83\x85\xf2\xe0Fa\x9fTIl#\x82\xcbl\xac\xd5\xb9\x8c&\xf5\xa4"
    19 |-> "\xf8\x93\xe9\x08\x91wu\xb6+\xff#)M\xbb\xe3\xa1\xcd\x8el\xc1\xc3[H\x01\x88{djo\x81\xf1\x7f"
    20 |-> "\xcd\xdb\xa7\xb5\x92\xe3\x133\x93\xc1a\x94\xfa\xc7C\x1a\xbf/T\x85\xedq\x1d\xb2\x82\x18<\x81\x9e\x08\xeb\xaa"
    21 |-> "\x8a\x8d\x7f\xe3\xaf\x8c\xaa\x08Zv9\xa82\x00\x14W\xdf\xb9\x12\x8a\x80a\x14*\xd03V)\xff#\xff\x9c"
    22 |-> "\xfe\xb3\xc37\xd7\xa5\x1ao\xbf\x00\xb9\xe3LR\xe1\xc9\x19\\\x96\x9b\xd4\xe7\xa0\xbf\xd5\x1d\\[\xed\x9c\x11g"
    23 |-> "\xe7\x1f\n\xa8<\xc3.\xdf\xbe\xfa\x9fM>\x01t\xca\x85\x18.\xec\x9f:\t\xf6\xa6\xc0\xdfcw\xa5\x10\xd7"
    24 |-> "1 o\xa8\nP\xbbj\xbe)\x08PX\xf1b\x12!*`\xee\xc8\xf0I\xfe\xcb\x92\xd8\xc8\xe0\xa8K\xc0"
    25 |-> "!5+\xfe\xcb\xed\xdd\xe9\x93\x83\x9faL=\xac\n>\xe3uC\xf9\xb4\x12\xb1a\x99\xdc\x15\x8e#\xb5D"
    26 |-> "a\x9e1'$\xbbm|1S\xed\x9d\xe7\x91\xd7d\xa3f\xb3\x89\xaf\x13\xc5\x8b\xf8\xa8\xd9\x04\x81\xa4ge"
    27 |-> "|\xdd)\x86&\x82Pb\x8d\f\x10\xe3\x85\xc5\x8ca\x91\xe6\xfb\xe0Q\x91\xbc\xc0O\x13?,\xear\xc1\xc4"
    28 |-> "\x84\x890\xbd{\xa8\xca\xc5Fa\x07!\x13\xfb'\x88i\xe0{\xb8X\x7f\x919)37M\x01{\xcb\xe1"
    29 |-> "\x88i\xff,\"\xb2\x8c\xc1\x05\x10\xd9\x852\x92\x803(\xbeO\xb0\xe8\x04\x95\xe8\xbb\x8d'\x1f[\x88\x966"
    30 |-> "\xb5\xfe(\xe7\x9f\x1b\x85\x0f\x86X$l\xe9\xb6\xa1\xe7\xb4\x9f\xc0m\xb7\x14>\x8f\xe0\xb4\xf2\xb0\xc5R:\\"
    31 |-> "\x98^\x92\x9fp\xaf(\xd0\xbd\xd1\xa9\n\x80\x8f\x97\x7fY||w\x8cH\x9e\x98\xd3\xbd\x89\x10\xd3\x1a\xc0\xf7"
    32 |-> "\xc6\xf6~\x02\xe6\xe4\xe1\xbd\xef\xb9\x94\xc6\t\x89S\xf3F6\xba+l\xa2\nG!\xd2\xb2j\x88g\"\xff"
    33 |-> "\x1c\x9a~_\xf1\xcfH\xb4\xad\x15\x82\xd3\xf4\xe4\xa1\x00O; \xd8\xc5\xa2\xb7\x13\x87\xa4%J\xd93\xeb\xc5"
    34 |-> "/\x07Z\xe2)dkoj\xed\x19\xa5\xe3r\xcf)P\x81@\x1e\xb8\x93\xffY\x9b?\x9a\xcc\f\r>}"
    35 |-> "2\x89!\xde\xb5\x96\x12\x07h\x01\xe8\xcdaY!\x07\xb5\xc6|y\xb8FY\\\xc62\f9[F6,"
    36 |-> "\xbf\xb9\t\xfd\xb26\xad$\x11\xb4\xe4\x888\x10\xa0t\xb8@FF\x89\x98l?\x8a\x80\x91\x82~\x17\xc3'"
    37 |-> "U\xd8\xfb6\x87\xba;\xa4\x9f4,w\xf5\xa1\xf8\x9b\xec\x83\xd8\x11Dn\x1aFq9!=d\x0bjt"
    38 |-> "\xf7!\rO\x8e~\x109y\x0e{\xf4\xef\xa2\x07UZ\x10\xa6\xdb\x1d\xd4\xb9]\xa3\x13\xaa\xa8\x8b\x88\xfev"
    39 |-> "\xad!\xb5\x16\xcb\xc6E\xff\xe3J\xb5\xde\x1c\x8a\xef\x8c\xd4\xe7\xf8\xd2\xb5\x1e\x8e\x14V\xad\xc7V<\xda o"
    40 |-> "k\xfe\x8d+\xccB7\xb7JPG\x05\x8e\xf4U3\x9e\xcds`\xcbc\xbf\xbb\x8e\xe5D\x8ed0\xba\x04"
    41 |-> "\xa7\xf2<\xe9\x18\x17@\xdc\"\f\x81G\x82eO\xeej\xce\xb9\xf1\xec\x92\"\xc4\xe2F}\n\xb1h\x087"
    42 |-> "\xae\xf9Gl\x89Y\n,\x8c\xc9\xb3\xb7OIg\xc7W\xc4\x9d\x98f\xa4K\xac\xf2\x1f\xa2\xedg]\xdf\xa2"
    43 |-> "\x9aB\xbc\xad\x82\xf6\xa9\xe4\x12\x84\xd8\x08\xea\xd3\x19\xf2\x9f;\x08 \x9dh\x0f\x0e,\xe7\x15\x10\xd0q\xe2\x05"
    44 |-> "\xd1\xa6m5Jg\xb9\xcf\x17\x95q\xd8\xe5\xf9w\x92qn\x8d\xd4\xecD\x19h9\xa3\xf7\xc6\xb7O\x8b\xac"
    45 |-> "\xfa\xfa0%\xf2\xf8\x95\t\xc2\xc7\x1ct\xfb\xa0\xcd\x92\x85\x8e\xf4\x9b\x07\x80\xfbTytl\x8a\x9b\xfc\xb3F"
    46 |-> "34\xa7\xc1\xe7\xf6pZ\xa6\x01\x1aj\x94\x96E\x01m\xb4\xac\xde\f\xa9\xab\xd6m\xc7\x9d\x82fB0V"
    47 |-> "\x07\x96\xfdufO\xae\xf7D\xeeNR\xd7'\x1e+\xbbv\x9f\x91\xedo\x9bt\xd8\xb6\x94\xf5f\x06\x85,"
    48 |-> "{\xa3\xaeJA\x7f\xe8T[\x14+\xc8\x9fJ\xdc\xd7\xae\x13\x94\x1c\xba\xb7u\x0b\x83\xe9\xf0\xa6m\x16\xbed"
    49 |-> "x\x8f\xaf\xccJ\xa5 9\x9a\xdb\xae\xd1\x95\xf8\xb1,N\xb3\x1e\xc1\x01h\xe5\n\xab\xc6Y\xa6\xae\xa5\x16\xdc"
    50 |-> "\xe83\xd7\xa6q`\xe6\x8b\xf4\xc9\x04JS\x07}\xf2rz\xd0\f\xf3oII\xc7\xb6\x81\xa9\x12\x14\f\xbb"
    51 |-> "0\x9e\xab\xf0\x95\xdcg\x14\xf9\xf4\xd8d\xbb\xa5\xaf\xfa\xe0\xb3Z\xe2\xf5\xe3V[\xcc:G\xb2\x12vw\x01"
    52 |-> "\"j\x8e\xbe\xfa(\x86e\xa6D\xa5\x02s3^\xfb\xb6\x10Q\x0f$\x1b[r\f\x8a6\x8dY\xa6\x9a]"
    53 |-> "A\xab\xfd\x99T%\x82v%\x93\x811\xaf\fO3\xfe\x0b\xd4h\x8c\",!\xfa\x9d\xa8\xe8\x9c\xaa\x03\xf8"
    54 |-> "D,d.\xf5\x0f\xa1\xa6g\xa6\xe6\xd1\x05\xc7|\\\xc3\xfe\xc8\xd7\xaa%p\xcf\x1a0w\xb5\x03\xc3\x80i"
    55 |-> "\xa0\xa0\x8d\xfc\x9bB\xd9l-\xe1\x9bm\x12{\x8a\xe16\xdd\xcf>Z\xd0\xdc\xe4\"\xc4ZV\xf6\x1fjt"
    56 |-> "}4\x83\x82\xaf\tm\xbe\x0b\xf0\x86\xc7\xbb9\xb2\xa2\xc0\xbc6\xb6!\xab\fs\x8e\x98\x85\xd71\xd8\x17@"
    57 |-> ":\xb14u\x1d\x19\x12i\x02l\x86\x99N\xaa\x8bC\xa8;J\xd1\xf6\xd0\xe7s\x81\xc4\xe2\x97J\xfb\xc8\xf6"
    58 |-> "\x9atRa\x1d\xb2\xd2>\xae&\xf9\xbd\xbb\x88\x95\x8e\xf4Ld\xd0\xfe\x98{\xe9\xf7&\xad\xf98\xf5\x0fl"
    59 |-> "r\\\x7f\x81`7\xbf\xe4R\xcd\x1e{\xa3Z\xc4~\xdc\xb4\x9a\x9a+'\xae\xcap\xdc\xe4\x83\xcb}\xed\x1f"
    60 |-> ",\xea\x1a\xf5\x1f\xb2\x8bb\x88|9\x99\x8a\xc9\xfe\xf4\xdf\xde\xda\x1f\x07\xe0q\xbaU\x8a\x17:\xfd\x06\xcb\xc3"
    61 |-> "\xff\x1dY\xf9\x8blU\x1d\x95\x08\x93W\x05}\\\x8b\xe2d\x02'\x9e\x9d\xf0\xb1\xdf\x1a\x10\xb7+\xf3\x92\x7f"
    62 |-> "/\x8a\x18\x1f|\x99\xdd!Zu)\xbf\xe2\x96\xa9`:\x14Fsq\x86\xd2\x1a\xeb\x8b\xc7\xaeY\xe1\xfd!"
    63 |-> "\xec\xc5\x02\xc9\xb1\x14_9P\xcb}>8BDo\x81\xa4\xf0\xdf\x1d\xf57\xce\xe19\xefd\xea\x98K\xd9"
  </zerohashes-cache>
</beacon-chain>
<beacon-chain>
  <k>
    "\xaa\x98\xbft\x17\x80g\"U8\x9c\x86F=\xe0\x97\xdeI?H\xa8\xab\x91\x8f\xaa\xd0\x99\xc0]\xb37\x82"
  </k>
  <state>
    <genesis-time>
      0
    </genesis-time>
    <slot>
      0
    </slot>
    <fork>
      .Fork
    </fork>
    <latest-block-header>
      .BlockHeader
    </latest-block-header>
    <block-roots>
      .Map
    </block-roots>
    <state-roots>
      .Map
    </state-roots>
    <historical-roots>
      .BytesList
    </historical-roots>
    <eth1-data>
      .Eth1Data
    </eth1-data>
    <eth1-data-votes>
      .Eth1DataList
    </eth1-data-votes>
    <eth1-deposit-index>
      0
    </eth1-deposit-index>
    <validators>
      .Map
    </validators>
    <balances>
      .Map
    </balances>
    <randao-mixes>
      .BytesList
    </randao-mixes>
    <slashings>
      .Map
    </slashings>
    <previous-epoch-attestations>
      .PendingAttestationList
    </previous-epoch-attestations>
    <current-epoch-attestations>
      .PendingAttestationList
    </current-epoch-attestations>
    <justification-bits>
      .BitList
    </justification-bits>
    <previous-justified-checkpoint>
      .Checkpoint
    </previous-justified-checkpoint>
    <current-justified-checkpoint>
      .Checkpoint
    </current-justified-checkpoint>
    <finalized-checkpoint>
      .Checkpoint
    </finalized-checkpoint>
  </state>
  <zerohashes-cache>
    0 |-> "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
    1 |-> "\xf5\xa5\xfdB\xd1j 0'\x98\xefn\xd3\t\x97\x9bC\x00=# \xd9\xf0\xe8\xea\x981\xa9'Y\xfbK"
    2 |-> "\xdbV\x11N\x00\xfd\xd4\xc1\xf8\\\x89+\xf3Z\xc9\xa8\x92\x89\xaa\xec\xb1\xeb\xd0\xa9l\xde`jt\x8b]q"
    3 |-> "\xc7\x80\t\xfd\xf0\x7f\xc5j\x11\xf1\"7\x06X\xa3S\xaa\xa5B\xedc\xe4LK\xc1_\xf4\xcd\x10Z\xb3<"
    4 |-> "Sm\x98\x83\x7f-\xd1e\xa5]^\xea\xe9\x14\x85\x95Dr\xd5o$m\xf2V\xbf<\xae\x195*\x12<"
    5 |-> "\x9e\xfd\xe0R\xaa\x15B\x9f\xae\x05\xba\xd4\xd0\xb1\xd7\xc6M\xa6M\x03\xd7\xa1\x85JX\x8c,\xb8C\f\r0"
    6 |-> "\xd8\x8d\xdf\xee\xd4\x00\xa8uU\x96\xb2\x19B\xc1I~\x11L0.a\x18)\x0f\x91\xe6w)v\x04\x1f\xa1"
    7 |-> "\x87\xeb\r\xdb\xa5~5\xf6\xd2\x86g8\x02\xa4\xafYu\xe2%\x06\xc7\xcfLd\xbbk\xe5\xee\x11R\x7f,"
    8 |-> "&\x84dv\xfd_\xc5J]C8Qg\xc9QD\xf2d?S<\xc8[\xb9\xd1kx/\x8d}\xb1\x93"
    9 |-> "Pm\x86X-%$\x05\xb8@\x01\x87\x92\xca\xd2\xbf\x12Y\xf1\xefZ\xa5\xf8\x87\xe1<\xb2\xf0\tOQ\xe1"
    10 |-> "\xff\xff\n\xd7\xe6Yw/\x954\xc1\x95\xc8\x15\xef\xc4\x01N\xf1\xe1\xda\xedD\x04\xc0c\x85\xd1\x11\x92\xe9+"
    11 |-> "l\xf0A'\xdb\x05D\x1c\xd83\x10zR\xbe\x85(h\x89\x0eC\x17\xe6\xa0*\xb4v\x83\xaau\x96B "
    12 |-> "\xb7\xd0_\x87_\x14\x00'\xefQ\x18\xa2${\xbb\x84\xce\x8f/\x0f\x11#b0\x85\xda\xf7\x96\f2\x9f_"
    13 |-> "\xdfj\xf5\xf5\xbb\xdbk\xe9\xef\x8a\xa6\x18\xe4\xbf\x80s\x96\x08g\x17\x1e)go\x8b(M\xeaj\x08\xa8^"
    14 |-> "\xb5\x8d\x90\x0f^\x18.<P\xeft\x96\x9e\xa1lw&\xc5Iu|\xc25#\xc3iX}\xa7)7\x84"
    15 |-> "\xd4\x9au\x02\xff\xcf\xb04\x0b\x1dx\x85h\x85\x00\xca0\x81a\xa7\xf9kb\xdf\x9d\x08;q\xfc\xc8\xf2\xbb"
    16 |-> "\x8f\xe6\xb1h\x92V\xc0\xd3\x85\xf4/[\xbe '\xa2,\x19\x96\xe1\x10\xba\x97\xc1q\xd3\xe5\x94\x8d\xe9+\xeb"
    17 |-> "\x8d\rc\xc3\x9e\xba\xde\x85\t\xe0\xae<\x9c8v\xfb_\xa1\x12\xbe\x18\xf9\x05\xec\xac\xfe\xcb\x92\x05v\x03\xab"
    18 |-> "\x95\xee\xc8\xb2\xe5A\xca\xd4\xe9\x1d\xe3\x83\x85\xf2\xe0Fa\x9fTIl#\x82\xcbl\xac\xd5\xb9\x8c&\xf5\xa4"
    19 |-> "\xf8\x93\xe9\x08\x91wu\xb6+\xff#)M\xbb\xe3\xa1\xcd\x8el\xc1\xc3[H\x01\x88{djo\x81\xf1\x7f"
    20 |-> "\xcd\xdb\xa7\xb5\x92\xe3\x133\x93\xc1a\x94\xfa\xc7C\x1a\xbf/T\x85\xedq\x1d\xb2\x82\x18<\x81\x9e\x08\xeb\xaa"
    21 |-> "\x8a\x8d\x7f\xe3\xaf\x8c\xaa\x08Zv9\xa82\x00\x14W\xdf\xb9\x12\x8a\x80a\x14*\xd03V)\xff#\xff\x9c"
    22 |-> "\xfe\xb3\xc37\xd7\xa5\x1ao\xbf\x00\xb9\xe3LR\xe1\xc9\x19\\\x96\x9b\xd4\xe7\xa0\xbf\xd5\x1d\\[\xed\x9c\x11g"
    23 |-> "\xe7\x1f\n\xa8<\xc3.\xdf\xbe\xfa\x9fM>\x01t\xca\x85\x18.\xec\x9f:\t\xf6\xa6\xc0\xdfcw\xa5\x10\xd7"
    24 |-> "1 o\xa8\nP\xbbj\xbe)\x08PX\xf1b\x12!*`\xee\xc8\xf0I\xfe\xcb\x92\xd8\xc8\xe0\xa8K\xc0"
    25 |-> "!5+\xfe\xcb\xed\xdd\xe9\x93\x83\x9faL=\xac\n>\xe3uC\xf9\xb4\x12\xb1a\x99\xdc\x15\x8e#\xb5D"
    26 |-> "a\x9e1'$\xbbm|1S\xed\x9d\xe7\x91\xd7d\xa3f\xb3\x89\xaf\x13\xc5\x8b\xf8\xa8\xd9\x04\x81\xa4ge"
    27 |-> "|\xdd)\x86&\x82Pb\x8d\f\x10\xe3\x85\xc5\x8ca\x91\xe6\xfb\xe0Q\x91\xbc\xc0O\x13?,\xear\xc1\xc4"
    28 |-> "\x84\x890\xbd{\xa8\xca\xc5Fa\x07!\x13\xfb'\x88i\xe0{\xb8X\x7f\x919)37M\x01{\xcb\xe1"
    29 |-> "\x88i\xff,\"\xb2\x8c\xc1\x05\x10\xd9\x852\x92\x803(\xbeO\xb0\xe8\x04\x95\xe8\xbb\x8d'\x1f[\x88\x966"
    30 |-> "\xb5\xfe(\xe7\x9f\x1b\x85\x0f\x86X$l\xe9\xb6\xa1\xe7\xb4\x9f\xc0m\xb7\x14>\x8f\xe0\xb4\xf2\xb0\xc5R:\\"
    31 |-> "\x98^\x92\x9fp\xaf(\xd0\xbd\xd1\xa9\n\x80\x8f\x97\x7fY||w\x8cH\x9e\x98\xd3\xbd\x89\x10\xd3\x1a\xc0\xf7"
    32 |-> "\xc6\xf6~\x02\xe6\xe4\xe1\xbd\xef\xb9\x94\xc6\t\x89S\xf3F6\xba+l\xa2\nG!\xd2\xb2j\x88g\"\xff"
    33 |-> "\x1c\x9a~_\xf1\xcfH\xb4\xad\x15\x82\xd3\xf4\xe4\xa1\x00O; \xd8\xc5\xa2\xb7\x13\x87\xa4%J\xd93\xeb\xc5"
    34 |-> "/\x07Z\xe2)dkoj\xed\x19\xa5\xe3r\xcf)P\x81@\x1e\xb8\x93\xffY\x9b?\x9a\xcc\f\r>}"
    35 |-> "2\x89!\xde\xb5\x96\x12\x07h\x01\xe8\xcdaY!\x07\xb5\xc6|y\xb8FY\\\xc62\f9[F6,"
    36 |-> "\xbf\xb9\t\xfd\xb26\xad$\x11\xb4\xe4\x888\x10\xa0t\xb8@FF\x89\x98l?\x8a\x80\x91\x82~\x17\xc3'"
    37 |-> "U\xd8\xfb6\x87\xba;\xa4\x9f4,w\xf5\xa1\xf8\x9b\xec\x83\xd8\x11Dn\x1aFq9!=d\x0bjt"
    38 |-> "\xf7!\rO\x8e~\x109y\x0e{\xf4\xef\xa2\x07UZ\x10\xa6\xdb\x1d\xd4\xb9]\xa3\x13\xaa\xa8\x8b\x88\xfev"
    39 |-> "\xad!\xb5\x16\xcb\xc6E\xff\xe3J\xb5\xde\x1c\x8a\xef\x8c\xd4\xe7\xf8\xd2\xb5\x1e\x8e\x14V\xad\xc7V<\xda o"
    40 |-> "k\xfe\x8d+\xccB7\xb7JPG\x05\x8e\xf4U3\x9e\xcds`\xcbc\xbf\xbb\x8e\xe5D\x8ed0\xba\x04"
    41 |-> "\xa7\xf2<\xe9\x18\x17@\xdc\"\f\x81G\x82eO\xeej\xce\xb9\xf1\xec\x92\"\xc4\xe2F}\n\xb1h\x087"
    42 |-> "\xae\xf9Gl\x89Y\n,\x8c\xc9\xb3\xb7OIg\xc7W\xc4\x9d\x98f\xa4K\xac\xf2\x1f\xa2\xedg]\xdf\xa2"
    43 |-> "\x9aB\xbc\xad\x82\xf6\xa9\xe4\x12\x84\xd8\x08\xea\xd3\x19\xf2\x9f;\x08 \x9dh\x0f\x0e,\xe7\x15\x10\xd0q\xe2\x05"
    44 |-> "\xd1\xa6m5Jg\xb9\xcf\x17\x95q\xd8\xe5\xf9w\x92qn\x8d\xd4\xecD\x19h9\xa3\xf7\xc6\xb7O\x8b\xac"
    45 |-> "\xfa\xfa0%\xf2\xf8\x95\t\xc2\xc7\x1ct\xfb\xa0\xcd\x92\x85\x8e\xf4\x9b\x07\x80\xfbTytl\x8a\x9b\xfc\xb3F"
    46 |-> "34\xa7\xc1\xe7\xf6pZ\xa6\x01\x1aj\x94\x96E\x01m\xb4\xac\xde\f\xa9\xab\xd6m\xc7\x9d\x82fB0V"
    47 |-> "\x07\x96\xfdufO\xae\xf7D\xeeNR\xd7'\x1e+\xbbv\x9f\x91\xedo\x9bt\xd8\xb6\x94\xf5f\x06\x85,"
    48 |-> "{\xa3\xaeJA\x7f\xe8T[\x14+\xc8\x9fJ\xdc\xd7\xae\x13\x94\x1c\xba\xb7u\x0b\x83\xe9\xf0\xa6m\x16\xbed"
    49 |-> "x\x8f\xaf\xccJ\xa5 9\x9a\xdb\xae\xd1\x95\xf8\xb1,N\xb3\x1e\xc1\x01h\xe5\n\xab\xc6Y\xa6\xae\xa5\x16\xdc"
    50 |-> "\xe83\xd7\xa6q`\xe6\x8b\xf4\xc9\x04JS\x07}\xf2rz\xd0\f\xf3oII\xc7\xb6\x81\xa9\x12\x14\f\xbb"
    51 |-> "0\x9e\xab\xf0\x95\xdcg\x14\xf9\xf4\xd8d\xbb\xa5\xaf\xfa\xe0\xb3Z\xe2\xf5\xe3V[\xcc:G\xb2\x12vw\x01"
    52 |-> "\"j\x8e\xbe\xfa(\x86e\xa6D\xa5\x02s3^\xfb\xb6\x10Q\x0f$\x1b[r\f\x8a6\x8dY\xa6\x9a]"
    53 |-> "A\xab\xfd\x99T%\x82v%\x93\x811\xaf\fO3\xfe\x0b\xd4h\x8c\",!\xfa\x9d\xa8\xe8\x9c\xaa\x03\xf8"
    54 |-> "D,d.\xf5\x0f\xa1\xa6g\xa6\xe6\xd1\x05\xc7|\\\xc3\xfe\xc8\xd7\xaa%p\xcf\x1a0w\xb5\x03\xc3\x80i"
    55 |-> "\xa0\xa0\x8d\xfc\x9bB\xd9l-\xe1\x9bm\x12{\x8a\xe16\xdd\xcf>Z\xd0\xdc\xe4\"\xc4ZV\xf6\x1fjt"
    56 |-> "}4\x83\x82\xaf\tm\xbe\x0b\xf0\x86\xc7\xbb9\xb2\xa2\xc0\xbc6\xb6!\xab\fs\x8e\x98\x85\xd71\xd8\x17@"
    57 |-> ":\xb14u\x1d\x19\x12i\x02l\x86\x99N\xaa\x8bC\xa8;J\xd1\xf6\xd0\xe7s\x81\xc4\xe2\x97J\xfb\xc8\xf6"
    58 |-> "\x9atRa\x1d\xb2\xd2>\xae&\xf9\xbd\xbb\x88\x95\x8e\xf4Ld\xd0\xfe\x98{\xe9\xf7&\xad\xf98\xf5\x0fl"
    59 |-> "r\\\x7f\x81`7\xbf\xe4R\xcd\x1e{\xa3Z\xc4~\xdc\xb4\x9a\x9a+'\xae\xcap\xdc\xe4\x83\xcb}\xed\x1f"
    60 |-> ",\xea\x1a\xf5\x1f\xb2\x8bb\x88|9\x99\x8a\xc9\xfe\xf4\xdf\xde\xda\x1f\x07\xe0q\xbaU\x8a\x17:\xfd\x06\xcb\xc3"
    61 |-> "\xff\x1dY\xf9\x8blU\x1d\x95\x08\x93W\x05}\\\x8b\xe2d\x02'\x9e\x9d\xf0\xb1\xdf\x1a\x10\xb7+\xf3\x92\x7f"
    62 |-> "/\x8a\x18\x1f|\x99\xdd!Zu)\xbf\xe2\x96\xa9`:\x14Fsq\x86\xd2\x1a\xeb\x8b\xc7\xaeY\xe1\xfd!"
    63 |-> "\xec\xc5\x02\xc9\xb1\x14_9P\xcb}>8BDo\x81\xa4\xf0\xdf\x1d\xf57\xce\xe19\xefd<beacon-chain>
  <k>
    "\x0e\xd6F\xd6M\x08\x1d\xac\x82ad\f\x18cPIMv~\xd9{nG~\xae\x7f\xd1C\x0e|%\xad"
  </k>
  <state>
    <genesis-time>
      0
    </genesis-time>
    <slot>
      0
    </slot>
    <fork>
      .Fork
    </fork>
    <latest-block-header>
      .BlockHeader
    </latest-block-header>
    <block-roots>
      .Map
    </block-roots>
    <state-roots>
      .Map
    </state-roots>
    <historical-roots>
      .BytesList
    </historical-roots>
    <eth1-data>
      .Eth1Data
    </eth1-data>
    <eth1-data-votes>
      .Eth1DataList
    </eth1-data-votes>
    <eth1-deposit-index>
      0
    </eth1-deposit-index>
    <validators>
      .Map
    </validators>
    <balances>
      .Map
    </balances>
    <randao-mixes>
      .BytesList
    </randao-mixes>
    <slashings>
      .Map
    </slashings>
    <previous-epoch-attestations>
      .PendingAttestationList
    </previous-epoch-attestations>
    <current-epoch-attestations>
      .PendingAttestationList
    </current-epoch-attestations>
    <justification-bits>
      .BitList
    </justification-bits>
    <previous-justified-checkpoint>
      .Checkpoint
    </previous-justified-checkpoint>
    <current-justified-checkpoint>
      .Checkpoint
    </current-justified-checkpoint>
    <finalized-checkpoint>
      .Checkpoint
    </finalized-checkpoint>
  </state>
  <zerohashes-cache>
    0 |-> "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
    1 |-> "\xf5\xa5\xfdB\xd1j 0'\x98\xefn\xd3\t\x97\x9bC\x00=# \xd9\xf0\xe8\xea\x981\xa9'Y\xfbK"
    2 |-> "\xdbV\x11N\x00\xfd\xd4\xc1\xf8\\\x89+\xf3Z\xc9\xa8\x92\x89\xaa\xec\xb1\xeb\xd0\xa9l\xde`jt\x8b]q"
    3 |-> "\xc7\x80\t\xfd\xf0\x7f\xc5j\x11\xf1\"7\x06X\xa3S\xaa\xa5B\xedc\xe4LK\xc1_\xf4\xcd\x10Z\xb3<"
    4 |-> "Sm\x98\x83\x7f-\xd1e\xa5]^\xea\xe9\x14\x85\x95Dr\xd5o$m\xf2V\xbf<\xae\x195*\x12<"
    5 |-> "\x9e\xfd\xe0R\xaa\x15B\x9f\xae\x05\xba\xd4\xd0\xb1\xd7\xc6M\xa6M\x03\xd7\xa1\x85JX\x8c,\xb8C\f\r0"
    6 |-> "\xd8\x8d\xdf\xee\xd4\x00\xa8uU\x96\xb2\x19B\xc1I~\x11L0.a\x18)\x0f\x91\xe6w)v\x04\x1f\xa1"
    7 |-> "\x87\xeb\r\xdb\xa5~5\xf6\xd2\x86g8\x02\xa4\xafYu\xe2%\x06\xc7\xcfLd\xbbk\xe5\xee\x11R\x7f,"
    8 |-> "&\x84dv\xfd_\xc5J]C8Qg\xc9QD\xf2d?S<\xc8[\xb9\xd1kx/\x8d}\xb1\x93"
    9 |-> "Pm\x86X-%$\x05\xb8@\x01\x87\x92\xca\xd2\xbf\x12Y\xf1\xefZ\xa5\xf8\x87\xe1<\xb2\xf0\tOQ\xe1"
    10 |-> "\xff\xff\n\xd7\xe6Yw/\x954\xc1\x95\xc8\x15\xef\xc4\x01N\xf1\xe1\xda\xedD\x04\xc0c\x85\xd1\x11\x92\xe9+"
    11 |-> "l\xf0A'\xdb\x05D\x1c\xd83\x10zR\xbe\x85(h\x89\x0eC\x17\xe6\xa0*\xb4v\x83\xaau\x96B "
    12 |-> "\xb7\xd0_\x87_\x14\x00'\xefQ\x18\xa2${\xbb\x84\xce\x8f/\x0f\x11#b0\x85\xda\xf7\x96\f2\x9f_"
    13 |-> "\xdfj\xf5\xf5\xbb\xdbk\xe9\xef\x8a\xa6\x18\xe4\xbf\x80s\x96\x08g\x17\x1e)go\x8b(M\xeaj\x08\xa8^"
    14 |-> "\xb5\x8d\x90\x0f^\x18.<P\xeft\x96\x9e\xa1lw&\xc5Iu|\xc25#\xc3iX}\xa7)7\x84"
    15 |-> "\xd4\x9au\x02\xff\xcf\xb04\x0b\x1dx\x85h\x85\x00\xca0\x81a\xa7\xf9kb\xdf\x9d\x08;q\xfc\xc8\xf2\xbb"
    16 |-> "\x8f\xe6\xb1h\x92V\xc0\xd3\x85\xf4/[\xbe '\xa2,\x19\x96\xe1\x10\xba\x97\xc1q\xd3\xe5\x94\x8d\xe9+\xeb"
    17 |-> "\x8d\rc\xc3\x9e\xba\xde\x85\t\xe0\xae<\x9c8v\xfb_\xa1\x12\xbe\x18\xf9\x05\xec\xac\xfe\xcb\x92\x05v\x03\xab"
    18 |-> "\x95\xee\xc8\xb2\xe5A\xca\xd4\xe9\x1d\xe3\x83\x85\xf2\xe0Fa\x9fTIl#\x82\xcbl\xac\xd5\xb9\x8c&\xf5\xa4"
    19 |-> "\xf8\x93\xe9\x08\x91wu\xb6+\xff#)M\xbb\xe3\xa1\xcd\x8el\xc1\xc3[H\x01\x88{djo\x81\xf1\x7f"
    20 |-> "\xcd\xdb\xa7\xb5\x92\xe3\x133\x93\xc1a\x94\xfa\xc7C\x1a\xbf/T\x85\xedq\x1d\xb2\x82\x18<\x81\x9e\x08\xeb\xaa"
    21 |-> "\x8a\x8d\x7f\xe3\xaf\x8c\xaa\x08Zv9\xa82\x00\x14W\xdf\xb9\x12\x8a\x80a\x14*\xd03V)\xff#\xff\x9c"
    22 |-> "\xfe\xb3\xc37\xd7\xa5\x1ao\xbf\x00\xb9\xe3LR\xe1\xc9\x19\\\x96\x9b\xd4\xe7\xa0\xbf\xd5\x1d\\[\xed\x9c\x11g"
    23 |-> "\xe7\x1f\n\xa8<\xc3.\xdf\xbe\xfa\x9fM>\x01t\xca\x85\x18.\xec\x9f:\t\xf6\xa6\xc0\xdfcw\xa5\x10\xd7"
    24 |-> "1 o\xa8\nP\xbbj\xbe)\x08PX\xf1b\x12!*`\xee\xc8\xf0I\xfe\xcb\x92\xd8\xc8\xe0\xa8K\xc0"
    25 |-> "!5+\xfe\xcb\xed\xdd\xe9\x93\x83\x9faL=\xac\n>\xe3uC\xf9\xb4\x12\xb1a\x99\xdc\x15\x8e#\xb5D"
    26 |-> "a\x9e1'$\xbbm|1S\xed\x9d\xe7\x91\xd7d\xa3f\xb3\x89\xaf\x13\xc5\x8b\xf8\xa8\xd9\x04\x81\xa4ge"
    27 |-> "|\xdd)\x86&\x82Pb\x8d\f\x10\xe3\x85\xc5\x8ca\x91\xe6\xfb\xe0Q\x91\xbc\xc0O\x13?,\xear\xc1\xc4"
    28 |-> "\x84\x890\xbd{\xa8\xca\xc5Fa\x07!\x13\xfb'\x88i\xe0{\xb8X\x7f\x919)37M\x01{\xcb\xe1"
    29 |-> "\x88i\xff,\"\xb2\x8c\xc1\x05\x10\xd9\x852\x92\x803(\xbeO\xb0\xe8\x04\x95\xe8\xbb\x8d'\x1f[\x88\x966"
    30 |-> "\xb5\xfe(\xe7\x9f\x1b\x85\x0f\x86X$l\xe9\xb6\xa1\xe7\xb4\x9f\xc0m\xb7\x14>\x8f\xe0\xb4\xf2\xb0\xc5R:\\"
    31 |-> "\x98^\x92\x9fp\xaf(\xd0\xbd\xd1\xa9\n\x80\x8f\x97\x7fY||w\x8cH\x9e\x98\xd3\xbd\x89\x10\xd3\x1a\xc0\xf7"
    32 |-> "\xc6\xf6~\x02\xe6\xe4\xe1\xbd\xef\xb9\x94\xc6\t\x89S\xf3F6\xba+l\xa2\nG!\xd2\xb2j\x88g\"\xff"
    33 |-> "\x1c\x9a~_\xf1\xcfH\xb4\xad\x15\x82\xd3\xf4\xe4\xa1\x00O; \xd8\xc5\xa2\xb7\x13\x87\xa4%J\xd93\xeb\xc5"
    34 |-> "/\x07Z\xe2)dkoj\xed\x19\xa5\xe3r\xcf)P\x81@\x1e\xb8\x93\xffY\x9b?\x9a\xcc\f\r>}"
    35 |-> "2\x89!\xde\xb5\x96\x12\x07h\x01\xe8\xcdaY!\x07\xb5\xc6|y\xb8FY\\\xc62\f9[F6,"
    36 |-> "\xbf\xb9\t\xfd\xb26\xad$\x11\xb4\xe4\x888\x10\xa0t\xb8@FF\x89\x98l?\x8a\x80\x91\x82~\x17\xc3'"
    37 |-> "U\xd8\xfb6\x87\xba;\xa4\x9f4,w\xf5\xa1\xf8\x9b\xec\x83\xd8\x11Dn\x1aFq9!=d\x0bjt"
    38 |-> "\xf7!\rO\x8e~\x109y\x0e{\xf4\xef\xa2\x07UZ\x10\xa6\xdb\x1d\xd4\xb9]\xa3\x13\xaa\xa8\x8b\x88\xfev"
    39 |-> "\xad!\xb5\x16\xcb\xc6E\xff\xe3J\xb5\xde\x1c\x8a\xef\x8c\xd4\xe7\xf8\xd2\xb5\x1e\x8e\x14V\xad\xc7V<\xda o"
    40 |-> "k\xfe\x8d+\xccB7\xb7JPG\x05\x8e\xf4U3\x9e\xcds`\xcbc\xbf\xbb\x8e\xe5D\x8ed0\xba\x04"
    41 |-> "\xa7\xf2<\xe9\x18\x17@\xdc\"\f\x81G\x82eO\xeej\xce\xb9\xf1\xec\x92\"\xc4\xe2F}\n\xb1h\x087"
    42 |-> "\xae\xf9Gl\x89Y\n,\x8c\xc9\xb3\xb7OIg\xc7W\xc4\x9d\x98f\xa4K\xac\xf2\x1f\xa2\xedg]\xdf\xa2"
    43 |-> "\x9aB\xbc\xad\x82\xf6\xa9\xe4\x12\x84\xd8\x08\xea\xd3\x19\xf2\x9f;\x08 \x9dh\x0f\x0e,\xe7\x15\x10\xd0q\xe2\x05"
    44 |-> "\xd1\xa6m5Jg\xb9\xcf\x17\x95q\xd8\xe5\xf9w\x92qn\x8d\xd4\xecD\x19h9\xa3\xf7\xc6\xb7O\x8b\xac"
    45 |-> "\xfa\xfa0%\xf2\xf8\x95\t\xc2\xc7\x1ct\xfb\xa0\xcd\x92\x85\x8e\xf4\x9b\x07\x80\xfbTytl\x8a\x9b\xfc\xb3F"
    46 |-> "34\xa7\xc1\xe7\xf6pZ\xa6\x01\x1aj\x94\x96E\x01m\xb4\xac\xde\f\xa9\xab\xd6m\xc7\x9d\x82fB0V"
    47 |-> "\x07\x96\xfdufO\xae\xf7D\xeeNR\xd7'\x1e+\xbbv\x9f\x91\xedo\x9bt\xd8\xb6\x94\xf5f\x06\x85,"
    48 |-> "{\xa3\xaeJA\x7f\xe8T[\x14+\xc8\x9fJ\xdc\xd7\xae\x13\x94\x1c\xba\xb7u\x0b\x83\xe9\xf0\xa6m\x16\xbed"
    49 |-> "x\x8f\xaf\xccJ\xa5 9\x9a\xdb\xae\xd1\x95\xf8\xb1,N\xb3\x1e\xc1\x01h\xe5\n\xab\xc6Y\xa6\xae\xa5\x16\xdc"
    50 |-> "\xe83\xd7\xa6q`\xe6\x8b\xf4\xc9\x04JS\x07}\xf2rz\xd0\f\xf3oII\xc7\xb6\x81\xa9\x12\x14\f\xbb"
    51 |-> "0\x9e\xab\xf0\x95\xdcg\x14\xf9\xf4\xd8d\xbb\xa5\xaf\xfa\xe0\xb3Z\xe2\xf5\xe3V[\xcc:G\xb2\x12vw\x01"
    52 |-> "\"j\x8e\xbe\xfa(\x86e\xa6D\xa5\x02s3^\xfb\xb6\x10Q\x0f$\x1b[r\f\x8a6\x8dY\xa6\x9a]"
    53 |-> "A\xab\xfd\x99T%\x82v%\x93\x811\xaf\fO3\xfe\x0b\xd4h\x8c\",!\xfa\x9d\xa8\xe8\x9c\xaa\x03\xf8"
    54 |-> "D,d.\xf5\x0f\xa1\xa6g\xa6\xe6\xd1\x05\xc7|\\\xc3\xfe\xc8\xd7\xaa%p\xcf\x1a0w\xb5\x03\xc3\x80i"
    55 |-> "\xa0\xa0\x8d\xfc\x9bB\xd9l-\xe1\x9bm\x12{\x8a\xe16\xdd\xcf>Z\xd0\xdc\xe4\"\xc4ZV\xf6\x1fjt"
    56 |-> "}4\x83\x82\xaf\tm\xbe\x0b\xf0\x86\xc7\xbb9\xb2\xa2\xc0\xbc6\xb6!\xab\fs\x8e\x98\x85\xd71\xd8\x17@"
    57 |-> ":\xb14u\x1d\x19\x12i\x02l\x86\x99N\xaa\x8bC\xa8;J\xd1\xf6\xd0\xe7s\x81\xc4\xe2\x97J\xfb\xc8\xf6"
    58 |-> "\x9atRa\x1d\xb2\xd2>\xae&\xf9\xbd\xbb\x88\x95\x8e\xf4Ld\xd0\xfe\x98{\xe9\xf7&\xad\xf98\xf5\x0fl"
    59 |-> "r\\\x7f\x81`7\xbf\xe4R\xcd\x1e{\xa3Z\xc4~\xdc\xb4\x9a\x9a+'\xae\xcap\xdc\xe4\x83\xcb}\xed\x1f"
    60 |-> ",\xea\x1a\xf5\x1f\xb2\x8bb\x88|9\x99\x8a\xc9\xfe\xf4\xdf\xde\xda\x1f\x07\xe0q\xbaU\x8a\x17:\xfd\x06\xcb\xc3"
    61 |-> "\xff\x1dY\xf9\x8blU\x1d\x95\x08\x93W\x05}\\\x8b\xe2d\x02'\x9e\x9d\xf0\xb1\xdf\x1a\x10\xb7+\xf3\x92\x7f"
    62 |-> "/\x8a\x18\x1f|\x99\xdd!Zu)\xbf\xe2\x96\xa9`:\x14Fsq\x86\xd2\x1a\xeb\x8b\xc7\xaeY\xe1\xfd!"
    63 |-> "\xec\xc5\x02\xc9\xb1\x14_9P\xcb}>8BDo\x81\xa4\xf0\xdf\x1d\xf57\xce\xe19\xefd\xea\x98K\xd9"
  <\xea\x98K\xd9"
  </zerohashes-cache>
</beacon-chain>

roots.yaml file: tests/eth2.0-spec-tests/tests/minimal/phase0/ssz_static/HistoricalBatch/ssz_nil/case_0/roots.yaml


Running: deps/k/k-distribution/target/release/k/bin/krun --directory .build/defn/llvm /tmp/tmpx66lq8eq --term --parser cat
==========================================================================================================================
/zerohashes-cache>
</beacon-chain>
<beacon-chain>
  <k>
    "LK\f\xef\x8c2\xf1\x0eEM\xe6rV\xcf4\x1f\xa3J^9\xd0\xb3%\xb2\xeb\xd8\x0fS\xa6\x967,"
  </k>
  <state>
    <genesis-time>
      0
    </genesis-time>
    <slot>
      0
    </slot>
    <fork>
      .Fork
    </fork>
    <latest-block-header>
      .BlockHeader
    </latest-block-header>
    <block-roots>
      .Map
    </block-roots>
    <state-roots>
      .Map
    </state-roots>
    <historical-roots>
      .BytesList
    </historical-roots>
    <eth1-data>
      .Eth1Data
    </eth1-data>
    <eth1-data-votes>
      .Eth1DataList
    </eth1-data-votes>
    <eth1-deposit-index>
      0
    </eth1-deposit-index>
    <validators>
      .Map
    </validators>
    <balances>
      .Map
    </balances>
    <randao-mixes>
      .BytesList
    </randao-mixes>
    <slashings>
      .Map
    </slashings>
    <previous-epoch-attestations>
      .PendingAttestationList
    </previous-epoch-attestations>
    <current-epoch-attestations>
      .PendingAttestationList
    </current-epoch-attestations>
    <justification-bits>
      .BitList
    </justification-bits>
    <previous-justified-checkpoint>
      .Checkpoint
    </previous-justified-checkpoint>
    <current-justified-checkpoint>
      .Checkpoint
    </current-justified-checkpoint>
    <finalized-checkpoint>
      .Checkpoint
    </finalized-checkpoint>
  </state>
  <zerohashes-cache>
    0 |-> "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
    1 |-> "\xf5\xa5\xfdB\xd1j 0'\x98\xefn\xd3\t\x97\x9bC\x00=# \xd9\xf0\xe8\xea\x981\xa9'Y\xfbK"
    2 |-> "\xdbV\x11N\x00\xfd\xd4\xc1\xf8\\\x89+\xf3Z\xc9\xa8\x92\x89\xaa\xec\xb1\xeb\xd0\xa9l\xde`jt\x8b]q"
    3 |-> "\xc7\x80\t\xfd\xf0\x7f\xc5j\x11\xf1\"7\x06X\xa3S\xaa\xa5B\xedc\xe4LK\xc1_\xf4\xcd\x10Z\xb3<"
    4 |-> "Sm\x98\x83\x7f-\xd1e\xa5]^\xea\xe9\x14\x85\x95Dr\xd5o$m\xf2V\xbf<\xae\x195*\x12<"
    5 |-> "\x9e\xfd\xe0R\xaa\x15B\x9f\xae\x05\xba\xd4\xd0\xb1\xd7\xc6M\xa6M\x03\xd7\xa1\x85JX\x8c,\xb8C\f\r0"
    6 |-> "\xd8\x8d\xdf\xee\xd4\x00\xa8uU\x96\xb2\x19B\xc1I~\x11L0.a\x18)\x0f\x91\xe6w)v\x04\x1f\xa1"
    7 |-> "\x87\xeb\r\xdb\xa5~5\xf6\xd2\x86g8\x02\xa4\xafYu\xe2%\x06\xc7\xcfLd\xbbk\xe5\xee\x11R\x7f,"
    8 |-> "&\x84dv\xfd_\xc5J]C8Qg\xc9QD\xf2d?S<\xc8[\xb9\xd1kx/\x8d}\xb1\x93"
    9 |-> "Pm\x86X-%$\x05\xb8@\x01\x87\x92\xca\xd2\xbf\x12Y\xf1\xefZ\xa5\xf8\x87\xe1<\xb2\xf0\tOQ\xe1"
    10 |-> "\xff\xff\n\xd7\xe6Yw/\x954\xc1\x95\xc8\x15\xef\xc4\x01N\xf1\xe1\xda\xedD\x04\xc0c\x85\xd1\x11\x92\xe9+"
    11 |-> "l\xf0A'\xdb\x05D\x1c\xd83\x10zR\xbe\x85(h\x89\x0eC\x17\xe6\xa0*\xb4v\x83\xaau\x96B "
    12 |-> "\xb7\xd0_\x87_\x14\x00'\xefQ\x18\xa2${\xbb\x84\xce\x8f/\x0f\x11#b0\x85\xda\xf7\x96\f2\x9f_"
    13 |-> "\xdfj\xf5\xf5\xbb\xdbk\xe9\xef\x8a\xa6\x18\xe4\xbf\x80s\x96\x08g\x17\x1e)go\x8b(M\xeaj\x08\xa8^"
    14 |-> "\xb5\x8d\x90\x0f^\x18.<P\xeft\x96\x9e\xa1lw&\xc5Iu|\xc25#\xc3iX}\xa7)7\x84"
    15 |-> "\xd4\x9au\x02\xff\xcf\xb04\x0b\x1dx\x85h\x85\x00\xca0\x81a\xa7\xf9kb\xdf\x9d\x08;q\xfc\xc8\xf2\xbb"
    16 |-> "\x8f\xe6\xb1h\x92V\xc0\xd3\x85\xf4/[\xbe '\xa2,\x19\x96\xe1\x10\xba\x97\xc1q\xd3\xe5\x94\x8d\xe9+\xeb"
    17 |-> "\x8d\rc\xc3\x9e\xba\xde\x85\t\xe0\xae<\x9c8v\xfb_\xa1\x12\xbe\x18\xf9\x05\xec\xac\xfe\xcb\x92\x05v\x03\xab"
    18 |-> "\x95\xee\xc8\xb2\xe5A\xca\xd4\xe9\x1d\xe3\x83\x85\xf2\xe0Fa\x9fTIl#\x82\xcbl\xac\xd5\xb9\x8c&\xf5\xa4"
    19 |-> "\xf8\x93\xe9\x08\x91wu\xb6+\xff#)M\xbb\xe3\xa1\xcd\x8el\xc1\xc3[H\x01\x88{djo\x81\xf1\x7f"
    20 |-> "\xcd\xdb\xa7\xb5\x92\xe3\x133\x93\xc1a\x94\xfa\xc7C\x1a\xbf/T\x85\xedq\x1d\xb2\x82\x18<\x81\x9e\x08\xeb\xaa"
    21 |-> "\x8a\x8d\x7f\xe3\xaf\x8c\xaa\x08Zv9\xa82\x00\x14W\xdf\xb9\x12\x8a\x80a\x14*\xd03V)\xff#\xff\x9c"
    22 |-> "\xfe\xb3\xc37\xd7\xa5\x1ao\xbf\x00\xb9\xe3LR\xe1\xc9\x19\\\x96\x9b\xd4\xe7\xa0\xbf\xd5\x1d\\[\xed\x9c\x11g"
    23 |-> "\xe7\x1f\n\xa8<\xc3.\xdf\xbe\xfa\x9fM>\x01t\xca\x85\x18.\xec\x9f:\t\xf6\xa6\xc0\xdfcw\xa5\x10\xd7"
    24 |-> "1 o\xa8\nP\xbbj\xbe)\x08PX\xf1b\x12!*`\xee\xc8\xf0I\xfe\xcb\x92\xd8\xc8\xe0\xa8K\xc0"
    25 |-> "!5+\xfe\xcb\xed\xdd\xe9\x93\x83\x9faL=\xac\n>\xe3uC\xf9\xb4\x12\xb1a\x99\xdc\x15\x8e#\xb5D"
    26 |-> "a\x9e1'$\xbbm|1S\xed\x9d\xe7\x91\xd7d\xa3f\xb3\x89\xaf\x13\xc5\x8b\xf8\xa8\xd9\x04\x81\xa4ge"
    27 |-> "|\xdd)\x86&\x82Pb\x8d\f\x10\xe3\x85\xc5\x8ca\x91\xe6\xfb\xe0Q\x91\xbc\xc0O\x13?,\xear\xc1\xc4"
    28 |-> "\x84\x890\xbd{\xa8\xca\xc5Fa\x07!\x13\xfb'\x88i\xe0{\xb8X\x7f\x919)37M\x01{\xcb\xe1"
    29 |-> "\x88i\xff,\"\xb2\x8c\xc1\x05\x10\xd9\x852\x92\x803(\xbeO\xb0\xe8\x04\x95\xe8\xbb\x8d'\x1f[\x88\x966"
    30 |-> "\xb5\xfe(\xe7\x9f\x1b\x85\x0f\x86X$l\xe9\xb6\xa1\xe7\xb4\x9f\xc0m\xb7\x14>\x8f\xe0\xb4\xf2\xb0\xc5R:\\"
    31 |-> "\x98^\x92\x9fp\xaf(\xd0\xbd\xd1\xa9\n\x80\x8f\x97\x7fY||w\x8cH\x9e\x98\xd3\xbd\x89\x10\xd3\x1a\xc0\xf7"
    32 |-> "\xc6\xf6~\x02\xe6\xe4\xe1\xbd\xef\xb9\x94\xc6\t\x89S\xf3F6\xba+l\xa2\nG!\xd2\xb2j\x88g\"\xff"
    33 |-> "\x1c\x9a~_\xf1\xcfH\xb4\xad\x15\x82\xd3\xf4\xe4\xa1\x00O; \xd8\xc5\xa2\xb7\x13\x87\xa4%J\xd93\xeb\xc5"
    34 |-> "/\x07Z\xe2)dkoj\xed\x19\xa5\xe3r\xcf)P\x81@\x1e\xb8\x93\xffY\x9b?\x9a\xcc\f\r>}"
    35 |-> "2\x89!\xde\xb5\x96\x12\x07h\x01\xe8\xcdaY!\x07\xb5\xc6|y\xb8FY\\\xc62\f9[F6,"
    36 |-> "\xbf\xb9\t\xfd\xb26\xad$\x11\xb4\xe4\x888\x10\xa0t\xb8@FF\x89\x98l?\x8a\x80\x91\x82~\x17\xc3'"
    37 |-> "U\xd8\xfb6\x87\xba;\xa4\x9f4,w\xf5\xa1\xf8\x9b\xec\x83\xd8\x11Dn\x1aFq9!=d\x0bjt"
    38 |-> "\xf7!\rO\x8e~\x109y\x0e{\xf4\xef\xa2\x07UZ\x10\xa6\xdb\x1d\xd4\xb9]\xa3\x13\xaa\xa8\x8b\x88\xfev"
    39 |-> "\xad!\xb5\x16\xcb\xc6E\xff\xe3J\xb5\xde\x1c\x8a\xef\x8c\xd4\xe7\xf8\xd2\xb5\x1e\x8e\x14V\xad\xc7V<\xda o"
    40 |-> "k\xfe\x8d+\xccB7\xb7JPG\x05\x8e\xf4U3\x9e\xcds`\xcbc\xbf\xbb\x8e\xe5D\x8ed0\xba\x04"
    41 |-> "\xa7\xf2<\xe9\x18\x17@\xdc\"\f\x81G\x82eO\xeej\xce\xb9\xf1\xec\x92\"\xc4\xe2F}\n\xb1h\x087"
    42 |-> "\xae\xf9Gl\x89Y\n,\x8c\xc9\xb3\xb7OIg\xc7W\xc4\x9d\x98f\xa4K\xac\xf2\x1f\xa2\xedg]\xdf\xa2"
    43 |-> "\x9aB\xbc\xad\x82\xf6\xa9\xe4\x12\x84\xd8\x08\xea\xd3\x19\xf2\x9f;\x08 \x9dh\x0f\x0e,\xe7\x15\x10\xd0q\xe2\x05"
    44 |-> "\xd1\xa6m5Jg\xb9\xcf\x17\x95q\xd8\xe5\xf9w\x92qn\x8d\xd4\xecD\x19h9\xa3\xf7\xc6\xb7O\x8b\xac"
    45 |-> "\xfa\xfa0%\xf2\xf8\x95\t\xc2\xc7\x1ct\xfb\xa0\xcd\x92\x85\x8e\xf4\x9b\x07\x80\xfbTytl\x8a\x9b\xfc\xb3F"
    46 |-> "34\xa7\xc1\xe7\xf6pZ\xa6\x01\x1aj\x94\x96E\x01m\xb4\xac\xde\f\xa9\xab\xd6m\xc7\x9d\x82fB0V"
    47 |-> "\x07\x96\xfdufO\xae\xf7D\xeeNR\xd7'\x1e+\xbbv\x9f\x91\xedo\x9bt\xd8\xb6\x94\xf5f\x06\x85,"
    48 |-> "{\xa3\xaeJA\x7f\xe8T[\x14+\xc8\x9fJ\xdc\xd7\xae\x13\x94\x1c\xba\xb7u\x0b\x83\xe9\xf0\xa6m\x16\xbed"
    49 |-> "x\x8f\xaf\xccJ\xa5 9\x9a\xdb\xae\xd1\x95\xf8\xb1,N\xb3\x1e\xc1\x01h\xe5\n\xab\xc6Y\xa6\xae\xa5\x16\xdc"
    50 |-> "\xe83\xd7\xa6q`\xe6\x8b\xf4\xc9\x04JS\x07}\xf2rz\xd0\f\xf3oII\xc7\xb6\x81\xa9\x12\x14\f\xbb"
    51 |-> "0\x9e\xab\xf0\x95\xdcg\x14\xf9\xf4\xd8d\xbb\xa5\xaf\xfa\xe0\xb3Z\xe2\xf5\xe3V[\xcc:G\xb2\x12vw\x01"
    52 |-> "\"j\x8e\xbe\xfa(\x86e\xa6D\xa5\x02s3^\xfb\xb6\x10Q\x0f$\x1b[r\f\x8a6\x8dY\xa6\x9a]"
    53 |-> "A\xab\xfd\x99T%\x82v%\x93\x811\xaf\fO3\xfe\x0b\xd4h\x8c\",!\xfa\x9d\xa8\xe8\x9c\xaa\x03\xf8"
    54 |-> "D,d.\xf5\x0f\xa1\xa6g\xa6\xe6\xd1\x05\xc7|\\\xc3\xfe\xc8\xd7\xaa%p\xcf\x1a0w\xb5\x03\xc3\x80i"
    55 |-> "\xa0\xa0\x8d\xfc\x9bB\xd9l-\xe1\x9bm\x12{\x8a\xe16\xdd\xcf>Z\xd0\xdc\xe4\"\xc4ZV\xf6\x1fjt"
    56 |-> "}4\x83\x82\xaf\tm\xbe\x0b\xf0\x86\xc7\xbb9\xb2\xa2\xc0\xbc6\xb6!\xab\fs\x8e\x98\x85\xd71\xd8\x17@"
    57 |-> ":\xb14u\x1d\x19\x12i\x02l\x86\x99N\xaa\x8bC\xa8;J\xd1\xf6\xd0\xe7s\x81\xc4\xe2\x97J\xfb\xc8\xf6"
    58 |-> "\x9atRa\x1d\xb2\xd2>\xae&\xf9\xbd\xbb\x88\x95\x8e\xf4Ld\xd0\xfe\x98{\xe9\xf7&\xad\xf98\xf5\x0fl"
    59 |-> "r\\\x7f\x81`7\xbf\xe4R\xcd\x1e{\xa3Z\xc4~\xdc\xb4\x9a\x9a+'\xae\xcap\xdc\xe4\x83\xcb}\xed\x1f"
    60 |-> ",\xea\x1a\xf5\x1f\xb2\x8bb\x88|9\x99\x8a\xc9\xfe\xf4\xdf\xde\xda\x1f\x07\xe0q\xbaU\x8a\x17:\xfd\x06\xcb\xc3"
    61 |-> "\xff\x1dY\xf9\x8blU\x1d\x95\x08\x93W\x05}\\\x8b\xe2d\x02'\x9e\x9d\xf0\xb1\xdf\x1a\x10\xb7+\xf3\x92\x7f"
    62 |-> "/\x8a\x18\x1f|\x99\xdd!Zu)\xbf\xe2\x96\xa9`:\x14Fsq\x86\xd2\x1a\xeb\x8b\xc7\xaeY\xe1\xfd!"
    63 |-> "\xec\xc5\x02\xc9\xb1\x14_9P\xcb}>8BDo\x81\xa4\xf0\xdf\x1d\xf57\xce\xe19\xefd\xea\x98K\xd9"
  </zerohashes-cache>
</beacon-chain>
<beacon-chain>
  <k>
    "2~iU\xbc\xa4\x0b<k\xc0\xdc\f\x92LL\x91~\xa6\\\xfb\xba\x13]8w\xd5\x1f@\xea\xb2\xb0\xf8"
  </k>
  <state>
    <genesis-time>
      0
    </genesis-time>
    <slot>
      0
    </slot>
    <fork>
      .Fork
    </fork>
    <latest-block-header>
      .BlockHeader
    </latest-block-header>
    <block-roots>
      .Map
    </block-roots>
    <state-roots>
      .Map
    </state-roots>
    <historical-roots>
      .BytesList
    </historical-roots>
    <eth1-data>
      .Eth1Data
    </eth1-data>
    <eth1-data-votes>
      .Eth1DataList
    </eth1-data-votes>
    <eth1-deposit-index>
      0
    </eth1-deposit-index>
    <validators>
      .Map
    </validators>
    <balances>
      .Map
    </balances>
    <randao-mixes>
      .BytesList
    </randao-mixes>
    <slashings>
      .Map
    </slashings>
    <previous-epoch-attestations>
      .PendingAttestationList
    </previous-epoch-attestations>
    <current-epoch-attestations>
      .PendingAttestationList
    </current-epoch-attestations>
    <justification-bits>
      .BitList
    </justification-bits>
    <previous-justified-checkpoint>
      .Checkpoint
    </previous-justified-checkpoint>
    <current-justified-checkpoint>
      .Checkpoint
    </current-justified-checkpoint>
    <finalized-checkpoint>
      .Checkpoint
    </finalized-checkpoint>
  </state>
  <zerohashes-cache>
    0 |-> "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
    1 |-> "\xf5\xa5\xfdB\xd1j 0'\x98\xefn\xd3\t\x97\x9bC\x00=# \xd9\xf0\xe8\xea\x981\xa9'Y\xfbK"
    2 |-> "\xdbV\x11N\x00\xfd\xd4\xc1\xf8\\\x89+\xf3Z\xc9\xa8\x92\x89\xaa\xec\xb1\xeb\xd0\xa9l\xde`jt\x8b]q"
    3 |-> "\xc7\x80\t\xfd\xf0\x7f\xc5j\x11\xf1\"7\x06X\xa3S\xaa\xa5B\xedc\xe4LK\xc1_\xf4\xcd\x10Z\xb3<"
    4 |-> "Sm\x98\x83\x7f-\xd1e\xa5]^\xea\xe9\x14\x85\x95Dr\xd5o$m\xf2V\xbf<\xae\x195*\x12<"
    5 |-> "\x9e\xfd\xe0R\xaa\x15B\x9f\xae\x05\xba\xd4\xd0\xb1\xd7\xc6M\xa6M\x03\xd7\xa1\x85JX\x8c,\xb8C\f\r0"
    6 |-> "\xd8\x8d\xdf\xee\xd4\x00\xa8uU\x96\xb2\x19B\xc1I~\x11L0.a\x18)\x0f\x91\xe6w)v\x04\x1f\xa1"
    7 |-> "\x87\xeb\r\xdb\xa5~5\xf6\xd2\x86g8\x02\xa4\xafYu\xe2%\x06\xc7\xcfLd\xbbk\xe5\xee\x11R\x7f,"
    8 |-> "&\x84dv\xfd_\xc5J]C8Qg\xc9QD\xf2d?S<\xc8[\xb9\xd1kx/\x8d}\xb1\x93"
    9 |-> "Pm\x86X-%$\x05\xb8@\x01\x87\x92\xca\xd2\xbf\x12Y\xf1\xefZ\xa5\xf8\x87\xe1<\xb2\xf0\tOQ\xe1"
    10 |-> "\xff\xff\n\xd7\xe6Yw/\x954\xc1\x95\xc8\x15\xef\xc4\x01N\xf1\xe1\xda\xedD\x04\xc0c\x85\xd1\x11\x92\xe9+"
    11 |-> "l\xf0A'\xdb\x05D\x1c\xd83\x10zR\xbe\x85(h\x89\x0eC\x17\xe6\xa0*\xb4v\x83\xaau\x96B "
    12 |-> "\xb7\xd0_\x87_\x14\x00'\xefQ\x18\xa2${\xbb\x84\xce\x8f/\x0f\x11#b0\x85\xda\xf7\x96\f2\x9f_"
    13 |-> "\xdfj\xf5\xf5\xbb\xdbk\xe9\xef\x8a\xa6\x18\xe4\xbf\x80s\x96\x08g\x17\x1e)go\x8b(M\xeaj\x08\xa8^"
    14 |-> "\xb5\x8d\x90\x0f^\x18.<P\xeft\x96\x9e\xa1lw&\xc5Iu|\xc25#\xc3iX}\xa7)7\x84"
    15 |-> "\xd4\x9au\x02\xff\xcf\xb04\x0b\x1dx\x85h\x85\x00\xca0\x81a\xa7\xf9kb\xdf\x9d\x08;q\xfc\xc8\xf2\xbb"
    16 |-> "\x8f\xe6\xb1h\x92V\xc0\xd3\x85\xf4/[\xbe '\xa2,\x19\x96\xe1\x10\xba\x97\xc1q\xd3\xe5\x94\x8d\xe9+\xeb"
    17 |-> "\x8d\rc\xc3\x9e\xba\xde\x85\t\xe0\xae<\x9c8v\xfb_\xa1\x12\xbe\x18\xf9\x05\xec\xac\xfe\xcb\x92\x05v\x03\xab"
    18 |-> "\x95\xee\xc8\xb2\xe5A\xca\xd4\xe9\x1d\xe3\x83\x85\xf2\xe0Fa\x9fTIl#\x82\xcbl\xac\xd5\xb9\x8c&\xf5\xa4"
    19 |-> "\xf8\x93\xe9\x08\x91wu\xb6+\xff#)M\xbb\xe3\xa1\xcd\x8el\xc1\xc3[H\x01\x88{djo\x81\xf1\x7f"
    20 |-> "\xcd\xdb\xa7\xb5\x92\xe3\x133\x93\xc1a\x94\xfa\xc7C\x1a\xbf/T\x85\xedq\x1d\xb2\x82\x18<\x81\x9e\x08\xeb\xaa"
    21 |-> "\x8a\x8d\x7f\xe3\xaf\x8c\xaa\x08Zv9\xa82\x00\x14W\xdf\xb9\x12\x8a\x80a\x14*\xd03V)\xff#\xff\x9c"
    22 |-> "\xfe\xb3\xc37\xd7\xa5\x1ao\xbf\x00\xb9\xe3LR\xe1\xc9\x19\\\x96\x9b\xd4\xe7\xa0\xbf\xd5\x1d\\[\xed\x9c\x11g"
    23 |-> "\xe7\x1f\n\xa8<\xc3.\xdf\xbe\xfa\x9fM>\x01t\xca\x85\x18.\xec\x9f:\t\xf6\xa6\xc0\xdfcw\xa5\x10\xd7"
    24 |-> "1 o\xa8\nP\xbbj\xbe)\x08PX\xf1b\x12!*`\xee\xc8\xf0I\xfe\xcb\x92\xd8\xc8\xe0\xa8K\xc0"
    25 |-> "!5+\xfe\xcb\xed\xdd\xe9\x93\x83\x9faL=\xac\n>\xe3uC\xf9\xb4\x12\xb1a\x99\xdc\x15\x8e#\xb5D"
    26 |-> "a\x9e1'$\xbbm|1S\xed\x9d\xe7\x91\xd7d\xa3f\xb3\x89\xaf\x13\xc5\x8b\xf8\xa8\xd9\x04\x81\xa4ge"
    27 |-> "|\xdd)\x86&\x82Pb\x8d\f\x10\xe3\x85\xc5\x8ca\x91\xe6\xfb\xe0Q\x91\xbc\xc0O\x13?,\xear\xc1\xc4"
    28 |-> "\x84\x890\xbd{\xa8\xca\xc5Fa\x07!\x13\xfb'\x88i\xe0{\xb8X\x7f\x919)37M\x01{\xcb\xe1"
    29 |-> "\x88i\xff,\"\xb2\x8c\xc1\x05\x10\xd9\x852\x92\x803(\xbeO\xb0\xe8\x04\x95\xe8\xbb\x8d'\x1f[\x88\x966"
    30 |-> "\xb5\xfe(\xe7\x9f\x1b\x85\x0f\x86X$l\xe9\xb6\xa1\xe7\xb4\x9f\xc0m\xb7\x14>\x8f\xe0\xb4\xf2\xb0\xc5R:\\"
    31 |-> "\x98^\x92\x9fp\xaf(\xd0\xbd\xd1\xa9\n\x80\x8f\x97\x7fY||w\x8cH\x9e\x98\xd3\xbd\x89\x10\xd3\x1a\xc0\xf7"
    32 |-> "\xc6\xf6~\x02\xe6\xe4\xe1\xbd\xef\xb9\x94\xc6\t\x89S\xf3F6\xba+l\xa2\nG!\xd2\xb2j\x88g\"\xff"
    33 |-> "\x1c\x9a~_\xf1\xcfH\xb4\xad\x15\x82\xd3\xf4\xe4\xa1\x00O; \xd8\xc5\xa2\xb7\x13\x87\xa4%J\xd93\xeb\xc5"
    34 |-> "/\x07Z\xe2)dkoj\xed\x19\xa5\xe3r\xcf)P\x81@\x1e\xb8\x93\xffY\x9b?\x9a\xcc\f\r>}"
    35 |-> "2\x89!\xde\xb5\x96\x12\x07h\x01\xe8\xcdaY!\x07\xb5\xc6|y\xb8FY\\\xc62\f9[F6,"
    36 |-> "\xbf\xb9\t\xfd\xb26\xad$\x11\xb4\xe4\x888\x10\xa0t\xb8@FF\x89\x98l?\x8a\x80\x91\x82~\x17\xc3'"
    37 |-> "U\xd8\xfb6\x87\xba;\xa4\x9f4,w\xf5\xa1\xf8\x9b\xec\x83\xd8\x11Dn\x1aFq9!=d\x0bjt"
    38 |-> "\xf7!\rO\x8e~\x109y\x0e{\xf4\xef\xa2\x07UZ\x10\xa6\xdb\x1d\xd4\xb9]\xa3\x13\xaa\xa8\x8b\x88\xfev"
    39 |-> "\xad!\xb5\x16\xcb\xc6E\xff\xe3J\xb5\xde\x1c\x8a\xef\x8c\xd4\xe7\xf8\xd2\xb5\x1e\x8e\x14V\xad\xc7V<\xda o"
    40 |-> "k\xfe\x8d+\xccB7\xb7JPG\x05\x8e\xf4U3\x9e\xcds`\xcbc\xbf\xbb\x8e\xe5D\x8ed0\xba\x04"
    41 |-> "\xa7\xf2<\xe9\x18\x17@\xdc\"\f\x81G\x82eO\xeej\xce\xb9\xf1\xec\x92\"\xc4\xe2F}\n\xb1h\x087"
    42 |-> "\xae\xf9Gl\x89Y\n,\x8c\xc9\xb3\xb7OIg\xc7W\xc4\x9d\x98f\xa4K\xac\xf2\x1f\xa2\xedg]\xdf\xa2"
    43 |-> "\x9aB\xbc\xad\x82\xf6\xa9\xe4\x12\x84\xd8\x08\xea\xd3\x19\xf2\x9f;\x08 \x9dh\x0f\x0e,\xe7\x15\x10\xd0q\xe2\x05"
    44 |-> "\xd1\xa6m5Jg\xb9\xcf\x17\x95q\xd8\xe5\xf9w\x92qn\x8d\xd4\xecD\x19h9\xa3\xf7\xc6\xb7O\x8b\xac"
    45 |-> "\xfa\xfa0%\xf2\xf8\x95\t\xc2\xc7\x1ct\xfb\xa0\xcd\x92\x85\x8e\xf4\x9b\x07\x80\xfbTytl\x8a\x9b\xfc\xb3F"
    46 |-> "34\xa7\xc1\xe7\xf6pZ\xa6\x01\x1aj\x94\x96E\x01m\xb4\xac\xde\f\xa9\xab\xd6m\xc7\x9d\x82fB0V"
    47 |-> "\x07\x96\xfdufO\xae\xf7D\xeeNR\xd7'\x1e+\xbbv\x9f\x91\xedo\x9bt\xd8\xb6\x94\xf5f\x06\x85,"
    48 |-> "{\xa3\xaeJA\x7f\xe8T[\x14+\xc8\x9fJ\xdc\xd7\xae\x13\x94\x1c\xba\xb7u\x0b\x83\xe9\xf0\xa6m\x16\xbed"
    49 |-> "x\x8f\xaf\xccJ\xa5 9\x9a\xdb\xae\xd1\x95\xf8\xb1,N\xb3\x1e\xc1\x01h\xe5\n\xab\xc6Y\xa6\xae\xa5\x16\xdc"
    50 |-> "\xe83\xd7\xa6q`\xe6\x8b\xf4\xc9\x04JS\x07}\xf2rz\xd0\f\xf3oII\xc7\xb6\x81\xa9\x12\x14\f\xbb"
    51 |-> "0\x9e\xab\xf0\x95\xdcg\x14\xf9\xf4\xd8d\xbb\xa5\xaf\xfa\xe0\xb3Z\xe2\xf5\xe3V[\xcc:G\xb2\x12vw\x01"
    52 |-> "\"j\x8e\xbe\xfa(\x86e\xa6D\xa5\x02s3^\xfb\xb6\x10Q\x0f$\x1b[r\f\x8a6\x8dY\xa6\x9a]"
    53 |-> "A\xab\xfd\x99T%\x82v%\x93\x811\xaf\fO3\xfe\x0b\xd4h\x8c\",!\xfa\x9d\xa8\xe8\x9c\xaa\x03\xf8"
    54 |-> "D,d.\xf5\x0f\xa1\xa6g\xa6\xe6\xd1\x05\xc7|\\\xc3\xfe\xc8\xd7\xaa%p\xcf\x1a0w\xb5\x03\xc3\x80i"
    55 |-> "\xa0\xa0\x8d\xfc\x9bB\xd9l-\xe1\x9bm\x12{\x8a\xe16\xdd\xcf>Z\xd0\xdc\xe4\"\xc4ZV\xf6\x1fjt"
    56 |-> "}4\x83\x82\xaf\tm\xbe\x0b\xf0\x86\xc7\xbb9\xb2\xa2\xc0\xbc6\xb6!\xab\fs\x8e\x98\x85\xd71\xd8\x17@"
    57 |-> ":\xb14u\x1d\x19\x12i\x02l\x86\x99N\xaa\x8bC\xa8;J\xd1\xf6\xd0\xe7s\x81\xc4\xe2\x97J\xfb\xc8\xf6"
    58 |-> "\x9atRa\x1d\xb2\xd2>\xae&\xf9\xbd\xbb\x88\x95\x8e\xf4Ld\xd0\xfe\x98{\xe9\xf7&\xad\xf98\xf5\x0fl"
    59 |-> "r\\\x7f\x81`7\xbf\xe4R\xcd\x1e{\xa3Z\xc4~\xdc\xb4\x9a\x9a+'\xae\xcap\xdc\xe4\x83\xcb}\xed\x1f"
    60 |-> ",\xea\x1a\xf5\x1f\xb2\x8bb\x88|9\x99\x8a\xc9\xfe\xf4\xdf\xde\xda\x1f\x07\xe0q\xbaU\x8a\x17:\xfd\x06\xcb\xc3"
    61 |-> "\xff\x1dY\xf9\x8blU\x1d\x95\x08\x93W\x05}\\\x8b\xe2d\x02'\x9e\x9d\xf0\xb1\xdf\x1a\x10\xb7+\xf3\x92\x7f"
    62 |-> "/\x8a\x18\x1f|\x99\xdd!Zu)\xbf\xe2\x96\xa9`:\x14Fsq\x86\xd2\x1a\xeb\x8b\xc7\xaeY\xe1\xfd!"
    63 |-> "\xec\xc5\x02\xc9\xb1\x14_9P\xcb}>8BDo\x81\xa4\xf0\xdf\x1d\xf57\xce\xe19\xefd\xea\x98K\xd9"
  </zerohashes-cache>
</beacon-chain>

roots.yaml file: tests/eth2.0-spec-tests/tests/minimal/phase0/ssz_static/HistoricalBatch/ssz_lengthy/case_0/roots.yaml


Running: deps/k/k-distribution/target/release/k/bin/krun --directory .build/defn/llvm /tmp/tmps2nlsk3n --term --parser cat
==========================================================================================================================
<beacon-chain>
  <k>
    "\xaa\x98\xbft\x17\x80g\"U8\x9c\x86F=\xe0\x97\xdeI?H\xa8\xab\x91\x8f\xaa\xd0\x99\xc0]\xb37\x82"
  </k>
  <state>
    <genesis-time>
      0
    </genesis-time>
    <slot>
      0
    </slot>
    <fork>
      .Fork
    </fork>
    <latest-block-header>
      .BlockHeader
    </latest-block-header>
    <block-roots>
      .Map
    </block-roots>
    <state-roots>
      .Map
    </state-roots>
    <historical-roots>
      .BytesList
    </historical-roots>
    <eth1-data>
      .Eth1Data
    </eth1-data>
    <eth1-data-votes>
      .Eth1DataList
    </eth1-data-votes>
    <eth1-deposit-index>
      0
    </eth1-deposit-index>
    <validators>
      .Map
    </validators>
    <balances>
      .Map
    </balances>
    <randao-mixes>
      .BytesList
    </randao-mixes>
    <slashings>
      .Map
    </slashings>
    <previous-epoch-attestations>
      .PendingAttestationList
    </previous-epoch-attestations>
    <current-epoch-attestations>
      .PendingAttestationList
    </current-epoch-attestations>
    <justification-bits>
      .BitList
    </justification-bits>
    <previous-justified-checkpoint>
      .Checkpoint
    </previous-justified-checkpoint>
    <current-justified-checkpoint>
      .Checkpoint
    </current-justified-checkpoint>
    <finalized-checkpoint>
      .Checkpoint
    </finalized-checkpoint>
  </state>
  <zerohashes-cache>
    0 |-> "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
    1 |-> "\xf5\xa5\xfdB\xd1j 0'\x98\xefn\xd3\t\x97\x9bC\x00=# \xd9\xf0\xe8\xea\x981\xa9'Y\xfbK"
    2 |-> "\xdbV\x11N\x00\xfd\xd4\xc1\xf8\\\x89+\xf3Z\xc9\xa8\x92\x89\xaa\xec\xb1\xeb\xd0\xa9l\xde`jt\x8b]q"
    3 |-> "\xc7\x80\t\xfd\xf0\x7f\xc5j\x11\xf1\"7\x06X\xa3S\xaa\xa5B\xedc\xe4LK\xc1_\xf4\xcd\x10Z\xb3<"
    4 |-> "Sm\x98\x83\x7f-\xd1e\xa5]^\xea\xe9\x14\x85\x95Dr\xd5o$m\xf2V\xbf<\xae\x195*\x12<"
    5 |-> "\x9e\xfd\xe0R\xaa\x15B\x9f\xae\x05\xba\xd4\xd0\xb1\xd7\xc6M\xa6M\x03\xd7\xa1\x85JX\x8c,\xb8C\f\r0"
    6 |-> "\xd8\x8d\xdf\xee\xd4\x00\xa8uU\x96\xb2\x19B\xc1I~\x11L0.a\x18)\x0f\x91\xe6w)v\x04\x1f\xa1"
    7 |-> "\x87\xeb\r\xdb\xa5~5\xf6\xd2\x86g8\x02\xa4\xafYu\xe2%\x06\xc7\xcfLd\xbbk\xe5\xee\x11R\x7f,"
    8 |-> "&\x84dv\xfd_\xc5J]C8Qg\xc9QD\xf2d?S<\xc8[\xb9\xd1kx/\x8d}\xb1\x93"
    9 |-> "Pm\x86X-%$\x05\xb8@\x01\x87\x92\xca\xd2\xbf\x12Y\xf1\xefZ\xa5\xf8\x87\xe1<\xb2\xf0\tOQ\xe1"
    10 |-> "\xff\xff\n\xd7\xe6Yw/\x954\xc1\x95\xc8\x15\xef\xc4\x01N\xf1\xe1\xda\xedD\x04\xc0c\x85\xd1\x11\x92\xe9+"
    11 |-> "l\xf0A'\xdb\x05D\x1c\xd83\x10zR\xbe\x85(h\x89\x0eC\x17\xe6\xa0*\xb4v\x83\xaau\x96B "
    12 |-> "\xb7\xd0_\x87_\x14\x00'\xefQ\x18\xa2${\xbb\x84\xce\x8f/\x0f\x11#b0\x85\xda\xf7\x96\f2\x9f_"
    13 |-> "\xdfj\xf5\xf5\xbb\xdbk\xe9\xef\x8a\xa6\x18\xe4\xbf\x80s\x96\x08g\x17\x1e)go\x8b(M\xeaj\x08\xa8^"
    14 |-> "\xb5\x8d\x90\x0f^\x18.<P\xeft\x96\x9e\xa1lw&\xc5Iu|\xc25#\xc3iX}\xa7)7\x84"
    15 |-> "\xd4\x9au\x02\xff\xcf\xb04\x0b\x1dx\x85h\x85\x00\xca0\x81a\xa7\xf9kb\xdf\x9d\x08;q\xfc\xc8\xf2\xbb"
    16 |-> "\x8f\xe6\xb1h\x92V\xc0\xd3\x85\xf4/[\xbe '\xa2,\x19\x96\xe1\x10\xba\x97\xc1q\xd3\xe5\x94\x8d\xe9+\xeb"
    17 |-> "\x8d\rc\xc3\x9e\xba\xde\x85\t\xe0\xae<\x9c8v\xfb_\xa1\x12\xbe\x18\xf9\x05\xec\xac\xfe\xcb\x92\x05v\x03\xab"
    18 |-> "\x95\xee\xc8\xb2\xe5A\xca\xd4\xe9\x1d\xe3\x83\x85\xf2\xe0Fa\x9fTIl#\x82\xcbl\xac\xd5\xb9\x8c&\xf5\xa4"
    19 |-> "\xf8\x93\xe9\x08\x91wu\xb6+\xff#)M\xbb\xe3\xa1\xcd\x8el\xc1\xc3[H\x01\x88{djo\x81\xf1\x7f"
    20 |-> "\xcd\xdb\xa7\xb5\x92\xe3\x133\x93\xc1a\x94\xfa\xc7C\x1a\xbf/T\x85\xedq\x1d\xb2\x82\x18<\x81\x9e\x08\xeb\xaa"
    21 |-> "\x8a\x8d\x7f\xe3\xaf\x8c\xaa\x08Zv9\xa82\x00\x14W\xdf\xb9\x12\x8a\x80a\x14*\xd03V)\xff#\xff\x9c"
    22 |-> "\xfe\xb3\xc37\xd7\xa5\x1ao\xbf\x00\xb9\xe3LR\xe1\xc9\x19\\\x96\x9b\xd4\xe7\xa0\xbf\xd5\x1d\\[\xed\x9c\x11g"
    23 |-> "\xe7\x1f\n\xa8<\xc3.\xdf\xbe\xfa\x9fM>\x01t\xca\x85\x18.\xec\x9f:\t\xf6\xa6\xc0\xdfcw\xa5\x10\xd7"
    24 |-> "1 o\xa8\nP\xbbj\xbe)\x08PX\xf1b\x12!*`\xee\xc8\xf0I\xfe\xcb\x92\xd8\xc8\xe0\xa8K\xc0"
    25 |-> "!5+\xfe\xcb\xed\xdd\xe9\x93\x83\x9faL=\xac\n>\xe3uC\xf9\xb4\x12\xb1a\x99\xdc\x15\x8e#\xb5D"
    26 |-> "a\x9e1'$\xbbm|1S\xed\x9d\xe7\x91\xd7d\xa3f\xb3\x89\xaf\x13\xc5\x8b\xf8\xa8\xd9\x04\x81\xa4ge"
    27 |-> "|\xdd)\x86&\x82Pb\x8d\f\x10\xe3\x85\xc5\x8ca\x91\xe6\xfb\xe0Q\x91\xbc\xc0O\x13?,\xear\xc1\xc4"
    28 |-> "\x84\x890\xbd{\xa8\xca\xc5Fa\x07!\x13\xfb'\x88i\xe0{\xb8X\x7f\x919)37M\x01{\xcb\xe1"
    29 |-> "\x88i\xff,\"\xb2\x8c\xc1\x05\x10\xd9\x852\x92\x803(\xbeO\xb0\xe8\x04\x95\xe8\xbb\x8d'\x1f[\x88\x966"
    30 |-> "\xb5\xfe(\xe7\x9f\x1b\x85\x0f\x86X$l\xe9\xb6\xa1\xe7\xb4\x9f\xc0m\xb7\x14>\x8f\xe0\xb4\xf2\xb0\xc5R:\\"
    31 |-> "\x98^\x92\x9fp\xaf(\xd0\xbd\xd1\xa9\n\x80\x8f\x97\x7fY||w\x8cH\x9e\x98\xd3\xbd\x89\x10\xd3\x1a\xc0\xf7"
    32 |-> "\xc6\xf6~\x02\xe6\xe4\xe1\xbd\xef\xb9\x94\xc6\t\x89S\xf3F6\xba+l\xa2\nG!\xd2\xb2j\x88g\"\xff"
    33 |-> "\x1c\x9a~_\xf1\xcfH\xb4\xad\x15\x82\xd3\xf4\xe4\xa1\x00O; \xd8\xc5\xa2\xb7\x13\x87\xa4%J\xd93\xeb\xc5"
    34 |-> "/\x07Z\xe2)dkoj\xed\x19\xa5\xe3r\xcf)P\x81@\x1e\xb8\x93\xffY\x9b?\x9a\xcc\f\r>}"
    35 |-> "2\x89!\xde\xb5\x96\x12\x07h\x01\xe8\xcdaY!\x07\xb5\xc6|y\xb8FY\\\xc62\f9[F6,"
    36 |-> "\xbf\xb9\t\xfd\xb26\xad$\x11\xb4\xe4\x888\x10\xa0t\xb8@FF\x89\x98l?\x8a\x80\x91\x82~\x17\xc3'"
    37 |-> "U\xd8\xfb6\x87\xba;\xa4\x9f4,w\xf5\xa1\xf8\x9b\xec\x83\xd8\x11Dn\x1aFq9!=d\x0bjt"
    38 |-> "\xf7!\rO\x8e~\x109y\x0e{\xf4\xef\xa2\x07UZ\x10\xa6\xdb\x1d\xd4\xb9]\xa3\x13\xaa\xa8\x8b\x88\xfev"
    39 |-> "\xad!\xb5\x16\xcb\xc6E\xff\xe3J\xb5\xde\x1c\x8a\xef\x8c\xd4\xe7\xf8\xd2\xb5\x1e\x8e\x14V\xad\xc7V<\xda o"
    40 |-> "k\xfe\x8d+\xccB7\xb7JPG\x05\x8e\xf4U3\x9e\xcds`\xcbc\xbf\xbb\x8e\xe5D\x8ed0\xba\x04"
    41 |-> "\xa7\xf2<\xe9\x18\x17@\xdc\"\f\x81G\x82eO\xeej\xce\xb9\xf1\xec\x92\"\xc4\xe2F}\n\xb1h\x087"
    42 |-> "\xae\xf9Gl\x89Y\n,\x8c\xc9\xb3\xb7OIg\xc7W\xc4\x9d\x98f\xa4K\xac\xf2\x1f\xa2\xedg]\xdf\xa2"
    43 |-> "\x9aB\xbc\xad\x82\xf6\xa9\xe4\x12\x84\xd8\x08\xea\xd3\x19\xf2\x9f;\x08 \x9dh\x0f\x0e,\xe7\x15\x10\xd0q\xe2\x05"
    44 |-> "\xd1\xa6m5Jg\xb9\xcf\x17\x95q\xd8\xe5\xf9w\x92qn\x8d\xd4\xecD\x19h9\xa3\xf7\xc6\xb7O\x8b\xac"
    45 |-> "\xfa\xfa0%\xf2\xf8\x95\t\xc2\xc7\x1ct\xfb\xa0\xcd\x92\x85\x8e\xf4\x9b\x07\x80\xfbTytl\x8a\x9b\xfc\xb3F"
    46 |-> "34\xa7\xc1\xe7\xf6pZ\xa6\x01\x1aj\x94\x96E\x01m\xb4\xac\xde\f\xa9\xab\xd6m\xc7\x9d\x82fB0V"
    47 |-> "\x07\x96\xfdufO\xae\xf7D\xeeNR\xd7'\x1e+\xbbv\x9f\x91\xedo\x9bt\xd8\xb6\x94\xf5f\x06\x85,"
    48 |-> "{\xa3\xaeJA\x7f\xe8T[\x14+\xc8\x9fJ\xdc\xd7\xae\x13\x94\x1c\xba\xb7u\x0b\x83\xe9\xf0\xa6m\x16\xbed"
    49 |-> "x\x8f\xaf\xccJ\xa5 9\x9a\xdb\xae\xd1\x95\xf8\xb1,N\xb3\x1e\xc1\x01h\xe5\n\xab\xc6Y\xa6\xae\xa5\x16\xdc"
    50 |-> "\xe83\xd7\xa6q`\xe6\x8b\xf4\xc9\x04JS\x07}\xf2rz\xd0\f\xf3oII\xc7\xb6\x81\xa9\x12\x14\f\xbb"
    51 |-> "0\x9e\xab\xf0\x95\xdcg\x14\xf9\xf4\xd8d\xbb\xa5\xaf\xfa\xe0\xb3Z\xe2\xf5\xe3V[\xcc:G\xb2\x12vw\x01"
    52 |-> "\"j\x8e\xbe\xfa(\x86e\xa6D\xa5\x02s3^\xfb\xb6\x10Q\x0f$\x1b[r\f\x8a6\x8dY\xa6\x9a]"
    53 |-> "A\xab\xfd\x99T%\x82v%\x93\x811\xaf\fO3\xfe\x0b\xd4h\x8c\",!\xfa\x9d\xa8\xe8\x9c\xaa\x03\xf8"
    54 |-> "D,d.\xf5\x0f\xa1\xa6g\xa6\xe6\xd1\x05\xc7|\\\xc3\xfe\xc8\xd7\xaa%p\xcf\x1a0w\xb5\x03\xc3\x80i"
    55 |-> "\xa0\xa0\x8d\xfc\x9bB\xd9l-\xe1\x9bm\x12{\x8a\xe16\xdd\xcf>Z\xd0\xdc\xe4\"\xc4ZV\xf6\x1fjt"
    56 |-> "}4\x83\x82\xaf\tm\xbe\x0b\xf0\x86\xc7\xbb9\xb2\xa2\xc0\xbc6\xb6!\xab\fs\x8e\x98\x85\xd71\xd8\x17@"
    57 |-> ":\xb14u\x1d\x19\x12i\x02l\x86\x99N\xaa\x8bC\xa8;J\xd1\xf6\xd0\xe7s\x81\xc4\xe2\x97J\xfb\xc8\xf6"
    58 |-> "\x9atRa\x1d\xb2\xd2>\xae&\xf9\xbd\xbb\x88\x95\x8e\xf4Ld\xd0\xfe\x98{\xe9\xf7&\xad\xf98\xf5\x0fl"
    59 |-> "r\\\x7f\x81`7\xbf\xe4R\xcd\x1e{\xa3Z\xc4~\xdc\xb4\x9a\x9a+'\xae\xcap\xdc\xe4\x83\xcb}\xed\x1f"
    60 |-> ",\xea\x1a\xf5\x1f\xb2\x8bb\x88|9\x99\x8a\xc9\xfe\xf4\xdf\xde\xda\x1f\x07\xe0q\xbaU\x8a\x17:\xfd\x06\xcb\xc3"
    61 |-> "\xff\x1dY\xf9\x8blU\x1d\x95\x08\x93W\x05}\\\x8b\xe2d\x02'\x9e\x9d\xf0\xb1\xdf\x1a\x10\xb7+\xf3\x92\x7f"
    62 |-> "/\x8a\x18\x1f|\x99\xdd!Zu)\xbf\xe2\x96\xa9`:\x14Fsq\x86\xd2\x1a\xeb\x8b\xc7\xaeY\xe1\xfd!"
    63 |-> "\xec\xc5\x02\xc9\xb1\x14_9P\xcb}>8BDo\x81\xa4\xf0\xdf\x1d\xf57\xce\xe19\xefd\xea\x98K\xd9"
  </zerohashes-cache>
</beacon-chain>
<beacon-chain>
  <k>
    "2~iU\xbc\xa4\x0b<k\xc0\xdc\f\x92LL\x91~\xa6\\\xfb\xba\x13]8w\xd5\x1f@\xea\xb2\xb0\xf8"
  </k>
  <state>
    <genesis-time>
      0
    </genesis-time>
    <slot>
      0
    </slot>
    <fork>
      .Fork
    </fork>
    <latest-block-header>
      .BlockHeader
    </latest-block-header>
    <block-roots>
      .Map
    </block-roots>
    <state-roots>
      .Map
    </state-roots>
    <historical-roots>
      .BytesList
    </historical-roots>
    <eth1-data>
      .Eth1Data
    </eth1-data>
    <eth1-data-votes>
      .Eth1DataList
    </eth1-data-votes>
    <eth1-deposit-index>
      0
    </eth1-deposit-index>
    <validators>
      .Map
    </validators>
    <balances>
      .Map
    </balances>
    <randao-mixes>
      .BytesList
    </randao-mixes>
    <slashings>
      .Map
    </slashings>
    <previous-epoch-attestations>
      .PendingAttestationList
    </previous-epoch-attestations>
    <current-epoch-attestations>
      .PendingAttestationList
    </current-epoch-attestations>
    <justification-bits>
      .BitList
    </justification-bits>
    <previous-justified-checkpoint>
      .Checkpoint
    </previous-justified-checkpoint>
    <current-justified-checkpoint>
      .Checkpoint
    </current-justified-checkpoint>
    <finalized-checkpoint>
      .Checkpoint
    </finalized-checkpoint>
  </state>
  <zerohashes-cache>
    0 |-> "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
    1 |-> "\xf5\xa5\xfdB\xd1j 0'\x98\xefn\xd3\t\x97\x9bC\x00=# \xd9\xf0\xe8\xea\x981\xa9'Y\xfbK"
    2 |-> "\xdbV\x11N\x00\xfd\xd4\xc1\xf8\\\x89+\xf3Z\xc9\xa8\x92\x89\xaa\xec\xb1\xeb\xd0\xa9l\xde`jt\x8b]q"
    3 |-> "\xc7\x80\t\xfd\xf0\x7f\xc5j\x11\xf1\"7\x06X\xa3S\xaa\xa5B\xedc\xe4LK\xc1_\xf4\xcd\x10Z\xb3<"
    4 |-> "Sm\x98\x83\x7f-\xd1e\xa5]^\xea\xe9\x14\x85\x95Dr\xd5o$m\xf2V\xbf<\xae\x195*\x12<"
    5 |-> "\x9e\xfd\xe0R\xaa\x15B\x9f\xae\x05\xba\xd4\xd0\xb1\xd7\xc6M\xa6M\x03\xd7\xa1\x85JX\x8c,\xb8C\f\r0"
    6 |-> "\xd8\x8d\xdf\xee\xd4\x00\xa8uU\x96\xb2\x19B\xc1I~\x11L0.a\x18)\x0f\x91\xe6w)v\x04\x1f\xa1"
    7 |-> "\x87\xeb\r\xdb\xa5~5\xf6\xd2\x86g8\x02\xa4\xafYu\xe2%\x06\xc7\xcfLd\xbbk\xe5\xee\x11R\x7f,"
    8 |-> "&\x84dv\xfd_\xc5J]C8Qg\xc9QD\xf2d?S<\xc8[\xb9\xd1kx/\x8d}\xb1\x93"
    9 |-> "Pm\x86X-%$\x05\xb8@\x01\x87\x92\xca\xd2\xbf\x12Y\xf1\xefZ\xa5\xf8\x87\xe1<\xb2\xf0\tOQ\xe1"
    10 |-> "\xff\xff\n\xd7\xe6Yw/\x954\xc1\x95\xc8\x15\xef\xc4\x01N\xf1\xe1\xda\xedD\x04\xc0c\x85\xd1\x11\x92\xe9+"
    11 |-> "l\xf0A'\xdb\x05D\x1c\xd83\x10zR\xbe\x85(h\x89\x0eC\x17\xe6\xa0*\xb4v\x83\xaau\x96B "
    12 |-> "\xb7\xd0_\x87_\x14\x00'\xefQ\x18\xa2${\xbb\x84\xce\x8f/\x0f\x11#b0\x85\xda\xf7\x96\f2\x9f_"
    13 |-> "\xdfj\xf5\xf5\xbb\xdbk\xe9\xef\x8a\xa6\x18\xe4\xbf\x80s\x96\x08g\x17\x1e)go\x8b(M\xeaj\x08\xa8^"
    14 |-> "\xb5\x8d\x90\x0f^\x18.<P\xeft\x96\x9e\xa1lw&\xc5Iu|\xc25#\xc3iX}\xa7)7\x84"
    15 |-> "\xd4\x9au\x02\xff\xcf\xb04\x0b\x1dx\x85h\x85\x00\xca0\x81a\xa7\xf9kb\xdf\x9d\x08;q\xfc\xc8\xf2\xbb"
    16 |-> "\x8f\xe6\xb1h\x92V\xc0\xd3\x85\xf4/[\xbe '\xa2,\x19\x96\xe1\x10\xba\x97\xc1q\xd3\xe5\x94\x8d\xe9+\xeb"
    17 |-> "\x8d\rc\xc3\x9e\xba\xde\x85\t\xe0\xae<\x9c8v\xfb_\xa1\x12\xbe\x18\xf9\x05\xec\xac\xfe\xcb\x92\x05v\x03\xab"
    18 |-> "\x95\xee\xc8\xb2\xe5A\xca\xd4\xe9\x1d\xe3\x83\x85\xf2\xe0Fa\x9fTIl#\x82\xcbl\xac\xd5\xb9\x8c&\xf5\xa4"
    19 |-> "\xf8\x93\xe9\x08\x91wu\xb6+\xff#)M\xbb\xe3\xa1\xcd\x8el\xc1\xc3[H\x01\x88{djo\x81\xf1\x7f"
    20 |-> "\xcd\xdb\xa7\xb5\x92\xe3\x133\x93\xc1a\x94\xfa\xc7C\x1a\xbf/T\x85\xedq\x1d\xb2\x82\x18<\x81\x9e\x08\xeb\xaa"
    21 |-> "\x8a\x8d\x7f\xe3\xaf\x8c\xaa\x08Zv9\xa82\x00\x14W\xdf\xb9\x12\x8a\x80a\x14*\xd03V)\xff#\xff\x9c"
    22 |-> "\xfe\xb3\xc37\xd7\xa5\x1ao\xbf\x00\xb9\xe3LR\xe1\xc9\x19\\\x96\x9b\xd4\xe7\xa0\xbf\xd5\x1d\\[\xed\x9c\x11g"
    23 |-> "\xe7\x1f\n\xa8<\xc3.\xdf\xbe\xfa\x9fM>\x01t\xca\x85\x18.\xec\x9f:\t\xf6\xa6\xc0\xdfcw\xa5\x10\xd7"
    24 |-> "1 o\xa8\nP\xbbj\xbe)\x08PX\xf1b\x12!*`\xee\xc8\xf0I\xfe\xcb\x92\xd8\xc8\xe0\xa8K\xc0"
    25 |-> "!5+\xfe\xcb\xed\xdd\xe9\x93\x83\x9faL=\xac\n>\xe3uC\xf9\xb4\x12\xb1a\x99\xdc\x15\x8e#\xb5D"
    26 |-> "a\x9e1'$\xbbm|1S\xed\x9d\xe7\x91\xd7d\xa3f\xb3\x89\xaf\x13\xc5\x8b\xf8\xa8\xd9\x04\x81\xa4ge"
    27 |-> "|\xdd)\x86&\x82Pb\x8d\f\x10\xe3\x85\xc5\x8ca\x91\xe6\xfb\xe0Q\x91\xbc\xc0O\x13?,\xear\xc1\xc4"
    28 |-> "\x84\x890\xbd{\xa8\xca\xc5Fa\x07!\x13\xfb'\x88i\xe0{\xb8X\x7f\x919)37M\x01{\xcb\xe1"
    29 |-> "\x88i\xff,\"\xb2\x8c\xc1\x05\x10\xd9\x852\x92\x803(\xbeO\xb0\xe8\x04\x95\xe8\xbb\x8d'\x1f[\x88\x966"
    30 |-> "\xb5\xfe(\xe7\x9f\x1b\x85\x0f\x86X$l\xe9\xb6\xa1\xe7\xb4\x9f\xc0m\xb7\x14>\x8f\xe0\xb4\xf2\xb0\xc5R:\\"
    31 |-> "\x98^\x92\x9fp\xaf(\xd0\xbd\xd1\xa9\n\x80\x8f\x97\x7fY||w\x8cH\x9e\x98\xd3\xbd\x89\x10\xd3\x1a\xc0\xf7"
    32 |-> "\xc6\xf6~\x02\xe6\xe4\xe1\xbd\xef\xb9\x94\xc6\t\x89S\xf3F6\xba+l\xa2\nG!\xd2\xb2j\x88g\"\xff"
    33 |-> "\x1c\x9a~_\xf1\xcfH\xb4\xad\x15\x82\xd3\xf4\xe4\xa1\x00O; \xd8\xc5\xa2\xb7\x13\x87\xa4%J\xd93\xeb\xc5"
    34 |-> "/\x07Z\xe2)dkoj\xed\x19\xa5\xe3r\xcf)P\x81@\x1e\xb8\x93\xffY\x9b?\x9a\xcc\f\r>}"
    35 |-> "2\x89!\xde\xb5\x96\x12\x07h\x01\xe8\xcdaY!\x07\xb5\xc6|y\xb8FY\\\xc62\f9[F6,"
    36 |-> "\xbf\xb9\t\xfd\xb26\xad$\x11\xb4\xe4\x888\x10\xa0t\xb8@FF\x89\x98l?\x8a\x80\x91\x82~\x17\xc3'"
    37 |-> "U\xd8\xfb6\x87\xba;\xa4\x9f4,w\xf5\xa1\xf8\x9b\xec\x83\xd8\x11Dn\x1aFq9!=d\x0bjt"
    38 |-> "\xf7!\rO\x8e~\x109y\x0e{\xf4\xef\xa2\x07UZ\x10\xa6\xdb\x1d\xd4\xb9]\xa3\x13\xaa\xa8\x8b\x88\xfev"
    39 |-> "\xad!\xb5\x16\xcb\xc6E\xff\xe3J\xb5\xde\x1c\x8a\xef\x8c\xd4\xe7\xf8\xd2\xb5\x1e\x8e\x14V\xad\xc7V<\xda o"
    40 |-> "k\xfe\x8d+\xccB7\xb7JPG\x05\x8e\xf4U3\x9e\xcds`\xcbc\xbf\xbb\x8e\xe5D\x8ed0\xba\x04"
    41 |-> "\xa7\xf2<\xe9\x18\x17@\xdc\"\f\x81G\x82eO\xeej\xce\xb9\xf1\xec\x92\"\xc4\xe2F}\n\xb1h\x087"
    42 |-> "\xae\xf9Gl\x89Y\n,\x8c\xc9\xb3\xb7OIg\xc7W\xc4\x9d\x98f\xa4K\xac\xf2\x1f\xa2\xedg]\xdf\xa2"
    43 |-> "\x9aB\xbc\xad\x82\xf6\xa9\xe4\x12\x84\xd8\x08\xea\xd3\x19\xf2\x9f;\x08 \x9dh\x0f\x0e,\xe7\x15\x10\xd0q\xe2\x05"
    44 |-> "\xd1\xa6m5Jg\xb9\xcf\x17\x95q\xd8\xe5\xf9w\x92qn\x8d\xd4\xecD\x19h9\xa3\xf7\xc6\xb7O\x8b\xac"
    45 |-> "\xfa\xfa0%\xf2\xf8\x95\t\xc2\xc7\x1ct\xfb\xa0\xcd\x92\x85\x8e\xf4\x9b\x07\x80\xfbTytl\x8a\x9b\xfc\xb3F"
    46 |-> "34\xa7\xc1\xe7\xf6pZ\xa6\x01\x1aj\x94\x96E\x01m\xb4\xac\xde\f\xa9\xab\xd6m\xc7\x9d\x82fB0V"
    47 |-> "\x07\x96\xfdufO\xae\xf7D\xeeNR\xd7'\x1e+\xbbv\x9f\x91\xedo\x9bt\xd8\xb6\x94\xf5f\x06\x85,"
    48 |-> "{\xa3\xaeJA\x7f\xe8T[\x14+\xc8\x9fJ\xdc\xd7\xae\x13\x94\x1c\xba\xb7u\x0b\x83\xe9\xf0\xa6m\x16\xbed"
    49 |-> "x\x8f\xaf\xccJ\xa5 9\x9a\xdb\xae\xd1\x95\xf8\xb1,N\xb3\x1e\xc1\x01h\xe5\n\xab\xc6Y\xa6\xae\xa5\x16\xdc"
    50 |-> "\xe83\xd7\xa6q`\xe6\x8b\xf4\xc9\x04JS\x07}\xf2rz\xd0\f\xf3oII\xc7\xb6\x81\xa9\x12\x14\f\xbb"
    51 |-> "0\x9e\xab\xf0\x95\xdcg\x14\xf9\xf4\xd8d\xbb\xa5\xaf\xfa\xe0\xb3Z\xe2\xf5\xe3V[\xcc:G\xb2\x12vw\x01"
    52 |-> "\"j\x8e\xbe\xfa(\x86e\xa6D\xa5\x02s3^\xfb\xb6\x10Q\x0f$\x1b[r\f\x8a6\x8dY\xa6\x9a]"
    53 |-> "A\xab\xfd\x99T%\x82v%\x93\x811\xaf\fO3\xfe\x0b\xd4h\x8c\",!\xfa\x9d\xa8\xe8\x9c\xaa\x03\xf8"
    54 |-> "D,d.\xf5\x0f\xa1\xa6g\xa6\xe6\xd1\x05\xc7|\\\xc3\xfe\xc8\xd7\xaa%p\xcf\x1a0w\xb5\x03\xc3\x80i"
    55 |-> "\xa0\xa0\x8d\xfc\x9bB\xd9l-\xe1\x9bm\x12{\x8a\xe16\xdd\xcf>Z\xd0\xdc\xe4\"\xc4ZV\xf6\x1fjt"
    56 |-> "}4\x83\x82\xaf\tm\xbe\x0b\xf0\x86\xc7\xbb9\xb2\xa2\xc0\xbc6\xb6!\xab\fs\x8e\x98\x85\xd71\xd8\x17@"
    57 |-> ":\xb14u\x1d\x19\x12i\x02l\x86\x99N\xaa\x8bC\xa8;J\xd1\xf6\xd0\xe7s\x81\xc4\xe2\x97J\xfb\xc8\xf6"
    58 |-> "\x9atRa\x1d\xb2\xd2>\xae&\xf9\xbd\xbb\x88\x95\x8e\xf4Ld\xd0\xfe\x98{\xe9\xf7&\xad\xf98\xf5\x0fl"
    59 |-> "r\\\x7f\x81`7\xbf\xe4R\xcd\x1e{\xa3Z\xc4~\xdc\xb4\x9a\x9a+'\xae\xcap\xdc\xe4\x83\xcb}\xed\x1f"
    60 |-> ",\xea\x1a\xf5\x1f\xb2\x8bb\x88|9\x99\x8a\xc9\xfe\xf4\xdf\xde\xda\x1f\x07\xe0q\xbaU\x8a\x17:\xfd\x06\xcb\xc3"
    61 |-> "\xff\x1dY\xf9\x8blU\x1d\x95\x08\x93W\x05}\\\x8b\xe2d\x02'\x9e\x9d\xf0\xb1\xdf\x1a\x10\xb7+\xf3\x92\x7f"
    62 |-> "/\x8a\x18\x1f|\x99\xdd!Zu)\xbf\xe2\x96\xa9`:\x14Fsq\x86\xd2\x1a\xeb\x8b\xc7\xaeY\xe1\xfd!"
    63 |-> "\xec\xc5\x02\xc9\xb1\x14_9P\xcb}>8BDo\x81\xa4\xf0\xdf\x1d\xf57\xce\xe19\xefd\xea\x98K\xd9"
  </zerohashes-cache>
</beacon-chain>
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Publish to Jenkins)
[Pipeline] sh
+ deps/k/k-distribution/target/release/k/bin/kcovr .build/defn/llvm/beacon-chain-kompiled -- .build/defn/llvm/beacon-chain.k .build/defn/llvm/config.k .build/defn/llvm/constants-minimal.k .build/defn/llvm/hash-tree.k .build/defn/llvm/types.k
[Pipeline] cobertura
[Cobertura] Publishing Cobertura coverage report...

[Cobertura] Publishing Cobertura coverage results...

[Cobertura] Cobertura coverage report found.

[Pipeline] sh
+ make sphinx
mkdir -p .build/sphinx-docs \
    && cp -r media/sphinx-docs/* .build/sphinx-docs \
    && cp -r *.md .build/sphinx-docs/. \
    && cp -r *.k .build/sphinx-docs/. \
    && cd .build/sphinx-docs \
    && ./k-to-md.sh \
    && sphinx-build -b dirhtml -d ../.build/sphinx-docs/doctrees   . html \
    && sphinx-build -b text -d ../.build/sphinx-docs/doctrees   . html/text
+ cp -f config.k config.md
+ cp -f beacon-chain.k beacon-chain.md
+ cp -f constants-mainnet.k constants-mainnet.md
+ cp -f constants-minimal.k constants-minimal.md
+ cp -f hash-tree.k hash-tree.md
+ cp -f types.k types.md
+ FILE=beacon-chain.md
+ title_no_k Beacon Chain beacon-chain.md
+ insert_title Beacon Chain  beacon-chain.md
+ TITLE_PRE=1s/^\(.*\)/
+ TITLE_MID=\n============\n
+ TITLE_POST=\1/
+ sed -i 1s/^\(.*\)/Beacon Chain\n============\n\1/ beacon-chain.md
+ sed -i 0,/^\s*\/\*/ s/^ *\/\*/\n\n/g beacon-chain.md
+ sed -i 0,/^\s*\*\// s/^ *\*\//\n\n```k\n/g beacon-chain.md
+ sed -i 0,/^\s*\*/ s/^ *\*\(.*\)/\1/g beacon-chain.md
+ sed -i 0,/^\s*\*/ s/^ *\*\(.*\)/\1/g beacon-chain.md
+ enter_next_python beacon-chain.md
+ sed -i 1s/^\s*\/\*\(.*\)/Python reference:\n```python\n\1/g beacon-chain.md
+ enter_next_k beacon-chain.md
+ sed -i 1s/^\s*\*\//\n```\n\nK semantics:\n```k\n/g beacon-chain.md
+ extract_python beacon-chain.md
+ sed -i s/^\/\*\s*def \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\ndef \1(\2/g beacon-chain.md
+ sed -i /\/\*\s*$/{
        N
        s/\/\*\s*\n\s*def \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\ndef \1(\2/g
  } beacon-chain.md
+ sed -i s/^\/\*\s*class \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\nclass \1(\2/g beacon-chain.md
+ sed -i /\/\*\s*$/{
        N
        s/\/\*\s*\n\s*class \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\nclass \1(\2/g
  } beacon-chain.md
+ sed -i s/^\s*\/\*\(.*\)/\n```\n\nPython reference:\n```python\n\1/g beacon-chain.md
+ sed -i s/^\(.*\)\*\/\s*$/\1\n```\n\nK semantics:\n```k\n/g beacon-chain.md
+ echo ```
+ FILE=hash-tree.md
+ title Hash Tree hash-tree.md
+ insert_title Hash Tree \n```k\n hash-tree.md
+ TITLE_PRE=1s/^\(.*\)/
+ TITLE_MID=\n============\n
+ TITLE_POST=\1/
+ sed -i 1s/^\(.*\)/Hash Tree\n============\n\n```k\n\1/ hash-tree.md
+ enter_next_python hash-tree.md
+ sed -i 1s/^\s*\/\*\(.*\)/Python reference:\n```python\n\1/g hash-tree.md
+ enter_next_k hash-tree.md
+ sed -i 1s/^\s*\*\//\n```\n\nK semantics:\n```k\n/g hash-tree.md
+ extract_python hash-tree.md
+ sed -i s/^\/\*\s*def \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\ndef \1(\2/g hash-tree.md
+ sed -i /\/\*\s*$/{
        N
        s/\/\*\s*\n\s*def \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\ndef \1(\2/g
  } hash-tree.md
+ sed -i s/^\/\*\s*class \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\nclass \1(\2/g hash-tree.md
+ sed -i /\/\*\s*$/{
        N
        s/\/\*\s*\n\s*class \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\nclass \1(\2/g
  } hash-tree.md
+ sed -i s/^\s*\/\*\(.*\)/\n```\n\nPython reference:\n```python\n\1/g hash-tree.md
+ sed -i s/^\(.*\)\*\/\s*$/\1\n```\n\nK semantics:\n```k\n/g hash-tree.md
+ echo ```
+ FILE=config.md
+ title Configuration config.md
+ insert_title Configuration \n```k\n config.md
+ TITLE_PRE=1s/^\(.*\)/
+ TITLE_MID=\n============\n
+ TITLE_POST=\1/
+ sed -i 1s/^\(.*\)/Configuration\n============\n\n```k\n\1/ config.md
+ enter_next_k config.md
+ sed -i 1s/^\s*\*\//\n```\n\nK semantics:\n```k\n/g config.md
+ extract_python config.md
+ sed -i s/^\/\*\s*def \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\ndef \1(\2/g config.md
+ sed -i /\/\*\s*$/{
        N
        s/\/\*\s*\n\s*def \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\ndef \1(\2/g
  } config.md
+ sed -i s/^\/\*\s*class \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\nclass \1(\2/g config.md
+ sed -i /\/\*\s*$/{
        N
        s/\/\*\s*\n\s*class \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\nclass \1(\2/g
  } config.md
+ sed -i s/^\s*\/\*\(.*\)/\n```\n\nPython reference:\n```python\n\1/g config.md
+ sed -i s/^\(.*\)\*\/\s*$/\1\n```\n\nK semantics:\n```k\n/g config.md
+ echo ```
+ FILE=types.md
+ title Types types.md
+ insert_title Types \n```k\n types.md
+ TITLE_PRE=1s/^\(.*\)/
+ TITLE_MID=\n============\n
+ TITLE_POST=\1/
+ sed -i 1s/^\(.*\)/Types\n============\n\n```k\n\1/ types.md
+ enter_next_k types.md
+ sed -i 1s/^\s*\*\//\n```\n\nK semantics:\n```k\n/g types.md
+ extract_python types.md
+ sed -i s/^\/\*\s*def \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\ndef \1(\2/g types.md
+ sed -i /\/\*\s*$/{
        N
        s/\/\*\s*\n\s*def \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\ndef \1(\2/g
  } types.md
+ sed -i s/^\/\*\s*class \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\nclass \1(\2/g types.md
+ sed -i /\/\*\s*$/{
        N
        s/\/\*\s*\n\s*class \([a-zA-Z_]*\)(\(.*\)/\n```\n\n#### `\1`\n\nPython reference:\n```python\nclass \1(\2/g
  } types.md
+ sed -i s/^\s*\/\*\(.*\)/\n```\n\nPython reference:\n```python\n\1/g types.md
+ sed -i s/^\(.*\)\*\/\s*$/\1\n```\n\nK semantics:\n```k\n/g types.md
+ echo ```
+ FILE=constants-mainnet.md
+ title Constants (Mainnet) constants-mainnet.md
+ insert_title Constants (Mainnet) \n```k\n constants-mainnet.md
+ TITLE_PRE=1s/^\(.*\)/
+ TITLE_MID=\n============\n
+ TITLE_POST=\1/
+ sed -i 1s/^\(.*\)/Constants (Mainnet)\n============\n\n```k\n\1/ constants-mainnet.md
+ echo ```
+ FILE=constants-minimal.md
+ title Constants (Minimal) constants-minimal.md
+ insert_title Constants (Minimal) \n```k\n constants-minimal.md
+ TITLE_PRE=1s/^\(.*\)/
+ TITLE_MID=\n============\n
+ TITLE_POST=\1/
+ sed -i 1s/^\(.*\)/Constants (Minimal)\n============\n\n```k\n\1/ constants-minimal.md
+ echo ```
Running Sphinx v1.8.5
making output directory...
building [mo]: targets for 0 po files that are out of date
building [dirhtml]: targets for 9 source files that are out of date
updating environment: 9 added, 0 changed, 0 removed
reading sources... [ 11%] LICENSE
reading sources... [ 22%] README
reading sources... [ 33%] beacon-chain
reading sources... [ 44%] config
reading sources... [ 55%] constants-mainnet
reading sources... [ 66%] constants-minimal
reading sources... [ 77%] hash-tree
reading sources... [ 88%] index
reading sources... [100%] types

looking for now-outdated files... none found
pickling environment... done
checking consistency... /home/jenkins-slave/workspace/beacon-chain_master/.build/sphinx-docs/LICENSE.md: WARNING: document isn't included in any toctree
done
preparing documents... done
writing output... [ 11%] LICENSE
writing output... [ 22%] README
writing output... [ 33%] beacon-chain
writing output... [ 44%] config
writing output... [ 55%] constants-mainnet
writing output... [ 66%] constants-minimal
writing output... [ 77%] hash-tree
writing output... [ 88%] index
writing output... [100%] types

/home/jenkins-slave/workspace/beacon-chain_master/.build/sphinx-docs/hash-tree.md: WARNING: Could not lex literal_block as "python". Highlighting skipped.
generating indices... genindex
writing additional pages... search
copying static files... done
copying extra files... done
dumping search index in English (code: en) ... done
dumping object inventory... done
build succeeded, 2 warnings.

The HTML pages are in html.
Running Sphinx v1.8.5
making output directory...
loading pickled environment... done
building [mo]: targets for 0 po files that are out of date
building [text]: targets for 9 source files that are out of date
updating environment: 0 added, 0 changed, 0 removed
looking for now-outdated files... none found
preparing documents... done
writing output... [ 11%] LICENSE
writing output... [ 22%] README
writing output... [ 33%] beacon-chain
writing output... [ 44%] config
writing output... [ 55%] constants-mainnet
writing output... [ 66%] constants-minimal
writing output... [ 77%] hash-tree
writing output... [ 88%] index
writing output... [100%] types

build succeeded.

The text files are in html/text.
[Pipeline] stash
Stashed 94 file(s)
[Pipeline] publishHTML
[htmlpublisher] Archiving HTML reports...
[htmlpublisher] Archiving at BUILD level /home/jenkins-slave/workspace/beacon-chain_master/.build/sphinx-docs/html to /var/lib/jenkins/jobs/beacon-chain/branches/master/builds/32/htmlreports/Semantics_20_28HTML_29
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Deploy documentation to GitHub Pages)
[Pipeline] stage
[Pipeline] { (Initialize Git/SSH)
[Pipeline] sshagent
[ssh-agent] Using credentials admin@runtimeverification.com (Jenkins administrative key)
[ssh-agent] Looking for ssh-agent implementation...
[ssh-agent]   Exec ssh-agent (binary ssh-agent on a remote machine)
$ docker exec 6405c234a0d0347631cd2de1262e355bf616764421bb1404203d745bdca6082e ssh-agent
SSH_AUTH_SOCK=/tmp/ssh-yCvEcMUEl3Md/agent.94069
SSH_AGENT_PID=94074
Running ssh-add (command line suppressed)
Identity added: /home/jenkins-slave/workspace/beacon-chain_master@tmp/private_key_5700480638552784717.key (/home/jenkins-slave/workspace/beacon-chain_master@tmp/private_key_5700480638552784717.key)
[ssh-agent] Started.
[Pipeline] {
[Pipeline] sh
+ git config --global user.email admin@runtimeverification.com
+ git config --global user.name RV Jenkins
+ mkdir -p /home/user/.ssh
+ echo host github.com
+ echo     hostname github.com
+ echo     user git
+ echo     identityagent SSH_AUTH_SOCK
+ echo     stricthostkeychecking accept-new
+ chmod go-rwx -R /home/user/.ssh
+ ssh github.com
Pseudo-terminal will not be allocated because stdin is not a terminal.
Warning: Permanently added 'github.com,140.82.113.3' (RSA) to the list of known hosts.
Hi rv-jenkins! You've successfully authenticated, but GitHub does not provide shell access.
+ true
[Pipeline] }
$ docker exec --env ******** --env ******** 6405c234a0d0347631cd2de1262e355bf616764421bb1404203d745bdca6082e ssh-agent -k
unset SSH_AUTH_SOCK;
unset SSH_AGENT_PID;
echo Agent pid 94074 killed;
[ssh-agent] Stopped.
[Pipeline] // sshagent
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Push GitHub Pages)
[Pipeline] unstash
[Pipeline] dir
Running in /home/jenkins-slave/workspace/beacon-chain_master/gh-pages
[Pipeline] {
[Pipeline] sshagent
[ssh-agent] Using credentials admin@runtimeverification.com (Jenkins administrative key)
[ssh-agent] Looking for ssh-agent implementation...
[ssh-agent]   Exec ssh-agent (binary ssh-agent on a remote machine)
$ docker exec 6405c234a0d0347631cd2de1262e355bf616764421bb1404203d745bdca6082e ssh-agent
SSH_AUTH_SOCK=/tmp/ssh-k4NnVTHmTzsC/agent.94106
SSH_AGENT_PID=94111
Running ssh-add (command line suppressed)
Identity added: /home/jenkins-slave/workspace/beacon-chain_master/gh-pages@tmp/private_key_3088522015585750667.key (/home/jenkins-slave/workspace/beacon-chain_master/gh-pages@tmp/private_key_3088522015585750667.key)
[ssh-agent] Started.
[Pipeline] {
[Pipeline] git
No credentials specified
Cloning the remote Git repository
Cloning repository git@github.com:runtimeverification/beacon-chain-spec
 > git init /home/jenkins-slave/workspace/beacon-chain_master/gh-pages # timeout=10
Fetching upstream changes from git@github.com:runtimeverification/beacon-chain-spec
 > git --version # timeout=10
 > git fetch --tags --progress git@github.com:runtimeverification/beacon-chain-spec +refs/heads/*:refs/remotes/origin/*
Checking out Revision 0e077aa386e2b4ed67b8d83d4652e3d8b3278423 (refs/remotes/origin/gh-pages)
 > git config remote.origin.url git@github.com:runtimeverification/beacon-chain-spec # timeout=10
 > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
 > git config remote.origin.url git@github.com:runtimeverification/beacon-chain-spec # timeout=10
Fetching upstream changes from git@github.com:runtimeverification/beacon-chain-spec
 > git fetch --tags --progress git@github.com:runtimeverification/beacon-chain-spec +refs/heads/*:refs/remotes/origin/*
 > git rev-parse refs/remotes/origin/gh-pages^{commit} # timeout=10
 > git rev-parse refs/remotes/origin/origin/gh-pages^{commit} # timeout=10
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 0e077aa386e2b4ed67b8d83d4652e3d8b3278423
 > git branch -a -v --no-abbrev # timeout=10
 > git checkout -b gh-pages 0e077aa386e2b4ed67b8d83d4652e3d8b3278423
Commit message: "Updating public documentation."
 > git rev-list --no-walk 642f5ab7041b9a6b74ef760fa560738b8259e64b # timeout=10
[Pipeline] sh
+ cp -rf ../.build/sphinx-docs/html/LICENSE ../.build/sphinx-docs/html/README ../.build/sphinx-docs/html/_sources ../.build/sphinx-docs/html/_static ../.build/sphinx-docs/html/beacon-chain ../.build/sphinx-docs/html/config ../.build/sphinx-docs/html/constants-mainnet ../.build/sphinx-docs/html/constants-minimal ../.build/sphinx-docs/html/genindex ../.build/sphinx-docs/html/hash-tree ../.build/sphinx-docs/html/index.html ../.build/sphinx-docs/html/objects.inv ../.build/sphinx-docs/html/search ../.build/sphinx-docs/html/searchindex.js ../.build/sphinx-docs/html/text ../.build/sphinx-docs/html/types .
+ git add --all
+ git commit -am Updating public documentation.
On branch gh-pages
nothing to commit, working tree clean
+ true
+ git push --set-upstream origin gh-pages
Everything up-to-date
Branch 'gh-pages' set up to track remote branch 'gh-pages' from 'origin'.
[Pipeline] }
$ docker exec --env ******** --env ******** 6405c234a0d0347631cd2de1262e355bf616764421bb1404203d745bdca6082e ssh-agent -k
unset SSH_AUTH_SOCK;
unset SSH_AGENT_PID;
echo Agent pid 94111 killed;
[ssh-agent] Stopped.
[Pipeline] // sshagent
[Pipeline] }
[Pipeline] // dir
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // ansiColor
[Pipeline] }
$ docker stop --time=1 6405c234a0d0347631cd2de1262e355bf616764421bb1404203d745bdca6082e
$ docker rm -f 6405c234a0d0347631cd2de1262e355bf616764421bb1404203d745bdca6082e
[Pipeline] // withDockerContainer
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

Finished: SUCCESS