changed PSA64 to remove degeneracy