fact: Definition args_of_size (is_flat : bool) (s : size) : list N := match is_flat, s with | _, Sanity => List.firstn 4 sequence | _, SuperFast => args_of_max_n 1000 | _, _ => args_of_max_n 30000 end.
imports: Reify.ReifyCommon Reify.OCamlReify Coq.NArith.NArith PerformanceExperiments.Harness Reify.BenchmarkExtraUtil