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

⟦f8528a0d8⟧

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

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 = 0x0001197a max_bits = 0x03ffffff zero = 0x00000000 alloced_bits = 0x00011fff
{HeadVar2 0x00080/0x32a}:HeadVar2
    0x000080 [0x00] +0x0000: head_z_000 = 0x80000001 [10000000000000000000000000000001]
    0x0000a0 [0x01] +0x0020: head_segment = 0x0004904f [0000000000001001001000001001111]
    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 = 0x000164dc [000000000000010110010011011100]
    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/0xaa46} [00000000000000000100000110100001]
    0x0002ea [0x17] +0x026a:
    0x00030a [0x18] +0x028a: hv2_28a_n = 0x0010012b607428010834012b5fd4292b5e742801 [0000000000010000000000010010101101100000011101000010100000000001000010000011010000000001001010110101111111010100001010010010101101011110011101000010100000000001]

{R1kSegChunk 0x003aa/0x1f70}: ===================
    0x0003aa +0x0000:     0xc9d4012b4a84292b5f24292b5dc42800 [0x80] 1100100111010100 0000000100101011 0100101010000100 0010100100101011 0101111100100100 0010100100101011 0101110111000100 0010100000000000
    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 = 0xfffffff1005a007c00d1a80199a [111111111111111111111111111100010000000001011010000000000111110000000000110100011010100000000001100110011010]
    0x002386 [0x01] +0x006c: t1_c1_head_p → {StringIndex 0x02426/0x6ee} [00000000000000000010010000100110]
    0x0023a6 [0x02] +0x008c: t1_c2_last_p → {StringStore 0x0ec27/0x9b0} [00000000000000001110110000100111]
    0x0023c6 [0x03] +0x00ac: t1_array1_p → {StringIndex 0x02426/0x6ee} [00000000000000000010010000100110]
    0x0023e6 [0x04] +0x00cc: t1_c2_tail_p → {Thing2 0x0ebe7/0x40} [00000000000000001110101111100111]
    0x002406 [0x05] +0x00ec: [00000000000000000000000000000000]

