import re

with open('3.txt', 'r') as f:
    data = f.read()

mul = r'mul\(\d+,\d+\)'
matches = re.findall(mul, data)  

lmuls = []
lmuls.extend(matches)

ints = [l.split("mul(")[1].rstrip(')') for l in lmuls]
print(ints)

muls = 0

for i in ints:
    n1, n2 = map(int, i.split(','))
    print(n1, n2)
    muls += n1 * n2
print(muls)