slim
slim copied to clipboard
Published
20 hours ago •
lmntal
lmntal
use-Ncoreのバグ
Compiled Ruleset @602
Compiled Rule
--atommatch:
spec [2, 2]
--memmatch:
spec [1, 1]
jump [L135, [0], [], []]
--guard:L135:
spec [1, 1]
jump [L128, [0], [], []]
--body:L128:
spec [1, 2]
commit ["_init", 0]
loadruleset [0, @601]
newatom [1, 0, 'a'_0]
proceed []
Compiled Ruleset @601
Compiled Rule
--atommatch:
spec [2, 2]
--memmatch:
spec [1, 53]
findatom [1, 0, 'a'_0]
newhlink [2]
getfunc [3, 2]
allocatomindirect[4, 3]
newhlink [5]
getfunc [6, 5]
allocatomindirect[7, 6]
newhlink [8]
getfunc [9, 8]
allocatomindirect[10, 9]
newhlink [11]
getfunc [12, 11]
allocatomindirect[13, 12]
newhlink [14]
getfunc [15, 14]
allocatomindirect[16, 15]
newhlink [17]
getfunc [18, 17]
allocatomindirect[19, 18]
newhlink [20]
getfunc [21, 20]
allocatomindirect[22, 21]
newhlink [23]
getfunc [24, 23]
allocatomindirect[25, 24]
newhlink [26]
getfunc [27, 26]
allocatomindirect[28, 27]
newhlink [29]
getfunc [30, 29]
allocatomindirect[31, 30]
newhlink [32]
getfunc [33, 32]
allocatomindirect[34, 33]
newhlink [35]
getfunc [36, 35]
allocatomindirect[37, 36]
newhlink [38]
getfunc [39, 38]
allocatomindirect[40, 39]
newhlink [41]
getfunc [42, 41]
allocatomindirect[43, 42]
newhlink [44]
getfunc [45, 44]
allocatomindirect[46, 45]
newhlink [47]
getfunc [48, 47]
allocatomindirect[49, 48]
newhlink [50]
getfunc [51, 50]
allocatomindirect[52, 51]
jump [L103, [0], [1, 4, 4, 7, 7, 10, 10, 13, 13, 16, 16, 19, 19, 22, 22, 25, 25, 28, 28, 31, 31, 34, 34, 37, 37, 40, 40, 43, 43, 46, 46, 49, 49, 52, 52], []]
--body:L103:
spec [36, 472]
commit ["_anew", 0]
removeatom [1, 0, 'a'_0]
newmem [36, 0, 0]
newmem [37, 36, 0]
newmem [38, 36, 0]
newmem [39, 36, 0]
newmem [40, 36, 0]
newmem [41, 0, 0]
newmem [42, 41, 0]
newmem [43, 41, 0]
newmem [44, 41, 0]
newmem [45, 41, 0]
newmem [46, 0, 0]
newmem [47, 46, 0]
newmem [48, 46, 0]
newmem [49, 46, 0]
newmem [50, 46, 0]
newmem [51, 0, 0]
newmem [52, 51, 0]
newmem [53, 51, 0]
newmem [54, 51, 0]
newmem [55, 51, 0]
newmem [56, 0, 0]
newmem [57, 56, 0]
newmem [58, 56, 0]
newmem [59, 56, 0]
newmem [60, 56, 0]
newmem [61, 0, 0]
newmem [62, 61, 0]
newmem [63, 61, 0]
newmem [64, 61, 0]
newmem [65, 61, 0]
newmem [66, 0, 0]
newmem [67, 66, 0]
newmem [68, 66, 0]
newmem [69, 66, 0]
newmem [70, 66, 0]
newmem [71, 0, 0]
newmem [72, 71, 0]
newmem [73, 71, 0]
newmem [74, 71, 0]
newmem [75, 71, 0]
newmem [76, 0, 0]
newmem [77, 76, 0]
newmem [78, 76, 0]
newmem [79, 76, 0]
newmem [80, 76, 0]
copyatom [81, 39, 3]
copyatom [82, 73, 3]
copyatom [83, 45, 9]
copyatom [84, 73, 9]
copyatom [85, 44, 7]
copyatom [86, 73, 7]
copyatom [87, 54, 15]
copyatom [88, 73, 15]
copyatom [89, 49, 11]
copyatom [90, 73, 11]
copyatom [91, 55, 17]
copyatom [92, 73, 17]
copyatom [93, 60, 21]
copyatom [94, 73, 21]
copyatom [95, 50, 13]
copyatom [96, 73, 13]
copyatom [97, 40, 5]
copyatom [98, 73, 5]
copyatom [99, 70, 29]
copyatom [100, 73, 29]
copyatom [101, 59, 19]
copyatom [102, 73, 19]
copyatom [103, 65, 25]
copyatom [104, 72, 25]
copyatom [105, 37, 31]
copyatom [106, 42, 31]
copyatom [107, 47, 31]
copyatom [108, 52, 31]
copyatom [109, 57, 31]
copyatom [110, 67, 31]
copyatom [111, 74, 31]
copyatom [112, 77, 31]
copyatom [113, 64, 23]
copyatom [114, 72, 23]
copyatom [115, 69, 27]
copyatom [116, 73, 27]
copyatom [117, 73, 35]
copyatom [118, 80, 35]
copyatom [119, 73, 33]
copyatom [120, 79, 33]
newatom [121, 37, '-'_1]
newatom [122, 37, '+'_1]
newatom [123, 37, '-'_1]
newatom [124, 37, 'ref'_2]
newatom [125, 37, $in_2]
newatom [126, 37, $in_2]
newatom [127, 38, '+'_1]
newatom [128, 38, '-'_1]
newatom [129, 38, '+'_1]
newatom [130, 38, '+'_1]
newatom [131, 38, $in_2]
newatom [132, 38, $in_2]
newatom [133, 38, $in_2]
newatom [134, 38, $in_2]
newatom [135, 39, '-'_1]
newatom [136, 39, '+'_1]
newatom [137, 39, 'dep'_1]
newatom [138, 39, $in_2]
newatom [139, 39, $in_2]
newatom [140, 40, '-'_1]
newatom [141, 40, '+'_1]
newatom [142, 40, 'dep'_1]
newatom [143, 40, $in_2]
newatom [144, 40, $in_2]
newatom [145, 36, 'current'_1]
newatom [146, 36, 'desired'_1]
newatom [147, 36, $out_2]
newatom [148, 36, $out_2]
newatom [149, 36, $out_2]
newatom [150, 36, $out_2]
newatom [151, 36, $out_2]
newatom [152, 36, $out_2]
newatom [153, 36, $out_2]
newatom [154, 36, $out_2]
newatom [155, 36, $out_2]
newatom [156, 36, $out_2]
newatom [157, 42, '-'_1]
newatom [158, 42, '+'_1]
newatom [159, 42, '-'_1]
newatom [160, 42, 'ref'_2]
newatom [161, 42, $in_2]
newatom [162, 42, $in_2]
newatom [163, 43, '+'_1]
newatom [164, 43, '-'_1]
newatom [165, 43, '+'_1]
newatom [166, 43, '+'_1]
newatom [167, 43, $in_2]
newatom [168, 43, $in_2]
newatom [169, 43, $in_2]
newatom [170, 43, $in_2]
newatom [171, 44, '-'_1]
newatom [172, 44, '+'_1]
newatom [173, 44, 'dep'_1]
newatom [174, 44, $in_2]
newatom [175, 44, $in_2]
newatom [176, 45, '-'_1]
newatom [177, 45, '+'_1]
newatom [178, 45, 'dep'_1]
newatom [179, 45, $in_2]
newatom [180, 45, $in_2]
newatom [181, 41, 'current'_1]
newatom [182, 41, 'desired'_1]
newatom [183, 41, $out_2]
newatom [184, 41, $out_2]
newatom [185, 41, $out_2]
newatom [186, 41, $out_2]
newatom [187, 41, $out_2]
newatom [188, 41, $out_2]
newatom [189, 41, $out_2]
newatom [190, 41, $out_2]
newatom [191, 41, $out_2]
newatom [192, 41, $out_2]
newatom [193, 47, '-'_1]
newatom [194, 47, '+'_1]
newatom [195, 47, '-'_1]
newatom [196, 47, 'ref'_2]
newatom [197, 47, $in_2]
newatom [198, 47, $in_2]
newatom [199, 48, '+'_1]
newatom [200, 48, '-'_1]
newatom [201, 48, '+'_1]
newatom [202, 48, '+'_1]
newatom [203, 48, $in_2]
newatom [204, 48, $in_2]
newatom [205, 48, $in_2]
newatom [206, 48, $in_2]
newatom [207, 49, '-'_1]
newatom [208, 49, '+'_1]
newatom [209, 49, 'dep'_1]
newatom [210, 49, $in_2]
newatom [211, 49, $in_2]
newatom [212, 50, '-'_1]
newatom [213, 50, '+'_1]
newatom [214, 50, 'dep'_1]
newatom [215, 50, $in_2]
newatom [216, 50, $in_2]
newatom [217, 46, 'current'_1]
newatom [218, 46, 'desired'_1]
newatom [219, 46, $out_2]
newatom [220, 46, $out_2]
newatom [221, 46, $out_2]
newatom [222, 46, $out_2]
newatom [223, 46, $out_2]
newatom [224, 46, $out_2]
newatom [225, 46, $out_2]
newatom [226, 46, $out_2]
newatom [227, 46, $out_2]
newatom [228, 46, $out_2]
newatom [229, 52, '-'_1]
newatom [230, 52, '+'_1]
newatom [231, 52, '-'_1]
newatom [232, 52, 'ref'_2]
newatom [233, 52, $in_2]
newatom [234, 52, $in_2]
newatom [235, 53, '+'_1]
newatom [236, 53, '-'_1]
newatom [237, 53, '+'_1]
newatom [238, 53, '+'_1]
newatom [239, 53, $in_2]
newatom [240, 53, $in_2]
newatom [241, 53, $in_2]
newatom [242, 53, $in_2]
newatom [243, 54, '-'_1]
newatom [244, 54, '+'_1]
newatom [245, 54, 'dep'_1]
newatom [246, 54, $in_2]
newatom [247, 54, $in_2]
newatom [248, 55, '-'_1]
newatom [249, 55, '+'_1]
newatom [250, 55, 'dep'_1]
newatom [251, 55, $in_2]
newatom [252, 55, $in_2]
newatom [253, 51, 'current'_1]
newatom [254, 51, 'desired'_1]
newatom [255, 51, $out_2]
newatom [256, 51, $out_2]
newatom [257, 51, $out_2]
newatom [258, 51, $out_2]
newatom [259, 51, $out_2]
newatom [260, 51, $out_2]
newatom [261, 51, $out_2]
newatom [262, 51, $out_2]
newatom [263, 51, $out_2]
newatom [264, 51, $out_2]
newatom [265, 57, '-'_1]
newatom [266, 57, '+'_1]
newatom [267, 57, '-'_1]
newatom [268, 57, 'ref'_2]
newatom [269, 57, $in_2]
newatom [270, 57, $in_2]
newatom [271, 58, '+'_1]
newatom [272, 58, '-'_1]
newatom [273, 58, '+'_1]
newatom [274, 58, '+'_1]
newatom [275, 58, $in_2]
newatom [276, 58, $in_2]
newatom [277, 58, $in_2]
newatom [278, 58, $in_2]
newatom [279, 59, '-'_1]
newatom [280, 59, '+'_1]
newatom [281, 59, 'dep'_1]
newatom [282, 59, $in_2]
newatom [283, 59, $in_2]
newatom [284, 60, '-'_1]
newatom [285, 60, '+'_1]
newatom [286, 60, 'dep'_1]
newatom [287, 60, $in_2]
newatom [288, 60, $in_2]
newatom [289, 56, 'current'_1]
newatom [290, 56, 'desired'_1]
newatom [291, 56, $out_2]
newatom [292, 56, $out_2]
newatom [293, 56, $out_2]
newatom [294, 56, $out_2]
newatom [295, 56, $out_2]
newatom [296, 56, $out_2]
newatom [297, 56, $out_2]
newatom [298, 56, $out_2]
newatom [299, 56, $out_2]
newatom [300, 56, $out_2]
newatom [301, 62, '-'_1]
newatom [302, 62, '+'_1]
newatom [303, 62, '+'_1]
newatom [304, 62, $in_2]
newatom [305, 62, $in_2]
newatom [306, 62, $in_2]
newatom [307, 63, '+'_1]
newatom [308, 63, '-'_1]
newatom [309, 63, '+'_1]
newatom [310, 63, $in_2]
newatom [311, 63, $in_2]
newatom [312, 63, $in_2]
newatom [313, 64, '-'_1]
newatom [314, 64, '+'_1]
newatom [315, 64, 'dep'_1]
newatom [316, 64, $in_2]
newatom [317, 64, $in_2]
newatom [318, 65, '-'_1]
newatom [319, 65, '+'_1]
newatom [320, 65, 'dep'_1]
newatom [321, 65, $in_2]
newatom [322, 65, $in_2]
newatom [323, 61, 'current'_1]
newatom [324, 61, 'desired'_1]
newatom [325, 61, $out_2]
newatom [326, 61, $out_2]
newatom [327, 61, $out_2]
newatom [328, 61, $out_2]
newatom [329, 61, $out_2]
newatom [330, 61, $out_2]
newatom [331, 61, $out_2]
newatom [332, 61, $out_2]
newatom [333, 61, $out_2]
newatom [334, 61, $out_2]
newatom [335, 67, '-'_1]
newatom [336, 67, '+'_1]
newatom [337, 67, '-'_1]
newatom [338, 67, 'ref'_2]
newatom [339, 67, $in_2]
newatom [340, 67, $in_2]
newatom [341, 68, '+'_1]
newatom [342, 68, '-'_1]
newatom [343, 68, '+'_1]
newatom [344, 68, '+'_1]
newatom [345, 68, $in_2]
newatom [346, 68, $in_2]
newatom [347, 68, $in_2]
newatom [348, 68, $in_2]
newatom [349, 69, '-'_1]
newatom [350, 69, '+'_1]
newatom [351, 69, 'dep'_1]
newatom [352, 69, $in_2]
newatom [353, 69, $in_2]
newatom [354, 70, '-'_1]
newatom [355, 70, '+'_1]
newatom [356, 70, 'dep'_1]
newatom [357, 70, $in_2]
newatom [358, 70, $in_2]
newatom [359, 66, 'current'_1]
newatom [360, 66, 'desired'_1]
newatom [361, 66, $out_2]
newatom [362, 66, $out_2]
newatom [363, 66, $out_2]
newatom [364, 66, $out_2]
newatom [365, 66, $out_2]
newatom [366, 66, $out_2]
newatom [367, 66, $out_2]
newatom [368, 66, $out_2]
newatom [369, 66, $out_2]
newatom [370, 66, $out_2]
newatom [371, 72, '-'_1]
newatom [372, 72, '+'_1]
newatom [373, 72, '-'_1]
newatom [374, 72, 'ref'_2]
newatom [375, 72, '-'_1]
newatom [376, 72, 'ref'_2]
newatom [377, 72, $in_2]
newatom [378, 72, $in_2]
newatom [379, 73, '+'_1]
newatom [380, 73, '-'_1]
newatom [381, 73, '-'_1]
newatom [382, 73, 'ref'_2]
newatom [383, 73, '-'_1]
newatom [384, 73, 'ref'_2]
newatom [385, 73, '-'_1]
newatom [386, 73, 'ref'_2]
newatom [387, 73, '-'_1]
newatom [388, 73, 'ref'_2]
newatom [389, 73, '-'_1]
newatom [390, 73, 'ref'_2]
newatom [391, 73, '-'_1]
newatom [392, 73, 'ref'_2]
newatom [393, 73, '-'_1]
newatom [394, 73, 'ref'_2]
newatom [395, 73, '-'_1]
newatom [396, 73, 'ref'_2]
newatom [397, 73, '-'_1]
newatom [398, 73, 'ref'_2]
newatom [399, 73, '-'_1]
newatom [400, 73, 'ref'_2]
newatom [401, 73, '-'_1]
newatom [402, 73, 'ref'_2]
newatom [403, 73, '-'_1]
newatom [404, 73, 'ref'_2]
newatom [405, 73, '-'_1]
newatom [406, 73, 'ref'_2]
newatom [407, 73, '-'_1]
newatom [408, 73, 'ref'_2]
newatom [409, 73, '+'_1]
newatom [410, 73, '+'_1]
newatom [411, 73, $in_2]
newatom [412, 73, $in_2]
newatom [413, 73, $in_2]
newatom [414, 73, $in_2]
newatom [415, 74, '-'_1]
newatom [416, 74, '+'_1]
newatom [417, 74, 'dep'_1]
newatom [418, 74, $in_2]
newatom [419, 74, $in_2]
newatom [420, 75, '-'_1]
newatom [421, 75, '+'_1]
newatom [422, 75, $in_2]
newatom [423, 75, $in_2]
newatom [424, 71, 'current'_1]
newatom [425, 71, 'desired'_1]
newatom [426, 71, $out_2]
newatom [427, 71, $out_2]
newatom [428, 71, $out_2]
newatom [429, 71, $out_2]
newatom [430, 71, $out_2]
newatom [431, 71, $out_2]
newatom [432, 71, $out_2]
newatom [433, 71, $out_2]
newatom [434, 71, $out_2]
newatom [435, 71, $out_2]
newatom [436, 77, '-'_1]
newatom [437, 77, '+'_1]
newatom [438, 77, '-'_1]
newatom [439, 77, 'ref'_2]
newatom [440, 77, $in_2]
newatom [441, 77, $in_2]
newatom [442, 78, '+'_1]
newatom [443, 78, '-'_1]
newatom [444, 78, '+'_1]
newatom [445, 78, '+'_1]
newatom [446, 78, $in_2]
newatom [447, 78, $in_2]
newatom [448, 78, $in_2]
newatom [449, 78, $in_2]
newatom [450, 79, '-'_1]
newatom [451, 79, '+'_1]
newatom [452, 79, 'dep'_1]
newatom [453, 79, $in_2]
newatom [454, 79, $in_2]
newatom [455, 80, '-'_1]
newatom [456, 80, '+'_1]
newatom [457, 80, 'dep'_1]
newatom [458, 80, $in_2]
newatom [459, 80, $in_2]
newatom [460, 76, 'current'_1]
newatom [461, 76, 'desired'_1]
newatom [462, 76, $out_2]
newatom [463, 76, $out_2]
newatom [464, 76, $out_2]
newatom [465, 76, $out_2]
newatom [466, 76, $out_2]
newatom [467, 76, $out_2]
newatom [468, 76, $out_2]
newatom [469, 76, $out_2]
newatom [470, 76, $out_2]
newatom [471, 76, $out_2]
newlink [121, 0, 126, 1, 37]
newlink [122, 0, 125, 1, 37]
newlink [123, 0, 124, 1, 37]
newlink [124, 0, 105, 0, 37]
newlink [127, 0, 131, 1, 38]
newlink [128, 0, 132, 1, 38]
newlink [129, 0, 133, 1, 38]
newlink [130, 0, 134, 1, 38]
newlink [135, 0, 138, 1, 39]
newlink [136, 0, 139, 1, 39]
newlink [137, 0, 81, 0, 39]
newlink [140, 0, 143, 1, 40]
newlink [141, 0, 144, 1, 40]
newlink [142, 0, 97, 0, 40]
newlink [145, 0, 151, 1, 36]
newlink [146, 0, 152, 1, 36]
newlink [147, 0, 125, 0, 36]
newlink [147, 1, 155, 1, 36]
newlink [148, 0, 126, 0, 36]
newlink [148, 1, 154, 1, 36]
newlink [149, 0, 131, 0, 36]
newlink [149, 1, 153, 1, 36]
newlink [150, 0, 132, 0, 36]
newlink [150, 1, 156, 1, 36]
newlink [151, 0, 133, 0, 36]
newlink [152, 0, 134, 0, 36]
newlink [153, 0, 138, 0, 36]
newlink [154, 0, 139, 0, 36]
newlink [155, 0, 143, 0, 36]
newlink [156, 0, 144, 0, 36]
newlink [157, 0, 162, 1, 42]
newlink [158, 0, 161, 1, 42]
newlink [159, 0, 160, 1, 42]
newlink [160, 0, 106, 0, 42]
newlink [163, 0, 168, 1, 43]
newlink [164, 0, 169, 1, 43]
newlink [165, 0, 170, 1, 43]
newlink [166, 0, 167, 1, 43]
newlink [171, 0, 174, 1, 44]
newlink [172, 0, 175, 1, 44]
newlink [173, 0, 85, 0, 44]
newlink [176, 0, 179, 1, 45]
newlink [177, 0, 180, 1, 45]
newlink [178, 0, 83, 0, 45]
newlink [181, 0, 188, 1, 41]
newlink [182, 0, 185, 1, 41]
newlink [183, 0, 161, 0, 41]
newlink [183, 1, 191, 1, 41]
newlink [184, 0, 162, 0, 41]
newlink [184, 1, 190, 1, 41]
newlink [185, 0, 167, 0, 41]
newlink [186, 0, 168, 0, 41]
newlink [186, 1, 189, 1, 41]
newlink [187, 0, 169, 0, 41]
newlink [187, 1, 192, 1, 41]
newlink [188, 0, 170, 0, 41]
newlink [189, 0, 174, 0, 41]
newlink [190, 0, 175, 0, 41]
newlink [191, 0, 179, 0, 41]
newlink [192, 0, 180, 0, 41]
newlink [193, 0, 198, 1, 47]
newlink [194, 0, 197, 1, 47]
newlink [195, 0, 196, 1, 47]
newlink [196, 0, 107, 0, 47]
newlink [199, 0, 204, 1, 48]
newlink [200, 0, 205, 1, 48]
newlink [201, 0, 206, 1, 48]
newlink [202, 0, 203, 1, 48]
newlink [207, 0, 211, 1, 49]
newlink [208, 0, 210, 1, 49]
newlink [209, 0, 89, 0, 49]
newlink [212, 0, 215, 1, 50]
newlink [213, 0, 216, 1, 50]
newlink [214, 0, 95, 0, 50]
newlink [217, 0, 224, 1, 46]
newlink [218, 0, 221, 1, 46]
newlink [219, 0, 197, 0, 46]
newlink [219, 1, 227, 1, 46]
newlink [220, 0, 198, 0, 46]
newlink [220, 1, 225, 1, 46]
newlink [221, 0, 203, 0, 46]
newlink [222, 0, 204, 0, 46]
newlink [222, 1, 226, 1, 46]
newlink [223, 0, 205, 0, 46]
newlink [223, 1, 228, 1, 46]
newlink [224, 0, 206, 0, 46]
newlink [225, 0, 210, 0, 46]
newlink [226, 0, 211, 0, 46]
newlink [227, 0, 215, 0, 46]
newlink [228, 0, 216, 0, 46]
newlink [229, 0, 234, 1, 52]
newlink [230, 0, 233, 1, 52]
newlink [231, 0, 232, 1, 52]
newlink [232, 0, 108, 0, 52]
newlink [235, 0, 240, 1, 53]
newlink [236, 0, 241, 1, 53]
newlink [237, 0, 242, 1, 53]
newlink [238, 0, 239, 1, 53]
newlink [243, 0, 246, 1, 54]
newlink [244, 0, 247, 1, 54]
newlink [245, 0, 87, 0, 54]
newlink [248, 0, 252, 1, 55]
newlink [249, 0, 251, 1, 55]
newlink [250, 0, 91, 0, 55]
newlink [253, 0, 260, 1, 51]
newlink [254, 0, 257, 1, 51]
newlink [255, 0, 233, 0, 51]
newlink [255, 1, 264, 1, 51]
newlink [256, 0, 234, 0, 51]
newlink [256, 1, 262, 1, 51]
newlink [257, 0, 239, 0, 51]
newlink [258, 0, 240, 0, 51]
newlink [258, 1, 261, 1, 51]
newlink [259, 0, 241, 0, 51]
newlink [259, 1, 263, 1, 51]
newlink [260, 0, 242, 0, 51]
newlink [261, 0, 246, 0, 51]
newlink [262, 0, 247, 0, 51]
newlink [263, 0, 251, 0, 51]
newlink [264, 0, 252, 0, 51]
newlink [265, 0, 270, 1, 57]
newlink [266, 0, 269, 1, 57]
newlink [267, 0, 268, 1, 57]
newlink [268, 0, 109, 0, 57]
newlink [271, 0, 276, 1, 58]
newlink [272, 0, 277, 1, 58]
newlink [273, 0, 278, 1, 58]
newlink [274, 0, 275, 1, 58]
newlink [279, 0, 283, 1, 59]
newlink [280, 0, 282, 1, 59]
newlink [281, 0, 101, 0, 59]
newlink [284, 0, 287, 1, 60]
newlink [285, 0, 288, 1, 60]
newlink [286, 0, 93, 0, 60]
newlink [289, 0, 296, 1, 56]
newlink [290, 0, 293, 1, 56]
newlink [291, 0, 269, 0, 56]
newlink [291, 1, 299, 1, 56]
newlink [292, 0, 270, 0, 56]
newlink [292, 1, 297, 1, 56]
newlink [293, 0, 275, 0, 56]
newlink [294, 0, 276, 0, 56]
newlink [294, 1, 298, 1, 56]
newlink [295, 0, 277, 0, 56]
newlink [295, 1, 300, 1, 56]
newlink [296, 0, 278, 0, 56]
newlink [297, 0, 282, 0, 56]
newlink [298, 0, 283, 0, 56]
newlink [299, 0, 287, 0, 56]
newlink [300, 0, 288, 0, 56]
newlink [301, 0, 305, 1, 62]
newlink [302, 0, 304, 1, 62]
newlink [303, 0, 306, 1, 62]
newlink [307, 0, 311, 1, 63]
newlink [308, 0, 312, 1, 63]
newlink [309, 0, 310, 1, 63]
newlink [313, 0, 316, 1, 64]
newlink [314, 0, 317, 1, 64]
newlink [315, 0, 113, 0, 64]
newlink [318, 0, 322, 1, 65]
newlink [319, 0, 321, 1, 65]
newlink [320, 0, 103, 0, 65]
newlink [323, 0, 327, 1, 61]
newlink [324, 0, 328, 1, 61]
newlink [325, 0, 304, 0, 61]
newlink [325, 1, 334, 1, 61]
newlink [326, 0, 305, 0, 61]
newlink [326, 1, 332, 1, 61]
newlink [327, 0, 306, 0, 61]
newlink [328, 0, 310, 0, 61]
newlink [329, 0, 311, 0, 61]
newlink [329, 1, 331, 1, 61]
newlink [330, 0, 312, 0, 61]
newlink [330, 1, 333, 1, 61]
newlink [331, 0, 316, 0, 61]
newlink [332, 0, 317, 0, 61]
newlink [333, 0, 321, 0, 61]
newlink [334, 0, 322, 0, 61]
newlink [335, 0, 340, 1, 67]
newlink [336, 0, 339, 1, 67]
newlink [337, 0, 338, 1, 67]
newlink [338, 0, 110, 0, 67]
newlink [341, 0, 346, 1, 68]
newlink [342, 0, 347, 1, 68]
newlink [343, 0, 348, 1, 68]
newlink [344, 0, 345, 1, 68]
newlink [349, 0, 353, 1, 69]
newlink [350, 0, 352, 1, 69]
newlink [351, 0, 115, 0, 69]
newlink [354, 0, 357, 1, 70]
newlink [355, 0, 358, 1, 70]
newlink [356, 0, 99, 0, 70]
newlink [359, 0, 366, 1, 66]
newlink [360, 0, 363, 1, 66]
newlink [361, 0, 339, 0, 66]
newlink [361, 1, 369, 1, 66]
newlink [362, 0, 340, 0, 66]
newlink [362, 1, 367, 1, 66]
newlink [363, 0, 345, 0, 66]
newlink [364, 0, 346, 0, 66]
newlink [364, 1, 368, 1, 66]
newlink [365, 0, 347, 0, 66]
newlink [365, 1, 370, 1, 66]
newlink [366, 0, 348, 0, 66]
newlink [367, 0, 352, 0, 66]
newlink [368, 0, 353, 0, 66]
newlink [369, 0, 357, 0, 66]
newlink [370, 0, 358, 0, 66]
newlink [371, 0, 378, 1, 72]
newlink [372, 0, 377, 1, 72]
newlink [373, 0, 374, 1, 72]
newlink [374, 0, 114, 0, 72]
newlink [375, 0, 376, 1, 72]
newlink [376, 0, 104, 0, 72]
newlink [379, 0, 412, 1, 73]
newlink [380, 0, 413, 1, 73]
newlink [381, 0, 382, 1, 73]
newlink [382, 0, 82, 0, 73]
newlink [383, 0, 384, 1, 73]
newlink [384, 0, 98, 0, 73]
newlink [385, 0, 386, 1, 73]
newlink [386, 0, 86, 0, 73]
newlink [387, 0, 388, 1, 73]
newlink [388, 0, 84, 0, 73]
newlink [389, 0, 390, 1, 73]
newlink [390, 0, 90, 0, 73]
newlink [391, 0, 392, 1, 73]
newlink [392, 0, 96, 0, 73]
newlink [393, 0, 394, 1, 73]
newlink [394, 0, 88, 0, 73]
newlink [395, 0, 396, 1, 73]
newlink [396, 0, 92, 0, 73]
newlink [397, 0, 398, 1, 73]
newlink [398, 0, 102, 0, 73]
newlink [399, 0, 400, 1, 73]
newlink [400, 0, 94, 0, 73]
newlink [401, 0, 402, 1, 73]
newlink [402, 0, 116, 0, 73]
newlink [403, 0, 404, 1, 73]
newlink [404, 0, 100, 0, 73]
newlink [405, 0, 406, 1, 73]
newlink [406, 0, 119, 0, 73]
newlink [407, 0, 408, 1, 73]
newlink [408, 0, 117, 0, 73]
newlink [409, 0, 414, 1, 73]
newlink [410, 0, 411, 1, 73]
newlink [415, 0, 418, 1, 74]
newlink [416, 0, 419, 1, 74]
newlink [417, 0, 111, 0, 74]
newlink [420, 0, 423, 1, 75]
newlink [421, 0, 422, 1, 75]
newlink [424, 0, 431, 1, 71]
newlink [425, 0, 428, 1, 71]
newlink [426, 0, 377, 0, 71]
newlink [426, 1, 435, 1, 71]
newlink [427, 0, 378, 0, 71]
newlink [427, 1, 433, 1, 71]
newlink [428, 0, 411, 0, 71]
newlink [429, 0, 412, 0, 71]
newlink [429, 1, 432, 1, 71]
newlink [430, 0, 413, 0, 71]
newlink [430, 1, 434, 1, 71]
newlink [431, 0, 414, 0, 71]
newlink [432, 0, 418, 0, 71]
newlink [433, 0, 419, 0, 71]
newlink [434, 0, 422, 0, 71]
newlink [435, 0, 423, 0, 71]
newlink [436, 0, 441, 1, 77]
newlink [437, 0, 440, 1, 77]
newlink [438, 0, 439, 1, 77]
newlink [439, 0, 112, 0, 77]
newlink [442, 0, 448, 1, 78]
newlink [443, 0, 449, 1, 78]
newlink [444, 0, 446, 1, 78]
newlink [445, 0, 447, 1, 78]
newlink [450, 0, 454, 1, 79]
newlink [451, 0, 453, 1, 79]
newlink [452, 0, 120, 0, 79]
newlink [455, 0, 458, 1, 80]
newlink [456, 0, 459, 1, 80]
newlink [457, 0, 118, 0, 80]
newlink [460, 0, 464, 1, 76]
newlink [461, 0, 465, 1, 76]
newlink [462, 0, 440, 0, 76]
newlink [462, 1, 470, 1, 76]
newlink [463, 0, 441, 0, 76]
newlink [463, 1, 468, 1, 76]
newlink [464, 0, 446, 0, 76]
newlink [465, 0, 447, 0, 76]
newlink [466, 0, 448, 0, 76]
newlink [466, 1, 469, 1, 76]
newlink [467, 0, 449, 0, 76]
newlink [467, 1, 471, 1, 76]
newlink [468, 0, 453, 0, 76]
newlink [469, 0, 454, 0, 76]
newlink [470, 0, 458, 0, 76]
newlink [471, 0, 459, 0, 76]
freeatom [1]
freeatom [3]
freeatom [9]
freeatom [7]
freeatom [15]
freeatom [11]
freeatom [17]
freeatom [21]
freeatom [13]
freeatom [5]
freeatom [29]
freeatom [19]
freeatom [25]
freeatom [31]
freeatom [23]
freeatom [27]
freeatom [35]
freeatom [33]
proceed []
Compiled Rule
--atommatch:
spec [2, 2]
--memmatch:
spec [1, 37]
anymem [1, 0, 0, null]
norules [1]
findatom [2, 1, 'current'_1]
deref [3, 2, 0, 1]
func [3, $out_2]
deref [4, 3, 0, 0]
func [4, $in_2]
deref [5, 4, 1, 0]
func [5, '+'_1]
lockmem [6, 4, null]
norules [6]
findatom [7, 6, '+'_1]
neqatom [7, 5]
deref [8, 7, 0, 1]
func [8, $in_2]
deref [9, 8, 0, 0]
func [9, $out_2]
deref [10, 9, 1, 1]
func [10, $out_2]
deref [11, 10, 0, 0]
func [11, $in_2]
deref [12, 11, 1, 0]
func [12, '-'_1]
lockmem [13, 11, null]
neqmem [13, 6]
norules [13]
findatom [14, 13, '+'_1]
deref [15, 14, 0, 1]
func [15, $in_2]
deref [16, 15, 0, 0]
func [16, $out_2]
deref [17, 16, 1, 1]
func [17, $out_2]
deref [18, 17, 0, 0]
func [18, $in_2]
lockmem [34, 18, null]
norules [34]
neqmem [34, 13]
deref [19, 18, 1, 0]
func [19, '-'_1]
not [[
findatom [20, 13, 'dep'_1]
deref [21, 20, 0, 1]
ishlink [21]
isunary [21]
anymem [22, 0, 0, null]
neqmem [22, 13]
norules [22]
lockmem [23, 22, null]
findatom [24, 23, 'ref'_2]
derefatom [25, 24, 0]
samefunc [25, 21]
not [[
findatom [26, 23, '-'_1]
deref [27, 26, 0, 1]
samefunc [27, 24]
lockmem [28, 26, null]
neqmem [28, 22]
norules [28]
findatom [29, 28, 'current'_1]
deref [30, 29, 0, 1]
func [30, $out_2]
deref [31, 30, 0, 0]
func [31, $in_2]
deref [32, 31, 1, 0]
func [32, '+'_1]
eqmem [32, 23]
proceed []
]]
unlockmem [23]
proceed []
]]
commit ["test", 0]
removeatom [3, 1, $out_2]
removeatom [4, 6, $in_2]
removeatom [5, 6, '+'_1]
newatom [35, 34, '+'_1]
newatom [36, 1, $out_2]
newatom [37, 34, $in_2]
newlink [2, 0, 36, 1, 1]
newlink [36, 0, 37, 0, 1]
newlink [37, 1, 35, 0, 34]
freeatom [3]
freeatom [4]
freeatom [5]
unlockmem [34]
unlockmem [13]
unlockmem [6]
unlockmem [1]
proceed []
Inline
slim --use-Ncore=2 --nd --hl -t で実行すると、 # of States'(stored) = 240 より小さい値が出る。
