Task: Text to Code
Input (English): the 3rd maximum winnings record of all rows is 160261 .
Output (English): eq { nth_max { all_rows ; winnings ; 3 } ; 160261 }