DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦50fcca690⟧

    Length: 8192 (0x2000)
    Notes: 01_class, 97_tag, ADA, R1k_Segment, VAR2, seg_049c56

Derivation

└─⟦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 = 0x0000f0e7 max_bits = 0x03ffffff zero = 0x00000000 alloced_bits = 0x0000ffff
{HeadVar2 0x00080/0x32a}:HeadVar2
    0x000080 [0x00] +0x0000: head_z_000 = 0x80000001 [10000000000000000000000000000001]
    0x0000a0 [0x01] +0x0020: head_segment = 0x00049c56 [0000000000001001001110001010110]
    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 = 0x0001684c [000000000000010110100001001100]
    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/0x8102} [00000000000000000100000110100001]
    0x0002ea [0x17] +0x026a:
    0x00030a [0x18] +0x028a: hv2_28a_n = 0x00100130ec14280108340130c484280000000000 [0000000000010000000000010011000011101100000101000010100000000001000010000011010000000001001100001100010010000100001010000000000000000000000000000000000000000000]

{R1kSegChunk 0x003aa/0x1f70}: ===================
    0x0003aa +0x0000:                                    0x0 [0x1f00] 0…
    0x0022aa +0x1f00:                           0x1000000000 [0x70] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010000 0000000000000000 0000000000000000
{Thing1 0x0231a/0x10c}:Thing1
    0x00231a [0x00] +0x0000: t1_00_n = 0xfffffff1005a007400a860014cf [111111111111111111111111111100010000000001011010000000000111010000000000101010000110000000000001010011001111]
    0x002386 [0x01] +0x006c: t1_c1_head_p → {StringIndex 0x02426/0x6ee} [00000000000000000010010000100110]
    0x0023a6 [0x02] +0x008c: t1_c2_last_p → {StringStore 0x0c2e3/0x9b0} [00000000000000001100001011100011]
    0x0023c6 [0x03] +0x00ac: t1_array1_p → {StringIndex 0x02426/0x6ee} [00000000000000000010010000100110]
    0x0023e6 [0x04] +0x00cc: t1_c2_tail_p → {Thing2 0x0c2a3/0x40} [00000000000000001100001010100011]
    0x002406 [0x05] +0x00ec: [00000000000000000000000000000000]

