f2947bf46ed4bfa116b14e4e621f9fdab9dd0bf2090847ff735925bf6c348d02  README.md
101c7dcacf87206b73d674f620630b4a6f0ddb75420c4d0e1c25ba47de8e2e05  REPORT_RU.md
05263041e3df150031ca29e951fb6dd8468c6af8166d738147bfe3b0dde7c755  compute/README.md
24642fdf0c921c9d6908f197baf90abef7f9cbd62964179851c2455901b7cf4c  compute/anneal.py
3101687e9f5532ea7a1e7192b2e8c4f3c1a29a631db048076e6e0988d0bb358d  compute/anneal_M128_N48.json
b0592a85cc9fc7907322fcc6198fa16ce2cbeb7f65e71d644b5520655e84f2a3  compute/anneal_M128_N48.log
3a18b83ae7cb45d88ced6a9885469117a234269bdbbf56bad132cdbd402574e3  compute/anneal_M48_N28.json
95ca1ebbeeb813a6ca0bcf01ecd198e946e325fccd56ea6f6c92172f2bdef3df  compute/anneal_M48_N28.log
9d42c2928cf84bb94cdbb76e59c8f472189eabd32dba283cab0df049ccf0207a  compute/anneal_M64_N24.json
5221eac2bb8b1683b1a99569fe370f76a093ce750c97cb2a2cc1715845f02fd9  compute/anneal_M64_N24.log
32e5243ab85dc47c31d82b4adc19f74d49237f2d8ec95940775d1f5bc8b101de  compute/anneal_M96_N36.json
0c0fb551322bf8bee75fcbc5ebff453964374228a853cbb57cc7529412ee60f8  compute/anneal_M96_N36.log
4ad82e8484c68b2cf90596980b1bf55f4d494e258e01c89e93f11a3e3235c0a7  compute/certificate_N11.json
fcc9bd052865949af1f2fc19f411a9e5c85cdd7d37386db1047de7e4d3d42242  compute/certificate_N16.json
3dc3ad607d7e5dcc2a12c1b4ae897331f89bdccdd3e13e59f409677326b5bdd6  compute/certificate_N6.json
48c9cac5b59b7658486b613eee91485765f35c4d135f075b6dc93cfd8310894a  compute/certify.py
8ff254339222e3033d7995ee93d9f0500ab3dddd018459a455202e61a7b61e22  compute/exact_finite_M22.log
c066f7f1c3911c0af3a3778544582e5bc3f4e10cf788c8aed4c6f58e96bded38  compute/exact_finite_M22_certificate.json
2eb94d7df8a6d60f1b0e5ada4faa1f85793944cab56215083b077e94fad8d2f5  compute/exact_grid.py
53ad4672da4c0c04950942b6e268dc904c77c88bd47a7e5e13d20fa1cd88e081  compute/exhaustive_M16.json
97fedbe637c9d882fbfc8c5a18a34b74f3760148d70f2240619b6ddc097d5d01  compute/exhaustive_M22.json
6a66b2817f0861dabe855a626e7a1237de5e1bcd05664b616d3d54fa9fa56e7e  compute/exhaustive_M22.log
8e1a8e43dfcfe24a3f8fff925d1d63a0d65cd2343dca74c794754ffa8fd7d8ba  compute/exhaustive_M24.json
78d99e08c6c002ba4eba2d9c4760f4cb1aa243a95dd1a6736f3294cf5e434307  compute/exhaustive_M24.log
2bda19b9c5e491474102275dd35266273f7a03fafca9da29b5d702b702a4d426  compute/search.py
a8b7df5862389eb7d3760e4b88500589c1ede0ec7d291eac281e6d5d63a2c481  counterexample/FINITE_AUDIT.md
5c2242c69d19779dc95b964a818881407d5aa242ec88e232f33d1c05e65937ca  counterexample/NOTES.md
923bdceaa0f74418dda73610a642989911f7e72a86c87be21aba29bcfe5d1a67  counterexample/hypercube_shell_results.json
3d909ea0ec0596385771459db7befc18871ea8f253cfe382941d06ae23a454f7  counterexample/hypercube_shells.py
462a0e65576d60e63c4c28392f15e1163d7e6e9f0bd3cba9c7c918fe154d57d7  counterexample/redteam_finite_check.json
567eed9ed3eee613eebdbb1c79c143d69044c8d7d7a86265e1639668d5a57fc1  counterexample/redteam_finite_check.py
2148d656628e3bd7d3859d0dfd40409681bc295181688bbe6a75d90e591a62ed  independent_bernstein_certificates.json
da4d72aef379a4fa69f8a8ae96f02d44596933d6ac27411076ad5ad160978a05  lower/lower_bound_audit.md
2f2acd7d3d8ee379e02d1267a28b85c0b49053bf61e0bae4112bbc235a8aeb85  lower/product_audit.md
c88c1c4008ef0970424c633c9f0474b9c88266309fa130fe36e7b5240d1416b0  requirements.txt
ccfc238e1bfb110a6d4bafa461eeb4cdb6e55c153d18ea5006500cf97d3e227e  run_verification.py
c3b7dfbe76c0055bfbefbe7aed49976aab4dc8868eada71ee66f10914ec8f49c  verification_receipt.json
536e37bee31097292bbea0bab3cf331e287f76da9084aa0df974d6d9a2e4d769  verify_bernstein.py
