"sum(t for t, e in zip(*zip(*[(int(t.strip()), list(map(int, e.strip().split()))) for t, e in (line.split(\":\") for line in open('input07.txt'))])) if (f := lambda x, s, t: (s == t) if (not x or s > t) else f(x[1:], s + x[0], t) or f(x[1:], s * x[0], t) or f(x[1:], int(str(s) + str(x[0])), t))(e[1:], e[0], t))"
sum(t for t, e in zip(*zip(*[(int(t.strip()), list(map(int, e.strip().split()))) for t, e in (line.split(":") for line in open('input07.txt'))])) if (f := lambda x, s, t: (s == t) if (not x or s > t) else f(x[1:], s + x[0], t) or f(x[1:], s * x[0], t) or f(x[1:], int(str(s) + str(x[0])), t))(e[1:], e[0], t))