(pr(.modPow(bigint 2)(bigint 1e100M)(bigint 1e1000M)))