f26b2b4a58a36857ffc3ea3db16a0ea57d30c321ee051e41e96839d78c148c97  Main.java
83328c0206bec054e8943d25b733248260255cfdeba6af87f58b216d751c9fcf  README.md
27ec9b1df3d3c2d8673114d31bd7436aa1aa4963607e25018dd170feb1377a42  observed.stdout.txt
1023b101ec624c6f2d54f84220d735bb20aa386719815991e86a8906e0e0b8c3  verification.json