{StringIndex 0x02426/0x6ee}:StringIndex x = 0x00000001 y = 0x0000002d
  [$0x0002]  0x00ed0 015 »COUNT«
  [$0x0003]  0x00940 012 »INFERE«
  [$0x0005]  0x00fa0 000 »PUT«
  [$0x0006]  0x00748 010 »*POLY_DEBUG_INFO1255736861«
  [$0x0008]  0x0c968 01d »FIRINGS_PER_SECOND«
  [$0x0009]  0x0ca98 01e »RULE_BASE«
  [$0x000a]  0x0caf8 000 »RULE_ID«
  [$0x000c]  0x00988 011 »COMP_UNIT_INDEX«
  [$0x000d]  0x008d8 017 »Dummy_Skin«
  [$0x000e]  0x0ca10 01b »FOR_RULE«
  [$0x000f]  0x00a18 013 »%INFERE_ON_TOWERS_OF_HANOI 5393092482563047552 59103«
  [$0x0010]  0x00830 016 »CODE_SEGMENT_ARRAY«
  [$0x0011]  0x00bd0 014 »!DURATION_IO 5393092482563047552 61480 1«
  [$0x0012]  0x00d28 000 »!DURATION_IO 5393092482563047552 61480 2«
  [$0x0013]  0x00e80 01c »TEXT_IO«
  [$0x0014]  0x00f10 018 »STANDARD_OUTPUT«
  [$0x0015]  0x00fd0 000 »SLOTS«
  [$0x0016]  0x01010 000 »ADD«
  [$0x0017]  0x0c860 019 »ELAPSED_TIME«
  [$0x0018]  0x0c8d8 000 »INFERENCE_COUNT«
  [$0x0019]  0x0ca68 01a »KBS«
  [$0x001a]  0x0cb48 000 »ON_FACTS«
  [$0x001b]  0x0cba0 000 »FACT_BASE«
  [$0x001c]  0x0cc00 000 »COLLECTION«
  [$0x001d]  0x0cc68 000 »«
  [$0x001e]  0x0cc80 000 »DO_ACTION«
{StringStore 0x02b14/0x9a8}:StringStore x = 0x00000001 y = 0x0000012d
    @0x02b56 [0x00] =  $0x0006 »*POLY_DEBUG_INFO1255736861«
    @0x02c3e [0x01] =  $0x0010 »CODE_SEGMENT_ARRAY«
    @0x02ce6 [0x02] =  $0x000d »Dummy_Skin«
    @0x02d4e [0x03] =  $0x0003 »INFERE«
    @0x02d96 [0x04] =  $0x000c »COMP_UNIT_INDEX«
    @0x02e26 [0x05] =  $0x000f »%INFERE_ON_TOWERS_OF_HANOI 5393092482563047552 59103«
    @0x02fde [0x06] =  $0x0011 »!DURATION_IO 5393092482563047552 61480 1«
    @0x03136 [0x07] =  $0x0012 »!DURATION_IO 5393092482563047552 61480 2«
    @0x0328e [0x08] =  $0x0013 »TEXT_IO«
    @0x032de [0x09] =  $0x0002 »COUNT«
    @0x0331e [0x0a] =  $0x0014 »STANDARD_OUTPUT«
    @0x033ae [0x0b] =  $0x0005 »PUT«
    @0x033de [0x0c] =  $0x0015 »SLOTS«
    @0x0341e [0x0d] =  $0x0016 »ADD«
{DianaSkeleton 0x034bc/0x2b}:diana_13eab d_13eab_type = 0x13eab
{R1kSegChunk 0x034e7/0x3a}: ===================
    0x0034e7 +0x0000:                                    0x0 [0x3a] 0…
{R1kSegChunk 0x03521/0xc80}: ===================
    0x003521 +0x0000:                 0x788e0000860b00000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0111100010001110 0000000000000000 1000011000001011 0000000000000000 0000000000000000
    0x0035a1 +0x0080:                                    0x0 [0x80] 0…
    0x003621 +0x0100:                                 0x67b7 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0110011110110111
    0x0036a1 +0x0180:                 0x69f40000651d00005760 [0x80] 0000000000000000 0000000000000000 0000000000000000 0110100111110100 0000000000000000 0110010100011101 0000000000000000 0101011101100000
    0x003721 +0x0200:         0xb40d0000ba000000c95100000000 [0x80] 0000000000000000 1011010000001101 0000000000000000 1011101000000000 0000000000000000 1100100101010001 0000000000000000 0000000000000000
    0x0037a1 +0x0280:                         0xc4190000ce0c [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1100010000011001 0000000000000000 1100111000001100
    0x003821 +0x0300:                        0x1175600000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0001011101010110 0000000000000000 0000000000000000
    0x0038a1 +0x0380:         0xd0c0000046980000000000000000 [0x80] 0000000000000000 1101000011000000 0000000000000000 0100011010011000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x003921 +0x0400:                                    0x0 [0x180] 0…
    0x003aa1 +0x0580:                                 0xd3e1 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1101001111100001
    0x003b21 +0x0600:                0x1193c0000cb1400011519 [0x80] 0000000000000000 0000000000000000 0000000000000001 0001100100111100 0000000000000000 1100101100010100 0000000000000001 0001010100011001
    0x003ba1 +0x0680:         0x42210000433e0000445b00000000 [0x80] 0000000000000000 0100001000100001 0000000000000000 0100001100111110 0000000000000000 0100010001011011 0000000000000000 0000000000000000
    0x003c21 +0x0700:         0xcc31000000000000000000000000 [0x80] 0000000000000000 1100110000110001 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/0xaa46}: ===================
    0x0041a1 +0x0000:         0xcd2d0000427b00000000000041c1 [0x80] 0000000000000000 1100110100101101 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:       0x8de4000000000000000000008a3000 [0x80] 0000000010001101 1110010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000010001010 0011000000000000
    0x0046a1 +0x0500:         0x3a00232c0000000000400daaa000 [0x80] 0000000000000000 0011101000000000 0010001100101100 0000000000000000 0000000000000000 0000000001000000 0000110110101010 1010000000000000
    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:          0x2006d5500000fa0000000000040 [0x80] 0000000000000000 0000001000000000 0110110101010101 0000000000000000 0000111110100000 0000000000000000 0000000000000000 0000000001000000
    0x0048a1 +0x0700:      0xda06000000002006ecd000921801003 [0x80] 0000110110100000 0110000000000000 0000000000000000 0000001000000000 0110111011001101 0000000000001001 0010000110000000 0001000000000011
    0x004921 +0x0780:     0x812000494900801c63c0024c300400e6 [0x80] 1000000100100000 0000000001001001 0100100100000000 1000000000011100 0110001111000000 0000001001001100 0011000000000100 0000000011100110
    0x0049a1 +0x0800:     0x3b00222440200aa05800b0412d300000 [0x80] 0011101100000000 0010001000100100 0100000000100000 0000101010100000 0101100000000000 1011000001000001 0010110100110000 0000000000000000
    0x004a21 +0x0880:                 0xc02003087c0000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 1100000000100000 0000001100001000 0111110000000000 0000000000000000 0000000000000000
    0x004aa1 +0x0900:                                    0x0 [0x200] 0…
    0x004ca1 +0x0b00:        0x18bf80000000000016aa000000000 [0x80] 0000000000000001 1000101111111000 0000000000000000 0000000000000000 0000000000000001 0110101010100000 0000000000000000 0000000000000000
    0x004d21 +0x0b80:                0x112680000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000001 0001001001101000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x004da1 +0x0c00:                                    0x0 [0x80] 0…
    0x004e21 +0x0c80:                0x222d200018b2c00000000 [0x80] 0000000000000000 0000000000000000 0000000000000010 0010001011010010 0000000000000001 1000101100101100 0000000000000000 0000000000000000
    0x004ea1 +0x0d00:                0x1aa300000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000001 1010101000110000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x004f21 +0x0d80:                                0x212c4 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000010 0001001011000100
    0x004fa1 +0x0e00:                        0x2154e0001119c [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000010 0001010101001110 0000000000000001 0001000110011100
    0x005021 +0x0e80:         0xaf74000000000000000000000000 [0x80] 0000000000000000 1010111101110100 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0050a1 +0x0f00:                        0x16b6c00000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0110101101101100 0000000000000000 0000000000000000
    0x005121 +0x0f80:                        0x16f6800016e9c [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0110111101101000 0000000000000001 0110111010011100
    0x0051a1 +0x1000:                                    0x0 [0x80] 0…
    0x005221 +0x1080:                        0x16dd000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0110110111010000 0000000000000000 0000000000000000
    0x0052a1 +0x1100:                                    0x0 [0x80] 0…
    0x005321 +0x1180:        0x16d04000210b40000000000000000 [0x80] 0000000000000001 0110110100000100 0000000000000010 0001000010110100 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0053a1 +0x1200:                                    0x0 [0x100] 0…
    0x0054a1 +0x1300:        0x16c38000000000000000000000000 [0x80] 0000000000000001 0110110000111000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005521 +0x1380:                        0x169d400000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0110100111010100 0000000000000000 0000000000000000
    0x0055a1 +0x1400:                0x17034000000000000d562 [0x80] 0000000000000000 0000000000000000 0000000000000001 0111000000110100 0000000000000000 0000000000000000 0000000000000000 1101010101100010
    0x005621 +0x1480:                                    0x0 [0x100] 0…
    0x005721 +0x1580:                 0x95400000001e002b9000 [0x80] 0000000000000000 0000000000000000 0000000000000000 1001010101000000 0000000000000000 0000000000011110 0000000000101011 1001000000000000
    0x0057a1 +0x1600:                0x4a0000801d22600000000 [0x80] 0000000000000000 0000000000000000 0000000000000100 1010000000000000 0000100000000001 1101001000100110 0000000000000000 0000000000000000
    0x005821 +0x1680:         0x1280000000000000000000000000 [0x80] 0000000000000000 0001001010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0058a1 +0x1700:                0x657700000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000110 0101011101110000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005921 +0x1780:                                    0x0 [0xb80] 0…
    0x0064a1 +0x2300:                                0x585d0 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000101 1000010111010000
    0x006521 +0x2380:           0xe0019374000000000200736f80 [0x80] 0000000000000000 0000000011100000 0000000110010011 0111010000000000 0000000000000000 0000000000000010 0000000001110011 0110111110000000
    0x0065a1 +0x2400:               0x24e1800000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000100100 1110000110000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006621 +0x2480:                      0x21e380004363400 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001000011110 0011100000000000 0000010000110110 0011010000000000
    0x0066a1 +0x2500:      0x29a1c000238440000000000025e9800 [0x80] 0000001010011010 0001110000000000 0000001000111000 0100010000000000 0000000000000000 0000000000000000 0000001001011110 1001100000000000
    0x006721 +0x2580:              0x284ec000273c80000000000 [0x80] 0000000000000000 0000000000000000 0000001010000100 1110110000000000 0000001001110011 1100100000000000 0000000000000000 0000000000000000
    0x0067a1 +0x2600:      0x198dc0000002c006777000000000080 [0x80] 0000000110011000 1101110000000000 0000000000000000 0010110000000000 0110011101110111 0000000000000000 0000000000000000 0000000010000000
    0x006821 +0x2680:     0x1cdbe000000000000000000000000000 [0x80] 0001110011011011 1110000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0068a1 +0x2700:     0x10fe200021be000014dd400011ce8000 [0x80] 0001000011111110 0010000000000000 0010000110111110 0000000000000000 0001010011011101 0100000000000000 0001000111001110 1000000000000000
    0x006921 +0x2780:             0x13012000000000001433c000 [0x80] 0000000000000000 0000000000000000 0001001100000001 0010000000000000 0000000000000000 0000000000000000 0001010000110011 1100000000000000
    0x0069a1 +0x2800:     0x13aaa000000000000d0e80000001a003 [0x80] 0001001110101010 1010000000000000 0000000000000000 0000000000000000 0000110100001110 1000000000000000 0000000000000001 1010000000000011
    0x006a21 +0x2880:     0x4da0000000000400e6df000000000000 [0x80] 0100110110100000 0000000000000000 0000000000000000 0000010000000000 1110011011011111 0000000000000000 0000000000000000 0000000000000000
    0x006aa1 +0x2900:           0x802be4601003a44c0000000000 [0x80] 0000000000000000 0000000010000000 0010101111100100 0110000000010000 0000001110100100 0100110000000000 0000000000000000 0000000000000000
    0x006b21 +0x2980:              0xd6a8010055820006b910080 [0x80] 0000000000000000 0000000000000000 0000110101101010 1000000000010000 0000010101011000 0010000000000000 0110101110010001 0000000010000000
    0x006ba1 +0x2a00:     0x2b10a000000000000000000000000000 [0x80] 0010101100010000 1010000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006c21 +0x2a80:                                    0x0 [0x80] 0…
    0x006ca1 +0x2b00:                                    0x7 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000111
    0x006d21 +0x2b80:      0x5c800000000000000000004f7480005 [0x80] 0000010111001000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000100 1111011101001000 0000000000000101
    0x006da1 +0x2c00:     0xec900000000000074798000000000006 [0x80] 1110110010010000 0000000000000000 0000000000000000 0000000000000111 0100011110011000 0000000000000000 0000000000000000 0000000000000110
    0x006e21 +0x2c80:     0xec08000605500000000000049e400000 [0x80] 1110110000001000 0000000000000110 0000010101010000 0000000000000000 0000000000000000 0000000000000100 1001111001000000 0000000000000000
    0x006ea1 +0x2d00:                                    0x6 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000110
    0x006f21 +0x2d80:     0xd0280004848800000000000000000007 [0x80] 1101000000101000 0000000000000100 1000010010001000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000111
    0x006fa1 +0x2e00:     0x3db0000000000005f8f00006abf00000 [0x80] 0011110110110000 0000000000000000 0000000000000000 0000000000000101 1111100011110000 0000000000000110 1010101111110000 0000000000000000
    0x007021 +0x2e80:                            0x68af00004 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000110 1000101011110000 0000000000000100
    0x0070a1 +0x2f00:     0x7e580008600800073598000000000008 [0x80] 0111111001011000 0000000000001000 0110000000001000 0000000000000111 0011010110011000 0000000000000000 0000000000000000 0000000000001000
    0x007121 +0x2f80:     0x6638000000000006c420000000000000 [0x80] 0110011000111000 0000000000000000 0000000000000000 0000000000000110 1100010000100000 0000000000000000 0000000000000000 0000000000000000
    0x0071a1 +0x3000:                    0x52e080004e1600005 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000101 0010111000001000 0000000000000100 1110000101100000 0000000000000101
    0x007221 +0x3080:     0xe0300006bdf00006b5d8000611b00000 [0x80] 1110000000110000 0000000000000110 1011110111110000 0000000000000110 1011010111011000 0000000000000110 0001000110110000 0000000000000000
    0x0072a1 +0x3100:                                    0x4 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000100
    0x007321 +0x3180:     0xa47000051b780003c740000503a80007 [0x80] 1010010001110000 0000000000000101 0001101101111000 0000000000000011 1100011101000000 0000000000000101 0000001110101000 0000000000000111
    0x0073a1 +0x3200:     0x29c8000000000006f9f8000000000000 [0x80] 0010100111001000 0000000000000000 0000000000000000 0000000000000110 1111100111111000 0000000000000000 0000000000000000 0000000000000000
    0x007421 +0x3280:                                    0x0 [0x80] 0…
    0x0074a1 +0x3300:                    0x7c658000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000111 1100011001011000 0000000000000000 0000000000000000 0000000000000000
    0x007521 +0x3380:                    0x46a58000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000100 0110101001011000 0000000000000000 0000000000000000 0000000000000000
    0x0075a1 +0x3400:                    0x70de0000000000005 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000111 0000110111100000 0000000000000000 0000000000000000 0000000000000101
    0x007621 +0x3480:     0xe6600000000000000000000000000007 [0x80] 1110011001100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000111
    0x0076a1 +0x3500:     0x17c80004642800000000000000000000 [0x80] 0001011111001000 0000000000000100 0110010000101000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x007721 +0x3580:                            0x71fe00007 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000111 0001111111100000 0000000000000111
    0x0077a1 +0x3600:     0xba8800089230000521a8000436400000 [0x80] 1011101010001000 0000000000001000 1001001000110000 0000000000000101 0010000110101000 0000000000000100 0011011001000000 0000000000000000
    0x007821 +0x3680:                            0x35e700000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000011 0101111001110000 0000000000000000
    0x0078a1 +0x3700:        0x800f09c0000000001005582000000 [0x80] 0000000000001000 0000000011110000 1001110000000000 0000000000000000 0000000000000001 0000000001010101 1000001000000000 0000000000000000
    0x007921 +0x3780:       0x800000000000000000000000000000 [0x80] 0000000010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0079a1 +0x3800:                                    0x0 [0x80] 0…
    0x007a21 +0x3880:                                   0x38 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000111000
    0x007aa1 +0x3900:     0x470000000000000000000027d300002f [0x80] 0100011100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000100111 1101001100000000 0000000000101111
    0x007b21 +0x3980:     0x4bc000000000003a5580000000000037 [0x80] 0100101111000000 0000000000000000 0000000000000000 0000000000111010 0101010110000000 0000000000000000 0000000000000000 0000000000110111
    0x007ba1 +0x3a00:     0x7900003011c00000000000250ac00000 [0x80] 0111100100000000 0000000000110000 0001000111000000 0000000000000000 0000000000000000 0000000000100101 0000101011000000 0000000000000000
    0x007c21 +0x3a80:                                   0x36 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000110110
    0x007ca1 +0x3b00:     0x9a0000243d000000000000000000003a [0x80] 1001101000000000 0000000000100100 0011110100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000111010
    0x007d21 +0x3b80:      0x64000000000002faec0003578400000 [0x80] 0000011001000000 0000000000000000 0000000000000000 0000000000101111 1010111011000000 0000000000110101 0111100001000000 0000000000000000
    0x007da1 +0x3c00:                           0x3470400024 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000110100 0111000001000000 0000000000100100
    0x007e21 +0x3c80:      0xb80004319000039c580000000000043 [0x80] 0000101110000000 0000000001000011 0001100100000000 0000000000111001 1100010110000000 0000000000000000 0000000000000000 0000000001000011
    0x007ea1 +0x3d00:     0x4a8000000000003639c0000000000000 [0x80] 0100101010000000 0000000000000000 0000000000000000 0000000000110110 0011100111000000 0000000000000000 0000000000000000 0000000000000000
    0x007f21 +0x3d80:                   0x298900002723c0002e [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000101001 1000100100000000 0000000000100111 0010001111000000 0000000000101110
    0x007fa1 +0x3e00:     0xe8c0003608400035c780003074c00000 [0x80] 1110100011000000 0000000000110110 0000100001000000 0000000000110101 1100011110000000 0000000000110000 0111010011000000 0000000000000000
    0x008021 +0x3e80:                                   0x25 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000100101
    0x0080a1 +0x3f00:     0x3c400028f48000219940002836000039 [0x80] 0011110001000000 0000000000101000 1111010010000000 0000000000100001 1001100101000000 0000000000101000 0011011000000000 0000000000111001
    0x008121 +0x3f80:     0x6700000000000037e880000000000000 [0x80] 0110011100000000 0000000000000000 0000000000000000 0000000000110111 1110100010000000 0000000000000000 0000000000000000 0000000000000000
    0x0081a1 +0x4000:                                    0x0 [0x80] 0…
    0x008221 +0x4080:                   0x3e4b80000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000111110 0100101110000000 0000000000000000 0000000000000000 0000000000000000
    0x0082a1 +0x4100:                   0x236b80000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000100011 0110101110000000 0000000000000000 0000000000000000 0000000000000000
    0x008321 +0x4180:                   0x3887c000000000002f [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000111000 1000011111000000 0000000000000000 0000000000000000 0000000000101111
    0x0083a1 +0x4200:     0x1a400000000000000000000000000038 [0x80] 0001101001000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000111000
    0x008421 +0x4280:     0xd70000233a0000000000000000000000 [0x80] 1101011100000000 0000000000100011 0011101000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0084a1 +0x4300:                           0x3917c0003d [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000111001 0001011111000000 0000000000111101
    0x008521 +0x4380:     0xed000044aa40002926000021cac00000 [0x80] 1110110100000000 0000000001000100 1010101001000000 0000000000101001 0010011000000000 0000000000100001 1100101011000000 0000000000000000
    0x0085a1 +0x4400:                           0x1e52c00000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000011110 0101001011000000 0000000000000000
    0x008621 +0x4480:       0x80085cb0000000000802ac11ffffff [0x80] 0000000010000000 0000100001011100 1011000000000000 0000000000000000 0000000000001000 0000001010101100 0001000111111111 1111111111111111
    0x0086a1 +0x4500:     0xfe000000000100562140000000800000 [0x80] 1111111000000000 0000000000000000 0000000000000001 0000000001010110 0010000101000000 0000000000000000 0000000010000000 0000000000000000
    0x008721 +0x4580:         0x200ac42ffffffff0000000000401 [0x80] 0000000000000000 0010000000001010 1100010000101111 1111111111111111 1111111111110000 0000000000000000 0000000000000000 0000010000000001
    0x0087a1 +0x4600:     0x540b000000020000000000802a816000 [0x80] 0101010000001011 0000000000000000 0000000000000010 0000000000000000 0000000000000000 0000000010000000 0010101010000001 0110000000000000
    0x008821 +0x4680:                   0x10039b7c0000000080 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000010000 0000001110011011 0111110000000000 0000000000000000 0000000010000000
    0x0088a1 +0x4700:     0x1df3c00000000401e7ab00801e2da000 [0x80] 0001110111110011 1100000000000000 0000000000000000 0000010000000001 1110011110101011 0000000010000000 0001111000101101 1010000000000000
    0x008921 +0x4780:           0x10058024020077cf0000000000 [0x80] 0000000000000000 0000000000010000 0000010110000000 0010010000000010 0000000001110111 1100111100000000 0000000000000000 0000000000000000
    0x0089a1 +0x4800:     0x400f02800221500200b0570011428010 [0x80] 0100000000001111 0000001010000000 0000001000100001 0101000000000010 0000000010110000 0101011100000000 0001000101000010 1000000000010000
    0x008a21 +0x4880:      0x59788008a5100802d62c00454700401 [0x80] 0000010110010111 1000100000000000 1000101001010001 0000000010000000 0010110101100010 1100000000000100 0101010001110000 0000010000000001
    0x008aa1 +0x4900:     0x6f1c0023b5c00000000001161001005c [0x80] 0110111100011100 0000000000100011 1011010111000000 0000000000000000 0000000000000000 0000000100010110 0001000000000001 0000000001011100
    0x008b21 +0x4980:     0x84c008b4500802e9200045c10040176f [0x80] 1000010011000000 0000100010110100 0101000000001000 0000001011101001 0010000000000000 0100010111000001 0000000001000000 0001011101101111
    0x008ba1 +0x4a00:     0x300000000200b9098000000100000000 [0x80] 0011000000000000 0000000000000000 0000001000000000 1011100100001001 1000000000000000 0000000000000001 0000000000000000 0000000000000000
    0x008c21 +0x4a80:       0x4017213ffffffff0000000000802ed [0x80] 0000000001000000 0001011100100001 0011111111111111 1111111111111111 1111000000000000 0000000000000000 0000000000001000 0000001011101101
    0x008ca1 +0x4b00:     0xe6000000040000000001005dbcffffff [0x80] 1110011000000000 0000000000000000 0000010000000000 0000000000000000 0000000000000001 0000000001011101 1011110011111111 1111111111111111
    0x008d21 +0x4b80:     0xff8000000000200ba480000000100000 [0x80] 1111111110000000 0000000000000000 0000000000000000 0010000000001011 1010010010000000 0000000000000000 0000000000010000 0000000000000000
    0x008da1 +0x4c00:          0x4017490fffffffd000000000080 [0x80] 0000000000000000 0000010000000001 0111010010010000 1111111111111111 1111111111111101 0000000000000000 0000000000000000 0000000010000000
    0x008e21 +0x4c80:     0x2df80000000040000000001005bf0000 [0x80] 0010110111111000 0000000000000000 0000000000000000 0100000000000000 0000000000000000 0000000000010000 0000010110111111 0000000000000000
    0x008ea1 +0x4d00:          0x4000000000200be5e001243a000 [0x80] 0000000000000000 0000010000000000 0000000000000000 0000000000000010 0000000010111110 0101111000000000 0001001001000011 1010000000000000
    0x008f21 +0x4d80:             0x8f5100802ff660047c700401 [0x80] 0000000000000000 0000000000000000 1000111101010001 0000000010000000 0010111111110110 0110000000000100 0111110001110000 0000010000000001
    0x008fa1 +0x4e00:     0x821600000000200c10b0000000100000 [0x80] 1000001000010110 0000000000000000 0000000000000000 0010000000001100 0001000010110000 0000000000000000 0000000000010000 0000000000000000
    0x009021 +0x4e80:          0x4018216ffffffff000000000080 [0x80] 0000000000000000 0000010000000001 1000001000010110 1111111111111111 1111111111111111 0000000000000000 0000000000000000 0000000010000000
    0x0090a1 +0x4f00:     0x2ff66000000040000000001005fecfff [0x80] 0010111111110110 0110000000000000 0000000000000000 0100000000000000 0000000000000000 0000000000010000 0000010111111110 1100111111111111
    0x009121 +0x4f80:     0xfffff8000000000200beb00000000080 [0x80] 1111111111111111 1111100000000000 0000000000000000 0000000000000010 0000000010111110 1011000000000000 0000000000000000 0000000010000000
    0x0091a1 +0x5000:             0x4017d6000000001000000000 [0x80] 0000000000000000 0000000000000000 0100000000010111 1101011000000000 0000000000000000 0000000000010000 0000000000000000 0000000000000000
    0x009221 +0x5080:      0x8030e84004c360000000000024a5c02 [0x80] 0000100000000011 0000111010000100 0000000001001100 0011011000000000 0000000000000000 0000000000000000 0000001001001010 0101110000000010
    0x0092a1 +0x5100:       0xc51c80125a80100632d80093110080 [0x80] 0000000011000101 0001110010000000 0001001001011010 1000000000010000 0000011000110010 1101100000000000 1001001100010001 0000000010000000
    0x009321 +0x5180:     0x31e660049a70040192520024e2c0200c [0x80] 0011000111100110 0110000000000100 1001101001110000 0000010000000001 1001001001010010 0000000000100100 1110001011000000 0010000000001100
    0x0093a1 +0x5200:     0xab880000000100628e40000000800000 [0x80] 1010101110001000 0000000000000000 0000000000000001 0000000001100010 1000111001000000 0000000000000000 0000000010000000 0000000000000000
    0x009421 +0x5280:         0x200c51cffffffff8000000000401 [0x80] 0000000000000000 0010000000001100 0101000111001111 1111111111111111 1111111111111000 0000000000000000 0000000000000000 0000010000000001
    0x0094a1 +0x5300:     0x8cb6000000020000000000803196dfff [0x80] 1000110010110110 0000000000000000 0000000000000010 0000000000000000 0000000000000000 0000000010000000 0011000110010110 1101111111111111
    0x009521 +0x5380:     0xffffc00000000010063ccc0000000800 [0x80] 1111111111111111 1100000000000000 0000000000000000 0000000000010000 0000011000111100 1100110000000000 0000000000000000 0000100000000000
    0x0095a1 +0x5400:            0x200c799fffffffe8000000000 [0x80] 0000000000000000 0000000000000010 0000000011000111 1001100111111111 1111111111111111 1111111010000000 0000000000000000 0000000000000000
    0x009621 +0x5480:     0x401925200000002000000000080324a5 [0x80] 0100000000011001 0010010100100000 0000000000000000 0000000000100000 0000000000000000 0000000000000000 0000100000000011 0010010010100101
    0x0096a1 +0x5500:     0xfffffff8000000000100655c40000000 [0x80] 1111111111111111 1111111111111000 0000000000000000 0000000000000000 0000000100000000 0110010101011100 0100000000000000 0000000000000000
    0x009721 +0x5580:     0x8000000000200cab8fffffffd8000000 [0x80] 1000000000000000 0000000000000000 0000000000100000 0000110010101011 1000111111111111 1111111111111111 1101100000000000 0000000000000000
    0x0097a1 +0x5600:        0x40187e60000000500000000008030 [0x80] 0000000000000100 0000000110000111 1110011000000000 0000000000000000 0000010100000000 0000000000000000 0000000000000000 1000000000110000
    0x009821 +0x5680:     0xfcc00000000000000000100672dc009d [0x80] 1111110011000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001000000000110 0111001011011100 0000000010011101
    0x0098a1 +0x5700:     0xb8000000000004c73004019fae002648 [0x80] 1011100000000000 0000000000000000 0000000000000000 0000010011000111 0011000000000100 0000000110011111 1010111000000000 0010011001001000
    0x009921 +0x5780:     0xc0200d11580132c001006952800999d0 [0x80] 1100000000100000 0000110100010001 0101100000000001 0011001011000000 0000000100000000 0110100101010010 1000000000001001 1001100111010000
    0x0099a1 +0x5800:      0x80350d2000000004019fae000000020 [0x80] 0000100000000011 0101000011010010 0000000000000000 0000000000000000 0100000000011001 1111101011100000 0000000000000000 0000000000100000
    0x009a21 +0x5880:              0x8033f5dfffffffe00000000 [0x80] 0000000000000000 0000000000000000 0000100000000011 0011111101011101 1111111111111111 1111111111111110 0000000000000000 0000000000000000
    0x009aa1 +0x5900:      0x100688ac00000008000000000200d11 [0x80] 0000000100000000 0110100010001010 1100000000000000 0000000000000000 1000000000000000 0000000000000000 0000000000100000 0000110100010001
    0x009b21 +0x5980:     0x5ffffffff0000000000401a54a000000 [0x80] 0101111111111111 1111111111111111 1111000000000000 0000000000000000 0000000000000100 0000000110100101 0100101000000000 0000000000000000
    0x009ba1 +0x5a00:      0x200000000008034a95fffffffa00000 [0x80] 0000001000000000 0000000000000000 0000000000000000 1000000000110100 1010100101011111 1111111111111111 1111111110100000 0000000000000000
    0x009c21 +0x5a80:         0x1006a1a400000008000000000200 [0x80] 0000000000000000 0001000000000110 1010000110100100 0000000000000000 0000000000001000 0000000000000000 0000000000000000 0000001000000000
    0x009ca1 +0x5b00:     0xd434fffffffe00000000004019d5b000 [0x80] 1101010000110100 1111111111111111 1111111111111110 0000000000000000 0000000000000000 0000000001000000 0001100111010101 1011000000000000
    0x009d21 +0x5b80:         0x400000000008033ab60000000000 [0x80] 0000000000000000 0100000000000000 0000000000000000 0000000000001000 0000001100111010 1011011000000000 0000000000000000 0000000000000000
    0x009da1 +0x5c00:            0x1006bc4800a20100000000000 [0x80] 0000000000000000 0000000000000001 0000000001101011 1100010010000000 0000101000100000 0001000000000000 0000000000000000 0000000000000000
    0x009e21 +0x5c80:     0x4f1900401b20900279bc0200da430013 [0x80] 0100111100011001 0000000001000000 0001101100100000 1001000000000010 0111100110111100 0000001000000000 1101101001000011 0000000000010011
    0x009ea1 +0x5d00:     0xd5801006dba400000000803641200000 [0x80] 1101010110000000 0001000000000110 1101101110100100 0000000000000000 0000000000000000 1000000000110110 0100000100100000 0000000000000000
    0x009f21 +0x5d80:       0x40000000001006c827fffffffc0000 [0x80] 0000000001000000 0000000000000000 0000000000000000 0001000000000110 1100100000100111 1111111111111111 1111111111111100 0000000000000000
    0x009fa1 +0x5e00:          0x200da430000000100004db30040 [0x80] 0000000000000000 0000001000000000 1101101001000011 0000000000000000 0000000000000001 0000000000000000 0100110110110011 0000000001000000
    0x00a021 +0x5e80:     0x1b486fffffffe00009bc9008036dd200 [0x80] 0001101101001000 0110111111111111 1111111111111111 1110000000000000 0000100110111100 1001000000001000 0000001101101101 1101001000000000
    0x00a0a1 +0x5f00:          0x40000000001006dba7fffffff40 [0x80] 0000000000000000 0000010000000000 0000000000000000 0000000000000001 0000000001101101 1011101001111111 1111111111111111 1111111101000000
    0x00a121 +0x5f80:             0x200d7db00000000800000000 [0x80] 0000000000000000 0000000000000000 0010000000001101 0111110110110000 0000000000000000 0000000000001000 0000000000000000 0000000000000000
    0x00a1a1 +0x6000:      0x401afb6000000020000000000803783 [0x80] 0000010000000001 1010111110110110 0000000000000000 0000000000000010 0000000000000000 0000000000000000 0000000010000000 0011011110000011
    0x00a221 +0x6080:     0x200000000000000000289ec0200df880 [0x80] 0010000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000101000 1001111011000000 0010000000001101 1111100010000000
    0x00a2a1 +0x6100:      0x145700100705cc00a2f50080387e000 [0x80] 0000000101000101 0111000000000001 0000000001110000 0101110011000000 0000101000101111 0101000000001000 0000001110000111 1110000000000000
    0x00a321 +0x6180:     0x519900401c70f00000000200e0b98000 [0x80] 0101000110011001 0000000001000000 0001110001110000 1111000000000000 0000000000000000 0000001000000000 1110000010111001 1000000000000000
    0x00a3a1 +0x6200:        0x10000000000401c173ffffffff000 [0x80] 0000000000000001 0000000000000000 0000000000000000 0000000001000000 0001110000010111 0011111111111111 1111111111111111 1111000000000000
    0x00a421 +0x6280:            0x80387e0000000040000000001 [0x80] 0000000000000000 0000000000001000 0000001110000111 1110000000000000 0000000000000000 0000010000000000 0000000000000000 0000000000000001
    0x00a4a1 +0x6300:       0x70fc3fffffff8000000000200e3878 [0x80] 0000000001110000 1111110000111111 1111111111111111 1111111110000000 0000000000000000 0000000000000000 0010000000001110 0011100001111000
    0x00a521 +0x6380:           0x100004aaa00401c70ffffffffd [0x80] 0000000000000000 0000000000010000 0000000000000100 1010101010100000 0000010000000001 1100011100001111 1111111111111111 1111111111111101
    0x00a5a1 +0x6400:         0x95b7008037e20000000040000000 [0x80] 0000000000000000 1001010110110111 0000000010000000 0011011111100010 0000000000000000 0000000000000000 0100000000000000 0000000000000000
    0x00a621 +0x6480:       0x1006fc43fffffff0000000000200de [0x80] 0000000000010000 0000011011111100 0100001111111111 1111111111111111 1111000000000000 0000000000000000 0000000000000010 0000000011011110
    0x00a6a1 +0x6500:     0x5e800000018000340880401bcbd00000 [0x80] 0101111010000000 0000000000000000 0000000110000000 0000000000110100 0000100010000000 0100000000011011 1100101111010000 0000000000000000
    0x00a721 +0x6580:       0x100006a4e000000000000000000000 [0x80] 0000000000010000 0000000000000110 1010010011100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00a7a1 +0x6600:                                    0x0 [0x200] 0…
    0x00a9a1 +0x6800:                            0xb46700000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001011 0100011001110000 0000000000000000
    0x00aa21 +0x6880:                                    0x0 [0x200] 0…
    0x00ac21 +0x6a80:            0xc513000000000000000000000 [0x80] 0000000000000000 0000000000001100 0101000100110000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00aca1 +0x6b00:                                    0x0 [0x700] 0…
    0x00b3a1 +0x7200:                            0xa74d00000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000001010 0111010011010000 0000000000000000
    0x00b421 +0x7280:      0x10002cf34000000000200b004800000 [0x80] 0000000100000000 0000001011001111 0011010000000000 0000000000000000 0000000000000010 0000000010110000 0000010010000000 0000000000000000
    0x00b4a1 +0x7300:           0x44eb800000000040160ae00802 [0x80] 0000000000000000 0000000001000100 1110101110000000 0000000000000000 0000000000000000 0100000000010110 0000101011100000 0000100000000010
    0x00b521 +0x7380:     0xc012000000000100597880200b004800 [0x80] 1100000000010010 0000000000000000 0000000000000000 0000000100000000 0101100101111000 1000000000100000 0000101100000000 0100100000000000
    0x00b5a1 +0x7400:            0x4016b1600802c012000000000 [0x80] 0000000000000000 0000000000000100 0000000101101011 0001011000000000 1000000000101100 0000000100100000 0000000000000000 0000000000000000
    0x00b621 +0x7480:     0x1005bc700200b00480000000004017cb [0x80] 0001000000000101 1011110001110000 0000001000000000 1011000000000100 1000000000000000 0000000000000000 0000000001000000 0001011111001011
    0x00b6a1 +0x7500:     0xc00802c01200000000010061d080200b [0x80] 1100000000001000 0000001011000000 0001001000000000 0000000000000000 0000000000000001 0000000001100001 1101000010000000 0010000000001011
    0x00b721 +0x7580:       0x480000000004019cb700802c012000 [0x80] 0000000001001000 0000000000000000 0000000000000000 0000010000000001 1001110010110111 0000000010000000 0010110000000001 0010000000000000
    0x00b7a1 +0x7600:           0x1006bc480200b0048000000000 [0x80] 0000000000000000 0000000000010000 0000011010111100 0100100000000010 0000000010110000 0000010010000000 0000000000000000 0000000000000000
    0x00b821 +0x7680:     0x401bc1900802c0120000000000000000 [0x80] 0100000000011011 1100000110010000 0000100000000010 1100000000010010 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00b8a1 +0x7700:        0x174b4000000000000000000000000 [0x80] 0000000000000001 0111010010110100 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00b921 +0x7780:                                    0x0 [0x80] 0…
    0x00b9a1 +0x7800:                        0x1710000000022 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0111000100000000 0000000000000000 0000000000100010
    0x00ba21 +0x7880:       0x5ce000000000004016009000000000 [0x80] 0000000001011100 1110000000000000 0000000000000000 0000000000000000 0100000000010110 0000000010010000 0000000000000000 0000000000000000
    0x00baa1 +0x7900:                      0x803cb980000001e [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000100000000011 1100101110011000 0000000000000000 0000000000011110
    0x00bb21 +0x7980:              0x10079730000000040000000 [0x80] 0000000000000000 0000000000000000 0000000100000000 0111100101110011 0000000000000000 0000000000000000 0100000000000000 0000000000000000
    0x00bba1 +0x7a00:       0x200b0a900000008000050090040161 [0x80] 0000000000100000 0000101100001010 1001000000000000 0000000000000000 1000000000000000 0000010100000000 1001000000000100 0000000101100001
    0x00bc21 +0x7a80:     0x520000000100009faf00802cd0c00000 [0x80] 0101001000000000 0000000000000000 0000000100000000 0000000010011111 1010111100000000 1000000000101100 1101000011000000 0000000000000000
    0x00bca1 +0x7b00:      0x2200000000010059a18000000040000 [0x80] 0000001000100000 0000000000000000 0000000000000000 0001000000000101 1001101000011000 0000000000000000 0000000000000100 0000000000000000
    0x00bd21 +0x7b80:          0x200b5dd0000000900004d1e8040 [0x80] 0000000000000000 0000001000000000 1011010111011101 0000000000000000 0000000000001001 0000000000000000 0100110100011110 1000000001000000
    0x00bda1 +0x7c00:     0x16bba00000001000099da00802df8000 [0x80] 0001011010111011 1010000000000000 0000000000000000 0001000000000000 0000100110011101 1010000000001000 0000001011011111 1000000000000000
    0x00be21 +0x7c80:         0x260000000001005bf00000000040 [0x80] 0000000000000000 0010011000000000 0000000000000000 0000000000000001 0000000001011011 1111000000000000 0000000000000000 0000000001000000
    0x00bea1 +0x7d00:             0x200beb00000000a000000000 [0x80] 0000000000000000 0000000000000000 0010000000001011 1110101100000000 0000000000000000 0000000010100000 0000000000000000 0000000000000000
    0x00bf21 +0x7d80:      0x4017d600000000100000000008030fc [0x80] 0000010000000001 0111110101100000 0000000000000000 0000000000000001 0000000000000000 0000000000000000 0000000010000000 0011000011111100
    0x00bfa1 +0x7e00:     0xc0000002a00000000010061f98000000 [0x80] 1100000000000000 0000000000000010 1010000000000000 0000000000000000 0000000000010000 0000011000011111 1001100000000000 0000000000000000
    0x00c021 +0x7e80:      0x4000000000200cead8000000b000000 [0x80] 0000010000000000 0000000000000000 0000000000000010 0000000011001110 1010110110000000 0000000000000000 0000101100000000 0000000000000000
    0x00c0a1 +0x7f00:         0x4019d5b000000010000000000803 [0x80] 0000000000000000 0100000000011001 1101010110110000 0000000000000000 0000000000010000 0000000000000000 0000000000000000 0000100000000011
    0x00c121 +0x7f80:     0x5f6c0000002e0000000001006bed8000 [0x80] 0101111101101100 0000000000000000 0000000000101110 0000000000000000 0000000000000000 0000000100000000 0110101111101101 1000000000000000
    0x00c1a1 +0x8000:         0x4000000000200de5e8000000c000 [0x80] 0000000000000000 0100000000000000 0000000000000000 0000000000100000 0000110111100101 1110100000000000 0000000000000000 1100000000000000
    0x00c221 +0x8080:            0x401bcbd000000010000000000 [0x80] 0000000000000000 0000000000000100 0000000110111100 1011110100000000 0000000000000000 0000000100000000 0000000000000000 0000000000000000
    0x00c2a1 +0x8100:               0xc473000000000000000000 [0x80] 0000000000000000 0000000000000000 0000000011000100 0111001100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00c321 +0x8180:                                    0x0 [0x80] 0…
    0x00c3a1 +0x8200:                               0xc29900 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000011000010 1001100100000000
    0x00c421 +0x8280:         0x160030f64000000000200b004800 [0x80] 0000000000000000 0001011000000000 0011000011110110 0100000000000000 0000000000000000 0000000000100000 0000101100000000 0100100000000000
    0x00c4a1 +0x8300:         0xc8000000000400ef9e0000000020 [0x80] 0000000000000000 1100100000000000 0000000000000000 0000000000000100 0000000011101111 1001111000000000 0000000000000000 0000000000100000
    0x00c521 +0x8380:      0x6e6d800000000000246780000000004 [0x80] 0000011011100110 1101100000000000 0000000000000000 0000000000000000 0000001001000110 0111100000000000 0000000000000000 0000000000000100
    0x00c5a1 +0x8400:       0xdd9a00801b9b600000000010038120 [0x80] 0000000011011101 1001101000000000 1000000000011011 1001101101100000 0000000000000000 0000000000000000 0001000000000011 1000000100100000
    0x00c621 +0x8480:      0x2006e6d8000000000400e31e00801b9 [0x80] 0000001000000000 0110111001101101 1000000000000000 0000000000000000 0000000001000000 0000111000110001 1110000000001000 0000000110111001
    0x00c6a1 +0x8500:     0xb6000000000100398ec02006e6d80000 [0x80] 1011011000000000 0000000000000000 0000000000000001 0000000000111001 1000111011000000 0010000000000110 1110011011011000 0000000000000000
    0x00c721 +0x8580:          0x400ef9e00801b9b600018cc4010 [0x80] 0000000000000000 0000010000000000 1110111110011110 0000000010000000 0001101110011011 0110000000000000 0001100011001100 0100000000010000
    0x00c7a1 +0x8600:      0x3736c00000000000000000000000000 [0x80] 0000001101110011 0110110000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00c821 +0x8680:                                    0x0 [0x80] 0…
    0x00c8a1 +0x8700:                     0xc9ab000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1100100110101011 0000000000000000 0000000000000000 0000000000000000
    0x00c921 +0x8780:             0xc7d100000012003244400000 [0x80] 0000000000000000 0000000000000000 1100011111010001 0000000000000000 0000000000010010 0000000000110010 0100010001000000 0000000000000000
    0x00c9a1 +0x8800:         0x2006d55000000000000000000000 [0x80] 0000000000000000 0010000000000110 1101010101010000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00ca21 +0x8880:                0x8000000100400f0280080 [0x80] 0000000000000000 0000000000000000 0000000000001000 0000000000000000 0000000000010000 0000010000000000 1111000000101000 0000000010000000
    0x00caa1 +0x8900:     0x1cdbe000196dc0000000000019568000 [0x80] 0001110011011011 1110000000000000 0001100101101101 1100000000000000 0000000000000000 0000000000000000 0001100101010110 1000000000000000
    0x00cb21 +0x8980:        0x6400656a0000000000400ad120000 [0x80] 0000000000000110 0100000000000110 0101011010100000 0000000000000000 0000000000000000 0000010000000000 1010110100010010 0000000000000000
    0x00cba1 +0x8a00:     0xca2e000000000000cc8b000000000000 [0x80] 1100101000101110 0000000000000000 0000000000000000 0000000000000000 1100110010001011 0000000000000000 0000000000000000 0000000000000000
    0x00cc21 +0x8a80:     0xcbd1000000380032fc40000000002006 [0x80] 1100101111010001 0000000000000000 0000000000111000 0000000000110010 1111110001000000 0000000000000000 0000000000000000 0010000000000110
    0x00cca1 +0x8b00:     0xd5540000004800165150000000100000 [0x80] 1101010101010100 0000000000000000 0000000001001000 0000000000010110 0101000101010000 0000000000000000 0000000000010000 0000000000000000
    0x00cd21 +0x8b80:        0x800000090002ca2a0000000200000 [0x80] 0000000000001000 0000000000000000 0000000010010000 0000000000101100 1010001010100000 0000000000000000 0000000000100000 0000000000000000
    0x00cda1 +0x8c00:           0x19ccc0000000000019b5800000 [0x80] 0000000000000000 0000000000011001 1100110011000000 0000000000000000 0000000000000000 0000000000011001 1011010110000000 0000000000000000
    0x00ce21 +0x8c80:      0x2e0066e60000000000400daaa001ff9 [0x80] 0000001011100000 0000011001101110 0110000000000000 0000000000000000 0000000000000100 0000000011011010 1010101000000000 0001111111111001
    0x00cea1 +0x8d00:      0xa000000009d8b800000000000000100 [0x80] 0000101000000000 0000000000000000 0000000010011101 1000101110000000 0000000000000000 0000000000000000 0000000000000000 0000000100000000
    0x00cf21 +0x8d80:        0x19d9200000000000000000001b6fe [0x80] 0000000000000001 1001110110010010 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 1011011011111110
    0x00cfa1 +0x8e00:                0x1bdf6000000000001b382 [0x80] 0000000000000000 0000000000000000 0000000000000001 1011110111110110 0000000000000000 0000000000000000 0000000000000001 1011001110000010
    0x00d021 +0x8e80:        0x1a2340001ba7a0000000000000000 [0x80] 0000000000000001 1010001000110100 0000000000000001 1011101001111010 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00d0a1 +0x8f00:        0x19e80000000380068400000000000 [0x80] 0000000000000001 1001111010000000 0000000000000000 0000000000111000 0000000001101000 0100000000000000 0000000000000000 0000000000000000
    0x00d121 +0x8f80:        0xcec98000000000000cec900000000 [0x80] 0000000000001100 1110110010011000 0000000000000000 0000000000000000 0000000000000000 1100111011001001 0000000000000000 0000000000000000
    0x00d1a1 +0x9000:                 0x19d92000000020000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0001100111011001 0010000000000000 0000000000000000 0010000000000000 0000000000000000
    0x00d221 +0x9080:          0x33b2400d7810000d43b00000000 [0x80] 0000000000000000 0000001100111011 0010010000000000 1101011110000001 0000000000000000 1101010000111011 0000000000000000 0000000000000000
    0x00d2a1 +0x9100:                                    0x0 [0x100] 0…
    0x00d3a1 +0x9200:                 0xd2610000002f0034e840 [0x80] 0000000000000000 0000000000000000 0000000000000000 1101001001100001 0000000000000000 0000000000101111 0000000000110100 1110100001000000
    0x00d421 +0x9280:             0x20071d400c00d21400000000 [0x80] 0000000000000000 0000000000000000 0010000000000111 0001110101000000 0000110000000000 1101001000010100 0000000000000000 0000000000000000
    0x00d4a1 +0x9300:     0x9d8b8000000000000000d01801a9ae00 [0x80] 1001110110001011 1000000000000000 0000000000000000 0000000000000000 0000000000000000 1101000000011000 0000000110101001 1010111000000000
    0x00d521 +0x9380:       0x352840200aeae0000000000000d4a1 [0x80] 0000000000110101 0010100001000000 0010000000001010 1110101011100000 0000000000000000 0000000000000000 0000000000000000 1101010010100001
    0x00d5a1 +0x9400:            0x20000000000001a9420000000 [0x80] 0000000000000000 0000000000000010 0000000000000000 0000000000000000 0000000000000000 0001101010010100 0010000000000000 0000000000000000
    0x00d621 +0x9480:     0x4000000013b170000000000000000604 [0x80] 0100000000000000 0000000000000000 0001001110110001 0111000000000000 0000000000000000 0000000000000000 0000000000000000 0000011000000100
    0x00d6a1 +0x9500:      0x23f03800006b2200000000000000000 [0x80] 0000001000111111 0000001110000000 0000000000000110 1011001000100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00d721 +0x9580:         0xd644000000020000000000001ac8 [0x80] 0000000000000000 1101011001000100 0000000000000000 0000000000000010 0000000000000000 0000000000000000 0000000000000000 0001101011001000
    0x00d7a1 +0x9600:     0x8006d6580401540b0000000200009aa0 [0x80] 1000000000000110 1101011001011000 0000010000000001 0101010000001011 0000000000000000 0000000000000010 0000000000000000 1001101010100000
    0x00d821 +0x9680:       0x802a81600000006000136060000128 [0x80] 0000000010000000 0010101010000001 0110000000000000 0000000000000000 0110000000000000 0001001101100000 0110000000000000 0000000100101000
    0x00d8a1 +0x9700:              0x80002f96000002500000000 [0x80] 0000000000000000 0000000000000000 0000100000000000 0000001011111001 0110000000000000 0000000000100101 0000000000000000 0000000000000000
    0x00d921 +0x9780:      0x200005efacec5c00000000000000060 [0x80] 0000001000000000 0000000001011110 1111101011001110 1100010111000000 0000000000000000 0000000000000000 0000000000000000 0000000001100000
    0x00d9a1 +0x9800:         0xd94a00001b2950000000000001b2 [0x80] 0000000000000000 1101100101001010 0000000000000000 0001101100101001 0101000000000000 0000000000000000 0000000000000000 0000000110110010
    0x00da21 +0x9880:     0x940000000000017fc800003652800000 [0x80] 1001010000000000 0000000000000000 0000000000000000 0000000101111111 1100100000000000 0000000000110110 0101001010000000 0000000000000000
    0x00daa1 +0x9900:       0xc0002fe0400006ca5001b9133b1700 [0x80] 0000000011000000 0000000000101111 1110000001000000 0000000000000110 1100101001010000 0000000110111001 0001001100111011 0001011100000000
    0x00db21 +0x9980:                  0x1e010039b7c00006d84 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000111100000 0001000000000011 1001101101111100 0000000000000000 0110110110000100
    0x00dba1 +0x9a00:     0x40000000000006d84000000000000000 [0x80] 0100000000000000 0000000000000000 0000000000000000 0000011011011000 0100000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00dc21 +0x9a80:           0xdb08000000040000000000001b [0x80] 0000000000000000 0000000011011011 0000100000000000 0000000000000000 0000010000000000 0000000000000000 0000000000000000 0000000000011011
    0x00dca1 +0x9b00:     0x610006f23cec5c000000000000000880 [0x80] 0110000100000000 0000011011110010 0011110011101100 0101110000000000 0000000000000000 0000000000000000 0000000000000000 0000100010000000
    0x00dd21 +0x9b80:     0x400f02800001b98d0000000000001b98 [0x80] 0100000000001111 0000001010000000 0000000000000001 1011100110001101 0000000000000000 0000000000000000 0000000000000000 0001101110011000
    0x00dda1 +0x9c00:     0xc00000000000182e0000037318000000 [0x80] 1100000000000000 0000000000000000 0000000000000000 0001100000101110 0000000000000000 0000001101110011 0001100000000000 0000000000000000
    0x00de21 +0x9c80:     0x140003043400006e63001c00b3b17000 [0x80] 0001010000000000 0000001100000100 0011010000000000 0000000001101110 0110001100000000 0001110000000000 1011001110110001 0111000000000000
    0x00dea1 +0x9d00:                 0x2401003c0a000006f424 [0x80] 0000000000000000 0000000000000000 0000000000000000 0010010000000001 0000000000111100 0000101000000000 0000000000000110 1111010000100100
    0x00df21 +0x9d80:                 0x6f420000000000005da0 [0x80] 0000000000000000 0000000000000000 0000000000000000 0110111101000010 0000000000000000 0000000000000000 0000000000000000 0101110110100000
    0x00dfa1 +0x9e00:          0xde84000000060000badd00001bd [0x80] 0000000000000000 0000110111101000 0100000000000000 0000000000000000 0110000000000000 0000101110101101 1101000000000000 0000000110111101
    0x00e021 +0x9e80:      0x80070bfcec5c0000000000000009814 [0x80] 0000100000000000 0111000010111111 1100111011000101 1100000000000000 0000000000000000 0000000000000000 0000000000000000 1001100000010100
    0x00e0a1 +0x9f00:       0xd0ca00001c08400000000000000000 [0x80] 0000000011010000 1100101000000000 0000000000011100 0000100001000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00e121 +0x9f80:        0x381080000001c0000000000007021 [0x80] 0000000000000011 1000000100001000 0000000000000000 0000000000011100 0000000000000000 0000000000000000 0000000000000000 0111000000100001
    0x00e1a1 +0xa000:       0x1c77e01003c0a00000000800000000 [0x80] 0000000000011100 0111011111100000 0001000000000011 1100000010100000 0000000000000000 0000000000001000 0000000000000000 0000000000000000
    0x00e221 +0xa080:      0x200781400000003000000004ec5c000 [0x80] 0000001000000000 0111100000010100 0000000000000000 0000000000000011 0000000000000000 0000000000000000 0100111011000101 1100000000000000
    0x00e2a1 +0xa100:                 0x101008dcc900001c5040 [0x80] 0000000000000000 0000000000000000 0000000000000000 0001000000010000 0000100011011100 1100100100000000 0000000000011100 0101000001000000
    0x00e321 +0xa180:                        0x38a0800000020 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000011 1000101000001000 0000000000000000 0000000000100000
    0x00e3a1 +0xa200:                 0x7141001cbfe01003f144 [0x80] 0000000000000000 0000000000000000 0000000000000000 0111000101000001 0000000000011100 1011111111100000 0001000000000011 1111000101000100
    0x00e421 +0xa280:            0x800025b8002007e2880000004 [0x80] 0000000000000000 0000000000001000 0000000000000010 0101101110000000 0000001000000000 0111111000101000 1000000000000000 0000000000000100
    0x00e4a1 +0xa300:     0x80004ba1cec5c000000000000000a018 [0x80] 1000000000000000 0100101110100001 1100111011000101 1100000000000000 0000000000000000 0000000000000000 0000000000000000 1010000000011000
    0x00e521 +0xa380:       0xd5eb00001c98400000000000000000 [0x80] 0000000011010101 1110101100000000 0000000000011100 1001100001000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00e5a1 +0xa400:        0x39308000000240000000000007261 [0x80] 0000000000000011 1001001100001000 0000000000000000 0000000000100100 0000000000000000 0000000000000000 0000000000000000 0111001001100001
    0x00e621 +0xa480:       0x1cef33b170000000000000000a0402 [0x80] 0000000000011100 1110111100110011 1011000101110000 0000000000000000 0000000000000000 0000000000000000 0000000000001010 0000010000000010
    0x00e6a1 +0xa500:     0x3a5140000731e0000000000000000000 [0x80] 0011101001010001 0100000000000000 0000011100110001 1110000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00e721 +0xa580:       0xe63c0000000a0000000000001cc780 [0x80] 0000000011100110 0011110000000000 0000000000000000 0000101000000000 0000000000000000 0000000000000000 0000000000011100 1100011110000000
    0x00e7a1 +0xa600:      0x74dc804010c7a000000020000000000 [0x80] 0000011101001101 1100100000000100 0000000100001100 0111101000000000 0000000000000000 0000001000000000 0000000000000000 0000000000000000
    0x00e821 +0xa680:     0x80218f400000012000000013b1700000 [0x80] 1000000000100001 1000111101000000 0000000000000000 0000000100100000 0000000000000000 0000000000010011 1011000101110000 0000000000000000
    0x00e8a1 +0xa700:               0x2a070062a180000743e000 [0x80] 0000000000000000 0000000000000000 0000000000101010 0000011100000000 0110001010100001 1000000000000000 0000011101000011 1110000000000000
    0x00e921 +0xa780:                       0xe87c0000000b00 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000011101000 0111110000000000 0000000000000000 0000101100000000
    0x00e9a1 +0xa800:               0x1d0f8007599cec5c000000 [0x80] 0000000000000000 0000000000000000 0000000000011101 0000111110000000 0000011101011001 1001110011101100 0101110000000000 0000000000000000
    0x00ea21 +0xa880:              0xb01c01c66c00001d3ec0000 [0x80] 0000000000000000 0000000000000000 0000101100000001 1100000000011100 0110011011000000 0000000000000001 1101001111101100 0000000000000000
    0x00eaa1 +0xa900:            0x12c3400003a7d800000030000 [0x80] 0000000000000000 0000000000000001 0010110000110100 0000000000000000 0011101001111101 1000000000000000 0000000000000011 0000000000000000
    0x00eb21 +0xa980:     0x259f4000074fb001ed3b3b1700000000 [0x80] 0010010110011111 0100000000000000 0000011101001111 1011000000000001 1110110100111011 0011101100010111 0000000000000000 0000000000000000
    0x00eba1 +0xaa00:                           0xb810091161 [0x46] 0000000000000000 0000000000000010 1110000001000000 0010010001000101 100001
{Thing2 0x0ebe7/0x40}:Thing2 Chain2 payload_p → {StringStore 0x02b14/0x9a8}
{StringStore 0x0ec27/0x9b0}:StringStore x = 0x00000001 y = 0x0000012e
    @0x0ec6e [0x00] =  $0x0017 »ELAPSED_TIME«
    @0x0ece6 [0x01] =  $0x0018 »INFERENCE_COUNT«
    @0x0ed76 [0x02] =  $0x0008 »FIRINGS_PER_SECOND«
    @0x0ee1e [0x03] =  $0x000e »FOR_RULE«
    @0x0ee76 [0x04] =  $0x0019 »KBS«
    @0x0eea6 [0x05] =  $0x0009 »RULE_BASE«
    @0x0ef06 [0x06] =  $0x000a »RULE_ID«
    @0x0ef56 [0x07] =  $0x001a »ON_FACTS«
    @0x0efae [0x08] =  $0x001b »FACT_BASE«
    @0x0f00e [0x09] =  $0x001c »COLLECTION«
    @0x0f076 [0x0a] =  $0x001d »«
    @0x0f08e [0x0b] =  $0x001e »DO_ACTION«
{R1kSegChunk 0x0f5d7/0x2422}: ===================
    0x00f5d7 +0x0000:         0x1d6e0000000000001b78600003ad [0x80] 0000000000000000 0001110101101110 0000000000000000 0000000000000000 0000000000000000 0001101101111000 0110000000000000 0000001110101101
    0x00f657 +0x0080:     0xc00000003400037098000075b8001f02 [0x80] 1100000000000000 0000000000000000 0011010000000000 0000001101110000 1001100000000000 0000000001110101 1011100000000000 0001111100000010
    0x00f6d7 +0x0100:     0xf3b17000000000000000300402432c00 [0x80] 1111001110110001 0111000000000000 0000000000000000 0000000000000000 0000000000000000 0011000000000100 0000001001000011 0010110000000000
    0x00f757 +0x0180:        0x7b6d000000000000753680000f6da [0x80] 0000000000000111 1011011011010000 0000000000000000 0000000000000000 0000000000000111 0101001101101000 0000000000000000 1111011011011010
    0x00f7d7 +0x0200:            0xe0000ead000001edb4007cc8c [0x80] 0000000000000000 0000000000001110 0000000000000000 1110101011010000 0000000000000000 0001111011011011 0100000000000111 1100110010001100
    0x00f857 +0x0280:     0xec5c0000000000000004010091612000 [0x80] 1110110001011100 0000000000000000 0000000000000000 0000000000000000 0000000000000100 0000000100000000 1001000101100001 0010000000000000
    0x00f8d7 +0x0300:      0x1f0a8000000000001ebae00003e1500 [0x80] 0000000111110000 1010100000000000 0000000000000000 0000000000000000 0000000111101011 1010111000000000 0000000000111110 0001010100000000
    0x00f957 +0x0380:          0x3c0003d8e800007c2a00226193b [0x80] 0000000000000000 0000001111000000 0000000000111101 1000111010000000 0000000000000111 1100001010100000 0000001000100110 0001100100111011
    0x00f9d7 +0x0400:     0x170044314000000000003003535e02f6 [0x80] 0001011100000000 0100010000110001 0100000000000000 0000000000000000 0000000000000000 0011000000000011 0101001101011110 0000001011110110
    0x00fa57 +0x0480:                    0x8205000ff578d3f00 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000001000 0010000001010000 0000000011111111 0101011110001101 0011111100000000
    0x00fad7 +0x0500:     0x20814000000001f896007e5500000008 [0x80] 0010000010000001 0100000000000000 0000000000000000 0000000111111000 1001011000000000 0111111001010101 0000000000000000 0000000000001000
    0x00fb57 +0x0580:     0xa11801f896000000000e02011ac7c000 [0x80] 1010000100011000 0000000111111000 1001011000000000 0000000000000000 0000000000001110 0000001000000001 0001101011000111 1100000000000000
    0x00fbd7 +0x0600:             0xfb530005000000000fb53844 [0x80] 0000000000000000 0000000000000000 1111101101010011 0000000000000101 0000000000000000 0000000000000000 0000111110110101 0011100001000100
    0x00fc57 +0x0680:     0x8001f57e000000001f82d3312003eafc [0x80] 1000000000000001 1111010101111110 0000000000000000 0000000000000000 0001111110000010 1101001100110001 0010000000000011 1110101011111100
    0x00fcd7 +0x0700:             0x3f53800fee00000000000133 [0x80] 0000000000000000 0000000000000000 0011111101010011 1000000000001111 1110111000000000 0000000000000000 0000000000000000 0000000100110011
    0x00fd57 +0x0780:     0x12003f2a8000000003f7c800fe690000 [0x80] 0001001000000000 0011111100101010 1000000000000000 0000000000000000 0000001111110111 1100100000000000 1111111001101001 0000000000000000
    0x00fdd7 +0x0800:           0x13b17003f53800000000320400 [0x80] 0000000000000000 0000000000010011 1011000101110000 0000001111110101 0011100000000000 0000000000000000 0000000000110010 0000010000000000
    0x00fe57 +0x0880:     0x368e2762e007ea7000000000240800aa [0x80] 0011011010001110 0010011101100010 1110000000000111 1110101001110000 0000000000000000 0000000000000000 0010010000001000 0000000010101010
    0x00fed7 +0x0900:     0xfb4ec5c00fcaa000000000501008d50f [0x80] 1111101101001110 1100010111000000 0000111111001010 1010000000000000 0000000000000000 0000000001010000 0001000000001000 1101010100001111
    0x00ff57 +0x0980:           0x11a7e004102800000000403f80 [0x80] 0000000000000000 0000000000010001 1010011111100000 0000010000010000 0010100000000000 0000000000000000 0000000001000000 0011111110000000
    0x00ffd7 +0x0a00:     0x1015d0000001142300403f8000000003 [0x80] 0001000000010101 1101000000000000 0000000000000001 0001010000100011 0000000001000000 0011111110000000 0000000000000000 0000000000000011
    0x010057 +0x0a80:     0x404013006800000000002000c0006000 [0x80] 0100000001000000 0001001100000000 0110100000000000 0000000000000000 0000000000000000 0010000000000000 1100000000000000 0110000000000000
    0x0100d7 +0x0b00:          0x2000d0890003fdc800000000403 [0x80] 0000000000000000 0000001000000000 0000110100001000 1001000000000000 0011111111011100 1000000000000000 0000000000000000 0000010000000011
    0x010157 +0x0b80:     0x266624007fb900000000081008020726 [0x80] 0010011001100110 0010010000000000 0111111110111001 0000000000000000 0000000000000000 0000100000010000 0000100000000010 0000011100100110
    0x0101d7 +0x0c00:               0x266240080ae80000000081 [0x80] 0000000000000000 0000000000000000 0000000000100110 0110001001000000 0000100000001010 1110100000000000 0000000000000000 0000000010000001
    0x010257 +0x0c80:     0x52802063800000000002762e00810080 [0x80] 0101001010000000 0010000001100011 1000000000000000 0000000000000000 0000000000000010 0111011000101110 0000000010000001 0000000010000000
    0x0102d7 +0x0d00:            0x6408006d1c4ec5c0102010000 [0x80] 0000000000000000 0000000000000110 0100000010000000 0000011011010001 1100010011101100 0101110000000001 0000001000000001 0000000000000000
    0x010357 +0x0d80:          0xd81001434b9d8b80202ba000000 [0x80] 0000000000000000 0000110110000001 0000000000010100 0011010010111001 1101100010111000 0000001000000010 1011101000000000 0000000000000000
    0x0103d7 +0x0e00:       0x1c020097cd30c94003e91400000000 [0x80] 0000000000011100 0000001000000000 1001011111001101 0011000011001001 0100000000000011 1110100100010100 0000000000000000 0000000000000000
    0x010457 +0x0e80:     0x3ea9000041268000000000004000209b [0x80] 0011111010101001 0000000000000000 0100000100100110 1000000000000000 0000000000000000 0000000000000000 0100000000000000 0010000010011011
    0x0104d7 +0x0f00:     0x4000000000000000600020af400020c2 [0x80] 0100000000000000 0000000000000000 0000000000000000 0000000000000000 0110000000000000 0010000010101111 0100000000000000 0010000011000010
    0x010557 +0x0f80:     0xe00000000000000000000000000020bb [0x80] 1110000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0010000010111011
    0x0105d7 +0x1000:     0x400003ed4c0000000000000000000000 [0x80] 0100000000000000 0000001111101101 0100110000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x010657 +0x1080:        0x1067700002000c000000460b00000 [0x80] 0000000000000001 0000011001110111 0000000000000000 0010000000000000 1100000000000000 0000000000000100 0110000010110000 0000000000000000
    0x0106d7 +0x1100:                0xe80000fa4500000000000 [0x80] 0000000000000000 0000000000000000 0000000000001110 1000000000000000 0000111110100100 0101000000000000 0000000000000000 0000000000000000
    0x010757 +0x1180:                                   0x83 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000010000011
    0x0107d7 +0x1200:     0xf000000fb53004207400008003000000 [0x80] 1111000000000000 0000000000001111 1011010100110000 0000010000100000 0111010000000000 0000000010000000 0000001100000000 0000000000000000
    0x010857 +0x1280:          0x3e914100067b5000000004e8580 [0x80] 0000000000000000 0000001111101001 0001010000010000 0000000001100111 1011010100000000 0000000000000000 0000000001001110 1000010110000000
    0x0108d7 +0x1300:                         0xfb5302011ac7 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1111101101010011 0000001000000001 0001101011000111
    0x010957 +0x1380:     0xc0000003ed4c100067b5000063640000 [0x80] 1100000000000000 0000000000000011 1110110101001100 0001000000000000 0110011110110101 0000000000000000 0110001101100100 0000000000000000
    0x0109d7 +0x1400:     0x108c00042c36742c0000000000000000 [0x80] 0001000010001100 0000000000000100 0010110000110110 0111010000101100 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x010a57 +0x1480:          0x800301004c01a0000002000c080 [0x80] 0000000000000000 0000100000000000 0011000000010000 0000010011000000 0001101000000000 0000000000000000 0010000000000000 1100000010000000
    0x010ad7 +0x1500:      0x33da800031cb8000085028000000000 [0x80] 0000001100111101 1010100000000000 0000001100011100 1011100000000000 0000000010000101 0000001010000000 0000000000000000 0000000000000000
    0x010b57 +0x1580:            0x10b8700001f6a60085e200001 [0x80] 0000000000000000 0000000000000001 0000101110000111 0000000000000000 0001111101101010 0110000000001000 0101111000100000 0000000000000001
    0x010bd7 +0x1600:        0x6000000000007da98000000180004 [0x80] 0000000000000110 0000000000000000 0000000000000000 0000000000000111 1101101010011000 0000000000000000 0000000000011000 0000000000000100
    0x010c57 +0x1680:     0x5df80000fb53ffffffff00008c220000 [0x80] 0101110111111000 0000000000000000 1111101101010011 1111111111111111 1111111111111111 0000000000000000 1000110000100010 0000000000000000
    0x010cd7 +0x1700:     0x2000c000000060000000000004001bff [0x80] 0010000000000000 1100000000000000 0000000000000000 0110000000000000 0000000000000000 0000000000000000 0000010000000000 0001101111111111
    0x010d57 +0x1780:     0xfffff8000000000000835a0000000100 [0x80] 1111111111111111 1111100000000000 0000000000000000 0000000000000000 0000000010000011 0101101000000000 0000000000000000 0000000100000000
    0x010dd7 +0x1800:       0x48ab8000106b400000000000091ba8 [0x80] 0000000001001000 1010101110000000 0000000000010000 0110101101000000 0000000000000000 0000000000000000 0000000000001001 0001101110101000
    0x010e57 +0x1880:     0xec6800000000000000000000084e4460 [0x80] 1110110001101000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000100001001110 0100010001100000
    0x010ed7 +0x1900:     0xb0000000000000000e80001104b00000 [0x80] 1011000000000000 0000000000000000 0000000000000000 0000000000000000 0000111010000000 0000000000010001 0000010010110000 0000000000000000
    0x010f57 +0x1980:                              0x864a002 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000100001100100 1010000000000010
    0x010fd7 +0x1a00:     0x2096000000000000000000000000080b [0x80] 0010000010010110 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000100000001011
    0x011057 +0x1a80:     0xd80000000000000021f7600000020cb6 [0x80] 1101100000000000 0000000000000000 0000000000000000 0000000000000000 0010000111110111 0110000000000000 0000000000000010 0000110010110110
    0x0110d7 +0x1b00:                    0x7ce70000000008729 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000111 1100111001110000 0000000000000000 0000000000000000 1000011100101001
    0x011157 +0x1b80:     0x8000000008862804015d5c000000009d [0x80] 1000000000000000 0000000000000000 0000100010000110 0010100000000100 0000000101011101 0101110000000000 0000000000000000 0000000010011101
    0x0111d7 +0x1c00:     0x8b8000000000000001e01801a9ae0000 [0x80] 1000101110000000 0000000000000000 0000000000000000 0000000000000000 0000000111100000 0001100000000001 1010100110101110 0000000000000000
    0x011257 +0x1c80:     0x4473c00000000000293ec000088e7800 [0x80] 0100010001110011 1100000000000000 0000000000000000 0000000000000000 0010100100111110 1100000000000000 0000100010001110 0111100000000000
    0x0112d7 +0x1d00:         0x8000052af0000111cf0000000000 [0x80] 0000000000000000 1000000000000000 0000010100101010 1111000000000000 0000000100010001 1100111100000000 0000000000000000 0000000000000000
    0x011357 +0x1d80:         0x400000043fffc000000000000000 [0x80] 0000000000000000 0100000000000000 0000000000000100 0011111111111111 1100000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0113d7 +0x1e00:                                    0x0 [0x80] 0…
    0x011457 +0x1e80:                         0x455cc0000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0100010101011100 1100000000000000 0000000000000000
    0x0114d7 +0x1f00:                 0x44e64000000cc0114d90 [0x80] 0000000000000000 0000000000000000 0000000000000000 0100010011100110 0100000000000000 0000000000001100 1100000000010001 0100110110010000
    0x011557 +0x1f80:              0x801b5540002269200000000 [0x80] 0000000000000000 0000000000000000 0000100000000001 1011010101010100 0000000000000010 0010011010010010 0000000000000000 0000000000000000
    0x0115d7 +0x2000:                                    0x0 [0x100] 0…
    0x0116d7 +0x2100:        0x22f60000000000000000000022bac [0x80] 0000000000000010 0010111101100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000010 0010101110101100
    0x011757 +0x2180:           0x34008b8b0000000000400daaa0 [0x80] 0000000000000000 0000000000110100 0000000010001011 1000101100000000 0000000000000000 0000000000000000 0100000000001101 1010101010100000
    0x0117d7 +0x2200:                0xd22400000000000000010 [0x80] 0000000000000000 0000000000000000 0000000000001101 0010001001000000 0000000000000000 0000000000000000 0000000000000000 0000000000010000
    0x011857 +0x2280:           0x3040019ed4080033da806006a6 [0x80] 0000000000000000 0000000000110000 0100000000000001 1001111011010100 0000100000000000 0011001111011010 1000000001100000 0000011010100110
    0x0118d7 +0x2300:     0xb80008ccb0000000000008c6e0000001 [0x80] 1011100000000000 0000100011001100 1011000000000000 0000000000000000 0000000000000000 0000100011000110 1110000000000000 0000000000000001
    0x011957 +0x2380:     0x880231f800000000010036aa8000460c [0x80] 1000100000000010 0011000111111000 0000000000000000 0000000000000000 0000000100000000 0011011010101010 1000000000000000 0100011000001100
    0x0119d7 +0x2400:                            0x300000000 [0x22] 1100000000000000 0000000000000000 00