|
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: 9216 (0x2400)
Notes: 01_class, 97_tag, ADA, R1k_Segment, VAR3, seg_0477b5
└─⟦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 = 0x00011c5b max_bits = 0xffffffff zero = 0x00000000 alloced_bits = 0x00011fff
{HeadVar3 0x00080/0x2aa}:HeadVar3
0x000080 [0x00] +0x0000: head_z_000 = 0x80000001 [10000000000000000000000000000001]
0x0000a0 [0x01] +0x0020: head_segment = 0x000477b5 [0000000000001000111011110110101]
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 = 0x00015e3b [000000000000010101111000111011]
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 = 0xffffffff007200d400d1a0019fa [111111111111111111111111111111110000000001110010000000001101010000000000110100011010000000000001100111111010]
0x002386 [0x01] +0x006c: t1_c1_head_p → {StringIndex 0x02426/0x1e2} [00000000000000000010010000100110]
0x0023a6 [0x02] +0x008c: t1_c2_last_p → {StringStore 0x0f23e/0x390} [00000000000000001111001000111110]
0x0023c6 [0x03] +0x00ac: t1_array1_p → {StringIndex 0x0f9a6/0x8b6} [00000000000000001111100110100110]
0x0023e6 [0x04] +0x00cc: t1_c2_tail_p → {Thing2 0x0f1fe/0x40} [00000000000000001111000111111110]
0x002406 [0x05] +0x00ec: t1_c1_tail_p → {Thing2 0x0f966/0x40} [00000000000000001111100101100110]
{StringIndex 0x02426/0x1e2}:StringIndex x = 0x00000001 y = 0x0000000b
[$0x0001] 0x00240 002 »CALENDAR«
[$0x0002] 0x00298 003 »TEXT_IO«
[$0x0003] 0x002e8 004 »OUTPUT_STREAM«
[$0x0004] 0x00368 005 »TOWERS_OF_HANOI_BENCHMARK«
[$0x0005] 0x00448 006 »TOWER_SIZE«
[$0x0006] 0x004b0 007 »INITIAL_PRIORITY«
[$0x0007] 0x03558 008 »INFERENCE_COUNT«
[$0x0008] 0x035e8 009 »ELAPSED_TIME«
[$0x0009] 0x03660 00a »FIRINGS_PER_SECOND«
[$0x000a] 0x03708 00b »STARTED_AT«
[$0x000b] 0x03770 000 »STOPPED_AT«
{StringStore 0x02608/0x368}:StringStore x = 0x00000001 y = 0x00000065
@0x0264e [0x00] = $0x0001 »CALENDAR«
@0x026a6 [0x01] = $0x0002 »TEXT_IO«
@0x026f6 [0x02] = $0x0003 »OUTPUT_STREAM«
@0x02776 [0x03] = $0x0004 »TOWERS_OF_HANOI_BENCHMARK«
@0x02856 [0x04] = $0x0005 »TOWER_SIZE«
@0x028be [0x05] = $0x0006 »INITIAL_PRIORITY«
{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
0x0030d0 [0x00] +0x0000: ptr_0x0_p → {D306 0x09b57/0x83} [00000000000000001001101101010111]
0x0031d0 [0x08] +0x0100: ptr_0x8_p → {D306 0x082e5/0x83} [00000000000000001000001011100101]
0x0032b0 [0x0f] +0x01e0: ptr_0xf_p → {D306 0x087b7/0x83} [00000000000000001000011110110111]
0x003330 [0x13] +0x0260: ptr_0x13_p → {D306 0x0b7c3/0x83} [00000000000000001011011111000011]
0x003350 [0x14] +0x0280: ptr_0x14_p → {D306 0x05387/0x83} [00000000000000000101001110000111]
0x0036d0 [0x30] +0x0600: ptr_0x30_p → {D306 0x0abdf/0x83} [00000000000000001010101111011111]
0x003770 [0x35] +0x06a0: ptr_0x35_p → {D306 0x09583/0x83} [00000000000000001001010110000011]
0x003830 [0x3b] +0x0760: ptr_0x3b_p → {D306 0x117e0/0x83} [00000000000000010001011111100000]
0x003850 [0x3c] +0x0780: ptr_0x3c_p → {D306 0x0928d/0x83} [00000000000000001001001010001101]
0x0038d0 [0x40] +0x0800: ptr_0x40_p → {D306 0x07149/0x83} [00000000000000000111000101001001]
0x0038f0 [0x41] +0x0820: ptr_0x41_p → {D306 0x0a4e9/0x83} [00000000000000001010010011101001]
0x003930 [0x43] +0x0860: ptr_0x43_p → {D306 0x0a8a9/0x83} [00000000000000001010100010101001]
0x003a50 [0x4c] +0x0980: ptr_0x4c_p → {D306 0x0a5eb/0x83} [00000000000000001010010111101011]
0x003b90 [0x56] +0x0ac0: ptr_0x56_p → {D306 0x0ace1/0x83} [00000000000000001010110011100001]
0x003c10 [0x5a] +0x0b40: ptr_0x5a_p → {D306 0x09861/0x83} [00000000000000001001100001100001]
0x003d10 [0x62] +0x0c40: ptr_0x62_p → {D306 0x0b505/0x83} [00000000000000001011010100000101]
0x003d30 +0x0c60: 0x0 [0x80] 0…
{D301 0x03db0/0xce0}:D301
0x003e10 [0x03] +0x0060: ptr_0x3_p → {D302 0x0b65c/0xa0} [00000000000000001011011001011100]
0x003e50 [0x05] +0x00a0: ptr_0x5_p → {D302 0x10290/0xa0} [00000000000000010000001010010000]
0x003e90 [0x07] +0x00e0: ptr_0x7_p → {D302 0x0f066/0xa0} [00000000000000001111000001100110]
0x003f10 [0x0b] +0x0160: ptr_0xb_p → {D302 0x0eb02/0xa0} [00000000000000001110101100000010]
0x003f70 [0x0e] +0x01c0: ptr_0xe_p → {D302 0x0f7ce/0xa0} [00000000000000001111011111001110]
0x003f90 [0x0f] +0x01e0: ptr_0xf_p → {D302 0x0dbe6/0xa0} [00000000000000001101101111100110]
0x003fb0 [0x10] +0x0200: ptr_0x10_p → {D302 0x0ecce/0xa0} [00000000000000001110110011001110]
0x0040d0 [0x19] +0x0320: ptr_0x19_p → {D302 0x0a33a/0xa0} [00000000000000001010001100111010]
0x0040f0 [0x1a] +0x0340: ptr_0x1a_p → {D302 0x0b91a/0xa0} [00000000000000001011100100011010]
0x004110 [0x1b] +0x0360: ptr_0x1b_p → {D302 0x06fd2/0xa0} [00000000000000000110111111010010]
0x004130 [0x1c] +0x0380: ptr_0x1c_p → {D302 0x093e4/0xa0} [00000000000000001001001111100100]
0x004170 [0x1e] +0x03c0: ptr_0x1e_p → {D302 0x0df7e/0xa0} [00000000000000001101111101111110]
0x0041b0 [0x20] +0x0400: ptr_0x20_p → {D302 0x077d2/0xa0} [00000000000000000111011111010010]
0x004230 [0x24] +0x0480: ptr_0x24_p → {D302 0x0cdae/0xa0} [00000000000000001100110110101110]
0x004250 [0x25] +0x04a0: ptr_0x25_p → {D302 0x069e6/0xa0} [00000000000000000110100111100110]
0x004370 [0x2e] +0x05c0: ptr_0x2e_p → {D302 0x06106/0xa0} [00000000000000000110000100000110]
0x004390 [0x2f] +0x05e0: ptr_0x2f_p → {D302 0x0ca16/0xa0} [00000000000000001100101000010110]
0x0043d0 [0x31] +0x0620: ptr_0x31_p → {D302 0x08610/0xa0} [00000000000000001000011000010000]
0x004430 [0x34] +0x0680: ptr_0x34_p → {D302 0x0e14a/0xa0} [00000000000000001110000101001010]
0x0044b0 [0x38] +0x0700: ptr_0x38_p → {D302 0x05160/0xa0} [00000000000000000101000101100000]
0x0044f0 [0x3a] +0x0740: ptr_0x3a_p → {D302 0x0ee9a/0xa0} [00000000000000001110111010011010]
0x004530 [0x3c] +0x0780: ptr_0x3c_p → {D302 0x096da/0xa0} [00000000000000001001011011011010]
0x0045f0 [0x42] +0x0840: ptr_0x42_p → {D302 0x05ef2/0xa0} [00000000000000000101111011110010]
0x004610 [0x43] +0x0860: ptr_0x43_p → {D302 0x0cf7a/0xa0} [00000000000000001100111101111010]
0x004630 [0x44] +0x0880: ptr_0x44_p → {D302 0x099b8/0xa0} [00000000000000001001100110111000]
0x0046d0 [0x49] +0x0920: ptr_0x49_p → {D302 0x0da1a/0xa0} [00000000000000001101101000011010]
0x0046f0 [0x4a] +0x0940: ptr_0x4a_p → {D302 0x0c05a/0xa0} [00000000000000001100000001011010]
0x004710 [0x4b] +0x0960: ptr_0x4b_p → {D302 0x11240/0xa0} [00000000000000010001001001000000]
0x004750 [0x4d] +0x09a0: ptr_0x4d_p → {D302 0x0cbe2/0xa0} [00000000000000001100101111100010]
0x004770 [0x4e] +0x09c0: ptr_0x4e_p → {D302 0x04d58/0xa0} [00000000000000000100110101011000]
0x0047b0 [0x50] +0x0a00: ptr_0x50_p → {D302 0x0aa00/0xa0} [00000000000000001010101000000000]
0x004810 [0x53] +0x0a60: ptr_0x53_p → {D302 0x0b39e/0xa0} [00000000000000001011001110011110]
0x004830 [0x54] +0x0a80: ptr_0x54_p → {D302 0x0a742/0xa0} [00000000000000001010011101000010]
0x004850 [0x55] +0x0aa0: ptr_0x55_p → {D302 0x054de/0xa0} [00000000000000000101010011011110]
0x0048d0 [0x59] +0x0b20: ptr_0x59_p → {D302 0x0f602/0xa0} [00000000000000001111011000000010]
0x0048f0 [0x5a] +0x0b40: ptr_0x5a_p → {D302 0x0843c/0xa0} [00000000000000001000010000111100]
0x004910 [0x5b] +0x0b60: ptr_0x5b_p → {D302 0x04b64/0xa0} [00000000000000000100101101100100]
0x004930 [0x5c] +0x0b80: ptr_0x5c_p → {D302 0x05cc6/0xa0} [00000000000000000101110011000110]
0x0049b0 [0x60] +0x0c00: ptr_0x60_p → {D302 0x0c84a/0xa0} [00000000000000001100100001001010]
0x0049d0 [0x61] +0x0c20: ptr_0x61_p → {D302 0x0ddb2/0xa0} [00000000000000001101110110110010]
0x0049f0 [0x62] +0x0c40: ptr_0x62_p → {D302 0x0d84e/0xa0} [00000000000000001101100001001110]
0x004a30 [0x64] +0x0c80: ptr_0x64_p → {D302 0x079ce/0xa0} [00000000000000000111100111001110]
0x004a50 +0x0ca0: 0x0 [0x40] 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 = 0x80000008 d302_d303_p → {D303 0x04a90/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000080
{ArrayString 0x04c04/0x80}:ARRAY_STRING[0x1,0x8] = "CALENDAR"
{D303 0x04c84/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x04d24/0x34} d303_2 = 0x0002 d303_3 = 0x0000000000000000000
{D304 0x04d24/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x04d58/0xa0}:D302 d302_0 = 0x80000007 d302_d303_p → {D303 0x04c84/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000078
{ArrayString 0x04df8/0x78}:ARRAY_STRING[0x1,0x7] = "TEXT_IO"
{D303 0x04e70/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x04f10/0x34} d303_2 = 0x0003 d303_3 = 0x0000000000000000000
{D304 0x04f10/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x04f44/0xa0}:D302 d302_0 = 0x8000000d d302_d303_p → {D303 0x04e70/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000a8
{ArrayString 0x04fe4/0xa8}:ARRAY_STRING[0x1,0xd] = "OUTPUT_STREAM"
{D303 0x0508c/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0512c/0x34} d303_2 = 0x0004 d303_3 = 0x0000000000000000000
{D304 0x0512c/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05160/0xa0}:D302 d302_0 = 0x80000019 d302_d303_p → {D303 0x0508c/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000108
{ArrayString 0x05200/0x108}:ARRAY_STRING[0x1,0x19] = "TOWERS_OF_HANOI_BENCHMARK"
{D307 0x05308/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e37e d307_3 = 0x00000002
{D306 0x05387/0x83}:D306 d306_d303_p → {D303 0x0508c/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x05308/0x7f}
{D303 0x0540a/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x054aa/0x34} d303_2 = 0x0005 d303_3 = 0x0000000000000000000
{D304 0x054aa/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x054de/0xa0}:D302 d302_0 = 0x8000000a d302_d303_p → {D303 0x0540a/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000090
{ArrayString 0x0557e/0x90}:ARRAY_STRING[0x1,0xa] = "TOWER_SIZE"
{D303 0x0560e/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x056ae/0x34} d303_2 = 0x0006 d303_3 = 0x0000000000000000000
{D304 0x056ae/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x056e2/0xa0}:D302 d302_0 = 0x80000010 d302_d303_p → {D303 0x0560e/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c0
{ArrayString 0x05782/0xc0}:ARRAY_STRING[0x1,0x10] = "INITIAL_PRIORITY"
{D303 0x05842/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x05c92/0x34} d303_2 = 0x0007 d303_3 = 0x0000000000000000000
{Thing2 0x058e2/0x40}:Thing2 Chain2 payload_p → {StringStore 0x02608/0x368}
{StringStore 0x05922/0x370}:StringStore x = 0x00000001 y = 0x00000066
@0x05966 [0x00] = $0x0007 »INFERENCE_COUNT«
@0x059f6 [0x01] = $0x0008 »ELAPSED_TIME«
@0x05a6e [0x02] = $0x0009 »FIRINGS_PER_SECOND«
@0x05b16 [0x03] = $0x000a »STARTED_AT«
@0x05b7e [0x04] = $0x000b »STOPPED_AT«
@0x05be6 [0x05] = $0x000c »FIRABLE_ON_FACTS«
{D304 0x05c92/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05cc6/0xa0}:D302 d302_0 = 0x8000000f d302_d303_p → {D303 0x05842/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000b8
{ArrayString 0x05d66/0xb8}:ARRAY_STRING[0x1,0xf] = "INFERENCE_COUNT"
{D303 0x05e1e/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x05ebe/0x34} d303_2 = 0x0008 d303_3 = 0x0000000000000000000
{D304 0x05ebe/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05ef2/0xa0}:D302 d302_0 = 0x8000000c d302_d303_p → {D303 0x05e1e/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000a0
{ArrayString 0x05f92/0xa0}:ARRAY_STRING[0x1,0xc] = "ELAPSED_TIME"
{D303 0x06032/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x060d2/0x34} d303_2 = 0x0009 d303_3 = 0x0000000000000000000
{D304 0x060d2/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x06106/0xa0}:D302 d302_0 = 0x80000012 d302_d303_p → {D303 0x06032/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000d0
{ArrayString 0x061a6/0xd0}:ARRAY_STRING[0x1,0x12] = "FIRINGS_PER_SECOND"
{D303 0x06276/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x06316/0x34} d303_2 = 0x000a d303_3 = 0x0000000000000000000
{D304 0x06316/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0634a/0xa0}:D302 d302_0 = 0x8000000a d302_d303_p → {D303 0x06276/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000090
{ArrayString 0x063ea/0x90}:ARRAY_STRING[0x1,0xa] = "STARTED_AT"
{D303 0x0647a/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0651a/0x34} d303_2 = 0x000b d303_3 = 0x0000000000000000000
{D304 0x0651a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0654e/0xa0}:D302 d302_0 = 0x8000000a d302_d303_p → {D303 0x0647a/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000090
{ArrayString 0x065ee/0x90}:ARRAY_STRING[0x1,0xa] = "STOPPED_AT"
{D303 0x0667e/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x069b2/0x34} d303_2 = 0x000c d303_3 = 0x0000000000000000000
{Thing2 0x0671e/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x02426/0x1e2}
{StringIndex 0x0675e/0x254}:StringIndex x = 0x00000001 y = 0x0000000e
[$0x0001] 0x00240 002 »CALENDAR«
[$0x0002] 0x00298 003 »TEXT_IO«
[$0x0003] 0x002e8 004 »OUTPUT_STREAM«
[$0x0004] 0x00368 005 »TOWERS_OF_HANOI_BENCHMARK«
[$0x0005] 0x00448 006 »TOWER_SIZE«
[$0x0006] 0x004b0 007 »INITIAL_PRIORITY«
[$0x0007] 0x03558 008 »INFERENCE_COUNT«
[$0x0008] 0x035e8 009 »ELAPSED_TIME«
[$0x0009] 0x03660 00a »FIRINGS_PER_SECOND«
[$0x000a] 0x03708 00b »STARTED_AT«
[$0x000b] 0x03770 00c »STOPPED_AT«
[$0x000c] 0x037d8 00d »FIRABLE_ON_FACTS«
[$0x000d] 0x04858 00e »KBS«
[$0x000e] 0x04888 000 »FIRABLE_ON_RULE«
{D304 0x069b2/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x069e6/0xa0}:D302 d302_0 = 0x80000010 d302_d303_p → {D303 0x0667e/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c0
{ArrayString 0x06a86/0xc0}:ARRAY_STRING[0x1,0x10] = "FIRABLE_ON_FACTS"
{D303 0x06b46/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x06f9e/0x34} d303_2 = 0x000d d303_3 = 0x0000000000000000000
{Thing2 0x06be6/0x40}:Thing2 Chain2 payload_p → {StringStore 0x05922/0x370} next_p → {Thing2 0x058e2/0x40}
{StringStore 0x06c26/0x378}:StringStore x = 0x00000001 y = 0x00000067
@0x06c66 [0x00] = $0x000d »KBS«
@0x06c96 [0x01] = $0x000e »FIRABLE_ON_RULE«
@0x06d26 [0x02] = $0x000f »TOH_RULES«
@0x06d86 [0x03] = $0x0010 »DURATION_IO«
@0x06df6 [0x04] = $0x0011 »I«
@0x06e16 [0x05] = $0x0012 »STANDARD_OUTPUT«
@0x06ea6 [0x06] = $0x0013 »SIZE«
@0x06ede [0x07] = $0x0014 »MOVEMENTS«
{D304 0x06f9e/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x06fd2/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x06b46/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x07072/0x58}:ARRAY_STRING[0x1,0x3] = "KBS"
{D307 0x070ca/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e382 d307_3 = 0x00000002 d307_d307_p → {D307 0x10388/0x7f}
{D306 0x07149/0x83}:D306 d306_d303_p → {D303 0x06b46/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x070ca/0x7f}
{D303 0x071cc/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0726c/0x34} d303_2 = 0x000e d303_3 = 0x0000000000000000000
{D304 0x0726c/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x072a0/0xa0}:D302 d302_0 = 0x8000000f d302_d302_p → {D302 0x056e2/0xa0} d302_d303_p → {D303 0x071cc/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000b8
{ArrayString 0x07340/0xb8}:ARRAY_STRING[0x1,0xf] = "FIRABLE_ON_RULE"
{D303 0x073f8/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0779e/0x34} d303_2 = 0x000f d303_3 = 0x0000000000000000000
{Thing2 0x07498/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x0675e/0x254} next_p → {Thing2 0x0671e/0x40}
{StringIndex 0x074d8/0x2c6}:StringIndex x = 0x00000001 y = 0x00000011
[$0x0001] 0x00240 002 »CALENDAR«
[$0x0002] 0x00298 003 »TEXT_IO«
[$0x0003] 0x002e8 004 »OUTPUT_STREAM«
[$0x0004] 0x00368 005 »TOWERS_OF_HANOI_BENCHMARK«
[$0x0005] 0x00448 006 »TOWER_SIZE«
[$0x0006] 0x004b0 007 »INITIAL_PRIORITY«
[$0x0007] 0x03558 008 »INFERENCE_COUNT«
[$0x0008] 0x035e8 009 »ELAPSED_TIME«
[$0x0009] 0x03660 00a »FIRINGS_PER_SECOND«
[$0x000a] 0x03708 00b »STARTED_AT«
[$0x000b] 0x03770 00c »STOPPED_AT«
[$0x000c] 0x037d8 00d »FIRABLE_ON_FACTS«
[$0x000d] 0x04858 00e »KBS«
[$0x000e] 0x04888 00f »FIRABLE_ON_RULE«
[$0x000f] 0x04918 010 »TOH_RULES«
[$0x0010] 0x04978 011 »DURATION_IO«
[$0x0011] 0x049e8 000 »I«
{D304 0x0779e/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x077d2/0xa0}:D302 d302_0 = 0x80000009 d302_d303_p → {D303 0x073f8/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000088
{ArrayString 0x07872/0x88}:ARRAY_STRING[0x1,0x9] = "TOH_RULES"
{D303 0x078fa/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0799a/0x34} d303_2 = 0x0010 d303_3 = 0x0000000000000000000
{D304 0x0799a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x079ce/0xa0}:D302 d302_0 = 0x8000000b d302_d303_p → {D303 0x078fa/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000098
{ArrayString 0x07a6e/0x98}:ARRAY_STRING[0x1,0xb] = "DURATION_IO"
{D303 0x07b06/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x07ba6/0x34} d303_2 = 0x0011 d303_3 = 0x0000000000000000000
{D304 0x07ba6/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x07bda/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x07b06/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x07c7a/0x48}:ARRAY_STRING[0x1,0x1] = "I"
{D303 0x07cc2/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x080da/0x34} d303_2 = 0x0012 d303_3 = 0x0000000000000000000
{Thing2 0x07d62/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x074d8/0x2c6} next_p → {Thing2 0x07498/0x40}
{StringIndex 0x07da2/0x338}:StringIndex x = 0x00000001 y = 0x00000014
[$0x0001] 0x00240 002 »CALENDAR«
[$0x0002] 0x00298 003 »TEXT_IO«
[$0x0003] 0x002e8 004 »OUTPUT_STREAM«
[$0x0004] 0x00368 005 »TOWERS_OF_HANOI_BENCHMARK«
[$0x0005] 0x00448 006 »TOWER_SIZE«
[$0x0006] 0x004b0 007 »INITIAL_PRIORITY«
[$0x0007] 0x03558 008 »INFERENCE_COUNT«
[$0x0008] 0x035e8 009 »ELAPSED_TIME«
[$0x0009] 0x03660 00a »FIRINGS_PER_SECOND«
[$0x000a] 0x03708 00b »STARTED_AT«
[$0x000b] 0x03770 00c »STOPPED_AT«
[$0x000c] 0x037d8 00d »FIRABLE_ON_FACTS«
[$0x000d] 0x04858 00e »KBS«
[$0x000e] 0x04888 00f »FIRABLE_ON_RULE«
[$0x000f] 0x04918 010 »TOH_RULES«
[$0x0010] 0x04978 011 »DURATION_IO«
[$0x0011] 0x049e8 012 »I«
[$0x0012] 0x04a08 013 »STANDARD_OUTPUT«
[$0x0013] 0x04a98 014 »SIZE«
[$0x0014] 0x04ad0 000 »MOVEMENTS«
{D304 0x080da/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0810e/0xa0}:D302 d302_0 = 0x8000000f d302_d303_p → {D303 0x07cc2/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000b8
{ArrayString 0x081ae/0xb8}:ARRAY_STRING[0x1,0xf] = "STANDARD_OUTPUT"
{D307 0x08266/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e382 d307_3 = 0x00000002 d307_d307_p → {D307 0x10407/0x7f}
{D306 0x082e5/0x83}:D306 d306_d303_p → {D303 0x07cc2/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x08266/0x7f}
{D303 0x08368/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x08408/0x34} d303_2 = 0x0013 d303_3 = 0x0000000000000000000
{D304 0x08408/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0843c/0xa0}:D302 d302_0 = 0x80000004 d302_d303_p → {D303 0x08368/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000060
{ArrayString 0x084dc/0x60}:ARRAY_STRING[0x1,0x4] = "SIZE"
{D303 0x0853c/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x085dc/0x34} d303_2 = 0x0014 d303_3 = 0x0000000000000000000
{D304 0x085dc/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x08610/0xa0}:D302 d302_0 = 0x80000009 d302_d303_p → {D303 0x0853c/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000088
{ArrayString 0x086b0/0x88}:ARRAY_STRING[0x1,0x9] = "MOVEMENTS"
{D307 0x08738/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e382 d307_3 = 0x00000002 d307_d307_p → {D307 0x10486/0x7f}
{D306 0x087b7/0x83}:D306 d306_d303_p → {D303 0x0853c/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x08738/0x7f}
{D303 0x0883a/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x090aa/0x34} d303_2 = 0x0015 d303_3 = 0x0000000000000000000
{Thing2 0x088da/0x40}:Thing2 Chain2 payload_p → {StringStore 0x06c26/0x378} next_p → {Thing2 0x06be6/0x40}
{StringStore 0x0891a/0x380}:StringStore x = 0x00000001 y = 0x00000068
@0x0895e [0x00] = $0x0015 »FROM_TOWER«
@0x089c6 [0x01] = $0x0016 »TO_TOWER«
@0x08a1e [0x02] = $0x0017 »COUNT«
@0x08a5e [0x03] = $0x0018 »PRIORITY«
@0x08ab6 [0x04] = $0x0019 »RESULT«
@0x08afe [0x05] = $0x001a »COLLECTION«
@0x08b66 [0x06] = $0x001b »=«
@0x08b86 [0x07] = $0x001c »EMPTY_COLLECTION«
@0x08c1e [0x08] = $0x001d »+«
@0x08c3e [0x09] = $0x001e »-«
@0x08c5e [0x0a] = $0x001f »/«
{Thing2 0x08c9a/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x07da2/0x338} next_p → {Thing2 0x07d62/0x40}
{StringIndex 0x08cda/0x3d0}:StringIndex x = 0x00000001 y = 0x00000018
[$0x0001] 0x00240 002 »CALENDAR«
[$0x0002] 0x00298 003 »TEXT_IO«
[$0x0003] 0x002e8 004 »OUTPUT_STREAM«
[$0x0004] 0x00368 005 »TOWERS_OF_HANOI_BENCHMARK«
[$0x0005] 0x00448 006 »TOWER_SIZE«
[$0x0006] 0x004b0 007 »INITIAL_PRIORITY«
[$0x0007] 0x03558 008 »INFERENCE_COUNT«
[$0x0008] 0x035e8 009 »ELAPSED_TIME«
[$0x0009] 0x03660 00a »FIRINGS_PER_SECOND«
[$0x000a] 0x03708 00b »STARTED_AT«
[$0x000b] 0x03770 00c »STOPPED_AT«
[$0x000c] 0x037d8 00d »FIRABLE_ON_FACTS«
[$0x000d] 0x04858 00e »KBS«
[$0x000e] 0x04888 00f »FIRABLE_ON_RULE«
[$0x000f] 0x04918 010 »TOH_RULES«
[$0x0010] 0x04978 011 »DURATION_IO«
[$0x0011] 0x049e8 012 »I«
[$0x0012] 0x04a08 013 »STANDARD_OUTPUT«
[$0x0013] 0x04a98 014 »SIZE«
[$0x0014] 0x04ad0 015 »MOVEMENTS«
[$0x0015] 0x06550 016 »FROM_TOWER«
[$0x0016] 0x065b8 017 »TO_TOWER«
[$0x0017] 0x06610 018 »COUNT«
[$0x0018] 0x06650 000 »PRIORITY«
{D304 0x090aa/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x090de/0xa0}:D302 d302_0 = 0x8000000a d302_d303_p → {D303 0x0883a/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000090
{ArrayString 0x0917e/0x90}:ARRAY_STRING[0x1,0xa] = "FROM_TOWER"
{D307 0x0920e/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e382 d307_3 = 0x00000002 d307_d307_p → {D307 0x10505/0x7f}
{D306 0x0928d/0x83}:D306 d306_d303_p → {D303 0x0883a/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0920e/0x7f}
{D303 0x09310/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x093b0/0x34} d303_2 = 0x0016 d303_3 = 0x0000000000000000000
{D304 0x093b0/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x093e4/0xa0}:D302 d302_0 = 0x80000008 d302_d303_p → {D303 0x09310/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000080
{ArrayString 0x09484/0x80}:ARRAY_STRING[0x1,0x8] = "TO_TOWER"
{D307 0x09504/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e382 d307_3 = 0x00000002 d307_d307_p → {D307 0x10584/0x7f}
{D306 0x09583/0x83}:D306 d306_d303_p → {D303 0x09310/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x09504/0x7f}
{D303 0x09606/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x096a6/0x34} d303_2 = 0x0017 d303_3 = 0x0000000000000000000
{D304 0x096a6/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x096da/0xa0}:D302 d302_0 = 0x80000005 d302_d302_p → {D302 0x072a0/0xa0} d302_d303_p → {D303 0x09606/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000068
{ArrayString 0x0977a/0x68}:ARRAY_STRING[0x1,0x5] = "COUNT"
{D307 0x097e2/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e382 d307_3 = 0x00000002 d307_d307_p → {D307 0x10603/0x7f}
{D306 0x09861/0x83}:D306 d306_d303_p → {D303 0x09606/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x097e2/0x7f}
{D303 0x098e4/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x09984/0x34} d303_2 = 0x0018 d303_3 = 0x0000000000000000000
{D304 0x09984/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x099b8/0xa0}:D302 d302_0 = 0x80000008 d302_d303_p → {D303 0x098e4/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000080
{ArrayString 0x09a58/0x80}:ARRAY_STRING[0x1,0x8] = "PRIORITY"
{D307 0x09ad8/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e382 d307_3 = 0x00000002 d307_d307_p → {D307 0x10682/0x7f}
{D306 0x09b57/0x83}:D306 d306_d303_p → {D303 0x098e4/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x09ad8/0x7f}
{D303 0x09bda/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0a122/0x34} d303_2 = 0x0019 d303_3 = 0x0000000000000000000
{Thing2 0x09c7a/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x08cda/0x3d0} next_p → {Thing2 0x08c9a/0x40}
{StringIndex 0x09cba/0x468}:StringIndex x = 0x00000001 y = 0x0000001c
[$0x0001] 0x00240 002 »CALENDAR«
[$0x0002] 0x00298 003 »TEXT_IO«
[$0x0003] 0x002e8 004 »OUTPUT_STREAM«
[$0x0004] 0x00368 005 »TOWERS_OF_HANOI_BENCHMARK«
[$0x0005] 0x00448 006 »TOWER_SIZE«
[$0x0006] 0x004b0 007 »INITIAL_PRIORITY«
[$0x0007] 0x03558 008 »INFERENCE_COUNT«
[$0x0008] 0x035e8 009 »ELAPSED_TIME«
[$0x0009] 0x03660 00a »FIRINGS_PER_SECOND«
[$0x000a] 0x03708 00b »STARTED_AT«
[$0x000b] 0x03770 00c »STOPPED_AT«
[$0x000c] 0x037d8 00d »FIRABLE_ON_FACTS«
[$0x000d] 0x04858 00e »KBS«
[$0x000e] 0x04888 00f »FIRABLE_ON_RULE«
[$0x000f] 0x04918 010 »TOH_RULES«
[$0x0010] 0x04978 011 »DURATION_IO«
[$0x0011] 0x049e8 012 »I«
[$0x0012] 0x04a08 013 »STANDARD_OUTPUT«
[$0x0013] 0x04a98 014 »SIZE«
[$0x0014] 0x04ad0 015 »MOVEMENTS«
[$0x0015] 0x06550 016 »FROM_TOWER«
[$0x0016] 0x065b8 017 »TO_TOWER«
[$0x0017] 0x06610 018 »COUNT«
[$0x0018] 0x06650 019 »PRIORITY«
[$0x0019] 0x066a8 01a »RESULT«
[$0x001a] 0x066f0 01b »COLLECTION«
[$0x001b] 0x06758 01c »=«
[$0x001c] 0x06778 000 »EMPTY_COLLECTION«
{D304 0x0a122/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0a156/0xa0}:D302 d302_0 = 0x80000006 d302_d303_p → {D303 0x09bda/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000070
{ArrayString 0x0a1f6/0x70}:ARRAY_STRING[0x1,0x6] = "RESULT"
{D303 0x0a266/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0a306/0x34} d303_2 = 0x001a d303_3 = 0x0000000000000000000
{D304 0x0a306/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0a33a/0xa0}:D302 d302_0 = 0x8000000a d302_d303_p → {D303 0x0a266/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000090
{ArrayString 0x0a3da/0x90}:ARRAY_STRING[0x1,0xa] = "COLLECTION"
{D307 0x0a46a/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e382 d307_3 = 0x00000002 d307_d307_p → {D307 0x10701/0x7f}
{D306 0x0a4e9/0x83}:D306 d306_d303_p → {D303 0x0a266/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0a46a/0x7f}
{D307 0x0a56c/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e382 d307_3 = 0x00000002 d307_d307_p → {D307 0x10780/0x7f}
{D306 0x0a5eb/0x83}:D306 d306_d303_p → {D303 0x0667e/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x0a56c/0x7f}
{D303 0x0a66e/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0a70e/0x34} d303_2 = 0x001b d303_3 = 0x0000000000000000000
{D304 0x0a70e/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0a742/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x0a66e/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x0a7e2/0x48}:ARRAY_STRING[0x1,0x1] = "="
{D307 0x0a82a/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e382 d307_3 = 0x00000002 d307_d307_p → {D307 0x107ff/0x7f}
{D306 0x0a8a9/0x83}:D306 d306_d303_p → {D303 0x0a66e/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0a82a/0x7f}
{D303 0x0a92c/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0a9cc/0x34} d303_2 = 0x001c d303_3 = 0x0000000000000000000
{D304 0x0a9cc/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0aa00/0xa0}:D302 d302_0 = 0x80000010 d302_d303_p → {D303 0x0a92c/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c0
{ArrayString 0x0aaa0/0xc0}:ARRAY_STRING[0x1,0x10] = "EMPTY_COLLECTION"
{D307 0x0ab60/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e382 d307_3 = 0x00000002 d307_d307_p → {D307 0x1087e/0x7f}
{D306 0x0abdf/0x83}:D306 d306_d303_p → {D303 0x0a92c/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0ab60/0x7f}
{D307 0x0ac62/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e382 d307_3 = 0x00000002 d307_d307_p → {D307 0x108fd/0x7f}
{D306 0x0ace1/0x83}:D306 d306_d303_p → {D303 0x071cc/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x0ac62/0x7f}
{D303 0x0ad64/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0b36a/0x34} d303_2 = 0x001d d303_3 = 0x0000000000000000000
{Thing2 0x0ae04/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x09cba/0x468} next_p → {Thing2 0x09c7a/0x40}
{StringIndex 0x0ae44/0x526}:StringIndex x = 0x00000001 y = 0x00000021
[$0x0001] 0x00240 002 »CALENDAR«
[$0x0002] 0x00298 003 »TEXT_IO«
[$0x0003] 0x002e8 004 »OUTPUT_STREAM«
[$0x0004] 0x00368 005 »TOWERS_OF_HANOI_BENCHMARK«
[$0x0005] 0x00448 006 »TOWER_SIZE«
[$0x0006] 0x004b0 007 »INITIAL_PRIORITY«
[$0x0007] 0x03558 008 »INFERENCE_COUNT«
[$0x0008] 0x035e8 009 »ELAPSED_TIME«
[$0x0009] 0x03660 00a »FIRINGS_PER_SECOND«
[$0x000a] 0x03708 00b »STARTED_AT«
[$0x000b] 0x03770 00c »STOPPED_AT«
[$0x000c] 0x037d8 00d »FIRABLE_ON_FACTS«
[$0x000d] 0x04858 00e »KBS«
[$0x000e] 0x04888 00f »FIRABLE_ON_RULE«
[$0x000f] 0x04918 010 »TOH_RULES«
[$0x0010] 0x04978 011 »DURATION_IO«
[$0x0011] 0x049e8 012 »I«
[$0x0012] 0x04a08 013 »STANDARD_OUTPUT«
[$0x0013] 0x04a98 014 »SIZE«
[$0x0014] 0x04ad0 015 »MOVEMENTS«
[$0x0015] 0x06550 016 »FROM_TOWER«
[$0x0016] 0x065b8 017 »TO_TOWER«
[$0x0017] 0x06610 018 »COUNT«
[$0x0018] 0x06650 019 »PRIORITY«
[$0x0019] 0x066a8 01a »RESULT«
[$0x001a] 0x066f0 01b »COLLECTION«
[$0x001b] 0x06758 01c »=«
[$0x001c] 0x06778 01d »EMPTY_COLLECTION«
[$0x001d] 0x06810 01e »+«
[$0x001e] 0x06830 01f »-«
[$0x001f] 0x06850 020 »/«
[$0x0020] 0x09718 021 »&«
[$0x0021] 0x09738 000 »' '«
{D304 0x0b36a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0b39e/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x0ad64/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x0b43e/0x48}:ARRAY_STRING[0x1,0x1] = "+"
{D307 0x0b486/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e382 d307_3 = 0x00000002 d307_d307_p → {D307 0x1097c/0x7f}
{D306 0x0b505/0x83}:D306 d306_d303_p → {D303 0x0ad64/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0b486/0x7f}
{D303 0x0b588/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0b628/0x34} d303_2 = 0x001e d303_3 = 0x0000000000000000000
{D304 0x0b628/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0b65c/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x0b588/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x0b6fc/0x48}:ARRAY_STRING[0x1,0x1] = "-"
{D307 0x0b744/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e382 d307_3 = 0x00000002 d307_d307_p → {D307 0x109fb/0x7f}
{D306 0x0b7c3/0x83}:D306 d306_d303_p → {D303 0x0b588/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0b744/0x7f}
{D303 0x0b846/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0b8e6/0x34} d303_2 = 0x001f d303_3 = 0x0000000000000000000
{D304 0x0b8e6/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0b91a/0xa0}:D302 d302_0 = 0x80000001 d302_d302_p → {D302 0x0810e/0xa0} d302_d303_p → {D303 0x0b846/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x0b9ba/0x48}:ARRAY_STRING[0x1,0x1] = "/"
{D303 0x0ba02/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0be6a/0x34} d303_2 = 0x0020 d303_3 = 0x0000000000000000000
{Thing2 0x0baa2/0x40}:Thing2 Chain2 payload_p → {StringStore 0x0891a/0x380} next_p → {Thing2 0x088da/0x40}
{StringStore 0x0bae2/0x388}:StringStore x = 0x00000001 y = 0x00000069
@0x0bb26 [0x00] = $0x0020 »&«
@0x0bb46 [0x01] = $0x0021 »' '«
@0x0bb76 [0x02] = $0x0022 »'t'«
@0x0bba6 [0x03] = $0x0023 »'o'«
@0x0bbd6 [0x04] = $0x0024 »'w'«
@0x0bc06 [0x05] = $0x0025 »'e'«
@0x0bc36 [0x06] = $0x0026 »'r'«
@0x0bc66 [0x07] = $0x0027 »'s'«
@0x0bc96 [0x08] = $0x0028 »':'«
@0x0bcc6 [0x09] = $0x0029 »'i'«
@0x0bcf6 [0x0a] = $0x002a »'m'«
@0x0bd26 [0x0b] = $0x002b »'='«
@0x0bd56 [0x0c] = $0x002c »'>'«
@0x0bd86 [0x0d] = $0x002d »','«
@0x0bdb6 [0x0e] = $0x002e »'n'«
@0x0bde6 [0x0f] = $0x002f »'f'«
@0x0be16 [0x10] = $0x0030 »'c'«
{D304 0x0be6a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0be9e/0xa0}:D302 d302_0 = 0x80000001 d302_d302_p → {D302 0x04f44/0xa0} d302_d303_p → {D303 0x0ba02/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x0bf3e/0x48}:ARRAY_STRING[0x1,0x1] = "&"
{D303 0x0bf86/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0c026/0x34} d303_2 = 0x0021 d303_3 = 0x0000000000000000000
{D304 0x0c026/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0c05a/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0bf86/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0c0fa/0x58}:ARRAY_STRING[0x1,0x3] = "' '"
{D303 0x0c152/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0c816/0x34} d303_2 = 0x0022 d303_3 = 0x0000000000000000000
{Thing2 0x0c1f2/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x0ae44/0x526} next_p → {Thing2 0x0ae04/0x40}
{StringIndex 0x0c232/0x5e4}:StringIndex x = 0x00000001 y = 0x00000026
[$0x0001] 0x00240 002 »CALENDAR«
[$0x0002] 0x00298 003 »TEXT_IO«
[$0x0003] 0x002e8 004 »OUTPUT_STREAM«
[$0x0004] 0x00368 005 »TOWERS_OF_HANOI_BENCHMARK«
[$0x0005] 0x00448 006 »TOWER_SIZE«
[$0x0006] 0x004b0 007 »INITIAL_PRIORITY«
[$0x0007] 0x03558 008 »INFERENCE_COUNT«
[$0x0008] 0x035e8 009 »ELAPSED_TIME«
[$0x0009] 0x03660 00a »FIRINGS_PER_SECOND«
[$0x000a] 0x03708 00b »STARTED_AT«
[$0x000b] 0x03770 00c »STOPPED_AT«
[$0x000c] 0x037d8 00d »FIRABLE_ON_FACTS«
[$0x000d] 0x04858 00e »KBS«
[$0x000e] 0x04888 00f »FIRABLE_ON_RULE«
[$0x000f] 0x04918 010 »TOH_RULES«
[$0x0010] 0x04978 011 »DURATION_IO«
[$0x0011] 0x049e8 012 »I«
[$0x0012] 0x04a08 013 »STANDARD_OUTPUT«
[$0x0013] 0x04a98 014 »SIZE«
[$0x0014] 0x04ad0 015 »MOVEMENTS«
[$0x0015] 0x06550 016 »FROM_TOWER«
[$0x0016] 0x065b8 017 »TO_TOWER«
[$0x0017] 0x06610 018 »COUNT«
[$0x0018] 0x06650 019 »PRIORITY«
[$0x0019] 0x066a8 01a »RESULT«
[$0x001a] 0x066f0 01b »COLLECTION«
[$0x001b] 0x06758 01c »=«
[$0x001c] 0x06778 01d »EMPTY_COLLECTION«
[$0x001d] 0x06810 01e »+«
[$0x001e] 0x06830 01f »-«
[$0x001f] 0x06850 020 »/«
[$0x0020] 0x09718 021 »&«
[$0x0021] 0x09738 022 »' '«
[$0x0022] 0x09768 023 »'t'«
[$0x0023] 0x09798 024 »'o'«
[$0x0024] 0x097c8 025 »'w'«
[$0x0025] 0x097f8 026 »'e'«
[$0x0026] 0x09828 000 »'r'«
{D304 0x0c816/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0c84a/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0c152/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0c8ea/0x58}:ARRAY_STRING[0x1,0x3] = "'t'"
{D303 0x0c942/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0c9e2/0x34} d303_2 = 0x0023 d303_3 = 0x0000000000000000000
{D304 0x0c9e2/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0ca16/0xa0}:D302 d302_0 = 0x80000003 d302_d302_p → {D302 0x0654e/0xa0} d302_d303_p → {D303 0x0c942/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0cab6/0x58}:ARRAY_STRING[0x1,0x3] = "'o'"
{D303 0x0cb0e/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0cbae/0x34} d303_2 = 0x0024 d303_3 = 0x0000000000000000000
{D304 0x0cbae/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0cbe2/0xa0}:D302 d302_0 = 0x80000003 d302_d302_p → {D302 0x0be9e/0xa0} d302_d303_p → {D303 0x0cb0e/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0cc82/0x58}:ARRAY_STRING[0x1,0x3] = "'w'"
{D303 0x0ccda/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0cd7a/0x34} d303_2 = 0x0025 d303_3 = 0x0000000000000000000
{D304 0x0cd7a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0cdae/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0ccda/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0ce4e/0x58}:ARRAY_STRING[0x1,0x3] = "'e'"
{D303 0x0cea6/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0cf46/0x34} d303_2 = 0x0026 d303_3 = 0x0000000000000000000
{D304 0x0cf46/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0cf7a/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0cea6/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0d01a/0x58}:ARRAY_STRING[0x1,0x3] = "'r'"
{D303 0x0d072/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0d81a/0x34} d303_2 = 0x0027 d303_3 = 0x0000000000000000000
{Thing2 0x0d112/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x0c232/0x5e4} next_p → {Thing2 0x0c1f2/0x40}
{StringIndex 0x0d152/0x6c8}:StringIndex x = 0x00000001 y = 0x0000002c
[$0x0001] 0x00240 002 »CALENDAR«
[$0x0002] 0x00298 003 »TEXT_IO«
[$0x0003] 0x002e8 004 »OUTPUT_STREAM«
[$0x0004] 0x00368 005 »TOWERS_OF_HANOI_BENCHMARK«
[$0x0005] 0x00448 006 »TOWER_SIZE«
[$0x0006] 0x004b0 007 »INITIAL_PRIORITY«
[$0x0007] 0x03558 008 »INFERENCE_COUNT«
[$0x0008] 0x035e8 009 »ELAPSED_TIME«
[$0x0009] 0x03660 00a »FIRINGS_PER_SECOND«
[$0x000a] 0x03708 00b »STARTED_AT«
[$0x000b] 0x03770 00c »STOPPED_AT«
[$0x000c] 0x037d8 00d »FIRABLE_ON_FACTS«
[$0x000d] 0x04858 00e »KBS«
[$0x000e] 0x04888 00f »FIRABLE_ON_RULE«
[$0x000f] 0x04918 010 »TOH_RULES«
[$0x0010] 0x04978 011 »DURATION_IO«
[$0x0011] 0x049e8 012 »I«
[$0x0012] 0x04a08 013 »STANDARD_OUTPUT«
[$0x0013] 0x04a98 014 »SIZE«
[$0x0014] 0x04ad0 015 »MOVEMENTS«
[$0x0015] 0x06550 016 »FROM_TOWER«
[$0x0016] 0x065b8 017 »TO_TOWER«
[$0x0017] 0x06610 018 »COUNT«
[$0x0018] 0x06650 019 »PRIORITY«
[$0x0019] 0x066a8 01a »RESULT«
[$0x001a] 0x066f0 01b »COLLECTION«
[$0x001b] 0x06758 01c »=«
[$0x001c] 0x06778 01d »EMPTY_COLLECTION«
[$0x001d] 0x06810 01e »+«
[$0x001e] 0x06830 01f »-«
[$0x001f] 0x06850 020 »/«
[$0x0020] 0x09718 021 »&«
[$0x0021] 0x09738 022 »' '«
[$0x0022] 0x09768 023 »'t'«
[$0x0023] 0x09798 024 »'o'«
[$0x0024] 0x097c8 025 »'w'«
[$0x0025] 0x097f8 026 »'e'«
[$0x0026] 0x09828 027 »'r'«
[$0x0027] 0x09858 028 »'s'«
[$0x0028] 0x09888 029 »':'«
[$0x0029] 0x098b8 02a »'i'«
[$0x002a] 0x098e8 02b »'m'«
[$0x002b] 0x09918 02c »'='«
[$0x002c] 0x09948 000 »'>'«
{D304 0x0d81a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0d84e/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0d072/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0d8ee/0x58}:ARRAY_STRING[0x1,0x3] = "'s'"
{D303 0x0d946/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0d9e6/0x34} d303_2 = 0x0028 d303_3 = 0x0000000000000000000
{D304 0x0d9e6/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0da1a/0xa0}:D302 d302_0 = 0x80000003 d302_d302_p → {D302 0x090de/0xa0} d302_d303_p → {D303 0x0d946/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0daba/0x58}:ARRAY_STRING[0x1,0x3] = "':'"
{D303 0x0db12/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0dbb2/0x34} d303_2 = 0x0029 d303_3 = 0x0000000000000000000
{D304 0x0dbb2/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0dbe6/0xa0}:D302 d302_0 = 0x80000003 d302_d302_p → {D302 0x0a156/0xa0} d302_d303_p → {D303 0x0db12/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0dc86/0x58}:ARRAY_STRING[0x1,0x3] = "'i'"
{D303 0x0dcde/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0dd7e/0x34} d303_2 = 0x002a d303_3 = 0x0000000000000000000
{D304 0x0dd7e/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0ddb2/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0dcde/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0de52/0x58}:ARRAY_STRING[0x1,0x3] = "'m'"
{D303 0x0deaa/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0df4a/0x34} d303_2 = 0x002b d303_3 = 0x0000000000000000000
{D304 0x0df4a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0df7e/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0deaa/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0e01e/0x58}:ARRAY_STRING[0x1,0x3] = "'='"
{D303 0x0e076/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0e116/0x34} d303_2 = 0x002c d303_3 = 0x0000000000000000000
{D304 0x0e116/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0e14a/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0e076/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0e1ea/0x58}:ARRAY_STRING[0x1,0x3] = "'>'"
{D303 0x0e242/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0eace/0x34} d303_2 = 0x002d d303_3 = 0x0000000000000000000
{Thing2 0x0e2e2/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x0d152/0x6c8} next_p → {Thing2 0x0d112/0x40}
{StringIndex 0x0e322/0x7ac}:StringIndex x = 0x00000001 y = 0x00000032
[$0x0001] 0x00240 002 »CALENDAR«
[$0x0002] 0x00298 003 »TEXT_IO«
[$0x0003] 0x002e8 004 »OUTPUT_STREAM«
[$0x0004] 0x00368 005 »TOWERS_OF_HANOI_BENCHMARK«
[$0x0005] 0x00448 006 »TOWER_SIZE«
[$0x0006] 0x004b0 007 »INITIAL_PRIORITY«
[$0x0007] 0x03558 008 »INFERENCE_COUNT«
[$0x0008] 0x035e8 009 »ELAPSED_TIME«
[$0x0009] 0x03660 00a »FIRINGS_PER_SECOND«
[$0x000a] 0x03708 00b »STARTED_AT«
[$0x000b] 0x03770 00c »STOPPED_AT«
[$0x000c] 0x037d8 00d »FIRABLE_ON_FACTS«
[$0x000d] 0x04858 00e »KBS«
[$0x000e] 0x04888 00f »FIRABLE_ON_RULE«
[$0x000f] 0x04918 010 »TOH_RULES«
[$0x0010] 0x04978 011 »DURATION_IO«
[$0x0011] 0x049e8 012 »I«
[$0x0012] 0x04a08 013 »STANDARD_OUTPUT«
[$0x0013] 0x04a98 014 »SIZE«
[$0x0014] 0x04ad0 015 »MOVEMENTS«
[$0x0015] 0x06550 016 »FROM_TOWER«
[$0x0016] 0x065b8 017 »TO_TOWER«
[$0x0017] 0x06610 018 »COUNT«
[$0x0018] 0x06650 019 »PRIORITY«
[$0x0019] 0x066a8 01a »RESULT«
[$0x001a] 0x066f0 01b »COLLECTION«
[$0x001b] 0x06758 01c »=«
[$0x001c] 0x06778 01d »EMPTY_COLLECTION«
[$0x001d] 0x06810 01e »+«
[$0x001e] 0x06830 01f »-«
[$0x001f] 0x06850 020 »/«
[$0x0020] 0x09718 021 »&«
[$0x0021] 0x09738 022 »' '«
[$0x0022] 0x09768 023 »'t'«
[$0x0023] 0x09798 024 »'o'«
[$0x0024] 0x097c8 025 »'w'«
[$0x0025] 0x097f8 026 »'e'«
[$0x0026] 0x09828 027 »'r'«
[$0x0027] 0x09858 028 »'s'«
[$0x0028] 0x09888 029 »':'«
[$0x0029] 0x098b8 02a »'i'«
[$0x002a] 0x098e8 02b »'m'«
[$0x002b] 0x09918 02c »'='«
[$0x002c] 0x09948 02d »'>'«
[$0x002d] 0x09978 02e »','«
[$0x002e] 0x099a8 02f »'n'«
[$0x002f] 0x099d8 030 »'f'«
[$0x0030] 0x09a08 031 »'c'«
[$0x0031] 0x0ce70 032 »'g'«
[$0x0032] 0x0cea0 000 »'p'«
{D304 0x0eace/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0eb02/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0e242/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0eba2/0x58}:ARRAY_STRING[0x1,0x3] = "','"
{D303 0x0ebfa/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0ec9a/0x34} d303_2 = 0x002e d303_3 = 0x0000000000000000000
{D304 0x0ec9a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0ecce/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0ebfa/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0ed6e/0x58}:ARRAY_STRING[0x1,0x3] = "'n'"
{D303 0x0edc6/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0ee66/0x34} d303_2 = 0x002f d303_3 = 0x0000000000000000000
{D304 0x0ee66/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0ee9a/0xa0}:D302 d302_0 = 0x80000003 d302_d302_p → {D302 0x0634a/0xa0} d302_d303_p → {D303 0x0edc6/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0ef3a/0x58}:ARRAY_STRING[0x1,0x3] = "'f'"
{D303 0x0ef92/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0f032/0x34} d303_2 = 0x0030 d303_3 = 0x0000000000000000000
{D304 0x0f032/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0f066/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0ef92/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0f106/0x58}:ARRAY_STRING[0x1,0x3] = "'c'"
{D303 0x0f15e/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0f5ce/0x34} d303_2 = 0x0031 d303_3 = 0x0000000000000000000
{Thing2 0x0f1fe/0x40}:Thing2 Chain2 payload_p → {StringStore 0x0bae2/0x388} next_p → {Thing2 0x0baa2/0x40}
{StringStore 0x0f23e/0x390}:StringStore x = 0x00000001 y = 0x0000006a
@0x0f27e [0x00] = $0x0031 »'g'«
@0x0f2ae [0x01] = $0x0032 »'p'«
@0x0f2de [0x02] = $0x0033 »'d'«
@0x0f30e [0x03] = $0x0034 »INFERE_ON_TOWERS_OF_HANOI«
{D304 0x0f5ce/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0f602/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0f15e/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0f6a2/0x58}:ARRAY_STRING[0x1,0x3] = "'g'"
{D303 0x0f6fa/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0f79a/0x34} d303_2 = 0x0032 d303_3 = 0x0000000000000000000
{D304 0x0f79a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0f7ce/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0f6fa/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0f86e/0x58}:ARRAY_STRING[0x1,0x3] = "'p'"
{D303 0x0f8c6/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x1025c/0x34} d303_2 = 0x0033 d303_3 = 0x0000000000000000000
{Thing2 0x0f966/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x0e322/0x7ac} next_p → {Thing2 0x0e2e2/0x40}
{StringIndex 0x0f9a6/0x8b6}:StringIndex x = 0x00000001 y = 0x00000039
[$0x0001] 0x00240 002 »CALENDAR«
[$0x0002] 0x00298 003 »TEXT_IO«
[$0x0003] 0x002e8 004 »OUTPUT_STREAM«
[$0x0004] 0x00368 005 »TOWERS_OF_HANOI_BENCHMARK«
[$0x0005] 0x00448 006 »TOWER_SIZE«
[$0x0006] 0x004b0 007 »INITIAL_PRIORITY«
[$0x0007] 0x03558 008 »INFERENCE_COUNT«
[$0x0008] 0x035e8 009 »ELAPSED_TIME«
[$0x0009] 0x03660 00a »FIRINGS_PER_SECOND«
[$0x000a] 0x03708 00b »STARTED_AT«
[$0x000b] 0x03770 00c »STOPPED_AT«
[$0x000c] 0x037d8 00d »FIRABLE_ON_FACTS«
[$0x000d] 0x04858 00e »KBS«
[$0x000e] 0x04888 00f »FIRABLE_ON_RULE«
[$0x000f] 0x04918 010 »TOH_RULES«
[$0x0010] 0x04978 011 »DURATION_IO«
[$0x0011] 0x049e8 012 »I«
[$0x0012] 0x04a08 013 »STANDARD_OUTPUT«
[$0x0013] 0x04a98 014 »SIZE«
[$0x0014] 0x04ad0 015 »MOVEMENTS«
[$0x0015] 0x06550 016 »FROM_TOWER«
[$0x0016] 0x065b8 017 »TO_TOWER«
[$0x0017] 0x06610 018 »COUNT«
[$0x0018] 0x06650 019 »PRIORITY«
[$0x0019] 0x066a8 01a »RESULT«
[$0x001a] 0x066f0 01b »COLLECTION«
[$0x001b] 0x06758 01c »=«
[$0x001c] 0x06778 01d »EMPTY_COLLECTION«
[$0x001d] 0x06810 01e »+«
[$0x001e] 0x06830 01f »-«
[$0x001f] 0x06850 020 »/«
[$0x0020] 0x09718 021 »&«
[$0x0021] 0x09738 022 »' '«
[$0x0022] 0x09768 023 »'t'«
[$0x0023] 0x09798 024 »'o'«
[$0x0024] 0x097c8 025 »'w'«
[$0x0025] 0x097f8 026 »'e'«
[$0x0026] 0x09828 027 »'r'«
[$0x0027] 0x09858 028 »'s'«
[$0x0028] 0x09888 029 »':'«
[$0x0029] 0x098b8 02a »'i'«
[$0x002a] 0x098e8 02b »'m'«
[$0x002b] 0x09918 02c »'='«
[$0x002c] 0x09948 02d »'>'«
[$0x002d] 0x09978 02e »','«
[$0x002e] 0x099a8 02f »'n'«
[$0x002f] 0x099d8 030 »'f'«
[$0x0030] 0x09a08 031 »'c'«
[$0x0031] 0x0ce70 032 »'g'«
[$0x0032] 0x0cea0 033 »'p'«
[$0x0033] 0x0ced0 034 »'d'«
[$0x0034] 0x0cf00 000 »INFERE_ON_TOWERS_OF_HANOI«
{D304 0x1025c/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x10290/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0f8c6/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x10330/0x58}:ARRAY_STRING[0x1,0x3] = "'d'"
{D307 0x10388/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x10a7a/0x7f}
{D307 0x10407/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x10af9/0x7f}
{D307 0x10486/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x10b78/0x7f}
{D307 0x10505/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x10bf7/0x7f}
{D307 0x10584/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x10c76/0x7f}
{D307 0x10603/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x10cf5/0x7f}
{D307 0x10682/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x10d74/0x7f}
{D307 0x10701/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x10df3/0x7f}
{D307 0x10780/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x10e72/0x7f}
{D307 0x107ff/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x10ef1/0x7f}
{D307 0x1087e/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x10f70/0x7f}
{D307 0x108fd/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x10fef/0x7f}
{D307 0x1097c/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x1106e/0x7f}
{D307 0x109fb/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x110ed/0x7f}
{D307 0x10a7a/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e88a d307_3 = 0x00000002 d307_d307_p → {D307 0x113e8/0x7f}
{D307 0x10af9/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e88a d307_3 = 0x00000002 d307_d307_p → {D307 0x11467/0x7f}
{D307 0x10b78/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e88a d307_3 = 0x00000002 d307_d307_p → {D307 0x114e6/0x7f}
{D307 0x10bf7/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e88a d307_3 = 0x00000002 d307_d307_p → {D307 0x11565/0x7f}
{D307 0x10c76/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e88a d307_3 = 0x00000002 d307_d307_p → {D307 0x115e4/0x7f}
{D307 0x10cf5/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e88a d307_3 = 0x00000002 d307_d307_p → {D307 0x11663/0x7f}
{D307 0x10d74/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e88a d307_3 = 0x00000002 d307_d307_p → {D307 0x116e2/0x7f}
{D307 0x10df3/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e88a d307_3 = 0x00000002
{D307 0x10e72/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e88a d307_3 = 0x00000002
{D307 0x10ef1/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e88a d307_3 = 0x00000002
{D307 0x10f70/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e88a d307_3 = 0x00000002
{D307 0x10fef/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e88a d307_3 = 0x00000002
{D307 0x1106e/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e88a d307_3 = 0x00000002
{D307 0x110ed/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e88a d307_3 = 0x00000002 d307_d307_p → {D307 0x11863/0x7f}
{D303 0x1116c/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x1120c/0x34} d303_2 = 0x0034 d303_3 = 0x0000000000000000000
{D304 0x1120c/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x11240/0xa0}:D302 d302_0 = 0x80000019 d302_d302_p → {D302 0x07bda/0xa0} d302_d303_p → {D303 0x1116c/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000108
{ArrayString 0x112e0/0x108}:ARRAY_STRING[0x1,0x19] = "INFERE_ON_TOWERS_OF_HANOI"
{D307 0x113e8/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e8b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x118e2/0x7f}
{D307 0x11467/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e8b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x11961/0x7f}
{D307 0x114e6/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e8b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x119e0/0x7f}
{D307 0x11565/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e8b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x11a5f/0x7f}
{D307 0x115e4/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e8b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x11ade/0x7f}
{D307 0x11663/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e8b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x11b5d/0x7f}
{D307 0x116e2/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e8b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x11bdc/0x7f}
{D307 0x11761/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e8b2 d307_3 = 0x00000002 d307_d307_p → {D307 0x11c5b/0x7f}
{D306 0x117e0/0x83}:D306 d306_d303_p → {D303 0x1116c/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x11761/0x7f}
{D307 0x11863/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e8b2 d307_3 = 0x00000002
{D307 0x118e2/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e940 d307_3 = 0x00000002
{D307 0x11961/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e940 d307_3 = 0x00000002
{D307 0x119e0/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e940 d307_3 = 0x00000002
{D307 0x11a5f/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e940 d307_3 = 0x00000002
{D307 0x11ade/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e940 d307_3 = 0x00000002
{D307 0x11b5d/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e940 d307_3 = 0x00000002
{D307 0x11bdc/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e940 d307_3 = 0x00000002
{D307 0x11c5b/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e940 d307_3 = 0x00000002