(2147483647-1)/2 mod 31