Read a JSON array of players {"name": string, "score": number}. Sort by score descending; ties break alphabetically by name. Print the sorted names as a JSON array.

Input: one JSON array. Output: JSON array of names.

Your program reads from stdin and prints to stdout.