Gravar-mail: A Probabilistic Beam Search Approach to the Shortest Common Supersequence Problem