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