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

⟦ea1a71306⟧

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

Derivation

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

Dot plot

Dot(1) source file

Segmented Heap

{HeapHead 0x00000/0x80}:SegHeapHead first_free_bit = 0x0000f3e6 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 = 0x00049639 [0000000000001001001011000111001]
    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 = 0x0001665c [000000000000010110011001011100]
    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/0x83cf} [00000000000000000100000110100001]
    0x0002ea [0x17] +0x026a:
    0x00030a [0x18] +0x028a: hv2_28a_n = 0x00100127bdb42c0108340127b6942d27b5e42d27 [0000000000010000000000010010011110111101101101000010110000000001000010000011010000000001001001111011011010010100001011010010011110110101111001000010110100100111]

{R1kSegChunk 0x003aa/0x1f70}: ===================
    0x0003aa +0x0000:     0xb9242d27b0642d27bd142c0000000000 [0x80] 1011100100100100 0010110100100111 1011000001100100 0010110100100111 1011110100010100 0010110000000000 0000000000000000 0000000000000000
    0x00042a +0x0080:                                    0x0 [0x1e80] 0…
    0x0022aa +0x1f00:                           0x1000000000 [0x70] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010000 0000000000000000 0000000000000000
{Thing1 0x0231a/0x10c}:Thing1
    0x00231a [0x00] +0x0000: t1_00_n = 0xfffffff1005a006400ab300148c [111111111111111111111111111100010000000001011010000000000110010000000000101010110011000000000001010010001100]
    0x002386 [0x01] +0x006c: t1_c1_head_p → {StringIndex 0x02426/0x6ee} [00000000000000000010010000100110]
    0x0023a6 [0x02] +0x008c: t1_c2_last_p → {StringStore 0x0c5b0/0x9b0} [00000000000000001100010110110000]
    0x0023c6 [0x03] +0x00ac: t1_array1_p → {StringIndex 0x02426/0x6ee} [00000000000000000010010000100110]
    0x0023e6 [0x04] +0x00cc: t1_c2_tail_p → {Thing2 0x0c570/0x40} [00000000000000001100010101110000]
    0x002406 [0x05] +0x00ec: [00000000000000000000000000000000]

