Searching in benchmarks/sql_benchmarks/push_down_topk/init