Task: Text to Code
Input (English): the maximum best finish record of all rows is t - 17 . the year record of the row with superlative best finish record is 2000 .
Output (English): and { eq { max { all_rows ; best finish } ; t - 17 } ; eq { hop { argmax { all_rows ; best finish } ; year } ; 2000 } }