Rabin pair generation.