41850703a57f90c81296e08388e5f2611df7adc37cfb465fe7fbcd529a382ba1  Paper.pdf
e68c8cf0612f861ed18118513a050f253c21570e76d1d1865a13a86563b438a9  main.tex
ff6da8befa6017e72e9dc0377a974f2aac769a04d956daf757c54fa293f6ad73  build.py
31a0edb47e8a83279be5a04d81038cb88cfbed7d61218b83a80ea0fd19fd00c6  CITATION.bib
ccae70eb282d53bbb250d915cb01f60a0838eab7f2043c8ac4fd652e08d1d325  README.txt
1271ff47d9c808e9054029d78c4bf6a9fd6286c64084ad49b99a40ad03836503  verify_A3_structure.py
3b681ef090c61013ba0e458f20ad3b94f3c69143844ceb9d00429ef7ec6de324  verify_rank_three.py
35da39add3808d2b0e6a8d1e3b2ffee77026c74d230a729a8d63394ca4b7294f  verify_counterexample.py
56886b1797a9020962100b9024d878d2cc70c0803b525d6fbeaab3fe93ca423c  verify_rounding.py
