import { randomPrime } from "https://deno.land/x/bigint@v0.3/src/bigInt.ts";