Table: oklahoma_lottery_games
Columns: game_name
price
top_prize
launch_date
odds_of_winning

Question: What is the name of the game with odds of winning 1 in 4.23 with a top prize of $15,000?
SQL: SELECT "game_name" FROM oklahoma_lottery_games WHERE "odds_of_winning" = '1 in 4.23' AND "top_prize" = '$15,000'

Question: What is the launch date odds of winning 1 in 4.23 with a top prize of $15,000?
SQL: SELECT "launch_date" FROM oklahoma_lottery_games WHERE "odds_of_winning" = '1 in 4.23' AND "top_prize" = '$15,000'

Question: What is the launch date odds of winning 1 in 4.54?
SQL: SELECT "launch_date" FROM oklahoma_lottery_games WHERE "odds_of_winning" = '1 in 4.54'

Question: What is the launch date odds of winning 1 in 4.44?
SQL: SELECT "launch_date" FROM oklahoma_lottery_games WHERE "odds_of_winning" = '1 in 4.44'

Question: What is the name of the game with a top prize of $888?
SQL: SELECT "game_name" FROM oklahoma_lottery_games WHERE "top_prize" = '$888'

Question: What is the top price of $1 with a launch date on February 12, 2008?
SQL: SELECT "top_prize" FROM oklahoma_lottery_games WHERE "price" = '$1' AND "launch_date" = 'february 12, 2008'