fb28c044175d22b498fb4465fc041b283dc25b9e1dd5a01644452c168fb6da48  Main.java
7f941d82dd66985ef2b668d16d9305c18bd7c22eaf9987b498188d910051e803  README.md
a8f34a626be2c60a3cd36fe820a6f285dc751257e39144ee1fa226e118ee25f6  observed.stdout.txt
27befa71e17a83e97d2d22c61afbaed8a909fbfade7c9c0fe4ef75ce4c1350ea  verification.json
