de76fbcac4b156824651861838c787456ce511898ed7288c0daf58583d6e73c3  CITATION.bib
4e05e17c4bc0d1749610eacf9d31f5e06f82e2174f2d678f6043f9a8f5437a44  main.tex
657d7e013d76ea4e892c6fda842a7fd4ec1befd12b024bee15db773ab244c28e  Paper.pdf
82af66e12ab678c1b56e7219e3a8a370150e908b5c8d7771c53c9834282ef2fd  README.txt
4b688918ec172321285346de678847e24196b4d9fc7abaacde974016ab8a4887  verify_A3_structure.py
35da39add3808d2b0e6a8d1e3b2ffee77026c74d230a729a8d63394ca4b7294f  verify_counterexample.py
3b681ef090c61013ba0e458f20ad3b94f3c69143844ceb9d00429ef7ec6de324  verify_rank_three.py
56886b1797a9020962100b9024d878d2cc70c0803b525d6fbeaab3fe93ca423c  verify_rounding.py
