d0ff0f3691f3fc6f2a2847c5c71e05143e33a15066aafae75464d43635faf0b9  Main.java
19076c68e2b62f48569755a4ba27b8233284c227a1924f284132ee6ca553c050  README.md
d2d1392ed15f7f1324a934ac9fe153cd81af1822502d51bd579f5ce8f9d8bff6  observed.stdout.txt
733623a49868e665c57bd7c0ee1fef33d487519910a0a1551afb7ac4a20ce849  verification.json
