18112a09cf171869c5294e1fafe544a854c9b37916f861a545645523901b46fb  ActivityFixedInterval.lean
3f065a0cc713e69ab746fc679711070b6835e986b7e641e415c5aa089a698cbd  AnalyticFloor.lean
8a6fa543c77ac449ec713cf4010e24c397d91e8d75b8a183a393b691527180cf  BackgroundConstants.lean
bb66da55acc8db416e23a701806e8a8e35d3f134d7a8507e8f62b7dde2b73191  BlockBoundaryCount.lean
f81eb3f1d653aaad942a2a1abba6f1ee5ed42c8b677db05955a366b70b3a430d  BlockGaussianStep.lean
44cea5bb0a01678ad55234463f5ea08fd3e209bf26b8a6a8ae97ddb2d3ecc397  BoundaryRegulator.lean
3a9e5cbd63f2135e0f7508dfdc16a8261e19c95fe38dca3c7ea921fb06ab4daa  BoxConnectivity.lean
f9bcbb9a347dfb0f677005af7c6190b4e3c7a3b70b59488db7300621405914fd  BoxFiberSiteSum.lean
fbab4754f910061a4581d78c80dd35f05335e3c82abc0a296e6d027f12016f69  BoxFromFace.lean
d523d5d9034312fc9390101698cc379e9a065a8746fabfe615a9416df56764d8  BoxTwoColorKP.lean
3dc18a4053a8a23c4d19d99ea98f1e8f968b14bfae6e9dc3d803d370330f085c  CThetaReadings.lean
898658e1c4fbc8317709c2ca0cdb8854604475f38e93819cc753622d4915ec8d  ChainEndToEnd.lean
1e64010865298444ec85734c12ddfd166da0527692abd443b84505feb1ae9449  ChainEndToEndFineSupport.lean
85f1c901c05f1586ffc29b9381ea2bf2ce938bd48a661d7be6b99edea2a8946d  ChainMovingActivity.lean
df14b923dc8c8c844646b6ffbfebb9eb0059f19cbbedfec69537eef512efbf58  ClassSiteSum.lean
76c8f57109913cccf8853b2c30745fdef1a5ced8b2f67068e190088bc49d79af  ClassStepRemainder.lean
16fd63d123f2b127081dce6284f09bf87e4894f4e2eeec7916dfb16c475fa518  DifferenceContinuity.lean
af6cc713277e7ede0397493262ce6aa24967bdb07660cc2a021c920aa0afd3bc  EvenDifferenceCoupling.lean
ee5803a89120223f2600e58e495cf95c78dcbd1e0a6dd1ab15ecf96ab181c434  GasExpansion.lean
c0d92e8f0c6d7ec3deda3bcc5ba6d4d8da8633f568b73c226e681ebd59f14ea9  GibbsContinuity.lean
4b1442cf08396890419fd8837328bc21ae014510d6cdcec28ef9d18e3839d2ad  HessianGap.lean
a68e7ef7c11c183f7da9819960be6f319a5392c4adac16d24507f7d62941d203  KPToDobrushin.lean
4b61d91962bffa2ae1177038d8bd93b5cf9c866d687693668160dda3a30c1395  KernelMarginNumbers.lean
66de450b7680df034ba0d807a8e812b1688aa276c32a215b13fa1c01fe37bd4e  KernelMarginStages.lean
beca2da7853a7be749a5e90b180ecadbf114dd769a32c87c0fe53e161a87e192  KernelMarginWindow.lean
85e94acbb03dafe9d2659c009d5da5343de7a3d8b9e50e8313d0289bc3c3fde9  KernelWindowTable.lean
45631c62c50a8c5d7349fe2a033ed3972f897b31c68f2a22e216c67c30427a90  LargeFieldCoupling.lean
bfe753f30bbe16a5e30b5352acdd27a0fda1c43a990bfdbeeebd131aff54f4ae  LargeFieldStep.lean
ea92aca62c2e24ce183daa5618e6cefd653ee92be8ca98efc08480abf3bdb00f  LargeFieldSupply.lean
7ae9c8562e366fb7ab996c8eb8d03169696d63bbda6cc3c6eeb871044769e472  LargeSetRegulator.lean
3308006b2b7628513be28ca9673304b67a7f8360ba42422db0c6df37c8b98a52  Lattice24KP.lean
88543f8c23004f438e62e9cbed7b6c5412b2fc8893ca78a120c7362db5c48102  LatticeBlockReflection.lean
0f24fff2e02976f50574d54931cef829a1314fc54e2983b7e0931396dd6fa049  LatticeTwoColorKP.lean
e3a3a63be25fc9fe59365e3316c76b3adf93882dbd4700df0790122f54bceb1e  MarginNumbers.lean
43940da465d5c7df216f145bf78ab92998196b955761a98eca10be63c2d55ffb  MarginRatioTwo.lean
0ab38482c5ca4000a3c7f7006f071932aa8632ab54273f9d6dcf62755a752180  MovingActivity.lean
7c0f3b9d788bc4e80205764d53f0f4e10d1c71c49db5ae86a98e415f366e95c4  NontreeBackground.lean
3c892a01c1e192d7577f55c833eff4a497e5a443a81abfbd59fe2e3d4f621756  PolymerBlocking.lean
9a9404e5dd6a2137e6ca1f65dc73ed5e80b9e3cadc72ba151723573177cfa502  PolymerComponents.lean
8c86d14c352215bb73c36f758d7c26316869f6a78822d2effd574897ab118bc3  PolymerGasDobrushin.lean
ef533bd533c3e84f1ed972118b304073afcb16ee5196cafea56c2038470c9b71  PolymerGasFreeEnergy.lean
29cee40c688e025baba99bef9784954fb9467fba1bb9d8d16da2e440ddff77c5  PolymerGasKP.lean
8788079fbcc4ccc345d7ab2786e3224fc12f640c06a67dbca23978cd309746bd  PolymerGeometry.lean
214ad847123a8c7785539fcf546dab9cdb94cdfac06002a046d0281eb92aea4c  PolymerMerge.lean
57df8cb68053ee2ae11549babd55ee1f00f2334d3254833b881f93dad3c0b9a7  PullbackOrbitLimit.lean
b5185ec712f7c53a55270d43550448ff8388614e1b019b165b736fd01b8d7313  ReflectionSupportScale.lean
e1fe7a4c821e0b9fa5b6dcaed3b607029124c4732deb7333496d7ec2e6f92f2a  RegularityConstant.lean
cdc3e3d8b04b1b9c464ada344a7478cd34e914d2f9db1575728da4d6f8883a7c  RegularityRadius.lean
0d6eb7e6a3e7511c14b0f08d30c64c185a8ca53d59c9a7239a5258c17aab5cb0  RegularityStep.lean
5f1d78d1dd29274e20c1b7547855a4af353d843829ffe1bc27b35fde827acdea  SharpWindow.lean
422d8034b0a78aad34fc9c56d0831aaec7d7f7e0acc6dfa7bdc166eda3fac903  SizeSplitKP.lean
d66c82a9d1b042b6ba089d8ebb5a4715f78dba90ab676e6ed985bfe793e53e03  SmallRemKernel.lean
58334ab6b10d088dcd1bd04eba719b2d33a5189e9185e5f96a245f3fdd6fef52  SupplyLedger.lean
7830edde18759d76e092bc88846036785675faa86220c865fdf5da945fb4ef36  TreeGauge.lean
9b792aba399aa9e01098e5e02a1d9a49678a886d7a85e3194a54973bc908d135  TreeGaugeLocality.lean
f7a30c5ebbffb4db6ce08acbafc7c1ea83f7174901ed35c500a482f25adb4346  TwoColorEncoding.lean
9926b5045b8ebfdad3e677328f068924831703ec4281774ebbe87644a6f6b256  TwoColorPolymerSum.lean
45804cdeaf4b3f2cc28b2bd107802390d7068b363ba4107ca5389b2b2f4fa21d  TwoStageSmallField.lean
9ded158a87e4071ffa2b696ee57c67ab0199620d70ba2de5632eae9372d2d727  UltravioletAssembly.lean
d35c5262f8d08b45a8fec0377d022aff54cf8ada889cb63e6c5c31f41077e1f2  UltravioletChain.lean
1535128d13025e080a5c49b1d4d3533b85f8db0dc088db7a80865296d89018bb  UltravioletGlue.lean
e282c42fe5c769898cc9fd1efcb45cc165608af27df2488206060bce11e3e0a2  VertexClassWindow.lean
35cf9b9611cd4dd9575a94fe98f70c43e2d4a7eb28bf7cc8d3caffe391d0132d  WeakUltravioletExistence.lean
3f7dd5af1ec88366aa6ba927d4fa993787ee9f051a162552b065cc56fd9fd364  WeightRecursion.lean
a3dfd3415ce2ad5123f482333a27889314152d3ceba4cba0c800e5eca5efcba4  axioms-ActivityFixedInterval.txt
eb43fe41b8084efdec686210adf4d79a5bec836945f9689cb65f8fc1a3e36ab8  axioms-AnalyticFloor.txt
05c7d816d2b74621ccdac55ee795e58fe13a6cfd9717c270dd342180528fd9fc  axioms-BackgroundConstants.txt
8a3f31939bf3a0b3501ac6cb733896edb4db78a9df36be18892cfa3c6a9cdfb3  axioms-BlockBoundaryCount.txt
1a8ec61150c66bb6c0bfd1b8d57bad1148eb21a0948a28724bd720daf561dc0c  axioms-BlockGaussianStep.txt
6502142af12c7e75dd19f01f66c15078e84d649395af8edb86dcbb03380851f4  axioms-BoundaryRegulator.txt
b4459ba362a20ae6af3e6553ebfc462abeab664bd7367fd09399a2a51595d3c0  axioms-BoxConnectivity.txt
e71069c85fbbea6fd766c1a078450072c031dab86f34258468bd72a3c0243483  axioms-BoxFiberSiteSum.txt
68920156fea99c2bac803b80438ff0d2019ee79a0c6f5b36464549939d52e12e  axioms-BoxFromFace.txt
cb8f4de7f344d968f2c6f62a5efb11ba81e87ba3aa1409fc051c73cff5867682  axioms-BoxTwoColorKP.txt
bddb2995a0c438c6b5296459856a528a24aa988096cdf2243daba1ea190aa1ed  axioms-CThetaReadings.txt
ef3450da36615ddedfd036ffc792dfb068e934d761dc3734c44ff7644850c1b9  axioms-ChainEndToEnd.txt
da41fbf6da1ce21e8eb74db3f5583851d5951a2db71fac9a8577793ceca47578  axioms-ChainEndToEndFineSupport.txt
aad8be9ec608de5431845f280643052b26d407f4be51f5410a4828436e7f1897  axioms-ChainMovingActivity.txt
aaf8614253edd18c2b7403bbbc983f18b020b8d0b01ea7dcb68817874c7af8b4  axioms-ClassSiteSum.txt
75cbc25707f95d0f3d1b210eacc13195364e9ed812383f92dcef10928c4fa7b3  axioms-ClassStepRemainder.txt
f2d02b9d6702a08c95f23014b879d72c3ad1298b0915a067abcf38dc6bbcace8  axioms-DifferenceContinuity.txt
263137a3038a5b9f406743f28f4d2d28c13e4ed9bc82bff27ea7f6fd53d5b7ff  axioms-EvenDifferenceCoupling.txt
4cb952d0bec0daf576f7c756a2c01943ddd1426060a1cab46af9e72046973e16  axioms-GasExpansion.txt
4832326afbcd8de2417c2646f421d6f0b7c65f49890f59dab0af7acb775cdf22  axioms-GibbsContinuity.txt
b667e9750a1c07460137c493072fe0b110bae5681099438b3ee601bc7224a5a3  axioms-HessianGap.txt
28ee907c4c0e9e423534f4caeac740873f934c2faefc334d91af8ee9fe692412  axioms-KPToDobrushin.txt
af5b88e8b2c5230c1e7ee241c24606f7a190f4ea1904edcced246bad43b7c748  axioms-KernelMarginNumbers.txt
71d32f1054ebd11bfe8179c7e85b040b22028ebb27936e241005fb41128c6e13  axioms-KernelMarginStages.txt
4b5634a7c8f2d8cb01952a72b0a60051bd4ebc78aae7f21c4c4f51eefee04f7d  axioms-KernelMarginWindow.txt
4d5f51ec10ef0947d25820657bdc66d262ae963fb80c5b71f90308af84b7d461  axioms-KernelWindowTable.txt
bcb50940b6a49a17d9038508eb188ffa95f3439b3ed23213eff12c830de4a322  axioms-LargeFieldCoupling.txt
22d63ec3c65cea35be28c2e6c808c7c355c771074ae434d62fc8a19f6521c090  axioms-LargeFieldStep.txt
69e8dfea587fe08ce0d5a7bb23b925c72c74b486146faec4616f68ff22f7827d  axioms-LargeFieldSupply.txt
8c186f79312e8a44223ddc8e221f1532b41de20c77762594779db8eb272fa077  axioms-LargeSetRegulator.txt
d7cc3cbd744524dd12c6bfd011d6a215bff5b6c67741e6fcaec661f3819d025c  axioms-Lattice24KP.txt
cd1a77c2279dd6eecf2ca5b26ffc4b9bc6e61e658e7c36d6349ec3e4a2f9edd0  axioms-LatticeBlockReflection.txt
3ff9fee48ece5ca6230045b3cd9aeb0d320c8b9ca26d61089104c24c92b90aeb  axioms-LatticeTwoColorKP.txt
4104581503e35bbfd5840b2fd78bb9177fc66710ab49f21322a649b3e4006299  axioms-MarginNumbers.txt
7f650b1693a6b6caf2edc6ba9ae82ed6f679a3ad9c9a3f894322a991cd46f65b  axioms-MarginRatioTwo.txt
18b6b4e449890ababe6f29379caf1a65be38c0b93ad23e82b8bdc84cef81b503  axioms-MovingActivity.txt
af3595afc5b27882d7bdaa7a4489bef5f24d42efaab1e34aac2925ef13e40134  axioms-NontreeBackground.txt
763d446614582387604e449d77216eaf9d162c8c24546767d9840b736f7c15ec  axioms-PolymerBlocking.txt
4b9a4afd5d22125f158e485a19dfc7f202c362ac88f41144049cc8e76ec7c119  axioms-PolymerComponents.txt
d5fd67b2cf26339b7433356b615b601c6f925eef697ebdc55428661bffbd40a1  axioms-PolymerGasDobrushin.txt
47e0eefdc704ea912e297c6f2095054a1747cf386ffb676366e06f57b31452b1  axioms-PolymerGasFreeEnergy.txt
457a3dab22d31c62a901d678a63fb43f8be5dc1b9238b5c4fb83d57827650249  axioms-PolymerGasKP.txt
c99a9804987dfb0a3b569ad6f8ea1f353437ce04cdafaf6020ebfd39a9c49d46  axioms-PolymerGeometry.txt
a3ffb8db70b4d9852bac123a9fc992205a43d880fa916afe001a166a625ade1d  axioms-PolymerMerge.txt
36af09cf7540345b54c93e2173a8c6e219c722bfce6670ff90fe6859ce5bdbd5  axioms-PullbackOrbitLimit.txt
272cef98dca5305cecb54175becb65f61f419ab39e28b9781f968fd09d283768  axioms-ReflectionSupportScale.txt
2d56587cb8f52d7dcd4e4655fc013edcba1f618255a76f1beeca1b5e453779aa  axioms-RegularityConstant.txt
1dd4b02fc94ee1ab7315b4d98dea92e5fd3fa698e6e0627e37026f3d471ae2b0  axioms-RegularityRadius.txt
6dd1fdb8f6efaa6803db3230f712c211761d6fad8f7694306f63d61290224504  axioms-RegularityStep.txt
880ff07305d3757c38f5457aa473933590bd89b5f75707d27e2880889b8a4490  axioms-SharpWindow.txt
40459b12a3715ace81e15c1a19affd1e48b2880111de29fb2aa1cb575a50fe90  axioms-SizeSplitKP.txt
a53a525dbecb9c8c44bee477f14183ce47c6ce64bf29c713b4f4e2fec4e9ab15  axioms-SmallRemKernel.txt
d3a5cbb9ff3f3c24cb1c410c5dd8ea68af7fc357e9ad380a7f9ffef204d5e522  axioms-SupplyLedger.txt
fe48156d3af87ca8cc91ac983dcc01b89cf2c758dfa07c19ed24e985290c7df8  axioms-TreeGauge.txt
e6281f1d953c0964e4c0525b1b33b5ac6353e406cf003f60e29f0949dfe9d219  axioms-TreeGaugeLocality.txt
f0fb465380a1f1fcdfa82cf9d01d8d42b994419df57c0364d63099f782678161  axioms-TwoColorEncoding.txt
41ad0ec04313cd9b1106ecaf4a2f76d1200df3b09675f5acd628517d9457c58d  axioms-TwoColorPolymerSum.txt
bf410e5a64f920c1b8e317d5f4653c4e482825b77b52df241a14db1fa46cda70  axioms-TwoStageSmallField.txt
1a61597e7c345745082fd84951d3e8e11b222ffd1d62b11f0a86660a5c689e0d  axioms-UltravioletAssembly.txt
3ab361ca9ffadb5feac3cb22b06e16d45d90e6ea730c931c04442e026823406d  axioms-UltravioletChain.txt
705e5e103cf66f8c0c6c20b42b0e4465fbae721faf5296c281969e9af7a4ec3e  axioms-UltravioletGlue.txt
08523ad83ac24160bf28822c33db45750d2b3ee3ab750c5fd061a6a187928e4c  axioms-VertexClassWindow.txt
27669b9c9e237821f94d7ec7f3771a721aba0eff308ae53eac0463e3b57f7ede  axioms-WeakUltravioletExistence.txt
4e60bdef4db840a655a9516920f71a86f074e8efce07fae2c3574463d094e59e  axioms-WeightRecursion.txt
