import { decomposePrime } from "https://dotland.deno.dev/std@0.181.0/testing/fast_check_example.ts";