Would the final score be out of 10000, or just the content score? Since we're using 7 bits to hold the score in the matrix, we would have to change the encoding scheme to have the final score be up to 10000. If we leave the final score to be [0,100] I don't see how we would be getting any more precision for tie breaking.