Task: Text to Code
Input (English): the 1st maximum carpet record of all rows is 1 - 0 .
Output (English): eq { nth_max { all_rows ; carpet ; 1 } ; 1 - 0 }