Fixed bug where linear formula for unique Reals with different prime levels could lead to same unique Real for distinct sets of indices.