convert.py

#!/usr/bin/env python
import json
problem = None
fights = None

def mapit(st):
    st = st.replace("T", "True").replace("F", "False").replace("{", "[")
    st = st.replace("}", "]")
    return st

with open("problem.txt") as probfile:
    problem = probfile.read().strip()

problem = eval(mapit(problem))

with open("outcomes.txt") as outcomesfile:
    fights = outcomesfile.read()

fights = eval(mapit(fights))

result = {
    'atEstablishment': problem,
    'fightOccurred': fights,
}

with open("output.json", "w") as json_file:
    json_file.write(json.dumps(result, indent=4, sort_keys=True))