import { decomposePrime } from "https://deno.land/std@0.154.0/testing/fast_check_example.ts";
********************* decomposePrime() ***********************************
import { decomposePrime } from "https://deno.land/std@0.154.0/testing/fast_check_example.ts";
********************* decomposePrime() ***********************************