We have an xlsx table, inside of which a formula is checked. If we spread the table as zip, then we can see a large number of conditions that all must be fulfilled. We pull out all the expressions and solve them to find satisfying conditions
```import xml.etree.ElementTree as ETimport reimport sympy
tree = ET.parse('sheet1.xml')root = tree.getroot()
formulas = list()
def get_children(root):    if len(root) == 0:        return    for child in root:        if child.tag[-1] == "f":            formulas.append(child.text)        get_children(child)
get_children(root)formulas.pop()
expressions = list()for formula in formulas:    expressions.extend(re.search(r"IF\(\((.*)\) AND \((.*)\) AND \((.*)\), 1, 0\)", formula).group(2,3))
for i, expression in enumerate(expressions):    expressions[i] = (re.sub(r'CODE\(A(\d+)\)', r'A\1', expression)).replace(" = 0", "").replace("^", "**")
solution = {}for expression in expressions:    x = re.findall(r"A\d+", expression)[0]    exec(f"{x} = sympy.var('{x}')")    solve = sympy.solve(expression, x)     if x not in solution:        solution[x] = list()     solution[x].append(solve)
for i in solution:    while len(solution[i]) != 1:        solution[i][0] = list(set(solution[i][0]) & set(solution[i][1]))        solution[i].pop(1)
output = [""]for key, value in solution.items():    if len(value[0]) == 1:        for i in range(len(output)):            output[i] += chr(value[0][0])    else:        output.extend(output)        for i in range(len(output) // 2):            output[i] += chr(value[0][0])        for i in range(len(output) // 2, len(output)):            output[i] += chr(value[0][1])
print("\n".join(output))```Output:```ugra_school_informatics_isnttthat_useless_45203ee146c2ugra_school_informatics_isnt_that_useless_45203ee146c2ugra_school_informatics_isnttthat_useeess_45203ee146c2ugra_school_informatics_isnt_that_useeess_45203ee146c2ugra_school_informatics_isnttthat_useless_45203ee146ccugra_school_informatics_isnt_that_useless_45203ee146ccugra_school_informatics_isnttthat_useeess_45203ee146ccugra_school_informatics_isnt_that_useeess_45203ee146cc```
Since the conditions were quadratic equations, sometimes expressions appeared, both roots of which satisfied all formulas, so more than 1 root was obtained. I had to try everything. Done!