dfbd3ed6f6c59b0fd46d7ad1e3fe1694ef01d60c20dd43fc4178fd5b4f79b8bc  README.txt
dfd6a1a10cbce0fdf46d48324c7bdeb8d80000e77b7cac4661f533b3fff82c9a  blue-pill-semantics.pdf
35f256e3342c7f01beed3f63286849346bdb2aeb02c75de5f9dcc8f041eee712  blue-pill-semantics.tex
006617f082849446fd3db2131a45ec49d17a791cf94bb2fb77b83b82ecd05cc6  build.sh
2c5b1ca0077f862d504e299b98ab0e032968802dfec9fbaf8f7fbbfa99ed84bc  finite_model.py
8d3649a0c5a76bee8b2f74f46bfea1d60424948bbea98647ce9b375be2d6b356  journal-submission.md
f0a89f787ea64e2413162122591d0eed840a2a7d979409e05287dc249e4291eb  manuscript.md
d054f27dcd5c4a444cc11df5c81fd756bb84190754e8c17491294237a4e88b22  preamble.tex
7da6c292b670c880069f7e8470df35891fb919d97ba2905020cca91fbab0444f  submission-payload.json
4cd3aa216faab38ebae62e0006c09607d20ef76448f9b7600082193b7efedd15  verification-report.json
