Users
Teams
Scoreboard
Challenges
r5
r5
297th
place
100
points
Solves
Challenge
Category
Value
Time
isabelles_file_encryption
Crypto
100