use_small_heuristics = "Max"
edition = "2021"