4bc6d94754a09dbe2b0766db6fad03d32e5017c44d5180f823749c74aa70460a  bin/paper1_three_conics_full_verifier.exe
dfd45739fe89bf6544a8c2bffd2780a29df74d3440fd9e07f5f637cad52aff1d  certificates/case_m03_t02_p5.json
f4cd36fd72ad8b460e26123ba5673c1ceb2e94bdc238402256272371d712dd1d  certificates/case_m04_t03_p5.json
046538934a937799c09df7187e63f991d5943b561e8060f50a9c3579c85f5094  certificates/case_m05_t03_p5.json
c38ca457a7c82a5790a3ae4bcaae64c88c18cf9455b256320a07e11e5c205b3a  certificates/case_m06_t04_p5.json
8b0e328852941f17062c05cd4bfd8f8ed111ba6e0371835c7f42bd38f2220ef4  certificates/case_m07_t04_p5.json
be706cbc34a51b861d90541b9c51a20c4cf8180afa2f8a9ffe725f6df7e96b6d  certificates/case_m08_t05_p5.json
60bc6558940abca9c54b571413a2af5b767dbc1126a1c54b40e61a2a4a65b03b  certificates/case_m09_t05_p5.json
8a04761ad467abfd5e804f2711b87c4aa6559269018ea9b2015690f16897e066  certificates/case_m10_t06_p5.json
d97ffa4058b34915a1e775a6e660f0909cc07a18a90a947a577d5e632aee14d4  certificates/case_m11_t06_p5.json
ee1463a670abac2999f6b6a886ff9eeb88cba409201c89b7156d160650230791  certificates/case_m12_t07_p5.json
fb23eedde25af2a9e50f498bacd2908eebfea10a5a4c15ef95280916db51f19e  certificates/case_m13_t07_p5.json
3d22b85063fdced28f2096f74e3349372264fece2164d190ea2146d0d048f03c  certificates/case_m14_t08_p5.json
e3224b7eb4923cbb5d6141d655fe8626ffa69a0dfcc16fc86dc432e7978f6ca2  certificates/case_m15_t08_p5.json
b2409a7553c8e93f4a871004bfcceee905defa13fc4b76535f7ec0b130c06e78  certificates/case_m16_t09_p5.json
e778272f91bc0b417aab92f5f888417529119a440531aa7fa09fc4266e61cd7d  certificates/case_m17_t09_p5.json
a152f777d9bc4730b54ff13b896ec19a0dfe8a59b7174bfad305ef103c13df9a  certificates/case_m18_t10_p5.json
f9b17f04ab80bbb04f07af3f3d84d2c432207faf18e1ca03b3502a4f21699973  certificates/case_m19_t10_p5.json
e900f66c928eb512c14065c5bc05cf2c554e4947feee6e373ad8701ca3a7f140  certificates/case_m21_t11_p5.json
bc81557d9abec03170d0ec1695d05bec8fca004deb2a5beb1dc748d5b9f9c7df  certificates/crosscheck_old_m07_t05_p5.json
068cdfe8496bcf5f82ac0ecf23ffa68dd2add6e0580e7fb071440897763cdd7a  logs/case_m03_t02_p5.log
0161ed5f3c842a3908e43cb6619c918a4fb0730d47eba4461768c7442727938c  logs/case_m04_t03_p5.log
65898f029c4964db909e141cd08af9a119ec08313dd0eb76bc6b44f7f3dd2d16  logs/case_m05_t03_p5.log
9dc61584e3ebbde6de77145ddad774e091fc8717a8b52ff77e8c71769c7e4c5e  logs/case_m06_t04_p5.log
a9b57d3d047a1aa5bd595e6fd4d3a7718b23187bc63dff87b572185653c5d876  logs/case_m07_t04_p5.log
8c24f93a8f1f0bdc37150b9494d36bebf61183ab8d0a50940c1663d2d01298cb  logs/case_m08_t05_p5.log
06bdf184f6249c7c14d517ea331b21d452c5ae873bc64c9b724639a104472206  logs/case_m09_t05_p5.log
cbb9fd2c7e289f4bab7a0f9e3c904f749763135a0da62537ff4efad0183612a8  logs/case_m10_t06_p5.log
4c6f93c9cd9156754d58b5679930f6eb7e15c1a34edbc7fc7fca57383628b295  logs/case_m11_t06_p5.log
ed03c333277e2696687722610242b6416aaca8fecb221d0daedcd6ccca61e6a5  logs/case_m12_t07_p5.log
8c9c96f0ccdb4a61ad6fd89c4bee58c3d777f7963e08cd4564132747a3cd4239  logs/case_m13_t07_p5.log
dca2241502aff12eb007f5e449d7038d2f765eb439449a998dedec14bce05170  logs/case_m14_t08_p5.log
87c9405af8441e80c97ec31e5049714a3fb84a2b37d770b73f0350c08eb8acb7  logs/case_m15_t08_p5.log
073c669cd392189d1c41ebbc29f0009153466508682285c0cbd9f4fafbec0623  logs/case_m16_t09_p5.log
29f1a9e3f0a819c925f9cfd834ae34595ab5dd2f01be37b26cd6c3eac60c1352  logs/case_m17_t09_p5.log
1441bafc6439d5902f7dd605b58180c7bb113bfba311d8f4c2f509fab7b51ce6  logs/case_m18_t10_p5.log
c795efd6797cdeaa3dfba35eb7b990d1ab31f9d230045a64156065d4c326b044  logs/case_m19_t10_p5.log
d9fe2d5a74ce83672911b4fbc1e67178580e26e1c685818646bc1904845b489c  logs/case_m21_t11_p5.log
946750ae1b9687eddb69141581a7c20ab61613773f1b1d623bfc5541a223dbfb  logs/crosscheck_old_m07_t05_p5.log
eff55b6111ae79cc1116e9db34388d24723e6592dc1830db1df5366026e32294  logs/SELF_TEST.log
7b812f05d16fd5924b51ee0765fdafc2dc2ebc390759fe6e0e0883a55be02a60  README.md
5f8ea66222a7e6b87f8329d64cc6dd15748cf7edd535e510957b76778ce720c8  reports/CASE_SUMMARY.tsv
da6d99e6f54d1e0cb0d30afcc1de8619d574c2204b09c5c6b6a1db358e775c2f  reports/COMPUTATION_REPORT.md
9072e2c4b55590005f3b94bfdcfeed32c904e5084e3dbb4de53cec7ab163fe96  source/paper1_three_conics_full_verifier.cpp
