ef0a24423b97286a7ffb5bd4a2b33f8a80e1eac52d4a270ed39b7896766c596a  README.md
04246a7717d96eebf64fcdd89948b6755dee121f93186413364d69e1e159d520  journal/body.md
831c8c829906ed1c8280800391b799b2847beed70462104dc674e827c0648a03  journal/metadata.json
c3df18c7f5804be70b6db13a98dc425d462b4984a0f12366a410ab0bdf95f747  lean/Agreement.hlean
e4c4d4d081e1e86255a9e73c4c46d3e77bb232905951cd75299ce89ab703597d  lean/Audit.hlean
4666fea691854743c6c554345daed75fca9d1f778d38b566bd8c4e57b1346089  lean/Gluing.hlean
42d4a729a4bb2ed84ab32458c8cb60fec2173853af5c3c114f1368597409f627  lean/Observation.hlean
30e48598f594db4c32620c1786ec6ae684f9ea42e49cf57b6001531fe534ded0  lean/Obstruction.hlean
a7ece2b6f9a50c7de547e5aaad2c98561e70c6fe83e54c1764f0bcd03d024109  lean/Prefix.hlean
b580282bbe38c5f75015f371074b89e221d4aca87ea5b47c40db88c641fdbc34  lean/Sharpness.hlean
b643643efa51aa8337e90adab0c875eac7a4af776d4649a67d544b60103cdf97  lean/Tower.hlean
f0fac7e457f86af67666279e7d13c6b44e98585f112caea6a69b56c74cb43a05  lean/bootstrap.sh
f1e2d2b3e3fd8f3cd1e37067e653c8401395a432d37c5c537c164e9454e891b5  lean/check.sh
e8a3e5df78821cac81eb8cbb176263811750a46fca614fa0581d65de0c68d01d  lean/verification.txt
621cc5ef7ebfa7dd546561867dd839c0cf797b2af39f9acb11c27cbd7eea1bae  manuscript/build.sh
36434b2466c11e698f12441126120cc917d409ab0c3c7c3d2a845cec2a881c5a  manuscript/main.tex
a8db5b0b6a671c8e6e035e5a2036acfb0a68851d0a47f6e70ca6ec184d6af5c1  manuscript/references.tex
11604de91dbd4a02be632d55236e7fc901c2c3765533c706568ccd5f189b1fc5  manuscript/sections/01-introduction.tex
0b7f3e09912b2ed73141330f179e4688229429619dbb57bc83f2da0632e513f8  manuscript/sections/02-operations.tex
8f90406cf3214d7f380819822a1cb33c5c58083b3e1ee943d0e0bc5e1186c2cd  manuscript/sections/03-settlement.tex
acdaca393237a9357d99f6d6bb806beaf4173056b1c9a5e9e52e3a4c0ac11ce6  manuscript/sections/04-presentations.tex
ffc64fc2ff609ebb261bf3906d2b136ee6307e86678b7effe1a52b59e8df8ae9  manuscript/sections/05-paths.tex
16edc277cf7c79d0006cb2f601a1e83ba948b03736c1c333e29db9fa56279148  manuscript/sections/06-gluing.tex
113d5d976544b3dbcdb2705ce273d815e11037c8073447b5032602fde1172bd7  manuscript/sections/07-towers.tex
46b9bf072e8db58dcafd9837a72c7667515a9f91a7a1bccebb5f9e5c79eb2c4f  manuscript/sections/08-finite-observation.tex
5e9316a9f5a7d3bb5936af6adc34250d8ebf08d7b52bb04be0e0124a3c7ac738  manuscript/sections/08b-finite-probes.tex
46d1b4c6007518a114d541f0a97548104ff7c2dc76cfabf9a2f6d4777ee07240  manuscript/sections/09-bit-towers.tex
b0a162cc99cf6e8c3367a0ddd4428abb8da32edbd7fa6bf3329d29a03dfbf455  manuscript/sections/09b-extension-classes.tex
e7237b6dd6f2951a4ec699189709dc193d997b63e00cd78aa74e9bcc494c9d0a  manuscript/sections/10-resource-access.tex
dd9573ee572f71ae33924b906b0cef4b4723886581c04b0582af1d1f09a82631  manuscript/sections/10b-revisable.tex
57977e6cc98871979c93caf95cbbcbf2331cd2712fd6e9d77c7df99ff70f68ed  manuscript/sections/11-pro-semantics.tex
3384255cd96e2ad499471a42bb02c50046abdff474de6f1b2a566166cc066ef7  manuscript/sections/11b-postnikov-composition.tex
992e885c16a86f4d6d18e8d7fdf99db57b49f190473968ced17ec837c8564de2  manuscript/sections/12-strategies.tex
5f9b040aeeb74bdcbd8998c27194861c68db743cb7a1832a4f05023e1f00f335  manuscript/sections/13-growth.tex
5ded06b26201ff598d839b4127a2c23895a8205496f8d7b7a40ad0a57ba583d4  manuscript/sections/14-descent.tex
8c509e5dacdcf6be0b07114bca7a4a014472e58c5a86a144e6cf41190e5d0525  manuscript/sections/14b-graded.tex
dbdaa9a1704b73d53f1fb68d03ca2ab140f072c45f2f24f330bfb32eb46807a1  manuscript/sections/15-cases.tex
eec98fdd3b4bf413ffe218e63fcbefceecb4106ba60d50f6485e6f48c89709bd  manuscript/sections/16-lean.tex
e22da13eb588c3b14bf0c2b312e6ae00636280cfedd3c372ffc518dfb4554661  manuscript/sections/17-scope.tex
4eeea5ecad32e2c6b8904ea06e2e738399453dee3e249458c0034cefe20737b4  manuscript/sections/18-appendix.tex
a75444cf8563d501e0066df979210acfdf75622ed216faba1f3acecd6191ff5a  resource-acquisition-higher-networks.pdf
