An alignment (the same as Fig. 4B) with colors indicating the probability that each column is correct. “∼” indicates the core (Fig. 1), whose column probabilities are assumed to be one, and “★” noncore exact matches.