1d064d4d54367599bd731b4f680437358e69341bf8ef5f9adfc9d4b8acaa58a9  array_shrink_threshold.py
05848f367b36a5ad2b2eaf92cd4d6fad720456f689afd39261a1b68af5ad986a  array_shrink_threshold.observed.stdout.txt
95368804720bcdecdb6c12a16e39da130a080b2d6c06e964929c72018a46c76d  amortized-proof.py
b17c5955c6b4f61046484771d502bf5bb5d8b1b97ba641c1f8c02d87b892f154  amortized-proof.observed.stdout.txt
11af422a66496c03345bcc2220fbcb34fd44834dff447136058a1304584311a6  README.md
e6bada2d800f683a9f5153db757a09549be635c1d45e1f0cc1b9a8e22d35f3d8  verification.json