{StringIndex 0x02426/0x6ee}:StringIndex x = 0x00000001 y = 0x0000002d
  [$0x0001]  0x00748 000 »*POLY_DEBUG_INFO1240518324«
  [$0x0002]  0x00ff8 013 »COUNT«
  [$0x0003]  0x00a28 000 »INFERE«
  [$0x0004]  0x0a348 000 »FACT_COLLECTION«
  [$0x0005]  0x00d60 000 »PUT«
  [$0x0006]  0x00918 014 »CODE_SEGMENT_ARRAY«
  [$0x0007]  0x00fa0 000 »NEW_LINE«
  [$0x0008]  0x0a3d8 000 »«
  [$0x000a]  0x00b00 010 »%PLAY_WITH_BALLS_BOXES_AND_ROBOTS 5327596778214654080 89973«
  [$0x000c]  0x00a70 012 »COMP_UNIT_INDEX«
  [$0x000d]  0x009c0 011 »Dummy_Skin«
  [$0x000e]  0x00830 015 »*POLY_DEBUG_INFO1240520511«
  [$0x000f]  0x0a3f0 000 »BBR_DO_ACTION«
  [$0x0010]  0x00cf0 017 »GENERIC_PUT«
  [$0x0011]  0x00d90 016 »%PUT_WORKING_MEMORY 5327596778214654080 92160«
  [$0x0012]  0x00f10 000 »STANDARD_OUTPUT«
  [$0x0013]  0x01038 000 »SLOTS«
  [$0x0014]  0x0a1e8 000 »ADD«
  [$0x0015]  0x0a218 000 »FOR_RULE«
  [$0x0016]  0x0a270 018 »KBS«
  [$0x0017]  0x0a2a0 000 »RULE_ID«
  [$0x0018]  0x0a2f0 000 »ON_FACTS«
{StringStore 0x02b14/0x9a8}:StringStore x = 0x00000001 y = 0x0000012d
    @0x02b56 [0x00] =  $0x0001 »*POLY_DEBUG_INFO1240518324«
    @0x02c3e [0x01] =  $0x000e »*POLY_DEBUG_INFO1240520511«
    @0x02d26 [0x02] =  $0x0006 »CODE_SEGMENT_ARRAY«
    @0x02dce [0x03] =  $0x000d »Dummy_Skin«
    @0x02e36 [0x04] =  $0x0003 »INFERE«
    @0x02e7e [0x05] =  $0x000c »COMP_UNIT_INDEX«
    @0x02f0e [0x06] =  $0x000a »%PLAY_WITH_BALLS_BOXES_AND_ROBOTS 5327596778214654080 89973«
    @0x030fe [0x07] =  $0x0010 »GENERIC_PUT«
    @0x0316e [0x08] =  $0x0005 »PUT«
    @0x0319e [0x09] =  $0x0011 »%PUT_WORKING_MEMORY 5327596778214654080 92160«
    @0x0331e [0x0a] =  $0x0012 »STANDARD_OUTPUT«
    @0x033ae [0x0b] =  $0x0007 »NEW_LINE«
    @0x03406 [0x0c] =  $0x0002 »COUNT«
    @0x03446 [0x0d] =  $0x0013 »SLOTS«
{DianaSkeleton 0x034bc/0x2b}:diana_13eab d_13eab_type = 0x13eab
{R1kSegChunk 0x034e7/0x3a}: ===================
    0x0034e7 +0x0000:                                    0x0 [0x3a] 0…
{R1kSegChunk 0x03521/0xc80}: ===================
    0x003521 +0x0000:                 0x86f10000946e00000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 1000011011110001 0000000000000000 1001010001101110 0000000000000000 0000000000000000
    0x0035a1 +0x0080:                                    0x0 [0x80] 0…
    0x003621 +0x0100:                                 0x4ac9 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0100101011001001
    0x0036a1 +0x0180:                 0x4d060000773400006977 [0x80] 0000000000000000 0000000000000000 0000000000000000 0100110100000110 0000000000000000 0111011100110100 0000000000000000 0110100101110111
    0x003721 +0x0200:         0x5a83000000000000a25800000000 [0x80] 0000000000000000 0101101010000011 0000000000000000 0000000000000000 0000000000000000 1010001001011000 0000000000000000 0000000000000000
    0x0037a1 +0x0280:                                 0xa713 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1010011100010011
    0x003821 +0x0300:                         0xf19f00000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1111000110011111 0000000000000000 0000000000000000
    0x0038a1 +0x0380:         0xa9c7000046980000000000000000 [0x80] 0000000000000000 1010100111000111 0000000000000000 0100011010011000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x003921 +0x0400:                                    0x0 [0x180] 0…
    0x003aa1 +0x0580:                                 0xb5d3 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1011010111010011
    0x003b21 +0x0600:                 0xf3a80000a41b0000ef62 [0x80] 0000000000000000 0000000000000000 0000000000000000 1111001110101000 0000000000000000 1010010000011011 0000000000000000 1110111101100010
    0x003ba1 +0x0680:         0x42210000433e0000445b00000000 [0x80] 0000000000000000 0100001000100001 0000000000000000 0100001100111110 0000000000000000 0100010001011011 0000000000000000 0000000000000000
    0x003c21 +0x0700:         0xa538000000000000000000000000 [0x80] 0000000000000000 1010010100111000 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/0x83cf}: ===================
    0x0041a1 +0x0000:         0xa6340000427b00000000000041c1 [0x80] 0000000000000000 1010011000110100 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 [0x80] 0…
    0x0045a1 +0x0400:               0x8de4000000000000000000 [0x80] 0000000000000000 0000000000000000 0000000010001101 1110010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x004621 +0x0480:                               0x8a3000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000010001010 0011000000000000
    0x0046a1 +0x0500:         0x3a00232c0000000000400dc37000 [0x80] 0000000000000000 0011101000000000 0010001100101100 0000000000000000 0000000000000000 0000000001000000 0000110111000011 0111000000000000
    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:          0x2006e1b80000fa0000000000040 [0x80] 0000000000000000 0000001000000000 0110111000011011 1000000000000000 0000111110100000 0000000000000000 0000000000000000 0000000001000000
    0x0048a1 +0x0700:      0xdb93000000002006f86000b73a00000 [0x80] 0000110110111001 0011000000000000 0000000000000000 0000001000000000 0110111110000110 0000000000001011 0111001110100000 0000000000000000
    0x004921 +0x0780:                   0x9a7400000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000010011010 0111010000000000 0000000000000000 0000000000000000 0000000000000000
    0x0049a1 +0x0800:           0x784e00004b230000e7d4000095 [0x80] 0000000000000000 0000000001111000 0100111000000000 0000000001001011 0010001100000000 0000000011100111 1101010000000000 0000000010010101
    0x004a21 +0x0880:     0xf100009de30000000000000000000000 [0x80] 1111000100000000 0000000010011101 1110001100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x004aa1 +0x0900:           0x49490000000b0012a240000000 [0x80] 0000000000000000 0000000001001001 0100100100000000 0000000000000000 0000101100000000 0001001010100010 0100000000000000 0000000000000000
    0x004b21 +0x0980:       0x2006fd8000000000000000000004d6 [0x80] 0000000000100000 0000011011111101 1000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000010011010110
    0x004ba1 +0x0a00:     0xb800000000000000000003c58800026b [0x80] 1011100000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001111000101 1000100000000000 0000001001101011
    0x004c21 +0x0a80:          0x741b80004b2a00004f230000000 [0x80] 0000000000000000 0000011101000001 1011100000000000 0000010010110010 1010000000000000 0000010011110010 0011000000000000 0000000000000000
    0x004ca1 +0x0b00:                          0x25c30000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001001011100 0011000000000000 0000000000000000
    0x004d21 +0x0b80:     0x6800998c00000000010037ec00000000 [0x80] 0110100000000000 1001100110001100 0000000000000000 0000000000000000 0000000100000000 0011011111101100 0000000000000000 0000000000000000
    0x004da1 +0x0c00:                                    0x0 [0x380] 0…
    0x005121 +0x0f80:                 0x16b74000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0001011010110111 0100000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0051a1 +0x1000:                                    0x0 [0x80] 0…
    0x005221 +0x1080:                 0x27b98000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0010011110111001 1000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0052a1 +0x1100:                                    0x0 [0x780] 0…
    0x005a21 +0x1880:                         0x1370c0000004 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001001101110000 1100000000000000 0000000000000100
    0x005aa1 +0x1900:        0x5a430000000000801c3c800000000 [0x80] 0000000000000101 1010010000110000 0000000000000000 0000000000000000 0000100000000001 1100001111001000 0000000000000000 0000000000000000
    0x005b21 +0x1980:                      0x100387900000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000100000000 0011100001111001 0000000000000000 0000000000000000
    0x005ba1 +0x1a00:      0x802bda2004b7a00401b64e001a8de5a [0x80] 0000100000000010 1011110110100010 0000000001001011 0111101000000000 0100000000011011 0110010011100000 0000000110101000 1101111001011010
    0x005c21 +0x1a80:     0x60000000000000000040400610f80000 [0x80] 0110000000000000 0000000000000000 0000000000000000 0000000000000000 0000000001000000 0100000000000110 0001000011111000 0000000000000000
    0x005ca1 +0x1b00:              0x27da4000000000000000000 [0x80] 0000000000000000 0000000000000000 0000001001111101 1010010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005d21 +0x1b80:                                    0x0 [0x80] 0…
    0x005da1 +0x1c00:                      0x27f3c0000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001001111111 0011110000000000 0000000000000000 0000000000000000
    0x005e21 +0x1c80:                                    0x0 [0x400] 0…
    0x006221 +0x2080:      0x26ce800000000000000000000000000 [0x80] 0000001001101100 1110100000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0062a1 +0x2100:              0x38ea4000000000000000000 [0x80] 0000000000000000 0000000000000000 0000001110001110 1010010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006321 +0x2180:                                    0x0 [0x180] 0…
    0x0064a1 +0x2300:      0x1e45000000000000000000002603800 [0x80] 0000000111100100 0101000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001001100000 0011100000000000
    0x006521 +0x2380:              0x393b8000000000000000000 [0x80] 0000000000000000 0000000000000000 0000001110010011 1011100000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0065a1 +0x2400:              0x3aec0000000000000000000 [0x80] 0000000000000000 0000000000000000 0000001110101110 1100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006621 +0x2480:      0x1a744000000000000000000038a8400 [0x80] 0000000110100111 0100010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001110001010 1000010000000000
    0x0066a1 +0x2500:                                    0x0 [0x200] 0…
    0x0068a1 +0x2700:              0x280d4000000000000000000 [0x80] 0000000000000000 0000000000000000 0000001010000000 1101010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006921 +0x2780:                      0x172dc0000003c00 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000101110010 1101110000000000 0000000000000000 0011110000000000
    0x0069a1 +0x2800:     0x69370000000000000b82e0100586a400 [0x80] 0110100100110111 0000000000000000 0000000000000000 0000000000000000 0000101110000010 1110000000010000 0000010110000110 1010010000000000
    0x006a21 +0x2880:               0x2e0b800000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000101110 0000101110000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006aa1 +0x2900:                                    0x0 [0x700] 0…
    0x0071a1 +0x3000:                             0x13162000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001001100010110 0010000000000000
    0x007221 +0x3080:                                    0x0 [0x180] 0…
    0x0073a1 +0x3200:      0xef1c000000000000000000000000000 [0x80] 0000111011110001 1100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x007421 +0x3280:                                    0x0 [0x300] 0…
    0x007721 +0x3580:      0xd4e80000001c003b7a0000000000401 [0x80] 0000110101001110 1000000000000000 0000000000000001 1100000000000011 1011011110100000 0000000000000000 0000000000000000 0000010000000001
    0x0077a1 +0x3600:     0x5f750000000000005bda000000000000 [0x80] 0101111101110101 0000000000000000 0000000000000000 0000000000000000 0101101111011010 0000000000000000 0000000000000000 0000000000000000
    0x007821 +0x3680:                  0x4015f75000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000010000000001 0101111101110101 0000000000000000 0000000000000000 0000000000000000
    0x0078a1 +0x3700:           0x802beea0000000000000000010 [0x80] 0000000000000000 0000000010000000 0010101111101110 1010000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010000
    0x007921 +0x3780:      0x7012c0200b0d4800000000000000000 [0x80] 0000011100000001 0010110000000010 0000000010110000 1101010010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0079a1 +0x3800:      0x1e6dc0200dc25800f3e801006eb2000 [0x80] 0000000111100110 1101110000000010 0000000011011100 0010010110000000 0000111100111110 1000000000010000 0000011011101011 0010000000000000
    0x007a21 +0x3880:                                    0x0 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x007aa1 +0x3900:     0xd3ce00000000000000000000af4b0000 [0x80] 1101001111001110 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1010111101001011 0000000000000000
    0x007b21 +0x3980:                                    0x0 [0x100] 0…
    0x007c21 +0x3a80:     0xbec2000000000000b884000000000000 [0x80] 1011111011000010 0000000000000000 0000000000000000 0000000000000000 1011100010000100 0000000000000000 0000000000000000 0000000000000000
    0x007ca1 +0x3b00:                                    0x0 [0x80] 0…
    0x007d21 +0x3b80:                     0xd254000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1101001001010100 0000000000000000 0000000000000000 0000000000000000
    0x007da1 +0x3c00:                                    0x0 [0x100] 0…
    0x007ea1 +0x3d00:                     0xbd480000ec8d0000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1011110101001000 0000000000000000 1110110010001101 0000000000000000
    0x007f21 +0x3d80:     0xb70a0000000000000000000000000000 [0x80] 1011011100001010 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x007fa1 +0x3e00:                             0x9c570000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1001110001010111 0000000000000000
    0x008021 +0x3e80:     0xd0da0000e64800000000000000000000 [0x80] 1101000011011010 0000000000000000 1110011001001000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0080a1 +0x3f00:             0x952b00000000000000000000 [0x80] 0000000000000000 0000000000000000 1001010100101011 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x008121 +0x3f80:                                    0x0 [0x80] 0…
    0x0081a1 +0x4000:             0xaa6500000000000000000000 [0x80] 0000000000000000 0000000000000000 1010101001100101 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x008221 +0x4080:     0x99ae0000ab68000000000000ba4d0000 [0x80] 1001100110101110 0000000000000000 1010101101101000 0000000000000000 0000000000000000 0000000000000000 1011101001001101 0000000000000000
    0x0082a1 +0x4100:             0xe70e0000c27c000000000000 [0x80] 0000000000000000 0000000000000000 1110011100001110 0000000000000000 1100001001111100 0000000000000000 0000000000000000 0000000000000000
    0x008321 +0x4180:     0xb1920000000000000000000000000000 [0x80] 1011000110010010 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0083a1 +0x4200:     0xb01100000000000000000000ad0b0000 [0x80] 1011000000010001 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1010110100001011 0000000000000000
    0x008421 +0x4280:                     0xd548000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1101010101001000 0000000000000000 0000000000000000 0000000000000000
    0x0084a1 +0x4300:                                    0x0 [0x100] 0…
    0x0085a1 +0x4400:     0xbbce0000c13f0000c03c000000000000 [0x80] 1011101111001110 0000000000000000 1100000100111111 0000000000000000 1100000000111100 0000000000000000 0000000000000000 0000000000000000
    0x008621 +0x4480:                     0xae48000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1010111001001000 0000000000000000 0000000000000000 0000000000000000
    0x0086a1 +0x4500:                     0x7a31000000010021 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0111101000110001 0000000000000000 0000000000000001 0000000000100001
    0x008721 +0x4580:     0xac4000000000200dc258000000100000 [0x80] 1010110001000000 0000000000000000 0000000000000000 0010000000001101 1100001001011000 0000000000000000 0000000000010000 0000000000000000
    0x0087a1 +0x4600:                                    0x6 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000110
    0x008821 +0x4680:     0xa188000000000000000000057d700000 [0x80] 1010000110001000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000101 0111110101110000 0000000000000000
    0x0088a1 +0x4700:                                    0x0 [0x80] 0…
    0x008921 +0x4780:                                    0x5 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000101
    0x0089a1 +0x4800:     0xf928000000000005c738000000000000 [0x80] 1111100100101000 0000000000000000 0000000000000000 0000000000000101 1100011100111000 0000000000000000 0000000000000000 0000000000000000
    0x008a21 +0x4880:                                    0x0 [0x80] 0…
    0x008aa1 +0x4900:                    0x695b8000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000110 1001010110111000 0000000000000000 0000000000000000 0000000000000000
    0x008b21 +0x4980:                                    0x0 [0x100] 0…
    0x008c21 +0x4a80:                    0x5ed58000767800005 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000101 1110110101011000 0000000000000111 0110011110000000 0000000000000101
    0x008ca1 +0x4b00:     0xbb680000000000000000000000000000 [0x80] 1011101101101000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x008d21 +0x4b80:                            0x4e5d00006 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000100 1110010111010000 0000000000000110
    0x008da1 +0x4c00:     0x89e80007355800000000000000000000 [0x80] 1000100111101000 0000000000000111 0011010101011000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x008e21 +0x4c80:            0x4ac7000000000000000000000 [0x80] 0000000000000000 0000000000000100 1010110001110000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x008ea1 +0x4d00:                                    0x0 [0x80] 0…
    0x008f21 +0x4d80:            0x5564000000000000000000004 [0x80] 0000000000000000 0000000000000101 0101011001000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000100
    0x008fa1 +0x4e00:     0xd08800055e58000000000005d5800000 [0x80] 1101000010001000 0000000000000101 0101111001011000 0000000000000000 0000000000000000 0000000000000101 1101010110000000 0000000000000000
    0x009021 +0x4e80:            0x73b88000616f8000000000005 [0x80] 0000000000000000 0000000000000111 0011101110001000 0000000000000110 0001011011111000 0000000000000000 0000000000000000 0000000000000101
    0x0090a1 +0x4f00:     0x8fa80000000000000000000000000005 [0x80] 1000111110101000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000101
    0x009121 +0x4f80:     0x83a0000000000000000000056b700000 [0x80] 1000001110100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000101 0110101101110000 0000000000000000
    0x0091a1 +0x5000:                    0x6ad58000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000110 1010110101011000 0000000000000000 0000000000000000 0000000000000000
    0x009221 +0x5080:                                    0x0 [0x80] 0…
    0x0092a1 +0x5100:                                    0x5 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000101
    0x009321 +0x5180:     0xe18800060d10000604f8000000000000 [0x80] 1110000110001000 0000000000000110 0000110100010000 0000000000000110 0000010011111000 0000000000000000 0000000000000000 0000000000000000
    0x0093a1 +0x5200:                    0x57558000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000101 0111010101011000 0000000000000000 0000000000000000 0000000000000000
    0x009421 +0x5280:                    0x43d70000000100128 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000100 0011110101110000 0000000000000000 0000000000010000 0000000100101000
    0x0094a1 +0x5300:     0x5c0000000001006e12ffffffffc00000 [0x80] 0101110000000000 0000000000000000 0000000000000001 0000000001101110 0001001011111111 1111111111111111 1111111111000000 0000000000000000
    0x009521 +0x5380:         0x200dd64000000010000000000401 [0x80] 0000000000000000 0010000000001101 1101011001000000 0000000000000000 0000000000010000 0000000000000000 0000000000000000 0000010000000001
    0x0095a1 +0x5400:     0xbac8fffffffe00000000008036c9c000 [0x80] 1011101011001000 1111111111111111 1111111111111110 0000000000000000 0000000000000000 0000000010000000 0011011011001001 1100000000000000
    0x009621 +0x5480:         0x40000000001006d9380000000000 [0x80] 0000000000000000 0100000000000000 0000000000000000 0000000000010000 0000011011011001 0011100000000000 0000000000000000 0000000000000000
    0x0096a1 +0x5500:            0x200afba8000000010059d7000 [0x80] 0000000000000000 0000000000000010 0000000010101111 1011101010000000 0000000000000000 0000000000010000 0000010110011101 0111000000000000
    0x009721 +0x5580:           0x80390ca004c3a4b4c000000000 [0x80] 0000000000000000 0000000010000000 0011100100001100 1010000000000100 1100001110100100 1011010011000000 0000000000000000 0000000000000000
    0x0097a1 +0x5600:            0x700800c21f000000000000000 [0x80] 0000000000000000 0000000000000111 0000000010000000 0000110000100001 1111000000000000 0000000000000000 0000000000000000 0000000000000000
    0x009821 +0x5680:     0x976e00802d46800000000000025db800 [0x80] 1001011101101110 0000000010000000 0010110101000110 1000000000000000 0000000000000000 0000000000000000 0000001001011101 1011100000000000
    0x0098a1 +0x5700:           0x802d0000000000000012e62000 [0x80] 0000000000000000 0000000010000000 0010110100000000 0000000000000000 0000000000000000 0000000000000000 0001001011100110 0010000000000000
    0x009921 +0x5780:                     0x997100803847e000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1001100101110001 0000000010000000 0011100001000111 1110000000000000
    0x0099a1 +0x5800:          0x401c23f00000003000000000080 [0x80] 0000000000000000 0000010000000001 1100001000111111 0000000000000000 0000000000000011 0000000000000000 0000000000000000 0000000010000000
    0x009a21 +0x5880:     0x3847ffffffffa0000000001005a00000 [0x80] 0011100001000111 1111111111111111 1111111111111111 1010000000000000 0000000000000000 0000000000010000 0000010110100000 0000000000000000
    0x009aa1 +0x5900:          0x4000000000200b4000000000000 [0x80] 0000000000000000 0000010000000000 0000000000000000 0000000000000010 0000000010110100 0000000000000000 0000000000000000 0000000000000000
    0x009b21 +0x5980:             0x401d5b300802d46800000000 [0x80] 0000000000000000 0000000000000000 0100000000011101 0101101100110000 0000100000000010 1101010001101000 0000000000000000 0000000000000000
    0x009ba1 +0x5a00:                0x9bdd0080394c4004e0d00 [0x80] 0000000000000000 0000000000000000 0000000000001001 1011110111010000 0000100000000011 1001010011000100 0000000001001110 0000110100000000
    0x009c21 +0x5a80:     0x401cdfa00000000200e5310000000100 [0x80] 0100000000011100 1101111110100000 0000000000000000 0000000000000010 0000000011100101 0011000100000000 0000000000000000 0000000100000000
    0x009ca1 +0x5b00:             0x401ca62ffffffff000000000 [0x80] 0000000000000000 0000000000000000 0100000000011100 1010011000101111 1111111111111111 1111111111110000 0000000000000000 0000000000000000
    0x009d21 +0x5b80:      0x8039bf400000004000000000100737e [0x80] 0000100000000011 1001101111110100 0000000000000000 0000000000000100 0000000000000000 0000000000000000 0000000100000000 0111001101111110
    0x009da1 +0x5c00:     0xbfffffff8000000000200e4328000000 [0x80] 1011111111111111 1111111111111111 1000000000000000 0000000000000000 0000000000100000 0000111001000011 0010100000000000 0000000000000000
    0x009e21 +0x5c80:     0x10000000000401c86500000000000000 [0x80] 0001000000000000 0000000000000000 0000000000000100 0000000111001000 0110010100000000 0000000000000000 0000000000000000 0000000000000000
    0x009ea1 +0x5d00:         0x802d000004b5b80400de68000000 [0x80] 0000000000000000 1000000000101101 0000000000000000 0000010010110101 1011100000000100 0000000011011110 0110100000000000 0000000000000000
    0x009f21 +0x5d80:           0x48cf0000000000801be1801003 [0x80] 0000000000000000 0000000001001000 1100111100000000 0000000000000000 0000000000000000 1000000000011011 1110000110000000 0001000000000011
    0x009fa1 +0x5e00:     0x79a0000000000200af6880400de68000 [0x80] 0111100110100000 0000000000000000 0000000000000000 0000001000000000 1010111101101000 1000000001000000 0000110111100110 1000000000000000
    0x00a021 +0x5e80:            0x802ceb80100379a0000000000 [0x80] 0000000000000000 0000000000001000 0000001011001110 1011100000000001 0000000000110111 1001101000000000 0000000000000000 0000000000000000
    0x00a0a1 +0x5f00:     0x2006f340000000000000000000000000 [0x80] 0010000000000110 1111001101000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00a121 +0x5f80:                              0x1456400 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000101000101 0110010000000000
    0x00a1a1 +0x6000:                                    0x0 [0x80] 0…
    0x00a221 +0x6080:              0x141b00000002400510c0000 [0x80] 0000000000000000 0000000000000000 0000000101000001 1011000000000000 0000000000000000 0010010000000000 0101000100001100 0000000000000000
    0x00a2a1 +0x6100:           0x400dc370000000000000000000 [0x80] 0000000000000000 0000000001000000 0000110111000011 0111000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00a321 +0x6180:                 0x10000000200802d00001 [0x80] 0000000000000000 0000000000000000 0000000000000000 0001000000000000 0000000000000000 0010000000001000 0000001011010000 0000000000000001
    0x00a3a1 +0x6200:       0x57dd4000291d40000000000028eec0 [0x80] 0000000001010111 1101110101000000 0000000000101001 0001110101000000 0000000000000000 0000000000000000 0000000000101000 1110111011000000
    0x00a421 +0x6280:          0xc800a3db00000000008015a2400 [0x80] 0000000000000000 0000110010000000 0000101000111101 1011000000000000 0000000000000000 0000000000001000 0000000101011010 0010010000000000
    0x00a4a1 +0x6300:      0x1466a0000000000014b240000000000 [0x80] 0000000101000110 0110101000000000 0000000000000000 0000000000000000 0000000101001011 0010010000000000 0000000000000000 0000000000000000
    0x00a521 +0x6380:      0x149b00000007000527c000000000040 [0x80] 0000000101001001 1011000000000000 0000000000000000 0111000000000000 0101001001111100 0000000000000000 0000000000000000 0000000001000000
    0x00a5a1 +0x6400:      0xdc37800000090002cd6000000002000 [0x80] 0000110111000011 0111100000000000 0000000000000000 1001000000000000 0010110011010110 0000000000000000 0000000000000000 0010000000000000
    0x00a621 +0x6480:         0x10000001200059ac000000004000 [0x80] 0000000000000000 0001000000000000 0000000000000001 0010000000000000 0101100110101100 0000000000000000 0000000000000000 0100000000000000
    0x00a6a1 +0x6500:             0x29db40000000000029acc000 [0x80] 0000000000000000 0000000000000000 0010100111011011 0100000000000000 0000000000000000 0000000000000000 0010100110101100 1100000000000000
    0x00a721 +0x6580:        0x5c00a6d30000000000801b86e0037 [0x80] 0000000000000101 1100000000001010 0110110100110000 0000000000000000 0000000000000000 0000100000000001 1011100001101110 0000000000110111
    0x00a7a1 +0x6600:     0xca16000000013b170000000000000000 [0x80] 1100101000010110 0000000000000000 0000000000000001 0011101100010111 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00a821 +0x6680:     0xc000029f400002a8840002ee28000000 [0x80] 1100000000000000 0000001010011111 0100000000000000 0000001010101000 1000010000000000 0000001011101110 0010100000000000 0000000000000000
    0x00a8a1 +0x6700:                                    0x0 [0x80] 0…
    0x00a921 +0x6780:          0x2cc300000000000000000000000 [0x80] 0000000000000000 0000001011001100 0011000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00a9a1 +0x6800:          0x2a11c0000007000a98700000000 [0x80] 0000000000000000 0000001010100001 0001110000000000 0000000000000000 0111000000000000 1010100110000111 0000000000000000 0000000000000000
    0x00aa21 +0x6880:         0x14fa100000000000014fa0000000 [0x80] 0000000000000000 0001010011111010 0001000000000000 0000000000000000 0000000000000000 0000000101001111 1010000000000000 0000000000000000
    0x00aaa1 +0x6900:                   0x29f400000000400000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000101001 1111010000000000 0000000000000000 0000000001000000 0000000000000000
    0x00ab21 +0x6980:            0x53e80015e1c010037ec000000 [0x80] 0000000000000000 0000000000000101 0011111010000000 0000000101011110 0001110000000001 0000000000110111 1110110000000000 0000000000000000
    0x00aba1 +0x6a00:       0x80000000002006fd80000000100000 [0x80] 0000000010000000 0000000000000000 0000000000000000 0010000000000110 1111110110000000 0000000000000000 0000000000010000 0000000000000000
    0x00ac21 +0x6a80:        0x4ec5c000000000000000680c00d22 [0x80] 0000000000000100 1110110001011100 0000000000000000 0000000000000000 0000000000000000 0000000000000110 1000000011000000 0000110100100010
    0x00aca1 +0x6b00:     0xe00001585c01006fe7c0000000000005 [0x80] 1110000000000000 0000000101011000 0101110000000001 0000000001101111 1110011111000000 0000000000000000 0000000000000000 0000000000000101
    0x00ad21 +0x6b80:     0x617000000010000000000000ac2e0000 [0x80] 0110000101110000 0000000000000000 0000000000010000 0000000000000000 0000000000000000 0000000000000000 1010110000101110 0000000000000000
    0x00ada1 +0x6c00:        0x3000000009d8b8000000000000000 [0x80] 0000000000000011 0000000000000000 0000000000000000 1001110110001011 1000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00ae21 +0x6c80:     0x302017d56600002b7440000000000000 [0x80] 0011000000100000 0001011111010101 0110011000000000 0000000000101011 0111010001000000 0000000000000000 0000000000000000 0000000000000000
    0x00aea1 +0x6d00:            0x56e8800000010000000000000 [0x80] 0000000000000000 0000000000000101 0110111010001000 0000000000000000 0000000000010000 0000000000000000 0000000000000000 0000000000000000
    0x00af21 +0x6d80:     0xadd1002c9600200db270000000100000 [0x80] 1010110111010001 0000000000101100 1001011000000000 0010000000001101 1011001001110000 0000000000000000 0000000000010000 0000000000000000
    0x00afa1 +0x6e00:          0x401b64e00000004000000000000 [0x80] 0000000000000000 0000010000000001 1011011001001110 0000000000000000 0000000000000100 0000000000000000 0000000000000000 0000000000000000
    0x00b021 +0x6e80:      0xb82e000000040000000000001705c00 [0x80] 0000101110000010 1110000000000000 0000000000000000 0100000000000000 0000000000000000 0000000000000000 0000000101110000 0101110000000000
    0x00b0a1 +0x6f00:         0x1400000002762e00000000000000 [0x80] 0000000000000000 0001010000000000 0000000000000000 0000001001110110 0010111000000000 0000000000000000 0000000000000000 0000000000000000
    0x00b121 +0x6f80:      0x300000586b80000b0d7800000000000 [0x80] 0000001100000000 0000000000000101 1000011010111000 0000000000000000 1011000011010111 1000000000000000 0000000000000000 0000000000000000
    0x00b1a1 +0x7000:      0xb0d700000000000000000000161ae00 [0x80] 0000101100001101 0111000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000101100001 1010111000000000
    0x00b221 +0x7080:          0x60000000000002c35c00b4169d8 [0x80] 0000000000000000 0000011000000000 0000000000000000 0000000000000000 0000000000101100 0011010111000000 0000101101000001 0110100111011000
    0x00b2a1 +0x7100:     0xb8000000000000000a00802beea00002 [0x80] 1011100000000000 0000000000000000 0000000000000000 0000000000000000 0000101000000000 1000000000101011 1110111010100000 0000000000000010
    0x00b321 +0x7180:     0xca560000000000002ca5400000000000 [0x80] 1100101001010110 0000000000000000 0000000000000000 0000000000000000 0010110010100101 0100000000000000 0000000000000000 0000000000000000
    0x00b3a1 +0x7200:              0x594a8000000200000000000 [0x80] 0000000000000000 0000000000000000 0000010110010100 1010100000000000 0000000000000000 0010000000000000 0000000000000000 0000000000000000
    0x00b421 +0x7280:       0xb295002df400000000000000000000 [0x80] 0000000010110010 1001010100000000 0010110111110100 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00b4a1 +0x7300:                                    0x0 [0x80] 0…
    0x00b521 +0x7380:             0x2d8b40000000000000000000 [0x80] 0000000000000000 0000000000000000 0010110110001011 0100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00b5a1 +0x7400:             0x2d14c000000bc00b59300000 [0x80] 0000000000000000 0000000000000000 0010110100010100 1100000000000000 0000000000001011 1100000000001011 0101100100110000 0000000000000000
    0x00b621 +0x7480:          0x80390ca0500437a400000002762 [0x80] 0000000000000000 0000100000000011 1001000011001010 0000010100000000 0100001101111010 0100000000000000 0000000000000000 0010011101100010
    0x00b6a1 +0x7500:     0xe0000000000000004008040ca200000b [0x80] 1110000000000000 0000000000000000 0000000000000000 0000000000000000 0100000000001000 0000010000001100 1010001000000000 0000000000001011
    0x00b721 +0x7580:     0x6930000000000000000000016d260000 [0x80] 0110100100110000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0110110100100110 0000000000000000
    0x00b7a1 +0x7600:        0xa0000000000002da4c00b94a9d8b8 [0x80] 0000000000001010 0000000000000000 0000000000000000 0000000000000000 0010110110100100 1100000000001011 1001010010101001 1101100010111000
    0x00b821 +0x7680:                    0x5028021bd200002e0 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000101 0000001010000000 0010000110111101 0010000000000000 0000001011100000
    0x00b8a1 +0x7700:     0x34000000000002cd4000005c06800000 [0x80] 0011010000000000 0000000000000000 0000000000000000 0000001011001101 0100000000000000 0000000001011100 0000011010000000 0000000000000000
    0x00b921 +0x7780:      0x3000059d980000b80d002f2500200e4 [0x80] 0000001100000000 0000000001011001 1101100110000000 0000000000001011 1000000011010000 0000001011110010 0101000000000010 0000000011100100
    0x00b9a1 +0x7800:     0x32800000010000000000401c86500000 [0x80] 0011001010000000 0000000000000000 0000000100000000 0000000000000000 0000000000000000 0100000000011100 1000011001010000 0000000000000000
    0x00ba21 +0x7880:       0x700000000000012edc000000040001 [0x80] 0000000001110000 0000000000000000 0000000000000000 0000000000000001 0010111011011100 0000000000000000 0000000000000100 0000000000000001
    0x00baa1 +0x7900:     0x3a3a000025db80000002000027602762 [0x80] 0011101000111010 0000000000000000 0010010111011011 1000000000000000 0000000000000010 0000000000000000 0010011101100000 0010011101100010
    0x00bb21 +0x7980:     0xe000000000000000440200b40000000b [0x80] 1110000000000000 0000000000000000 0000000000000000 0000000000000000 0100010000000010 0000000010110100 0000000000000000 0000000000001011
    0x00bba1 +0x7a00:     0xb13800058a700000bb13000000000000 [0x80] 1011000100111000 0000000000000101 1000101001110000 0000000000000000 1011101100010011 0000000000000000 0000000000000000 0000000000000000
    0x00bc21 +0x7a80:             0x176260000000e00000000000 [0x80] 0000000000000000 0000000000000000 0001011101100010 0110000000000000 0000000000000000 1110000000000000 0000000000000000 0000000000000000
    0x00bca1 +0x7b00:      0x2ec4c00be0e9d8b8000000000000001 [0x80] 0000001011101100 0100110000000000 1011111000001110 1001110110001011 1000000000000000 0000000000000000 0000000000000000 0000000000000001
    0x00bd21 +0x7b80:     0x203001abd600002f344000000000002e [0x80] 0010000000110000 0000000110101011 1101011000000000 0000000000101111 0011010001000000 0000000000000000 0000000000000000 0000000000101110
    0x00bda1 +0x7c00:     0x61c00005e688000000400005cf500000 [0x80] 0110000111000000 0000000000000101 1110011010001000 0000000000000000 0000000001000000 0000000000000101 1100111101010000 0000000000000000
    0x00be21 +0x7c80:     0xbcd1002fe22762e0000000000000001c [0x80] 1011110011010001 0000000000101111 1110001000100111 0110001011100000 0000000000000000 0000000000000000 0000000000000000 0000000000011100
    0x00bea1 +0x7d00:      0xc00ae4080000be4b000000000000874 [0x80] 0000110000000000 1010111001000000 1000000000000000 0000101111100100 1011000000000000 0000000000000000 0000000000000000 0000100001110100
    0x00bf21 +0x7d80:     0xb000017c96000000120001299000002f [0x80] 1011000000000000 0000000101111100 1001011000000000 0000000000000000 0001001000000000 0000000100101001 1001000000000000 0000000000101111
    0x00bfa1 +0x7e00:     0x92c00c1029d8b8000000000000000202 [0x80] 1001001011000000 0000110000010000 0010100111011000 1011100000000000 0000000000000000 0000000000000000 0000000000000000 0000001000000010
    0x00c021 +0x7e80:      0x16f65c00002ff140000000000000000 [0x80] 0000000101101111 0110010111000000 0000000000000010 1111111100010100 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00c0a1 +0x7f00:         0x5fe2800000050000000000000bfc [0x80] 0000000000000000 0101111111100010 1000000000000000 0000000000000101 0000000000000000 0000000000000000 0000000000000000 0000101111111100
    0x00c121 +0x7f80:     0x50030d080200c0c20000000100000000 [0x80] 0101000000000011 0000110100001000 0000001000000000 1100000011000010 0000000000000000 0000000000000001 0000000000000000 0000000000000000
    0x00c1a1 +0x8000:       0x40181840000000c000000009d8b800 [0x80] 0000000001000000 0001100000011000 0100000000000000 0000000000000000 1100000000000000 0000000000000000 0000100111011000 1011100000000000
    0x00c221 +0x8080:                  0x5020170f54000030814 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000010100000010 0000000101110000 1111010101000000 0000000000000011 0000100000010100
    0x00c2a1 +0x8100:                         0x610280000005 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0110000100000010 1000000000000000 0000000000000101
    0x00c321 +0x8180:     0x8000000000000c20500312f2762e0000 [0x80] 1000000000000000 0000000000000000 0000000000000000 0000110000100000 0101000000000011 0001001011110010 0111011000101110 0000000000000000
    0x00c3a1 +0x8200:                0x4c0a02192b80000c37f00 [0x80] 0000000000000000 0000000000000000 0000000000000100 1100000010100000 0010000110010010 1011100000000000 0000000011000011 0111111100000000
    0x00c421 +0x8280:                       0x186fe000000180 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000011000 0110111111100000 0000000000000000 0000000110000000
    0x00c4a1 +0x8300:                0x30dfc00d0269d8b800000 [0x80] 0000000000000000 0000000000000000 0000000000000011 0000110111111100 0000000011010000 0010011010011101 1000101110000000 0000000000000000
    0x00c521 +0x8380:                           0xa014047990 [0x4f] 0000000000000000 0000000000000000 0000000101000000 0010100000001000 111100110010000
{Thing2 0x0c570/0x40}:Thing2 Chain2 payload_p → {StringStore 0x02b14/0x9a8}
{StringStore 0x0c5b0/0x9b0}:StringStore x = 0x00000001 y = 0x0000012e
    @0x0c5f6 [0x00] =  $0x0014 »ADD«
    @0x0c626 [0x01] =  $0x0015 »FOR_RULE«
    @0x0c67e [0x02] =  $0x0016 »KBS«
    @0x0c6ae [0x03] =  $0x0017 »RULE_ID«
    @0x0c6fe [0x04] =  $0x0018 »ON_FACTS«
    @0x0c756 [0x05] =  $0x0004 »FACT_COLLECTION«
    @0x0c7e6 [0x06] =  $0x0008 »«
    @0x0c7fe [0x07] =  $0x000f »BBR_DO_ACTION«
{R1kSegChunk 0x0cf60/0x2505}: ===================
    0x00cf60 +0x0000:         0x189f200000000000000000000313 [0x80] 0000000000000000 0001100010011111 0010000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001100010011
    0x00cfe0 +0x0080:     0xe400000034000000000000627c801a34 [0x80] 1110010000000000 0000000000000000 0011010000000000 0000000000000000 0000000000000000 0000000001100010 0111110010000000 0001101000110100
    0x00d060 +0x0100:     0x13b17000000000000000260500ba0700 [0x80] 0001001110110001 0111000000000000 0000000000000000 0000000000000000 0000000000000000 0010011000000101 0000000010111010 0000011100000000
    0x00d0e0 +0x0180:        0x683180000000000061fb00000d063 [0x80] 0000000000000110 1000001100011000 0000000000000000 0000000000000000 0000000000000110 0001111110110000 0000000000000000 1101000001100011
    0x00d160 +0x0200:            0xe0000c45900001a0c600698d4 [0x80] 0000000000000000 0000000000001110 0000000000000000 1100010001011001 0000000000000000 0001101000001100 0110000000000110 1001100011010100
    0x00d1e0 +0x0280:     0xec5c000000000000000a014032f55000 [0x80] 1110110001011100 0000000000000000 0000000000000000 0000000000000000 0000000000001010 0000000101000000 0011001011110101 0101000000000000
    0x00d260 +0x0300:      0x1a3ba0000000000019ec00000347740 [0x80] 0000000110100011 1011101000000000 0000000000000000 0000000000000000 0000000110011110 1100000000000000 0000000000110100 0111011101000000
    0x00d2e0 +0x0380:          0x3c00033f0c000068ee801a9293b [0x80] 0000000000000000 0000001111000000 0000000000110011 1111000011000000 0000000000000110 1000111011101000 0000000110101001 0010100100111011
    0x00d360 +0x0400:     0x17000000000000000260500677840000 [0x80] 0001011100000000 0000000000000000 0000000000000000 0000000000000000 0000001001100000 0101000000000110 0111011110000100 0000000000000000
    0x00d3e0 +0x0480:     0x69ab800000000000000000000d357000 [0x80] 0110100110101011 1000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000110100110101 0111000000000000
    0x00d460 +0x0500:        0x100000000000001a6ae006b074ec5 [0x80] 0000000000000001 0000000000000000 0000000000000000 0000000000000000 0000000110100110 1010111000000000 0110101100000111 0100111011000101
    0x00d4e0 +0x0580:     0xc000000000000000a01401e51a00001a [0x80] 1100000000000000 0000000000000000 0000000000000000 0000000000000000 1010000000010100 0000000111100101 0001101000000000 0000000000011010
    0x00d560 +0x0600:     0x9a200000000000000000000353440000 [0x80] 1001101000100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000011 0101001101000100 0000000000000000
    0x00d5e0 +0x0680:       0x440000000000006a68801daa73b170 [0x80] 0000000001000100 0000000000000000 0000000000000000 0000000000000000 0110101001101000 1000000000011101 1010101001110011 1011000101110000
    0x00d660 +0x0700:      0x3ac3000000000000300348ba02f6000 [0x80] 0000001110101100 0011000000000000 0000000000000000 0000000000000000 0000001100000000 0011010010001011 1010000000101111 0110000000000000
    0x00d6e0 +0x0780:                 0x6f28800dab98d3f001bc [0x80] 0000000000000000 0000000000000000 0000000000000000 0110111100101000 1000000000001101 1010101110011000 1101001111110000 0000000110111100
    0x00d760 +0x0800:     0xa2000000001b190006c9380000008a11 [0x80] 1010001000000000 0000000000000000 0000000000011011 0001100100000000 0000011011001001 0011100000000000 0000000000000000 1000101000010001
    0x00d7e0 +0x0880:     0x801b190000000001502003baa2000000 [0x80] 1000000000011011 0001100100000000 0000000000000000 0000000000000001 0101000000100000 0000001110111010 1010001000000000 0000000000000000
    0x00d860 +0x0900:          0xd7d00005000000000d7d0844800 [0x80] 0000000000000000 0000110101111101 0000000000000000 0101000000000000 0000000000000000 0000000011010111 1101000010000100 0100100000000000
    0x00d8e0 +0x0980:     0x1ae78000000001b12733120035cf0000 [0x80] 0001101011100111 1000000000000000 0000000000000000 0000000110110001 0010011100110011 0001001000000000 0011010111001111 0000000000000000
    0x00d960 +0x0a00:          0x3672c00da42000000000013b170 [0x80] 0000000000000000 0000001101100111 0010110000000000 1101101001000010 0000000000000000 0000000000000000 0000000000010011 1011000101110000
    0x00d9e0 +0x0a80:      0x3649c000000002c04003951e762e006 [0x80] 0000001101100100 1001110000000000 0000000000000000 0000000000101100 0000010000000000 0011100101010001 1110011101100010 1110000000000110
    0x00da60 +0x0b00:     0xc938000000005c0800ee1100000008d3 [0x80] 1100100100111000 0000000000000000 0000000000000000 0101110000001000 0000000011101110 0001000100000000 0000000000000000 0000100011010011
    0x00dae0 +0x0b80:     0xf001bca2000000001b8c0006e5f80000 [0x80] 1111000000000001 1011110010100010 0000000000000000 0000000000000000 0001101110001100 0000000000000110 1110010111111000 0000000000000000
    0x00db60 +0x0c00:       0x8a11801b8c0000000001802003afdc [0x80] 0000000010001010 0001000110000000 0001101110001100 0000000000000000 0000000000000000 0000000110000000 0010000000000011 1010111111011100
    0x00dbe0 +0x0c80:                0xdb680003000000000db68 [0x80] 0000000000000000 0000000000000000 0000000000001101 1011011010000000 0000000000110000 0000000000000000 0000000000000000 1101101101101000
    0x00dc60 +0x0d00:     0x8448001b5a8000000001b85733120036 [0x80] 1000010001001000 0000000000011011 0101101010000000 0000000000000000 0000000000000001 1011100001010111 0011001100010010 0000000000110110
    0x00dce0 +0x0d80:     0xb50000000003758c00ddda0000000000 [0x80] 1011010100000000 0000000000000000 0000000000000011 0111010110001100 0000000011011101 1101101000000000 0000000000000000 0000000000000000
    0x00dd60 +0x0e00:     0x13b1700372fc000000002c04003951e7 [0x80] 0001001110110001 0111000000000011 0111001011111100 0000000000000000 0000000000000000 0010110000000100 0000000000111001 0101000111100111
    0x00dde0 +0x0e80:     0x62e006e5f800000000100800eb5fc325 [0x80] 0110001011100000 0000011011100101 1111100000000000 0000000000000000 0000000000010000 0000100000000000 1110101101011111 1100001100100101
    0x00de60 +0x0f00:        0xd6c2000000000d7210000dee10000 [0x80] 0000000000001101 0110110000100000 0000000000000000 0000000000000000 1101011100100001 0000000000000000 1101111011100001 0000000000000000
    0x00dee0 +0x0f80:            0x100006f908000000000000001 [0x80] 0000000000000000 0000000000000001 0000000000000000 0110111110010000 1000000000000000 0000000000000000 0000000000000000 0000000000000001
    0x00df60 +0x1000:     0x80006fe08000702f0000000000000000 [0x80] 1000000000000000 0110111111100000 1000000000000000 0111000000101111 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00dfe0 +0x1080:                 0x701080000d7d00000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0111000000010000 1000000000000000 0000110101111101 0000000000000000 0000000000000000
    0x00e060 +0x1100:                        0x382f800006db4 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000011 1000001011111000 0000000000000000 0110110110110100
    0x00e0e0 +0x1180:           0x1182c000000000000000100000 [0x80] 0000000000000000 0000000000010001 1000001011000000 0000000000000000 0000000000000000 0000000000000000 0000000000010000 0000000000000000
    0x00e160 +0x1200:     0x35b08000000000000000000000000000 [0x80] 0011010110110000 1000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00e1e0 +0x1280:                  0x1c44e000035f4000e26 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000111000100 0100111000000000 0000000000110101 1111010000000000 0000111000100110
    0x00e260 +0x1300:     0x400001b6d000000000000d6c2038019e [0x80] 0100000000000000 0000000110110110 1101000000000000 0000000000000000 0000000000000000 0000110101101100 0010000000111000 0000000110011110
    0x00e2e0 +0x1380:     0xd40001594b3a16000000000000000000 [0x80] 1101010000000000 0000000101011001 0100101100111010 0001011000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00e360 +0x1400:        0x35f400800eea88000000d7d003801 [0x80] 0000000000000011 0101111101000000 0000100000000000 1110111010101000 1000000000000000 0000000000001101 0111110100000000 0011100000000001
    0x00e3e0 +0x1480:     0x9ed400000000000038c1c00e5549d0b0 [0x80] 1001111011010100 0000000000000000 0000000000000000 0000000000000000 0011100011000001 1100000000001110 0101010101001001 1101000010110000
    0x00e460 +0x1500:                         0x1b6d0040075f [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001101101101101 0000000001000000 0000011101011111
    0x00e4e0 +0x1580:     0xb80000006db401c00cf6a00000000000 [0x80] 1011100000000000 0000000000000000 0110110110110100 0000000111000000 0000110011110110 1010000000000000 0000000000000000 0000000000000000
    0x00e560 +0x1600:      0x1c89800000000000000000397380000 [0x80] 0000000111001000 1001100000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000011 1001011100111000 0000000000000000
    0x00e5e0 +0x1680:     0x6be8001cc16000036da000000000001a [0x80] 0110101111101000 0000000000011100 1100000101100000 0000000000000011 0110110110100000 0000000000000000 0000000000000000 0000000000011010
    0x00e660 +0x1700:     0xfa00000000600000000000035f43ffff [0x80] 1111101000000000 0000000000000000 0000000001100000 0000000000000000 0000000000000000 0000000000000011 0101111101000011 1111111111111111
    0x00e6e0 +0x1780:     0xfffc0000000000006db4000000018000 [0x80] 1111111111111100 0000000000000000 0000000000000000 0000000000000000 0110110110110100 0000000000000000 0000000000000001 1000000000000000
    0x00e760 +0x1800:              0xdb68fffffffe00000000000 [0x80] 0000000000000000 0000000000000000 0000110110110110 1000111111111111 1111111111111111 1110000000000000 0000000000000000 0000000000000000
    0x00e7e0 +0x1880:      0x1c1f600000004000000000000383ec0 [0x80] 0000000111000001 1111011000000000 0000000000000000 0000010000000000 0000000000000000 0000000000000000 0000000000111000 0011111011000000
    0x00e860 +0x1900:                   0x23b1a0000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000100011 1011000110100000 0000000000000000 0000000000000000 0000000000000000
    0x00e8e0 +0x1980:             0x1c81f182c000000000000000 [0x80] 0000000000000000 0000000000000000 0001110010000001 1111000110000010 1100000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00e960 +0x1a00:     0x1000003aa48000000000000000000000 [0x80] 0001000000000000 0000000000111010 1010010010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00e9e0 +0x1a80:             0x219280075490000000000000 [0x80] 0000000000000000 0000000000000000 0010000110010010 1000000000000111 0101010010010000 0000000000000000 0000000000000000 0000000000000000
    0x00ea60 +0x1b00:                 0x202f6000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0010000000101111 0110000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00eae0 +0x1b80:     0x75010000000832d8000000000000001a [0x80] 0111010100000001 0000000000000000 0000000000001000 0011001011011000 0000000000000000 0000000000000000 0000000000000000 0000000000011010
    0x00eb60 +0x1c00:     0xc96000000001d134000000001d618010 [0x80] 1100100101100000 0000000000000000 0000000000000001 1101000100110100 0000000000000000 0000000000000000 0001110101100001 1000000000010000
    0x00ebe0 +0x1c80:      0x6fe7c00000002762e00000000000000 [0x80] 0000011011111110 0111110000000000 0000000000000000 0000001001110110 0010111000000000 0000000000000000 0000000000000000 0000000000000000
    0x00ec60 +0x1d00:      0x3c0600691700000ec16000000000000 [0x80] 0000001111000000 0110000000000110 1001000101110000 0000000000000000 1110110000010110 0000000000000000 0000000000000000 0000000000000000
    0x00ece0 +0x1d80:             0x1d82c0000002400000000000 [0x80] 0000000000000000 0000000000000000 0001110110000010 1100000000000000 0000000000000010 0100000000000000 0000000000000000 0000000000000000
    0x00ed60 +0x1e00:      0x3b0580000000000000100000012ffff [0x80] 0000001110110000 0101100000000000 0000000000000000 0000000000000000 0000000000000001 0000000000000000 0000000000010010 1111111111111111
    0x00ede0 +0x1e80:     0xc0000000000000000000000000000000 [0x80] 1100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00ee60 +0x1f00:                 0x3bef0000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0011101111101111 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00eee0 +0x1f80:                                 0x3b78 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0011101101111000
    0x00ef60 +0x2000:     0x8000000cc00ef220000000000801b86e [0x80] 1000000000000000 0000000000001100 1100000000001110 1111001000100000 0000000000000000 0000000000000000 0000100000000001 1011100001101110
    0x00efe0 +0x2080:        0x1db20000000000000000000000000 [0x80] 0000000000000001 1101101100100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00f060 +0x2100:                                0x1e3f2 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 1110001111110010
    0x00f0e0 +0x2180:                                    0x0 [0x80] 0…
    0x00f160 +0x2200:                0x1e03e000000340078af80 [0x80] 0000000000000000 0000000000000000 0000000000000001 1110000000111110 0000000000000000 0000000000110100 0000000001111000 1010111110000000
    0x00f1e0 +0x2280:             0x400dc37000000000000ab2b0 [0x80] 0000000000000000 0000000000000000 0100000000001101 1100001101110000 0000000000000000 0000000000000000 0000000000001010 1011001010110000
    0x00f260 +0x2300:                   0x100000004038019ed4 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000010000 0000000000000000 0000000001000000 0011100000000001 1001111011010100
    0x00f2e0 +0x2380:      0x70033da802006fd800c00d22e0000f4 [0x80] 0000011100000000 0011001111011010 1000000000100000 0000011011111101 1000000000001100 0000000011010010 0010111000000000 0000000011110100
    0x00f360 +0x2400:      0x2000000000000f34800000031003cda [0x80] 0000001000000000 0000000000000000 0000000000000000 0000000011110011 0100100000000000 0000000000000000 0011000100000000 0011110011011010
    0x00f3e0 +0x2480:               0x2006e1b8000793e0000000 [0x80] 0000000000000000 0000000000000000 0000000000100000 0000011011100001 1011100000000000 0000011110010011 1110000000000000 0000000000000000
    0x00f460 +0x2500:                                    0x0 [0x05] 0…