Rank | Handle | Score | Penalty |
Language |
|
---|---|---|---|---|---|
15 (1) | 1 | 56 minutes 10 seconds | PARI/GP |
|