Task: Text to Code
Input (English): the 1st maximum total record of all rows is 85100 . the raion ( district ) or city record of the row with 1st maximum total record is city of izmayil .
Output (English): and { eq { nth_max { all_rows ; total ; 1 } ; 85100 } ; eq { hop { nth_argmax { all_rows ; total ; 1 } ; raion ( district ) or city } ; city of izmayil } }