Task: Text to Code
Input (English): the maximum length record of all rows is 136 ' . the name record of the row with superlative length record is fay no 4 .
Output (English): and { eq { max { all_rows ; length } ; 136 ' } ; eq { hop { argmax { all_rows ; length } ; name } ; fay no 4 } }