Task: Text to Code
Input (English): the 1st maximum crowd record of all rows is 45848 . the venue record of the row with 1st maximum crowd record is mcg .
Output (English): and { eq { nth_max { all_rows ; crowd ; 1 } ; 45848 } ; eq { hop { nth_argmax { all_rows ; crowd ; 1 } ; venue } ; mcg } }