fact: Definition Zstandard_max_seconds_of_size (sz : size) : Z := Z.of_nat (standard_max_seconds_of_size sz).
imports: Coq.QArith.QArith Coq.Structures.Orders Coq.micromega.Lia Coq.Bool.Bool Coq.Sorting.Mergesort Coq.Lists.List Coq.ZArith.ZArith PerformanceExperiments.Sandbox