|
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_0477c1
└─⟦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 = 0x0000e551 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 = 0x000477c1 [0000000000001000111011111000001]
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 = 0x00015e42 [000000000000010101111001000010]
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 = 0xffffffff0042007c00b22001602 [111111111111111111111111111111110000000001000010000000000111110000000000101100100010000000000001011000000010]
0x002386 [0x01] +0x006c: t1_c1_head_p → {StringIndex 0x02426/0x1e2} [00000000000000000010010000100110]
0x0023a6 [0x02] +0x008c: t1_c2_last_p → {StringStore 0x0d2c7/0x388} [00000000000000001101001011000111]
0x0023c6 [0x03] +0x00ac: t1_array1_p → {StringIndex 0x0c2f1/0x526} [00000000000000001100001011110001]
0x0023e6 [0x04] +0x00cc: t1_c2_tail_p → {Thing2 0x0d287/0x40} [00000000000000001101001010000111]
0x002406 [0x05] +0x00ec: t1_c1_tail_p → {Thing2 0x0c2b1/0x40} [00000000000000001100001010110001]
{StringIndex 0x02426/0x1e2}:StringIndex x = 0x00000001 y = 0x0000000b
[$0x0001] 0x00240 002 »TEXT_IO«
[$0x0002] 0x00290 003 »TOWERS_OF_HANOI_GRAPHIC_SOLUTION«
[$0x0003] 0x003a8 004 »KBS«
[$0x0004] 0x003d8 005 »INITIAL_TOWER_SIZE«
[$0x0005] 0x00480 006 »INITIAL_PRIORITY«
[$0x0006] 0x03490 007 »DISK_SIZE«
[$0x0007] 0x034f0 008 »FIRABLE_ON_FACTS«
[$0x0008] 0x03588 009 »FIRABLE_ON_RULE«
[$0x0009] 0x03618 00a »TOH_RULES«
[$0x000a] 0x03678 00b »TOWERS«
[$0x000b] 0x036c0 000 »LOCATION«
{StringStore 0x02608/0x368}:StringStore x = 0x00000001 y = 0x00000065
@0x0264e [0x00] = $0x0001 »TEXT_IO«
@0x0269e [0x01] = $0x0002 »TOWERS_OF_HANOI_GRAPHIC_SOLUTION«
@0x027b6 [0x02] = $0x0003 »KBS«
@0x027e6 [0x03] = $0x0004 »INITIAL_TOWER_SIZE«
@0x0288e [0x04] = $0x0005 »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
0x003210 [0x0a] +0x0140: ptr_0xa_p → {D306 0x04faf/0x83} [00000000000000000100111110101111]
0x003230 [0x0b] +0x0160: ptr_0xb_p → {D306 0x0a12d/0x83} [00000000000000001010000100101101]
0x0032f0 [0x11] +0x0220: ptr_0x11_p → {D306 0x0949b/0x83} [00000000000000001001010010011011]
0x003390 [0x16] +0x02c0: ptr_0x16_p → {D306 0x08a8f/0x83} [00000000000000001000101010001111]
0x003490 [0x1e] +0x03c0: ptr_0x1e_p → {D306 0x07e65/0x83} [00000000000000000111111001100101]
0x0034b0 [0x1f] +0x03e0: ptr_0x1f_p → {D306 0x065e3/0x83} [00000000000000000110010111100011]
0x0034f0 [0x21] +0x0420: ptr_0x21_p → {D306 0x0527d/0x83} [00000000000000000101001001111101]
0x003530 [0x23] +0x0460: ptr_0x23_p → {D306 0x0d0e5/0x83} [00000000000000001101000011100101]
0x003630 [0x2b] +0x0560: ptr_0x2b_p → {D306 0x08143/0x83} [00000000000000001000000101000011]
0x0036b0 [0x2f] +0x05e0: ptr_0x2f_p → {D306 0x0aeaf/0x83} [00000000000000001010111010101111]
0x003730 [0x33] +0x0660: ptr_0x33_p → {D306 0x0a8bb/0x83} [00000000000000001010100010111011]
0x003750 [0x34] +0x0680: ptr_0x34_p → {D306 0x068d9/0x83} [00000000000000000110100011011001]
0x0037d0 [0x38] +0x0700: ptr_0x38_p → {D306 0x08791/0x83} [00000000000000001000011110010001]
0x0038d0 [0x40] +0x0800: ptr_0x40_p → {D306 0x09779/0x83} [00000000000000001001011101111001]
0x003910 [0x42] +0x0840: ptr_0x42_p → {D306 0x0ab79/0x83} [00000000000000001010101101111001]
0x003930 [0x43] +0x0860: ptr_0x43_p → {D306 0x08d95/0x83} [00000000000000001000110110010101]
0x003a70 [0x4d] +0x09a0: ptr_0x4d_p → {D306 0x09a6f/0x83} [00000000000000001001101001101111]
0x003bf0 [0x59] +0x0b20: ptr_0x59_p → {D306 0x06e73/0x83} [00000000000000000110111001110011]
0x003d50 [0x64] +0x0c80: ptr_0x64_p → {D306 0x0afb1/0x83} [00000000000000001010111110110001]
0x003d70 +0x0ca0: 0x0 [0x40] 0…
{D301 0x03db0/0xce0}:D301
0x003e10 [0x03] +0x0060: ptr_0x3_p → {D302 0x0753e/0xa0} [00000000000000000111010100111110]
0x003ed0 [0x09] +0x0120: ptr_0x9_p → {D302 0x053d4/0xa0} [00000000000000000101001111010100]
0x003f90 [0x0f] +0x01e0: ptr_0xf_p → {D302 0x0a72c/0xa0} [00000000000000001010011100101100]
0x003ff0 [0x12] +0x0240: ptr_0x12_p → {D302 0x07cde/0xa0} [00000000000000000111110011011110]
0x004110 [0x1b] +0x0360: ptr_0x1b_p → {D302 0x05106/0xa0} [00000000000000000101000100000110]
0x004130 [0x1c] +0x0380: ptr_0x1c_p → {D302 0x092fc/0xa0} [00000000000000001001001011111100]
0x004150 [0x1d] +0x03a0: ptr_0x1d_p → {D302 0x05bfc/0xa0} [00000000000000000101101111111100]
0x0041b0 [0x20] +0x0400: ptr_0x20_p → {D302 0x06258/0xa0} [00000000000000000110001001011000]
0x0041d0 [0x21] +0x0420: ptr_0x21_p → {D302 0x06cc4/0xa0} [00000000000000000110110011000100]
0x004250 [0x25] +0x04a0: ptr_0x25_p → {D302 0x05df8/0xa0} [00000000000000000101110111111000]
0x0043d0 [0x31] +0x0620: ptr_0x31_p → {D302 0x088e8/0xa0} [00000000000000001000100011101000]
0x004490 [0x37] +0x06e0: ptr_0x37_p → {D302 0x07fbc/0xa0} [00000000000000000111111110111100]
0x004530 [0x3c] +0x0780: ptr_0x3c_p → {D302 0x0d683/0xa0} [00000000000000001101011010000011]
0x004570 [0x3e] +0x07c0: ptr_0x3e_p → {D302 0x0673a/0xa0} [00000000000000000110011100111010]
0x004630 [0x44] +0x0880: ptr_0x44_p → {D302 0x098d0/0xa0} [00000000000000001001100011010000]
0x004690 [0x47] +0x08e0: ptr_0x47_p → {D302 0x09f86/0xa0} [00000000000000001001111110000110]
0x0046d0 [0x49] +0x0920: ptr_0x49_p → {D302 0x08be6/0xa0} [00000000000000001000101111100110]
0x004710 [0x4b] +0x0960: ptr_0x4b_p → {D302 0x0c84b/0xa0} [00000000000000001100100001001011]
0x004770 [0x4e] +0x09c0: ptr_0x4e_p → {D302 0x04b64/0xa0} [00000000000000000100101101100100]
0x0047b0 [0x50] +0x0a00: ptr_0x50_p → {D302 0x0acd0/0xa0} [00000000000000001010110011010000]
0x004830 [0x54] +0x0a80: ptr_0x54_p → {D302 0x0aa12/0xa0} [00000000000000001010101000010010]
0x0048f0 [0x5a] +0x0b40: ptr_0x5a_p → {D302 0x08612/0xa0} [00000000000000001000011000010010]
0x004910 [0x5b] +0x0b60: ptr_0x5b_p → {D302 0x07a00/0xa0} [00000000000000000111101000000000]
0x004a10 [0x63] +0x0c60: ptr_0x63_p → {D302 0x06454/0xa0} [00000000000000000110010001010100]
0x004a50 [0x65] +0x0ca0: ptr_0x65_p → {D302 0x04d50/0xa0} [00000000000000000100110101010000]
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 = 0x80000007 d302_d303_p → {D303 0x04a90/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000078
{ArrayString 0x04c04/0x78}:ARRAY_STRING[0x1,0x7] = "TEXT_IO"
{D303 0x04c7c/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x04d1c/0x34} d303_2 = 0x0002 d303_3 = 0x0000000000000000000
{D304 0x04d1c/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x04d50/0xa0}:D302 d302_0 = 0x80000020 d302_d303_p → {D303 0x04c7c/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000140
{ArrayString 0x04df0/0x140}:ARRAY_STRING[0x1,0x20] = "TOWERS_OF_HANOI_GRAPHIC_SOLUTION"
{D307 0x04f30/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e3f6 d307_3 = 0x00000002
{D306 0x04faf/0x83}:D306 d306_d303_p → {D303 0x04c7c/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x04f30/0x7f}
{D303 0x05032/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x050d2/0x34} d303_2 = 0x0003 d303_3 = 0x0000000000000000000
{D304 0x050d2/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05106/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x05032/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x051a6/0x58}:ARRAY_STRING[0x1,0x3] = "KBS"
{D307 0x051fe/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b034/0x7f}
{D306 0x0527d/0x83}:D306 d306_d303_p → {D303 0x05032/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x051fe/0x7f}
{D303 0x05300/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x053a0/0x34} d303_2 = 0x0004 d303_3 = 0x0000000000000000000
{D304 0x053a0/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x053d4/0xa0}:D302 d302_0 = 0x80000012 d302_d303_p → {D303 0x05300/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000d0
{ArrayString 0x05474/0xd0}:ARRAY_STRING[0x1,0x12] = "INITIAL_TOWER_SIZE"
{D303 0x05544/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x055e4/0x34} d303_2 = 0x0005 d303_3 = 0x0000000000000000000
{D304 0x055e4/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05618/0xa0}:D302 d302_0 = 0x80000010 d302_d303_p → {D303 0x05544/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c0
{ArrayString 0x056b8/0xc0}:ARRAY_STRING[0x1,0x10] = "INITIAL_PRIORITY"
{D303 0x05778/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x05bc8/0x34} d303_2 = 0x0006 d303_3 = 0x0000000000000000000
{Thing2 0x05818/0x40}:Thing2 Chain2 payload_p → {StringStore 0x02608/0x368}
{StringStore 0x05858/0x370}:StringStore x = 0x00000001 y = 0x00000066
@0x0589e [0x00] = $0x0006 »DISK_SIZE«
@0x058fe [0x01] = $0x0007 »FIRABLE_ON_FACTS«
@0x05996 [0x02] = $0x0008 »FIRABLE_ON_RULE«
@0x05a26 [0x03] = $0x0009 »TOH_RULES«
@0x05a86 [0x04] = $0x000a »TOWERS«
@0x05ace [0x05] = $0x000b »LOCATION«
@0x05b26 [0x06] = $0x000c »DISK_COUNT«
@0x05b8e [0x07] = $0x000d »I«
{D304 0x05bc8/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05bfc/0xa0}:D302 d302_0 = 0x80000009 d302_d303_p → {D303 0x05778/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000088
{ArrayString 0x05c9c/0x88}:ARRAY_STRING[0x1,0x9] = "DISK_SIZE"
{D303 0x05d24/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x05dc4/0x34} d303_2 = 0x0007 d303_3 = 0x0000000000000000000
{D304 0x05dc4/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05df8/0xa0}:D302 d302_0 = 0x80000010 d302_d303_p → {D303 0x05d24/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c0
{ArrayString 0x05e98/0xc0}:ARRAY_STRING[0x1,0x10] = "FIRABLE_ON_FACTS"
{D303 0x05f58/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x05ff8/0x34} d303_2 = 0x0008 d303_3 = 0x0000000000000000000
{D304 0x05ff8/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0602c/0xa0}:D302 d302_0 = 0x8000000f d302_d302_p → {D302 0x05618/0xa0} d302_d303_p → {D303 0x05f58/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000b8
{ArrayString 0x060cc/0xb8}:ARRAY_STRING[0x1,0xf] = "FIRABLE_ON_RULE"
{D303 0x06184/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x06224/0x34} d303_2 = 0x0009 d303_3 = 0x0000000000000000000
{D304 0x06224/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x06258/0xa0}:D302 d302_0 = 0x80000009 d302_d303_p → {D303 0x06184/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000088
{ArrayString 0x062f8/0x88}:ARRAY_STRING[0x1,0x9] = "TOH_RULES"
{D303 0x06380/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x06420/0x34} d303_2 = 0x000a d303_3 = 0x0000000000000000000
{D304 0x06420/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x06454/0xa0}:D302 d302_0 = 0x80000006 d302_d303_p → {D303 0x06380/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000070
{ArrayString 0x064f4/0x70}:ARRAY_STRING[0x1,0x6] = "TOWERS"
{D307 0x06564/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b0b3/0x7f}
{D306 0x065e3/0x83}:D306 d306_d303_p → {D303 0x06380/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x06564/0x7f}
{D303 0x06666/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x06706/0x34} d303_2 = 0x000b d303_3 = 0x0000000000000000000
{D304 0x06706/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0673a/0xa0}:D302 d302_0 = 0x80000008 d302_d303_p → {D303 0x06666/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000080
{ArrayString 0x067da/0x80}:ARRAY_STRING[0x1,0x8] = "LOCATION"
{D307 0x0685a/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b132/0x7f}
{D306 0x068d9/0x83}:D306 d306_d303_p → {D303 0x06666/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0685a/0x7f}
{D303 0x0695c/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x06c90/0x34} d303_2 = 0x000c d303_3 = 0x0000000000000000000
{Thing2 0x069fc/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x02426/0x1e2}
{StringIndex 0x06a3c/0x254}:StringIndex x = 0x00000001 y = 0x0000000e
[$0x0001] 0x00240 002 »TEXT_IO«
[$0x0002] 0x00290 003 »TOWERS_OF_HANOI_GRAPHIC_SOLUTION«
[$0x0003] 0x003a8 004 »KBS«
[$0x0004] 0x003d8 005 »INITIAL_TOWER_SIZE«
[$0x0005] 0x00480 006 »INITIAL_PRIORITY«
[$0x0006] 0x03490 007 »DISK_SIZE«
[$0x0007] 0x034f0 008 »FIRABLE_ON_FACTS«
[$0x0008] 0x03588 009 »FIRABLE_ON_RULE«
[$0x0009] 0x03618 00a »TOH_RULES«
[$0x000a] 0x03678 00b »TOWERS«
[$0x000b] 0x036c0 00c »LOCATION«
[$0x000c] 0x03718 00d »DISK_COUNT«
[$0x000d] 0x03780 00e »I«
[$0x000e] 0x04dc8 000 »-«
{D304 0x06c90/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x06cc4/0xa0}:D302 d302_0 = 0x8000000a d302_d303_p → {D303 0x0695c/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000090
{ArrayString 0x06d64/0x90}:ARRAY_STRING[0x1,0xa] = "DISK_COUNT"
{D307 0x06df4/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b1b1/0x7f}
{D306 0x06e73/0x83}:D306 d306_d303_p → {D303 0x0695c/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x06df4/0x7f}
{D303 0x06ef6/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x06f96/0x34} d303_2 = 0x000d d303_3 = 0x0000000000000000000
{D304 0x06f96/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x06fca/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x06ef6/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x0706a/0x48}:ARRAY_STRING[0x1,0x1] = "I"
{D303 0x070b2/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0750a/0x34} d303_2 = 0x000e d303_3 = 0x0000000000000000000
{Thing2 0x07152/0x40}:Thing2 Chain2 payload_p → {StringStore 0x05858/0x370} next_p → {Thing2 0x05818/0x40}
{StringStore 0x07192/0x378}:StringStore x = 0x00000001 y = 0x00000067
@0x071d6 [0x00] = $0x000e »-«
@0x071f6 [0x01] = $0x000f »DISKS«
@0x07236 [0x02] = $0x0010 »TOWER«
@0x07276 [0x03] = $0x0011 »LEVEL«
@0x072b6 [0x04] = $0x0012 »SIZE«
@0x072ee [0x05] = $0x0013 »MOVEMENTS«
@0x0734e [0x06] = $0x0014 »FROM_TOWER«
@0x073b6 [0x07] = $0x0015 »TO_TOWER«
@0x0740e [0x08] = $0x0016 »COUNT«
@0x0744e [0x09] = $0x0017 »PRIORITY«
{D304 0x0750a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0753e/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x070b2/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x075de/0x48}:ARRAY_STRING[0x1,0x1] = "-"
{D303 0x07626/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x079cc/0x34} d303_2 = 0x000f d303_3 = 0x0000000000000000000
{Thing2 0x076c6/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x06a3c/0x254} next_p → {Thing2 0x069fc/0x40}
{StringIndex 0x07706/0x2c6}:StringIndex x = 0x00000001 y = 0x00000011
[$0x0001] 0x00240 002 »TEXT_IO«
[$0x0002] 0x00290 003 »TOWERS_OF_HANOI_GRAPHIC_SOLUTION«
[$0x0003] 0x003a8 004 »KBS«
[$0x0004] 0x003d8 005 »INITIAL_TOWER_SIZE«
[$0x0005] 0x00480 006 »INITIAL_PRIORITY«
[$0x0006] 0x03490 007 »DISK_SIZE«
[$0x0007] 0x034f0 008 »FIRABLE_ON_FACTS«
[$0x0008] 0x03588 009 »FIRABLE_ON_RULE«
[$0x0009] 0x03618 00a »TOH_RULES«
[$0x000a] 0x03678 00b »TOWERS«
[$0x000b] 0x036c0 00c »LOCATION«
[$0x000c] 0x03718 00d »DISK_COUNT«
[$0x000d] 0x03780 00e »I«
[$0x000e] 0x04dc8 00f »-«
[$0x000f] 0x04de8 010 »DISKS«
[$0x0010] 0x04e28 011 »TOWER«
[$0x0011] 0x04e68 000 »LEVEL«
{D304 0x079cc/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x07a00/0xa0}:D302 d302_0 = 0x80000005 d302_d303_p → {D303 0x07626/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000068
{ArrayString 0x07aa0/0x68}:ARRAY_STRING[0x1,0x5] = "DISKS"
{D307 0x07b08/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b230/0x7f}
{D308 0x07b87/0x83}:D308 d308_d303_p → {D303 0x07626/0xa0} d308_1 = 0x4 d308_2 = 0x00000000 d308_d307_p → {D307 0x07b08/0x7f}
{D303 0x07c0a/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x07caa/0x34} d303_2 = 0x0010 d303_3 = 0x0000000000000000000
{D304 0x07caa/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x07cde/0xa0}:D302 d302_0 = 0x80000005 d302_d303_p → {D303 0x07c0a/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000068
{ArrayString 0x07d7e/0x68}:ARRAY_STRING[0x1,0x5] = "TOWER"
{D307 0x07de6/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b2af/0x7f}
{D306 0x07e65/0x83}:D306 d306_d303_p → {D303 0x07c0a/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x07de6/0x7f}
{D303 0x07ee8/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x07f88/0x34} d303_2 = 0x0011 d303_3 = 0x0000000000000000000
{D304 0x07f88/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x07fbc/0xa0}:D302 d302_0 = 0x80000005 d302_d303_p → {D303 0x07ee8/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000068
{ArrayString 0x0805c/0x68}:ARRAY_STRING[0x1,0x5] = "LEVEL"
{D307 0x080c4/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b32e/0x7f}
{D306 0x08143/0x83}:D306 d306_d303_p → {D303 0x07ee8/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x080c4/0x7f}
{D303 0x081c6/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x085de/0x34} d303_2 = 0x0012 d303_3 = 0x0000000000000000000
{Thing2 0x08266/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x07706/0x2c6} next_p → {Thing2 0x076c6/0x40}
{StringIndex 0x082a6/0x338}:StringIndex x = 0x00000001 y = 0x00000014
[$0x0001] 0x00240 002 »TEXT_IO«
[$0x0002] 0x00290 003 »TOWERS_OF_HANOI_GRAPHIC_SOLUTION«
[$0x0003] 0x003a8 004 »KBS«
[$0x0004] 0x003d8 005 »INITIAL_TOWER_SIZE«
[$0x0005] 0x00480 006 »INITIAL_PRIORITY«
[$0x0006] 0x03490 007 »DISK_SIZE«
[$0x0007] 0x034f0 008 »FIRABLE_ON_FACTS«
[$0x0008] 0x03588 009 »FIRABLE_ON_RULE«
[$0x0009] 0x03618 00a »TOH_RULES«
[$0x000a] 0x03678 00b »TOWERS«
[$0x000b] 0x036c0 00c »LOCATION«
[$0x000c] 0x03718 00d »DISK_COUNT«
[$0x000d] 0x03780 00e »I«
[$0x000e] 0x04dc8 00f »-«
[$0x000f] 0x04de8 010 »DISKS«
[$0x0010] 0x04e28 011 »TOWER«
[$0x0011] 0x04e68 012 »LEVEL«
[$0x0012] 0x04ea8 013 »SIZE«
[$0x0013] 0x04ee0 014 »MOVEMENTS«
[$0x0014] 0x04f40 000 »FROM_TOWER«
{D304 0x085de/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x08612/0xa0}:D302 d302_0 = 0x80000004 d302_d303_p → {D303 0x081c6/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000060
{ArrayString 0x086b2/0x60}:ARRAY_STRING[0x1,0x4] = "SIZE"
{D307 0x08712/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b3ad/0x7f}
{D306 0x08791/0x83}:D306 d306_d303_p → {D303 0x081c6/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x08712/0x7f}
{D303 0x08814/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x088b4/0x34} d303_2 = 0x0013 d303_3 = 0x0000000000000000000
{D304 0x088b4/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x088e8/0xa0}:D302 d302_0 = 0x80000009 d302_d303_p → {D303 0x08814/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000088
{ArrayString 0x08988/0x88}:ARRAY_STRING[0x1,0x9] = "MOVEMENTS"
{D307 0x08a10/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b42c/0x7f}
{D306 0x08a8f/0x83}:D306 d306_d303_p → {D303 0x08814/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x08a10/0x7f}
{D303 0x08b12/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x08bb2/0x34} d303_2 = 0x0014 d303_3 = 0x0000000000000000000
{D304 0x08bb2/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x08be6/0xa0}:D302 d302_0 = 0x8000000a d302_d303_p → {D303 0x08b12/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000090
{ArrayString 0x08c86/0x90}:ARRAY_STRING[0x1,0xa] = "FROM_TOWER"
{D307 0x08d16/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b4ab/0x7f}
{D306 0x08d95/0x83}:D306 d306_d303_p → {D303 0x08b12/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x08d16/0x7f} d306_d308_p → {D308 0x07b87/0x83}
{D303 0x08e18/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x092c8/0x34} d303_2 = 0x0015 d303_3 = 0x0000000000000000000
{Thing2 0x08eb8/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x082a6/0x338} next_p → {Thing2 0x08266/0x40}
{StringIndex 0x08ef8/0x3d0}:StringIndex x = 0x00000001 y = 0x00000018
[$0x0001] 0x00240 002 »TEXT_IO«
[$0x0002] 0x00290 003 »TOWERS_OF_HANOI_GRAPHIC_SOLUTION«
[$0x0003] 0x003a8 004 »KBS«
[$0x0004] 0x003d8 005 »INITIAL_TOWER_SIZE«
[$0x0005] 0x00480 006 »INITIAL_PRIORITY«
[$0x0006] 0x03490 007 »DISK_SIZE«
[$0x0007] 0x034f0 008 »FIRABLE_ON_FACTS«
[$0x0008] 0x03588 009 »FIRABLE_ON_RULE«
[$0x0009] 0x03618 00a »TOH_RULES«
[$0x000a] 0x03678 00b »TOWERS«
[$0x000b] 0x036c0 00c »LOCATION«
[$0x000c] 0x03718 00d »DISK_COUNT«
[$0x000d] 0x03780 00e »I«
[$0x000e] 0x04dc8 00f »-«
[$0x000f] 0x04de8 010 »DISKS«
[$0x0010] 0x04e28 011 »TOWER«
[$0x0011] 0x04e68 012 »LEVEL«
[$0x0012] 0x04ea8 013 »SIZE«
[$0x0013] 0x04ee0 014 »MOVEMENTS«
[$0x0014] 0x04f40 015 »FROM_TOWER«
[$0x0015] 0x04fa8 016 »TO_TOWER«
[$0x0016] 0x05000 017 »COUNT«
[$0x0017] 0x05040 018 »PRIORITY«
[$0x0018] 0x07808 000 »FACT_BASE«
{D304 0x092c8/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x092fc/0xa0}:D302 d302_0 = 0x80000008 d302_d303_p → {D303 0x08e18/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000080
{ArrayString 0x0939c/0x80}:ARRAY_STRING[0x1,0x8] = "TO_TOWER"
{D307 0x0941c/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b52a/0x7f}
{D306 0x0949b/0x83}:D306 d306_d303_p → {D303 0x08e18/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0941c/0x7f}
{D303 0x0951e/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x095be/0x34} d303_2 = 0x0016 d303_3 = 0x0000000000000000000
{D304 0x095be/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x095f2/0xa0}:D302 d302_0 = 0x80000005 d302_d302_p → {D302 0x0602c/0xa0} d302_d303_p → {D303 0x0951e/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000068
{ArrayString 0x09692/0x68}:ARRAY_STRING[0x1,0x5] = "COUNT"
{D307 0x096fa/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b5a9/0x7f}
{D306 0x09779/0x83}:D306 d306_d303_p → {D303 0x0951e/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x096fa/0x7f}
{D303 0x097fc/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0989c/0x34} d303_2 = 0x0017 d303_3 = 0x0000000000000000000
{D304 0x0989c/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x098d0/0xa0}:D302 d302_0 = 0x80000008 d302_d303_p → {D303 0x097fc/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000080
{ArrayString 0x09970/0x80}:ARRAY_STRING[0x1,0x8] = "PRIORITY"
{D307 0x099f0/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b628/0x7f}
{D306 0x09a6f/0x83}:D306 d306_d303_p → {D303 0x097fc/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x099f0/0x7f}
{D303 0x09af2/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x09f52/0x34} d303_2 = 0x0018 d303_3 = 0x0000000000000000000
{Thing2 0x09b92/0x40}:Thing2 Chain2 payload_p → {StringStore 0x07192/0x378} next_p → {Thing2 0x07152/0x40}
{StringStore 0x09bd2/0x380}:StringStore x = 0x00000001 y = 0x00000068
@0x09c16 [0x00] = $0x0018 »FACT_BASE«
@0x09c76 [0x01] = $0x0019 »RESULT«
@0x09cbe [0x02] = $0x001a »=«
@0x09cde [0x03] = $0x001b »EMPTY_COLLECTION«
@0x09d76 [0x04] = $0x001c »INFERE_ON_TPWERS_OF_HANOI«
@0x09e56 [0x05] = $0x001d »INFERE_ON_TOWERS_OF_HANOI«
{D304 0x09f52/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x09f86/0xa0}:D302 d302_0 = 0x80000009 d302_d303_p → {D303 0x09af2/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000088
{ArrayString 0x0a026/0x88}:ARRAY_STRING[0x1,0x9] = "FACT_BASE"
{D307 0x0a0ae/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b6a7/0x7f}
{D306 0x0a12d/0x83}:D306 d306_d303_p → {D303 0x09af2/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0a0ae/0x7f}
{D303 0x0a1b0/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0a6f8/0x34} d303_2 = 0x0019 d303_3 = 0x0000000000000000000
{Thing2 0x0a250/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x08ef8/0x3d0} next_p → {Thing2 0x08eb8/0x40}
{StringIndex 0x0a290/0x468}:StringIndex x = 0x00000001 y = 0x0000001c
[$0x0001] 0x00240 002 »TEXT_IO«
[$0x0002] 0x00290 003 »TOWERS_OF_HANOI_GRAPHIC_SOLUTION«
[$0x0003] 0x003a8 004 »KBS«
[$0x0004] 0x003d8 005 »INITIAL_TOWER_SIZE«
[$0x0005] 0x00480 006 »INITIAL_PRIORITY«
[$0x0006] 0x03490 007 »DISK_SIZE«
[$0x0007] 0x034f0 008 »FIRABLE_ON_FACTS«
[$0x0008] 0x03588 009 »FIRABLE_ON_RULE«
[$0x0009] 0x03618 00a »TOH_RULES«
[$0x000a] 0x03678 00b »TOWERS«
[$0x000b] 0x036c0 00c »LOCATION«
[$0x000c] 0x03718 00d »DISK_COUNT«
[$0x000d] 0x03780 00e »I«
[$0x000e] 0x04dc8 00f »-«
[$0x000f] 0x04de8 010 »DISKS«
[$0x0010] 0x04e28 011 »TOWER«
[$0x0011] 0x04e68 012 »LEVEL«
[$0x0012] 0x04ea8 013 »SIZE«
[$0x0013] 0x04ee0 014 »MOVEMENTS«
[$0x0014] 0x04f40 015 »FROM_TOWER«
[$0x0015] 0x04fa8 016 »TO_TOWER«
[$0x0016] 0x05000 017 »COUNT«
[$0x0017] 0x05040 018 »PRIORITY«
[$0x0018] 0x07808 019 »FACT_BASE«
[$0x0019] 0x07868 01a »RESULT«
[$0x001a] 0x078b0 01b »=«
[$0x001b] 0x078d0 01c »EMPTY_COLLECTION«
[$0x001c] 0x07968 000 »INFERE_ON_TPWERS_OF_HANOI«
{D304 0x0a6f8/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0a72c/0xa0}:D302 d302_0 = 0x80000006 d302_d303_p → {D303 0x0a1b0/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000070
{ArrayString 0x0a7cc/0x70}:ARRAY_STRING[0x1,0x6] = "RESULT"
{D307 0x0a83c/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b726/0x7f}
{D306 0x0a8bb/0x83}:D306 d306_d303_p → {D303 0x05d24/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x0a83c/0x7f}
{D303 0x0a93e/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0a9de/0x34} d303_2 = 0x001a d303_3 = 0x0000000000000000000
{D304 0x0a9de/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0aa12/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x0a93e/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x0aab2/0x48}:ARRAY_STRING[0x1,0x1] = "="
{D307 0x0aafa/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b7a5/0x7f}
{D306 0x0ab79/0x83}:D306 d306_d303_p → {D303 0x0a93e/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0aafa/0x7f}
{D303 0x0abfc/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0ac9c/0x34} d303_2 = 0x001b d303_3 = 0x0000000000000000000
{D304 0x0ac9c/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0acd0/0xa0}:D302 d302_0 = 0x80000010 d302_d303_p → {D303 0x0abfc/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c0
{ArrayString 0x0ad70/0xc0}:ARRAY_STRING[0x1,0x10] = "EMPTY_COLLECTION"
{D307 0x0ae30/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b824/0x7f}
{D306 0x0aeaf/0x83}:D306 d306_d303_p → {D303 0x0abfc/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0ae30/0x7f}
{D307 0x0af32/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e404 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b8a3/0x7f}
{D306 0x0afb1/0x83}:D306 d306_d303_p → {D303 0x05f58/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x0af32/0x7f}
{D307 0x0b034/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002 d307_d307_p → {D307 0x0b922/0x7f}
{D307 0x0b0b3/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002 d307_d307_p → {D307 0x0bc1d/0x7f}
{D307 0x0b132/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002 d307_d307_p → {D307 0x0bc9c/0x7f}
{D307 0x0b1b1/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002 d307_d307_p → {D307 0x0bd1b/0x7f}
{D307 0x0b230/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002 d307_d307_p → {D307 0x0bd9a/0x7f}
{D307 0x0b2af/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002 d307_d307_p → {D307 0x0be19/0x7f}
{D307 0x0b32e/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002 d307_d307_p → {D307 0x0be98/0x7f}
{D307 0x0b3ad/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002 d307_d307_p → {D307 0x0bf17/0x7f}
{D307 0x0b42c/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002 d307_d307_p → {D307 0x0bf96/0x7f}
{D307 0x0b4ab/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002 d307_d307_p → {D307 0x0c015/0x7f}
{D307 0x0b52a/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002 d307_d307_p → {D307 0x0c094/0x7f}
{D307 0x0b5a9/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002 d307_d307_p → {D307 0x0c113/0x7f}
{D307 0x0b628/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002 d307_d307_p → {D307 0x0c192/0x7f}
{D307 0x0b6a7/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002
{D307 0x0b726/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002
{D307 0x0b7a5/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002
{D307 0x0b824/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002
{D307 0x0b8a3/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e6d2 d307_3 = 0x00000002
{D307 0x0b922/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e904 d307_3 = 0x00000002 d307_d307_p → {D307 0x0c9f3/0x7f}
{D303 0x0b9a1/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0ba41/0x34} d303_2 = 0x001c d303_3 = 0x0000000000000000000
{D304 0x0ba41/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0ba75/0xa0}:D302 d302_0 = 0x80000019 d302_d302_p → {D302 0x06fca/0xa0} d302_d303_p → {D303 0x0b9a1/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000108
{ArrayString 0x0bb15/0x108}:ARRAY_STRING[0x1,0x19] = "INFERE_ON_TPWERS_OF_HANOI"
{D307 0x0bc1d/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e904 d307_3 = 0x00000002 d307_d307_p → {D307 0x0ca72/0x7f}
{D307 0x0bc9c/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e904 d307_3 = 0x00000002 d307_d307_p → {D307 0x0caf1/0x7f}
{D307 0x0bd1b/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e904 d307_3 = 0x00000002 d307_d307_p → {D307 0x0cb70/0x7f}
{D307 0x0bd9a/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e904 d307_3 = 0x00000002 d307_d307_p → {D307 0x0cbef/0x7f}
{D307 0x0be19/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e904 d307_3 = 0x00000002 d307_d307_p → {D307 0x0cc6e/0x7f}
{D307 0x0be98/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e904 d307_3 = 0x00000002 d307_d307_p → {D307 0x0cced/0x7f}
{D307 0x0bf17/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e904 d307_3 = 0x00000002 d307_d307_p → {D307 0x0cd6c/0x7f}
{D307 0x0bf96/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e904 d307_3 = 0x00000002 d307_d307_p → {D307 0x0cdeb/0x7f}
{D307 0x0c015/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e904 d307_3 = 0x00000002 d307_d307_p → {D307 0x0ce6a/0x7f}
{D307 0x0c094/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e904 d307_3 = 0x00000002 d307_d307_p → {D307 0x0cee9/0x7f}
{D307 0x0c113/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e904 d307_3 = 0x00000002 d307_d307_p → {D307 0x0cf68/0x7f}
{D307 0x0c192/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e904 d307_3 = 0x00000002 d307_d307_p → {D307 0x0cfe7/0x7f}
{D303 0x0c211/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0c817/0x34} d303_2 = 0x001d d303_3 = 0x0000000000000000000
{Thing2 0x0c2b1/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x0a290/0x468} next_p → {Thing2 0x0a250/0x40}
{StringIndex 0x0c2f1/0x526}:StringIndex x = 0x00000001 y = 0x00000021
[$0x0001] 0x00240 002 »TEXT_IO«
[$0x0002] 0x00290 003 »TOWERS_OF_HANOI_GRAPHIC_SOLUTION«
[$0x0003] 0x003a8 004 »KBS«
[$0x0004] 0x003d8 005 »INITIAL_TOWER_SIZE«
[$0x0005] 0x00480 006 »INITIAL_PRIORITY«
[$0x0006] 0x03490 007 »DISK_SIZE«
[$0x0007] 0x034f0 008 »FIRABLE_ON_FACTS«
[$0x0008] 0x03588 009 »FIRABLE_ON_RULE«
[$0x0009] 0x03618 00a »TOH_RULES«
[$0x000a] 0x03678 00b »TOWERS«
[$0x000b] 0x036c0 00c »LOCATION«
[$0x000c] 0x03718 00d »DISK_COUNT«
[$0x000d] 0x03780 00e »I«
[$0x000e] 0x04dc8 00f »-«
[$0x000f] 0x04de8 010 »DISKS«
[$0x0010] 0x04e28 011 »TOWER«
[$0x0011] 0x04e68 012 »LEVEL«
[$0x0012] 0x04ea8 013 »SIZE«
[$0x0013] 0x04ee0 014 »MOVEMENTS«
[$0x0014] 0x04f40 015 »FROM_TOWER«
[$0x0015] 0x04fa8 016 »TO_TOWER«
[$0x0016] 0x05000 017 »COUNT«
[$0x0017] 0x05040 018 »PRIORITY«
[$0x0018] 0x07808 019 »FACT_BASE«
[$0x0019] 0x07868 01a »RESULT«
[$0x001a] 0x078b0 01b »=«
[$0x001b] 0x078d0 01c »EMPTY_COLLECTION«
[$0x001c] 0x07968 01d »INFERE_ON_TPWERS_OF_HANOI«
[$0x001d] 0x07a48 01e »INFERE_ON_TOWERS_OF_HANOI«
[$0x001e] 0x0af00 000 »TOWERS_OF_HANOI_RULES_FOR_GRAPHIC«
{D304 0x0c817/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0c84b/0xa0}:D302 d302_0 = 0x80000019 d302_d302_p → {D302 0x0ba75/0xa0} d302_d303_p → {D303 0x0c211/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000108
{ArrayString 0x0c8eb/0x108}:ARRAY_STRING[0x1,0x19] = "INFERE_ON_TOWERS_OF_HANOI"
{D307 0x0c9f3/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e916 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d168/0x7f}
{D307 0x0ca72/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e916 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d86b/0x7f}
{D307 0x0caf1/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e916 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d8ea/0x7f}
{D307 0x0cb70/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e916 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d969/0x7f}
{D307 0x0cbef/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e916 d307_3 = 0x00000002 d307_d307_p → {D307 0x0d9e8/0x7f}
{D307 0x0cc6e/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e916 d307_3 = 0x00000002 d307_d307_p → {D307 0x0da67/0x7f}
{D307 0x0cced/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e916 d307_3 = 0x00000002 d307_d307_p → {D307 0x0dae6/0x7f}
{D307 0x0cd6c/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e916 d307_3 = 0x00000002 d307_d307_p → {D307 0x0db65/0x7f}
{D307 0x0cdeb/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e916 d307_3 = 0x00000002 d307_d307_p → {D307 0x0dbe4/0x7f}
{D307 0x0ce6a/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e916 d307_3 = 0x00000002 d307_d307_p → {D307 0x0dc63/0x7f}
{D307 0x0cee9/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e916 d307_3 = 0x00000002 d307_d307_p → {D307 0x0dce2/0x7f}
{D307 0x0cf68/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e916 d307_3 = 0x00000002 d307_d307_p → {D307 0x0dd61/0x7f}
{D307 0x0cfe7/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e916 d307_3 = 0x00000002 d307_d307_p → {D307 0x0dde0/0x7f}
{D307 0x0d066/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008e916 d307_3 = 0x00000002 d307_d307_p → {D307 0x0de5f/0x7f}
{D306 0x0d0e5/0x83}:D306 d306_d303_p → {D303 0x0c211/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x0d066/0x7f}
{D307 0x0d168/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec8c d307_3 = 0x00000002 d307_d307_p → {D307 0x0dede/0x7f}
{D303 0x0d1e7/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0d64f/0x34} d303_2 = 0x001e d303_3 = 0x0000000000000000000
{Thing2 0x0d287/0x40}:Thing2 Chain2 payload_p → {StringStore 0x09bd2/0x380} next_p → {Thing2 0x09b92/0x40}
{StringStore 0x0d2c7/0x388}:StringStore x = 0x00000001 y = 0x00000069
@0x0d30e [0x00] = $0x001e »TOWERS_OF_HANOI_RULES_FOR_GRAPHIC«
{D304 0x0d64f/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0d683/0xa0}:D302 d302_0 = 0x80000021 d302_d302_p → {D302 0x095f2/0xa0} d302_d303_p → {D303 0x0d1e7/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000148
{ArrayString 0x0d723/0x148}:ARRAY_STRING[0x1,0x21] = "TOWERS_OF_HANOI_RULES_FOR_GRAPHIC"
{D307 0x0d86b/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec8c d307_3 = 0x00000002 d307_d307_p → {D307 0x0df5d/0x7f}
{D307 0x0d8ea/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec8c d307_3 = 0x00000002 d307_d307_p → {D307 0x0dfdc/0x7f}
{D307 0x0d969/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec8c d307_3 = 0x00000002 d307_d307_p → {D307 0x0e05b/0x7f}
{D307 0x0d9e8/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec8c d307_3 = 0x00000002 d307_d307_p → {D307 0x0e0da/0x7f}
{D307 0x0da67/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec8c d307_3 = 0x00000002 d307_d307_p → {D307 0x0e159/0x7f}
{D307 0x0dae6/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec8c d307_3 = 0x00000002 d307_d307_p → {D307 0x0e1d8/0x7f}
{D307 0x0db65/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec8c d307_3 = 0x00000002 d307_d307_p → {D307 0x0e257/0x7f}
{D307 0x0dbe4/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec8c d307_3 = 0x00000002 d307_d307_p → {D307 0x0e2d6/0x7f}
{D307 0x0dc63/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec8c d307_3 = 0x00000002 d307_d307_p → {D307 0x0e355/0x7f}
{D307 0x0dce2/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec8c d307_3 = 0x00000002 d307_d307_p → {D307 0x0e3d4/0x7f}
{D307 0x0dd61/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec8c d307_3 = 0x00000002 d307_d307_p → {D307 0x0e453/0x7f}
{D307 0x0dde0/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec8c d307_3 = 0x00000002 d307_d307_p → {D307 0x0e4d2/0x7f}
{D307 0x0de5f/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec8c d307_3 = 0x00000002 d307_d307_p → {D307 0x0e551/0x7f}
{D307 0x0dede/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec92 d307_3 = 0x00000002
{D307 0x0df5d/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec92 d307_3 = 0x00000002
{D307 0x0dfdc/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec92 d307_3 = 0x00000002
{D307 0x0e05b/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec92 d307_3 = 0x00000002
{D307 0x0e0da/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec92 d307_3 = 0x00000002
{D307 0x0e159/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec92 d307_3 = 0x00000002
{D307 0x0e1d8/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec92 d307_3 = 0x00000002
{D307 0x0e257/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec92 d307_3 = 0x00000002
{D307 0x0e2d6/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec92 d307_3 = 0x00000002
{D307 0x0e355/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec92 d307_3 = 0x00000002
{D307 0x0e3d4/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec92 d307_3 = 0x00000002
{D307 0x0e453/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec92 d307_3 = 0x00000002
{D307 0x0e4d2/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec92 d307_3 = 0x00000002
{D307 0x0e551/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0008ec92 d307_3 = 0x00000002