<?php

$instruction = file_get_contents(__DIR__.'/input.txt');

preg_match_all('/mul\((\d+),(\d+)\)/', $instruction, $muls, PREG_SET_ORDER);

echo array_sum(array_map(static fn($mul) => $mul[1]*$mul[2], $muls));
exit;