Task: Text to Code
Input (English): select the row whose number record of all rows is maximum . the unit numbers record of this row is 254001 - 254032 .
Output (English): eq { hop { argmax { all_rows ; number } ; unit numbers } ; 254001 - 254032 }