fact: Definition sequence : list N := Eval lazy in let m := List.map N.of_nat in (m (List.seq 1 499)) ++ (List.map (fun n : nat => 500 + n * 5) (seq 0 100)) ++ (List.map (fun n : nat => 1000 + n * 10) (seq 0 100)) ++ (List.map (fun n : nat => 2 * 1000 + n * 50) (seq 0 160)) ++ (List.map (fun n : nat => 10 * 1000 + n * 100) (seq 0 100)) ++ 200 * 100::nil.
imports: Coq.Lists.List Coq.NArith.NArith PerformanceExperiments.Sandbox Reify.ReifyCommon Reify.PHOASUtil Reify.BenchmarkUtil