cow_auction Solver Rewards_exp6_with_symbols | Dune