Task: Text to Code
Input (English): Command: eq { nth_max { all_rows ; crowd ; 3 } ; 13805 }, interpretation: the 3rd maximum crowd record of all rows is 13805 .
Output (English): yes