let default_set_size = 200