06f4e883b64f18b6f02e242df6c24ef8d3faf0db33bd837082448deee54cd3e5  Main.java
6ee2d585038124e87904f4c14ff77471bab82bf0821c6f8f035cbaf2b9eaf14c  README.md
c84827d2af2882f402453b24e5f31a45e1213579470cf8777b7778fb7f85ba39  observed.stdout.txt
96ad46a51983ca6d6dc798024f804f66d3d4803112f0a2f4bbff95a34843aa3f  verification.json
