Task: Text to Code
Input (English): Command: eq { hop { argmax { all_rows ; points } ; player } ; dave allerdice }, interpretation: select the row whose length record of all rows is 3rd maximum . the year record of this row is 1996 .
Output (English): no