Department leaderboard

Build the quarterly bonus list for a company's sales departments: the top tiers of each department, with ties sharing a tier.

Each record is a string "dept name amount": a department, a salesperson, and an integer amount (negative for a refund), separated by single spaces. Departments and names are lowercase letters only. A person's total is the sum of their amounts within one department; someone who appears in two departments has a separate total in each.

Only people with a total greater than 0 are ranked. Within each department, rank them by total descending in two ways:

• dense rank: the best total is 1, the next different total is 2, and so on, without gaps;
• standard rank: 1 plus the number of people in that department with a strictly higher total (so totals 90, 90, 80 have standard ranks 1, 1, 3, but dense ranks 1, 1, 2).

Everyone whose dense rank is at most tiers gets a bonus and is listed, so a tier can hold several people.

Input: records, a list of strings in the format above, and tiers, an integer.

Output: a list of strings "dept name total dense standard", one per person who gets a bonus, ordered by department ascending, then dense rank ascending, then name ascending. If nobody qualifies, return [].