7f762fead5e7ec9b6130239df86e2825760ab2ab8b4cce2d4407e67dbe06193b  README.md
1070d16b6d7c84c4700651baedf8cf31c0d8f80910fd95ac158b6f646209018e  certificate/CERT_it2312.npz
a31450e9a836edfdd0e6492bd35ea7cb2d8784d7aa2c890a564545cc55fcde45  checks/README.md
f843d9a721cd58723178a0578c204871463d438607000952f0f11e1b2397dc8f  checks/cleanroom/README.md
0d51b9178249b87ccfdb142ca73fb08c76710bfbf501a219ccb558fb0fd096f2  checks/cleanroom/cleanroom_eval.py
73a86a59c05fc83085ec3c902bacd89d5faedb876db26433c4dd17436fa2fcc1  checks/cleanroom/cleanroom_ref.py
d68af1ae955e82fed9e20ee7c806e08ed30dd69548faa4f8a15b954e8e6bd413  checks/cleanroom/results_L3.json
72f59e6a3626d8eef73b88aa4c5f8df6ec47e3e1c31b57e72ba48489e2c7a3be  checks/cleanroom/results_L4.json
0ac3a3558b25dbcf540a43ea1a0ebc40c7cec525dceff21ab329ef1f6862c871  checks/data/CERT_l3final.npz
43860844dd2844849da88b68d5783451b22d444c48be03b99eb150bda6110860  checks/logs/counts.log
33bc301c899165d2e881864afad95fa69c5cdadd073bee6e16e3dcc666fa3fd9  checks/logs/flint_semantics.log
3f473d24b32d5b235ad4258da54f39dd69168bc3894fa9c36177732b2911f7d6  checks/logs/lowered_omega.json
7376dbd2c1c30afe8991c946bd7aadb5700991861efe82e342fb1ba48d616496  checks/logs/lowered_omega.log
899ce2d2ca153f890b89e6296b425480cacd4401360c4e07a8ce1ec4db256b1c  checks/logs/mass_invariant.log
2607f55a200f073c9731a774b6af9b7c4fdc49730f7a608176c84f32c6a5ec39  checks/logs/mutations.log
4bdef61f14b0cecd73fb6dbef46e3d9ce55ceb968e44448d82a45316fb36106f  checks/logs/mutations_nonfinite.log
1e6b3213ceace45b35e4606bb8ca6b401249a74a766d0a98b7fc4e848cdb7110  checks/logs/mutations_shapes.log
b72f44b641e6c38e38417b28c3902ea0c25a67958316e33efb41b78492f64ac8  checks/logs/negative_minimum.log
0adc0f0336b1adc276bb796aced4f19d0abb820246dce348e4f227e44cad3a1d  checks/logs/structured_point.log
57b87a79bdb55d62c7f70791c1b79ad3ba95caec89ca433f414b971ce3ea73fd  checks/logs/support_face.log
e01fd5f0adf30107c854e2215d0da627d750c2b93cfab36f2d020df392646ab2  checks/matlab/README.md
1a52a8da1ca58063c6a6209f89315f8807997ae60e71091610b0afd3f38f4aa1  checks/matlab/candidates/candidates_A-deg301.csv
7f27db66aa59b9b7f03c025ff219839bdd55fff00e5bcf1b67f64cca995417dd  checks/matlab/candidates/candidates_A-deg302.csv
af6ebe0c66ae1a5e38a11a9fbb5597dc0a2927f9bfe3f694ccb400960fe817fa  checks/matlab/candidates/candidates_A-pub-adj.csv
dc499c1a1e60e63e50fdfadc7f7f74ee11b1440cfee9abdd5e3d28f204db7982  checks/matlab/candidates/candidates_A-pub-fresh.csv
d8757964b4cfa4e7ff8c2d47cbd5d72b9ee7439956d3ac6b92dbf46ee7ca7397  checks/matlab/candidates/candidates_A-pub-raw.csv
80fad7e818d257b0f279e86b86ccce80e77322bda8e1429db643ef4fc62ac75c  checks/matlab/candidates/candidates_A-rand101.csv
6f7fec53b1daa4c4c09962403dcb76905e9b4c63f404564e3b9d76c53691507f  checks/matlab/candidates/candidates_A-rand102.csv
94e1d17de3026a10f748ea84dac34346a8581c976728ec0920b433cc331a9756  checks/matlab/candidates/candidates_A-rand103.csv
247ba51392f2610de2451b16687d140b15762970997432e9629cdfdf70bb3862  checks/matlab/candidates/candidates_A-rand104.csv
294d41b1943d1c5d710f5585df029368edb4a4df2cb128b420c88bffc93704b7  checks/matlab/candidates/candidates_A-rand105.csv
5bebc68c991d0fff110ab271a6ed1e3f941e4dbe6931ca68da626be4ff5adddc  checks/matlab/candidates/candidates_A-rand106.csv
8de97f2543a5cfadb5e44aae52cfff80b93ecd847c541165bdda93e80714a20b  checks/matlab/level3_tables.md
2efb47a16dee5618503b23c2eb82b65ff4c3af614f6f5d29ca8fda3b2c5e8356  checks/matlab/scripts/cand_driver.m
292636cb40ffa943771f3db2e36fe034537f3532c459574020570af130cbb3b3  checks/matlab/scripts/collect.py
5860b7b5f6a9f4fb07d2d6a280dc6aeb2c9e17dabe2da4d0ac4fa948ff63a0c5  checks/matlab/scripts/compare.py
f4a11a53af3559ee05e5e5d3fc2ff0644d3e8fba277881a13de914c06a8edb2d  checks/matlab/scripts/launch_l3_fresh.sh
f99f0b8f4999a570265f5a7dc4b2de2ae6df240d38f01c7473dc212cc6e97f65  checks/matlab/scripts/launch_l3_point.sh
7f45ae952fbf0eb902afd6ce525355fd38f4fd59d492975ddfd361282c1b88a8  checks/matlab/scripts/launch_l3_pub.sh
d4b647864ab740b3541853570e79969d01f089cf91874b97a7e7d6a80fbe327a  checks/matlab/scripts/launch_l3_rand.sh
ab9d125450bf53fdaa2a5a30edb42d089c4ed1b0aad1ce7d663dce12ce7bb704  checks/matlab/scripts/make_adjusted.py
8317b3305c3f374dcdf21dbb2391dbe1477e380f6f052ec605cd3bdf8c5621a2  checks/matlab/scripts/make_points.py
21a541553a155d7da67281f959f7323bf4c325a1625ba912fa615bac15b59f50  checks/matlab/scripts/maxent.py
bbcb8a1569c1a0531272c4a0cf53ecdbc5ca97b001772b4f00ed25ad58a98b66  checks/matlab/scripts/mlenc.py
b82e2021131acc378a4f4cee284218e46ffda8b181a65563e115c8fca0e56a6e  checks/matlab/scripts/pycands.py
15c930c56e615b4bb89b1fa646dfd40aad0da4c171ef054474ad9515236915d2  checks/matlab/scripts/run_cfg.m
6191a5e8f53300850c55bafca24a6f4002d5cfe341d96b0716e7c97427901a2c  checks/matlab/scripts/tables.py
18411bae21b47a34b8d77e4b761a6d1506c63e7e06b5b27572d7df7c06e2fe79  checks/tests/_paths.py
c5594979cb57d035856e8089f7d2d8a8de6b186b9b4a913da0ee04802e5dffa8  checks/tests/counts.py
e33f14c37dff062506bb146dee23e6dc3eb08fc8573caf478bf68744db8221aa  checks/tests/flint_semantics.py
bef8d8719798461b117fa609b00f2da9a9b18a06d5fc986fe196a968b812c0c0  checks/tests/lowered_omega.py
c497b120925dc7f1402b1291a953ba2ec8b4377f264f41e8362333d4b2302b9e  checks/tests/mass_invariant.py
6625f56a25f72ebc93a31216eced02f2f0fa8bef904dc73bab4780240d195b78  checks/tests/mutations.py
e43f70e812a0f2af28638275d365bf5efff33e18baaef901edf69c046e28b4f8  checks/tests/mutations_nonfinite.py
88d0b52caf02703928ae11521d827b01da87521d80b94b5971e76c1d44fc4e3c  checks/tests/mutations_shapes.py
1369a96ec1286f589e36a0d6fba5b217a48241d806d6eae092814e9b78fd1c7c  checks/tests/negative_minimum.py
7ad3fd11f85369a077bbeb253077dfcdefd9b61261046b4947356d78d54b4c7f  checks/tests/run_all.sh
20e6309f26b648d0363bf03422fc2567af08ca957c40ee2b20b24dac13426c26  checks/tests/structured_point.py
7ef5e938abe9482600131cd7ea50bbe822fbd491a1da25045875529d9a46b7f4  checks/tests/support_face.py
b1974966fc853af01c60d6dcca56a5d283e80d0ac6e080345781184a1644e3a2  expected_output/README.md
a6652b183d1f657f616e34ed5cd5702e6fd9207389b03d83d64e05b71488490b  expected_output/verifier_A.json
1db41b9240c994f58a2e5452f3299e9533907e01f04e6c0d242caf4a878aa4a4  expected_output/verifier_A.log
328858793a943e4c39f4147088d646cb43a13016d37d12984a85eae861af8fd0  expected_output/verifier_B.log
b703383b0acde95fd0e88af655c89f48f8fef5c43636e532010a81a68c490f6c  expected_output/verify_sh.log
442c56ab9b81b7d40dc570897424158352ebc168227085a28adbefd12d0bfebb  verifier_A/README.md
f95c860aa3fe26546ec353ce7eed4c434b3bdd75e9518d94c573fc34d8a57e5b  verifier_A/tests/test_vi.py
944e9ba46f03ee516f2749dcf15ea8c7586c16c672124823f590040cbde393d4  verifier_A/verify.py
2cf2e2dd8bc46863fbd8a7442a7c3a4523c117dd5275d835dc8a819f24c8fb5e  verifier_A/vi/comb.py
b61fe7a3fb73305848c874430391a7311140637a365a7c03e0d378917f04fd44  verifier_A/vi/evaluate.py
ec1e9ae3e2465af7c7a048a8107f3a954019581ea3ec671e7290514c46a71215  verifier_A/vi/hmax.py
cb4a3f23135d56fa8a7fa85577565a4df437879a9d95b9a54f74a72cf1733714  verifier_A/vi/rig.py
cdfa359b61dba36d9b69606de1f2144637dcc6b39c1f3bd21f889695445d3601  verifier_B/README.md
43f27bac65f5249feca622e0fc9e850b96450b594c07a1dd5b302650c3c662b4  verifier_B/advw/__init__.py
e891c7372ff2c9702d1a78f259206ebf36e4fbfbfc827f3ce7175a86e86f99c6  verifier_B/advw/_rig.c
70c9955384508d77dcedadfd4ef3613be7487e46532316a7b3b8174a8caaaeb8  verifier_B/advw/certify.py
31328faf6ad2de85ce5ea18904fa42218f13dfa86a9aca3d795e965b2bb76076  verifier_B/advw/evaluate.py
42cf388c0140ca5592ff4b2c7a98c96c5cb6f30a7fd88591e2cc44d12ba40a0e  verifier_B/advw/hmax.py
4c1ae0bbcee2ba5835554f490abd0dc4bf78616826b9d1002355153e0cad514b  verifier_B/advw/layout.py
535416ce9161e41ea85db079f6b98bf4887216cc863ec6124931bc76b4d9c9bc  verifier_B/advw/matdecode.py
95ec594758b6dbc8125d3194b7b2e7b4f9a2f4506844b6e3734d99a6b0c98cd2  verifier_B/advw/tree.py
dd8343d47fe8ff698603960cd17f1168b6c7893be472a1b6f56c28d1178c1e32  verifier_B/certify.py
bbad1ab56c3e327154e4f7ca33bb910533894c54dcea35fcdd6d1f35d9544cdb  verifier_B/tests/test_certify.py
478bfa359d7ff97f11f2b6549524dc4d9505eedafeb69a3100181417d3f69349  verifier_B/verify_certificate.py
eac370736d46fc9ded94fe3bda485b68f1e8c5e7d67bfbea2d31179968274dc7  verify.sh
