6906e1f50db969eabfcba36d9273c975988bd3aa9fe3d14fc733b631f4b794c0  CONTENT_AND_TIMING.md
d14990a47ca9a84cfa1d2c7b82adc92d562846f17f7e75744cd29d714e76faaf  R02-VERIFICATION.json
e9368de742b98236637a0bd17d210ad72f82fd81dce81816a2962805a181d4ec  README.md
67d99a5d0be73c803e7f7aebde58a073de57d382d66210347c3610908598bbd3  RESOLVE.md
1781d2806a07d91c4edf4740b88449fab7d0eadad53f7c351b94cd4d4eb8c00f  assets/OFL.txt
15f33710842d9911267f0bf325c8bb1efb71f02a7413c207fa477b8a963d8ced  assets/adaptation-crop-1.svg
91ab31d9fad4e34300bb20102c18c8abc6d1f98f12f9882353de194be7c1a31f  assets/adaptation-crop-2.svg
5546aea06c764673bca4520300b69d05bed39c900a0685ba7f8afaf686a77e31  assets/adaptation-crop-3.svg
5f49b7e55f5c107ab2b4cb2f9a27bc484660fce8e4003d1600d1ef7db1810014  assets/index.json
a20d59a9b650eab91736946925ec82e4812172598de9a642adcc62b68aeabe61  assets/original-crop-1.svg
7f7d27b37591a5fc05a8f6650968bc9a4e013290e994ca19b852cb432d0bb708  assets/original-crop-2.svg
d8b8a423bbc964aa73950f566d36edf8fb60e6189c43e2b1ad034db60d5083dd  assets/original-crop-3.svg
d19ac0ccfde3bbfefb786223685277a1085641150807af6556f306b67db2aab7  core-selected.zip
bf1295148efc1ef7e2836e3b4f5b1acf37f7fc3c47256a0588752c5c8b825635  downloads.json
35817798fccb3853f55bd5dbfd49cc852725f595433b028835f09e3f82b9c6b1  kit.py
914fdc984b9784f56f21f142c312a92c7a34d53cb0875806a148a214762c1624  preparation-contract.mjs
5dfba412897554fdf6fb1f3909ffa6c0ec9a37d19fc2326c4bc01ad98c5cd309  resolve-cuts.csv
2a83a713808c112f2eb9c9a13eb3bae46b3589edce2f4e267442f9a48150bde8  run.mjs
12bb5a73aca62c6d0fda0549e69bd9464b88a2b04b1ed4dcc4bdac606168f68a  shared-dependencies.mjs
456dae8eeb2980de1d8bd8aaca253d3d74f557d29a21d9b4c0a2e24a57f6837f  source-clock.csv
ef297a96e402379262fc3cc195b571a0a9abf54cf12075adda387342cd9a2507  test_contract.mjs
4f392318a3f6ea0e819ee9e1d26e07d8e26b94b65143a10eeb46163b184952af  test_kit.py
f33a0b43475f75eb86a092b026de562f37322fd94bd37035bc7e890d78f9629b  test_preparation.mjs
fabfaf996dc958fb313edc910719479d0003fcd62230e78aea022924ca0da557  test_verify_gate.py
dd971aba4d746e42f320e524d2efacdf95b349c03b5af916dd8509eb82108634  typecheck.mjs
f30b1c6c07214a9347c4965e476826bd5660e4c53b448553b80021d4b13dba67  verification.json
0b01e050650433b68543fc52db82ebbd66a0b10a23667af1a5ca9872b851a7b2  verify.py
