5717772ae669da5624c826dd4d193cf3f735c674f3f97b9040d6600d3dde4e22  Main.java
db54be0bec97ead4c0d7281ee0d81c411a911a8a23b50130afc0e1867d54a271  README.md
9e3f7096531e69c85520f30b49d14f2609055fa6c47e8c19f814abbb7c78e0ef  observed.stdout.txt
a7aa63a8c6a6dbbba55d8b69ce109d90e5b709fb16d1d45887b6f21e5d96fd26  verification.json
