7c4904b6e245e88f2f7e0a4baaa2762284afcf56797a71e0177e914a9345373c  Main.java
987bbb1677ce4be94845a06bf7423cf6c3e0823de7c9e988c3f4437c46f6d3eb  README.md
77f7a2f3021d375927a0e3e3b3b6216b8b2517088106177c28914ef28fcbafae  observed.stdout.txt
16240e4462522b0029087b19dc6a2a3d4419e56caf99c6d95ed89a5ef15ab92e  verification.json
