DataMuseum.dk

top - download

    Length: 9216 (0x2400)
    Notes: 01_class, 97_tag, ADA, R1k_Segment, VAR2, seg_043086

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

Dot plot

Dot(1) source file

Segmented Heap

{HeapHead 0x00000/0x80}:SegHeapHead first_free_bit = 0x00011873 max_bits = 0x03ffffff zero = 0x00000000 alloced_bits = 0x00011fff
{HeadVar2 0x00080/0x32a}:HeadVar2
    0x000080 [0x00] +0x0000: head_z_000 = 0x80000001 [10000000000000000000000000000001]
    0x0000a0 [0x01] +0x0020: head_segment = 0x00043086 [0000000000001000011000010000110]
    0x0000bf [0x02] +0x003f: head_c_03f = 0x00000001 [00000000000000000000000000000001]
    0x0000df [0x03] +0x005f: head_chains_p → {Thing1 0x0231a/0x10c} [00000000000000000010001100011010]
    0x0000ff [0x04] +0x007f:
    0x000100 [0x05] +0x0080:
    0x00011f [0x06] +0x009f: head_stuff1_p → {DianaSkeleton 0x034bc/0x2b} [00000000000000000011010010111100]
    0x00013f [0x07] +0x00bf: head_c_bf = 0x000000012 [000000000000000000000000000010010]
    0x000160 [0x08] +0x00e0: head_object = 0x00002968 [000000000000000010100101101000]
    0x00017e [0x09] +0x00fe: head_c_fe = 0x00000001 [00000000000000000000000000000001]
    0x00019e [0x0a] +0x011e:
    0x0001be [0x0b] +0x013e:
    0x0001de [0x0c] +0x015e:
    0x0001fe [0x0d] +0x017e:
    0x00021e [0x0e] +0x019e:
    0x00023e [0x0f] +0x01be:
    0x00025e [0x10] +0x01de:
    0x000265 [0x11] +0x01e5: head_variant = 0x2 [10]
    0x000267 [0x12] +0x01e7: hv2_1e7_n = 0x1 [001]
    0x00026a [0x13] +0x01ea:
    0x00028a [0x14] +0x020a: hv2_20a_p → {R1kSegChunk 0x03521/0xc80} [00000000000000000011010100100001]
    0x0002aa [0x15] +0x022a: hv2_22a = 0x00000000 [00000000000000000000000000000000]
    0x0002ca [0x16] +0x024a: hv2_24a_p → {R1kSegChunk 0x041a1/0xb6d5} [00000000000000000100000110100001]
    0x0002ea [0x17] +0x026a:
    0x00030a [0x18] +0x028a: hv2_28a_n = 0x00100108cbf4280108340108ca74281b7684001b [0000000000010000000000010000100011001011111101000010100000000001000010000011010000000001000010001100101001110100001010000001101101110110100001000000000000011011]

{R1kSegChunk 0x003aa/0x1f70}: ===================
    0x0003aa +0x0000:     0x78b4001b78440108caf42908c9f42908 [0x80] 0111100010110100 0000000000011011 0111100001000100 0000000100001000 1100101011110100 0010100100001000 1100100111110100 0010100100001000
    0x00042a +0x0080:     0xc9742800000000000000000000000000 [0x80] 1100100101110100 0010100000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0004aa +0x0100:                                    0x0 [0x1e00] 0…
    0x0022aa +0x1f00:                           0x1000000000 [0x70] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010000 0000000000000000 0000000000000000
{Thing1 0x0231a/0x10c}:Thing1
    0x00231a [0x00] +0x0000: t1_00_n = 0xfffffff1005a005000de3801af1 [111111111111111111111111111100010000000001011010000000000101000000000000110111100011100000000001101011110001]
    0x002386 [0x01] +0x006c: t1_c1_head_p → {StringIndex 0x02426/0x6ee} [00000000000000000010010000100110]
    0x0023a6 [0x02] +0x008c: t1_c2_last_p → {StringStore 0x0f8b6/0x9b0} [00000000000000001111100010110110]
    0x0023c6 [0x03] +0x00ac: t1_array1_p → {StringIndex 0x02426/0x6ee} [00000000000000000010010000100110]
    0x0023e6 [0x04] +0x00cc: t1_c2_tail_p → {Thing2 0x0f876/0x40} [00000000000000001111100001110110]
    0x002406 [0x05] +0x00ec: [00000000000000000000000000000000]

