b02f7c9df78b2a3acd9725800d5d7e2862ac9fb60a0c1ea5b4b0196dbc5f5e8d  README.md
9be08312afc5fbf1edc7ff60eace2779ff73040861aa6d4d2521301c7a87dbb7  build.sh
307a280b387ab9a53eda0f3056e1d4b8d08606a8f649a65c87943f2db0f569bd  check_examples.py
966f4894f39f9c3cbd5907462c39f2511cd9a2d851869a452506bf3abbe3563f  header.tex
bc71b4da3f03ee2f8f7b4c0b1b68da13c63c69015107c402f1a26d966f60bc2f  manuscript.md
f12450425fb135d0869d7b1acc4a6358d1fbe4d39a0bd80cf63854668509095d  manuscript.tex
6048e0939168446b311f078bb98b8298dd46ff023897b06fc2bc7256514b8ca3  measure_length.py
355d72caab21c312eda105915df2438d35c53f6c443241ee15ba303646b62fdf  own-the-rails-higher-semantics.pdf
cd39caf101c7a664e8d510b49531aa775a2d0c5bdb418d812ee406409eb68813  preparation-record.json
3f6425f9f33ecfd2a843665e869516850863978fe63156a6fb7fd2c37534c539  reading-length.json
30c269e1ce8a9400e1caa2b1b91780941f7d29250a1cf8571f5d21ab3de49e87  source-record.json
4de57ed56ab6ba8140503cfa7ad8f3e75a87130600280d42fe8e660783643dac  submission-request.json
e21819232aca79f41daf705d2a35926e61b9242140f4085a757840cac0c277f5  validation-results.json
817d2666bdd16cc369143652de8f7afec0ab773a2d4dcd956ffb58c7ebeadf7d  verification-report.json
