r5

r5

294th place

100 points



Solves

Challenge Category Value Time
isabelles_file_encryption Crypto 100