code to extract strings from liblzma 5.6.1 fedora

stuff.py

import struct

from tables import tbl_1_mem, tbl_2_mem

def popcount(v):
    return bin(v).count('1')

def tbl_1_entry(offs):
    tbl_1_entry = tbl_1_mem[offs:offs+4]
    a, b = struct.unpack('<HH', tbl_1_entry)
    return a, b

def tbl_2_entry(offs):
    tbl_2 = struct.unpack('<QQ', tbl_2_mem[offs:offs+16])
    return tbl_2

def tbl_2_lookup(tbl_2, c):
    if c > 127:
        return None

    ix = 0
    lookup = tbl_2[0]
    if c < 0x40:
        if (lookup >> (c & 0x3f)) & 1 == 0:
            return None
    else:
        lookup = tbl_2[1]
        c -= 0x40
        if (lookup >> (c & 0x3f)) & 1 == 0:
            return None
        ix = popcount(tbl_2[0])

    # find the actually responsible bit
    while True:
        zeroes = 0
        if lookup != 0:
            while ((lookup >> zeroes) & 1) == 0:
                zeroes += 1
        if zeroes == c:
            break
        ix += 1
        lookup = lookup & (lookup - 1)
    return ix


def h(data):
    tbl_1_offs = 0x13e8
    tbl_2_offs = 0x760

    for c in data:
        #print(tbl_1_offs, tbl_2_offs)
        tbl_2 = tbl_2_entry(tbl_2_offs)

        #c = ord(c)
        ix = tbl_2_lookup(tbl_2, c)
        if ix is None:
             return 0

        tbl_1_ix = tbl_1_offs + ix * 4
        a, b = tbl_1_entry(tbl_1_offs + ix * 4)

        if (a & 4) != 0:
            return b
        elif (a & 2) == 0:
            b = -b
        else:
            a &= 0xfffd

        add_tbl2 = a & 0xfffe
        if (a & 1) == 0:
            add_tbl2 = -a

        add_tbl1 = b - 4
        add_tbl2 = add_tbl2 - 0x10
        tbl_1_offs += add_tbl1
        tbl_2_offs += add_tbl2
    return 0


def invert(tbl_1_offs = 0x13e8, tbl_2_offs=0x760):
    tbl_2 = tbl_2_entry(tbl_2_offs)

    res = []
    for i in range(128):
        ix = tbl_2_lookup(tbl_2, i)
        # invalid
        if ix is None:
            continue
        tbl_1_ix = tbl_1_offs + ix * 4
        a, b = tbl_1_entry(tbl_1_offs + ix * 4)

        if (a & 4) != 0:
            # end of string
            res.append([i])
            continue

        # string continues
        if (a & 2) == 0:
            b = -b
        else:
            a &= 0xfffd

        add_tbl2 = a & 0xfffe
        if (a & 1) == 0:
            add_tbl2 = -a

        add_tbl1 = b - 4
        add_tbl2 = add_tbl2 - 0x10

        followup = [i]
        for extra in invert(tbl_1_offs + add_tbl1, tbl_2_offs + add_tbl2):
            res.append([i] + extra)

    return res

res = invert()
for r in res:
    print('{:04x}'.format(h(bytes(r))), bytes(r))

tables.py

