c021f9b7d39b63114063bae3cecfc1154f0a952f166208695a847f118705634a  README.md
e27322c09bd613460c936e506661578d8432037e1ac6f84c34469ada3cda99be  evidence.json
ade73f6274626e47907b1caff5d101ecc4d6ad380a5000fec64e6cfab2948095  op1-schatten.tex
da776bb2455f52d4d1034708e2adeb592bf8fb2451265b7b4cef176a5bd03867  op1-schatten.pdf
b23c65030bc825a8d55ae78bf6bdd05c66492508b0453097ef26f5b84dfa8c38  verify_schatten.py
c062c0680a8dc360a1d25666c1da41da2be6b8c8ed840444ff652cdbadf900f3  verification-results.json
