fact: Definition small_table_rev_cached {size : has_size (N * N)} : list Q := List.rev (List.map Qred (make_cumulants Qplus (List.rev (List.map (fun '((i, count) : N*Z) => count * (adjusted_size_T (1, i)%N)) small_table)))).
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