r5

r5

297th place

100 points



Solves

Challenge Category Value Time
isabelles_file_encryption Crypto 100