5792b79b370f0e205f89bfaa93f033104d738542885da22ee926b2d91aa89fbd  Main.java
edaf4794257b238d118577bb99d4a24994a74df2225e5ab970b4de6354723da5  README.md
43b4efbd3e9aa8605db6591b3220ced0adc90b859cb086e508289db3685790f9  observed.stdout.txt
6dbc235120cfb1c6126c13042c0c361d9e5229c55717e16718d49d4d3cf091cc  verification.json
