3aa62454e683cd7f06bb09c108ccc340c6bf0b949ea2bef270626a91aae8570a  files/LICENSE.txt
b6beb1291855d385e6f959b026213c3e9f115f3fbdffc868c467d1011daa8f46  files/README.md
cc516c7a40b78121d07dccf7aec258920c499efe7bbf4937754f0e272420e509  files/frozen_readers/Paper_I_Lean_Guide_Final.pdf
f3a84216d2fb02169d026cbfafb62a623a87b95e88c7cad35c85160a41739bca  files/frozen_readers/Paper_V_Visual_Guide_Final.pdf
9f557736a27163e361170fcc969c3add4b9c01730c325305e4d987d076e45946  files/output/Realization_Calculus.pdf
cf0fc2875b5e18cdd37835c5a940afa1c2299b0b2ae704e35dcce72ec7eaee88  files/publication_notices/per_paper/I/LICENSE.md
ff7c5810809485a586c902f65e7f274ec47792a1279e4605a07652a2e9008398  files/publication_notices/per_paper/II/LICENSE.md
c6596eb7be8581c18be736c846fb9173b69eccf6ef94c5135893ec56bd92ba08  files/publication_notices/per_paper/II/LICENSES/LICENSE.AINTLIB.txt
85a51ca73526f64354dd7c6e97a0f513fbed392a31280061b5d6042170914320  files/publication_notices/per_paper/II/LICENSES/LICENSE_TEXT_PROVENANCE.json
2c2e9897d65b656aa6957631f1c389245d4e83718379975dae9a268afd28f445  files/publication_notices/per_paper/II/papers/LICENSE.txt
abf951fb085eceb6dc21cde74023349dd25e757573e31c3db73a022b85fb421d  files/publication_notices/per_paper/III/LICENSE.md
23575e1e0dfd08cea2b0efbcba39151c035a175d9e2bd838ee9a6cea02a67fc2  files/publication_notices/per_paper/IV/LICENSE.md
3a8c3bd4d41c951829ce963aaf1dee433f3e7b090a275ecc97268e8d6282a7a4  files/publication_notices/per_paper/IX/LICENSE.md
e72d49744a0822b9a903e94719cfaf4afeb64197a728a27519dabf8eb3163b4c  files/publication_notices/per_paper/V/LICENSE.md
5b1c79e8a87af189c914943fdeb7919c8924738521affbc6ffc1764b12bd89dc  files/publication_notices/per_paper/VI/LICENSE.md
9aceca2cc52fe2a34944990558d4d982cfe1f8cdf18d9f7da9e29b6f709749a9  files/publication_notices/per_paper/VII/LICENSE.md
e7a70358aa715e5f1a3bcb1182970c05c4869558d5f61bf0a0e442d67a7f7804  files/publication_notices/per_paper/VIII/LICENSE.md
9642bff5f261a089c83bc39ead2ca4f8062c5400e9aaec0c85154ee0d2a7aaf5  files/publication_notices/per_paper/X/LICENSE.md
b26ce008a208e634eda33914ba2b2e5ece89b8bed934914faab41c52138e90ce  files/publication_notices/per_paper/X/LICENSE_STATUS.json
3af38e8e5a22c154bbd84c09174edfc5c35d58ebc35253c7c6ff452585a5776a  files/publication_notices/per_paper/X/current_continuation/licenses/NOTICE.md
cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30  files/publication_notices/per_paper/X/production_replay/third_party/LICENSE.AINTLIB.txt
03137d45dbdbfea4af5a57805cd608b4d4044f0c10c72bbb7e72427f5cd9d669  files/publication_notices/per_paper/X/production_replay/third_party/NOTICE_PROVENANCE.json
d18b6622cb0bb3f6e99f1e9f8288a27cfd83bcdaa2560e089559ddb86913daa7  files/publication_notices/per_paper/XI/LICENSE.md
0889f045792f689d2f5c8800f8256ce6ea8a1297bf0d36917e3cbf74991ccee3  files/publication_notices/per_paper/XI/LICENSE_STATUS.json
0fa888f77dbeee00f2c94d1e54f5ee771c9cb6688baad4463fd01af28b0157bf  files/publication_notices/per_paper/XII/LICENSE.md
153f2b7e81d4b2452d61de229697cbcdee5d3e1a2617ce4ca882b9b06d2ab272  files/publication_notices/per_paper/XII/LICENSE_STATUS.json
63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9  files/source_ix_xii/XI/publication/source/traditional/fonts/LICENSE_DejaVu.txt
1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458  files/source_ix_xii/XI/publication/source/traditional/fonts/LICENSE_URW.txt
63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9  files/source_ix_xii/XI_build/build/traditional/fonts/LICENSE_DejaVu.txt
1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458  files/source_ix_xii/XI_build/build/traditional/fonts/LICENSE_URW.txt
63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9  files/source_ix_xii/book_rebuild_xi_final/build/traditional/fonts/LICENSE_DejaVu.txt
1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458  files/source_ix_xii/book_rebuild_xi_final/build/traditional/fonts/LICENSE_URW.txt
63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9  files/source_ix_xii/book_rebuild_xi_retry/build/traditional/fonts/LICENSE_DejaVu.txt
1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458  files/source_ix_xii/book_rebuild_xi_retry/build/traditional/fonts/LICENSE_URW.txt
63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9  files/source_ix_xii/book_rebuild_xi_scope/build/traditional/fonts/LICENSE_DejaVu.txt
1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458  files/source_ix_xii/book_rebuild_xi_scope/build/traditional/fonts/LICENSE_URW.txt
63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9  files/source_ix_xii/book_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_DejaVu.txt
1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458  files/source_ix_xii/book_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_URW.txt
63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9  files/source_ix_xii/prose_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_DejaVu.txt
1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458  files/source_ix_xii/prose_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_URW.txt
63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9  files/source_ix_xii/rhythm_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_DejaVu.txt
1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458  files/source_ix_xii/rhythm_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_URW.txt
