Task: Text to Code
Input (English): Command: eq { hop { argmax { all_rows ; candidates } ; district } ; georgia 1 }, interpretation: select the row whose candidates record of all rows is maximum . the district record of this row is georgia 1 .
Output (English): yes