b8b5c210f04f39d6dad342fa4180b0d7867382954d4b4ba5b26b45017c7aa4c1  Encevra_Research_Round_27.md
9ba7d1e35a2441b5204a227abe017a58bfc015af35678107aebbca7c8fa02d8f  Encevra_Research_Round_27.pdf
4990121e9d9a5a5cb517c27955d8cdd68495badf420eccb5a2a1bc067a340992  README.md
548cf0cd766cb814874cf2e4c57cc6110d9f16f5eb5d20957810d6736b3733f6  build_round27_pdf.py
880c56a47b51229e793be97bb2643f1bec2f04447cfa65c9bbe92b1c0a3b0312  outputs/first_actions.csv
278110e30bebe35c34f7667148a7670b01a7bc49a444e0c002bec4d050ec84a1  outputs/policy_metrics.csv
b1463670eb4eed8b92cbc4ecca95cf601d71512a6b89bd4353bd97a13bc1bc67  outputs/sha256sums.txt
19193b09bec651fbef4d1d3c82dd8097fc70cc128ecd4528da9ee27c844305ff  outputs/summary.json
bbfcbc6651a01102463793db67a066dc0b85c3518aeb8bb09430c615327de8cb  outputs/worked_traces.csv
98ea20318d1c6d48f0734c1153482270015fe865bf0ef35b0298e307c75582f1  round27_budgeted_verification.py
d643b7f3ae8a22d8e0a57427ca0f4f736d6da0fe2f33df7917048570c9435a27  round27_pdf_header.tex
96a250f5746bda5075be04086f4aa114f9396370cc50db7f6095ed6c55d87d7d  source_inspection_ledger.csv
3c7c7b6f3debd26c12a06ee33622b1360a497839c56b17d43726f3bb12333b79  test_round27_budgeted_verification.py
