d746496a76fcbe9dc9f4a548c51bf422ba654463da6a75cb1bce27d00dc7cbca  COMMENT.md
e95bad15145e91e26d43e3d3cb113109f73011098a881113d381331d2ffa0bf1  LICENSE.txt
b51c13313e6cc7b3a4312f164e6398ea555e45a1e5219523d16ca70c1526c623  PROOF.md
870585fb41e6799ab65bf2cd1e3812260fded4d6214fa99f680083636cc749f5  README.md
3fcc61208151e744bd1d24e5de312d309b076252ccd785056e6a62dfc92833b3  automaton_validation.json
de00faa7ef18bd0fbe1e2ef1833fa3dfa30676239619599810e2d387ccbcf515  cyclic_occupation.py
e1747084ab08245a304780e9e25ac12eb19e8e642b021aeb90886b3aa6ff3fb6  exact_dp_output.json
7fa8d31099fc0e32cd5769cca7f9fdf4fba50a52c9fd5dbd888001353a911883  search_metadata.json
174620dca96aaac5926bf17e438a6fcc12a80c72ee04d50cd111c3cd1ed19135  verification.json
f486fd9fc7d5bbb7122b7c49ad48de42a8997e3a0e664e459f308f1f5caec0c2  verify_window_prices.py
96757e8a309fcf5235234766aec047c1de04161f5bd8ad07816e4d23f89bcf91  window_price_search.py
99d7ef26e88fe9335325d6f72838946ae295f5d386d56064baee085b8fcd685e  witness.json
