a4fc51f9189f0cb187f174c353fef9098bd753a606073fb39012cacb02780a6a  Main.java
06aac56b82bb432f473f0d3d3d074a6776f6cbb87dce219ba840e8476498b3f0  README.md
fa78dbfca07d3a2c6f5975428653ae03762ae87e220593d3f9f64f2897386d4b  observed.stdout.txt
df777498ca2d3e72cf70b773b8a0c5b78e4cea69486ea9d72c0c67c8f98f0db1  verification.json
