#!/bin/bash
grep -o 'mul([0-9]*[0-9],[0-9]*[0-9])' $1