fefc3ad35c98e327cdabdf01b147393f561ba7d149f84c61c60f0e9304d11d9f  Paper.pdf
80002fed721de4bfca0d55ac7d54804558cedd91a6925dfb60160095e5aa5154  main.tex
4b688918ec172321285346de678847e24196b4d9fc7abaacde974016ab8a4887  verify_A3_structure.py
3b681ef090c61013ba0e458f20ad3b94f3c69143844ceb9d00429ef7ec6de324  verify_rank_three.py
35da39add3808d2b0e6a8d1e3b2ffee77026c74d230a729a8d63394ca4b7294f  verify_counterexample.py
56886b1797a9020962100b9024d878d2cc70c0803b525d6fbeaab3fe93ca423c  verify_rounding.py
ec492dbe354685875f2c487df7ecea13b987cf8cb92af0020a435072596d825b  build.py
080ce3c76c6b463b846e6c7585b4becf432f32d62b78a693a6bf21426b10582d  README.txt
2893706807c42bb76c4ce7d914e716e8a98f3896405dd586611f74c8bdf08af6  CITATION.bib
