7826a1d4d260e84b72296a9106ba57105c036982c0d6fe2a7c8f64d49a23bda8  Main.java
96ca447f3983c89e8f0bf14f104721b4aa40017944c89de6d3171b93a03b9df7  README.md
aee4ae35ae33026baab29685540c75c6a17722acdca4bb474232de2b79202cc0  observed.stdout.txt
69135eec08baaf22e281e3e3dd7090618f77e825a5bec7e4dfb088449a6f03c0  verification.json
