fact: Definition args_of_max_n (max_n : N) : list N := List.filter (fun v => N.leb v max_n) sequence.
imports: Coq.Lists.List Coq.NArith.NArith PerformanceExperiments.Sandbox Reify.ReifyCommon Reify.PHOASUtil Reify.BenchmarkUtil