Season standings

Compute the final standings of a season-long points league.

Each result is a string "player:contest:score". The score is a non-negative integer, or the text DQ when the player was disqualified in that contest. Players can appear many times, including several times in the same contest (reruns).

Rules:

• Player names are case-insensitive after trimming spaces at both ends ("Ann " and "ann" are the same player); they are reported in lowercase. Contest ids are compared exactly.
• For one player in one contest: if any of their entries for that contest is DQ, the contest is voided and scores 0 for that player, whatever their other entries say. Otherwise the contest scores the highest of their entries.
• A player's total is the sum of their best highest contest scores (a voided contest counts as a contest scoring 0). If the player has fewer than best contests, all of them are summed.
• Every player with at least one entry appears in the standings, even with a total of 0.
• Players are ordered by total descending, and by name ascending (lexicographic) when totals are equal. Ranks use standard competition ranking: players with equal totals share a rank, and the next rank skips the positions used (totals 90, 80, 80, 70 get ranks 1, 2, 2, 4).

Input: results, a list of strings in the format above, and best, a positive integer.

Output: a list of [rank, name, total] rows in standings order. If results is empty, return [].