36e75f3eb950db1eb62d9b0a1d0f819809168baea4353fd1f02f98ae87a1d5a4  Main.java
2094579daf966af6ec53fa46243f7f8905aabc387ba84238624bd22a710e4841  README.md
6f0e0695552bce2d504da6566c5241f9eca76edcd690ad4d4158b412eedc7465  observed.stdout.txt
3ee59ef5d95710875714bd1a137579c38aa7373c146e67ceb5a16fc38414d20c  verification.json
