384 

   384 

   385         # Rules

   385         # Rules

   386         rules = []

   386         rules = []

   387         rulelen = int(lines[index])

   387         rulelen = int(lines[index])

   388         index += 1

   388         index += 1

   390             ruleaction = lines[index]

   390             ruleaction = lines[index]

   391             index += 1

   391             index += 1

   392             rule = lines[index]

   392             rule = lines[index]

   393             index += 1

   393             index += 1

   394             rules.append((ruleaction, rule))

   394             rules.append((ruleaction, rule))

   395 

   395 

   396         # Replacements

   396         # Replacements

   397         replacements = []

   397         replacements = []

   398         replacementlen = int(lines[index])

   398         replacementlen = int(lines[index])

   399         index += 1

   399         index += 1

   401             replacement = lines[index]

   401             replacement = lines[index]

   402             original = node.bin(replacement[:40])

   402             original = node.bin(replacement[:40])

   403             succ = [node.bin(replacement[i:i + 40]) for i in

   403             succ = [node.bin(replacement[i:i + 40]) for i in

   404                     range(40, len(replacement), 40)]

   404                     range(40, len(replacement), 40)]

   405             replacements.append((original, succ))

   405             replacements.append((original, succ))