eabb5df37812469056f7806a85b322b0d87fe621fd899a6c461d3dac15fe8240  Main.java
caf0b1d758757ab67cbb5a524b1f948b2b4876a0b7afd4153e38d99be136dfbe  README.md
6a63b6827a507530f02aaf28806765f24bfb02b850823cc8a07054d171dc0a30  observed.stdout.txt
d4e52caff50e1219b9067e58a00ea85ad4d08edacb06739e9e70c0b2c1e5234c  verification.json
