c984342c555c45510950c763b1059e0e7c90534b9271248b4902e199f0372959  CITATION.cff
ccf9e7ec5c5b299b886c267fdb26f748f175c1e95bb0d8d5e9ddd29b3a098c22  LICENSES.md
2a9725ff973e701ceee1b74d9fab8370a3222f97b499bb5ed2bbbd90b6b7703a  README.md
47ae6872d07fe0c304e9039c523d3b02c2181fd069f285a77cb2bf2705e2fe20  build_package.py
3a9e3cd1e012480afcb30438e5e292a6ff03c045f63b7f06dbc22654351a4482  manuscript/paper.tex
0dc15e4fa038dcb80cbfd062ac7636f2c790e42885c940626ea726626b62fd8a  output/pdf/paper.pdf
d7b745420660d0d6ccf46e02f08f948a1e6e39c639cfe5d9571f5a59f3e76d34  research/DATABASE_RECHECK.md
7d2fdbc670ce348cef6888134c3db102e667c7dfbeba3025a50fe3280bfeeb0b  research/DELIVERY_CHECKS.md
b159a9381fe46e985587eac03d6af7a6a813eab57c95609e4b6adc5677f963e4  research/PREPRINT_READINESS.md
2375f122b4f4f5f989c8edba1fd06eedd64b4700ea15a0e12666295cbdcf2c7d  research/PRIORITY_STATUS.md
be02a42af5e7f984df98b1b2dd0f436a62fa4d70ab5e0f84aef72b23982f3f4d  research/RESEARCH_LOG.md
5ee9e6be1dfaed2015ec18a277daa3c8fcfbf51203e8b584a628b07e66eced20  research/SOURCE_AUDIT.md
21f0b53441606774c9b4ce1801e58335e982805495549750782291e28cc02b21  research/VERIFICATION_REPORT.md
4a042a2e860de4e53ed409a9a73cdee5bc39b46362c2b32a3c0d213d843e9459  research/priority_evidence/citation_inventory.csv
3eb11218bac201186a567e5c3305cea9c9165a4d37accdaa09782e95ac46d947  research/priority_evidence/fulltext_manifest.json
8ff89f114477d5aab71816a8d38afa1d509a7d9cc8fbfa4fe7d320570e195e20  research/priority_evidence/supplied_papers.json
cd3a6a2bbdde66d81f6df9e62200ea1954fcc5fc458c85f7fd1a413f29042e10  research/sources.json
1907d12ba316ca907e0f0550db847ef28e6e71079c366ca9fcc794b8c4bcc44b  reviews/computation_review.md
cc66d3715b91ec1f0ad33ff4dd302de202a5ac4502566ebb3caa2715e0a825a3  reviews/final_manuscript_audit.md
6e56ee020322650aacf587ea2845736f0aea16c488ade1645f74bccfe3425f61  reviews/package_audit.md
7c4024331fbf04061c23ed8af30cdbc9866a8810e14cce3753ed4a61eab28d6e  reviews/preprint_adversarial_round1.md
69b094ea6d3c804f0f633d7d47ffda78a98debe7e33472fb343c611aaff54b88  reviews/preprint_adversarial_round2.md
23461e0cb9875626939e45a26844c23bdb63932a5be7c5df9f2c48a2892d6452  reviews/priority_audit.md
2537ad5362ddcd0f8d39b89da3073afab20907558635dff123195d0003acafda  reviews/priority_followup.md
431885729a033a7c8de6d51b865ceae5dbba40cfbaf625d4c2eaeda3542d4a45  reviews/priority_followup_citations.md
d41d6ae9e9c6f2215cba32488555d8940850ed8e4d601fced01b192b5b4059a8  reviews/priority_followup_indexes.md
bae781d0d967dc387b354af905268cc7897ccd0a420a2b9c38cf6d4b61db9164  reviews/priority_followup_japanese.md
759be0e23af30da7ccfa6e05b5aaa8a40ea1b75d02f0f17ed8ca7aa0fbc1f872  reviews/priority_followup_older_sources.md
57a16197f3d67231510558bce4ae6380e642eb68111d77401d2e52a4ec94b2c8  reviews/priority_supplied_kurose2024.md
22a06f12d7ec08486d5905194a792f00f2e608d5a882f01a0e64a699491c0adc  reviews/priority_supplied_matsuzoe1999.md
929e79470e37732d4ecca80ea1733eca7f3a722e0b4b6320c85624d531be3482  reviews/priority_supplied_matsuzoe2010.md
81efcb937fa1d62e580647e05339ffff2ca19c8ec0b84ec622ecef8d66a45c6b  reviews/priority_supplied_papers.md
d0ede06b2be941de0887325e05562aedb80c883398b13ff798d852f8cf68b540  reviews/proof_audit.md
e6843399c856e56d639d4681c2f170e7b3327087af745ef10261fdede2abdf2f  site/index.html
f35e8147815c54ac805a7a10677f4c7627b487c4b42d001b1e2941e61f38ca5d  site/style.css
fd79621a0688a8fcc700cf56f63bcb53f773a0bab41f31709d452ad1cfc7debe  verification/exact_output.txt
25f9f1fb1988b230147a1d3092d34e09c069eb7a6c6d6df46b3973b9f2d36efc  verification/requirements.txt
a2600e983dcae371af08c5176d5cf793670fc3a92fb03a44ab108692178feb79  verification/symbolic_output.txt
0e3faf4cd457e47dff4084d7d5de39b82507059fa5b61a426c6d59901699094f  verification/verify_exact.py
d36599269e08e14130af43dbc989867c87309ede1d7c2cb3a6d8dac57686d8d7  verification/verify_symbolic.py
207890da71b4a5474e1417b2a2f5bff6e021185eac821ca137e8adb878dd42f2  zenodo/UPLOAD.md
8f9a890feb5ab00503dba582857075dbc424e233ea86d88a7218624a754d66b8  zenodo/metadata-for-api.json
99b9fa8dd1fa19fe6655efdcf9e27beb8050dd78d8076ffc2c03ea54bfc5da35  zenodo/metadata.json
