fact: Definition args_of_size (s : size) : list nat := match s with | Sanity => seq 1 3 | SuperFast => seq 1 15 | Fast => seq 1 22 | Medium => [] | Slow => [] | VerySlow => [] end.
imports: Coq.ZArith.ZArith PerformanceExperiments.Harness PerformanceExperiments.rewrite_repeated_app_common