efa3b1a7c809bc244799048bd0cf25e9ac56e09d4f90c133ef5095b0458fbcc3  PROOF.md
0bc07a23182546b6232db0a8511ee917b3c06aa1b08a0492169ac2fbe540b66b  README.md
65c6fde86759afc11b68f18af0f89472e147e5025c885c0716ee723699e1d7b8  RESEARCH_LOG.md
65b52955d07db8b138b18f81150313e561d0b01b21298f60a7af5ec9f36e0a4e  RESULT.json
e8436829db5a22f400d1b63fa09eb1d2aa5d56e1aec9a9b61721d440a8dc0772  SOURCES.md
997da298e6aa23dc8b47408927b67270e7f0b9d63d2a560210f647f68098442f  formula_results.json
409f5e350e34e365d33d5ce00d839108474866b27bb4746a43032863530b8741  intersection_results.json
b54c49f3a259d00abf0985ac40f751506ef7029f9fb17039b3e1f63f454e4e2a  verify_formulas.py
e89d390dd2c74f653c7fbbad86334f44753ee7bd161deac639eda2c7dec8b955  verify_intersections.py
