cc25eb911248739af2b9191e4d40ae6ec3506134ba616baae1869d4b5e3a1a38  ORIGINALS.json
ad892f7b78acb5cd6f059d3a407d6408201a4aceea7eeab4fd7548fc41654c8b  README.md
86aeb1b0c15ae24ae66d554db2faa444379de2bdd7606e0d091860bc34ca12e8  assumptions.v
c525b4844a561919558367e2f823669b99b4ca357002393faa80f75d987e2fbd  licenses/lex/LICENSE
bca88c3c3c774d1af4f13eb6948cc443761867a6627db9de54e2726ac3db461a  licenses/op/LICENSE
43e3e06cfe94cc1654f2e9308e4ceb3167d38130d339ee2ad3f8cbb877ad30ae  planning/README.md
ec0caf8f5914e19e0edbbe7c4286db327d0b134a359528b41ba4e3a5fd7e919b  planning/SHA256SUMS
8c1cc21d42054b0abbf0ab3a08e01aa8666bef8468429f4b005da43c5812aeb2  planning/benchmark.py
847ad71d99ea47db149ed784d20caff54be8711f60b735fc3e1ac33ac762a41c  planning/benchmark_report.txt
1d890120ebcccec76d94657d48fd1ab6ac37b4f1bcb009333fda4b8660332b2c  planning/benchmark_results.csv
c28e954e05a995c255f5f52bd77acea74cab9d75eaf2f60a7568fa057bccd457  planning/benchmark_results.json
e98464449b0ea531e17968c1a11c652aa6186fdad6a88f0feef3ba2ab25d6319  planning/fixtures.py
52cf75e2d3c0fb4ec255ff85907f207f903f6146cdfba283ba8e246c859f2992  planning/planning.py
d21ed95da0e3a9c737fcee4d09a01a98f0b3c0c4619e4f192701104385bdb76a  planning/test_planning.py
030a544bbf2606a47961a46f11d7bd777b9b1d8811fe80b9baed38e50a9d5be6  planning/verification_results.json
4c5f2b1eaa883a8b74d3362d95101e0d6523df958cb2a69827244a307b722048  proofs/CorridorMonotone.v
e28ca41220bcafc9e20f5697a896c17031623b9cc56b0ebf3ee6b157e7b9e817  proofs/Lex/TensorAlignment.v
af2e3d105c5c655cf71ae1a2d8377e5c4c6bd93150131088a1c1e804132f4443  proofs/Lex/VerdictHeyting.v
d49208302a4a00c11881753dfc0779063ea94e11760c9b2237eea2cfb67a94bf  reproduce.py
