b990793cac3a4a2c7bc4aa00b643c5eb71eba6f4883ef0aeb7cfbeb16194cbd2  Paper.pdf
99fe21e52cd859e2135bd2282658bc921024cb0384a33a9ba03e3c35018f2b5d  main.tex
35da39add3808d2b0e6a8d1e3b2ffee77026c74d230a729a8d63394ca4b7294f  verify_counterexample.py
7a3fcd149eeb9d6694701f86ab403f11af95ac877d7216c142974fb6e0d9ac34  verify_rounding.py
cd2c4b5478d2b4c31c7d3173ca7447eb0f9db0f8389ee95d0b7521a6297954ea  verify_A3_structure.py
2b49bbebb0b47defc50017013f4b240a17232b53bbb13298293093115fc8b802  verify_rank_three.py
b7a03139d193e524a1cd90399aa955193ad153fc41c6c8f50e975766ee15577a  README.txt
c102c69a2e6b45ccd8120255507bb0f7cd997c72f3d9436079a534099802b3e9  CITATION.bib
