fact: Definition small_table := Eval native_compute in List.map (fun n:nat => (n:N, ∑_{i=1}^{n} if (n mod i =? 0) then 1 else 0)%Z) (seq 0 (Z.to_nat (1 + cutoff))).
imports: Coq.Strings.String Coq.Structures.Orders Coq.micromega.Lia Coq.Bool.Bool Coq.Sorting.Mergesort Coq.QArith.QArith Coq.QArith.Qround Coq.QArith.Qabs Coq.QArith.Qminmax Coq.NArith.NArith Coq.ZArith.ZArith Coq.Arith.Arith Coq.Lists.List PerformanceExperiments.LetIn