{StringIndex 0x02426/0x6ee}:StringIndex x = 0x00000001 y = 0x0000002d
  [$0x0001]  0x0d5c0 000 »NAMES_AND_EXPRESSIONS«
  [$0x0002]  0x009c8 012 »!CHECK_FOR_BRANCHES 4770153174730276992 73463 1«
  [$0x0003]  0x00918 000 »STATEMENT_TRAVERSAL«
  [$0x0004]  0x00b58 000 »!CHECK_FOR_BRANCHES 4770153174730276992 73463 2«
  [$0x0006]  0x00e88 013 »!TRAVERSE_STATEMENTS 4770153174730276992 102875 2«
  [$0x0008]  0x00830 010 »*POLY_DEBUG_INFO1110741273«
  [$0x000a]  0x00748 000 »*POLY_DEBUG_INFO1110711861«
  [$0x000d]  0x0d680 000 »BOUNDS_UTILITIES«
  [$0x000f]  0x0d718 000 »LRM_UTILITIES«
  [$0x0010]  0x00ce8 011 »!TRAVERSE_STATEMENTS 4770153174730276992 102875 1«
  [$0x0011]  0x01028 000 »«
  [$0x0012]  0x0d4e8 000 »ADA_PROGRAM«
  [$0x0013]  0x0d558 000 »STATEMENTS«
{StringStore 0x02b14/0x9a8}:StringStore x = 0x00000001 y = 0x0000012d
    @0x02b56 [0x00] =  $0x000a »*POLY_DEBUG_INFO1110711861«
    @0x02c3e [0x01] =  $0x0008 »*POLY_DEBUG_INFO1110741273«
    @0x02d26 [0x02] =  $0x0003 »STATEMENT_TRAVERSAL«
    @0x02dd6 [0x03] =  $0x0002 »!CHECK_FOR_BRANCHES 4770153174730276992 73463 1«
    @0x02f66 [0x04] =  $0x0004 »!CHECK_FOR_BRANCHES 4770153174730276992 73463 2«
    @0x030f6 [0x05] =  $0x0010 »!TRAVERSE_STATEMENTS 4770153174730276992 102875 1«
    @0x03296 [0x06] =  $0x0006 »!TRAVERSE_STATEMENTS 4770153174730276992 102875 2«
    @0x03436 [0x07] =  $0x0011 »«
{DianaSkeleton 0x034bc/0x2b}:diana_13eab d_13eab_type = 0x13eab
{R1kSegChunk 0x034e7/0x3a}: ===================
    0x0034e7 +0x0000:                                    0x0 [0x3a] 0…
{R1kSegChunk 0x03521/0xc80}: ===================
    0x003521 +0x0000:                 0x6938000055cc00000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0110100100111000 0000000000000000 0101010111001100 0000000000000000 0000000000000000
    0x0035a1 +0x0080:                                    0x0 [0x80] 0…
    0x003621 +0x0100:                                 0x6d64 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0110110101100100
    0x0036a1 +0x0180:                 0x6fa100009f5200009195 [0x80] 0000000000000000 0000000000000000 0000000000000000 0110111110100001 0000000000000000 1001111101010010 0000000000000000 1001000110010101
    0x003721 +0x0200:         0x7d1e000000000000d98300000000 [0x80] 0000000000000000 0111110100011110 0000000000000000 0000000000000000 0000000000000000 1101100110000011 0000000000000000 0000000000000000
    0x0037a1 +0x0280:                                 0xde3e [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1101111000111110
    0x003821 +0x0300:                        0x1151400000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0001010100010100 0000000000000000 0000000000000000
    0x0038a1 +0x0380:         0xe813000046980000000000000000 [0x80] 0000000000000000 1110100000010011 0000000000000000 0100011010011000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x003921 +0x0400:                                    0x0 [0x100] 0…
    0x003a21 +0x0500:                 0x586c0000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0101100001101100 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x003aa1 +0x0580:                 0x5aa90000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0101101010101001 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x003b21 +0x0600:                0x118350000db46000112d7 [0x80] 0000000000000000 0000000000000000 0000000000000001 0001100000110101 0000000000000000 1101101101000110 0000000000000001 0001001011010111
    0x003ba1 +0x0680:         0x42210000433e0000445b00000000 [0x80] 0000000000000000 0100001000100001 0000000000000000 0100001100111110 0000000000000000 0100010001011011 0000000000000000 0000000000000000
    0x003c21 +0x0700:         0xdc63000000000000000000000000 [0x80] 0000000000000000 1101110001100011 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x003ca1 +0x0780:                                    0x0 [0x80] 0…
    0x003d21 +0x0800:                         0x47d500000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0100011111010101 0000000000000000 0000000000000000
    0x003da1 +0x0880:                                    0x0 [0x400] 0…
{R1kSegChunk 0x041a1/0xb6d5}: ===================
    0x0041a1 +0x0000:         0xdd5f0000427b00000000000041c1 [0x80] 0000000000000000 1101110101011111 0000000000000000 0100001001111011 0000000000000000 0000000000000000 0000000000000000 0100000111000001
    0x004221 +0x0080:           0x34001078400000000020056890 [0x80] 0000000000000000 0000000000110100 0000000000010000 0111100001000000 0000000000000000 0000000000000000 0010000000000101 0110100010010000
    0x0042a1 +0x0100:           0x480000000000021cc000000000 [0x80] 0000000000000000 0000000001001000 0000000000000000 0000000000000000 0000000000000010 0001110011000000 0000000000000000 0000000000000000
    0x004321 +0x0180:        0x216f0000001a80085fc0000000001 [0x80] 0000000000000010 0001011011110000 0000000000000000 0000000110101000 0000000010000101 1111110000000000 0000000000000000 0000000000000001
    0x0043a1 +0x0200:       0x2b4480000000000000000000112d40 [0x80] 0000000000101011 0100010010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010001 0010110101000000
    0x004421 +0x0280:               0x10fec000000d800441b000 [0x80] 0000000000000000 0000000000000000 0000000000010000 1111111011000000 0000000000000000 0000110110000000 0000010001000001 1011000000000000
    0x0044a1 +0x0300:            0x8015a24000000000000000000 [0x80] 0000000000000000 0000000000001000 0000000101011010 0010010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x004521 +0x0380:                               0x8de400 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000010001101 1110010000000000
    0x0045a1 +0x0400:                                    0x0 [0x80] 0…
    0x004621 +0x0480:                               0x8a3000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000010001010 0011000000000000
    0x0046a1 +0x0500:         0x3a00232c0000000000400d5b9000 [0x80] 0000000000000000 0011101000000000 0010001100101100 0000000000000000 0000000000000000 0000000001000000 0000110101011011 1001000000000000
    0x004721 +0x0580:                              0x482f000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000010010000010 1111000000000000
    0x0047a1 +0x0600:              0x4775000000420011e540000 [0x80] 0000000000000000 0000000000000000 0000010001110111 0101000000000000 0000000000000100 0010000000000001 0001111001010100 0000000000000000
    0x004821 +0x0680:          0x2006adc80000fa0000000000040 [0x80] 0000000000000000 0000001000000000 0110101011011100 1000000000000000 0000111110100000 0000000000000000 0000000000000000 0000000001000000
    0x0048a1 +0x0700:      0xd52f000000002006bdd000b68e0001d [0x80] 0000110101010010 1111000000000000 0000000000000000 0000001000000000 0110101111011101 0000000000001011 0110100011100000 0000000000011101
    0x004921 +0x0780:     0xfe0000000000000000000015ea000000 [0x80] 1111111000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010101 1110101000000000 0000000000000000
    0x0049a1 +0x0800:           0x20b9e0001de54000000000001d [0x80] 0000000000000000 0000000000100000 1011100111100000 0000000000011101 1110010101000000 0000000000000000 0000000000000000 0000000000011101
    0x004a21 +0x0880:     0x22800000000000000000000d57600000 [0x80] 0010001010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001101 0101011101100000 0000000000000000
    0x004aa1 +0x0900:                   0x1602c0001872e00000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000010110 0000001011000000 0000000000011000 0111001011100000 0000000000000000
    0x004b21 +0x0980:           0x1822e000000000000000000000 [0x80] 0000000000000000 0000000000011000 0010001011100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x004ba1 +0x0a00:                    0xd702000220da00000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000001101 0111000000100000 0000000000100010 0000110110100000 0000000000000000
    0x004c21 +0x0a80:                                   0x1d [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000011101
    0x004ca1 +0x0b00:     0x5a400000000000000000000ac4c00000 [0x80] 0101101001000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001010 1100010011000000 0000000000000000
    0x004d21 +0x0b80:                   0x1ec20000188ba00017 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000011110 1100001000000000 0000000000011000 1000101110100000 0000000000010111
    0x004da1 +0x0c00:     0x63200014bf0000000000001794a00000 [0x80] 0110001100100000 0000000000010100 1011111100000000 0000000000000000 0000000000000000 0000000000010111 1001010010100000 0000000000000000
    0x004e21 +0x0c80:           0x21e60000177be0000000000000 [0x80] 0000000000000000 0000000000100001 1110011000000000 0000000000010111 0111101111100000 0000000000000000 0000000000000000 0000000000000000
    0x004ea1 +0x0d00:           0x1cb7200018a460002183000000 [0x80] 0000000000000000 0000000000011100 1011011100100000 0000000000011000 1010010001100000 0000000000100001 1000001100000000 0000000000000000
    0x004f21 +0x0d80:                                   0x21 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000100001
    0x004fa1 +0x0e00:     0x6a400000000000000000000000000000 [0x80] 0110101001000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005021 +0x0e80:           0x1c9e6000000000000000000021 [0x80] 0000000000000000 0000000000011100 1001111001100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000100001
    0x0050a1 +0x0f00:     0x51800021186000000000001ef380001e [0x80] 0101000110000000 0000000000100001 0001100001100000 0000000000000000 0000000000000000 0000000000011110 1111001110000000 0000000000011110
    0x005121 +0x0f80:     0xdac00000000000154080000000000014 [0x80] 1101101011000000 0000000000000000 0000000000000000 0000000000010101 0100000010000000 0000000000000000 0000000000000000 0000000000010100
    0x0051a1 +0x1000:     0xf080001e65e00021b480000000000000 [0x80] 1111000010000000 0000000000011110 0110010111100000 0000000000100001 1011010010000000 0000000000000000 0000000000000000 0000000000000000
    0x005221 +0x1080:                           0x1672600000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010110 0111001001100000 0000000000000000
    0x0052a1 +0x1100:           0x1dcc800000000000000000001d [0x80] 0000000000000000 0000000000011101 1100110010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000011101
    0x005321 +0x1180:     0x936000219bc0000000000020e9200000 [0x80] 1001001101100000 0000000000100001 1001101111000000 0000000000000000 0000000000000000 0000000000100000 1110100100100000 0000000000000000
    0x0053a1 +0x1200:           0x2138c00017f16000205920001d [0x80] 0000000000000000 0000000000100001 0011100011000000 0000000000010111 1111000101100000 0000000000100000 0101100100100000 0000000000011101
    0x005421 +0x1280:     0x7aa000000000001bebc00021cd400020 [0x80] 0111101010100000 0000000000000000 0000000000000000 0000000000011011 1110101111000000 0000000000100001 1100110101000000 0000000000100000
    0x0054a1 +0x1300:     0x9240002079800000000000168b20001c [0x80] 1001001001000000 0000000000100000 0111100110000000 0000000000000000 0000000000000000 0000000000010110 1000101100100000 0000000000011100
    0x005521 +0x1380:      0x4800015720000000000000000000000 [0x80] 0000010010000000 0000000000010101 0111001000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0055a1 +0x1400:            0x921800000004002ac60000000 [0x80] 0000000000000000 0000000000001001 0010000110000000 0000000000000000 0000000001000000 0000001010101100 0110000000000000 0000000000000000
    0x005621 +0x1480:        0x400da7b000000000000000000801b [0x80] 0000000000000100 0000000011011010 0111101100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1000000000011011
    0x0056a1 +0x1500:     0xcb600000002000000000000000000000 [0x80] 1100101101100000 0000000000000000 0000000000100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005721 +0x1580:                            0xb18c00000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001011 0001100011000000 0000000000000000
    0x0057a1 +0x1600:                                    0x0 [0x80] 0…
    0x005821 +0x1680:                    0xadd800000052002c1 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000001010 1101110110000000 0000000000000000 0000010100100000 0000001011000001
    0x0058a1 +0x1700:     0x60000000000400e17c00000000000000 [0x80] 0110000000000000 0000000000000000 0000000000000100 0000000011100001 0111110000000000 0000000000000000 0000000000000000 0000000000000000
    0x005921 +0x1780:                                    0x0 [0x80] 0…
    0x0059a1 +0x1800:           0x5b030000000000000000000000 [0x80] 0000000000000000 0000000001011011 0000001100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005a21 +0x1880:                                   0x59 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000001011001
    0x005aa1 +0x1900:     0x290000002d00169a400000000020070b [0x80] 0010100100000000 0000000000000000 0010110100000000 0001011010011010 0100000000000000 0000000000000000 0000000000100000 0000011100001011
    0x005b21 +0x1980:     0xe000000000020072b6000fc700000000 [0x80] 1110000000000000 0000000000000000 0000000000000010 0000000001110010 1011011000000000 0000111111000111 0000000000000000 0000000000000000
    0x005ba1 +0x1a00:         0x5bc100801d0c6002dff00400ebfb [0x80] 0000000000000000 0101101111000001 0000000010000000 0001110100001100 0110000000000010 1101111111110000 0000010000000000 1110101111111011
    0x005c21 +0x1a80:       0x170ec0200772f00000000001df1a00 [0x80] 0000000000010111 0000111011000000 0010000000000111 0111001011110000 0000000000000000 0000000000000000 0000000111011111 0001101000000000
    0x005ca1 +0x1b00:                      0x15dda0000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000101011101 1101101000000000 0000000000000000 0000000000000000
    0x005d21 +0x1b80:      0x20ad80001dd8e000000000001d16200 [0x80] 0000001000001010 1101100000000000 0000000111011101 1000111000000000 0000000000000000 0000000000000000 0000000111010001 0110001000000000
    0x005da1 +0x1c00:                       0xd4b00000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000011010100 1011000000000000 0000000000000000 0000000000000000
    0x005e21 +0x1c80:              0x15f66000186680000000000 [0x80] 0000000000000000 0000000000000000 0000000101011111 0110011000000000 0000000110000110 0110100000000000 0000000000000000 0000000000000000
    0x005ea1 +0x1d00:      0x1816800000000000000000000000000 [0x80] 0000000110000001 0110100000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005f21 +0x1d80:               0xd63c000220140000000000 [0x80] 0000000000000000 0000000000000000 0000000011010110 0011110000000000 0000001000100000 0001010000000000 0000000000000000 0000000000000000
    0x005fa1 +0x1e00:                              0x1d4de00 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000111010100 1101111000000000
    0x006021 +0x1e80:                                    0x0 [0x80] 0…
    0x0060a1 +0x1f00:              0x1eb5a000187f40001756c00 [0x80] 0000000000000000 0000000000000000 0000000111101011 0101101000000000 0000000110000111 1111010000000000 0000000101110101 0110110000000000
    0x006121 +0x1f80:      0x14b2a00000000000178840000000000 [0x80] 0000000101001011 0010101000000000 0000000000000000 0000000000000000 0000000101111000 1000010000000000 0000000000000000 0000000000000000
    0x0061a1 +0x2000:      0x21d9a000176f8000000000000000000 [0x80] 0000001000011101 1001101000000000 0000000101110110 1111100000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006221 +0x2080:      0x1caac000189800002176a0000000000 [0x80] 0000000111001010 1010110000000000 0000000110001001 1000000000000000 0000001000010111 0110101000000000 0000000000000000 0000000000000000
    0x0062a1 +0x2100:                              0x215de00 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001000010101 1101111000000000
    0x006321 +0x2180:                                    0x0 [0x80] 0…
    0x0063a1 +0x2200:      0x1c92000000000000000000002145200 [0x80] 0000000111001001 0010000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001000010100 0101001000000000
    0x006421 +0x2280:      0x210c0000000000001ee720001ece600 [0x80] 0000001000010000 1100000000000000 0000000000000000 0000000000000000 0000000111101110 0111001000000000 0000000111101100 1110011000000000
    0x0064a1 +0x2300:              0x153420000000000014e4200 [0x80] 0000000000000000 0000000000000000 0000000101010011 0100001000000000 0000000000000000 0000000000000000 0000000101001110 0100001000000000
    0x006521 +0x2380:      0x1e59800021a82000000000000000000 [0x80] 0000000111100101 1001100000000000 0000001000011010 1000001000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0065a1 +0x2400:                      0x166600000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000101100110 0110000000000000 0000000000000000 0000000000000000
    0x006621 +0x2480:      0x1dc0200000000000000000001d87000 [0x80] 0000000111011100 0000001000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000111011000 0111000000000000
    0x0066a1 +0x2500:      0x218f60000000000020dcc0000000000 [0x80] 0000001000011000 1111011000000000 0000000000000000 0000000000000000 0000001000001101 1100110000000000 0000000000000000 0000000000000000
    0x006721 +0x2580:      0x212c600017e50000204cc0001d6e400 [0x80] 0000001000010010 1100011000000000 0000000101111110 0101000000000000 0000001000000100 1100110000000000 0000000111010110 1110010000000000
    0x0067a1 +0x2600:              0x1bdf600021c0e0002085e00 [0x80] 0000000000000000 0000000000000000 0000000110111101 1111011000000000 0000001000011100 0000111000000000 0000001000001000 0101111000000000
    0x006821 +0x2680:      0x206d200000000000167ec0001bf8200 [0x80] 0000001000000110 1101001000000000 0000000000000000 0000000000000000 0000000101100111 1110110000000000 0000000110111111 1000001000000000
    0x0068a1 +0x2700:      0x1565a00000000000000000000000000 [0x80] 0000000101010110 0101101000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006921 +0x2780:       0xb8f00000000200347c000000000040 [0x80] 0000000010111000 1111000000000000 0000000000000000 0000001000000000 0011010001111100 0000000000000000 0000000000000000 0000000001000000
    0x0069a1 +0x2800:      0xe863000000020000000000801d0c7ff [0x80] 0000111010000110 0011000000000000 0000000000000000 0010000000000000 0000000000000000 0000000000001000 0000000111010000 1100011111111111
    0x006a21 +0x2880:     0xfffffe0000000001003afec000000080 [0x80] 1111111111111111 1111111000000000 0000000000000000 0000000000000001 0000000000111010 1111111011000000 0000000000000000 0000000010000000
    0x006aa1 +0x2900:             0x20075fdffffffff000000000 [0x80] 0000000000000000 0000000000000000 0010000000000111 0101111111011111 1111111111111111 1111111111110000 0000000000000000 0000000000000000
    0x006b21 +0x2980:      0x400ee5e000000020000000000801dcb [0x80] 0000010000000000 1110111001011110 0000000000000000 0000000000000010 0000000000000000 0000000000000000 0000000010000000 0001110111001011
    0x006ba1 +0x2a00:     0xdfffffffa0000000000016b040001037 [0x80] 1101111111111111 1111111111111111 1010000000000000 0000000000000000 0000000000000000 0001011010110000 0100000000000000 0001000000110111
    0x006c21 +0x2a80:     0x600000000000146ea0000000000017a1 [0x80] 0110000000000000 0000000000000000 0000000000000000 0001010001101110 1010000000000000 0000000000000000 0000000000000000 0001011110100001
    0x006ca1 +0x2b00:         0x18b0c000182f4000160f20000000 [0x80] 0000000000000000 0001100010110000 1100000000000000 0001100000101111 0100000000000000 0001011000001111 0010000000000000 0000000000000000
    0x006d21 +0x2b80:                  0xd7c8000000160036920 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000110101111100 1000000000000000 0000000000000001 0110000000000011 0110100100100000
    0x006da1 +0x2c00:              0x400e6100000000100000000 [0x80] 0000000000000000 0000000000000000 0000010000000000 1110011000010000 0000000000000000 0000000000000001 0000000000000000 0000000000000000
    0x006e21 +0x2c80:         0xb5e50000821e000000000000a3d8 [0x80] 0000000000000000 1011010111100101 0000000000000000 1000001000011110 0000000000000000 0000000000000000 0000000000000000 1010001111011000
    0x006ea1 +0x2d00:                 0xbd6b0000c5e90000c1dd [0x80] 0000000000000000 0000000000000000 0000000000000000 1011110101101011 0000000000000000 1100010111101001 0000000000000000 1100000111011101
    0x006f21 +0x2d80:         0xb0dc000000000000000000006e21 [0x80] 0000000000000000 1011000011011100 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0110111000100001
    0x006fa1 +0x2e00:            0xd001bd8400000000020073080 [0x80] 0000000000000000 0000000000001101 0000000000011011 1101100001000000 0000000000000000 0000000000000000 0010000000000111 0011000010000000
    0x007021 +0x2e80:           0x10000000000000000000000000 [0x80] 0000000000000000 0000000000010000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0070a1 +0x2f00:                                    0x0 [0x180] 0…
    0x007221 +0x3080:                0x678900000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000110 0111100010010000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0072a1 +0x3100:                                    0x0 [0x180] 0…
    0x007421 +0x3280:        0x66530000000000000000000000000 [0x80] 0000000000000110 0110010100110000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0074a1 +0x3300:                0x693d80006877800000000 [0x80] 0000000000000000 0000000000000000 0000000000000110 1001001111011000 0000000000000110 1000011101111000 0000000000000000 0000000000000000
    0x007521 +0x3380:                                    0x0 [0x300] 0…
    0x007821 +0x3680:                        0x5b24000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000101 1011001001000000 0000000000000000 0000000000000000
    0x0078a1 +0x3700:                                    0x0 [0x80] 0…
    0x007921 +0x3780:                        0x589f800000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000101 1000100111111000 0000000000000000 0000000000000000
    0x0079a1 +0x3800:                0x414080000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000100 0001010000001000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x007a21 +0x3880:                0x64e000003ebc000000000 [0x80] 0000000000000000 0000000000000000 0000000000000110 0100111000000000 0000000000000011 1110101111000000 0000000000000000 0000000000000000
    0x007aa1 +0x3900:                                    0x0 [0x100] 0…
    0x007ba1 +0x3a00:                        0x63a0000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000110 0011101000000000 0000000000000000 0000000000000000
    0x007c21 +0x3a80:                                    0x0 [0x80] 0…
    0x007ca1 +0x3b00:                                0x382f0 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000011 1000001011110000
    0x007d21 +0x3b80:           0x8000f9bc0000000001003d1d00 [0x80] 0000000000000000 0000000010000000 0000000011111001 1011110000000000 0000000000000000 0000000000000001 0000000000111101 0001110100000000
    0x007da1 +0x3c00:                             0x2007a3a0 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0010000000000111 1010001110100000
    0x007e21 +0x3c80:            0x100426ec00834100000000000 [0x80] 0000000000000000 0000000000000001 0000000001000010 0110111011000000 0000100000110100 0001000000000000 0000000000000000 0000000000000000
    0x007ea1 +0x3d00:     0x3f59004010cb2001fbbc02008825000f [0x80] 0011111101011001 0000000001000000 0001000011001011 0010000000000001 1111101110111100 0000001000000000 1000100000100101 0000000000001111
    0x007f21 +0x3d80:     0xe58010044ab400000000802196400000 [0x80] 1110010110000000 0001000000000100 0100101010110100 0000000000000000 0000000000000000 1000000000100001 1001011001000000 0000000000000000
    0x007fa1 +0x3e00:       0x4000000000100432cbfffffffc0000 [0x80] 0000000001000000 0000000000000000 0000000000000000 0001000000000100 0011001011001011 1111111111111111 1111111111111100 0000000000000000
    0x008021 +0x3e80:          0x200882500000001000000000040 [0x80] 0000000000000000 0000001000000000 1000100000100101 0000000000000000 0000000000000001 0000000000000000 0000000000000000 0000000001000000
    0x0080a1 +0x3f00:     0x1104afffffffe0000000000802255a00 [0x80] 0001000100000100 1010111111111111 1111111111111111 1110000000000000 0000000000000000 0000000000001000 0000001000100101 0101101000000000
    0x008121 +0x3f80:          0x400000000010044ab7fffffff40 [0x80] 0000000000000000 0000010000000000 0000000000000000 0000000000000001 0000000001000100 1010101101111111 1111111111111111 1111111101000000
    0x0081a1 +0x4000:             0x200852f80000000800000000 [0x80] 0000000000000000 0000000000000000 0010000000001000 0101001011111000 0000000000000000 0000000000001000 0000000000000000 0000000000000000
    0x008221 +0x4080:      0x4010a5f000000020000000000802318 [0x80] 0000010000000001 0000101001011111 0000000000000000 0000000000000010 0000000000000000 0000000000000000 0000000010000000 0010001100011000
    0x0082a1 +0x4100:     0x60000000000000000000000000100463 [0x80] 0110000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010000 0000010001100011
    0x008321 +0x4180:      0xc000000008023ca600567b00403004d [0x80] 0000110000000000 0000000000000000 0000000010000000 0010001111001010 0110000000000101 0110011110110000 0000010000000011 0000000001001101
    0x0083a1 +0x4200:       0x20eec0201816800107f00100c4a340 [0x80] 0000000000100000 1110111011000000 0010000000011000 0001011010000000 0000000100000111 1111000000000001 0000000011000100 1010001101000000
    0x008421 +0x4280:      0x925596980000000000000000a010018 [0x80] 0000100100100101 0101100101101001 1000000000000000 0000000000000000 0000000000000000 0000000000000000 0000101000000001 0000000000011000
    0x0084a1 +0x4300:     0x43e00000000000000caa900000000000 [0x80] 0100001111100000 0000000000000000 0000000000000000 0000000000000000 0000110010101010 1001000000000000 0000000000000000 0000000000000000
    0x008521 +0x4380:                                    0x0 [0x80] 0…
    0x0085a1 +0x4400:      0xcf95000000000000000000000000000 [0x80] 0000110011111001 0101000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x008621 +0x4480:              0xd5620000000000000000000 [0x80] 0000000000000000 0000000000000000 0000110101010110 0010000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0086a1 +0x4500:                      0xd4fc0000c829000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000110101001111 1100000000000000 0000110010000010 1001000000000000
    0x008721 +0x4580:                              0xcd29000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000110011010010 1001000000000000
    0x0087a1 +0x4600:      0xa43b0000d62e0000d49600000000000 [0x80] 0000101001000011 1011000000000000 0000110101100010 1110000000000000 0000110101001001 0110000000000000 0000000000000000 0000000000000000
    0x008821 +0x4680:      0xd2fe0000d3ca000000000000cb0f000 [0x80] 0000110100101111 1110000000000000 0000110100111100 1010000000000000 0000000000000000 0000000000000000 0000110010110000 1111000000000000
    0x0088a1 +0x4700:                      0xd36400000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000110100110110 0100000000000000 0000000000000000 0000000000000000
    0x008921 +0x4780:                      0xd5c800000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000110101011100 1000000000000000 0000000000000000 0000000000000000
    0x0089a1 +0x4800:                                    0x0 [0x80] 0…
    0x008a21 +0x4880:                              0x91ef000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000100100011110 1111000000000000
    0x008aa1 +0x4900:                                    0x0 [0x180] 0…
    0x008c21 +0x4a80:              0xd6fa0000000000000000000 [0x80] 0000000000000000 0000000000000000 0000110101101111 1010000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x008ca1 +0x4b00:                                    0x0 [0x100] 0…
    0x008da1 +0x4c00:      0xca430000bdce0000000000000000000 [0x80] 0000110010100100 0011000000000000 0000101111011100 1110000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x008e21 +0x4c80:      0xd69400000000000000000000d1d8000 [0x80] 0000110101101001 0100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000110100011101 1000000000000000
    0x008ea1 +0x4d00:                      0xd76000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000110101110110 0000000000000000 0000000000000000 0000000000000000
    0x008f21 +0x4d80:              0xc7c30000000000000000000 [0x80] 0000000000000000 0000000000000000 0000110001111100 0011000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x008fa1 +0x4e00:                      0xcdf500000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000110011011111 0101000000000000 0000000000000000 0000000000000000
    0x009021 +0x4e80:                                    0x0 [0x80] 0…
    0x0090a1 +0x4f00:                      0xcd8f00000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000110011011000 1111000000000000 0000000000000000 0000000000000000
    0x009121 +0x4f80:              0xd43000000000000084d5000 [0x80] 0000000000000000 0000000000000000 0000110101000011 0000000000000000 0000000000000000 0000000000000000 0000100001001101 0101000000000000
    0x0091a1 +0x5000:         0xf0024554000000000000421a8040 [0x80] 0000000000000000 1111000000000010 0100010101010100 0000000000000000 0000000000000000 0000000000000000 0100001000011010 1000000001000000
    0x009221 +0x5080:     0x1212b0000000000001086a0000000000 [0x80] 0001001000010010 1011000000000000 0000000000000000 0000000000000000 0000000100001000 0110101000000000 0000000000000000 0000000000000000
    0x0092a1 +0x5100:                                    0x0 [0x780] 0…
    0x009a21 +0x5880:                             0x4fd60000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0100111111010110 0000000000000000
    0x009aa1 +0x5900:                                    0x0 [0x100] 0…
    0x009ba1 +0x5a00:                             0x5c9f8000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0101110010011111 1000000000000000
    0x009c21 +0x5a80:                                    0x0 [0x300] 0…
    0x009f21 +0x5d80:             0x4949000000070013e2400000 [0x80] 0000000000000000 0000000000000000 0100100101001001 0000000000000000 0000000000000111 0000000000010011 1110001001000000 0000000000000000
    0x009fa1 +0x5e00:         0x10047bdc0000000000020df80000 [0x80] 0000000000000000 0001000000000100 0111101111011100 0000000000000000 0000000000000000 0000000000000010 0000110111111000 0000000000000000
    0x00a021 +0x5e80:                   0x140d80100bc8fc00a0 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000010100 0000110110000000 0001000000001011 1100100011111100 0000000010100000
    0x00a0a1 +0x5f00:     0xa900805ec5a00507300402f8e6000000 [0x80] 1010100100000000 1000000001011110 1100010110100000 0000010100000111 0011000000000100 0000001011111000 1110011000000000 0000000000000000
    0x00a121 +0x5f80:       0x201791f800000010000000000402f2 [0x80] 0000000000100000 0001011110010001 1111100000000000 0000000000000000 0001000000000000 0000000000000000 0000000000000100 0000001011110010
    0x00a1a1 +0x6000:     0x3ffffffffb0000000000805ec5a00000 [0x80] 0011111111111111 1111111111111111 1111101100000000 0000000000000000 0000000000000000 1000000001011110 1100010110100000 0000000000000000
    0x00a221 +0x6080:       0x4000000000100bd8b7ffffffe80000 [0x80] 0000000001000000 0000000000000000 0000000000000000 0001000000001011 1101100010110111 1111111111111111 1111111111101000 0000000000000000
    0x00a2a1 +0x6100:          0x2017c7300000001000000000040 [0x80] 0000000000000000 0000001000000001 0111110001110011 0000000000000000 0000000000000001 0000000000000000 0000000000000000 0000000001000000
    0x00a321 +0x6180:     0x2f8e6fffffff900000000008023dee00 [0x80] 0010111110001110 0110111111111111 1111111111111111 1001000000000000 0000000000000000 0000000000001000 0000001000111101 1110111000000000
    0x00a3a1 +0x6200:          0x200000000010047bdc000000080 [0x80] 0000000000000000 0000001000000000 0000000000000000 0000000000000001 0000000001000111 1011110111000000 0000000000000000 0000000010000000
    0x00a421 +0x6280:             0x20190d300401212b00000000 [0x80] 0000000000000000 0000000000000000 0010000000011001 0000110100110000 0000010000000001 0010000100101011 0000000000000000 0000000000000000
    0x00a4a1 +0x6300:                0x526f0040304cd002946c0 [0x80] 0000000000000000 0000000000000000 0000000000000101 0010011011110000 0000010000000011 0000010011001101 0000000000101001 0100011011000000
    0x00a521 +0x6380:     0x20184328014ab00100c2b20000000008 [0x80] 0010000000011000 0100001100101000 0000000101001010 1011000000000001 0000000011000010 1011001000000000 0000000000000000 0000000000001000
    0x00a5a1 +0x6400:      0x6099a00000004000000000100c1337f [0x80] 0000011000001001 1001101000000000 0000000000000000 0000010000000000 0000000000000000 0000000000000001 0000000011000001 0011001101111111
    0x00a621 +0x6480:     0xffffffc0000000002018432800000010 [0x80] 1111111111111111 1111111111000000 0000000000000000 0000000000000000 0010000000011000 0100001100101000 0000000000000000 0000000000010000
    0x00a6a1 +0x6500:              0x4030865fffffffe00000000 [0x80] 0000000000000000 0000000000000000 0000010000000011 0000100001100101 1111111111111111 1111111111111110 0000000000000000 0000000000000000
    0x00a721 +0x6580:       0x806159000000004000000000100c2b [0x80] 0000000010000000 0110000101011001 0000000000000000 0000000000000000 0100000000000000 0000000000000000 0000000000010000 0000110000101011
    0x00a7a1 +0x6600:     0x23fffffff40000000002018168000000 [0x80] 0010001111111111 1111111111111111 1111010000000000 0000000000000000 0000000000000010 0000000110000001 0110100000000000 0000000000000000
    0x00a821 +0x6680:       0x800000000040302d00000000200000 [0x80] 0000000010000000 0000000000000000 0000000000000000 0100000000110000 0010110100000000 0000000000000000 0000000000100000 0000000000000000
    0x00a8a1 +0x6700:                   0x547500403148a002a4 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000001010100 0111010100000000 0100000000110001 0100100010100000 0000001010100100
    0x00a921 +0x6780:     0x9c02018c1100152c80100c6a14000000 [0x80] 1001110000000010 0000000110001100 0001000100000000 0001010100101100 1000000000010000 0000110001101010 0001010000000000 0000000000000000
    0x00a9a1 +0x6800:       0x806291400000004000000000100c52 [0x80] 0000000010000000 0110001010010001 0100000000000000 0000000000000000 0100000000000000 0000000000000000 0000000000010000 0000110001010010
    0x00aa21 +0x6880:     0x2bfffffffc0000000002018c11000000 [0x80] 0010101111111111 1111111111111111 1111110000000000 0000000000000000 0000000000000010 0000000110001100 0001000100000000 0000000000000000
    0x00aaa1 +0x6900:      0x100003fb4804031822fffffffe00007 [0x80] 0000000100000000 0000000000111111 1011010010000000 0100000000110001 1000001000101111 1111111111111111 1111111111100000 0000000000000111
    0x00ab21 +0x6980:     0xfcc00806350a00000004000000000100 [0x80] 1111110011000000 0000100000000110 0011010100001010 0000000000000000 0000000000000100 0000000000000000 0000000000000000 0000000100000000
    0x00aba1 +0x6a00:     0xc6a17fffffff40000000002018946800 [0x80] 1100011010100001 0111111111111111 1111111111111111 0100000000000000 0000000000000000 0000000000100000 0001100010010100 0110100000000000
    0x00ac21 +0x6a80:          0x8000000000403128d0000000200 [0x80] 0000000000000000 0000100000000000 0000000000000000 0000000000000100 0000001100010010 1000110100000000 0000000000000000 0000001000000000
    0x00aca1 +0x6b00:             0x8023dee00000000401251000 [0x80] 0000000000000000 0000000000000000 1000000000100011 1101111011100000 0000000000000000 0000000000000100 0000000100100101 0001000000000000
    0x00ad21 +0x6b80:     0x2c7fc000000000015ae001004a01c00a [0x80] 0010110001111111 1100000000000000 0000000000000000 0000000000000001 0101101011100000 0000000100000000 0100101000000001 1100000000001010
    0x00ada1 +0x6c00:     0xdad00802573e0056f5004012e0200000 [0x80] 1101101011010000 0000100000000010 0101011100111110 0000000001010110 1111010100000000 0100000000010010 1110000000100000 0000000000000000
    0x00ae21 +0x6c80:        0x20094038000000100000000004012 [0x80] 0000000000000010 0000000010010100 0000001110000000 0000000000000000 0000000100000000 0000000000000000 0000000000000000 0100000000010010
    0x00aea1 +0x6d00:     0x807ffffffff0000000000802573e0000 [0x80] 1000000001111111 1111111111111111 1111111111110000 0000000000000000 0000000000000000 0000100000000010 0101011100111110 0000000000000000
    0x00af21 +0x6d80:        0x40000000001004ae7ffffffff8000 [0x80] 0000000000000100 0000000000000000 0000000000000000 0000000100000000 0100101011100111 1111111111111111 1111111111111111 1000000000000000
    0x00afa1 +0x6e00:           0x20097010000000100000000004 [0x80] 0000000000000000 0000000000100000 0000100101110000 0001000000000000 0000000000000000 0001000000000000 0000000000000000 0000000000000100
    0x00b021 +0x6e80:      0x12e02fffffffd00000000008024b680 [0x80] 0000000100101110 0000001011111111 1111111111111111 1111110100000000 0000000000000000 0000000000000000 1000000000100100 1011011010000000
    0x00b0a1 +0x6f00:           0x200014fce0100496d000000008 [0x80] 0000000000000000 0000000000100000 0000000000010100 1111110011100000 0001000000000100 1001011011010000 0000000000000000 0000000000001000
    0x00b121 +0x6f80:        0x2a12802009a0c0000000000000000 [0x80] 0000000000000010 1010000100101000 0000001000000000 1001101000001100 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00b1a1 +0x7000:               0x401341800000000200aabc [0x80] 0000000000000000 0000000000000000 0000000001000000 0001001101000001 1000000000000000 0000000000000000 0000001000000000 1010101010111100
    0x00b221 +0x7080:       0x16e1000000000000b27900802b0de0 [0x80] 0000000000010110 1110000100000000 0000000000000000 0000000000000000 0000000010110010 0111100100000000 1000000000101011 0000110111100000
    0x00b2a1 +0x7100:      0x595b004015c07002cbcc0200af35000 [0x80] 0000010110010101 1011000000000100 0000000101011100 0000011100000000 0010110010111100 1100000000100000 0000101011110011 0101000000000000
    0x00b321 +0x7180:          0x100561bc0000000800000000020 [0x80] 0000000000000000 0000000100000000 0101011000011011 1100000000000000 0000000000000000 1000000000000000 0000000000000000 0000000000100000
    0x00b3a1 +0x7200:      0xac37ffffffff80000000004015c0700 [0x80] 0000101011000011 0111111111111111 1111111111111111 1111100000000000 0000000000000000 0000000000000100 0000000101011100 0000011100000000
    0x00b421 +0x7280:          0x20000000000802b80ffffffffc0 [0x80] 0000000000000000 0000001000000000 0000000000000000 0000000000000000 1000000000101011 1000000011111111 1111111111111111 1111111111000000
    0x00b4a1 +0x7300:             0x100579a800000008000200bc [0x80] 0000000000000000 0000000000000000 0001000000000101 0111100110101000 0000000000000000 0000000000001000 0000000000000010 0000000010111100
    0x00b521 +0x7380:      0x200af357ffffffe8000404900401561 [0x80] 0000001000000000 1010111100110101 0111111111111111 1111111111111110 1000000000000000 0100000001001001 0000000001000000 0001010101100001
    0x00b5a1 +0x7400:     0xc000000010000000000802ac38000000 [0x80] 1100000000000000 0000000000000000 0001000000000000 0000000000000000 0000000000001000 0000001010101100 0011100000000000 0000000000000000
    0x00b621 +0x7480:      0x4000000000100592000000000000000 [0x80] 0000010000000000 0000000000000000 0000000000000001 0000000001011001 0010000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00b6a1 +0x7500:                 0x200b2400000000010064 [0x80] 0000000000000000 0000000000000000 0000000000000000 0010000000001011 0010010000000000 0000000000000000 0000000000000001 0000000001100100
    0x00b721 +0x7580:     0x4dc00c68900806717c005bc1004033b4 [0x80] 0100110111000000 0000110001101000 1001000000001000 0000011001110001 0111110000000000 0101101111000001 0000000001000000 0011001110110100
    0x00b7a1 +0x7600:     0x1002defc0201a57f00172052d3000000 [0x80] 0001000000000010 1101111011111100 0000001000000001 1010010101111111 0000000000010111 0010000001010010 1101001100000000 0000000000000000
    0x00b821 +0x7680:               0x1002003087c00000000000 [0x80] 0000000000000000 0000000000000000 0000000000010000 0000001000000000 0011000010000111 1100000000000000 0000000000000000 0000000000000000
    0x00b8a1 +0x7700:        0x2dff00200ca078000000000000b7f [0x80] 0000000000000010 1101111111110000 0000001000000000 1100101000000111 1000000000000000 0000000000000000 0000000000000000 0000101101111111
    0x00b921 +0x7780:     0xc00000000200c8ed8000000000005ba2 [0x80] 1100000000000000 0000000000000000 0000001000000000 1100100011101101 1000000000000000 0000000000000000 0000000000000000 0101101110100010
    0x00b9a1 +0x7800:     0x80000000000000000002e7fc02019558 [0x80] 1000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000010 1110011111111100 0000001000000001 1001010101011000
    0x00ba21 +0x7880:       0x174780100cba7800ba790080662ae0 [0x80] 0000000000010111 0100011110000000 0001000000001100 1011101001111000 0000000010111010 0111100100000000 1000000001100110 0010101011100000
    0x00baa1 +0x7900:            0x4032ab0000000020000000000 [0x80] 0000000000000000 0000000000000100 0000001100101010 1011000000000000 0000000000000000 0000001000000000 0000000000000000 0000000000000000
    0x00bb21 +0x7980:     0x8065561fffffff6000000000100cba78 [0x80] 1000000001100101 0101011000011111 1111111111111111 1111111101100000 0000000000000000 0000000000000000 0001000000001100 1011101001111000
    0x00bba1 +0x7a00:            0x8000000000201974f7ffffffd [0x80] 0000000000000000 0000000000001000 0000000000000000 0000000000000000 0000001000000001 1001011101001111 0111111111111111 1111111111111101
    0x00bc21 +0x7a80:               0x4033157000000020000000 [0x80] 0000000000000000 0000000000000000 0000000001000000 0011001100010101 0111000000000000 0000000000000000 0010000000000000 0000000000000000
    0x00bca1 +0x7b00:        0x80662affffffff200000000010064 [0x80] 0000000000001000 0000011001100010 1010111111111111 1111111111111111 1111001000000000 0000000000000000 0000000000000001 0000000001100100
    0x00bd21 +0x7b80:     0x76c00000004000000000200c8ed80000 [0x80] 0111011011000000 0000000000000000 0000000001000000 0000000000000000 0000000000000000 0010000000001100 1000111011011000 0000000000000000
    0x00bda1 +0x7c00:       0x100000000004035a1700803281e000 [0x80] 0000000000010000 0000000000000000 0000000000000000 0000010000000011 0101101000010111 0000000010000000 0011001010000001 1110000000000000
    0x00be21 +0x7c80:                     0xbe71008067a7c005 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1011111001110001 0000000010000000 0110011110100111 1100000000000101
    0x00bea1 +0x7d00:     0xf570040340d6002fbac0201a19c80000 [0x80] 1111010101110000 0000010000000011 0100000011010110 0000000000101111 1011101011000000 0010000000011010 0001100111001000 0000000000000000
    0x00bf21 +0x7d80:        0x100cf4f8000000080002a99c02019 [0x80] 0000000000000001 0000000011001111 0100111110000000 0000000000000000 0000000010000000 0000000000101010 1001100111000000 0010000000011001
    0x00bfa1 +0x7e00:     0xe9f7fffffff800055650040340d60000 [0x80] 1110100111110111 1111111111111111 1111111111111000 0000000000000101 0101011001010000 0000010000000011 0100000011010110 0000000000000000
    0x00c021 +0x7e80:        0x20000b4bc0080681adfffffffc000 [0x80] 0000000000000010 0000000000000000 1011010010111100 0000000010000000 0110100000011010 1101111111111111 1111111111111111 1100000000000000
    0x00c0a1 +0x7f00:     0x16a3e0100d0ce400000008000203d402 [0x80] 0001011010100011 1110000000010000 0000110100001100 1110010000000000 0000000000000000 0000100000000000 0000001000000011 1101010000000010
    0x00c121 +0x7f80:      0x1a19cfffffffe800040ac004033b410 [0x80] 0000000110100001 1001110011111111 1111111111111111 1111111010000000 0000000001000000 1010110000000000 0100000000110011 1011010000010000
    0x00c1a1 +0x8000:           0x10000abf300806768200000004 [0x80] 0000000000000000 0000000000010000 0000000000001010 1011111100110000 0000100000000110 0111011010000010 0000000000000000 0000000000000100
    0x00c221 +0x8080:        0x158ac00000000000c27d0080699f6 [0x80] 0000000000000001 0101100010101100 0000000000000000 0000000000000000 0000000000001100 0010011111010000 0000100000000110 1001100111110110
    0x00c2a1 +0x8100:       0x615d0040350930030bdc0201a97b00 [0x80] 0000000001100001 0101110100000000 0100000000110101 0000100100110000 0000001100001011 1101110000000010 0000000110101001 0111101100000000
    0x00c321 +0x8180:           0x100d33ec000000080000000002 [0x80] 0000000000000000 0000000000010000 0000110100110011 1110110000000000 0000000000000000 0000100000000000 0000000000000000 0000000000000010
    0x00c3a1 +0x8200:      0x1a67dffffffff800000000040350930 [0x80] 0000000110100110 0111110111111111 1111111111111111 1111111110000000 0000000000000000 0000000000000000 0100000000110101 0000100100110000
    0x00c421 +0x8280:           0x20000000000806a127fffffffc [0x80] 0000000000000000 0000000000100000 0000000000000000 0000000000000000 0000100000000110 1010000100100111 1111111111111111 1111111111111100
    0x00c4a1 +0x8300:              0x100d4bd8000000080000000 [0x80] 0000000000000000 0000000000000000 0000000100000000 1101010010111101 1000000000000000 0000000000000000 1000000000000000 0000000000000000
    0x00c521 +0x8380:       0x201a97b7ffffffe80000000004034a [0x80] 0000000000100000 0001101010010111 1011011111111111 1111111111111111 1110100000000000 0000000000000000 0000000000000100 0000001101001010
    0x00c5a1 +0x8400:     0xfe0000000100006dbe0080695fc00000 [0x80] 1111111000000000 0000000000000000 0000000100000000 0000000001101101 1011111000000000 1000000001101001 0101111111000000 0000000000000000
    0x00c621 +0x8480:       0x40000dff601006476c00acb9008032 [0x80] 0000000001000000 0000000000001101 1111111101100000 0001000000000110 0100011101101100 0000000010101100 1011100100000000 1000000000110010
    0x00c6a1 +0x8500:     0xfe800646600401a0bb0031c0c0200d3f [0x80] 1111111010000000 0000011001000110 0110000000000100 0000000110100000 1011101100000000 0011000111000000 1100000000100000 0000110100111111
    0x00c721 +0x8580:     0x28000000010067ff00000000000031b1 [0x80] 0010100000000000 0000000000000000 0000000100000000 0110011111111111 0000000000000000 0000000000000000 0000000000000000 0011000110110001
    0x00c7a1 +0x8600:     0x8000000000200d05d804019ffc000000 [0x80] 1000000000000000 0000000000000000 0000000000100000 0000110100000101 1101100000000100 0000000110011111 1111110000000000 0000000000000000
    0x00c821 +0x8680:         0x8034fca010067ff0000000000200 [0x80] 0000000000000000 1000000000110100 1111110010100000 0001000000000110 0111111111110000 0000000000000000 0000000000000000 0000001000000000
    0x00c8a1 +0x8700:     0xcffe000000001006e5fc00cbb2008038 [0x80] 1100111111111110 0000000000000000 0000000000000000 0001000000000110 1110010111111100 0000000011001011 1011001000000000 1000000000111000
    0x00c921 +0x8780:     0x48c0064a300401c5e8003260c0200e55 [0x80] 0100100011000000 0000011001001010 0011000000000100 0000000111000101 1110100000000000 0011001001100000 1100000000100000 0000111001010101
    0x00c9a1 +0x8800:     0xa800000001007061c000000000003242 [0x80] 1010100000000000 0000000000000000 0000000100000000 0111000001100001 1100000000000000 0000000000000000 0000000000000000 0011001001000010
    0x00ca21 +0x8880:     0x4000000000200e12300401c187000000 [0x80] 0100000000000000 0000000000000000 0000000000100000 0000111000010010 0011000000000100 0000000111000001 1000011100000000 0000000000000000
    0x00caa1 +0x8900:         0x8038bd001007061c0002e2700200 [0x80] 0000000000000000 1000000000111000 1011110100000000 0001000000000111 0000011000011100 0000000000000010 1110001001110000 0000001000000000
    0x00cb21 +0x8980:     0xe55a80401c1870000000000803830e00 [0x80] 1110010101011010 1000000001000000 0001110000011000 0111000000000000 0000000000000000 0000000000001000 0000001110000011 0000111000000000
    0x00cba1 +0x8a00:           0x40237160033a6002011fee8019 [0x80] 0000000000000000 0000000001000000 0010001101110001 0110000000000011 0011101001100000 0000001000000001 0001111111101110 1000000000011001
    0x00cc21 +0x8a80:     0x8580100914f000cc6900804930000000 [0x80] 1000010110000000 0001000000001001 0001010011110000 0000000011001100 0110100100000000 1000000001001001 0011000000000000 0000000000000000
    0x00cca1 +0x8b00:        0x4023f1e000000000000cbef000000 [0x80] 0000000000000100 0000001000111111 0001111000000000 0000000000000000 0000000000000000 0000000011001011 1110111100000000 0000000000000000
    0x00cd21 +0x8b80:         0x8047fba01008fc78000000000201 [0x80] 0000000000000000 1000000001000111 1111101110100000 0001000000001000 1111110001111000 0000000000000000 0000000000000000 0000001000000001
    0x00cda1 +0x8c00:     0x229e004023f1e0000000000804930001 [0x80] 0010001010011110 0000000001000000 0010001111110001 1110000000000000 0000000000000000 0000000000001000 0000010010010011 0000000000000001
    0x00ce21 +0x8c80:       0x8fc780000000002011f8f000000001 [0x80] 0000000010001111 1100011110000000 0000000000000000 0000000000000000 0010000000010001 1111100011110000 0000000000000000 0000000000000001
    0x00cea1 +0x8d00:       0x9af0c00d03800804e9140000000040 [0x80] 0000000010011010 1111000011000000 0000110100000011 1000000000001000 0000010011101001 0001010000000000 0000000000000000 0000000001000000
    0x00cf21 +0x8d80:     0x273cb000000000000ced500000000008 [0x80] 0010011100111100 1011000000000000 0000000000000000 0000000000000000 0000110011101101 0101000000000000 0000000000000000 0000000000001000
    0x00cfa1 +0x8e00:      0x4e91401009cf2c00000000020139e58 [0x80] 0000010011101001 0001010000000001 0000000010011100 1111001011000000 0000000000000000 0000000000000000 0010000000010011 1001111001011000
    0x00d021 +0x8e80:            0x100a5820000000008053d9e00 [0x80] 0000000000000000 0000000000000001 0000000010100101 1000001000000000 0000000000000000 0000000000001000 0000010100111101 1001111000000000
    0x00d0a1 +0x8f00:     0x685900402a4dd000000002014f080000 [0x80] 0110100001011001 0000000001000000 0010101001001101 1101000000000000 0000000000000000 0000001000000001 0100111100001000 0000000000000000
    0x00d121 +0x8f80:             0x683a80000000004029ecf008 [0x80] 0000000000000000 0000000000000000 0110100000111010 1000000000000000 0000000000000000 0000000001000000 0010100111101100 1111000000001000
    0x00d1a1 +0x9000:      0x53c20000000000100a937402014f080 [0x80] 0000010100111100 0010000000000000 0000000000000000 0000000000000001 0000000010101001 0011011101000000 0010000000010100 1111000010000000
    0x00d221 +0x9080:              0x4029e10000000002006b7d8 [0x80] 0000000000000000 0000000000000000 0000010000000010 1001111000010000 0000000000000000 0000000000000000 0010000000000110 1011011111011000
    0x00d2a1 +0x9100:                0x24678000000000400d7ba [0x80] 0000000000000000 0000000000000000 0000000000000010 0100011001111000 0000000000000000 0000000000000000 0000010000000000 1101011110111010
    0x00d321 +0x9180:       0x801adf6000000000100395b002006b [0x80] 0000000010000000 0001101011011111 0110000000000000 0000000000000000 0000000000010000 0000001110010101 1011000000000010 0000000001101011
    0x00d3a1 +0x9200:     0x7d800000000040109bb00801adf60001 [0x80] 0111110110000000 0000000000000000 0000000000000000 0100000000010000 1001101110110000 0000100000000001 1010110111110110 0000000000000001
    0x00d421 +0x9280:     0xa2e401004794c02006b7d80000000004 [0x80] 1010001011100100 0000000100000000 0100011110010100 1100000000100000 0000011010110111 1101100000000000 0000000000000000 0000000000000100
    0x00d4a1 +0x9300:      0x1251000801adf6000000000100555e0 [0x80] 0000000100100101 0001000000000000 1000000000011010 1101111101100000 0000000000000000 0000000000000000 0001000000000101 0101010111100000
    0x00d521 +0x9380:      0x2006b7d8000000000401913700801ad [0x80] 0000001000000000 0110101101111101 1000000000000000 0000000000000000 0000000001000000 0001100100010011 0111000000001000 0000000110101101
    0x00d5a1 +0x9400:     0xf600000000010065fd002006b7d80000 [0x80] 1111011000000000 0000000000000000 0000000000000001 0000000001100101 1111110100000000 0010000000000110 1011011111011000 0000000000000000
    0x00d621 +0x9480:          0x401b97f00801adf600000000010 [0x80] 0000000000000000 0000010000000001 1011100101111111 0000000010000000 0001101011011111 0110000000000000 0000000000000000 0000000000010000
    0x00d6a1 +0x9500:      0x8dc5802006b7d80000000004026bc30 [0x80] 0000100011011100 0101100000000010 0000000001101011 0111110110000000 0000000000000000 0000000000000000 0100000000100110 1011110000110000
    0x00d721 +0x9580:      0x801adf6000000000100a582002006b7 [0x80] 0000100000000001 1010110111110110 0000000000000000 0000000000000000 0000000100000000 1010010110000010 0000000000100000 0000011010110111
    0x00d7a1 +0x9600:     0xd8000000000400d6fb00000000000000 [0x80] 1101100000000000 0000000000000000 0000000000000100 0000000011010110 1111101100000000 0000000000000000 0000000000000000 0000000000000000
    0x00d821 +0x9680:                         0x367740000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0011011001110111 0100000000000000 0000000000000000
    0x00d8a1 +0x9700:                                    0x0 [0x80] 0…
    0x00d921 +0x9780:                         0x3600c0000004 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0011011000000000 1100000000000000 0000000000000100
    0x00d9a1 +0x9800:     0x800d9430000000000801ab7200000000 [0x80] 1000000000001101 1001010000110000 0000000000000000 0000000000000000 0000100000000001 1010101101110010 0000000000000000 0000000000000000
    0x00da21 +0x9880:                            0x200000004 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000010 0000000000000000 0000000000000100
    0x00daa1 +0x9900:      0x1006476c02008f7b80006dd00000000 [0x80] 0000000100000000 0110010001110110 1100000000100000 0000100011110111 1011100000000000 0000011011011101 0000000000000000 0000000000000000
    0x00db21 +0x9980:          0x6d7300000019001b60c00000000 [0x80] 0000000000000000 0000011011010111 0011000000000000 0000000000000001 1001000000000001 1011011000001100 0000000000000000 0000000000000000
    0x00dba1 +0x9a00:      0x1002b4480003698000000000000372f [0x80] 0000000100000000 0010101101000100 1000000000000000 0011011010011000 0000000000000000 0000000000000000 0000000000000000 0011011100101111
    0x00dc21 +0x9a80:     0x4000000000003700c000000e000dc230 [0x80] 0100000000000000 0000000000000000 0000000000000000 0011011100000000 1100000000000000 0000000000001110 0000000000001101 1100001000110000
    0x00dca1 +0x9b00:              0x801ab730000001200051868 [0x80] 0000000000000000 0000000000000000 0000100000000001 1010101101110011 0000000000000000 0000000000010010 0000000000000101 0001100001101000
    0x00dd21 +0x9b80:            0x40000000200000024000a30d0 [0x80] 0000000000000000 0000000000000100 0000000000000000 0000000000000010 0000000000000000 0000000000100100 0000000000001010 0011000011010000
    0x00dda1 +0x9c00:            0x8000000000006f4c000000000 [0x80] 0000000000000000 0000000000001000 0000000000000000 0000000000000000 0000000000000110 1111010011000000 0000000000000000 0000000000000000
    0x00de21 +0x9c80:        0x6eef0000000b801bbfc0000000001 [0x80] 0000000000000110 1110111011110000 0000000000000000 0000000010111000 0000000110111011 1111110000000000 0000000000000000 0000000000000001
    0x00dea1 +0x9d00:       0x356e40050c4280000000002006c2f0 [0x80] 0000000000110101 0110111001000000 0000010100001100 0100001010000000 0000000000000000 0000000000000000 0010000000000110 1100001011110000
    0x00df21 +0x9d80:            0x8000515780400d85e00000015 [0x80] 0000000000000000 0000000000001000 0000000000000101 0001010101111000 0000010000000000 1101100001011110 0000000000000000 0000000000010101
    0x00dfa1 +0x9e00:         0xa31200801cc20000000020000000 [0x80] 0000000000000000 1010001100010010 0000000010000000 0001110011000010 0000000000000000 0000000000000000 0010000000000000 0000000000000000
    0x00e021 +0x9e80:       0x100398400000005800000000020085 [0x80] 0000000000010000 0000001110011000 0100000000000000 0000000000000000 0101100000000000 0000000000000000 0000000000000010 0000000010000101
    0x00e0a1 +0x9f00:     0x2f80000000800034c9004010a5f00000 [0x80] 0010111110000000 0000000000000000 0000000010000000 0000000000110100 1100100100000000 0100000000010000 1010010111110000 0000000000000000
    0x00e121 +0x9f80:      0x17000069f59d8b80000000000000003 [0x80] 0000000101110000 0000000000000110 1001111101011001 1101100010111000 0000000000000000 0000000000000000 0000000000000000 0000000000000011
    0x00e1a1 +0xa000:      0x1801a4be00003853400000000000000 [0x80] 0000000110000000 0001101001001011 1110000000000000 0000001110000101 0011010000000000 0000000000000000 0000000000000000 0000000000000000
    0x00e221 +0xa080:           0x70a6800000008000000000000e [0x80] 0000000000000000 0000000001110000 1010011010000000 0000000000000000 0000000010000000 0000000000000000 0000000000000000 0000000000001110
    0x00e2a1 +0xa100:     0x14d003a5dc0000000000000000100c01 [0x80] 0001010011010000 0000001110100101 1101110000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010000 0000110000000001
    0x00e321 +0xa180:     0x34000000040000000002018026800000 [0x80] 0011010000000000 0000000000000000 0000010000000000 0000000000000000 0000000000000010 0000000110000000 0010011010000000 0000000000000000
    0x00e3a1 +0xa200:      0xc000000000040302d00000000100000 [0x80] 0000110000000000 0000000000000000 0000000000000000 0100000000110000 0010110100000000 0000000000000000 0000000000010000 0000000000000000
    0x00e421 +0xa280:          0x80605a000000032000000000100 [0x80] 0000000000000000 0000100000000110 0000010110100000 0000000000000000 0000000000110010 0000000000000000 0000000000000000 0000000100000000
    0x00e4a1 +0xa300:     0xc4a34000000040002996c02018946800 [0x80] 1100010010100011 0100000000000000 0000000000000000 0100000000000000 0010100110010110 1100000000100000 0001100010010100 0110100000000000
    0x00e521 +0xa380:         0xd0000535f0000084350000000100 [0x80] 0000000000000000 1101000000000000 0000010100110101 1111000000000000 0000000010000100 0011010100000000 0000000000000000 0000000100000000
    0x00e5a1 +0xa400:               0x1086a00000036000000013 [0x80] 0000000000000000 0000000000000000 0000000000010000 1000011010100000 0000000000000000 0000001101100000 0000000000000000 0000000000010011
    0x00e621 +0xa480:     0xb1700000000000000004010047bdc000 [0x80] 1011000101110000 0000000000000000 0000000000000000 0000000000000000 0000000000000100 0000000100000000 0100011110111101 1100000000000000
    0x00e6a1 +0xa500:                             0x3c328000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0011110000110010 1000000000000000
    0x00e721 +0xa580:                                    0x0 [0x80] 0…
    0x00e7a1 +0xa600:     0x3a8ac0003ca200000000000039a4c000 [0x80] 0011101010001010 1100000000000000 0011110010100010 0000000000000000 0000000000000000 0000000000000000 0011100110100100 1100000000000000
    0x00e821 +0xa680:        0x7000e7d30000000000001cc390000 [0x80] 0000000000000111 0000000000001110 0111110100110000 0000000000000000 0000000000000000 0000000000000001 1100110000111001 0000000000000000
    0x00e8a1 +0xa700:             0x1cc380000000000000000000 [0x80] 0000000000000000 0000000000000000 0001110011000011 1000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00e921 +0xa780:      0x3987000000008000000000000730e00 [0x80] 0000001110011000 0111000000000000 0000000000000000 0000100000000000 0000000000000000 0000000000000000 0000000001110011 0000111000000000
    0x00e9a1 +0xa800:     0x1d66b3b1700000000000000008010047 [0x80] 0001110101100110 1011001110110001 0111000000000000 0000000000000000 0000000000000000 0000000000000000 0000100000000001 0000000001000111
    0x00ea21 +0xa880:     0xbdc000074da40003a1b4000074da0000 [0x80] 1011110111000000 0000000000000111 0100110110100100 0000000000000011 1010000110110100 0000000000000000 0111010011011010 0000000000000000
    0x00eaa1 +0xa900:             0x71e500000e9b400000003000 [0x80] 0000000000000000 0000000000000000 0111000111100101 0000000000000000 0000111010011011 0100000000000000 0000000000000000 0011000000000000
    0x00eb21 +0xa980:      0xe42d00001d3680078ea0040125b4000 [0x80] 0000111001000010 1101000000000000 0000000111010011 0110100000000000 0111100011101010 0000000001000000 0001001001011011 0100000000000000
    0x00eba1 +0xaa00:         0x100000000008024b680000003c00 [0x80] 0000000000000000 0001000000000000 0000000000000000 0000000000001000 0000001001001011 0110100000000000 0000000000000000 0011110000000000
    0x00ec21 +0xaa80:            0x1005587000000004000000000 [0x80] 0000000000000000 0000000000000001 0000000001010101 1000011100000000 0000000000000000 0000000001000000 0000000000000000 0000000000000000
    0x00eca1 +0xab00:     0x200ab0e0000000f80000000000000000 [0x80] 0010000000001010 1011000011100000 0000000000000000 0000000011111000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00ed21 +0xab80:             0x2019c5f00000000800000000 [0x80] 0000000000000000 0000000000000000 0010000000011001 1100010111110000 0000000000000000 0000000000001000 0000000000000000 0000000000000000
    0x00eda1 +0xac00:      0x40338be000000200000000000806768 [0x80] 0000010000000011 0011100010111110 0000000000000000 0000000000100000 0000000000000000 0000000000000000 0000000010000000 0110011101101000
    0x00ee21 +0xac80:     0x2000000020001c3880100ced04000000 [0x80] 0010000000000000 0000000000000000 0010000000000000 0001110000111000 1000000000010000 0000110011101101 0000010000000000 0000000000000000
    0x00eea1 +0xad00:     0x840003889c0201a57f0000000080005f [0x80] 1000010000000000 0000001110001000 1001110000000010 0000000110100101 0111111100000000 0000000000000000 0000000010000000 0000000001011111
    0x00ef21 +0xad80:     0xf7004034afe000000220000c05100001 [0x80] 1111011100000000 0100000000110100 1010111111100000 0000000000000000 0000001000100000 0000000000001100 0000010100010000 0000000000000001
    0x00efa1 +0xae00:     0x6ff8000000020000000000002dff0000 [0x80] 0110111111111000 0000000000000000 0000000000000010 0000000000000000 0000000000000000 0000000000000000 0010110111111111 0000000000000000
    0x00f021 +0xae80:        0x8c00000002762e000000000000000 [0x80] 0000000000001000 1100000000000000 0000000000000000 0010011101100010 1110000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00f0a1 +0xaf00:     0x400200c8ed80000f0538000000000000 [0x80] 0100000000000010 0000000011001000 1110110110000000 0000000000001111 0000010100111000 0000000000000000 0000000000000000 0000000000000000
    0x00f121 +0xaf80:     0xf053000000000000000000001e0a6000 [0x80] 1111000001010011 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001111000001010 0110000000000000
    0x00f1a1 +0xb000:         0x80000ad1200003c14c00f3929d8b [0x80] 0000000000000000 1000000000000000 0000101011010001 0010000000000000 0000001111000001 0100110000000000 1111001110010010 1001110110001011
    0x00f221 +0xb080:     0x800000000000000060080323b600003c [0x80] 1000000000000000 0000000000000000 0000000000000000 0000000000000000 0110000000001000 0000001100100011 1011011000000000 0000000000111100
    0x00f2a1 +0xb100:     0x8460000000000003c844000000000000 [0x80] 1000010001100000 0000000000000000 0000000000000000 0000000000000011 1100100001000100 0000000000000000 0000000000000000 0000000000000000
    0x00f321 +0xb180:             0x790880000002800000000000 [0x80] 0000000000000000 0000000000000000 0111100100001000 1000000000000000 0000000000000010 1000000000000000 0000000000000000 0000000000000000
    0x00f3a1 +0xb200:      0xf2110040cb230580000000000000004 [0x80] 0000111100100001 0001000000000100 0000110010110010 0011000001011000 0000000000000000 0000000000000000 0000000000000000 0000000000000100
    0x00f421 +0xb280:     0x400007aa700000000000000000000000 [0x80] 0100000000000000 0000011110101010 0111000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00f4a1 +0xb300:            0x4325000f54e00000000000000 [0x80] 0000000000000000 0000000000000100 0011001001010000 0000000011110101 0100111000000000 0000000000000000 0000000000000000 0000000000000000
    0x00f521 +0xb380:                0x405ec000000000000000f [0x80] 0000000000000000 0000000000000000 0000000000000100 0000010111101100 0000000000000000 0000000000000000 0000000000000000 0000000000001111
    0x00f5a1 +0xb400:     0x4be0080385d4000000040001da760100 [0x80] 0100101111100000 0000100000000011 1000010111010100 0000000000000000 0000000000000100 0000000000000001 1101101001110110 0000000100000000
    0x00f621 +0xb480:     0x70ba8000000080003b6780200e346000 [0x80] 0111000010111010 1000000000000000 0000000000000000 1000000000000000 0011101101100111 1000000000100000 0000111000110100 0110000000000000
    0x00f6a1 +0xb500:         0x10000000000401c68c0000000300 [0x80] 0000000000000000 0001000000000000 0000000000000000 0000000000000100 0000000111000110 1000110000000000 0000000000000000 0000001100000000
    0x00f721 +0xb580:             0x8038f6e00000004000000000 [0x80] 0000000000000000 0000000000000000 1000000000111000 1111011011100000 0000000000000000 0000000001000000 0000000000000000 0000000000000000
    0x00f7a1 +0xb600:     0x10071edc0000001000000002762e0000 [0x80] 0001000000000111 0001111011011100 0000000000000000 0000000000010000 0000000000000000 0000000000000010 0111011000101110 0000000000000000
    0x00f821 +0xb680:                           0x901000d5a6 [0x55] 0000000000000000 0000000000000000 0000000000000100 1000000010000000 0000011010101101 00110
{Thing2 0x0f876/0x40}:Thing2 Chain2 payload_p → {StringStore 0x02b14/0x9a8}
{StringStore 0x0f8b6/0x9b0}:StringStore x = 0x00000001 y = 0x0000012e
    @0x0f8f6 [0x00] =  $0x0012 »ADA_PROGRAM«
    @0x0f966 [0x01] =  $0x0013 »STATEMENTS«
    @0x0f9ce [0x02] =  $0x0001 »NAMES_AND_EXPRESSIONS«
    @0x0fa8e [0x03] =  $0x000d »BOUNDS_UTILITIES«
    @0x0fb26 [0x04] =  $0x000f »LRM_UTILITIES«
{R1kSegChunk 0x10266/0x168c}: ===================
    0x010266 +0x0000:         0x1effe000000000001424600003df [0x80] 0000000000000000 0001111011111111 1110000000000000 0000000000000000 0000000000000000 0001010000100100 0110000000000000 0000001111011111
    0x0102e6 +0x0080:     0xfc000000180002861800007bff8020c6 [0x80] 1111110000000000 0000000000000000 0001100000000000 0000001010000110 0001100000000000 0000000001111011 1111111110000000 0010000011000110
    0x010366 +0x0100:     0x4010072d6400000008000287a40200e5 [0x80] 0100000000010000 0000011100101101 0110010000000000 0000000000000000 0000100000000000 0000001010000111 1010010000000010 0000000011100101
    0x0103e6 +0x0180:     0xac800000028000512600401cc8400000 [0x80] 1010110010000000 0000000000000000 0000001010000000 0000000001010001 0010011000000000 0100000000011100 1100100001000000 0000000000000000
    0x010466 +0x0200:       0x2000000000080399080000000c0000 [0x80] 0000000000100000 0000000000000000 0000000000000000 0000100000000011 1001100100001000 0000000000000000 0000000000001100 0000000000000000
    0x0104e6 +0x0280:        0x13b17000000000000000260500346 [0x80] 0000000000000001 0011101100010111 0000000000000000 0000000000000000 0000000000000000 0000000000000010 0110000001010000 0000001101000110
    0x010566 +0x0300:     0xf80000827a8000000000000000000010 [0x80] 1111100000000000 0000000010000010 0111101010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010000
    0x0105e6 +0x0380:     0x4f500000007000000000000209ea0083 [0x80] 0100111101010000 0000000000000000 0000000001110000 0000000000000000 0000000000000000 0000000000000010 0000100111101010 0000000010000011
    0x010666 +0x0400:     0xd64ec5c000000000000000081800d087 [0x80] 1101011001001110 1100010111000000 0000000000000000 0000000000000000 0000000000000000 0000000000001000 0001100000000000 1101000010000111
    0x0106e6 +0x0480:         0x20cde0000000000015c4e0000419 [0x80] 0000000000000000 0010000011001101 1110000000000000 0000000000000000 0000000000000000 0001010111000100 1110000000000000 0000010000011001
    0x010766 +0x0500:     0xbc000000200002ba2800008337802124 [0x80] 1011110000000000 0000000000000000 0010000000000000 0000001010111010 0010100000000000 0000000010000011 0011011110000000 0010000100100100
    0x0107e6 +0x0580:     0xd3b170000000000000001a0700352cc0 [0x80] 1101001110110001 0111000000000000 0000000000000000 0000000000000000 0000000000000000 0001101000000111 0000000000110101 0010110011000000
    0x010866 +0x0600:        0x83f480000000000000000000107e9 [0x80] 0000000000001000 0011111101001000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0000011111101001
    0x0108e6 +0x0680:            0x900000000000020fd20088680 [0x80] 0000000000000000 0000000000001001 0000000000000000 0000000000000000 0000000000000000 0010000011111101 0010000000001000 1000011010000000
    0x010966 +0x0700:      0x4024081000000020000e30400804810 [0x80] 0000010000000010 0100000010000001 0000000000000000 0000000000000010 0000000000000000 1110001100000100 0000000010000000 0100100000010000
    0x0109e6 +0x0780:     0x2000000040001c6ce010091780000000 [0x80] 0010000000000000 0000000000000000 0100000000000000 0001110001101100 1110000000010000 0000100100010111 1000000000000000 0000000000000000
    0x010a66 +0x0800:      0x800000000020122f000000001800000 [0x80] 0000100000000000 0000000000000000 0000000000000010 0000000100100010 1111000000000000 0000000000000000 0000000110000000 0000000000000000
    0x010ae6 +0x0880:         0x4024a24000000020000000000804 [0x80] 0000000000000000 0100000000100100 1010001001000000 0000000000000000 0000000000100000 0000000000000000 0000000000000000 0000100000000100
    0x010b66 +0x0900:     0x9448000000080000000001006857c000 [0x80] 1001010001001000 0000000000000000 0000000000001000 0000000000000000 0000000000000000 0000000100000000 0110100001010111 1100000000000000
    0x010be6 +0x0980:         0x8000000000200d0af80000001000 [0x80] 0000000000000000 1000000000000000 0000000000000000 0000000000100000 0000110100001010 1111100000000000 0000000000000000 0001000000000000
    0x010c66 +0x0a00:            0x401a889000000020000000000 [0x80] 0000000000000000 0000000000000100 0000000110101000 1000100100000000 0000000000000000 0000001000000000 0000000000000000 0000000000000000
    0x010ce6 +0x0a80:     0x8035112000000060000000001009d4b8 [0x80] 1000000000110101 0001000100100000 0000000000000000 0000000001100000 0000000000000000 0000000000000000 0001000000001001 1101010010111000
    0x010d66 +0x0b00:            0x80000000002013a9700000001 [0x80] 0000000000000000 0000000000001000 0000000000000000 0000000000000000 0000001000000001 0011101010010111 0000000000000000 0000000000000001
    0x010de6 +0x0b80:               0x4029f73000000020000e08 [0x80] 0000000000000000 0000000000000000 0000000001000000 0010100111110111 0011000000000000 0000000000000000 0010000000000000 0000111000001000
    0x010e66 +0x0c00:     0x7008053ee6000000040001c1d40100a9 [0x80] 0111000000001000 0000010100111110 1110011000000000 0000000000000000 0000010000000000 0000000111000001 1101010000000001 0000000010101001
    0x010ee6 +0x0c80:     0x6040000000800000000020152c080000 [0x80] 0110000001000000 0000000000000000 0000000010000000 0000000000000000 0000000000000000 0010000000010101 0010110000001000 0000000000000000
    0x010f66 +0x0d00:       0x1800000004ec5c0000000000000007 [0x80] 0000000000011000 0000000000000000 0000000000000100 1110110001011100 0000000000000000 0000000000000000 0000000000000000 0000000000000111
    0x010fe6 +0x0d80:     0x82000d5ea000021f26000000000001e2 [0x80] 1000001000000000 0000110101011110 1010000000000000 0000001000011111 0010011000000000 0000000000000000 0000000000000000 0000000111100010
    0x011066 +0x0e00:     0x1c000043e4c000000280003c5c400008 [0x80] 0001110000000000 0000000001000011 1110010011000000 0000000000000000 0000001010000000 0000000000111100 0101110001000000 0000000000001000
    0x0110e6 +0x0e80:     0x7c980000000000000200000015ff8000 [0x80] 0111110010011000 0000000000000000 0000000000000000 0000000000000000 0000001000000000 0000000000000000 0001010111111111 1000000000000000
    0x011166 +0x0f00:                             0x89988000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1000100110011000 1000000000000000
    0x0111e6 +0x0f80:                                    0x0 [0x80] 0…
    0x011266 +0x1000:                             0x88ab8000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1000100010101011 1000000000000000
    0x0112e6 +0x1080:       0x19802252e000000000100356e40004 [0x80] 0000000000011001 1000000000100010 0101001011100000 0000000000000000 0000000000000000 0001000000000011 0101011011100100 0000000000000100
    0x011366 +0x1100:     0x44340000000000000000000000000000 [0x80] 0100010000110100 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0113e6 +0x1180:            0x455b800000000000000000000 [0x80] 0000000000000000 0000000000000100 0101010110111000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x011466 +0x1200:                                    0x0 [0x80] 0…
    0x0114e6 +0x1280:            0x44e50000000680114d4000000 [0x80] 0000000000000000 0000000000000100 0100111001010000 0000000000000000 0000000001101000 0000000100010100 1101010000000000 0000000000000000
    0x011566 +0x1300:         0x801ab72000000000001c51400000 [0x80] 0000000000000000 1000000000011010 1011011100100000 0000000000000000 0000000000000000 0000000000011100 0101000101000000 0000000000000000
    0x0115e6 +0x1380:               0x2000000180900349140200 [0x80] 0000000000000000 0000000000000000 0000000000100000 0000000000000000 0000000110000000 1001000000000011 0100100100010100 0000001000000000
    0x011666 +0x1400:     0x6adc82400d52304801cd4809003c5201 [0x80] 0110101011011100 1000001001000000 0000110101010010 0011000001001000 0000000111001101 0100100000001001 0000000000111100 0101001000000001
    0x0116e6 +0x1480:     0x2007df60240106900480222680100398 [0x80] 0010000000000111 1101111101100000 0010010000000001 0000011010010000 0000010010000000 0010001000100110 1000000000010000 0000001110011000
    0x011766 +0x1500:     0x400200852f8040125b400802ac380002 [0x80] 0100000000000010 0000000010000101 0010111110000000 0100000000010010 0101101101000000 0000100000000010 1010110000111000 0000000000000010
    0x0117e6 +0x1580:     0x311e0000000000022faa00000062008b [0x80] 0011000100011110 0000000000000000 0000000000000000 0000000000000010 0010111110101010 0000000000000000 0000000001100010 0000000010001011
    0x011866 +0x1600:     0xfa8000000000400d5b9000115f100000 [0x80] 1111101010000000 0000000000000000 0000000000000000 0100000000001101 0101101110010000 0000000000010001 0101111100010000 0000000000000000
    0x0118e6 +0x1680:                                    0x0 [0x0c] 0…