multiplication regex: Streamline check for \14 being >= both \8 and \11; length-=4