{StringIndex 0x02426/0x6ee}:StringIndex x = 0x00000001 y = 0x0000002d
  [$0x0001]  0x009c0 000 »CODE_SEGMENT_ARRAY_INDEX«
  [$0x0002]  0x00fc0 013 »DECLARATION_NUMBER«
  [$0x0003]  0x00f50 014 »UNIT_NUMBER«
  [$0x0004]  0x00748 017 »*POLY_DEBUG_INFO1279049425«
  [$0x0005]  0x00c48 01b »CLASS_NAME_OF«
  [$0x0006]  0x00918 000 »CODE_SEGMENT_ARRAY«
  [$0x0007]  0x00e30 019 »IN_PARAM_COUNT«
  [$0x0008]  0x00a98 012 »CLASS_NAMES«
  [$0x0009]  0x00b08 010 »OBJECT«
  [$0x000a]  0x00cc8 015 »LEVEL«
  [$0x000b]  0x00be0 011 »MAKE_EMPTY«
  [$0x000c]  0x00d08 000 »OFFSET«
  [$0x000d]  0x00830 000 »*POLY_DEBUG_INFO1279058956«
  [$0x000e]  0x0a090 01a »%CLASS_PUT 5492989711016263808 112531«
  [$0x000f]  0x00dd8 000 »LOCATION«
  [$0x0010]  0x00b50 018 »NULL_CLASS_NAME«
  [$0x0011]  0x00d50 000 »CACHE_REGISTER«
  [$0x0012]  0x00eb8 01c »SUBSYSTEM_NUMBER«
  [$0x0013]  0x09f18 000 »USER_OBJECTS«
  [$0x0014]  0x09f90 000 »NO_USER_OBJECTS«
  [$0x0015]  0x0a020 016 »GENERIC_PUT«
  [$0x0016]  0x0a1d0 000 »DEFAULT_PUT«
  [$0x0017]  0x0a240 000 »GENERIC_FACT_BASE«
  [$0x0018]  0x0a2e0 000 »%DEFAULT_WORKING_MEMORY_PUT 5492989711016263808 122062«
  [$0x0019]  0x0a4a8 000 »LAST_INSTANCE«
  [$0x001a]  0x0a528 000 »MATCH«
  [$0x001b]  0x0a568 000 »NULL_USER_OBJECT«
  [$0x001c]  0x0a600 000 »AS_USER_OBJECT«
{StringStore 0x02b14/0x9a8}:StringStore x = 0x00000001 y = 0x0000012d
    @0x02b56 [0x00] =  $0x0004 »*POLY_DEBUG_INFO1279049425«
    @0x02c3e [0x01] =  $0x000d »*POLY_DEBUG_INFO1279058956«
    @0x02d26 [0x02] =  $0x0006 »CODE_SEGMENT_ARRAY«
    @0x02dce [0x03] =  $0x0001 »CODE_SEGMENT_ARRAY_INDEX«
    @0x02ea6 [0x04] =  $0x0008 »CLASS_NAMES«
    @0x02f16 [0x05] =  $0x0009 »OBJECT«
    @0x02f5e [0x06] =  $0x0010 »NULL_CLASS_NAME«
    @0x02fee [0x07] =  $0x000b »MAKE_EMPTY«
    @0x03056 [0x08] =  $0x0005 »CLASS_NAME_OF«
    @0x030d6 [0x09] =  $0x000a »LEVEL«
    @0x03116 [0x0a] =  $0x000c »OFFSET«
    @0x0315e [0x0b] =  $0x0011 »CACHE_REGISTER«
    @0x031e6 [0x0c] =  $0x000f »LOCATION«
    @0x0323e [0x0d] =  $0x0007 »IN_PARAM_COUNT«
    @0x032c6 [0x0e] =  $0x0012 »SUBSYSTEM_NUMBER«
    @0x0335e [0x0f] =  $0x0003 »UNIT_NUMBER«
    @0x033ce [0x10] =  $0x0002 »DECLARATION_NUMBER«
{DianaSkeleton 0x034bc/0x2b}:diana_13eab d_13eab_type = 0x13eab
{R1kSegChunk 0x034e7/0x3a}: ===================
    0x0034e7 +0x0000:                                    0x0 [0x3a] 0…
{R1kSegChunk 0x03521/0xc80}: ===================
    0x003521 +0x0000:                 0x686c000075e900000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0110100001101100 0000000000000000 0111010111101001 0000000000000000 0000000000000000
    0x0035a1 +0x0080:                                    0x0 [0x80] 0…
    0x003621 +0x0100:                                 0x7826 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0111100000100110
    0x0036a1 +0x0180:                 0x7a6300009a86000088dd [0x80] 0000000000000000 0000000000000000 0000000000000000 0111101001100011 0000000000000000 1001101010000110 0000000000000000 1000100011011101
    0x003721 +0x0200:         0x5864000000000000b30000000000 [0x80] 0000000000000000 0101100001100100 0000000000000000 0000000000000000 0000000000000000 1011001100000000 0000000000000000 0000000000000000
    0x0037a1 +0x0280:                                 0xb7bb [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1011011110111011
    0x003821 +0x0300:                         0xedf100000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1110110111110001 0000000000000000 0000000000000000
    0x0038a1 +0x0380:         0xd7d9000046980000000000000000 [0x80] 0000000000000000 1101011111011001 0000000000000000 0100011010011000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x003921 +0x0400:                                    0x0 [0x180] 0…
    0x003aa1 +0x0580:                 0x4a8c000000000000d21c [0x80] 0000000000000000 0000000000000000 0000000000000000 0100101010001100 0000000000000000 0000000000000000 0000000000000000 1101001000011100
    0x003b21 +0x0600:                 0xf0a90000b4c30000ebb4 [0x80] 0000000000000000 0000000000000000 0000000000000000 1111000010101001 0000000000000000 1011010011000011 0000000000000000 1110101110110100
    0x003ba1 +0x0680:         0x42210000433e0000445b00000000 [0x80] 0000000000000000 0100001000100001 0000000000000000 0100001100111110 0000000000000000 0100010001011011 0000000000000000 0000000000000000
    0x003c21 +0x0700:         0xb5e0000000000000000000000000 [0x80] 0000000000000000 1011010111100000 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/0x8102}: ===================
    0x0041a1 +0x0000:         0xb6dc0000427b00000000000041c1 [0x80] 0000000000000000 1011011011011100 0000000000000000 0100001001111011 0000000000000000 0000000000000000 0000000000000000 0100000111000001
    0x004221 +0x0080:           0x34001078400000000020056890 [0x80] 0000000000000000 0000000000110100 0000000000010000 0111100001000000 0000000000000000 0000000000000000 0010000000000101 0110100010010000
    0x0042a1 +0x0100:           0x580000000000021cc000000000 [0x80] 0000000000000000 0000000001011000 0000000000000000 0000000000000000 0000000000000010 0001110011000000 0000000000000000 0000000000000000
    0x004321 +0x0180:        0x216f0000001a80085fc0000000001 [0x80] 0000000000000010 0001011011110000 0000000000000000 0000000110101000 0000000010000101 1111110000000000 0000000000000000 0000000000000001
    0x0043a1 +0x0200:       0x2b448000000cc00000000000112d40 [0x80] 0000000000101011 0100010010000000 0000000000000000 0000110011000000 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:                                    0x0 [0x100] 0…
    0x004621 +0x0480:               0x8de40000000000008a3000 [0x80] 0000000000000000 0000000000000000 0000000010001101 1110010000000000 0000000000000000 0000000000000000 0000000010001010 0011000000000000
    0x0046a1 +0x0500:         0x3a00232c0000000000400d051000 [0x80] 0000000000000000 0011101000000000 0010001100101100 0000000000000000 0000000000000000 0000000001000000 0000110100000101 0001000000000000
    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:          0x200682880000fa0000000000040 [0x80] 0000000000000000 0000001000000000 0110100000101000 1000000000000000 0000111110100000 0000000000000000 0000000000000000 0000000001000000
    0x0048a1 +0x0700:      0xcfc7000000002006929000965400000 [0x80] 0000110011111100 0111000000000000 0000000000000000 0000001000000000 0110100100101001 0000000000001001 0110010101000000 0000000000000000
    0x004921 +0x0780:                                    0x0 [0x80] 0…
    0x0049a1 +0x0800:                    0x95cc0000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000001001 0101110011000000 0000000000000000 0000000000000000 0000000000000000
    0x004a21 +0x0880:                            0x921800000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001001 0010000110000000 0000000000000000
    0x004aa1 +0x0900:      0x5a0025260000000000400d454800000 [0x80] 0000010110100000 0000001001010010 0110000000000000 0000000000000000 0000000000000100 0000000011010100 0101010010000000 0000000000000000
    0x004b21 +0x0980:         0x400db1d0012d9c02007195000b2f [0x80] 0000000000000000 0100000000001101 1011000111010000 0000000100101101 1001110000000010 0000000001110001 1001010100000000 0000101100101111
    0x004ba1 +0x0a00:     0xc0000000000000000000000000001443 [0x80] 1100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001010001000011
    0x004c21 +0x0a80:                                    0x0 [0x180] 0…
    0x004da1 +0x0c00:                          0xf7340000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000111101110011 0100000000000000 0000000000000000
    0x004e21 +0x0c80:                                    0x0 [0x180] 0…
    0x004fa1 +0x0e00:                         0x156da0000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001010101101101 1010000000000000 0000000000000000
    0x005021 +0x0e80:                                    0x0 [0x180] 0…
    0x0051a1 +0x1000:                 0x159a00000000000015b2 [0x80] 0000000000000000 0000000000000000 0000000000000000 0001010110011010 0000000000000000 0000000000000000 0000000000000000 0001010110110010
    0x005221 +0x1080:                                    0x0 [0x100] 0…
    0x005321 +0x1180:                  0xb376000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000101100110111 0110000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0053a1 +0x1200:                                    0x0 [0x400] 0…
    0x0057a1 +0x1600:          0xb17c00000000000000000000000 [0x80] 0000000000000000 0000101100010111 1100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005821 +0x1680:                  0x974800000020002c120 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000100101110100 1000000000000000 0000000000000010 0000000000000010 1100000100100000
    0x0058a1 +0x1700:              0x400e5ac0000000000000000 [0x80] 0000000000000000 0000000000000000 0000010000000000 1110010110101100 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005921 +0x1780:               0x801cb5800000000400f93d [0x80] 0000000000000000 0000000000000000 0000000010000000 0001110010110101 1000000000000000 0000000000000000 0000010000000000 1111100100111101
    0x0059a1 +0x1800:       0x169ec020080a280000000000000000 [0x80] 0000000000010110 1001111011000000 0010000000001000 0000101000101000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005a21 +0x1880:              0x40101450000000020083f60 [0x80] 0000000000000000 0000000000000000 0000010000000001 0000000101000101 0000000000000000 0000000000000000 0010000000001000 0011111101100000
    0x005aa1 +0x1900:      0x11798010044738005af500802322e00 [0x80] 0000000100010111 1001100000000001 0000000001000100 0111001110000000 0000010110101111 0101000000001000 0000001000110010 0010111000000000
    0x005b21 +0x1980:                    0x16dbc02008e140000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0110110110111100 0000001000000000 1000111000010100 0000000000000000
    0x005ba1 +0x1a00:                           0x174d20001c [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010111 0100110100100000 0000000000011100
    0x005c21 +0x1a80:     0x3540000000000000000000176d80001a [0x80] 0011010101000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010111 0110110110000000 0000000000011010
    0x005ca1 +0x1b00:     0x8ac00019926000000000000000000000 [0x80] 1000101011000000 0000000000011001 1001001001100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005d21 +0x1b80:           0x1b840000000000000000000000 [0x80] 0000000000000000 0000000000011011 1000010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005da1 +0x1c00:           0x1cf48000000000000000000000 [0x80] 0000000000000000 0000000000011100 1111010010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005e21 +0x1c80:                   0x151bc0001cd4200019 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000010101 0001101111000000 0000000000011100 1101010000100000 0000000000011001
    0x005ea1 +0x1d00:     0xcb80001b2f4000000000001bfc200000 [0x80] 1100101110000000 0000000000011011 0010111101000000 0000000000000000 0000000000000000 0000000000011011 1111110000100000 0000000000000000
    0x005f21 +0x1d80:                           0x1825200000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000011000 0010010100100000 0000000000000000
    0x005fa1 +0x1e00:                                    0x0 [0x80] 0…
    0x006021 +0x1e80:                           0x14c6a00000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010100 1100011010100000 0000000000000000
    0x0060a1 +0x1f00:                   0x153480000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000010101 0011010010000000 0000000000000000 0000000000000000 0000000000000000
    0x006121 +0x1f80:           0x1ca4e000000000000000000000 [0x80] 0000000000000000 0000000000011100 1010010011100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0061a1 +0x2000:           0x1bc46000000000000000000000 [0x80] 0000000000000000 0000000000011011 1100010001100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006221 +0x2080:           0x17f5e0001409e0001b0ee00000 [0x80] 0000000000000000 0000000000010111 1111010111100000 0000000000010100 0000100111100000 0000000000011011 0000111011100000 0000000000000000
    0x0062a1 +0x2100:           0x1c7d40001786400019b2c00000 [0x80] 0000000000000000 0000000000011100 0111110101000000 0000000000010111 1000011001000000 0000000000011001 1011001011000000 0000000000000000
    0x006321 +0x2180:                                    0x0 [0x100] 0…
    0x006421 +0x2280:           0x1c5ce00000000000000000001a [0x80] 0000000000000000 0000000000011100 0101110011100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000011010
    0x0064a1 +0x2300:     0xa38000000000001c1c80001b63a00000 [0x80] 1010001110000000 0000000000000000 0000000000000000 0000000000011100 0001110010000000 0000000000011011 0110001110100000 0000000000000000
    0x006521 +0x2380:                                    0x0 [0x80] 0…
    0x0065a1 +0x2400:           0x1a6a6000000000000000000000 [0x80] 0000000000000000 0000000000011010 0110101001100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006621 +0x2480:                                    0x0 [0x180] 0…
    0x0067a1 +0x2600:                           0x1d1c200000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000011101 0001110000100000 0000000000000000
    0x006821 +0x2680:                    0xb7580000000200341 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000001011 0111010110000000 0000000000000000 0000000000100000 0000001101000001
    0x0068a1 +0x2700:     0x600000000004011c2800000003000000 [0x80] 0110000000000000 0000000000000000 0000000000000100 0000000100011100 0010100000000000 0000000000000000 0000001100000000 0000000000000000
    0x006921 +0x2780:                           0xbacc0000e2 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000010111010 1100110000000000 0000000011100010
    0x0069a1 +0x2800:      0xd00000000000000000000bbcf0000d4 [0x80] 0000110100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000010111011 1100111100000000 0000000011010100
    0x006a21 +0x2880:     0xb90000ccf60000000000000000000000 [0x80] 1011100100000000 0000000011001100 1111011000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006aa1 +0x2900:           0xdc830000000000000000000000 [0x80] 0000000000000000 0000000011011100 1000001100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006b21 +0x2980:           0xe8070000000000000000000000 [0x80] 0000000000000000 0000000011101000 0000011100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006ba1 +0x2a00:                   0xa9410000e7040000ce [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000010101001 0100000100000000 0000000011100111 0000010000000000 0000000011001110
    0x006c21 +0x2a80:     0xbf0000d9dd000000000000e044000000 [0x80] 1011111100000000 0000000011011001 1101110100000000 0000000000000000 0000000000000000 0000000011100000 0100010000000000 0000000000000000
    0x006ca1 +0x2b00:                           0xc18c000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000011000001 1000110000000000 0000000000000000
    0x006d21 +0x2b80:                                    0x0 [0x80] 0…
    0x006da1 +0x2c00:                           0xa698000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000010100110 1001100000000000 0000000000000000
    0x006e21 +0x2c80:                   0xaa0700000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000010101010 0000011100000000 0000000000000000 0000000000000000 0000000000000000
    0x006ea1 +0x2d00:           0xe58a0000000000000000000000 [0x80] 0000000000000000 0000000011100101 1000101000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006f21 +0x2d80:           0xde860000000000000000000000 [0x80] 0000000000000000 0000000011011110 1000011000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006fa1 +0x2e00:           0xc0120000a0b20000d8da000000 [0x80] 0000000000000000 0000000011000000 0001001000000000 0000000010100000 1011001000000000 0000000011011000 1101101000000000 0000000000000000
    0x007021 +0x2e80:           0xe44d0000bc950000cdf9000000 [0x80] 0000000000000000 0000000011100100 0100110100000000 0000000010111100 1001010100000000 0000000011001101 1111100100000000 0000000000000000
    0x0070a1 +0x2f00:                                    0x0 [0x100] 0…
    0x0071a1 +0x3000:           0xe34a00000000000000000000d5 [0x80] 0000000000000000 0000000011100011 0100101000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000011010101
    0x007221 +0x3080:     0x7f000000000000e1470000db80000000 [0x80] 0111111100000000 0000000000000000 0000000000000000 0000000011100001 0100011100000000 0000000011011011 1000000000000000 0000000000000000
    0x0072a1 +0x3100:                                    0x0 [0x80] 0…
    0x007321 +0x3180:           0xd3b60000000000000000000000 [0x80] 0000000000000000 0000000011010011 1011011000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0073a1 +0x3200:                                    0x0 [0x180] 0…
    0x007521 +0x3380:                           0xe944000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000011101001 0100010000000000 0000000000000000
    0x0075a1 +0x3400:                   0x692900000002001d6a [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000001101001 0010100100000000 0000000000000000 0000001000000000 0001110101101010
    0x007621 +0x3480:     0x40000000002008e147fffffff8000000 [0x80] 0100000000000000 0000000000000000 0000000000100000 0000100011100001 0100011111111111 1111111111111111 1111100000000000 0000000000000000
    0x0076a1 +0x3500:                  0x4ed30000553500003c4 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000010011101101 0011000000000000 0000010101010011 0101000000000000 0000001111000100
    0x007721 +0x3580:                                  0x508 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000010100001000
    0x0077a1 +0x3600:     0xa80000000000000000000000000003b5 [0x80] 1010100000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001110110101
    0x007821 +0x3680:     0x300000005800efcc000000000100466e [0x80] 0011000000000000 0000000000000000 0101100000000000 1110111111001100 0000000000000000 0000000000000000 0000000100000000 0100011001101110
    0x0078a1 +0x3700:     0xc0000000400000000000000000002782 [0x80] 1100000000000000 0000000000000000 0100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0010011110000010
    0x007921 +0x3780:     0x40002ab340001eaf4000000000000000 [0x80] 0100000000000000 0010101010110011 0100000000000000 0001111010101111 0100000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0079a1 +0x3800:                 0x285e0000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0010100001011110 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x007a21 +0x3880:                 0x1e38c00000034007a230 [0x80] 0000000000000000 0000000000000000 0000000000000000 0001111000111000 1100000000000000 0000000000000011 0100000000000111 1010001000110000
    0x007aa1 +0x3900:              0x80233760000000000000000 [0x80] 0000000000000000 0000000000000000 0000100000000010 0011001101110110 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x007b21 +0x3980:      0x10048464007b5d00802497600000000 [0x80] 0000000100000000 0100100001000110 0100000000000111 1011010111010000 0000100000000010 0100100101110110 0000000000000000 0000000000000000
    0x007ba1 +0x3a00:     0x401205a0000000000007b20000000000 [0x80] 0100000000010010 0000010110100000 0000000000000000 0000000000000000 0000000000000111 1011001000000000 0000000000000000 0000000000000000
    0x007c21 +0x3a80:                                    0x0 [0x80] 0…
    0x007ca1 +0x3b00:                0xaf4500000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000001010 1111010001010000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x007d21 +0x3b80:                0x893700000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000001000 1001001101110000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x007da1 +0x3c00:                                    0x0 [0x80] 0…
    0x007e21 +0x3c80:                        0xa7c1000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001010 0111110000010000 0000000000000000 0000000000000000
    0x007ea1 +0x3d00:                                0xb0770 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001011 0000011101110000
    0x007f21 +0x3d80:                                    0x0 [0x180] 0…
    0x0080a1 +0x3f00:                        0xb0dd0000899d0 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001011 0000110111010000 0000000000001000 1001100111010000
    0x008121 +0x3f80:                        0xae13000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001010 1110000100110000 0000000000000000 0000000000000000
    0x0081a1 +0x4000:                                0x9e6c0 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001001 1110011011000000
    0x008221 +0x4080:                                    0x0 [0x80] 0…
    0x0082a1 +0x4100:                        0xaedf000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001010 1110110111110000 0000000000000000 0000000000000000
    0x008321 +0x4180:                                0x8b290 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001000 1011001010010000
    0x0083a1 +0x4200:                                    0x0 [0x80] 0…
    0x008421 +0x4280:        0xafab00000000000000000000a29b0 [0x80] 0000000000001010 1111101010110000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001010 0010100110110000
    0x0084a1 +0x4300:                                0x8d230 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001000 1101001000110000
    0x008521 +0x4380:                0xa49500000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000001010 0100100101010000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0085a1 +0x4400:                                    0x0 [0x200] 0…
    0x0087a1 +0x4600:        0xb0110000ae7900008ac3000000000 [0x80] 0000000000001011 0000000100010000 0000000000001010 1110011110010000 0000000000001000 1010110000110000 0000000000000000 0000000000000000
    0x008821 +0x4680:                        0xabf0000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001010 1011111100000000 0000000000000000 0000000000000000
    0x0088a1 +0x4700:                0x7c1d0000000f002227400 [0x80] 0000000000000000 0000000000000000 0000000000000111 1100000111010000 0000000000000000 0000000011110000 0000001000100010 0111010000000000
    0x008921 +0x4780:            0x200908c80401205a000000000 [0x80] 0000000000000000 0000000000000010 0000000010010000 1000110010000000 0100000000010010 0000010110100000 0000000000000000 0000000000000000
    0x0089a1 +0x4800:      0x8024976010048168000000000200902 [0x80] 0000100000000010 0100100101110110 0000000100000000 0100100000010110 1000000000000000 0000000000000000 0000000000100000 0000100100000010
    0x008a21 +0x4880:     0xd000000001004443c0000000000016ae [0x80] 1101000000000000 0000000000000000 0000000100000000 0100010001000011 1100000000000000 0000000000000000 0000000000000000 0001011010101110
    0x008aa1 +0x4900:               0x20088e700401110f000000 [0x80] 0000000000000000 0000000000000000 0000000000100000 0000100010001110 0111000000000100 0000000100010001 0000111100000000 0000000000000000
    0x008b21 +0x4980:         0x802322e01004443c000000000200 [0x80] 0000000000000000 1000000000100011 0010001011100000 0001000000000100 0100010000111100 0000000000000000 0000000000000000 0000001000000000
    0x008ba1 +0x4a00:     0x8887800000001006bb5000a33e008036 [0x80] 1000100010000111 1000000000000000 0000000000000000 0001000000000110 1011101101010000 0000000010100011 0011111000000000 1000000000110110
    0x008c21 +0x4a80:     0xdde00000000402509b00236265a60000 [0x80] 1101110111100000 0000000000000000 0000000000000100 0000001001010000 1001101100000000 0010001101100010 0110010110100110 0000000000000000
    0x008ca1 +0x4b00:                 0x100400610f8000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0001000000000100 0000000001100001 0000111110000000 0000000000000000 0000000000000000
    0x008d21 +0x4b80:          0x464180401b9c700000000000011 [0x80] 0000000000000000 0000010001100100 0001100000000100 0000000110111001 1100011100000000 0000000000000000 0000000000000000 0000000000010001
    0x008da1 +0x4c00:     0x90600000000000000000000000000000 [0x80] 1001000001100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x008e21 +0x4c80:                                    0x0 [0x380] 0…
    0x0091a1 +0x5000:          0x4d7000000000000000000000000 [0x80] 0000000000000000 0000010011010111 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x009221 +0x5080:                                    0x0 [0x300] 0…
    0x009521 +0x5380:                                  0x529 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000010100101001
    0x0095a1 +0x5400:     0xc0000000000000000000000000000000 [0x80] 1100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x009621 +0x5480:                                    0x0 [0x400] 0…
    0x009a21 +0x5880:                          0x46e30000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000010001101110 0011000000000000 0000000000000000
    0x009aa1 +0x5900:     0x7001348c0000000001006de4c0000000 [0x80] 0111000000000001 0011010010001100 0000000000000000 0000000000000000 0000000100000000 0110110111100100 1100000000000000 0000000000000000
    0x009b21 +0x5980:         0x2311800000000000000000013740 [0x80] 0000000000000000 0010001100010001 1000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0011011101000000
    0x009ba1 +0x5a00:      0x10091728009bdd00804937000000000 [0x80] 0000000100000000 1001000101110010 1000000000001001 1011110111010000 0000100000000100 1001001101110000 0000000000000000 0000000000000000
    0x009c21 +0x5a80:     0x40245ca0000000300000000008048b95 [0x80] 0100000000100100 0101110010100000 0000000000000000 0000000000110000 0000000000000000 0000000000000000 0000100000000100 1000101110010101
    0x009ca1 +0x5b00:     0xfffffffa000000000100926e00000000 [0x80] 1111111111111111 1111111111111010 0000000000000000 0000000000000000 0000000100000000 1001001001101110 0000000000000000 0000000000000000
    0x009d21 +0x5b80:     0xc0001a318020124dc7ffffffe00003b2 [0x80] 1100000000000000 0001101000110001 1000000000100000 0001001001001101 1100011111111111 1111111111111111 1110000000000000 0000001110110010
    0x009da1 +0x5c00:     0x180401b7930000000200000000008036 [0x80] 0001100000000100 0000000110110111 1001001100000000 0000000000000000 0000001000000000 0000000000000000 0000000000000000 1000000000110110
    0x009e21 +0x5c80:     0xf260000000000000000010096ecc0200 [0x80] 1111001001100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001000000001001 0110111011001100 0000001000000000
    0x009ea1 +0x5d00:     0xdce3800000000000000000027c3c0201 [0x80] 1101110011100011 1000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000010 0111110000111100 0000001000000001
    0x009f21 +0x5d80:     0x294c0013e9801009545400000000804a [0x80] 0010100101001100 0000000000010011 1110100110000000 0001000000001001 0101010001010100 0000000000000000 0000000000000000 1000000001001010
    0x009fa1 +0x5e00:     0x5300000000400000000010094a63ffff [0x80] 0101001100000000 0000000000000000 0000000001000000 0000000000000000 0000000000000000 0001000000001001 0100101001100011 1111111111111111
    0x00a021 +0x5e80:     0xfffc0000000002012a8a800000010000 [0x80] 1111111111111100 0000000000000000 0000000000000000 0000001000000001 0010101010001010 1000000000000000 0000000000000001 0000000000000000
    0x00a0a1 +0x5f00:           0x4025515fffffffe00000000008 [0x80] 0000000000000000 0000000001000000 0010010101010001 0101111111111111 1111111111111111 1110000000000000 0000000000000000 0000000000001000
    0x00a121 +0x5f80:      0x4a136000000040000000001009426c0 [0x80] 0000010010100001 0011011000000000 0000000000000000 0000010000000000 0000000000000000 0000000000000001 0000000010010100 0010011011000000
    0x00a1a1 +0x6000:                     0x200dbc9800000001 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0010000000001101 1011110010011000 0000000000000000 0000000000000001
    0x00a221 +0x6080:       0x6d92c0000000000023024000229000 [0x80] 0000000001101101 1001001011000000 0000000000000000 0000000000000000 0000000000100011 0000001001000000 0000000000100010 1001000000000000
    0x00a2a1 +0x6100:     0x200db7780401b64b00000000008036c9 [0x80] 0010000000001101 1011011101111000 0000010000000001 1011011001001011 0000000000000000 0000000000000000 0000000010000000 0011011011001001
    0x00a321 +0x6180:     0x600000000401d40f002b24c0200ee150 [0x80] 0110000000000000 0000000000000000 0000010000000001 1101010000001111 0000000000101011 0010010011000000 0010000000001110 1110000101010000
    0x00a3a1 +0x6200:            0x10099d2000a4fb96980000000 [0x80] 0000000000000000 0000000000000001 0000000010011001 1101001000000000 0000101001001111 1011100101101001 1000000000000000 0000000000000000
    0x00a421 +0x6280:              0xd01001843e0000000000000 [0x80] 0000000000000000 0000000000000000 0000110100000001 0000000000011000 0100001111100000 0000000000000000 0000000000000000 0000000000000000
    0x00a4a1 +0x6300:      0x147ea010077c0800000000000051fa8 [0x80] 0000000101000111 1110101000000001 0000000001110111 1100000010000000 0000000000000000 0000000000000000 0000000000000101 0001111110101000
    0x00a521 +0x6380:            0x100773380000000000028ee00 [0x80] 0000000000000000 0000000000000001 0000000001110111 0011001110000000 0000000000000000 0000000000000000 0000000000101000 1110111000000000
    0x00a5a1 +0x6400:                      0x14bf00100984880 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000101001011 1111000000000001 0000000010011000 0100100010000000
    0x00a621 +0x6480:            0x804c244000000060001383401 [0x80] 0000000000000000 0000000000001000 0000010011000010 0100010000000000 0000000000000000 0000011000000000 0000000100111000 0011010000000001
    0x00a6a1 +0x6500:       0x9848bfffffff4000271f40200ee670 [0x80] 0000000010011000 0100100010111111 1111111111111111 1111111101000000 0000000000100111 0001111101000000 0010000000001110 1110011001110000
    0x00a721 +0x6580:            0x8000000000401dcce00000000 [0x80] 0000000000000000 0000000000001000 0000000000000000 0000000000000000 0000010000000001 1101110011001110 0000000000000000 0000000000000000
    0x00a7a1 +0x6600:               0x804e92c010077c08000000 [0x80] 0000000000000000 0000000000000000 0000000010000000 0100111010010010 1100000000010000 0000011101111100 0000100000000000 0000000000000000
    0x00a821 +0x6680:                 0x150c801009a51400a8a1 [0x80] 0000000000000000 0000000000000000 0000000000000000 0001010100001100 1000000000010000 0000100110100101 0001010000000000 1010100010100001
    0x00a8a1 +0x6700:       0x804d9ba00000000402694500000002 [0x80] 0000000010000000 0100110110011011 1010000000000000 0000000000000000 0000010000000010 0110100101000101 0000000000000000 0000000000000010
    0x00a921 +0x6780:               0x804d28bfffffffe0000000 [0x80] 0000000000000000 0000000000000000 0000000010000000 0100110100101000 1011111111111111 1111111111111111 1110000000000000 0000000000000000
    0x00a9a1 +0x6800:       0x1009b3740000000800000000020136 [0x80] 0000000000010000 0000100110110011 0111010000000000 0000000000000000 0000100000000000 0000000000000000 0000000000000010 0000000100110110
    0x00aa21 +0x6880:     0x6effffffff0000000000402674800000 [0x80] 0110111011111111 1111111111111111 1111111100000000 0000000000000000 0000000000000000 0100000000100110 0111010010000000 0000000000000000
    0x00aaa1 +0x6900:       0x20000a6fb00804ce90000000000001 [0x80] 0000000000100000 0000000000001010 0110111110110000 0000100000000100 1100111010010000 0000000000000000 0000000000000000 0000000000000001
    0x00ab21 +0x6980:     0x4ebc01007733800a1db00803b70c0000 [0x80] 0100111010111100 0000000100000000 0111011100110011 1000000000001010 0001110110110000 0000100000000011 1011011100001100 0000000000000000
    0x00aba1 +0x6a00:            0x146f6000000000100770a8020 [0x80] 0000000000000000 0000000000000001 0100011011110110 0000000000000000 0000000000000000 0000000100000000 0111011100001010 1000000000100000
    0x00ac21 +0x6a80:      0xedc30000000000401db860000000020 [0x80] 0000111011011100 0011000000000000 0000000000000000 0000000000000100 0000000111011011 1000011000000000 0000000000000000 0000000000100000
    0x00aca1 +0x6b00:      0xf437000000001007bf9400000000000 [0x80] 0000111101000011 0111000000000000 0000000000000000 0000000100000000 0111101111111001 0100000000000000 0000000000000000 0000000000000000
    0x00ad21 +0x6b80:                   0x200f7f280000000100 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000100000 0000111101111111 0010100000000000 0000000000000000 0000000100000000
    0x00ada1 +0x6c00:     0x3464c000000000001233c00000000020 [0x80] 0011010001100100 1100000000000000 0000000000000000 0000000000000000 0001001000110011 1100000000000000 0000000000000000 0000000000100000
    0x00ae21 +0x6c80:      0x692900400d1930000000000801b63a0 [0x80] 0000011010010010 1001000000000100 0000000011010001 1001001100000000 0000000000000000 0000000000000000 1000000000011011 0110001110100000
    0x00aea1 +0x6d00:     0x1003464c000000000200719500400d19 [0x80] 0001000000000011 0100011001001100 0000000000000000 0000000000000000 0000001000000000 0111000110010101 0000000001000000 0000110100011001
    0x00af21 +0x6d80:     0x30000000000801f27a01003464c00000 [0x80] 0011000000000000 0000000000000000 0000000000001000 0000000111110010 0111101000000001 0000000000110100 0110010011000000 0000000000000000
    0x00afa1 +0x6e00:         0x20083f600400d193000000000080 [0x80] 0000000000000000 0010000000001000 0011111101100000 0000010000000000 1101000110010011 0000000000000000 0000000000000000 0000000010000000
    0x00b021 +0x6e80:     0x35da801003464c000000000200ea0780 [0x80] 0011010111011010 1000000000010000 0000001101000110 0100110000000000 0000000000000000 0000000000000010 0000000011101010 0000011110000000
    0x00b0a1 +0x6f00:     0x400d1930000000000803d0dc01003464 [0x80] 0100000000001101 0001100100110000 0000000000000000 0000000000000000 0000100000000011 1101000011011100 0000000100000000 0011010001100100
    0x00b121 +0x6f80:     0xc00000000020068c9800000000000000 [0x80] 1100000000000000 0000000000000000 0000000000100000 0000011010001100 1001100000000000 0000000000000000 0000000000000000 0000000000000000
    0x00b1a1 +0x7000:                                    0x0 [0x100] 0…
    0x00b2a1 +0x7100:        0x166b4000000000001630000000024 [0x80] 0000000000000001 0110011010110100 0000000000000000 0000000000000000 0000000000000001 0110001100000000 0000000000000000 0000000000100100
    0x00b321 +0x7180:       0x59600000000000400d051000000000 [0x80] 0000000001011001 0110000000000000 0000000000000000 0000000000000000 0100000000001101 0000010100010000 0000000000000000 0000000000000000
    0x00b3a1 +0x7200:                           0x1000000020 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010000 0000000000000000 0000000000100000
    0x00b421 +0x7280:      0x803b99c01006de4c0002d4740000000 [0x80] 0000100000000011 1011100110011100 0000000100000000 0110110111100100 1100000000000000 0010110101000111 0100000000000000 0000000000000000
    0x00b4a1 +0x7300:         0x2d18c000000c800b483000000000 [0x80] 0000000000000000 0010110100011000 1100000000000000 0000000000001100 1000000000001011 0100100000110000 0000000000000000 0000000000000000
    0x00b521 +0x7380:      0x8015a24000167ba0000000000016c74 [0x80] 0000100000000001 0101101000100100 0000000000000001 0110011110111010 0000000000000000 0000000000000000 0000000000000001 0110110001110100
    0x00b5a1 +0x7400:                0x16b0000000070005ad000 [0x80] 0000000000000000 0000000000000000 0000000000000001 0110101100000000 0000000000000000 0000000001110000 0000000001011010 1101000000000000
    0x00b621 +0x7480:             0x400d051800000090002d1160 [0x80] 0000000000000000 0000000000000000 0100000000001101 0000010100011000 0000000000000000 0000000010010000 0000000000101101 0001000101100000
    0x00b6a1 +0x7500:           0x200000001000000120005a22c0 [0x80] 0000000000000000 0000000000100000 0000000000000000 0000000000010000 0000000000000000 0000000100100000 0000000001011010 0010001011000000
    0x00b721 +0x7580:           0x4000000000002e054000000000 [0x80] 0000000000000000 0000000001000000 0000000000000000 0000000000000000 0000000000101110 0000010101000000 0000000000000000 0000000000000000
    0x00b7a1 +0x7600:       0x2dd6c0000005c00b77b00000000008 [0x80] 0000000000101101 1101011011000000 0000000000000000 0000010111000000 0000101101110111 1011000000000000 0000000000000000 0000000000001000
    0x00b821 +0x7680:      0x1a0a200758a14000000013b17000000 [0x80] 0000000110100000 1010001000000000 0111010110001010 0001010000000000 0000000000000000 0000000100111011 0001011100000000 0000000000000000
    0x00b8a1 +0x7700:              0x1003003561800005c3c0000 [0x80] 0000000000000000 0000000000000000 0000000100000000 0011000000000011 0101011000011000 0000000000000000 0101110000111100 0000000000000000
    0x00b921 +0x7780:                      0xb87800000003000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000101110000111 1000000000000000 0000000000000000 0011000000000000
    0x00b9a1 +0x7800:              0x170f0005d97cec5c0000000 [0x80] 0000000000000000 0000000000000000 0000000101110000 1111000000000000 0101110110010111 1100111011000101 1100000000000000 0000000000000000
    0x00ba21 +0x7880:             0x480c01915b0000173e400000 [0x80] 0000000000000000 0000000000000000 0100100000001100 0000000110010001 0101101100000000 0000000000010111 0011111001000000 0000000000000000
    0x00baa1 +0x7900:                    0x2e7c8000000100000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000010 1110011111001000 0000000000000000 0000000000010000 0000000000000000
    0x00bb21 +0x7980:             0x5cf90017df6010034bd80000 [0x80] 0000000000000000 0000000000000000 0101110011111001 0000000000010111 1101111101100000 0001000000000011 0100101111011000 0000000000000000
    0x00bba1 +0x7a00:        0x4000000000200697b000000098000 [0x80] 0000000000000100 0000000000000000 0000000000000000 0000001000000000 0110100101111011 0000000000000000 0000000000001001 1000000000000000
    0x00bc21 +0x7a80:           0x400dbc10000000100000000008 [0x80] 0000000000000000 0000000001000000 0000110110111100 0001000000000000 0000000000000000 0001000000000000 0000000000000000 0000000000001000
    0x00bca1 +0x7b00:      0x1b782000000280000000001003a5ec0 [0x80] 0000000110110111 1000001000000000 0000000000000000 0010100000000000 0000000000000000 0000000000000001 0000000000111010 0101111011000000
    0x00bd21 +0x7b80:           0x800000000020074bd800000020 [0x80] 0000000000000000 0000000010000000 0000000000000000 0000000000000000 0010000000000111 0100101111011000 0000000000000000 0000000000100000
    0x00bda1 +0x7c00:            0x4ec5c000000000000000800c0 [0x80] 0000000000000000 0000000000000100 1110110001011100 0000000000000000 0000000000000000 0000000000000000 0000000000001000 0000000011000000
    0x00be21 +0x7c80:      0xd9b8000017b7c000000000000000000 [0x80] 0000110110011011 1000000000000000 0000000101111011 0111110000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00bea1 +0x7d00:       0x2f6f8000000140000000000005edf0 [0x80] 0000000000101111 0110111110000000 0000000000000000 0000000101000000 0000000000000000 0000000000000000 0000000000000101 1110110111110000
    0x00bf21 +0x7d80:      0x180eb3b170000000000000001603008 [0x80] 0000000110000000 1110101100111011 0001011100000000 0000000000000000 0000000000000000 0000000000000000 0000000101100000 0011000000001000
    0x00bfa1 +0x7e00:     0x260400005f9c00000000000000000000 [0x80] 0010011000000100 0000000000000000 0101111110011100 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00c021 +0x7e80:      0xbf380000000600000000000017e7000 [0x80] 0000101111110011 1000000000000000 0000000000000000 0110000000000000 0000000000000000 0000000000000000 0000000101111110 0111000000000000
    0x00c0a1 +0x7f00:     0x60f7cec5c000000000000000280c01eb [0x80] 0110000011110111 1100111011000101 1100000000000000 0000000000000000 0000000000000000 0000000000000000 0010100000001100 0000000111101011
    0x00c121 +0x7f80:     0x89000018164000000000000000000003 [0x80] 1000100100000000 0000000000011000 0001011001000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000011
    0x00c1a1 +0x8000:      0x2c80000001c00000000000060590019 [0x80] 0000001011001000 0000000000000000 0000000000011100 0000000000000000 0000000000000000 0000000000000000 0110000001011001 0000000000011001
    0x00c221 +0x8080:     0xab33b1700000000000000026030067cc [0x80] 1010101100110011 1011000101110000 0000000000000000 0000000000000000 0000000000000000 0000000000100110 0000001100000000 0110011111001100
    0x00c2a1 +0x8100:                                    0x1 [0x02] 01
{Thing2 0x0c2a3/0x40}:Thing2 Chain2 payload_p → {StringStore 0x02b14/0x9a8}
{StringStore 0x0c2e3/0x9b0}:StringStore x = 0x00000001 y = 0x0000012e
    @0x0c326 [0x00] =  $0x0013 »USER_OBJECTS«
    @0x0c39e [0x01] =  $0x0014 »NO_USER_OBJECTS«
    @0x0c42e [0x02] =  $0x0015 »GENERIC_PUT«
    @0x0c49e [0x03] =  $0x000e »%CLASS_PUT 5492989711016263808 112531«
    @0x0c5de [0x04] =  $0x0016 »DEFAULT_PUT«
    @0x0c64e [0x05] =  $0x0017 »GENERIC_FACT_BASE«
    @0x0c6ee [0x06] =  $0x0018 »%DEFAULT_WORKING_MEMORY_PUT 5492989711016263808 122062«
    @0x0c8b6 [0x07] =  $0x0019 »LAST_INSTANCE«
    @0x0c936 [0x08] =  $0x001a »MATCH«
    @0x0c976 [0x09] =  $0x001b »NULL_USER_OBJECT«
    @0x0ca0e [0x0a] =  $0x001c »AS_USER_OBJECT«
{R1kSegChunk 0x0cc93/0x24d3}: ===================
    0x00cc93 +0x0000:         0x1845800000000000000000000308 [0x80] 0000000000000000 0001100001000101 1000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001100001000
    0x00cd13 +0x0080:     0xb0000000200000000000006116001a0b [0x80] 1011000000000000 0000000000000000 0010000000000000 0000000000000000 0000000000000000 0000000001100001 0001011000000000 0001101000001011
    0x00cd93 +0x0100:     0xe0100449c80000000800000000020089 [0x80] 1110000000010000 0000010001001001 1100100000000000 0000000000000000 0000100000000000 0000000000000000 0000000000000010 0000000010001001
    0x00ce13 +0x0180:     0x3900000001000000000040119bb00000 [0x80] 0011100100000000 0000000000000000 0000000100000000 0000000000000000 0000000000000000 0100000000010001 1001101110110000 0000000000000000
    0x00ce93 +0x0200:       0x200000000008023376000000060000 [0x80] 0000000000100000 0000000000000000 0000000000000000 0000100000000010 0011001101110110 0000000000000000 0000000000000110 0000000000000000
    0x00cf13 +0x0280:        0x13b1700000000000000028030069a [0x80] 0000000000000001 0011101100010111 0000000000000000 0000000000000000 0000000000000000 0000000000000010 1000000000110000 0000011010011010
    0x00cf93 +0x0300:     0x5800006791000000000000000000000c [0x80] 0101100000000000 0000000001100111 1001000100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001100
    0x00d013 +0x0380:     0xf220000000900000000000019e44006a [0x80] 1111001000100000 0000000000000000 0000000010010000 0000000000000000 0000000000000000 0000000000000001 1001111001000100 0000000001101010
    0x00d093 +0x0400:      0xc800000000000000000006d20000000 [0x80] 0000110010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000001101101 0010000000000000 0000000000000000
    0x00d113 +0x0480:                                   0x69 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000001101001
    0x00d193 +0x0500:     0x3b000000000000000000000000000068 [0x80] 0011101100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000001101000
    0x00d213 +0x0580:     0x4e00000017801a3b8000000000100942 [0x80] 0100111000000000 0000000000000000 0001011110000000 0001101000111011 1000000000000000 0000000000000000 0000000000010000 0000100101000010
    0x00d293 +0x0600:     0x6c06024612000000004ec5c000000000 [0x80] 0110110000000110 0000001001000110 0001001000000000 0000000000000000 0000000001001110 1100010111000000 0000000000000000 0000000000000000
    0x00d313 +0x0680:           0xa80c0293e200001a5b80000000 [0x80] 0000000000000000 0000000010101000 0000110000000010 1001001111100010 0000000000000000 0001101001011011 1000000000000000 0000000000000000
    0x00d393 +0x0700:                  0x34b7000000028000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000001101001011 0111000000000000 0000000000000000 0010100000000000 0000000000000000
    0x00d413 +0x0780:           0x696e001b27a01009426c000000 [0x80] 0000000000000000 0000000001101001 0110111000000000 0001101100100111 1010000000010000 0000100101000010 0110110000000000 0000000000000000
    0x00d493 +0x0800:      0x8000000000201284d80000001000000 [0x80] 0000100000000000 0000000000000000 0000000000000010 0000000100101000 0100110110000000 0000000000000000 0000000100000000 0000000000000000
    0x00d513 +0x0880:            0x8c83000000020000bcf800001 [0x80] 0000000000000000 0000000000001000 1100100000110000 0000000000000000 0000000000100000 0000000000001011 1100111110000000 0000000000000001
    0x00d593 +0x0900:     0x19060000000600017ab73b1700000000 [0x80] 0001100100000110 0000000000000000 0000000000000110 0000000000000001 0111101010110111 0011101100010111 0000000000000000 0000000000000000
    0x00d613 +0x0980:            0x1c01006de4c00000000000000 [0x80] 0000000000000000 0000000000000001 1100000000010000 0000011011011110 0100110000000000 0000000000000000 0000000000000000 0000000000000000
    0x00d693 +0x0a00:                          0x360cc000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001101100000 1100110000000000 0000000000000000
    0x00d713 +0x0a80:          0x37e740000000000000000000000 [0x80] 0000000000000000 0000001101111110 0111010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00d793 +0x0b00:                  0x359640000007000d799 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000001101011001 0110010000000000 0000000000000000 0111000000000000 1101011110011001
    0x00d813 +0x0b80:                 0x1abc50000000000001ab [0x80] 0000000000000000 0000000000000000 0000000000000000 0001101010111100 0101000000000000 0000000000000000 0000000000000000 0000000110101011
    0x00d893 +0x0c00:     0xc4000000000000000000003578800000 [0x80] 1100010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000110101 0111100010000000 0000000000000000
    0x00d913 +0x0c80:      0x2c0000000000006af1001b7c6010070 [0x80] 0000001011000000 0000000000000000 0000000000000000 0000000000000110 1010111100010000 0000000110110111 1100011000000001 0000000001110000
    0x00d993 +0x0d00:     0x6d0000000080002e3bc0200e0da00000 [0x80] 0110110100000000 0000000000000000 0000000010000000 0000000000101110 0011101111000000 0010000000001110 0000110110100000 0000000000000000
    0x00da13 +0x0d80:       0x380005ca900402674801804dfae000 [0x80] 0000000000111000 0000000000000101 1100101010010000 0000010000000010 0110011101001000 0000000110000000 0100110111111010 1110000000000000
    0x00da93 +0x0e00:         0x13b170000000000000002c03009b [0x80] 0000000000000000 0001001110110001 0111000000000000 0000000000000000 0000000000000000 0000000000000000 0010110000000011 0000000010011011
    0x00db13 +0x0e80:     0xf5c00006d530000000000005f1a80000 [0x80] 1111010111000000 0000000000000110 1101010100110000 0000000000000000 0000000000000000 0000000000000101 1111000110101000 0000000000000000
    0x00db93 +0x0f00:     0xdaa60000000c0000be9800001b54c006 [0x80] 1101101010100110 0000000000000000 0000000000001100 0000000000000000 1011111010011000 0000000000000000 0001101101010100 1100000000000110
    0x00dc13 +0x0f80:     0xf7480402674800000002000000000080 [0x80] 1111011101001000 0000010000000010 0110011101001000 0000000000000000 0000000000000010 0000000000000000 0000000000000000 0000000010000000
    0x00dc93 +0x1000:     0x4ce900000000400000000000028fd400 [0x80] 0100110011101001 0000000000000000 0000000000000000 0100000000000000 0000000000000000 0000000000000000 0000001010001111 1101010000000000
    0x00dd13 +0x1080:          0x800000000000051fa8000000180 [0x80] 0000000000000000 0000100000000000 0000000000000000 0000000000000000 0000000001010001 1111101010000000 0000000000000000 0000000110000000
    0x00dd93 +0x1100:           0x4ec5c000000000000000b80c00 [0x80] 0000000000000000 0000000001001110 1100010111000000 0000000000000000 0000000000000000 0000000000000000 0000000010111000 0000110000000000
    0x00de13 +0x1180:     0xd30f00001bb580000000000000000000 [0x80] 1101001100001111 0000000000000000 0001101110110101 1000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00de93 +0x1200:      0x376b0000000340000000000006ed600 [0x80] 0000001101110110 1011000000000000 0000000000000000 0011010000000000 0000000000000000 0000000000000000 0000000001101110 1101011000000000
    0x00df13 +0x1280:     0x1c14f3b1700000000000000030010077 [0x80] 0001110000010100 1111001110110001 0111000000000000 0000000000000000 0000000000000000 0000000000000000 0011000000000001 0000000001110111
    0x00df93 +0x1300:     0x33800006f9340000000000006f930000 [0x80] 0011001110000000 0000000000000110 1111100100110100 0000000000000000 0000000000000000 0000000000000000 0110111110010011 0000000000000000
    0x00e013 +0x1380:             0x67cc80000df260000000e000 [0x80] 0000000000000000 0000000000000000 0110011111001100 1000000000000000 0000110111110010 0110000000000000 0000000000000000 1110000000000000
    0x00e093 +0x1400:      0xcffc00001be4c0071d68040121bd000 [0x80] 0000110011111111 1100000000000000 0000000110111110 0100110000000000 0111000111010110 1000000001000000 0001001000011011 1101000000000000
    0x00e113 +0x1480:         0x30000dce600802437a0000000400 [0x80] 0000000000000000 0011000000000000 0000110111001110 0110000000001000 0000001001000011 0111101000000000 0000000000000000 0000010000000000
    0x00e193 +0x1500:      0x1ba9201004957c0000000c000000000 [0x80] 0000000110111010 1001001000000001 0000000001001001 0101011111000000 0000000000000000 0000000011000000 0000000000000000 0000000000000000
    0x00e213 +0x1580:     0x20092af80000001800000004ec5c0000 [0x80] 0010000000001001 0010101011111000 0000000000000000 0000000000011000 0000000000000000 0000000000000100 1110110001011100 0000000000000000
    0x00e293 +0x1600:                0xc80c01f35400001c4e000 [0x80] 0000000000000000 0000000000000000 0000000000001100 1000000011000000 0001111100110101 0100000000000000 0000000111000100 1110000000000000
    0x00e313 +0x1680:                       0x389c00000003c0 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000111000 1001110000000000 0000000000000000 0000001111000000
    0x00e393 +0x1700:                0x7138001cbda01005c7000 [0x80] 0000000000000000 0000000000000000 0000000000000111 0001001110000000 0000000111001011 1101101000000001 0000000001011100 0111000000000000
    0x00e413 +0x1780:           0xc000000000200b8e0000000030 [0x80] 0000000000000000 0000000011000000 0000000000000000 0000000000000000 0010000000001011 1000111000000000 0000000000000000 0000000000110000
    0x00e493 +0x1800:            0x4ec5c000000000000000d00c0 [0x80] 0000000000000000 0000000000000100 1110110001011100 0000000000000000 0000000000000000 0000000000000000 0000000000001101 0000000011000000
    0x00e513 +0x1880:     0x21e1f00001c96000000000000139c000 [0x80] 0010000111100001 1111000000000000 0000000111001001 0110000000000000 0000000000000000 0000000000000000 0000000100111001 1100000000000000
    0x00e593 +0x1900:       0x392c0000000400002750c000072580 [0x80] 0000000000111001 0010110000000000 0000000000000000 0000010000000000 0000000000100111 0101000011000000 0000000000000111 0010010110000000
    0x00e613 +0x1980:      0x1cecf3b170000000000000003603006 [0x80] 0000000111001110 1100111100111011 0001011100000000 0000000000000000 0000000000000000 0000000000000000 0000001101100000 0011000000000110
    0x00e693 +0x1a00:     0x6f040000731500000000000000000000 [0x80] 0110111100000100 0000000000000000 0111001100010101 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00e713 +0x1a80:      0xe62a000000110000000000001cc5400 [0x80] 0000111001100010 1010000000000000 0000000000000001 0001000000000000 0000000000000000 0000000000000000 0000000111001100 0101010000000000
    0x00e793 +0x1b00:     0x74d38040148300000000300009f89008 [0x80] 0111010011010011 1000000001000000 0001010010000011 0000000000000000 0000000000000000 0011000000000000 0000100111111000 1001000000001000
    0x00e813 +0x1b80:      0x290600000000c00013fd93b17000000 [0x80] 0000001010010000 0110000000000000 0000000000000000 0000110000000000 0000000100111111 1101100100111011 0001011100000000 0000000000000000
    0x00e893 +0x1c00:              0x380300739d4000074350000 [0x80] 0000000000000000 0000000000000000 0000001110000000 0011000000000111 0011100111010100 0000000000000000 0111010000110101 0000000000000000
    0x00e913 +0x1c80:                      0xe86a00000012000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000111010000110 1010000000000000 0000000000000001 0010000000000000
    0x00e993 +0x1d00:              0x1d0d4000000000000018000 [0x80] 0000000000000000 0000000000000000 0000000111010000 1101010000000000 0000000000000000 0000000000000000 0000000000000001 1000000000000000
    0x00ea13 +0x1d80:        0x87fff800000000000000000000000 [0x80] 0000000000001000 0111111111111111 1000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00ea93 +0x1e00:                                    0x0 [0x80] 0…
    0x00eb13 +0x1e80:                         0x760700000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0111011000000111 0000000000000000 0000000000000000
    0x00eb93 +0x1f00:         0x751a00000019801d6e8000000000 [0x80] 0000000000000000 0111010100011010 0000000000000000 0000000000011001 1000000000011101 0110111010000000 0000000000000000 0000000000000000
    0x00ec13 +0x1f80:     0x100341440003a7900000000000000000 [0x80] 0001000000000011 0100000101000100 0000000000000011 1010011110010000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00ec93 +0x2000:                                    0x0 [0x100] 0…
    0x00ed93 +0x2100:        0x3b92c000000000003b1c400000068 [0x80] 0000000000000011 1011100100101100 0000000000000000 0000000000000000 0000000000000011 1011000111000100 0000000000000000 0000000001101000
    0x00ee13 +0x2180:       0xedb10000000000801a0a2000000000 [0x80] 0000000011101101 1011000100000000 0000000000000000 0000000000000000 1000000000011010 0000101000100000 0000000000000000 0000000000000000
    0x00ee93 +0x2200:       0x1736a0000000000000002000000120 [0x80] 0000000000010111 0011011010100000 0000000000000000 0000000000000000 0000000000000000 0000000000100000 0000000000000000 0000000100100000
    0x00ef13 +0x2280:     0x30119f740200682880c046aa301808dc [0x80] 0011000000010001 1001111101110100 0000001000000000 0110100000101000 1000000011000000 0100011010101010 0011000000011000 0000100011011100
    0x00ef93 +0x2300:     0x8c03011da6c06023fc080c0489c50180 [0x80] 1000110000000011 0000000100011101 1010011011000000 0110000000100011 1111110000001000 0000110000000100 1000100111000101 0000000110000000
    0x00f013 +0x2380:     0x945580100466ec0003c40c0000000000 [0x80] 1001010001010101 1000000000010000 0000010001100110 1110110000000000 0000001111000100 0000110000000000 0000000000000000 0000000000000000
    0x00f093 +0x2400:      0x3c124000000c400f069000000000080 [0x80] 0000001111000001 0010010000000000 0000000000000000 1100010000000000 1111000001101001 0000000000000000 0000000000000000 0000000010000000
    0x00f113 +0x2480:                 0xd0510000eece00000000 [0x53] 0001101000001010 0010000000000000 0001110111011001 1100000000000000 0000000000000000 000