User ggandnotgg
10
problems solved
#4286
Rank by points
17
Total points