|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 8192 (0x2000) Notes: 01_class, 97_tag, ADA, R1k_Segment, VAR3, seg_06ad06
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─ ⟦5a81ac88f⟧ »Space Info Vol 1« └─⟦this⟧
{HeapHead 0x00000/0x80}:SegHeapHead first_free_bit = 0x0000ea15 max_bits = 0xffffffff zero = 0x00000000 alloced_bits = 0x0000ffff {HeadVar3 0x00080/0x2aa}:HeadVar3 0x000080 [0x00] +0x0000: head_z_000 = 0x80000001 [10000000000000000000000000000001] 0x0000a0 [0x01] +0x0020: head_segment = 0x0006ad06 [0000000000001101010110100000110] 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: [00000000000000000000000000000000] 0x00013f [0x07] +0x00bf: head_c_bf = 0x000000012 [000000000000000000000000000010010] 0x000160 [0x08] +0x00e0: head_object = 0x0001ef53 [000000000000011110111101010011] 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 = 0x3 [11] 0x000267 [0x12] +0x01e7: hv3_1e7_n = 0x2 [010] 0x00026a [0x13] +0x01ea: 0x00028a [0x14] +0x020a: hv3_20a_p → {D300 0x02970/0xc0} [00000000000000000010100101110000] 0x0002aa [0x15] +0x022a: 0x0002ea [0x16] +0x026a: hv3_26a_n = 0x0000000000100000 [0000000000000000000000000000000000000000000100000000000000000000] {R1kSegChunk 0x0032a/0x1ff0}: =================== 0x00032a +0x0000: 0x0 [0x1f80] 0… 0x0022aa +0x1f80: 0x1000000000 [0x70] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010000 0000000000000000 0000000000000000 {Thing1 0x0231a/0x10c}:Thing1 0x00231a [0x00] +0x0000: t1_00_n = 0xffffffff004c0094009e800138e [111111111111111111111111111111110000000001001100000000001001010000000000100111101000000000000001001110001110] 0x002386 [0x01] +0x006c: t1_c1_head_p → {StringIndex 0x02426/0x1e2} [00000000000000000010010000100110] 0x0023a6 [0x02] +0x008c: t1_c2_last_p → {StringStore 0x0bf19/0x398} [00000000000000001011111100011001] 0x0023c6 [0x03] +0x00ac: t1_array1_p → {StringIndex 0x0c2f1/0x5e4} [00000000000000001100001011110001] 0x0023e6 [0x04] +0x00cc: t1_c2_tail_p → {Thing2 0x0bed9/0x40} [00000000000000001011111011011001] 0x002406 [0x05] +0x00ec: t1_c1_tail_p → {Thing2 0x0c2b1/0x40} [00000000000000001100001010110001] {StringIndex 0x02426/0x1e2}:StringIndex x = 0x00000001 y = 0x0000000b [$0x0001] 0x00240 002 »DO_ACTION« [$0x0002] 0x002a0 003 »FOR_RULE« [$0x0003] 0x002f8 004 »KBS« [$0x0004] 0x00328 005 »ON_FACTS« [$0x0005] 0x00380 006 »ALIAS« [$0x0006] 0x003c0 007 »OUTPUT_STREAM« [$0x0007] 0x00440 008 »SLOT« [$0x0008] 0x00478 009 »RULE_NAMES« [$0x0009] 0x004e0 00a »HOLDS_NIL« [$0x000a] 0x03aa0 00b »HOLDS_NIL_SATISFIED« [$0x000b] 0x03b50 000 »HOLDS_OBJECT_CEIL« {StringStore 0x02608/0x368}:StringStore x = 0x00000001 y = 0x00000065 @0x0264e [0x00] = $0x0001 »DO_ACTION« @0x026ae [0x01] = $0x0002 »FOR_RULE« @0x02706 [0x02] = $0x0003 »KBS« @0x02736 [0x03] = $0x0004 »ON_FACTS« @0x0278e [0x04] = $0x0005 »ALIAS« @0x027ce [0x05] = $0x0006 »OUTPUT_STREAM« @0x0284e [0x06] = $0x0007 »SLOT« @0x02886 [0x07] = $0x0008 »RULE_NAMES« @0x028ee [0x08] = $0x0009 »HOLDS_NIL« @0x0294e [0x09] = $0x0022 »« {D300 0x02970/0xc0}:D300 0x002970 [0x00] +0x0000: d300_0 = 0x00000000 [00000000000000000000000000000000] 0x002990 [0x01] +0x0020: d300_1 = 0x00002a30 [00000000000000000010101000110000] 0x0029b0 [0x02] +0x0040: d300_2 = 0x00000000 [00000000000000000000000000000000] 0x0029d0 [0x03] +0x0060: d300_d305 = 0x000030d0 [00000000000000000011000011010000] 0x0029f0 [0x04] +0x0080: d300_4 = 0x00000000 [00000000000000000000000000000000] 0x002a10 [0x05] +0x00a0: d300_d301 = 0x00003db0 [00000000000000000011110110110000] {BitPointerArray 0x02a30/0x6a0}:BitPointerArray 0x002a30 +0x0000: 0x0 [0x6a0] 0… {D305 0x030d0/0xce0}:D305 0x003230 [0x0b] +0x0160: ptr_0xb_p → {D306 0x050cb/0x83} [00000000000000000101000011001011] 0x003310 [0x12] +0x0240: ptr_0x12_p → {D306 0x0d33f/0x83} [00000000000000001101001100111111] 0x0033b0 [0x17] +0x02e0: ptr_0x17_p → {D306 0x0a148/0x83} [00000000000000001010000101001000] 0x0034f0 [0x21] +0x0420: ptr_0x21_p → {D306 0x0cdbe/0x83} [00000000000000001100110110111110] 0x003590 [0x26] +0x04c0: ptr_0x26_p → {D306 0x0d23d/0x83} [00000000000000001101001000111101] 0x003750 [0x34] +0x0680: ptr_0x34_p → {D306 0x095a2/0x83} [00000000000000001001010110100010] 0x0039b0 [0x47] +0x08e0: ptr_0x47_p → {D306 0x0ccbc/0x83} [00000000000000001100110010111100] 0x003a30 [0x4b] +0x0960: ptr_0x4b_p → {D306 0x0cec0/0x83} [00000000000000001100111011000000] 0x003a50 +0x0980: 0x0 [0x360] 0… {D301 0x03db0/0xce0}:D301 0x003dd0 [0x01] +0x0020: ptr_0x1_p → {D302 0x08fd3/0xa0} [00000000000000001000111111010011] 0x003e70 [0x06] +0x00c0: ptr_0x6_p → {D302 0x09f71/0xa0} [00000000000000001001111101110001] 0x003ed0 [0x09] +0x0120: ptr_0x9_p → {D302 0x07205/0xa0} [00000000000000000111001000000101] 0x003ef0 [0x0a] +0x0140: ptr_0xa_p → {D302 0x0b711/0xa0} [00000000000000001011011100010001] 0x003f30 [0x0c] +0x0180: ptr_0xc_p → {D302 0x0b0a5/0xa0} [00000000000000001011000010100101] 0x003f70 [0x0e] +0x01c0: ptr_0xe_p → {D302 0x05416/0xa0} [00000000000000000101010000010110] 0x003fd0 [0x11] +0x0220: ptr_0x11_p → {D302 0x0bc81/0xa0} [00000000000000001011110010000001] 0x004010 [0x13] +0x0260: ptr_0x13_p → {D302 0x06f59/0xa0} [00000000000000000110111101011001] 0x004050 [0x15] +0x02a0: ptr_0x15_p → {D302 0x084c3/0xa0} [00000000000000001000010011000011] 0x0040b0 [0x18] +0x0300: ptr_0x18_p → {D302 0x0c909/0xa0} [00000000000000001100100100001001] 0x004110 [0x1b] +0x0360: ptr_0x1b_p → {D302 0x04f54/0xa0} [00000000000000000100111101010100] 0x0041f0 [0x22] +0x0440: ptr_0x22_p → {D302 0x0692d/0xa0} [00000000000000000110100100101101] 0x004210 [0x23] +0x0460: ptr_0x23_p → {D302 0x04d60/0xa0} [00000000000000000100110101100000] 0x004230 [0x24] +0x0480: ptr_0x24_p → {D302 0x0ae41/0xa0} [00000000000000001010111001000001] 0x004270 [0x26] +0x04c0: ptr_0x26_p → {D302 0x093e3/0xa0} [00000000000000001001001111100011] 0x004330 [0x2c] +0x0580: ptr_0x2c_p → {D302 0x09d85/0xa0} [00000000000000001001110110000101] 0x004410 [0x33] +0x0660: ptr_0x33_p → {D302 0x08e0f/0xa0} [00000000000000001000111000001111] 0x004490 [0x37] +0x06e0: ptr_0x37_p → {D302 0x04b64/0xa0} [00000000000000000100101101100100] 0x0045b0 [0x40] +0x0800: ptr_0x40_p → {D302 0x079e3/0xa0} [00000000000000000111100111100011] 0x004630 [0x44] +0x0880: ptr_0x44_p → {D302 0x0b9e5/0xa0} [00000000000000001011100111100101] 0x004690 [0x47] +0x08e0: ptr_0x47_p → {D302 0x0d096/0xa0} [00000000000000001101000010010110] 0x0046d0 [0x49] +0x0920: ptr_0x49_p → {D302 0x0cb15/0xa0} [00000000000000001100101100010101] 0x004750 [0x4d] +0x09a0: ptr_0x4d_p → {D302 0x055f2/0xa0} [00000000000000000101010111110010] 0x0047b0 [0x50] +0x0a00: ptr_0x50_p → {D302 0x06211/0xa0} [00000000000000000110001000010001] 0x0047d0 [0x51] +0x0a20: ptr_0x51_p → {D302 0x091f7/0xa0} [00000000000000001001000111110111] 0x004830 [0x54] +0x0a80: ptr_0x54_p → {D302 0x07bcf/0xa0} [00000000000000000111101111001111] 0x0048d0 [0x59] +0x0b20: ptr_0x59_p → {D302 0x0645d/0xa0} [00000000000000000110010001011101] 0x004950 [0x5d] +0x0ba0: ptr_0x5d_p → {D302 0x09ba1/0xa0} [00000000000000001001101110100001] 0x0049f0 [0x62] +0x0c40: ptr_0x62_p → {D302 0x05c65/0xa0} [00000000000000000101110001100101] 0x004a50 [0x65] +0x0ca0: ptr_0x65_p → {D302 0x0777f/0xa0} [00000000000000000111011101111111] 0x004a70 +0x0cc0: 0x0 [0x20] 0… {D303 0x04a90/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x04b30/0x34} d303_2 = 0x0001 d303_3 = 0x0000000000000000000 {D304 0x04b30/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x04b64/0xa0}:D302 d302_0 = 0x80000009 d302_d303_p → {D303 0x04a90/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000088 {ArrayString 0x04c04/0x88}:ARRAY_STRING[0x1,0x9] = "DO_ACTION" {D303 0x04c8c/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x04d2c/0x34} d303_2 = 0x0002 d303_3 = 0x0000000000000000000 {D304 0x04d2c/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x04d60/0xa0}:D302 d302_0 = 0x80000008 d302_d303_p → {D303 0x04c8c/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000080 {ArrayString 0x04e00/0x80}:ARRAY_STRING[0x1,0x8] = "FOR_RULE" {D303 0x04e80/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x04f20/0x34} d303_2 = 0x0003 d303_3 = 0x0000000000000000000 {D304 0x04f20/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x04f54/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x04e80/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058 {ArrayString 0x04ff4/0x58}:ARRAY_STRING[0x1,0x3] = "KBS" {D307 0x0504c/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4ec2 d307_3 = 0x00000002 d307_d307_p → {D307 0x0590e/0x7f} {D306 0x050cb/0x83}:D306 d306_d303_p → {D303 0x04e80/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0504c/0x7f} {D303 0x0514e/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x051ee/0x34} d303_2 = 0x0004 d303_3 = 0x0000000000000000000 {D304 0x051ee/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x05222/0xa0}:D302 d302_0 = 0x80000008 d302_d303_p → {D303 0x0514e/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000080 {ArrayString 0x052c2/0x80}:ARRAY_STRING[0x1,0x8] = "ON_FACTS" {D303 0x05342/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x053e2/0x34} d303_2 = 0x0005 d303_3 = 0x0000000000000000000 {D304 0x053e2/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x05416/0xa0}:D302 d302_0 = 0x80000005 d302_d303_p → {D303 0x05342/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000068 {ArrayString 0x054b6/0x68}:ARRAY_STRING[0x1,0x5] = "ALIAS" {D303 0x0551e/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x055be/0x34} d303_2 = 0x0006 d303_3 = 0x0000000000000000000 {D304 0x055be/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x055f2/0xa0}:D302 d302_0 = 0x8000000d d302_d303_p → {D303 0x0551e/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000a8 {ArrayString 0x05692/0xa8}:ARRAY_STRING[0x1,0xd] = "OUTPUT_STREAM" {D303 0x0573a/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x057da/0x34} d303_2 = 0x0007 d303_3 = 0x0000000000000000000 {D304 0x057da/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0580e/0xa0}:D302 d302_0 = 0x80000004 d302_d303_p → {D303 0x0573a/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000060 {ArrayString 0x058ae/0x60}:ARRAY_STRING[0x1,0x4] = "SLOT" {D307 0x0590e/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4ed6 d307_3 = 0x00000002 d307_d307_p → {D307 0x0dd2f/0x7f} {D303 0x0598d/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x05a2d/0x34} d303_2 = 0x0008 d303_3 = 0x0000000000000000000 {D304 0x05a2d/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x05a61/0xa0}:D302 d302_0 = 0x8000000a d302_d303_p → {D303 0x0598d/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000090 {ArrayString 0x05b01/0x90}:ARRAY_STRING[0x1,0xa] = "RULE_NAMES" {D303 0x05b91/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x05c31/0x34} d303_2 = 0x0009 d303_3 = 0x0000000000000000000 {D304 0x05c31/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x05c65/0xa0}:D302 d302_0 = 0x80000009 d302_d303_p → {D303 0x05b91/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000088 {ArrayString 0x05d05/0x88}:ARRAY_STRING[0x1,0x9] = "HOLDS_NIL" {D303 0x05d8d/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x061dd/0x34} d303_2 = 0x000a d303_3 = 0x0000000000000000000 {Thing2 0x05e2d/0x40}:Thing2 Chain2 payload_p → {StringStore 0x02608/0x368} {StringStore 0x05e6d/0x370}:StringStore x = 0x00000001 y = 0x00000066 @0x05eae [0x00] = $0x000a »HOLDS_NIL_SATISFIED« @0x05f5e [0x01] = $0x000b »HOLDS_OBJECT_CEIL« @0x05ffe [0x02] = $0x000c »HOLDS_OBJECT_CEIL_AT_OBJ« {D304 0x061dd/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x06211/0xa0}:D302 d302_0 = 0x80000013 d302_d303_p → {D303 0x05d8d/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000d8 {ArrayString 0x062b1/0xd8}:ARRAY_STRING[0x1,0x13] = "HOLDS_NIL_SATISFIED" {D303 0x06389/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x06429/0x34} d303_2 = 0x000b d303_3 = 0x0000000000000000000 {D304 0x06429/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0645d/0xa0}:D302 d302_0 = 0x80000011 d302_d303_p → {D303 0x06389/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c8 {ArrayString 0x064fd/0xc8}:ARRAY_STRING[0x1,0x11] = "HOLDS_OBJECT_CEIL" {D303 0x065c5/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x068f9/0x34} d303_2 = 0x000c d303_3 = 0x0000000000000000000 {Thing2 0x06665/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x02426/0x1e2} {StringIndex 0x066a5/0x254}:StringIndex x = 0x00000001 y = 0x0000000e [$0x0001] 0x00240 002 »DO_ACTION« [$0x0002] 0x002a0 003 »FOR_RULE« [$0x0003] 0x002f8 004 »KBS« [$0x0004] 0x00328 005 »ON_FACTS« [$0x0005] 0x00380 006 »ALIAS« [$0x0006] 0x003c0 007 »OUTPUT_STREAM« [$0x0007] 0x00440 008 »SLOT« [$0x0008] 0x00478 009 »RULE_NAMES« [$0x0009] 0x004e0 00a »HOLDS_NIL« [$0x000a] 0x03aa0 00b »HOLDS_NIL_SATISFIED« [$0x000b] 0x03b50 00c »HOLDS_OBJECT_CEIL« [$0x000c] 0x03bf0 00d »HOLDS_OBJECT_CEIL_AT_OBJ« [$0x000d] 0x047e0 00e »HOLDS_OBJECT_NOT_CEIL_ON_LADDER« [$0x000e] 0x048f0 000 »HOLDS_OBJECT_NOT_CEIL_AT« {D304 0x068f9/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0692d/0xa0}:D302 d302_0 = 0x80000018 d302_d303_p → {D303 0x065c5/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000100 {ArrayString 0x069cd/0x100}:ARRAY_STRING[0x1,0x18] = "HOLDS_OBJECT_CEIL_AT_OBJ" {D303 0x06acd/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x06f25/0x34} d303_2 = 0x000d d303_3 = 0x0000000000000000000 {Thing2 0x06b6d/0x40}:Thing2 Chain2 payload_p → {StringStore 0x05e6d/0x370} next_p → {Thing2 0x05e2d/0x40} {StringStore 0x06bad/0x378}:StringStore x = 0x00000001 y = 0x00000067 @0x06bee [0x00] = $0x000d »HOLDS_OBJECT_NOT_CEIL_ON_LADDER« @0x06cfe [0x01] = $0x000e »HOLDS_OBJECT_NOT_CEIL_AT« @0x06dd6 [0x02] = $0x000f »HOLDS_OBJECT_SATISFIED« @0x06e9e [0x03] = $0x0010 »NO_MORE« @0x06eee [0x04] = $0x0011 »=« {D304 0x06f25/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x06f59/0xa0}:D302 d302_0 = 0x8000001f d302_d303_p → {D303 0x06acd/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000138 {ArrayString 0x06ff9/0x138}:ARRAY_STRING[0x1,0x1f] = "HOLDS_OBJECT_NOT_CEIL_ON_LADDER" {D303 0x07131/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x071d1/0x34} d303_2 = 0x000e d303_3 = 0x0000000000000000000 {D304 0x071d1/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x07205/0xa0}:D302 d302_0 = 0x80000018 d302_d302_p → {D302 0x0580e/0xa0} d302_d303_p → {D303 0x07131/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000100 {ArrayString 0x072a5/0x100}:ARRAY_STRING[0x1,0x18] = "HOLDS_OBJECT_NOT_CEIL_AT" {D303 0x073a5/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0774b/0x34} d303_2 = 0x000f d303_3 = 0x0000000000000000000 {Thing2 0x07445/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x066a5/0x254} next_p → {Thing2 0x06665/0x40} {StringIndex 0x07485/0x2c6}:StringIndex x = 0x00000001 y = 0x00000011 [$0x0001] 0x00240 002 »DO_ACTION« [$0x0002] 0x002a0 003 »FOR_RULE« [$0x0003] 0x002f8 004 »KBS« [$0x0004] 0x00328 005 »ON_FACTS« [$0x0005] 0x00380 006 »ALIAS« [$0x0006] 0x003c0 007 »OUTPUT_STREAM« [$0x0007] 0x00440 008 »SLOT« [$0x0008] 0x00478 009 »RULE_NAMES« [$0x0009] 0x004e0 00a »HOLDS_NIL« [$0x000a] 0x03aa0 00b »HOLDS_NIL_SATISFIED« [$0x000b] 0x03b50 00c »HOLDS_OBJECT_CEIL« [$0x000c] 0x03bf0 00d »HOLDS_OBJECT_CEIL_AT_OBJ« [$0x000d] 0x047e0 00e »HOLDS_OBJECT_NOT_CEIL_ON_LADDER« [$0x000e] 0x048f0 00f »HOLDS_OBJECT_NOT_CEIL_AT« [$0x000f] 0x049c8 010 »HOLDS_OBJECT_SATISFIED« [$0x0010] 0x04a90 011 »NO_MORE« [$0x0011] 0x04ae0 000 »=« {D304 0x0774b/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0777f/0xa0}:D302 d302_0 = 0x80000016 d302_d302_p → {D302 0x05222/0xa0} d302_d303_p → {D303 0x073a5/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000f0 {ArrayString 0x0781f/0xf0}:ARRAY_STRING[0x1,0x16] = "HOLDS_OBJECT_SATISFIED" {D303 0x0790f/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x079af/0x34} d303_2 = 0x0010 d303_3 = 0x0000000000000000000 {D304 0x079af/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x079e3/0xa0}:D302 d302_0 = 0x80000007 d302_d303_p → {D303 0x0790f/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000078 {ArrayString 0x07a83/0x78}:ARRAY_STRING[0x1,0x7] = "NO_MORE" {D303 0x07afb/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x07b9b/0x34} d303_2 = 0x0011 d303_3 = 0x0000000000000000000 {D304 0x07b9b/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x07bcf/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x07afb/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048 {ArrayString 0x07c6f/0x48}:ARRAY_STRING[0x1,0x1] = "=" {D303 0x07cb7/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0848f/0x34} d303_2 = 0x0012 d303_3 = 0x0000000000000000000 {Thing2 0x07d57/0x40}:Thing2 Chain2 payload_p → {StringStore 0x06bad/0x378} next_p → {Thing2 0x06b6d/0x40} {StringStore 0x07d97/0x380}:StringStore x = 0x00000001 y = 0x00000068 @0x07dde [0x00] = $0x0012 »<« @0x07dfe [0x01] = $0x0013 »>« @0x07e1e [0x02] = $0x0014 »<=« @0x07e46 [0x03] = $0x0015 »>=« @0x07e6e [0x04] = $0x0016 »HOLDS_NIL_RULE« @0x07ef6 [0x05] = $0x0017 »PREMISS« @0x07f46 [0x06] = $0x0018 »FACT_QUERIES« @0x07fbe [0x07] = $0x0019 »ACTION« @0x08006 [0x08] = $0x001a »OBJECTS« @0x08056 [0x09] = $0x001b »FACT_COLLECTION« {Thing2 0x08117/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x07485/0x2c6} next_p → {Thing2 0x07445/0x40} {StringIndex 0x08157/0x338}:StringIndex x = 0x00000001 y = 0x00000014 [$0x0001] 0x00240 002 »DO_ACTION« [$0x0002] 0x002a0 003 »FOR_RULE« [$0x0003] 0x002f8 004 »KBS« [$0x0004] 0x00328 005 »ON_FACTS« [$0x0005] 0x00380 006 »ALIAS« [$0x0006] 0x003c0 007 »OUTPUT_STREAM« [$0x0007] 0x00440 008 »SLOT« [$0x0008] 0x00478 009 »RULE_NAMES« [$0x0009] 0x004e0 00a »HOLDS_NIL« [$0x000a] 0x03aa0 00b »HOLDS_NIL_SATISFIED« [$0x000b] 0x03b50 00c »HOLDS_OBJECT_CEIL« [$0x000c] 0x03bf0 00d »HOLDS_OBJECT_CEIL_AT_OBJ« [$0x000d] 0x047e0 00e »HOLDS_OBJECT_NOT_CEIL_ON_LADDER« [$0x000e] 0x048f0 00f »HOLDS_OBJECT_NOT_CEIL_AT« [$0x000f] 0x049c8 010 »HOLDS_OBJECT_SATISFIED« [$0x0010] 0x04a90 011 »NO_MORE« [$0x0011] 0x04ae0 012 »=« [$0x0012] 0x059d0 013 »<« [$0x0013] 0x059f0 014 »>« [$0x0014] 0x05a10 000 »<=« {D304 0x0848f/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x084c3/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x07cb7/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048 {ArrayString 0x08563/0x48}:ARRAY_STRING[0x1,0x1] = "<" {D303 0x085ab/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0864b/0x34} d303_2 = 0x0013 d303_3 = 0x0000000000000000000 {D304 0x0864b/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0867f/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x085ab/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048 {ArrayString 0x0871f/0x48}:ARRAY_STRING[0x1,0x1] = ">" {D303 0x08767/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x08807/0x34} d303_2 = 0x0014 d303_3 = 0x0000000000000000000 {D304 0x08807/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0883b/0xa0}:D302 d302_0 = 0x80000002 d302_d303_p → {D303 0x08767/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000050 {ArrayString 0x088db/0x50}:ARRAY_STRING[0x1,0x2] = "<=" {D303 0x0892b/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x08ddb/0x34} d303_2 = 0x0015 d303_3 = 0x0000000000000000000 {Thing2 0x089cb/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x08157/0x338} next_p → {Thing2 0x08117/0x40} {StringIndex 0x08a0b/0x3d0}:StringIndex x = 0x00000001 y = 0x00000018 [$0x0001] 0x00240 002 »DO_ACTION« [$0x0002] 0x002a0 003 »FOR_RULE« [$0x0003] 0x002f8 004 »KBS« [$0x0004] 0x00328 005 »ON_FACTS« [$0x0005] 0x00380 006 »ALIAS« [$0x0006] 0x003c0 007 »OUTPUT_STREAM« [$0x0007] 0x00440 008 »SLOT« [$0x0008] 0x00478 009 »RULE_NAMES« [$0x0009] 0x004e0 00a »HOLDS_NIL« [$0x000a] 0x03aa0 00b »HOLDS_NIL_SATISFIED« [$0x000b] 0x03b50 00c »HOLDS_OBJECT_CEIL« [$0x000c] 0x03bf0 00d »HOLDS_OBJECT_CEIL_AT_OBJ« [$0x000d] 0x047e0 00e »HOLDS_OBJECT_NOT_CEIL_ON_LADDER« [$0x000e] 0x048f0 00f »HOLDS_OBJECT_NOT_CEIL_AT« [$0x000f] 0x049c8 010 »HOLDS_OBJECT_SATISFIED« [$0x0010] 0x04a90 011 »NO_MORE« [$0x0011] 0x04ae0 012 »=« [$0x0012] 0x059d0 013 »<« [$0x0013] 0x059f0 014 »>« [$0x0014] 0x05a10 015 »<=« [$0x0015] 0x05a38 016 »>=« [$0x0016] 0x05a60 017 »HOLDS_NIL_RULE« [$0x0017] 0x05ae8 018 »PREMISS« [$0x0018] 0x05b38 000 »FACT_QUERIES« {D304 0x08ddb/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x08e0f/0xa0}:D302 d302_0 = 0x80000002 d302_d303_p → {D303 0x0892b/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000050 {ArrayString 0x08eaf/0x50}:ARRAY_STRING[0x1,0x2] = ">=" {D303 0x08eff/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x08f9f/0x34} d303_2 = 0x0016 d303_3 = 0x0000000000000000000 {D304 0x08f9f/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x08fd3/0xa0}:D302 d302_0 = 0x8000000e d302_d303_p → {D303 0x08eff/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000b0 {ArrayString 0x09073/0xb0}:ARRAY_STRING[0x1,0xe] = "HOLDS_NIL_RULE" {D303 0x09123/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x091c3/0x34} d303_2 = 0x0017 d303_3 = 0x0000000000000000000 {D304 0x091c3/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x091f7/0xa0}:D302 d302_0 = 0x80000007 d302_d303_p → {D303 0x09123/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000078 {ArrayString 0x09297/0x78}:ARRAY_STRING[0x1,0x7] = "PREMISS" {D303 0x0930f/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x093af/0x34} d303_2 = 0x0018 d303_3 = 0x0000000000000000000 {D304 0x093af/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x093e3/0xa0}:D302 d302_0 = 0x8000000c d302_d302_p → {D302 0x0883b/0xa0} d302_d303_p → {D303 0x0930f/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000a0 {ArrayString 0x09483/0xa0}:ARRAY_STRING[0x1,0xc] = "FACT_QUERIES" {D307 0x09523/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4ed6 d307_3 = 0x00000002 d307_d307_p → {D307 0x0cf43/0x7f} {D306 0x095a2/0x83}:D306 d306_d303_p → {D303 0x0930f/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x09523/0x7f} {D303 0x09625/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x09b6d/0x34} d303_2 = 0x0019 d303_3 = 0x0000000000000000000 {Thing2 0x096c5/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x08a0b/0x3d0} next_p → {Thing2 0x089cb/0x40} {StringIndex 0x09705/0x468}:StringIndex x = 0x00000001 y = 0x0000001c [$0x0001] 0x00240 002 »DO_ACTION« [$0x0002] 0x002a0 003 »FOR_RULE« [$0x0003] 0x002f8 004 »KBS« [$0x0004] 0x00328 005 »ON_FACTS« [$0x0005] 0x00380 006 »ALIAS« [$0x0006] 0x003c0 007 »OUTPUT_STREAM« [$0x0007] 0x00440 008 »SLOT« [$0x0008] 0x00478 009 »RULE_NAMES« [$0x0009] 0x004e0 00a »HOLDS_NIL« [$0x000a] 0x03aa0 00b »HOLDS_NIL_SATISFIED« [$0x000b] 0x03b50 00c »HOLDS_OBJECT_CEIL« [$0x000c] 0x03bf0 00d »HOLDS_OBJECT_CEIL_AT_OBJ« [$0x000d] 0x047e0 00e »HOLDS_OBJECT_NOT_CEIL_ON_LADDER« [$0x000e] 0x048f0 00f »HOLDS_OBJECT_NOT_CEIL_AT« [$0x000f] 0x049c8 010 »HOLDS_OBJECT_SATISFIED« [$0x0010] 0x04a90 011 »NO_MORE« [$0x0011] 0x04ae0 012 »=« [$0x0012] 0x059d0 013 »<« [$0x0013] 0x059f0 014 »>« [$0x0014] 0x05a10 015 »<=« [$0x0015] 0x05a38 016 »>=« [$0x0016] 0x05a60 017 »HOLDS_NIL_RULE« [$0x0017] 0x05ae8 018 »PREMISS« [$0x0018] 0x05b38 019 »FACT_QUERIES« [$0x0019] 0x05bb0 01a »ACTION« [$0x001a] 0x05bf8 01b »OBJECTS« [$0x001b] 0x05c48 01c »FACT_COLLECTION« [$0x001c] 0x07ee0 000 »HOLDS_NIL_SATISFIED_RULE« {D304 0x09b6d/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x09ba1/0xa0}:D302 d302_0 = 0x80000006 d302_d302_p → {D302 0x05a61/0xa0} d302_d303_p → {D303 0x09625/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000070 {ArrayString 0x09c41/0x70}:ARRAY_STRING[0x1,0x6] = "ACTION" {D303 0x09cb1/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x09d51/0x34} d303_2 = 0x001a d303_3 = 0x0000000000000000000 {D304 0x09d51/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x09d85/0xa0}:D302 d302_0 = 0x80000007 d302_d302_p → {D302 0x0867f/0xa0} d302_d303_p → {D303 0x09cb1/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000078 {ArrayString 0x09e25/0x78}:ARRAY_STRING[0x1,0x7] = "OBJECTS" {D303 0x09e9d/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x09f3d/0x34} d303_2 = 0x001b d303_3 = 0x0000000000000000000 {D304 0x09f3d/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x09f71/0xa0}:D302 d302_0 = 0x8000000f d302_d303_p → {D303 0x09e9d/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000b8 {ArrayString 0x0a011/0xb8}:ARRAY_STRING[0x1,0xf] = "FACT_COLLECTION" {D307 0x0a0c9/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4ed6 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d3c2/0x7f} {D306 0x0a148/0x83}:D306 d306_d303_p → {D303 0x09e9d/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0a0c9/0x7f} {D303 0x0a1cb/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0a633/0x34} d303_2 = 0x001c d303_3 = 0x0000000000000000000 {Thing2 0x0a26b/0x40}:Thing2 Chain2 payload_p → {StringStore 0x07d97/0x380} next_p → {Thing2 0x07d57/0x40} {StringStore 0x0a2ab/0x388}:StringStore x = 0x00000001 y = 0x00000069 @0x0a2ee [0x00] = $0x001c »HOLDS_NIL_SATISFIED_RULE« @0x0a3c6 [0x01] = $0x001d »HOLDS_OBJECT_CEIL_RULE« @0x0a48e [0x02] = $0x001e »HOLDS_OBJECT_CEIL_AT_OBJ_RULE« {D304 0x0a633/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0a667/0xa0}:D302 d302_0 = 0x80000018 d302_d303_p → {D303 0x0a1cb/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000100 {ArrayString 0x0a707/0x100}:ARRAY_STRING[0x1,0x18] = "HOLDS_NIL_SATISFIED_RULE" {D303 0x0a807/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0ae0d/0x34} d303_2 = 0x001d d303_3 = 0x0000000000000000000 {Thing2 0x0a8a7/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x09705/0x468} next_p → {Thing2 0x096c5/0x40} {StringIndex 0x0a8e7/0x526}:StringIndex x = 0x00000001 y = 0x00000021 [$0x0001] 0x00240 002 »DO_ACTION« [$0x0002] 0x002a0 003 »FOR_RULE« [$0x0003] 0x002f8 004 »KBS« [$0x0004] 0x00328 005 »ON_FACTS« [$0x0005] 0x00380 006 »ALIAS« [$0x0006] 0x003c0 007 »OUTPUT_STREAM« [$0x0007] 0x00440 008 »SLOT« [$0x0008] 0x00478 009 »RULE_NAMES« [$0x0009] 0x004e0 00a »HOLDS_NIL« [$0x000a] 0x03aa0 00b »HOLDS_NIL_SATISFIED« [$0x000b] 0x03b50 00c »HOLDS_OBJECT_CEIL« [$0x000c] 0x03bf0 00d »HOLDS_OBJECT_CEIL_AT_OBJ« [$0x000d] 0x047e0 00e »HOLDS_OBJECT_NOT_CEIL_ON_LADDER« [$0x000e] 0x048f0 00f »HOLDS_OBJECT_NOT_CEIL_AT« [$0x000f] 0x049c8 010 »HOLDS_OBJECT_SATISFIED« [$0x0010] 0x04a90 011 »NO_MORE« [$0x0011] 0x04ae0 012 »=« [$0x0012] 0x059d0 013 »<« [$0x0013] 0x059f0 014 »>« [$0x0014] 0x05a10 015 »<=« [$0x0015] 0x05a38 016 »>=« [$0x0016] 0x05a60 017 »HOLDS_NIL_RULE« [$0x0017] 0x05ae8 018 »PREMISS« [$0x0018] 0x05b38 019 »FACT_QUERIES« [$0x0019] 0x05bb0 01a »ACTION« [$0x001a] 0x05bf8 01b »OBJECTS« [$0x001b] 0x05c48 01c »FACT_COLLECTION« [$0x001c] 0x07ee0 01d »HOLDS_NIL_SATISFIED_RULE« [$0x001d] 0x07fb8 01e »HOLDS_OBJECT_CEIL_RULE« [$0x001e] 0x08080 01f »HOLDS_OBJECT_CEIL_AT_OBJ_RULE« [$0x001f] 0x08f80 020 »HOLDS_OBJECT_NOT_CEIL_ON_LADDER_RULE« [$0x0020] 0x090b8 021 »HOLDS_OBJECT_NOT_CEIL_AT_RULE« [$0x0021] 0x091b8 000 »HOLDS_OBJECT_SATISFIED_RULE« {D304 0x0ae0d/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0ae41/0xa0}:D302 d302_0 = 0x80000016 d302_d303_p → {D303 0x0a807/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000f0 {ArrayString 0x0aee1/0xf0}:ARRAY_STRING[0x1,0x16] = "HOLDS_OBJECT_CEIL_RULE" {D303 0x0afd1/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0b071/0x34} d303_2 = 0x001e d303_3 = 0x0000000000000000000 {D304 0x0b071/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0b0a5/0xa0}:D302 d302_0 = 0x8000001d d302_d303_p → {D303 0x0afd1/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000128 {ArrayString 0x0b145/0x128}:ARRAY_STRING[0x1,0x1d] = "HOLDS_OBJECT_CEIL_AT_OBJ_RULE" {D303 0x0b26d/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0b6dd/0x34} d303_2 = 0x001f d303_3 = 0x0000000000000000000 {Thing2 0x0b30d/0x40}:Thing2 Chain2 payload_p → {StringStore 0x0a2ab/0x388} next_p → {Thing2 0x0a26b/0x40} {StringStore 0x0b34d/0x390}:StringStore x = 0x00000001 y = 0x0000006a @0x0b38e [0x00] = $0x001f »HOLDS_OBJECT_NOT_CEIL_ON_LADDER_RULE« @0x0b4c6 [0x01] = $0x0020 »HOLDS_OBJECT_NOT_CEIL_AT_RULE« @0x0b5c6 [0x02] = $0x0021 »HOLDS_OBJECT_SATISFIED_RULE« @0x0b6b6 [0x03] = $0x1200 »« {D304 0x0b6dd/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0b711/0xa0}:D302 d302_0 = 0x80000024 d302_d302_p → {D302 0x0a667/0xa0} d302_d303_p → {D303 0x0b26d/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000160 {ArrayString 0x0b7b1/0x160}:ARRAY_STRING[0x1,0x24] = "HOLDS_OBJECT_NOT_CEIL_ON_LADDER_RULE" {D303 0x0b911/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0b9b1/0x34} d303_2 = 0x0020 d303_3 = 0x0000000000000000000 {D304 0x0b9b1/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0b9e5/0xa0}:D302 d302_0 = 0x8000001d d302_d303_p → {D303 0x0b911/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000128 {ArrayString 0x0ba85/0x128}:ARRAY_STRING[0x1,0x1d] = "HOLDS_OBJECT_NOT_CEIL_AT_RULE" {D303 0x0bbad/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0bc4d/0x34} d303_2 = 0x0021 d303_3 = 0x0000000000000000000 {D304 0x0bc4d/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0bc81/0xa0}:D302 d302_0 = 0x8000001b d302_d303_p → {D303 0x0bbad/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000118 {ArrayString 0x0bd21/0x118}:ARRAY_STRING[0x1,0x1b] = "HOLDS_OBJECT_SATISFIED_RULE" {D303 0x0be39/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0c8d5/0x34} d303_2 = 0x0022 d303_3 = 0x0000000000000000000 {Thing2 0x0bed9/0x40}:Thing2 Chain2 payload_p → {StringStore 0x0b34d/0x390} next_p → {Thing2 0x0b30d/0x40} {StringStore 0x0bf19/0x398}:StringStore x = 0x00000001 y = 0x0000006b @0x0bf5e [0x00] = $0x0022 »RULE_BUNDLE« @0x0bfce [0x01] = $0x0023 »RULE_BASE« @0x0c02e [0x02] = $0x0024 »FACT_BASE« {Thing2 0x0c2b1/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x0a8e7/0x526} next_p → {Thing2 0x0a8a7/0x40} {StringIndex 0x0c2f1/0x5e4}:StringIndex x = 0x00000001 y = 0x00000026 [$0x0001] 0x00240 002 »DO_ACTION« [$0x0002] 0x002a0 003 »FOR_RULE« [$0x0003] 0x002f8 004 »KBS« [$0x0004] 0x00328 005 »ON_FACTS« [$0x0005] 0x00380 006 »ALIAS« [$0x0006] 0x003c0 007 »OUTPUT_STREAM« [$0x0007] 0x00440 008 »SLOT« [$0x0008] 0x00478 009 »RULE_NAMES« [$0x0009] 0x004e0 00a »HOLDS_NIL« [$0x000a] 0x03aa0 00b »HOLDS_NIL_SATISFIED« [$0x000b] 0x03b50 00c »HOLDS_OBJECT_CEIL« [$0x000c] 0x03bf0 00d »HOLDS_OBJECT_CEIL_AT_OBJ« [$0x000d] 0x047e0 00e »HOLDS_OBJECT_NOT_CEIL_ON_LADDER« [$0x000e] 0x048f0 00f »HOLDS_OBJECT_NOT_CEIL_AT« [$0x000f] 0x049c8 010 »HOLDS_OBJECT_SATISFIED« [$0x0010] 0x04a90 011 »NO_MORE« [$0x0011] 0x04ae0 012 »=« [$0x0012] 0x059d0 013 »<« [$0x0013] 0x059f0 014 »>« [$0x0014] 0x05a10 015 »<=« [$0x0015] 0x05a38 016 »>=« [$0x0016] 0x05a60 017 »HOLDS_NIL_RULE« [$0x0017] 0x05ae8 018 »PREMISS« [$0x0018] 0x05b38 019 »FACT_QUERIES« [$0x0019] 0x05bb0 01a »ACTION« [$0x001a] 0x05bf8 01b »OBJECTS« [$0x001b] 0x05c48 01c »FACT_COLLECTION« [$0x001c] 0x07ee0 01d »HOLDS_NIL_SATISFIED_RULE« [$0x001d] 0x07fb8 01e »HOLDS_OBJECT_CEIL_RULE« [$0x001e] 0x08080 01f »HOLDS_OBJECT_CEIL_AT_OBJ_RULE« [$0x001f] 0x08f80 020 »HOLDS_OBJECT_NOT_CEIL_ON_LADDER_RULE« [$0x0020] 0x090b8 021 »HOLDS_OBJECT_NOT_CEIL_AT_RULE« [$0x0021] 0x091b8 022 »HOLDS_OBJECT_SATISFIED_RULE« [$0x0022] 0x09b50 023 »RULE_BUNDLE« [$0x0023] 0x09bc0 024 »RULE_BASE« [$0x0024] 0x09c20 000 »FACT_BASE« {D304 0x0c8d5/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0c909/0xa0}:D302 d302_0 = 0x8000000b d302_d303_p → {D303 0x0be39/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000098 {ArrayString 0x0c9a9/0x98}:ARRAY_STRING[0x1,0xb] = "RULE_BUNDLE" {D303 0x0ca41/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0cae1/0x34} d303_2 = 0x0023 d303_3 = 0x0000000000000000000 {D304 0x0cae1/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0cb15/0xa0}:D302 d302_0 = 0x80000009 d302_d303_p → {D303 0x0ca41/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000088 {ArrayString 0x0cbb5/0x88}:ARRAY_STRING[0x1,0x9] = "RULE_BASE" {D307 0x0cc3d/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4ed6 d307_3 = 0x00000002 d307_d307_p → {D307 0x0deac/0x7f} {D306 0x0ccbc/0x83}:D306 d306_d303_p → {D303 0x0ca41/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0cc3d/0x7f} {D307 0x0cd3f/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4ec2 d307_3 = 0x00000002 {D306 0x0cdbe/0x83}:D306 d306_d303_p → {D303 0x04a90/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x0cd3f/0x7f} {D307 0x0ce41/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4ed6 d307_3 = 0x00000002 d307_d307_p → {D307 0x0df2b/0x7f} {D306 0x0cec0/0x83}:D306 d306_d303_p → {D303 0x09123/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x0ce41/0x7f} {D307 0x0cf43/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f22 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d441/0x7f} {D303 0x0cfc2/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0d062/0x34} d303_2 = 0x0024 d303_3 = 0x0000000000000000000 {D304 0x0d062/0x34}:D304 d304_0 = 0x8228338000001 {D302 0x0d096/0xa0}:D302 d302_0 = 0x80000009 d302_d303_p → {D303 0x0cfc2/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000088 {ArrayString 0x0d136/0x88}:ARRAY_STRING[0x1,0x9] = "FACT_BASE" {D307 0x0d1be/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f22 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d4c0/0x7f} {D306 0x0d23d/0x83}:D306 d306_d303_p → {D303 0x0cfc2/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0d1be/0x7f} {D307 0x0d2c0/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4ed6 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e0a8/0x7f} {D306 0x0d33f/0x83}:D306 d306_d303_p → {D303 0x09625/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x0d2c0/0x7f} {D307 0x0d3c2/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f22 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d53f/0x7f} {D307 0x0d441/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f24 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d5be/0x7f} {D307 0x0d4c0/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f24 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d63d/0x7f} {D307 0x0d53f/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f24 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d6bc/0x7f} {D307 0x0d5be/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f26 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d73b/0x7f} {D307 0x0d63d/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f26 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d7ba/0x7f} {D307 0x0d6bc/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f26 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d839/0x7f} {D307 0x0d73b/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f28 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d8b8/0x7f} {D307 0x0d7ba/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f28 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d937/0x7f} {D307 0x0d839/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f28 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d9b6/0x7f} {D307 0x0d8b8/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f2a d307_3 = 0x00000002 d307_d307_p → {D307 0x0da35/0x7f} {D307 0x0d937/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f2a d307_3 = 0x00000002 d307_d307_p → {D307 0x0dab4/0x7f} {D307 0x0d9b6/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f2a d307_3 = 0x00000002 d307_d307_p → {D307 0x0db33/0x7f} {D307 0x0da35/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f2c d307_3 = 0x00000002 d307_d307_p → {D307 0x0dbb2/0x7f} {D307 0x0dab4/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f2c d307_3 = 0x00000002 d307_d307_p → {D307 0x0dc31/0x7f} {D307 0x0db33/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f2c d307_3 = 0x00000002 d307_d307_p → {D307 0x0dcb0/0x7f} {D307 0x0dbb2/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f2e d307_3 = 0x00000002 d307_d307_p → {D307 0x0ddae/0x7f} {D307 0x0dc31/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f2e d307_3 = 0x00000002 d307_d307_p → {D307 0x0e029/0x7f} {D307 0x0dcb0/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d4f2e d307_3 = 0x00000002 d307_d307_p → {D307 0x0de2d/0x7f} {D307 0x0dd2f/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d557e d307_3 = 0x00000002 {D307 0x0ddae/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d557e d307_3 = 0x00000002 d307_d307_p → {D307 0x0dfaa/0x7f} {D307 0x0de2d/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d557e d307_3 = 0x00000002 d307_d307_p → {D307 0x0e127/0x7f} {D307 0x0deac/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d557e d307_3 = 0x00000002 {D307 0x0df2b/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d557e d307_3 = 0x00000002 {D307 0x0dfaa/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5580 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e1a6/0x7f} {D307 0x0e029/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5580 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e225/0x7f} {D307 0x0e0a8/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d557e d307_3 = 0x00000002 {D307 0x0e127/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5580 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e2a4/0x7f} {D307 0x0e1a6/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5582 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e323/0x7f} {D307 0x0e225/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5582 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e3a2/0x7f} {D307 0x0e2a4/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5582 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e421/0x7f} {D307 0x0e323/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5584 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e4a0/0x7f} {D307 0x0e3a2/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5584 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e51f/0x7f} {D307 0x0e421/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5584 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e59e/0x7f} {D307 0x0e4a0/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5586 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e61d/0x7f} {D307 0x0e51f/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5586 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e69c/0x7f} {D307 0x0e59e/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5586 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e71b/0x7f} {D307 0x0e61d/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5588 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e79a/0x7f} {D307 0x0e69c/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5588 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e819/0x7f} {D307 0x0e71b/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d5588 d307_3 = 0x00000002 d307_d307_p → {D307 0x0e898/0x7f} {D307 0x0e79a/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d558a d307_3 = 0x00000002 d307_d307_p → {D307 0x0e917/0x7f} {D307 0x0e819/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d558a d307_3 = 0x00000002 d307_d307_p → {D307 0x0e996/0x7f} {D307 0x0e898/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d558a d307_3 = 0x00000002 d307_d307_p → {D307 0x0ea15/0x7f} {D307 0x0e917/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d558c d307_3 = 0x00000002 {D307 0x0e996/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d558c d307_3 = 0x00000002 {D307 0x0ea15/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x000d558c d307_3 = 0x00000002