tbl_1_mem = [ 0x04, 0x00, 0x10, 0x08, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x04, 0x00, 0x78, 0x06, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x30, 0x00, 0x0c, 0x00, 0x03, 0x00, 0x00, 0x00, 0x04, 0x00, 0xd8, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x43, 0x00, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x13, 0x01, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0x62, 0x00, 0x00, 0x00, 0xb3, 0x00, 0x00, 0x00, 0xb2, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0xc3, 0x00, 0x00, 0x00, 0xb2, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0x04, 0x00, 0x08, 0x07, 0x04, 0x00, 0x08, 0x01, 0x12, 0x00, 0x00, 0x00, 0x63, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0xf2, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x33, 0x01, 0x00, 0x00, 0xf2, 0x00, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x22, 0x00, 0x00, 0x00, 0x22, 0x01, 0x00, 0x00, 0x04, 0x00, 0x70, 0x08, 0x22, 0x00, 0x00, 0x00, 0x23, 0x00, 0x00, 0x00, 0x72, 0x01, 0x00, 0x00, 0xb3, 0x01, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x83, 0x00, 0x00, 0x00, 0x23, 0x00, 0x00, 0x00, 0x82, 0x01, 0x00, 0x00, 0x63, 0x01, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0x04, 0x00, 0xa0, 0x01, 0x22, 0x00, 0x00, 0x00, 0x23, 0x00, 0x00, 0x00, 0x72, 0x01, 0x00, 0x00, 0xb3, 0x01, 0x00, 0x00, 0xb2, 0x01, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x23, 0x01, 0x00, 0x00, 0x43, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x90, 0x01, 0x30, 0x00, 0x72, 0x00, 0x00, 0x00, 0x21, 0x01, 0x04, 0x00, 0x03, 0x01, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x22, 0x01, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0x33, 0x01, 0x00, 0x00, 0xd2, 0x00, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0x04, 0x00, 0x40, 0x0c, 0xe2, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x53, 0x01, 0x00, 0x00, 0x22, 0x01, 0x00, 0x00, 0x04, 0x00, 0xd0, 0x06, 0xe2, 0x00, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x53, 0x01, 0x00, 0x00, 0xa0, 0x00, 0x14, 0x00, 0xd2, 0x01, 0x00, 0x00, 0x04, 0x00, 0x58, 0x09, 0x62, 0x00, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x04, 0x00, 0x18, 0x04, 0x42, 0x01, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0xb3, 0x01, 0x00, 0x00, 0x04, 0x00, 0xe0, 0x04, 0x33, 0x00, 0x00, 0x00, 0xa2, 0x01, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0xa2, 0x00, 0x00, 0x00, 0x33, 0x02, 0x00, 0x00, 0x72, 0x01, 0x00, 0x00, 0x10, 0x00, 0x40, 0x00, 0xa0, 0x00, 0x30, 0x00, 0x00, 0x02, 0x20, 0x00, 0xa2, 0x00, 0x00, 0x00, 0x21, 0x00, 0x0c, 0x00, 0x12, 0x00, 0x00, 0x00, 0x04, 0x00, 0x90, 0x07, 0xb2, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x93, 0x01, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x22, 0x01, 0x00, 0x00, 0x83, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x32, 0x01, 0x00, 0x00, 0x03, 0x02, 0x00, 0x00, 0x62, 0x01, 0x00, 0x00, 0x63, 0x01, 0x00, 0x00, 0xb2, 0x00, 0x00, 0x00, 0x22, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x73, 0x00, 0x00, 0x00, 0x04, 0x00, 0x18, 0x00, 0xd2, 0x01, 0x00, 0x00, 0x13, 0x02, 0x00, 0x00, 0x52, 0x00, 0x00, 0x00, 0xd3, 0x00, 0x00, 0x00, 0x02, 0x01, 0x00, 0x00, 0xc3, 0x00, 0x00, 0x00, 0x52, 0x00, 0x00, 0x00, 0xd3, 0x00, 0x00, 0x00, 0xb2, 0x01, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0x23, 0x00, 0x00, 0x00, 0xe2, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0xb3, 0x01, 0x00, 0x00, 0xa2, 0x00, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0xb3, 0x00, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0xd3, 0x01, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x22, 0x00, 0x00, 0x00, 0x63, 0x00, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0xe2, 0x01, 0x00, 0x00, 0x23, 0x02, 0x00, 0x00, 0x22, 0x00, 0x00, 0x00, 0xa2, 0x00, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x63, 0x00, 0x00, 0x00, 0x04, 0x00, 0xb0, 0x00, 0x82, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0xe3, 0x01, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0x73, 0x00, 0x00, 0x00, 0x02, 0x02, 0x00, 0x00, 0xb3, 0x00, 0x00, 0x00, 0x52, 0x00, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x93, 0x02, 0x00, 0x00, 0x02, 0x02, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x30, 0x02, 0x40, 0x00, 0xb2, 0x00, 0x00, 0x00, 0xa1, 0x02, 0x04, 0x00, 0x02, 0x02, 0x00, 0x00, 0x03, 0x02, 0x00, 0x00, 0x42, 0x01, 0x00, 0x00, 0x83, 0x01, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x20, 0x01, 0xe0, 0x00, 0xe2, 0x01, 0x00, 0x00, 0x91, 0x02, 0x04, 0x00, 0x04, 0x00, 0x60, 0x09, 0xd2, 0x01, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x04, 0x00, 0xd0, 0x09, 0xe2, 0x01, 0x00, 0x00, 0x04, 0x00, 0x68, 0x04, 0x32, 0x01, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0xc3, 0x00, 0x00, 0x00, 0x80, 0x00, 0x18, 0x00, 0x72, 0x01, 0x00, 0x00, 0x21, 0x02, 0x04, 0x00, 0x32, 0x01, 0x00, 0x00, 0xd2, 0x00, 0x00, 0x00, 0x13, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x20, 0x00, 0x48, 0x00, 0x52, 0x00, 0x00, 0x00, 0x04, 0x00, 0xe8, 0x07, 0x62, 0x00, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x83, 0x01, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x04, 0x00, 0x68, 0x02, 0x32, 0x01, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x23, 0x01, 0x00, 0x00, 0x43, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0xf0, 0x02, 0x28, 0x00, 0x92, 0x01, 0x00, 0x00, 0x11, 0x01, 0x04, 0x00, 0xd2, 0x00, 0x00, 0x00, 0x13, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x72, 0x00, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x04, 0x00, 0xe0, 0x06, 0x82, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0xe3, 0x01, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0xb3, 0x00, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0xd3, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x32, 0x01, 0x00, 0x00, 0x12, 0x01, 0x00, 0x00, 0x13, 0x01, 0x00, 0x00, 0x02, 0x01, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x30, 0x00, 0x3c, 0x00, 0x03, 0x00, 0x00, 0x00, 0x61, 0x01, 0x04, 0x00, 0x04, 0x00, 0x28, 0x0b, 0x42, 0x01, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0xb3, 0x01, 0x00, 0x00, 0x04, 0x00, 0x38, 0x08, 0x22, 0x01, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0x50, 0x03, 0x0c, 0x00, 0xb2, 0x01, 0x00, 0x00, 0x71, 0x01, 0x04, 0x00, 0x62, 0x01, 0x00, 0x00, 0x63, 0x00, 0x00, 0x00, 0x52, 0x00, 0x00, 0x00, 0x93, 0x01, 0x00, 0x00, 0x82, 0x01, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x03, 0x01, 0x00, 0x00, 0x72, 0x00, 0x00, 0x00, 0x04, 0x00, 0xa8, 0x02, 0x52, 0x03, 0x00, 0x00, 0x23, 0x02, 0x00, 0x00, 0x52, 0x00, 0x00, 0x00, 0x93, 0x01, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x23, 0x01, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0x04, 0x00, 0x08, 0x0c, 0x52, 0x03, 0x00, 0x00, 0x23, 0x02, 0x00, 0x00, 0x52, 0x00, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x04, 0x00, 0xf0, 0x03, 0x42, 0x01, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0x62, 0x00, 0x00, 0x00, 0xf3, 0x01, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0x00, 0x03, 0x34, 0x00, 0x70, 0x02, 0x18, 0x00, 0xf2, 0x02, 0x00, 0x00, 0xf1, 0x01, 0x08, 0x00, 0x33, 0x01, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0xb2, 0x01, 0x00, 0x00, 0x04, 0x00, 0x18, 0x01, 0x82, 0x01, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x04, 0x00, 0x08, 0x04, 0x82, 0x02, 0x00, 0x00, 0x51, 0x02, 0x04, 0x00, 0x33, 0x00, 0x00, 0x00, 0xd3, 0x00, 0x00, 0x00, 0xc3, 0x00, 0x00, 0x00, 0x92, 0x01, 0x00, 0x00, 0x04, 0x00, 0xf8, 0x00, 0x32, 0x02, 0x00, 0x00, 0x11, 0x02, 0x04, 0x00, 0xc3, 0x01, 0x00, 0x00, 0x62, 0x01, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x20, 0x02, 0x44, 0x00, 0xa2, 0x01, 0x00, 0x00, 0x04, 0x00, 0x10, 0x0d, 0x42, 0x01, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0xb3, 0x01, 0x00, 0x00, 0x04, 0x00, 0xf8, 0x0a, 0x22, 0x01, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0x50, 0x03, 0x0c, 0x00, 0xb2, 0x01, 0x00, 0x00, 0x71, 0x01, 0x04, 0x00, 0x62, 0x01, 0x00, 0x00, 0x63, 0x00, 0x00, 0x00, 0x52, 0x00, 0x00, 0x00, 0x93, 0x01, 0x00, 0x00, 0xf2, 0x01, 0x00, 0x00, 0x04, 0x00, 0xf8, 0x06, 0x42, 0x01, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0xb3, 0x01, 0x00, 0x00, 0x04, 0x00, 0x58, 0x07, 0x32, 0x01, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x23, 0x01, 0x00, 0x00, 0x43, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0xb3, 0x00, 0x00, 0x00, 0x32, 0x01, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x63, 0x02, 0x00, 0x00, 0xf2, 0x01, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0x04, 0x00, 0x10, 0x05, 0x32, 0x02, 0x00, 0x00, 0x22, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0x02, 0x02, 0x00, 0x00, 0x43, 0x02, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x10, 0x04, 0x68, 0x00, 0x70, 0x02, 0x20, 0x00, 0x72, 0x02, 0x00, 0x00, 0x31, 0x02, 0x08, 0x00, 0x72, 0x00, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x12, 0x01, 0x00, 0x00, 0x04, 0x00, 0x28, 0x0c, 0x82, 0x02, 0x00, 0x00, 0xe3, 0x02, 0x00, 0x00, 0x32, 0x02, 0x00, 0x00, 0x43, 0x02, 0x00, 0x00, 0x92, 0x01, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x43, 0x02, 0x00, 0x00, 0x04, 0x00, 0x60, 0x0c, 0xe2, 0x03, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x53, 0x04, 0x00, 0x00, 0x32, 0x02, 0x00, 0x00, 0x02, 0x02, 0x00, 0x00, 0x04, 0x00, 0x88, 0x01, 0x30, 0x01, 0xcc, 0x01, 0x70, 0x00, 0x10, 0x01, 0x60, 0x00, 0xd0, 0x00, 0x30, 0x00, 0x3c, 0x00, 0x40, 0x04, 0x1c, 0x00, 0x01, 0x00, 0x04, 0x00, 0x81, 0x02, 0x14, 0x00, 0xa2, 0x00, 0x00, 0x00, 0x70, 0x02, 0x38, 0x02, 0xc2, 0x01, 0x00, 0x00, 0x04, 0x00, 0xc0, 0x08, 0xf2, 0x03, 0x00, 0x00, 0x53, 0x03, 0x00, 0x00, 0x13, 0x01, 0x00, 0x00, 0xf2, 0x00, 0x00, 0x00, 0x13, 0x01, 0x00, 0x00, 0xe2, 0x01, 0x00, 0x00, 0x72, 0x01, 0x00, 0x00, 0x02, 0x01, 0x00, 0x00, 0x04, 0x00, 0xa8, 0x06, 0x82, 0x01, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0xe2, 0x00, 0x00, 0x00, 0xe2, 0x00, 0x00, 0x00, 0x23, 0x01, 0x00, 0x00, 0x83, 0x01, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0xf2, 0x03, 0x00, 0x00, 0xe3, 0x04, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x72, 0x01, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0xe2, 0x00, 0x00, 0x00, 0xe2, 0x00, 0x00, 0x00, 0x23, 0x01, 0x00, 0x00, 0xb2, 0x00, 0x00, 0x00, 0x93, 0x01, 0x00, 0x00, 0x23, 0x00, 0x00, 0x00, 0x52, 0x00, 0x00, 0x00, 0x62, 0x02, 0x00, 0x00, 0x10, 0x00, 0x5c, 0x00, 0x62, 0x01, 0x00, 0x00, 0x21, 0x02, 0x04, 0x00, 0x04, 0x00, 0xe0, 0x01, 0xb2, 0x02, 0x00, 0x00, 0xa2, 0x01, 0x00, 0x00, 0x43, 0x02, 0x00, 0x00, 0x83, 0x00, 0x00, 0x00, 0x52, 0x01, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0x13, 0x01, 0x00, 0x00, 0x04, 0x00, 0xf0, 0x0c, 0x72, 0x02, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x04, 0x00, 0xc0, 0x0b, 0x72, 0x02, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0x33, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0xf2, 0x01, 0x00, 0x00, 0xf3, 0x01, 0x00, 0x00, 0x02, 0x01, 0x00, 0x00, 0x04, 0x00, 0x90, 0x0a, 0x32, 0x04, 0x00, 0x00, 0x23, 0x00, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x93, 0x01, 0x00, 0x00, 0x04, 0x00, 0x98, 0x0b, 0x62, 0x02, 0x00, 0x00, 0x83, 0x00, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0xb2, 0x01, 0x00, 0x00, 0xc3, 0x01, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0x04, 0x00, 0xe0, 0x03, 0x12, 0x02, 0x00, 0x00, 0x43, 0x00, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x52, 0x01, 0x00, 0x00, 0xa3, 0x02, 0x00, 0x00, 0xf2, 0x01, 0x00, 0x00, 0x83, 0x01, 0x00, 0x00, 0xa2, 0x00, 0x00, 0x00, 0xb3, 0x00, 0x00, 0x00, 0xb3, 0x00, 0x00, 0x00, 0x02, 0x01, 0x00, 0x00, 0x63, 0x00, 0x00, 0x00, 0x20, 0x00, 0x84, 0x00, 0xc0, 0x01, 0x64, 0x00, 0xe0, 0x01, 0x50, 0x00, 0x60, 0x01, 0x34, 0x00, 0x32, 0x02, 0x00, 0x00, 0x11, 0x03, 0x10, 0x00, 0x04, 0x00, 0x88, 0x0a, 0x12, 0x02, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0x03, 0x01, 0x00, 0x00, 0x00, 0x03, 0x10, 0x00, 0xe2, 0x02, 0x00, 0x00, 0x04, 0x00, 0xc0, 0x0a, 0x42, 0x01, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0xb3, 0x01, 0x00, 0x00, 0x04, 0x00, 0x98, 0x07, 0x32, 0x01, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0xd2, 0x00, 0x00, 0x00, 0x13, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x04, 0x00, 0x18, 0x09, 0x22, 0x01, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0x04, 0x00, 0xd0, 0x01, 0x82, 0x01, 0x00, 0x00, 0x33, 0x01, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0xb2, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x82, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x23, 0x01, 0x00, 0x00, 0x43, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x04, 0x00, 0x40, 0x05, 0x32, 0x01, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0xd2, 0x00, 0x00, 0x00, 0x13, 0x01, 0x00, 0x00, 0x04, 0x00, 0xf8, 0x08, 0xe2, 0x00, 0x00, 0x00, 0xf2, 0x00, 0x00, 0x00, 0x00, 0x02, 0x0c, 0x00, 0xa2, 0x01, 0x00, 0x00, 0x10, 0x05, 0x94, 0x00, 0x70, 0x03, 0x74, 0x00, 0x70, 0x03, 0x68, 0x00, 0xb0, 0x03, 0x30, 0x00, 0x20, 0x01, 0x04, 0x00, 0x31, 0x03, 0x10, 0x00, 0x82, 0x00, 0x00, 0x00, 0x22, 0x00, 0x00, 0x00, 0x04, 0x00, 0x90, 0x09, 0xe3, 0x01, 0x00, 0x00, 0x13, 0x01, 0x00, 0x00, 0x12, 0x05, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0xf3, 0x00, 0x00, 0x00, 0x04, 0x00, 0xa8, 0x04, 0x12, 0x04, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0x04, 0x00, 0xe0, 0x00, 0xd2, 0x01, 0x00, 0x00, 0xd3, 0x01, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0xd3, 0x00, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x03, 0x02, 0x00, 0x00, 0xa2, 0x00, 0x00, 0x00, 0x12, 0x01, 0x00, 0x00, 0x92, 0x03, 0x00, 0x00, 0xb3, 0x03, 0x00, 0x00, 0x33, 0x01, 0x00, 0x00, 0xc3, 0x00, 0x00, 0x00, 0x62, 0x02, 0x00, 0x00, 0x63, 0x02, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x63, 0x00, 0x00, 0x00, 0x52, 0x01, 0x00, 0x00, 0x73, 0x01, 0x00, 0x00, 0x73, 0x00, 0x00, 0x00, 0xa2, 0x00, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x23, 0x01, 0x00, 0x00, 0x53, 0x01, 0x00, 0x00, 0x92, 0x01, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0xb3, 0x00, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0xf3, 0x00, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x22, 0x01, 0x00, 0x00, 0xa2, 0x03, 0x00, 0x00, 0xb3, 0x04, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0xf2, 0x00, 0x00, 0x00, 0x63, 0x02, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0xb3, 0x01, 0x00, 0x00, 0x32, 0x01, 0x00, 0x00, 0x04, 0x00, 0x58, 0x01, 0xd2, 0x01, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x62, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x13, 0x02, 0x00, 0x00, 0xf2, 0x01, 0x00, 0x00, 0xf3, 0x01, 0x00, 0x00, 0x62, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x04, 0x00, 0x78, 0x08, 0xe2, 0x00, 0x00, 0x00, 0x63, 0x01, 0x00, 0x00, 0xb2, 0x00, 0x00, 0x00, 0x22, 0x01, 0x00, 0x00, 0x62, 0x00, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0xe3, 0x01, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x72, 0x01, 0x00, 0x00, 0x23, 0x02, 0x00, 0x00, 0x42, 0x01, 0x00, 0x00, 0x53, 0x01, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0x04, 0x00, 0xb0, 0x02, 0x12, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x52, 0x00, 0x00, 0x00, 0x52, 0x00, 0x00, 0x00, 0x63, 0x00, 0x00, 0x00, 0x04, 0x00, 0x28, 0x02, 0xe2, 0x00, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0x92, 0x01, 0x00, 0x00, 0x83, 0x02, 0x00, 0x00, 0x12, 0x02, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0xa0, 0x03, 0x1c, 0x00, 0x72, 0x03, 0x00, 0x00, 0x21, 0x03, 0x04, 0x00, 0x83, 0x00, 0x00, 0x00, 0xc3, 0x01, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x83, 0x00, 0x00, 0x00, 0xb3, 0x00, 0x00, 0x00, 0x60, 0x05, 0x58, 0x00, 0xb2, 0x04, 0x00, 0x00, 0x04, 0x00, 0x60, 0x0a, 0x82, 0x01, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0xe2, 0x00, 0x00, 0x00, 0xb3, 0x01, 0x00, 0x00, 0x04, 0x00, 0xc8, 0x09, 0x82, 0x01, 0x00, 0x00, 0x73, 0x01, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x63, 0x00, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x83, 0x01, 0x00, 0x00, 0xa2, 0x01, 0x00, 0x00, 0x70, 0x05, 0x2c, 0x00, 0xe2, 0x03, 0x00, 0x00, 0x91, 0x03, 0x04, 0x00, 0x33, 0x00, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0xe2, 0x00, 0x00, 0x00, 0xe2, 0x00, 0x00, 0x00, 0x63, 0x00, 0x00, 0x00, 0x93, 0x01, 0x00, 0x00, 0x04, 0x00, 0xa8, 0x08, 0x82, 0x01, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0xf2, 0x02, 0x00, 0x00, 0x04, 0x00, 0xb0, 0x05, 0xe2, 0x01, 0x00, 0x00, 0xf3, 0x00, 0x00, 0x00, 0x23, 0x00, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x04, 0x00, 0x98, 0x0a, 0x73, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x04, 0x00, 0xb8, 0x05, 0x82, 0x05, 0x00, 0x00, 0x21, 0x05, 0x04, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x13, 0x01, 0x00, 0x00, 0x73, 0x01, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0xb2, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x20, 0x05, 0x38, 0x00, 0x12, 0x05, 0x00, 0x00, 0x30, 0x00, 0xdc, 0x00, 0x20, 0x05, 0x68, 0x00, 0xf0, 0x01, 0x58, 0x00, 0x01, 0x00, 0x04, 0x00, 0x04, 0x00, 0xb8, 0x00, 0x12, 0x00, 0x00, 0x00, 0x22, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x63, 0x00, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x03, 0x02, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x04, 0x00, 0xd8, 0x01, 0x13, 0x01, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0x22, 0x01, 0x00, 0x00, 0x62, 0x00, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0x23, 0x01, 0x00, 0x00, 0x22, 0x01, 0x00, 0x00, 0xb3, 0x00, 0x00, 0x00, 0xb0, 0x05, 0x24, 0x00, 0x72, 0x04, 0x00, 0x00, 0xb1, 0x05, 0x04, 0x00, 0xb2, 0x01, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0x04, 0x00, 0x28, 0x00, 0xf2, 0x01, 0x00, 0x00, 0x83, 0x00, 0x00, 0x00, 0x62, 0x00, 0x00, 0x00, 0xf3, 0x01, 0x00, 0x00, 0x82, 0x01, 0x00, 0x00, 0x73, 0x00, 0x00, 0x00, 0x92, 0x03, 0x00, 0x00, 0xa3, 0x04, 0x00, 0x00, 0x22, 0x01, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0x02, 0x01, 0x00, 0x00, 0x52, 0x00, 0x00, 0x00, 0x83, 0x01, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x73, 0x00, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0x03, 0x02, 0x00, 0x00, 0x23, 0x00, 0x00, 0x00, 0xb2, 0x01, 0x00, 0x00, 0x04, 0x00, 0x48, 0x03, 0x12, 0x00, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0xa2, 0x00, 0x00, 0x00, 0x72, 0x00, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x04, 0x00, 0x48, 0x0a, 0x32, 0x00, 0x00, 0x00, 0xd2, 0x00, 0x00, 0x00, 0x23, 0x00, 0x00, 0x00, 0x32, 0x03, 0x00, 0x00, 0xe2, 0x00, 0x00, 0x00, 0x03, 0x01, 0x00, 0x00, 0x63, 0x03, 0x00, 0x00, 0xb2, 0x02, 0x00, 0x00, 0x72, 0x01, 0x00, 0x00, 0x93, 0x01, 0x00, 0x00, 0x63, 0x02, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0x43, 0x00, 0x00, 0x00, 0xa2, 0x04, 0x00, 0x00, 0x04, 0x00, 0xd0, 0x07, 0x32, 0x00, 0x00, 0x00, 0x04, 0x00, 0xc0, 0x07, 0x32, 0x00, 0x00, 0x00, 0xd2, 0x00, 0x00, 0x00, 0x33, 0x01, 0x00, 0x00, 0xe2, 0x01, 0x00, 0x00, 0x33, 0x01, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x90, 0x05, 0x1c, 0x00, 0x32, 0x04, 0x00, 0x00, 0x04, 0x00, 0x90, 0x05, 0x32, 0x00, 0x00, 0x00, 0xd2, 0x00, 0x00, 0x00, 0x32, 0x01, 0x00, 0x00, 0x83, 0x02, 0x00, 0x00, 0x62, 0x05, 0x00, 0x00, 0x04, 0x00, 0x38, 0x09, 0x32, 0x00, 0x00, 0x00, 0xd2, 0x00, 0x00, 0x00, 0xb3, 0x00, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0xb2, 0x01, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0xc3, 0x01, 0x00, 0x00, 0x52, 0x01, 0x00, 0x00, 0x01, 0x00, 0x40, 0x00, 0x80, 0x00, 0x24, 0x00, 0x42, 0x04, 0x00, 0x00, 0x04, 0x00, 0x20, 0x00, 0x33, 0x00, 0x00, 0x00, 0x62, 0x01, 0x00, 0x00, 0xf3, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0x83, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x22, 0x00, 0x00, 0x00, 0xc3, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x22, 0x00, 0x00, 0x00, 0xd2, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x01, 0x00, 0x48, 0x00, 0x02, 0x04, 0x00, 0x00, 0xc0, 0x00, 0xbc, 0x00, 0x01, 0x00, 0x04, 0x00, 0x04, 0x00, 0x40, 0x04, 0x42, 0x01, 0x00, 0x00, 0xa2, 0x03, 0x00, 0x00, 0xb3, 0x04, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x73, 0x00, 0x00, 0x00, 0x33, 0x01, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0xf2, 0x00, 0x00, 0x00, 0x33, 0x02, 0x00, 0x00, 0x22, 0x01, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0xe3, 0x01, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0x04, 0x00, 0xc0, 0x00, 0x12, 0x00, 0x00, 0x00, 0x83, 0x00, 0x00, 0x00, 0x23, 0x00, 0x00, 0x00, 0x82, 0x01, 0x00, 0x00, 0x63, 0x01, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0x12, 0x02, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0xb3, 0x00, 0x00, 0x00, 0xb2, 0x01, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0x04, 0x00, 0xc8, 0x00, 0x12, 0x00, 0x00, 0x00, 0x22, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0x04, 0x00, 0xd0, 0x00, 0x32, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0xd3, 0x00, 0x00, 0x00, 0xc3, 0x00, 0x00, 0x00, 0x92, 0x01, 0x00, 0x00, 0x80, 0x05, 0x18, 0x00, 0x62, 0x04, 0x00, 0x00, 0x91, 0x04, 0x04, 0x00, 0x03, 0x00, 0x00, 0x00, 0x04, 0x00, 0x48, 0x09, 0x82, 0x01, 0x00, 0x00, 0xf3, 0x01, 0x00, 0x00, 0x42, 0x02, 0x00, 0x00, 0x83, 0x00, 0x00, 0x00, 0xc3, 0x01, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x33, 0x02, 0x00, 0x00, 0x62, 0x02, 0x00, 0x00, 0xb0, 0x04, 0x68, 0x00, 0x70, 0x04, 0x24, 0x00, 0xc2, 0x03, 0x00, 0x00, 0x31, 0x04, 0x08, 0x00, 0x13, 0x02, 0x00, 0x00, 0x92, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x63, 0x01, 0x00, 0x00, 0x02, 0x01, 0x00, 0x00, 0x04, 0x00, 0x78, 0x00, 0x43, 0x00, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0x82, 0x01, 0x00, 0x00, 0x73, 0x00, 0x00, 0x00, 0x83, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0x22, 0x00, 0x00, 0x00, 0x04, 0x00, 0x40, 0x00, 0x82, 0x01, 0x00, 0x00, 0xb3, 0x00, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0x83, 0x01, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x63, 0x00, 0x00, 0x00, 0x33, 0x02, 0x00, 0x00, 0x62, 0x02, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0x32, 0x01, 0x00, 0x00, 0x23, 0x02, 0x00, 0x00, 0x04, 0x00, 0x50, 0x00, 0x22, 0x01, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x83, 0x02, 0x00, 0x00, 0x62, 0x02, 0x00, 0x00, 0x23, 0x01, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0xd3, 0x00, 0x00, 0x00, 0x12, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x04, 0x00, 0xa8, 0x00, 0x63, 0x00, 0x00, 0x00, 0x92, 0x01, 0x00, 0x00, 0x33, 0x01, 0x00, 0x00, 0x23, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x02, 0x01, 0x00, 0x00, 0x43, 0x02, 0x00, 0x00, 0xd2, 0x01, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0x63, 0x02, 0x00, 0x00, 0x04, 0x00, 0x38, 0x00, 0x42, 0x01, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0x62, 0x00, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0xe3, 0x01, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x63, 0x00, 0x00, 0x00, 0x83, 0x00, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0x04, 0x00, 0xa0, 0x00, 0x12, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x52, 0x00, 0x00, 0x00, 0x83, 0x01, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0xc3, 0x01, 0x00, 0x00, 0x62, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0xc2, 0x04, 0x00, 0x00, 0xa3, 0x04, 0x00, 0x00, 0x04, 0x00, 0x48, 0x00, 0x53, 0x00, 0x00, 0x00, 0xa2, 0x00, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x02, 0x01, 0x00, 0x00, 0xc3, 0x00, 0x00, 0x00, 0x33, 0x01, 0x00, 0x00, 0x32, 0x01, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0x83, 0x00, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0x33, 0x01, 0x00, 0x00, 0x32, 0x01, 0x00, 0x00, 0xd3, 0x00, 0x00, 0x00, 0x63, 0x01, 0x00, 0x00, 0xb2, 0x00, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0x04, 0x00, 0x70, 0x00, 0x52, 0x03, 0x00, 0x00, 0xe3, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0x73, 0x00, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0xb3, 0x01, 0x00, 0x00, 0x04, 0x00, 0x58, 0x00, 0x52, 0x03, 0x00, 0x00, 0xe3, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x04, 0x00, 0x60, 0x00, 0x32, 0x01, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0x92, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x04, 0x00, 0x68, 0x00, 0x12, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x63, 0x01, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0x62, 0x01, 0x00, 0x00, 0x30, 0x06, 0x50, 0x00, 0xf0, 0x04, 0x30, 0x00, 0xd0, 0x04, 0x1c, 0x00, 0x92, 0x04, 0x00, 0x00, 0x51, 0x04, 0x0c, 0x00, 0x33, 0x02, 0x00, 0x00, 0x62, 0x02, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0xb3, 0x00, 0x00, 0x00, 0x10, 0x06, 0x94, 0x00, 0x22, 0x06, 0x00, 0x00, 0x04, 0x00, 0x30, 0x00, 0x42, 0x01, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0x62, 0x00, 0x00, 0x00, 0x23, 0x01, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0xe3, 0x00, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0x92, 0x01, 0x00, 0x00, 0x10, 0x05, 0x28, 0x02, 0x30, 0x06, 0x04, 0x02, 0x60, 0x06, 0xcc, 0x01, 0xb0, 0x04, 0x98, 0x01, 0x60, 0x06, 0x6c, 0x01, 0x70, 0x04, 0x3c, 0x01, 0xb0, 0x04, 0x0c, 0x01, 0x01, 0x00, 0x28, 0x00, 0xb2, 0x04, 0x00, 0x00, 0x71, 0x04, 0x20, 0x00, 0xe0, 0x05, 0x0c, 0x03, 0x62, 0x04, 0x00, 0x00, 0x04, 0x00, 0x58, 0x0c, 0x62, 0x04, 0x00, 0x00, 0x43, 0x02, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0xf3, 0x02, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0x83, 0x01, 0x00, 0x00, 0x10, 0x00, 0x37, 0x06, 0x83, 0x00, 0x00, 0x00, 0x23, 0x00, 0x00, 0x00, 0x82, 0x01, 0x00, 0x00, 0x63, 0x01, 0x00, 0x00, 0x40, 0x06, 0x14, 0x00, 0x42, 0x06, 0x00, 0x00, 0x04, 0x00, 0xf0, 0x04, 0xb2, 0x01, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0xe2, 0x00, 0x00, 0x00, 0xc3, 0x00, 0x00, 0x00, 0x04, 0x00, 0x90, 0x06, 0x82, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0x33, 0x01, 0x00, 0x00, 0x12, 0x01, 0x00, 0x00, 0x04, 0x00, 0xb8, 0x07, 0x32, 0x01, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x23, 0x01, 0x00, 0x00, 0x43, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x01, 0x00, 0x50, 0x00, 0xe0, 0x04, 0x38, 0x00, 0xe0, 0x04, 0x20, 0x00, 0x32, 0x05, 0x00, 0x00, 0x04, 0x00, 0x08, 0x03, 0x12, 0x00, 0x00, 0x00, 0xd2, 0x01, 0x00, 0x00, 0x04, 0x00, 0x10, 0x07, 0xe2, 0x03, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x53, 0x04, 0x00, 0x00, 0x12, 0x05, 0x00, 0x00, 0x33, 0x05, 0x00, 0x00, 0x32, 0x02, 0x00, 0x00, 0x43, 0x02, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0xf2, 0x04, 0x00, 0x00, 0xf3, 0x02, 0x00, 0x00, 0xf0, 0x03, 0x2c, 0x00, 0xf2, 0x03, 0x00, 0x00, 0x04, 0x00, 0x28, 0x04, 0x52, 0x01, 0x00, 0x00, 0x93, 0x01, 0x00, 0x00, 0x12, 0x02, 0x00, 0x00, 0x83, 0x02, 0x00, 0x00, 0x52, 0x02, 0x00, 0x00, 0x63, 0x02, 0x00, 0x00, 0x04, 0x00, 0xf0, 0x05, 0x12, 0x00, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0x04, 0x00, 0xb8, 0x0a, 0x12, 0x00, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0xe0, 0x05, 0x0c, 0x00, 0xe2, 0x05, 0x00, 0x00, 0x81, 0x06, 0x04, 0x00, 0x62, 0x01, 0x00, 0x00, 0xb0, 0x06, 0x28, 0x00, 0x02, 0x05, 0x00, 0x00, 0xe1, 0x04, 0x04, 0x00, 0x04, 0x00, 0x60, 0x07, 0xe2, 0x00, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0x72, 0x00, 0x00, 0x00, 0x62, 0x01, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0x04, 0x00, 0x08, 0x0d, 0xe3, 0x01, 0x00, 0x00, 0x04, 0x00, 0xc8, 0x02, 0x83, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0xc3, 0x00, 0x00, 0x00, 0x03, 0x01, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0x02, 0x01, 0x00, 0x00, 0x52, 0x00, 0x00, 0x00, 0xf3, 0x00, 0x00, 0x00, 0xe3, 0x00, 0x00, 0x00, 0xc2, 0x06, 0x00, 0x00, 0xc3, 0x02, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0x52, 0x02, 0x00, 0x00, 0x23, 0x00, 0x00, 0x00, 0x63, 0x03, 0x00, 0x00, 0xf3, 0x01, 0x00, 0x00, 0x92, 0x01, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0x62, 0x03, 0x00, 0x00, 0xf3, 0x02, 0x00, 0x00, 0x33, 0x02, 0x00, 0x00, 0xb0, 0x05, 0x60, 0x00, 0x92, 0x06, 0x00, 0x00, 0x04, 0x00, 0x88, 0x00, 0x12, 0x00, 0x00, 0x00, 0x02, 0x01, 0x00, 0x00, 0x63, 0x01, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0x12, 0x02, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0x32, 0x01, 0x00, 0x00, 0xf3, 0x01, 0x00, 0x00, 0xb2, 0x01, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0x04, 0x00, 0x90, 0x00, 0x32, 0x01, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0x92, 0x01, 0x00, 0x00, 0x53, 0x00, 0x00, 0x00, 0x04, 0x00, 0x80, 0x00, 0x12, 0x00, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0x63, 0x01, 0x00, 0x00, 0xc2, 0x00, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0x62, 0x01, 0x00, 0x00, 0x70, 0x05, 0x30, 0x00, 0x70, 0x05, 0x1c, 0x00, 0x32, 0x05, 0x00, 0x00, 0xf1, 0x04, 0x08, 0x00, 0x33, 0x02, 0x00, 0x00, 0x62, 0x02, 0x00, 0x00, 0x10, 0x00, 0x78, 0x00, 0x92, 0x04, 0x00, 0x00, 0xe1, 0x06, 0x04, 0x00, 0x04, 0x00, 0x98, 0x00, 0x83, 0x00, 0x00, 0x00, 0x62, 0x02, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0x32, 0x01, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0xf3, 0x01, 0x00, 0x00, 0x42, 0x02, 0x00, 0x00, 0x04, 0x00, 0xf8, 0x09, 0x83, 0x00, 0x00, 0x00, 0xb2, 0x01, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0xc3, 0x01, 0x00, 0x00, 0x10, 0x05, 0x40, 0x01, 0x90, 0x05, 0x24, 0x01, 0xd0, 0x06, 0x34, 0x00, 0xa0, 0x04, 0x14, 0x00, 0xc2, 0x06, 0x00, 0x00, 0x04, 0x00, 0x98, 0x01, 0xe2, 0x00, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0xa3, 0x01, 0x00, 0x00, 0x42, 0x01, 0x00, 0x00, 0x62, 0x00, 0x00, 0x00, 0x04, 0x00, 0x10, 0x0b, 0x92, 0x01, 0x00, 0x00, 0x50, 0x05, 0x08, 0x00, 0x62, 0x05, 0x00, 0x00, 0x04, 0x00, 0x80, 0x03, 0x42, 0x01, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00, 0x43, 0x01, 0x00, 0x00, 0xc3, 0x00, 0x00, 0x00, 0x04, 0x00, 0x10, 0x00, 0x42, 0x01, 0x00, 0x00, 0xa2, 0x03, 0x00, 0x00, 0xb3, 0x04, 0x00, 0x00, 0x93, 0x00, 0x00, 0x00, 0x73, 0x00, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x92, 0x01, 0x00, 0x00, 0xa2, 0x03, 0x00, 0x00, 0x93, 0x05, 0x00, 0x00, 0x02, 0x01, 0x00, 0x00, 0xd2, 0x00, 0x00, 0x00, 0xe3, 0x01, 0x00, 0x00, 0x82, 0x00, 0x00, 0x00, 0x13, 0x00, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x0b, 0xc2, 0x06, 0x00, 0x00, 0xf3, 0x01, 0x00, 0x00, 0xc3, 0x02, 0x00, 0x00, 0xf3, 0x00, 0x00, 0x00, 0xe3, 0x01, 0x00, 0x00, 0xc2, 0x01, 0x00, 0x00, 0xd3, 0x01, 0x00, 0x00, 0x52, 0x04, 0x00, 0x00, 0x43, 0x04, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x02, 0x05, 0x00, 0x00, 0x13, 0x03, 0x00, 0x00, 0x73, 0x00, 0x00, 0x00, 0x32, 0x05, 0x00, 0x00, 0xf3, 0x01, 0x00, 0x00, 0x43, 0x02, 0x00, 0x00, 0x83, 0x02, 0x00, 0x00, 0x12, 0x00, 0x00, 0x00, 0x92, 0x00, 0x00, 0x00, 0x33, 0x00, 0x00, 0x00, 0xf2, 0x03, 0x00, 0x00, 0xf3, 0x03, 0x00, 0x00, 0xb2, 0x05, 0x00, 0x00, 0x93, 0x05, 0x00, 0x00, 0x03, 0x01, 0x00, 0x00, 0xd2, 0x00, 0x00, 0x00, 0x82, 0x05, 0x00, 0x00, 0x93, 0x05, 0x00, 0x00, 0x63, 0x00, 0x00, 0x00, 0x32, 0x01, 0x00, 0x00, 0x23, 0x02, 0x00, 0x00, 0xa3, 0x00, 0x00, 0x00, 0x61, 0x02, 0x5b, 0x00, 0x62, 0x00, 0x00, 0x00, 0xe0, 0x06, 0xc8, 0x13, 0x00, 0x06, 0x5c, 0x13, 0xc0, 0x05, 0x20, 0x13, 0x60, 0x05, 0x98, 0x12, 0x00, 0x05, 0x14, 0x12, 0x30, 0x07, 0xe0, 0x10, 0x30, 0x04, 0x7c, 0x10, 0xa0, 0x02, 0x90, 0x0d, 0x80, 0x04, 0x00, 0x0d, 0x90, 0x03, 0xd8, 0x0c, 0x10, 0x02, 0x14, 0x0c, 0x60, 0x04, 0x4c, 0x0b, 0x60, 0x04, 0x34, 0x0b, 0x10, 0x04, 0x24, 0x0b, 0xe0, 0x05, 0x78, 0x0a, 0x90, 0x04, 0x3c, 0x0a, 0x70, 0x01, 0xc8, 0x08, 0xc0, 0x05, 0x50, 0x08, 0x80, 0x05, 0xfc, 0x07, 0x80, 0x05, 0xe4, 0x07, 0x20, 0x01, 0xe4, 0x06, 0xb0, 0x00, 0x8c, 0x03, 0x90, 0x00, 0x00, 0x03, 0xd0, 0x00, 0xb8, 0x02, 0x20, 0x00, 0x20, 0x01, 0x10, 0x00, 0xec, 0x00, 0x20, 0x07, 0xd4, 0x00, 0x60, 0x05, 0x8c, 0x00, 0x30, 0x07, 0x08, 0x00, 0x12, 0x04, 0x00, 0x00 ]
tbl_1_mem = bytes(tbl_1_mem)

tbl_2_mem = [ 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x08, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x42, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x54, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x88, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x22, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x02, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x40, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x21, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x20, 0x01, 0x00, 0x08, 0x00, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x16, 0x00, 0x21, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x40, 0x09, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x00, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x10, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x09, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00, 0x00, 0x10, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x30, 0x00, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x10, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x04, 0x00, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x08, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x02, 0x06, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x00, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x9a, 0x10, 0x1d, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0c, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x2c, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x06, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x20, 0x01, 0x18, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x21, 0x80, 0x00, 0x00, 0xbe, 0x18, 0xbc, 0x80, 0x92, 0x30, 0xad, 0x83 ]
tbl_2_mem = bytes(tbl_2_mem)

thank you!

Thanks.

How did you get the tables?

Found it :) for others looking: https://piaille.fr/@zeno/112185928685603910

How did you get the tables?

They are extracted from https://koji.fedoraproject.org/koji/buildinfo?buildID=2417414 , addresses: bd_trie_tbl_1: 0x2de00; bd_trie_tbl_2: 0x2d2e0.