EhsanKia

import re

with open('5E113D5F383749AEB72703486DD8247B', 'rb') as fp:
    data = fp.read()

filenames = re.findall(rb'\d+\.txt', data)
contents = re.findall(rb'(true\|1[^\0]+)', data, re.DOTALL)

for name, content in zip(filenames, contents):
    with open(name.replace(b'.txt', b'.tunic'), 'wb') as fp: