variable VERIFIED_MINIMUMRe-exportimport { VERIFIED_MINIMUM } from "https://deno.land/x/collatz@javascript-v1.2.0/lib/esm/index.mjs"; The current value down to which has been proven numerically, for the default parameterisation.