Accepted ratio

An online judge computes the accepted ratio of each problem with this formula.

$\frac{A}{A + W} \times 100$

$A$ is the number of people who solved the problem, and $W$ is the total number of rejected submissions those people sent before their own first accepted submission. A submission counts as rejected when its verdict is anything other than accepted. Submissions from the administrator account are dropped from the whole calculation. If nobody outside the administrator solved the problem, the denominator is $0$ and the accepted ratio is $0$.

The submission log of one problem is given. Write a program that computes its accepted ratio.

The first line contains the total number of submissions $N$ ($1 \le N \le 200\,000$).

Each of the next $N$ lines holds one submission, in increasing order of judge number. A line has seven values separated by single spaces, in this order.

• Judge number: an integer between $1$ and $8\,000\,000$. The judge number is the submission order, and no two submissions share one.
• User id: a string of length at most $20$ made of uppercase letters, lowercase letters, digits and underscores (_). Ids that differ in letter case belong to different people. The id megalusion is the administrator.
• Verdict: an integer between $4$ and $11$ with these meanings.
  • $4$: accepted
  • $5$: wrong output format
  • $6$: wrong answer
  • $7$: time limit exceeded
  • $8$: memory limit exceeded
  • $9$: output limit exceeded
  • $10$: runtime error
  • $11$: compile error
• Memory used: an integer between $0$ and $3\,000\,000$.
• Running time: an integer between $0$ and $200\,000$.
• Language: an integer between $0$ and $100$.
• Code length: an integer between $1$ and $524\,288$.

Print the accepted ratio on the first line with exactly $10$ digits after the decimal point. Round at the eleventh digit after the point, and round up when the value sits exactly halfway between two results. The count of digits after the point is always $10$, so a ratio of exactly $50$ prints as 50.0000000000.

Integer arithmetic gives the exact value: divide $A \times 100 \times 10^{10}$ by $A + W$ and round the quotient.