edition = "2018"
use_small_heuristics = "Max"