9186ad50a10c53aafd92d5856a7e347a27625f55ea30c20bace0fa4f4edca311  README.txt
0cea3c3d2d820f60b6e07e6fdcc89a4360671d81ebf83f8cb6c9908b9a02826d  algebra.py
05773b2da24df4ab620669b570dc5e217768272492db5be3a2df17943bd1fedd  data/continuum-certificate.json
101c51fc85a15a0aba099efdb923eff9824ae7e855217534dbea859bf3910008  data/independent-integral-coefficients.json
19981513ba0dcd680cdc7236c1135b4dee114255595b618fba7148a4391e5b2c  data/independent-verification.json
f97a90881b96036e09b7382e895d954c233c51198195a8b46ea7c674aa5ce2ee  data/integral-coefficients.json
c7364f2786b11d14869c240e4466278c1f8bb6eefc62c87f4c37817a55c7b8d4  data/lyapunov-certificate.json
8ae51af5ed52ef69c11ec765245ebdf226fd1fb36510b0d0375c788915d29913  data/operator.json
2fe1b5e42dd170a64fd26ca8468c6b3773020b92a8ef73db3504b315bbaf5e53  data/phase-certificate.json
2d1952b82e86368224af3ec100fbaa940f2d343a5c0fa90e96e23dc9f400f612  data/premise-certificate.json
4825f4d00f0f27ed9cab086712ea381e3b3c34ce17c364b9b01805cd0b340412  data/root-certificate.json
62b3bc7fd5af9fa60746a34e26a8e2fc627dc422de1f1d942fc8957ea07a7f33  data/state.json
78b8342d403ad1290def2d17e6afb13f8b615aa6a58a81ad5e7b5313740d2547  exact.py
986b30d07c5dd719d6578a95af72961abd869d05b60b65dfaee23cdb1198091b  intervals.py
8940046ecd6b7243f13199fe67f43e43c01586ff440cfb187c946abc20462104  matrix_audit.py
5c5de15e43f13728971c3f55c9ff2ab57245734cebc1f10cd9c9a219f6410e47  verify_continuum.py
d412587c6e2fec375057efb1d07ce9112e7a1fc1f0e148acd4d6b4ea46ab3730  verify_longwave.py
25703601ea5c9689c05174c2e333c93c93473eea9cad5504b745846ba1d54381  verify_state.py
