9119746fb181fc81cfdbb2e7e46a06cceceebb6cd637058d064ecdc4616c4bd3  simulation-invariance.pdf
c355c74de030bbb369766f557477a2d4a13f7f506e26c9e256e661a507e49fba  manuscript.tex
941643393f0e264a24ce7548796f9b8719f74dd9a14661541d719525c4394a8b  journal-manuscript.md
511644bd1530e4f24ffd7dd01cb2e6521c231a22e077c0fdd2ac8327f92b0636  submission-draft.json
f978715a5dc08bcf172eab61d439d5b1875445f1c260eea243a1d52bd7d94ef2  check_examples.py
81233807383a24347974cf5b594810afcd15f7991d4fcacfab6470728b46f1e1  validation-results.json
85202a115924c1aa49ffc753d7e4dbe346dd4e82291e778912192f2fa67b7055  reference-audit.json
e30e09ff2799836d6073f862174818dc138c6e32d49dcf7c4745e92f02d9a09c  proof-audit.txt
88781f26b3039112b7f3abd2064f3790fb4c6e4fa4b840120b1cd3b236a51142  README.txt
