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