4fb413e8f89262b32a7b68559843f99d1d0eb309a2eaaa85c247414ec904e48d  Paper.pdf
900276ff7b61988337dde5ec21cd1d5ebead7c9d30aee74a4e2c59b6bf4c1520  main.tex
35da39add3808d2b0e6a8d1e3b2ffee77026c74d230a729a8d63394ca4b7294f  verify_counterexample.py
56886b1797a9020962100b9024d878d2cc70c0803b525d6fbeaab3fe93ca423c  verify_rounding.py
4b688918ec172321285346de678847e24196b4d9fc7abaacde974016ab8a4887  verify_A3_structure.py
3b681ef090c61013ba0e458f20ad3b94f3c69143844ceb9d00429ef7ec6de324  verify_rank_three.py
82af66e12ab678c1b56e7219e3a8a370150e908b5c8d7771c53c9834282ef2fd  README.txt
c102c69a2e6b45ccd8120255507bb0f7cd997c72f3d9436079a534099802b3e9  CITATION.bib
