2169449bb3f69bc799183c1830c5ab93f21c054878bc9adef058fe601ec1d653  .gitignore
e66460fb5add88219399245f19716025208c42a4b159473c71cf2de02223fc8c  CURRENT_CHECKPOINT.json
49f6e351eac51c8224e1343e69a67996fd67762b4fd86200e44a6e15f96a590e  LEAN_VERIFICATION_REPORT.md
225b0cead6b1b89932b5a5dc7ad6b891c26aae886b17657d04704182ac597f82  LICENSE
c14bcc56e1ed86972aff6cc3b62248a7a5d67a0e501938df4271d3926611d7c9  PROGRESS_LEDGER_v0.1.0.md
d28af17562e1549cf1ebdd6cc5c55de8b178f989048a865a6b45bc4d0be970b2  PROGRESS_LEDGER_v0.2.0.md
72f152141b7cd171bd80e228189181dfd554e9989b4b6ea6680510bc3bc2746d  PROGRESS_LEDGER_v0.3.0.md
940acbc1e719a36c124943a9b074b977ef7e3e068e9ebbde9ca6cd5376f66ad7  PROGRESS_LEDGER_v0.4.0.md
052d570e663006828baf3c4307fd1afeee5d1c76d66a6c23b80313a08a809241  PROGRESS_LEDGER_v0.5.0.md
609c32e667df3bd8c5a906c19b74144fb61108fca5fc8244e196ac8e56772939  PROGRESS_LEDGER_v0.6.0.md
57f38879fa1927f8afbd841139f1027d3d610b839fe0fb895019fb95a47d91f9  README.md
d009dfb679fc35c419c24cf32c1189ba9b3e270459210a77cb1ae424f697d90e  RealizationBoundaries/Ambient.lean
766a5d143fa6580de926dedef8a0d82f8f84aeb777cc2462d211670d7d9cba93  RealizationBoundaries/ClassificationConsequences.lean
a1f15a06278486bc9874dd1b0cd7153776c948cef97cf16c9ded4c103bd0e038  RealizationBoundaries/Cocycle.lean
9d9da1129425acbac70f0f96d824fdace3d5ed410f345aad02996b7513c60779  RealizationBoundaries/CompletionConsequences.lean
f46509bd9217931cb4f9c0347a09cbd07a6d1250a460f0617e0aa0809b12332a  RealizationBoundaries/CompletionReflection.lean
8082ae4a6ac619e6681f29a146a0369e208fe5d94ddf0c1630fe5864a55be412  RealizationBoundaries/Countability.lean
5cdb28fa54a11b4d8bb908420e61ed57d5d4e93e99acc0848143f720e2cf0294  RealizationBoundaries/CyclicFiniteTargets.lean
87be7c8a3a5add749249449cff06215383c2739e5a132f41e667ea80a99c79c8  RealizationBoundaries/CyclicQuotients.lean
9f354e378b7526f98b1b6012625997fcb310ad77088f9891ee7f715698abae35  RealizationBoundaries/DiagonalAutomorphisms.lean
c277df705b78fda1a1e804ee1dc3f70210db5f03ba028e9ab1085b533c19a223  RealizationBoundaries/DiagonalHomomorphisms.lean
694ab3974f72875344b8c5e1ab90b86025ee0685e24930c367b6e0ed269d195d  RealizationBoundaries/DiagonalRealization.lean
4bc505ada42e86bb31daf5dd20c02d04737472b43cb5d611eeace6cf1d9f2c6c  RealizationBoundaries/DirectSumEndomorphisms.lean
5de59e58dcf7f2b07f77b271128474a23126c5e588c24475d007699b08fe5d8a  RealizationBoundaries/EndomorphismScalars.lean
bcbaec5c016b15990b892ee0a1f443425ad394c525ab27ed5c279aa850b31483  RealizationBoundaries/Extensions.lean
4c48fffef4ed0db07ff506afe0aea5338cc646431114ce8c9acf8d4ab032df8e  RealizationBoundaries/FiniteQuotients.lean
b0e640aa1cf30cf5fee4d63ba71e87d3071a3def5599b118bcdc6eaae0cadbca  RealizationBoundaries/FiniteTargets.lean
e8b026caf209149ce134af28860230af9cbf1926d3bb76621eb0c9f3e108f8d5  RealizationBoundaries/GenerationConsequences.lean
6d9c4811eef46a5e61e075f43ae737bb219deb1c1279e0383c550888c9c2579d  RealizationBoundaries/GenerationRanks.lean
0289a70b32edd0156f804269b0d7d8b8c19a138d69b821a66c596c8cd5e6a73d  RealizationBoundaries/HomomorphismObstruction.lean
33fa75790ac54d244f6f004ec40fbedf5c55adb625024ab605b31881a0f31462  RealizationBoundaries/NormalFormTransport.lean
f971b3a747e798ecf68a2545d0b663b97c5cc07fea0f3b6802a91ae62f6f7d27  RealizationBoundaries/NormalForms.lean
e1bd2087ee046750aa4a8df4055180492581987afb895be12985abcfccaf5c17  RealizationBoundaries/PairedPrimes.lean
258f910de6583f6a40a26547b616fd2316e13fbbb2ccaf140a2f5e7a0249fa3a  RealizationBoundaries/Preimages.lean
c8e8f361bd3e3847af9645000cdcd757d2f6bfb882db8efed7790a4ff87eb38e  RealizationBoundaries/Procyclic.lean
1898ecd599bbe55c079ee552a468c7f24ab1746c03883284f5715f03f86a7e9c  RealizationBoundaries/ProductTopology.lean
5333f11109f1a309db0b9749d017221e9839c902dd29fb56c307ab497863482c  RealizationBoundaries/ProfiniteCompletion.lean
2a6590edacd1ddd32e4767a6844fad480dc2b5c145506a9ea90312c017a13e36  RealizationBoundaries/PureCorrespondence.lean
aaa9438390a872d47b29f0b64d24254fac85f3571d0100f1dedd896a7cae753d  RealizationBoundaries/Quotient.lean
754726c713840d2549ecff10ee4058b6591a2f298268f5ddf8ef293d0991bd41  RealizationBoundaries/RadicalCounts.lean
ba12a6e46f9e62ee41aec8735994f9109ac293dafa2a023bbf8538c1f5403bfc  RealizationBoundaries/RootConsequences.lean
954f87c272977c9ba4601d91b2d89dc25713e67b2e052127c4e6b12962833221  RealizationBoundaries/RootFibers.lean
59f264c6fb1ad6acea65047f285e6931be0d0424afaf5ed5a78f8d04caa79584  RealizationBoundaries/Sections.lean
8187d8b6c792ddbe5e62f833a40f59f9c70ce15647e7e68f20909ba58833ae00  RealizationBoundaries/SeedGeneration.lean
fc87de6861387c2473b90b4159e4a550640edf973773088c2703b00467f1640c  RealizationBoundaries/SeedObstructions.lean
351c145b500c47c987506391fa366c3f7feb8bcdb6f5eb80dc7d9599800af663  RealizationBoundaries/SelectorClassification.lean
705e84b2696b40ee09992a451e683c8ccc3767f9660ced9fb254cbd8c55d5e73  RealizationBoundaries/TailSignature.lean
80e28bce9a7266d79b2d970a35feab5d6eb804d297abcdb2bd8d2c0f8a040f43  RealizationBoundaries.lean
88a68ac5851596c01424ba2e84b9342d1c929a7e6c20190db8018ae11d323e64  docs/DEVELOPMENT_INCIDENTS_v0.3.0.md
fae95afb5113b8ed88a44e6ea1c828ce1c66404baf66792c7990e0146503a413  docs/DEVELOPMENT_INCIDENTS_v0.4.0.md
27db99700bac2ab2c541ac9f576497c54694d06e88b53987dc02a9ba0cc75eb5  docs/DEVELOPMENT_INCIDENTS_v0.5.0.md
68e8df95dd71fc73a339c841cf6b5aefd8a85c502e23859754c82eec48725c25  docs/DEVELOPMENT_INCIDENTS_v0.6.0.md
98515ceeac16eb5fdbfbaea307d66230306850afa9480b51fefe027dfdee6be3  docs/EXACT_STATEMENT_REVIEW.md
7a956bea400e5a11e8ec2fd265ed24a9c9dcc4ee7fc42c9337b75a29248d9c5b  docs/MONOGRAPH_COVERAGE.json
0b53cb4fad47922c2e8007ad3df132564ac4778831f2bb2ce8e6f1a381c8fc07  docs/MONOGRAPH_COVERAGE.md
03fd67e99fd321793afcc051b108560c25dd81ae4607466f2423ac9f03f7bd4e  docs/NAMED_THEOREMS.json
106d6435e381e4eaeea9d37306c719b4a6075ca87203a3ab6f4b937169fe6235  docs/NEW_EXACT_TYPES_v0.5.0.md
94045e857a7c328fdffb7cc345b23d8a6d714f82e6dcc8389379776807543102  docs/NEW_EXACT_TYPES_v0.6.0.md
4b31e4b586430348411ef9fe70a56502c30524d8c178a3dd2ed638f501283ed6  docs/NEW_FORMAL_SCOPE.md
407089696c1b94b86fb143a0d8664bea7913bb489710aac25551be702be57f03  docs/history/v0.1.0/LEAN_VERIFICATION_REPORT.md
45e49baacd5fb5da40a4f444697303ad98a64d3436ddd7d51a19344a6da9b18c  docs/history/v0.1.0/MONOGRAPH_COVERAGE.json
438f881681fadeec6b6a26b54bf99a9a047fabc1b9ea213cf4e707c32c3f849f  docs/history/v0.1.0/MONOGRAPH_COVERAGE.md
08ee0b0d67ad5437d77ddda51fa4d9e8e530770f3d4738daa100a5ff092ff4d3  docs/history/v0.1.0/NAMED_THEOREMS.json
1cff05ed0fd4db3947e7b2425c361ad1fbf4d0e006e53be127806539aa362091  docs/history/v0.1.0/README.md
35518d083ac0b70de04ecc821b16e4d5bfc9f37394eb856e8ef1b7dd69018661  docs/history/v0.2.0/EXACT_STATEMENT_REVIEW.md
82f47ff881483f3c7a864976f92d8404b30ef0bad07abd6a736ac26a15a97ada  docs/history/v0.2.0/LEAN_VERIFICATION_REPORT.md
bcdfe1a672d99bafed5df49541f9caadc0bc5b6b582c49730e91d2d0741cdf74  docs/history/v0.2.0/MONOGRAPH_COVERAGE.json
9d197699f7e6111ef57622494b0ce4060f0d6e22dbf16e927e22e38d46109bf8  docs/history/v0.2.0/MONOGRAPH_COVERAGE.md
5b9b40c4892d9667641988d4d07c87c7321f326fcee4e518c10fd5dcc3b1d1c4  docs/history/v0.2.0/NAMED_THEOREMS.json
71b33abb47e26a72d8dd2aa51c640941b33729e433b972587036f36db2bba083  docs/history/v0.2.0/NEW_FORMAL_SCOPE.md
ba9dc18370239858a1529be341540b1b6cf8f4a066d7e7af8e4e706d9b65a1d0  docs/history/v0.2.0/README.md
30d7b7a2f9608454a68bee17080dc114d261c8831ca4052e3362c75f35aab68b  docs/history/v0.3.0/CURRENT_CHECKPOINT.json
88a68ac5851596c01424ba2e84b9342d1c929a7e6c20190db8018ae11d323e64  docs/history/v0.3.0/DEVELOPMENT_INCIDENTS_v0.3.0.md
56eca0d59ced5fdaa11eb6b221e04b3e9d0e1950098a1def0af032cbf2c2d478  docs/history/v0.3.0/EXACT_STATEMENT_REVIEW.md
1d14ecc50ae365eafaa928dce7bf4ea84b120315d473aaba343048d5dc3c0ae9  docs/history/v0.3.0/LEAN_VERIFICATION_REPORT.md
2cd7c66941fe74398a7b0d760ec0c1ddd14f59cfcfcbb9d340a240190bf1e5d6  docs/history/v0.3.0/MONOGRAPH_COVERAGE.json
b202c41303e734baf17ead7e508e6840b36dfbe211e038cdcad5b0acc4157d96  docs/history/v0.3.0/MONOGRAPH_COVERAGE.md
0b0a4d9e97188c254d8470e50bc2e9111453ee7fbefaffae12a9f9ce5448f927  docs/history/v0.3.0/NAMED_THEOREMS.json
e87e08f2b9537e3ecb7a290d30c40ad61cb739fb7bbf78eaed29d3cc8f9147b2  docs/history/v0.3.0/NEW_FORMAL_SCOPE.md
cf603995f05d27f6f7a2309f1f1cb28c4bcd5e17e8f79d5d8be66a88d03cb5f9  docs/history/v0.3.0/README.md
feb6ff22b5e90ec8209f23a4036a26cdb18fe33a4286351d42c3c6e9bb390b25  docs/history/v0.4.0/CURRENT_CHECKPOINT.json
f6bd755d3da012e80164f4082bdfcfd7623e0d79be840534b491331bc126635f  docs/history/v0.4.0/EXACT_STATEMENT_REVIEW.md
9f91a89f5296994cfbaa5d02449d3db397064e43142e608c605d04db55210a6e  docs/history/v0.4.0/LEAN_VERIFICATION_REPORT.md
59ed5807e7ae212210fcb784501a401af40b6c9668d8aec5fa536a753814cec2  docs/history/v0.4.0/MONOGRAPH_COVERAGE.json
cbb42079442cfa734dca850800b26bd2478654e29a7ea4f1c0e44ba9e5b2dbbc  docs/history/v0.4.0/MONOGRAPH_COVERAGE.md
30246c32b7cd35a9a91eb9dde15388b129ccdfcd06eaa72cce5c5ba17eacdc91  docs/history/v0.4.0/NAMED_THEOREMS.json
2fd45ad56b25734034b7ed747c9897399f68b27507a02821c3b2c228e102e244  docs/history/v0.4.0/NEW_FORMAL_SCOPE.md
260f175bb28258b2197a8524ca5421d2f3236625e84a7627976a4dc22c4cccb4  docs/history/v0.4.0/README.md
2e30d2ddb9a32b4f3ec2d1b5624f68a08fbb26de122fd34cd1e2d3980149287c  docs/history/v0.5.0/CURRENT_CHECKPOINT.json
88a68ac5851596c01424ba2e84b9342d1c929a7e6c20190db8018ae11d323e64  docs/history/v0.5.0/DEVELOPMENT_INCIDENTS_v0.3.0.md
fae95afb5113b8ed88a44e6ea1c828ce1c66404baf66792c7990e0146503a413  docs/history/v0.5.0/DEVELOPMENT_INCIDENTS_v0.4.0.md
27db99700bac2ab2c541ac9f576497c54694d06e88b53987dc02a9ba0cc75eb5  docs/history/v0.5.0/DEVELOPMENT_INCIDENTS_v0.5.0.md
d63cef8667ad8e91c8bd06eb60bee258b3185034dabd40ded2f0883c70f6df21  docs/history/v0.5.0/EXACT_STATEMENT_REVIEW.md
fdc53629a1471524cd5be0ef3740bbff6374db2ddf29741c9af3021e4fa49919  docs/history/v0.5.0/LEAN_VERIFICATION_REPORT.md
9aa111738bfde54aacd99fab225c9625399e93b04824be4cefdf8c753a80bc20  docs/history/v0.5.0/MONOGRAPH_COVERAGE.json
897b02a2d23cc8a745c87880929a15213338bebe3b09b9aee36fe65595d64898  docs/history/v0.5.0/MONOGRAPH_COVERAGE.md
6d7e7e69ccec5a9be12935dc12fd43a7630f659c41de6a671eb7beccba956c26  docs/history/v0.5.0/NAMED_THEOREMS.json
106d6435e381e4eaeea9d37306c719b4a6075ca87203a3ab6f4b937169fe6235  docs/history/v0.5.0/NEW_EXACT_TYPES_v0.5.0.md
b68e881120d383678b8636889aa3600ff4e9c46f813e075e10cfc7b87a97f300  docs/history/v0.5.0/NEW_FORMAL_SCOPE.md
1e60acc1f99ebd0f665c0f72a0166509ec042209cd8393e661b35358af2d87ee  docs/history/v0.5.0/README.md
36ec3a339770f42ac4f14f3994f833042120935d92aed3fb4189bf7c302188ca  lake-manifest.json
c6a53e074b51630831bde08fba6896b8aea8c165038a887b338d96d31fa988e3  lakefile.toml
8190e75a201741065fe508b28955dd64dd72d090babe5f70ce6848879d68ae88  lean-toolchain
61459271109d48ac20f3a7b439a10fd8a338802608d3d8db0190afc2d0d83a15  provenance/PARENT_SOURCE_IDENTITY.json
2f0f98a15b2eb8a518e3cda85e8928b5087c0ce4965cde359f0b689f2df97d3e  provenance/PARENT_v0.2.0_SOURCE_IDENTITY.json
2705f59b2360f494714b58a8f7650bd2af4e737c12754f89e9a9cea7fe779d5a  provenance/PARENT_v0.3.0_SOURCE_IDENTITY.json
f5cdd4e4169df69e80d234b28da43c64caa4c61f33e4b2c1f6ceb63c91ea4e1b  provenance/PARENT_v0.4.0_SOURCE_IDENTITY.json
ffd551d06e800be5917ef6f0bebe0f53566c68fb186c18f7d29c4b5e3c87793a  provenance/PARENT_v0.5.0_SOURCE_IDENTITY.json
7d550214038044762935ecbbf9eb4af280381f3d75c96624cdaf3bc99649c777  provenance/RUNTIME_RESTORE_v0.4.0.json
7e082899dba68798762a6138cb38fd137539ecdce04bc33ab25685eb1fb3964e  provenance/RUNTIME_RESTORE_v0.5.0.json
be79279647b45f7704c75f6002913499c94e123268cec9d5898fe2d060ba754e  provenance/RUNTIME_RESTORE_v0.5.0.log
220f33c1439633f63a1ed5ad143bcfb4b68a8f1db74b7da34c8825b40c7cd893  provenance/RUNTIME_RESTORE_v0.6.0.json
96c26c420d6cd4c89fd0292066ce4ace8094a60e646b97fe25fcaad4ac940556  provenance/Realization_Boundaries_Final_Package.zip
336eb829cfa25e088852ac8873383a4db72387c241fd882b20f94b60988deac9  provenance/SHA256SUMS_v0.1.0.txt
d88290b255cec7d210871f943a0e37ec9a374688630e7b00a02a125e528c668e  provenance/SHA256SUMS_v0.2.0.txt
296cc1f9f6f1e411f50834e40d3f5e89bcd4a649ec6b1a4d65400f387626f895  provenance/SHA256SUMS_v0.4.0.txt
36b723966871543a3b33d99c9fe5d48ad72d1480cb1c2f5b70338c72b8a98ea6  provenance/SHA256SUMS_v0.5.0.txt
7cc4d809402fcb81176ed2467d735bcc03d2dd4e0704c3776009507baa69e619  provenance/runtime_restoration.json
139f25d012beb02a2b72bb7816df4743d302d42e42878c1d0a52ff25fd66e33a  provenance/runtime_restoration_current.json
ede7a40630658c2d7e8ec3622b16c6df76c4ac34f756fd6224dd58989ae4b42c  provenance/runtime_restoration_v0.3.0.json
a33739eec9f11a1c8c6e94c30301963d9ed1386ea2ede04041bbaa644b046ecc  publication/Realization_Boundaries_Final.pdf
ba1b44e3a0b1aab51ebc8d848338a9b95d9e91c52d0d9dcca2b9dd822ff6f90e  scripts/check.py
cfe284a392ee7667b9ddc9a8b5954ef673e0fc34057e43002c949c9ac2995720  scripts/verify.py
0643d7e6144d9da52ad3edfd6d3e8b0c5f4b00e3e1d5ef0e3a6d0921cb0cc843  tests/Audit.lean
7d2f9364d1c29d328cefa8e4a2cac46a962e3b2974eea9e063b73e026a5419ce  tests/Contracts.lean
6f75cfb6fd1ffeb0fc869dbdc57dfc9541cc3c086a69ec90bd5c1f67994837b4  tests/CoreSmoke.lean
22a6265dbfc6f16ed2ad783564263c0050506abd65d7f045e2ee93c8f75266ff  tests/controls.json
a6c9db59223400d5a8289a66f9a1c7f8d9b8355e9ca1efbc9756bde03f91b62c  tests/negative/AutoImplicit.lean
fc034bf9a47106138bc455574033ec106fefd6cf98af0aafe7283d4bafee23b8  tests/negative/ChosenRoot.lean
40be7f3533e329ecd78c7bb4a30caddc0589e658218a0eff4da8cf7bb85a5291  tests/negative/CompletionClassifiesSource.lean
dea479502d1bd19f59c148cbd4181873dea3f6b92834b44d800d06a304c42314  tests/negative/CompletionGeneratorInSource.lean
4c665a64a3e12410b7ea039c7b99c067b6eb6f7748bfefc86f3f1d18267eb0ba  tests/negative/CompositeCoordinate.lean
f420ea4dd2d38b385c9402a75b0d4dad0aedb5c6497ad7fb0bd069a958508076  tests/negative/CountabilityWithoutQuotient.lean
64a0a129daff17f74486209e183a1b416f3bbc51306b8af219f05199f1a5c898  tests/negative/CyclicWithoutSquarefree.lean
630c78db7238ad9e8ced46d636ba5e5b29aa62c8aae9582b98f487c325425ae8  tests/negative/DenominatorUnit.lean
eecf6ed20d800f54d2398ea6270324a2be63b929fa6aa4b829342225b0b67fd1  tests/negative/DenseNotSurjective.lean
f465ef820ffef4087a03865f07a0cc5f6336e39cada65f2a525c8899f7fc22a3  tests/negative/DropTorsionContainment.lean
be699214b2b808f9f7b09705f0c51abca73a60d010c8d5d86b199c2eead12d58  tests/negative/EmptySeedsGenerate.lean
3d330f06e8b4db4f4dcdad276cc4263f2238ee9389860807cb4d594abee2a1a9  tests/negative/EmptySelector.lean
16a267a3f494346597c51d22d40870561a438739332f5782227eef92ea265d45  tests/negative/EraseCocycle.lean
74b9676a33ee116e1a03fdf7c19d7e844c126f15be898575a6ebf54fc9b24108  tests/negative/ExactInsteadOfEventual.lean
b8fd8870e8d0aa426ad67149d342b5de220128fdbe3f22d9d54582d570647505  tests/negative/ExtraAxiom.lean
842453ad22f2619959857cf34546cabd53cd5f0ccaaeedfd80938add56044fef  tests/negative/FiniteChangePreservesMark.lean
18702e2205d140c06bc329dd674a421f662635e70d18f8befdd85c04431af66f  tests/negative/FiniteDirectSumSeeds.lean
d9bf7e03dc959cf0e39fb79cae3d5aa84198ae78e9f596d7c3d941fe04a79091  tests/negative/FinitePairedTopologicalSeeds.lean
e3da2fa0111ffabfbf80b081da47b02199cd7ee6f1ae659fa2b38a13d5ea9882  tests/negative/InvalidRadicalTransition.lean
dc15adbb289b55445b3f3ec7d0614c47f626889f68a012ed804e2f7bce426578  tests/negative/InverseWithoutUnits.lean
3976a4699ceba6f5d64f95717c50961a5b5d70c607ad01e8df8b80eb7a464b3f  tests/negative/LiteralUnmarkedClassification.lean
0a24d77358fb2d196bcad2690168ab37ca0b3c50daed9f7e42e4b011ca342208  tests/negative/MarkedElementFiniteSupport.lean
801bd6688c5e347545d74730199241f2a4816794aaa3923cab41ed79bbd4280e  tests/negative/NoPositivity.lean
059f1b858d479b1781c8d13992ce60767380cffcb7de5bb4c1680a8b25dbe1b9  tests/negative/OffDiagonalSeed.lean
77ec6ef88219bdb45cf1ede49480e15cbe09da2273050120d53a520a74a44d6d  tests/negative/OriginalNotCompletion.lean
66d90e0f621673620c79a394da6d58676399c049b8833706c2a93c943fb7d5da  tests/negative/PairedSeedRankOne.lean
974e6cfc153de8f5d06d02ad4e1d4e59b8b802572d485f0f3b799fdc089491fe  tests/negative/QuotientScalarAutomorphism.lean
69963eb57958827cff3df769e7794a9a6a7701c58ac30d02f57c9cebab342a97  tests/negative/RationalLiftAdditive.lean
51e3c0d02f18e7b2544007445a9e84acb59974721594838b874dafccf38773ac  tests/negative/RootCountEqualsMultiplier.lean
c654700cb7f7cf0b362b636c3d2749a7a5ac91f85e46cf53f39214ff17266257  tests/negative/RootNormalizationOmitted.lean
eab04e558b2842aeba724b93e1eda677ebfd064efa0ca005c4de2deceb5da4ce  tests/negative/RootSolvabilityOmitted.lean
f872b88fdc3f1cec4278bbe52716de4eb659c70a95d26fd72b6cb529ec7749b6  tests/negative/SorryAudit.lean
b08e3862047a1ec6dd8f226ef10da6b8db7786bff23f57aa995063a54a0504a1  tests/negative/TopologicalMeansCyclic.lean
640a15e3695d346170d7910248111ad2e04f44c38f5e72e0e866d885e23254f8  tests/negative/TorsionImageMeansZero.lean
7fa97ac1b046d439cd9d78f6c29487ba7a6a5a4d2bab5d8b3e5ef5766ca34ce9  tests/negative/UnrestrictedCompletionReflection.lean
f02b44098694b9f5d32a98d09b906c4a67bafc89a118d862e337c73c365d6b17  tests/negative/UnrestrictedDiagonalFamily.lean
7b353894aabb5bc2aaee9609c3b7cef3dc47eccc9ea506a0d15686d8b5264ae7  tests/negative/UnsafeAudit.lean
7a6cf1e56d595b85f1a3d42c96a33a774eb85ca00ea7365206cfedbeb3a1cb3d  tests/negative/WrongCyclicModulus.lean
5ba6ef22021bea4490f67db44df980a7e0a659a401ead505d0a3ab50721c6001  tests/negative/ZeroCardMeansEmpty.lean
e85f831958189b2a92434c925fc6b952e805e54cc3e78a39343233e8156d924f  tests/negative/ZeroMultiplierFiniteFiber.lean
7a6a1857da8910eae74d546c3b5e236a66fa88472c5af9f11b5eaf9618ef38bf  tests/negative/ZeroRationalTail.lean
8f88d27f3c125fc37eca7e14d0305967a97fa2e86d72e6b2c725510a19a7c85b  verification/DELIVERY_SUMMARY.json
ed979570aa14d029f63d1a41ad82b7854599c6df26861374a94f2cd322bf1151  verification/README.md
b47bb93508b7c3167275e9809e407d348f076df217ab8b5260f9e1d2a6398912  verification/accepted_progress.log
880bae91f374367e0baff7b3e5b5d4b3e28fffb7ff42378168cbb7c673445087  verification/accepted_v0.2.0/declarations.json
4fbe276a063b7557c83c298e3aa87638bcc810a05edc2fd8bf8b2e10a3c2370e  verification/accepted_v0.2.0/dependency_after.json
4fbe276a063b7557c83c298e3aa87638bcc810a05edc2fd8bf8b2e10a3c2370e  verification/accepted_v0.2.0/dependency_before.json
f05e7f1bb9b0734961aaa0a986f59103c3738e5f1c33e33fd35fa2ae6e37e3a8  verification/accepted_v0.2.0/imported_modules.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_Ambient.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_Cocycle.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_CompletionConsequences.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_Countability.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_Extensions.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_FiniteQuotients.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_FiniteTargets.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_NormalForms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_PairedPrimes.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_Preimages.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_ProductTopology.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_ProfiniteCompletion.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_PureCorrespondence.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_Quotient.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_Sections.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/build_entrypoint.log
544b4920040fb4a18fbbf04c48a65f06739ab3268fc7d3c756bc1b64e823a094  verification/accepted_v0.2.0/logs/compiler_version.log
b41c84ddc7f0adc769576c17db43f120eed7af110884381e657ca178a481e11a  verification/accepted_v0.2.0/logs/negative_AutoImplicit.log
df0c408aac3ef04420c159f9392870bf6308395fcd4e55f67f06ec50bc9b27ea  verification/accepted_v0.2.0/logs/negative_ChosenRoot.log
7b8c4cce0888db7d7a0dc558612d1540426ca3d0acdee475fd7fdb03b54b3f62  verification/accepted_v0.2.0/logs/negative_CompositeCoordinate.log
15c52b95c47af60d910316d66b931be6f0b1e146cf1dc9c8b597729f9d41ded8  verification/accepted_v0.2.0/logs/negative_CountabilityWithoutQuotient.log
270f79b354e3fd0b1b2f95bc6eb4b21c42734ad7639380343445eb2f7d6cefcb  verification/accepted_v0.2.0/logs/negative_DenominatorUnit.log
ab8c703d356851729edce7562d86c91254e8de160297df2854a80e42c9612b0d  verification/accepted_v0.2.0/logs/negative_DenseNotSurjective.log
8e9d70bbe92fc61b28ee779a935dbc275a4caed4f61dfcd03cc4d097a76fa2e7  verification/accepted_v0.2.0/logs/negative_DropTorsionContainment.log
7f08d6ebf8469e2c7d806deb4e86d10b540a25609c63025fc8ba0803b3a2c9b0  verification/accepted_v0.2.0/logs/negative_EmptySelector.log
3bd39236026bf759b14f1ab0465e52a13eff175da0c2c5cb1726530d113d86f5  verification/accepted_v0.2.0/logs/negative_EraseCocycle.log
f439c6580a72cc4805d4c08f27b004986bfc587b5f77d57326c64d71977e5b07  verification/accepted_v0.2.0/logs/negative_ExtraAxiom.log
472e5cc26e6778d9bbadd0201e29c06cb60c88a10f74dd885fc4c99f711114fa  verification/accepted_v0.2.0/logs/negative_NoPositivity.log
fc09eec3a2418608bf4d83b606b462db8c387c1c41594dcdc55fd13f073f78a0  verification/accepted_v0.2.0/logs/negative_OriginalNotCompletion.log
46e19e16cb10f3ff5efe9820b61645e82934388bcc02b0fc855f9726a2212e83  verification/accepted_v0.2.0/logs/negative_SorryAudit.log
5013cf04a5287d832c634178b11b6d1b430f88429c502a68d5925ef59ec4cd8c  verification/accepted_v0.2.0/logs/negative_UnsafeAudit.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.2.0/logs/positive_contracts.log
e5c39fabfc090f448a2a3fc9202b15c93853207da754a569e0c23f2385b742ff  verification/accepted_v0.2.0/logs/preflight_audit.log
e5c39fabfc090f448a2a3fc9202b15c93853207da754a569e0c23f2385b742ff  verification/accepted_v0.2.0/logs/production_audit.log
a3f04f48353d8cb6fdc7f47dc47f2dfe234299de4dca6672561b9d8cdbe93c7c  verification/accepted_v0.2.0/logs/replay_Ambient.log
e502cc2c5a9aae3f3d403f8d5c728dc7bac4baac7d68ee6fe763ff654935c010  verification/accepted_v0.2.0/logs/replay_Cocycle.log
2bede24247373db187526173055d84b25cfed064349bb1629c78746e4c5cf59e  verification/accepted_v0.2.0/logs/replay_CompletionConsequences.log
487c5c7ecacaa49c077b0ff8757f1710f2b97955da31069d586ca0a5bcf44f39  verification/accepted_v0.2.0/logs/replay_Countability.log
a8684052b03ef8d9b335f159fe8372f836b726c0842042bb8c1c54fd3ba4ce3d  verification/accepted_v0.2.0/logs/replay_Extensions.log
7ea69713dff61b5c571149f695a761625b9c0536ec226093b4689d98862cc8df  verification/accepted_v0.2.0/logs/replay_FiniteQuotients.log
7541e1502ffe2a87bb402bd759ecaa064a2046175ec0cef22b8e7deac89b9247  verification/accepted_v0.2.0/logs/replay_FiniteTargets.log
8a4dce8f6ab256439435de3583932589f59922a022f73234314b2d0117e71b99  verification/accepted_v0.2.0/logs/replay_NormalForms.log
ab792fd75f217f1938f631cad85376082683e00d89ebe1e3f9c44306db27269a  verification/accepted_v0.2.0/logs/replay_PairedPrimes.log
ba66bdeb797d110f1fd14cd222f7fe1bbd41645dca0097a3cd5209855c5cc1cb  verification/accepted_v0.2.0/logs/replay_Preimages.log
a69bf2e9861a89b62334707bc1ffdf7750116657c005f8fb4fab4cea1b75c2cf  verification/accepted_v0.2.0/logs/replay_ProductTopology.log
e837a608abbf9cd38f7200cafcb9cbdae87921a0b38b2de41c99b5c04142e99b  verification/accepted_v0.2.0/logs/replay_ProfiniteCompletion.log
e9b83ed1388dc17219a1048a1c0a0280bc098c27e89ef9c9d3150210b8f72316  verification/accepted_v0.2.0/logs/replay_PureCorrespondence.log
3cf564e8a711ea0f6ff7db4d7e05e4fd7aaf81a53d9df0c05f4a52b26783fa15  verification/accepted_v0.2.0/logs/replay_Quotient.log
4dfa44d9b47a97aea13713942c91cd3d9a1368238fc1391b863fb0ab13001960  verification/accepted_v0.2.0/logs/replay_Sections.log
51220b1a7cd076dbc7971e2e66c7f145e5859beb56f85e1bc818d3b9ff51b6b5  verification/accepted_v0.2.0/run.json
c64d935d0a4ccb0e0b30a68c929e814aa07b954b4d6660b08ad5cdbd9d245853  verification/accepted_v0.2.0/source_after.json
c64d935d0a4ccb0e0b30a68c929e814aa07b954b4d6660b08ad5cdbd9d245853  verification/accepted_v0.2.0/source_before.json
752026b9c0c9807ad29f9acd7e29e2537e3ca05d4782a8aa3d305a6f17a4cb54  verification/accepted_v0.2.0_progress.log
bd2cdd87ca6ea99f53d9c921ef16a8b359ea12be4526e956906a45b7127c99f3  verification/accepted_v0.3.0/declarations.json
4cb46eed1489d0996b67ebafdda2374863789cf4860a87327556bb2fb0393af5  verification/accepted_v0.3.0/dependency_after.json
4cb46eed1489d0996b67ebafdda2374863789cf4860a87327556bb2fb0393af5  verification/accepted_v0.3.0/dependency_before.json
7fc62a808dbbbb55e36d22d9946ad79758c44459617c3864980b8331789de5e1  verification/accepted_v0.3.0/imported_modules.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_Ambient.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_ClassificationConsequences.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_Cocycle.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_CompletionConsequences.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_Countability.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_Extensions.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_FiniteQuotients.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_FiniteTargets.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_HomomorphismObstruction.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_NormalFormTransport.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_NormalForms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_PairedPrimes.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_Preimages.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_ProductTopology.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_ProfiniteCompletion.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_PureCorrespondence.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_Quotient.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_Sections.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_SelectorClassification.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_TailSignature.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/build_entrypoint.log
544b4920040fb4a18fbbf04c48a65f06739ab3268fc7d3c756bc1b64e823a094  verification/accepted_v0.3.0/logs/compiler_version.log
b41c84ddc7f0adc769576c17db43f120eed7af110884381e657ca178a481e11a  verification/accepted_v0.3.0/logs/negative_AutoImplicit.log
df0c408aac3ef04420c159f9392870bf6308395fcd4e55f67f06ec50bc9b27ea  verification/accepted_v0.3.0/logs/negative_ChosenRoot.log
84aea0235bf982c057dca89eeba7bc1cf34e9969dd70ddde7d92248afb9c2edf  verification/accepted_v0.3.0/logs/negative_CompletionClassifiesSource.log
7b8c4cce0888db7d7a0dc558612d1540426ca3d0acdee475fd7fdb03b54b3f62  verification/accepted_v0.3.0/logs/negative_CompositeCoordinate.log
15c52b95c47af60d910316d66b931be6f0b1e146cf1dc9c8b597729f9d41ded8  verification/accepted_v0.3.0/logs/negative_CountabilityWithoutQuotient.log
270f79b354e3fd0b1b2f95bc6eb4b21c42734ad7639380343445eb2f7d6cefcb  verification/accepted_v0.3.0/logs/negative_DenominatorUnit.log
ab8c703d356851729edce7562d86c91254e8de160297df2854a80e42c9612b0d  verification/accepted_v0.3.0/logs/negative_DenseNotSurjective.log
8e9d70bbe92fc61b28ee779a935dbc275a4caed4f61dfcd03cc4d097a76fa2e7  verification/accepted_v0.3.0/logs/negative_DropTorsionContainment.log
7f08d6ebf8469e2c7d806deb4e86d10b540a25609c63025fc8ba0803b3a2c9b0  verification/accepted_v0.3.0/logs/negative_EmptySelector.log
3bd39236026bf759b14f1ab0465e52a13eff175da0c2c5cb1726530d113d86f5  verification/accepted_v0.3.0/logs/negative_EraseCocycle.log
00315d9051f61878784915742fe4256e49ab899dcfad7326042c808ef11be1e8  verification/accepted_v0.3.0/logs/negative_ExactInsteadOfEventual.log
f439c6580a72cc4805d4c08f27b004986bfc587b5f77d57326c64d71977e5b07  verification/accepted_v0.3.0/logs/negative_ExtraAxiom.log
78c9ddf37ab526dd79862f5ce834ed9b1639d559e972538c25130c29b533dae0  verification/accepted_v0.3.0/logs/negative_FiniteChangePreservesMark.log
0aa6ea219c337569d5b483fb9ec383c95f0e72860cb16fe6dab4890e55b79606  verification/accepted_v0.3.0/logs/negative_LiteralUnmarkedClassification.log
472e5cc26e6778d9bbadd0201e29c06cb60c88a10f74dd885fc4c99f711114fa  verification/accepted_v0.3.0/logs/negative_NoPositivity.log
fc09eec3a2418608bf4d83b606b462db8c387c1c41594dcdc55fd13f073f78a0  verification/accepted_v0.3.0/logs/negative_OriginalNotCompletion.log
46e19e16cb10f3ff5efe9820b61645e82934388bcc02b0fc855f9726a2212e83  verification/accepted_v0.3.0/logs/negative_SorryAudit.log
01102e70dcf359b45199591119e2844e9c5caf08010ce585f15671a717d0b8d7  verification/accepted_v0.3.0/logs/negative_TorsionImageMeansZero.log
5013cf04a5287d832c634178b11b6d1b430f88429c502a68d5925ef59ec4cd8c  verification/accepted_v0.3.0/logs/negative_UnsafeAudit.log
5317ebae724e3d3647a272821efa4304d69e3c6d918679dfb3f05e3f392aea0d  verification/accepted_v0.3.0/logs/negative_ZeroRationalTail.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.3.0/logs/positive_contracts.log
347b4dbb77ff53b92625c19fff6cb596f28ff9f9c8f4b31d50e4dd512ec31e22  verification/accepted_v0.3.0/logs/preflight_audit.log
347b4dbb77ff53b92625c19fff6cb596f28ff9f9c8f4b31d50e4dd512ec31e22  verification/accepted_v0.3.0/logs/production_audit.log
a3f04f48353d8cb6fdc7f47dc47f2dfe234299de4dca6672561b9d8cdbe93c7c  verification/accepted_v0.3.0/logs/replay_Ambient.log
1d2bb45f2eed4e382ff85af05ec4ddcd93270f7919a94e1da37de6371696c4e3  verification/accepted_v0.3.0/logs/replay_ClassificationConsequences.log
e502cc2c5a9aae3f3d403f8d5c728dc7bac4baac7d68ee6fe763ff654935c010  verification/accepted_v0.3.0/logs/replay_Cocycle.log
2bede24247373db187526173055d84b25cfed064349bb1629c78746e4c5cf59e  verification/accepted_v0.3.0/logs/replay_CompletionConsequences.log
487c5c7ecacaa49c077b0ff8757f1710f2b97955da31069d586ca0a5bcf44f39  verification/accepted_v0.3.0/logs/replay_Countability.log
a8684052b03ef8d9b335f159fe8372f836b726c0842042bb8c1c54fd3ba4ce3d  verification/accepted_v0.3.0/logs/replay_Extensions.log
7ea69713dff61b5c571149f695a761625b9c0536ec226093b4689d98862cc8df  verification/accepted_v0.3.0/logs/replay_FiniteQuotients.log
7541e1502ffe2a87bb402bd759ecaa064a2046175ec0cef22b8e7deac89b9247  verification/accepted_v0.3.0/logs/replay_FiniteTargets.log
e56ee5b2407468b701b19f83ee0a681f09fb609e07b00b18955b4b013c7d8264  verification/accepted_v0.3.0/logs/replay_HomomorphismObstruction.log
c8d6b2eed2924ce6539cf6731287f2828e9a2a601e907f4aaedd511a61176b81  verification/accepted_v0.3.0/logs/replay_NormalFormTransport.log
8a4dce8f6ab256439435de3583932589f59922a022f73234314b2d0117e71b99  verification/accepted_v0.3.0/logs/replay_NormalForms.log
ab792fd75f217f1938f631cad85376082683e00d89ebe1e3f9c44306db27269a  verification/accepted_v0.3.0/logs/replay_PairedPrimes.log
ba66bdeb797d110f1fd14cd222f7fe1bbd41645dca0097a3cd5209855c5cc1cb  verification/accepted_v0.3.0/logs/replay_Preimages.log
a69bf2e9861a89b62334707bc1ffdf7750116657c005f8fb4fab4cea1b75c2cf  verification/accepted_v0.3.0/logs/replay_ProductTopology.log
e837a608abbf9cd38f7200cafcb9cbdae87921a0b38b2de41c99b5c04142e99b  verification/accepted_v0.3.0/logs/replay_ProfiniteCompletion.log
e9b83ed1388dc17219a1048a1c0a0280bc098c27e89ef9c9d3150210b8f72316  verification/accepted_v0.3.0/logs/replay_PureCorrespondence.log
3cf564e8a711ea0f6ff7db4d7e05e4fd7aaf81a53d9df0c05f4a52b26783fa15  verification/accepted_v0.3.0/logs/replay_Quotient.log
4dfa44d9b47a97aea13713942c91cd3d9a1368238fc1391b863fb0ab13001960  verification/accepted_v0.3.0/logs/replay_Sections.log
a3e81ab664b64b6ce330c5ae06cc14c603b28634132ea4e90a352381b9613ffe  verification/accepted_v0.3.0/logs/replay_SelectorClassification.log
5f3c353daba19ced8531baef19f2fb17f0e835d997573c1cd53589a1c517c755  verification/accepted_v0.3.0/logs/replay_TailSignature.log
5d36db851b64e14ba67cf86284382a77c1d0956c35995c1ec1a1c2831517094a  verification/accepted_v0.3.0/run.json
31fd4b5d9c73aa3e946effd15584a29af7b5f33a8189b1200d28ec498518ba4b  verification/accepted_v0.3.0/source_after.json
31fd4b5d9c73aa3e946effd15584a29af7b5f33a8189b1200d28ec498518ba4b  verification/accepted_v0.3.0/source_before.json
6e1e15991ba4140bb2a531c01e7987714158b099c4150a2e5ac1a81a2267ec4c  verification/accepted_v0.4.0/console.log
4fb3fdb538054f98f557a917d3c492abe81ab81f7f1a52c8d6b18657702e3da0  verification/accepted_v0.4.0/declarations.json
4cb46eed1489d0996b67ebafdda2374863789cf4860a87327556bb2fb0393af5  verification/accepted_v0.4.0/dependency_after.json
4cb46eed1489d0996b67ebafdda2374863789cf4860a87327556bb2fb0393af5  verification/accepted_v0.4.0/dependency_before.json
b73ddd340e9cf6d18e6d1000c22fa6be82bfc8f4df3d1e187dec129b58f0477b  verification/accepted_v0.4.0/imported_modules.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_Ambient.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_ClassificationConsequences.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_Cocycle.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_CompletionConsequences.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_CompletionReflection.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_Countability.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_DiagonalAutomorphisms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_DiagonalHomomorphisms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_DiagonalRealization.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_DirectSumEndomorphisms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_EndomorphismScalars.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_Extensions.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_FiniteQuotients.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_FiniteTargets.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_HomomorphismObstruction.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_NormalFormTransport.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_NormalForms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_PairedPrimes.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_Preimages.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_ProductTopology.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_ProfiniteCompletion.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_PureCorrespondence.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_Quotient.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_Sections.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_SelectorClassification.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_TailSignature.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/build_entrypoint.log
544b4920040fb4a18fbbf04c48a65f06739ab3268fc7d3c756bc1b64e823a094  verification/accepted_v0.4.0/logs/compiler_version.log
b41c84ddc7f0adc769576c17db43f120eed7af110884381e657ca178a481e11a  verification/accepted_v0.4.0/logs/negative_AutoImplicit.log
df0c408aac3ef04420c159f9392870bf6308395fcd4e55f67f06ec50bc9b27ea  verification/accepted_v0.4.0/logs/negative_ChosenRoot.log
84aea0235bf982c057dca89eeba7bc1cf34e9969dd70ddde7d92248afb9c2edf  verification/accepted_v0.4.0/logs/negative_CompletionClassifiesSource.log
7b8c4cce0888db7d7a0dc558612d1540426ca3d0acdee475fd7fdb03b54b3f62  verification/accepted_v0.4.0/logs/negative_CompositeCoordinate.log
15c52b95c47af60d910316d66b931be6f0b1e146cf1dc9c8b597729f9d41ded8  verification/accepted_v0.4.0/logs/negative_CountabilityWithoutQuotient.log
270f79b354e3fd0b1b2f95bc6eb4b21c42734ad7639380343445eb2f7d6cefcb  verification/accepted_v0.4.0/logs/negative_DenominatorUnit.log
ab8c703d356851729edce7562d86c91254e8de160297df2854a80e42c9612b0d  verification/accepted_v0.4.0/logs/negative_DenseNotSurjective.log
8e9d70bbe92fc61b28ee779a935dbc275a4caed4f61dfcd03cc4d097a76fa2e7  verification/accepted_v0.4.0/logs/negative_DropTorsionContainment.log
7f08d6ebf8469e2c7d806deb4e86d10b540a25609c63025fc8ba0803b3a2c9b0  verification/accepted_v0.4.0/logs/negative_EmptySelector.log
3bd39236026bf759b14f1ab0465e52a13eff175da0c2c5cb1726530d113d86f5  verification/accepted_v0.4.0/logs/negative_EraseCocycle.log
00315d9051f61878784915742fe4256e49ab899dcfad7326042c808ef11be1e8  verification/accepted_v0.4.0/logs/negative_ExactInsteadOfEventual.log
f439c6580a72cc4805d4c08f27b004986bfc587b5f77d57326c64d71977e5b07  verification/accepted_v0.4.0/logs/negative_ExtraAxiom.log
78c9ddf37ab526dd79862f5ce834ed9b1639d559e972538c25130c29b533dae0  verification/accepted_v0.4.0/logs/negative_FiniteChangePreservesMark.log
3af13d6b916c5bfcd976287fa70d1c98bff176bc0c48f8948d56f9fe1de21070  verification/accepted_v0.4.0/logs/negative_InverseWithoutUnits.log
0aa6ea219c337569d5b483fb9ec383c95f0e72860cb16fe6dab4890e55b79606  verification/accepted_v0.4.0/logs/negative_LiteralUnmarkedClassification.log
472e5cc26e6778d9bbadd0201e29c06cb60c88a10f74dd885fc4c99f711114fa  verification/accepted_v0.4.0/logs/negative_NoPositivity.log
a827f95a113f6a24b5b521924419c63eba9c7215134c7b6db4ba2fb3c878fb3d  verification/accepted_v0.4.0/logs/negative_OffDiagonalSeed.log
fc09eec3a2418608bf4d83b606b462db8c387c1c41594dcdc55fd13f073f78a0  verification/accepted_v0.4.0/logs/negative_OriginalNotCompletion.log
c242309699d23c747ee3374a9099df48a919584805116ed3f3acc28dfc893140  verification/accepted_v0.4.0/logs/negative_QuotientScalarAutomorphism.log
22833e191fd5151fe7df0614caac0ab88b6a7704a57a39e75c5e0435fb686826  verification/accepted_v0.4.0/logs/negative_RationalLiftAdditive.log
46e19e16cb10f3ff5efe9820b61645e82934388bcc02b0fc855f9726a2212e83  verification/accepted_v0.4.0/logs/negative_SorryAudit.log
01102e70dcf359b45199591119e2844e9c5caf08010ce585f15671a717d0b8d7  verification/accepted_v0.4.0/logs/negative_TorsionImageMeansZero.log
7aca628a850e7ce7a992f9a481e41f7e8c5f88bdb2ab1daab97206dbe1f61083  verification/accepted_v0.4.0/logs/negative_UnrestrictedCompletionReflection.log
043cd8f77ce5291dacee56b4b14fc719621e7d4722e742ad93fcc149f7364a71  verification/accepted_v0.4.0/logs/negative_UnrestrictedDiagonalFamily.log
5013cf04a5287d832c634178b11b6d1b430f88429c502a68d5925ef59ec4cd8c  verification/accepted_v0.4.0/logs/negative_UnsafeAudit.log
5317ebae724e3d3647a272821efa4304d69e3c6d918679dfb3f05e3f392aea0d  verification/accepted_v0.4.0/logs/negative_ZeroRationalTail.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.4.0/logs/positive_contracts.log
811317b8ecc2342fe2b90da4a2af5beb319fff4b232263cf3a4d61e0d57336a2  verification/accepted_v0.4.0/logs/preflight_audit.log
811317b8ecc2342fe2b90da4a2af5beb319fff4b232263cf3a4d61e0d57336a2  verification/accepted_v0.4.0/logs/production_audit.log
a3f04f48353d8cb6fdc7f47dc47f2dfe234299de4dca6672561b9d8cdbe93c7c  verification/accepted_v0.4.0/logs/replay_Ambient.log
1d2bb45f2eed4e382ff85af05ec4ddcd93270f7919a94e1da37de6371696c4e3  verification/accepted_v0.4.0/logs/replay_ClassificationConsequences.log
e502cc2c5a9aae3f3d403f8d5c728dc7bac4baac7d68ee6fe763ff654935c010  verification/accepted_v0.4.0/logs/replay_Cocycle.log
2bede24247373db187526173055d84b25cfed064349bb1629c78746e4c5cf59e  verification/accepted_v0.4.0/logs/replay_CompletionConsequences.log
cbb362ff067f5c180863783db020090e295e857fe4d4b1f1586196ddd84c18ad  verification/accepted_v0.4.0/logs/replay_CompletionReflection.log
487c5c7ecacaa49c077b0ff8757f1710f2b97955da31069d586ca0a5bcf44f39  verification/accepted_v0.4.0/logs/replay_Countability.log
72ebe5ae743df059546ab904c4648ca3ee48db924e75208df474b7a78a787f9c  verification/accepted_v0.4.0/logs/replay_DiagonalAutomorphisms.log
451f0dcaf243533f532b38e0bc47af64ce0296ef062f2459bfbcfb919df906db  verification/accepted_v0.4.0/logs/replay_DiagonalHomomorphisms.log
2b64a2503ed803654af5bdf76c184a10b5ffcf821c5b96ab3dd2af9b4519fa4e  verification/accepted_v0.4.0/logs/replay_DiagonalRealization.log
04e750aa95533c582f43f6e3586bc57d5d3803f4e07c5838ebfbc80dd0cb5f06  verification/accepted_v0.4.0/logs/replay_DirectSumEndomorphisms.log
c7a84ca496cf1ddf5c4922fe07018bd55526696ae51d67a34c8844507f678b9f  verification/accepted_v0.4.0/logs/replay_EndomorphismScalars.log
a8684052b03ef8d9b335f159fe8372f836b726c0842042bb8c1c54fd3ba4ce3d  verification/accepted_v0.4.0/logs/replay_Extensions.log
7ea69713dff61b5c571149f695a761625b9c0536ec226093b4689d98862cc8df  verification/accepted_v0.4.0/logs/replay_FiniteQuotients.log
7541e1502ffe2a87bb402bd759ecaa064a2046175ec0cef22b8e7deac89b9247  verification/accepted_v0.4.0/logs/replay_FiniteTargets.log
e56ee5b2407468b701b19f83ee0a681f09fb609e07b00b18955b4b013c7d8264  verification/accepted_v0.4.0/logs/replay_HomomorphismObstruction.log
c8d6b2eed2924ce6539cf6731287f2828e9a2a601e907f4aaedd511a61176b81  verification/accepted_v0.4.0/logs/replay_NormalFormTransport.log
8a4dce8f6ab256439435de3583932589f59922a022f73234314b2d0117e71b99  verification/accepted_v0.4.0/logs/replay_NormalForms.log
ab792fd75f217f1938f631cad85376082683e00d89ebe1e3f9c44306db27269a  verification/accepted_v0.4.0/logs/replay_PairedPrimes.log
ba66bdeb797d110f1fd14cd222f7fe1bbd41645dca0097a3cd5209855c5cc1cb  verification/accepted_v0.4.0/logs/replay_Preimages.log
a69bf2e9861a89b62334707bc1ffdf7750116657c005f8fb4fab4cea1b75c2cf  verification/accepted_v0.4.0/logs/replay_ProductTopology.log
e837a608abbf9cd38f7200cafcb9cbdae87921a0b38b2de41c99b5c04142e99b  verification/accepted_v0.4.0/logs/replay_ProfiniteCompletion.log
e9b83ed1388dc17219a1048a1c0a0280bc098c27e89ef9c9d3150210b8f72316  verification/accepted_v0.4.0/logs/replay_PureCorrespondence.log
3cf564e8a711ea0f6ff7db4d7e05e4fd7aaf81a53d9df0c05f4a52b26783fa15  verification/accepted_v0.4.0/logs/replay_Quotient.log
4dfa44d9b47a97aea13713942c91cd3d9a1368238fc1391b863fb0ab13001960  verification/accepted_v0.4.0/logs/replay_Sections.log
a3e81ab664b64b6ce330c5ae06cc14c603b28634132ea4e90a352381b9613ffe  verification/accepted_v0.4.0/logs/replay_SelectorClassification.log
5f3c353daba19ced8531baef19f2fb17f0e835d997573c1cd53589a1c517c755  verification/accepted_v0.4.0/logs/replay_TailSignature.log
27516935cd2db0e1db55d75b996bb4792f3e59958d76d2bb75d1192b39b36d52  verification/accepted_v0.4.0/run.json
eee2d0e584fa9c9721ce3ecf49509e1b7bc52e2bc5ebcfa76cdbc55f5690f783  verification/accepted_v0.4.0/source_after.json
eee2d0e584fa9c9721ce3ecf49509e1b7bc52e2bc5ebcfa76cdbc55f5690f783  verification/accepted_v0.4.0/source_before.json
2ac4e1a9e5a60e69184942fc089411e882c3bd97b8769f5b3872b51d7ae6012c  verification/accepted_v0.4.0/source_inventory.json
d51b3384db2a459d799210e07a82b57b672a166c8eb48f5041c84eb48563e6d9  verification/accepted_v0.5.0/declarations.json
bdeb9337651470852e27b03883902c853e3e4d1966bc70395a9817c4f384c0f7  verification/accepted_v0.5.0/dependency_after.json
bdeb9337651470852e27b03883902c853e3e4d1966bc70395a9817c4f384c0f7  verification/accepted_v0.5.0/dependency_before.json
7af4ca92f7bb138ac5d7e8096eb1ae522ef14083d805e77e705771e0d2a71e9a  verification/accepted_v0.5.0/imported_modules.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_Ambient.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_ClassificationConsequences.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_Cocycle.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_CompletionConsequences.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_CompletionReflection.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_Countability.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_DiagonalAutomorphisms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_DiagonalHomomorphisms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_DiagonalRealization.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_DirectSumEndomorphisms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_EndomorphismScalars.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_Extensions.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_FiniteQuotients.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_FiniteTargets.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_GenerationConsequences.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_GenerationRanks.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_HomomorphismObstruction.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_NormalFormTransport.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_NormalForms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_PairedPrimes.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_Preimages.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_Procyclic.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_ProductTopology.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_ProfiniteCompletion.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_PureCorrespondence.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_Quotient.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_Sections.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_SeedGeneration.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_SeedObstructions.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_SelectorClassification.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_TailSignature.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/build_entrypoint.log
544b4920040fb4a18fbbf04c48a65f06739ab3268fc7d3c756bc1b64e823a094  verification/accepted_v0.5.0/logs/compiler_version.log
b41c84ddc7f0adc769576c17db43f120eed7af110884381e657ca178a481e11a  verification/accepted_v0.5.0/logs/negative_AutoImplicit.log
df0c408aac3ef04420c159f9392870bf6308395fcd4e55f67f06ec50bc9b27ea  verification/accepted_v0.5.0/logs/negative_ChosenRoot.log
84aea0235bf982c057dca89eeba7bc1cf34e9969dd70ddde7d92248afb9c2edf  verification/accepted_v0.5.0/logs/negative_CompletionClassifiesSource.log
4ee56fd64307b91ba517764342a263a3eb5b0e870c18b4e81ce74c5934166e56  verification/accepted_v0.5.0/logs/negative_CompletionGeneratorInSource.log
7b8c4cce0888db7d7a0dc558612d1540426ca3d0acdee475fd7fdb03b54b3f62  verification/accepted_v0.5.0/logs/negative_CompositeCoordinate.log
15c52b95c47af60d910316d66b931be6f0b1e146cf1dc9c8b597729f9d41ded8  verification/accepted_v0.5.0/logs/negative_CountabilityWithoutQuotient.log
270f79b354e3fd0b1b2f95bc6eb4b21c42734ad7639380343445eb2f7d6cefcb  verification/accepted_v0.5.0/logs/negative_DenominatorUnit.log
ab8c703d356851729edce7562d86c91254e8de160297df2854a80e42c9612b0d  verification/accepted_v0.5.0/logs/negative_DenseNotSurjective.log
8e9d70bbe92fc61b28ee779a935dbc275a4caed4f61dfcd03cc4d097a76fa2e7  verification/accepted_v0.5.0/logs/negative_DropTorsionContainment.log
728a369c5de1ca791235a1340a61f8ec1a8f068283bb8f52e9f8555403535e93  verification/accepted_v0.5.0/logs/negative_EmptySeedsGenerate.log
7f08d6ebf8469e2c7d806deb4e86d10b540a25609c63025fc8ba0803b3a2c9b0  verification/accepted_v0.5.0/logs/negative_EmptySelector.log
3bd39236026bf759b14f1ab0465e52a13eff175da0c2c5cb1726530d113d86f5  verification/accepted_v0.5.0/logs/negative_EraseCocycle.log
00315d9051f61878784915742fe4256e49ab899dcfad7326042c808ef11be1e8  verification/accepted_v0.5.0/logs/negative_ExactInsteadOfEventual.log
f439c6580a72cc4805d4c08f27b004986bfc587b5f77d57326c64d71977e5b07  verification/accepted_v0.5.0/logs/negative_ExtraAxiom.log
78c9ddf37ab526dd79862f5ce834ed9b1639d559e972538c25130c29b533dae0  verification/accepted_v0.5.0/logs/negative_FiniteChangePreservesMark.log
694a380abe819a53ecf1f5580d6a2c8479fc373c98f850def24e5af7a01f15f6  verification/accepted_v0.5.0/logs/negative_FiniteDirectSumSeeds.log
180fe10d6770e074d9165b8bdb1dacea8ec3d818b055024266c32b78b897aee4  verification/accepted_v0.5.0/logs/negative_FinitePairedTopologicalSeeds.log
3af13d6b916c5bfcd976287fa70d1c98bff176bc0c48f8948d56f9fe1de21070  verification/accepted_v0.5.0/logs/negative_InverseWithoutUnits.log
0aa6ea219c337569d5b483fb9ec383c95f0e72860cb16fe6dab4890e55b79606  verification/accepted_v0.5.0/logs/negative_LiteralUnmarkedClassification.log
e342e5ee82953c8f8a5a2fe2c2695cdc645e0475d53caf7076764df4523367d6  verification/accepted_v0.5.0/logs/negative_MarkedElementFiniteSupport.log
472e5cc26e6778d9bbadd0201e29c06cb60c88a10f74dd885fc4c99f711114fa  verification/accepted_v0.5.0/logs/negative_NoPositivity.log
a827f95a113f6a24b5b521924419c63eba9c7215134c7b6db4ba2fb3c878fb3d  verification/accepted_v0.5.0/logs/negative_OffDiagonalSeed.log
fc09eec3a2418608bf4d83b606b462db8c387c1c41594dcdc55fd13f073f78a0  verification/accepted_v0.5.0/logs/negative_OriginalNotCompletion.log
cf9b176c21f12b5b150ac245f840c29dc3cf1a72f25d26c534c8115871023c29  verification/accepted_v0.5.0/logs/negative_PairedSeedRankOne.log
c242309699d23c747ee3374a9099df48a919584805116ed3f3acc28dfc893140  verification/accepted_v0.5.0/logs/negative_QuotientScalarAutomorphism.log
22833e191fd5151fe7df0614caac0ab88b6a7704a57a39e75c5e0435fb686826  verification/accepted_v0.5.0/logs/negative_RationalLiftAdditive.log
46e19e16cb10f3ff5efe9820b61645e82934388bcc02b0fc855f9726a2212e83  verification/accepted_v0.5.0/logs/negative_SorryAudit.log
ddacfb39bf61e32d958e6f08360dd704b8fa58744d25cc167ba57b4ea28ed2bd  verification/accepted_v0.5.0/logs/negative_TopologicalMeansCyclic.log
01102e70dcf359b45199591119e2844e9c5caf08010ce585f15671a717d0b8d7  verification/accepted_v0.5.0/logs/negative_TorsionImageMeansZero.log
7aca628a850e7ce7a992f9a481e41f7e8c5f88bdb2ab1daab97206dbe1f61083  verification/accepted_v0.5.0/logs/negative_UnrestrictedCompletionReflection.log
043cd8f77ce5291dacee56b4b14fc719621e7d4722e742ad93fcc149f7364a71  verification/accepted_v0.5.0/logs/negative_UnrestrictedDiagonalFamily.log
5013cf04a5287d832c634178b11b6d1b430f88429c502a68d5925ef59ec4cd8c  verification/accepted_v0.5.0/logs/negative_UnsafeAudit.log
5317ebae724e3d3647a272821efa4304d69e3c6d918679dfb3f05e3f392aea0d  verification/accepted_v0.5.0/logs/negative_ZeroRationalTail.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.5.0/logs/positive_contracts.log
55578a2fe9eba75ecd903b10c977ef6c200fb8bdc744eb304266f179bd624aa0  verification/accepted_v0.5.0/logs/preflight_audit.log
55578a2fe9eba75ecd903b10c977ef6c200fb8bdc744eb304266f179bd624aa0  verification/accepted_v0.5.0/logs/production_audit.log
a3f04f48353d8cb6fdc7f47dc47f2dfe234299de4dca6672561b9d8cdbe93c7c  verification/accepted_v0.5.0/logs/replay_Ambient.log
1d2bb45f2eed4e382ff85af05ec4ddcd93270f7919a94e1da37de6371696c4e3  verification/accepted_v0.5.0/logs/replay_ClassificationConsequences.log
e502cc2c5a9aae3f3d403f8d5c728dc7bac4baac7d68ee6fe763ff654935c010  verification/accepted_v0.5.0/logs/replay_Cocycle.log
2bede24247373db187526173055d84b25cfed064349bb1629c78746e4c5cf59e  verification/accepted_v0.5.0/logs/replay_CompletionConsequences.log
cbb362ff067f5c180863783db020090e295e857fe4d4b1f1586196ddd84c18ad  verification/accepted_v0.5.0/logs/replay_CompletionReflection.log
487c5c7ecacaa49c077b0ff8757f1710f2b97955da31069d586ca0a5bcf44f39  verification/accepted_v0.5.0/logs/replay_Countability.log
72ebe5ae743df059546ab904c4648ca3ee48db924e75208df474b7a78a787f9c  verification/accepted_v0.5.0/logs/replay_DiagonalAutomorphisms.log
451f0dcaf243533f532b38e0bc47af64ce0296ef062f2459bfbcfb919df906db  verification/accepted_v0.5.0/logs/replay_DiagonalHomomorphisms.log
2b64a2503ed803654af5bdf76c184a10b5ffcf821c5b96ab3dd2af9b4519fa4e  verification/accepted_v0.5.0/logs/replay_DiagonalRealization.log
04e750aa95533c582f43f6e3586bc57d5d3803f4e07c5838ebfbc80dd0cb5f06  verification/accepted_v0.5.0/logs/replay_DirectSumEndomorphisms.log
c7a84ca496cf1ddf5c4922fe07018bd55526696ae51d67a34c8844507f678b9f  verification/accepted_v0.5.0/logs/replay_EndomorphismScalars.log
a8684052b03ef8d9b335f159fe8372f836b726c0842042bb8c1c54fd3ba4ce3d  verification/accepted_v0.5.0/logs/replay_Extensions.log
7ea69713dff61b5c571149f695a761625b9c0536ec226093b4689d98862cc8df  verification/accepted_v0.5.0/logs/replay_FiniteQuotients.log
7541e1502ffe2a87bb402bd759ecaa064a2046175ec0cef22b8e7deac89b9247  verification/accepted_v0.5.0/logs/replay_FiniteTargets.log
7d083adc5ff3575bcd6d8e2cfe85c842b3363575ed902636706f3cf5774cb3ae  verification/accepted_v0.5.0/logs/replay_GenerationConsequences.log
22ed676d2a05823aca3b5682eb4c99cec0350f8ffc1c0819e3f428df6ea67351  verification/accepted_v0.5.0/logs/replay_GenerationRanks.log
e56ee5b2407468b701b19f83ee0a681f09fb609e07b00b18955b4b013c7d8264  verification/accepted_v0.5.0/logs/replay_HomomorphismObstruction.log
c8d6b2eed2924ce6539cf6731287f2828e9a2a601e907f4aaedd511a61176b81  verification/accepted_v0.5.0/logs/replay_NormalFormTransport.log
8a4dce8f6ab256439435de3583932589f59922a022f73234314b2d0117e71b99  verification/accepted_v0.5.0/logs/replay_NormalForms.log
ab792fd75f217f1938f631cad85376082683e00d89ebe1e3f9c44306db27269a  verification/accepted_v0.5.0/logs/replay_PairedPrimes.log
ba66bdeb797d110f1fd14cd222f7fe1bbd41645dca0097a3cd5209855c5cc1cb  verification/accepted_v0.5.0/logs/replay_Preimages.log
f5068db7a5f0d383c4d841b161d6c98df6f44ca7ae45d476d53ef4367f688564  verification/accepted_v0.5.0/logs/replay_Procyclic.log
a69bf2e9861a89b62334707bc1ffdf7750116657c005f8fb4fab4cea1b75c2cf  verification/accepted_v0.5.0/logs/replay_ProductTopology.log
e837a608abbf9cd38f7200cafcb9cbdae87921a0b38b2de41c99b5c04142e99b  verification/accepted_v0.5.0/logs/replay_ProfiniteCompletion.log
e9b83ed1388dc17219a1048a1c0a0280bc098c27e89ef9c9d3150210b8f72316  verification/accepted_v0.5.0/logs/replay_PureCorrespondence.log
3cf564e8a711ea0f6ff7db4d7e05e4fd7aaf81a53d9df0c05f4a52b26783fa15  verification/accepted_v0.5.0/logs/replay_Quotient.log
4dfa44d9b47a97aea13713942c91cd3d9a1368238fc1391b863fb0ab13001960  verification/accepted_v0.5.0/logs/replay_Sections.log
65a666164f116a536ee48f0cc2be297909dc37191b589e5e721489b32ae26de7  verification/accepted_v0.5.0/logs/replay_SeedGeneration.log
6209aee82fc2b40d8dca5755d840ea09dae7fe95c1b83fe52aa2665e4014fd9c  verification/accepted_v0.5.0/logs/replay_SeedObstructions.log
a3e81ab664b64b6ce330c5ae06cc14c603b28634132ea4e90a352381b9613ffe  verification/accepted_v0.5.0/logs/replay_SelectorClassification.log
5f3c353daba19ced8531baef19f2fb17f0e835d997573c1cd53589a1c517c755  verification/accepted_v0.5.0/logs/replay_TailSignature.log
a8879a7929097539ebfa99d983dcc46d6375d2ddd422a447ae74c921fcb6fbcc  verification/accepted_v0.5.0/rejection_diagnostic_review.json
8c3b6425a8ac3963b0722b65bab2f35cf2900e18c665dd782a1390d90f089071  verification/accepted_v0.5.0/run.json
0b3a9bf1a6d2cf98e36c6580b12e26cb73155eb5bb35a8f642e8c7b95f7582cc  verification/accepted_v0.5.0/source_after.json
0b3a9bf1a6d2cf98e36c6580b12e26cb73155eb5bb35a8f642e8c7b95f7582cc  verification/accepted_v0.5.0/source_before.json
5d65b4fe1ac65efa914e2d8364592439b6bd18524aed22580d62624481a7d802  verification/accepted_v0.5.0.console.log
a89b67e7791820e822ac34aee636b256d76e07926b58cf68e29a24c3e7ba1100  verification/accepted_v0.6.0/console.log
8b465203d084e7b389a6bcfb4d35e1d405ae90e9b18de65341de9eb6ccdf9862  verification/accepted_v0.6.0/declarations.json
8c2fcd1235916bb0a743d0423ea776a72896572d42147b75f7432d20f76c456e  verification/accepted_v0.6.0/dependency_after.json
8c2fcd1235916bb0a743d0423ea776a72896572d42147b75f7432d20f76c456e  verification/accepted_v0.6.0/dependency_before.json
53977ba6f10a7ad407e183014730ed9083b0393d4c7b7f90f6bc94c29206ed9e  verification/accepted_v0.6.0/imported_modules.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_Ambient.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_ClassificationConsequences.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_Cocycle.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_CompletionConsequences.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_CompletionReflection.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_Countability.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_CyclicFiniteTargets.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_CyclicQuotients.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_DiagonalAutomorphisms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_DiagonalHomomorphisms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_DiagonalRealization.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_DirectSumEndomorphisms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_EndomorphismScalars.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_Extensions.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_FiniteQuotients.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_FiniteTargets.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_GenerationConsequences.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_GenerationRanks.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_HomomorphismObstruction.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_NormalFormTransport.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_NormalForms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_PairedPrimes.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_Preimages.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_Procyclic.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_ProductTopology.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_ProfiniteCompletion.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_PureCorrespondence.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_Quotient.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_RadicalCounts.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_RootConsequences.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_RootFibers.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_Sections.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_SeedGeneration.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_SeedObstructions.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_SelectorClassification.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_TailSignature.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/build_entrypoint.log
544b4920040fb4a18fbbf04c48a65f06739ab3268fc7d3c756bc1b64e823a094  verification/accepted_v0.6.0/logs/compiler_version.log
b41c84ddc7f0adc769576c17db43f120eed7af110884381e657ca178a481e11a  verification/accepted_v0.6.0/logs/negative_AutoImplicit.log
df0c408aac3ef04420c159f9392870bf6308395fcd4e55f67f06ec50bc9b27ea  verification/accepted_v0.6.0/logs/negative_ChosenRoot.log
84aea0235bf982c057dca89eeba7bc1cf34e9969dd70ddde7d92248afb9c2edf  verification/accepted_v0.6.0/logs/negative_CompletionClassifiesSource.log
4ee56fd64307b91ba517764342a263a3eb5b0e870c18b4e81ce74c5934166e56  verification/accepted_v0.6.0/logs/negative_CompletionGeneratorInSource.log
7b8c4cce0888db7d7a0dc558612d1540426ca3d0acdee475fd7fdb03b54b3f62  verification/accepted_v0.6.0/logs/negative_CompositeCoordinate.log
15c52b95c47af60d910316d66b931be6f0b1e146cf1dc9c8b597729f9d41ded8  verification/accepted_v0.6.0/logs/negative_CountabilityWithoutQuotient.log
b21264a68cd24fc101daa2cf81c5a7e7aee4b506cefe1df25652d9b9ab357501  verification/accepted_v0.6.0/logs/negative_CyclicWithoutSquarefree.log
270f79b354e3fd0b1b2f95bc6eb4b21c42734ad7639380343445eb2f7d6cefcb  verification/accepted_v0.6.0/logs/negative_DenominatorUnit.log
ab8c703d356851729edce7562d86c91254e8de160297df2854a80e42c9612b0d  verification/accepted_v0.6.0/logs/negative_DenseNotSurjective.log
8e9d70bbe92fc61b28ee779a935dbc275a4caed4f61dfcd03cc4d097a76fa2e7  verification/accepted_v0.6.0/logs/negative_DropTorsionContainment.log
728a369c5de1ca791235a1340a61f8ec1a8f068283bb8f52e9f8555403535e93  verification/accepted_v0.6.0/logs/negative_EmptySeedsGenerate.log
7f08d6ebf8469e2c7d806deb4e86d10b540a25609c63025fc8ba0803b3a2c9b0  verification/accepted_v0.6.0/logs/negative_EmptySelector.log
3bd39236026bf759b14f1ab0465e52a13eff175da0c2c5cb1726530d113d86f5  verification/accepted_v0.6.0/logs/negative_EraseCocycle.log
00315d9051f61878784915742fe4256e49ab899dcfad7326042c808ef11be1e8  verification/accepted_v0.6.0/logs/negative_ExactInsteadOfEventual.log
f439c6580a72cc4805d4c08f27b004986bfc587b5f77d57326c64d71977e5b07  verification/accepted_v0.6.0/logs/negative_ExtraAxiom.log
78c9ddf37ab526dd79862f5ce834ed9b1639d559e972538c25130c29b533dae0  verification/accepted_v0.6.0/logs/negative_FiniteChangePreservesMark.log
694a380abe819a53ecf1f5580d6a2c8479fc373c98f850def24e5af7a01f15f6  verification/accepted_v0.6.0/logs/negative_FiniteDirectSumSeeds.log
180fe10d6770e074d9165b8bdb1dacea8ec3d818b055024266c32b78b897aee4  verification/accepted_v0.6.0/logs/negative_FinitePairedTopologicalSeeds.log
857bf84b2365e7761cc558c3b6a5ee376f3724ed76f1f600ce4cdaecda8ca41b  verification/accepted_v0.6.0/logs/negative_InvalidRadicalTransition.log
3af13d6b916c5bfcd976287fa70d1c98bff176bc0c48f8948d56f9fe1de21070  verification/accepted_v0.6.0/logs/negative_InverseWithoutUnits.log
0aa6ea219c337569d5b483fb9ec383c95f0e72860cb16fe6dab4890e55b79606  verification/accepted_v0.6.0/logs/negative_LiteralUnmarkedClassification.log
e342e5ee82953c8f8a5a2fe2c2695cdc645e0475d53caf7076764df4523367d6  verification/accepted_v0.6.0/logs/negative_MarkedElementFiniteSupport.log
472e5cc26e6778d9bbadd0201e29c06cb60c88a10f74dd885fc4c99f711114fa  verification/accepted_v0.6.0/logs/negative_NoPositivity.log
a827f95a113f6a24b5b521924419c63eba9c7215134c7b6db4ba2fb3c878fb3d  verification/accepted_v0.6.0/logs/negative_OffDiagonalSeed.log
fc09eec3a2418608bf4d83b606b462db8c387c1c41594dcdc55fd13f073f78a0  verification/accepted_v0.6.0/logs/negative_OriginalNotCompletion.log
cf9b176c21f12b5b150ac245f840c29dc3cf1a72f25d26c534c8115871023c29  verification/accepted_v0.6.0/logs/negative_PairedSeedRankOne.log
c242309699d23c747ee3374a9099df48a919584805116ed3f3acc28dfc893140  verification/accepted_v0.6.0/logs/negative_QuotientScalarAutomorphism.log
22833e191fd5151fe7df0614caac0ab88b6a7704a57a39e75c5e0435fb686826  verification/accepted_v0.6.0/logs/negative_RationalLiftAdditive.log
d4f5e9aa2839591d1926f77d9d7144f8b6a19279786f51d118bf9d1031b546cd  verification/accepted_v0.6.0/logs/negative_RootCountEqualsMultiplier.log
bdacba948a1a8aad088a3219606534d1d3c5cf098acfad6d8250f7db5fc5d142  verification/accepted_v0.6.0/logs/negative_RootNormalizationOmitted.log
9e1c324876cde77c591769696eb58dae9f4e1e9562f5c605d41288d67b6022dd  verification/accepted_v0.6.0/logs/negative_RootSolvabilityOmitted.log
46e19e16cb10f3ff5efe9820b61645e82934388bcc02b0fc855f9726a2212e83  verification/accepted_v0.6.0/logs/negative_SorryAudit.log
ddacfb39bf61e32d958e6f08360dd704b8fa58744d25cc167ba57b4ea28ed2bd  verification/accepted_v0.6.0/logs/negative_TopologicalMeansCyclic.log
01102e70dcf359b45199591119e2844e9c5caf08010ce585f15671a717d0b8d7  verification/accepted_v0.6.0/logs/negative_TorsionImageMeansZero.log
7aca628a850e7ce7a992f9a481e41f7e8c5f88bdb2ab1daab97206dbe1f61083  verification/accepted_v0.6.0/logs/negative_UnrestrictedCompletionReflection.log
043cd8f77ce5291dacee56b4b14fc719621e7d4722e742ad93fcc149f7364a71  verification/accepted_v0.6.0/logs/negative_UnrestrictedDiagonalFamily.log
5013cf04a5287d832c634178b11b6d1b430f88429c502a68d5925ef59ec4cd8c  verification/accepted_v0.6.0/logs/negative_UnsafeAudit.log
4131f259ca3bad661a2c1f815b7835e9ba6517f39c9fb6566e1a6091a812af63  verification/accepted_v0.6.0/logs/negative_WrongCyclicModulus.log
09fa1fe5a8399541807ca1bc00bb3bb62ee16206b3f3962430b67f1a6f3b0329  verification/accepted_v0.6.0/logs/negative_ZeroCardMeansEmpty.log
4aa1155745ff2ff5352bb1563a91e75f228da4ef4e0f9795e044ac1ca724583e  verification/accepted_v0.6.0/logs/negative_ZeroMultiplierFiniteFiber.log
5317ebae724e3d3647a272821efa4304d69e3c6d918679dfb3f05e3f392aea0d  verification/accepted_v0.6.0/logs/negative_ZeroRationalTail.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/accepted_v0.6.0/logs/positive_contracts.log
3d88c5d767a55d497c0e27fc9e1482140322d40baa236c80e92c80c39ebe3881  verification/accepted_v0.6.0/logs/preflight_audit.log
3d88c5d767a55d497c0e27fc9e1482140322d40baa236c80e92c80c39ebe3881  verification/accepted_v0.6.0/logs/production_audit.log
a3f04f48353d8cb6fdc7f47dc47f2dfe234299de4dca6672561b9d8cdbe93c7c  verification/accepted_v0.6.0/logs/replay_Ambient.log
1d2bb45f2eed4e382ff85af05ec4ddcd93270f7919a94e1da37de6371696c4e3  verification/accepted_v0.6.0/logs/replay_ClassificationConsequences.log
e502cc2c5a9aae3f3d403f8d5c728dc7bac4baac7d68ee6fe763ff654935c010  verification/accepted_v0.6.0/logs/replay_Cocycle.log
2bede24247373db187526173055d84b25cfed064349bb1629c78746e4c5cf59e  verification/accepted_v0.6.0/logs/replay_CompletionConsequences.log
cbb362ff067f5c180863783db020090e295e857fe4d4b1f1586196ddd84c18ad  verification/accepted_v0.6.0/logs/replay_CompletionReflection.log
487c5c7ecacaa49c077b0ff8757f1710f2b97955da31069d586ca0a5bcf44f39  verification/accepted_v0.6.0/logs/replay_Countability.log
f253e2fb94df6924b34c90a5739b131203107ae5bea565750a77d3518ebe6ac2  verification/accepted_v0.6.0/logs/replay_CyclicFiniteTargets.log
a0e28754ec2c0cf666251abf6a26b7c1db0aecbb57aa033550c7d5c5d9198271  verification/accepted_v0.6.0/logs/replay_CyclicQuotients.log
72ebe5ae743df059546ab904c4648ca3ee48db924e75208df474b7a78a787f9c  verification/accepted_v0.6.0/logs/replay_DiagonalAutomorphisms.log
451f0dcaf243533f532b38e0bc47af64ce0296ef062f2459bfbcfb919df906db  verification/accepted_v0.6.0/logs/replay_DiagonalHomomorphisms.log
2b64a2503ed803654af5bdf76c184a10b5ffcf821c5b96ab3dd2af9b4519fa4e  verification/accepted_v0.6.0/logs/replay_DiagonalRealization.log
04e750aa95533c582f43f6e3586bc57d5d3803f4e07c5838ebfbc80dd0cb5f06  verification/accepted_v0.6.0/logs/replay_DirectSumEndomorphisms.log
c7a84ca496cf1ddf5c4922fe07018bd55526696ae51d67a34c8844507f678b9f  verification/accepted_v0.6.0/logs/replay_EndomorphismScalars.log
a8684052b03ef8d9b335f159fe8372f836b726c0842042bb8c1c54fd3ba4ce3d  verification/accepted_v0.6.0/logs/replay_Extensions.log
7ea69713dff61b5c571149f695a761625b9c0536ec226093b4689d98862cc8df  verification/accepted_v0.6.0/logs/replay_FiniteQuotients.log
7541e1502ffe2a87bb402bd759ecaa064a2046175ec0cef22b8e7deac89b9247  verification/accepted_v0.6.0/logs/replay_FiniteTargets.log
7d083adc5ff3575bcd6d8e2cfe85c842b3363575ed902636706f3cf5774cb3ae  verification/accepted_v0.6.0/logs/replay_GenerationConsequences.log
22ed676d2a05823aca3b5682eb4c99cec0350f8ffc1c0819e3f428df6ea67351  verification/accepted_v0.6.0/logs/replay_GenerationRanks.log
e56ee5b2407468b701b19f83ee0a681f09fb609e07b00b18955b4b013c7d8264  verification/accepted_v0.6.0/logs/replay_HomomorphismObstruction.log
c8d6b2eed2924ce6539cf6731287f2828e9a2a601e907f4aaedd511a61176b81  verification/accepted_v0.6.0/logs/replay_NormalFormTransport.log
8a4dce8f6ab256439435de3583932589f59922a022f73234314b2d0117e71b99  verification/accepted_v0.6.0/logs/replay_NormalForms.log
ab792fd75f217f1938f631cad85376082683e00d89ebe1e3f9c44306db27269a  verification/accepted_v0.6.0/logs/replay_PairedPrimes.log
ba66bdeb797d110f1fd14cd222f7fe1bbd41645dca0097a3cd5209855c5cc1cb  verification/accepted_v0.6.0/logs/replay_Preimages.log
f5068db7a5f0d383c4d841b161d6c98df6f44ca7ae45d476d53ef4367f688564  verification/accepted_v0.6.0/logs/replay_Procyclic.log
a69bf2e9861a89b62334707bc1ffdf7750116657c005f8fb4fab4cea1b75c2cf  verification/accepted_v0.6.0/logs/replay_ProductTopology.log
e837a608abbf9cd38f7200cafcb9cbdae87921a0b38b2de41c99b5c04142e99b  verification/accepted_v0.6.0/logs/replay_ProfiniteCompletion.log
e9b83ed1388dc17219a1048a1c0a0280bc098c27e89ef9c9d3150210b8f72316  verification/accepted_v0.6.0/logs/replay_PureCorrespondence.log
3cf564e8a711ea0f6ff7db4d7e05e4fd7aaf81a53d9df0c05f4a52b26783fa15  verification/accepted_v0.6.0/logs/replay_Quotient.log
8747c3409700fd514799b672893cc1777443c008ffa9eec40c6bce25379a12c7  verification/accepted_v0.6.0/logs/replay_RadicalCounts.log
f5ae98f82b2872fd3c46a787a98ea902873ca1cd9bd0cf8cd9eb787e22365ef6  verification/accepted_v0.6.0/logs/replay_RootConsequences.log
61a29656043e807bbf61de3e704c163c60b5ef10ced32c9af90d679a7be7a057  verification/accepted_v0.6.0/logs/replay_RootFibers.log
4dfa44d9b47a97aea13713942c91cd3d9a1368238fc1391b863fb0ab13001960  verification/accepted_v0.6.0/logs/replay_Sections.log
65a666164f116a536ee48f0cc2be297909dc37191b589e5e721489b32ae26de7  verification/accepted_v0.6.0/logs/replay_SeedGeneration.log
6209aee82fc2b40d8dca5755d840ea09dae7fe95c1b83fe52aa2665e4014fd9c  verification/accepted_v0.6.0/logs/replay_SeedObstructions.log
a3e81ab664b64b6ce330c5ae06cc14c603b28634132ea4e90a352381b9613ffe  verification/accepted_v0.6.0/logs/replay_SelectorClassification.log
5f3c353daba19ced8531baef19f2fb17f0e835d997573c1cd53589a1c517c755  verification/accepted_v0.6.0/logs/replay_TailSignature.log
fe43b42d885d7041a166fac17898734c40dd6c6ab5497b02f29edf2e5157b67c  verification/accepted_v0.6.0/post_run_review.json
f74d6d74b0167787fd2775b1620b72c08f97c0514ff966943d1f1bc55d55e134  verification/accepted_v0.6.0/run.json
4c047f7fbe259a7915f26ed08e1cd334ae9f34208a56f9a6aa5037b742c8620d  verification/accepted_v0.6.0/source_after.json
4c047f7fbe259a7915f26ed08e1cd334ae9f34208a56f9a6aa5037b742c8620d  verification/accepted_v0.6.0/source_before.json
72bb40f15e5a1b63c426ea5d409c44945c935302b4428a7174d5b4cbd243ee60  verification/audit_first_stdout.log
a353a00e726061516cb41308544987851a9d6e804ae0c3520c548caef2de13c8  verification/bootstrap_current.log
2688ede3eb490890482c95352b333f9c2a1c83c74568796d4693af664005d239  verification/development/Ambient_001.json
f767caa2514d33a61fd29bc9a54beaacdf0c7ebe6ebd5229c805610afe261878  verification/development/Ambient_001.log
5767082849744285edd273c642d17b31f2ffda40982860460f6c7db8edc81e3e  verification/development/Ambient_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Ambient_002.log
a1ec709eb229f9d49e6ff522ea851c9679fd4186d940e2bb22ba4105354c338a  verification/development/Ambient_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Ambient_003.log
9fdd728fe63c4d38f9f019d1647c3c9096a4b7c07326cbf7d4825b58e6023764  verification/development/Ambient_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Ambient_004.log
4508aac15383d477c3f1653e029a8d2c3bb0737bae43cb498d7671b2ef785b59  verification/development/Ambient_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Ambient_005.log
76157e4eba90ecaa6b8b70c4851bac6d3d6b16e557946fb2e5861cfd80185b40  verification/development/Ambient_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Ambient_006.log
759801bb23a59dc692e24e7143860c2efdf5bfcafa2051bdbdf794bcf82c1a3e  verification/development/Ambient_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Ambient_007.log
cafbfe6bb2aa077742883245220d6110d4ed99ff7d0decbcbe467b9b03f1ced7  verification/development/Audit_001.json
bad5fc9bb4945d18129c7f2dae7ba52dd67743a6c60b6856d71b29ec6c2e36ea  verification/development/Audit_001.log
7dd4ab52c8fff191a056be20c44276d93606cd50bd9467220d340a1a0fb7371e  verification/development/Audit_002.json
ab38d24a8a14f8f95b0c34da5547b006f4450fbfa1c047ae5b4c2c54d5dd1542  verification/development/Audit_002.log
b4d51b96ddc48ee6daa655531522d587d145743e6807b531f2dcef03100beea9  verification/development/CheckNames.lean.txt
58fc6ea7e813061e502f8c25333e7a84fe300a1fc7d552144a29c8fa1c16e947  verification/development/CheckNames_001.json
db74a230b3cd307f222e0f433e7cc262bb24972e5db42a10ac8729ecc5dc7daa  verification/development/CheckNames_001.log
3e99841cc82ea9aef58c286d159315bbe794c4c23d1657c04dcb92820acdbd3c  verification/development/ClassificationConsequences_001.json
3a408308748e9ab3352cd49ded89264f8debfbef972baee866545e3b881c747e  verification/development/ClassificationConsequences_001.log
452e8d6e051913539e3772de11121cb04599158be90f7fe1dbe679caf24402d9  verification/development/ClassificationConsequences_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ClassificationConsequences_002.log
b2430f212b575c2dca01b78a01464f7a3611013bbccb2d7ef76c4a0d859aa2b5  verification/development/ClassificationConsequences_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ClassificationConsequences_003.log
a6aff55d4ab764afc8626a4d12f903d9d18544bace0064f2e07aadcf65206226  verification/development/ClassificationConsequences_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ClassificationConsequences_004.log
ea45e501ec27ab619540652683809295ed31ae888a5d9b1b28b3ada6da6cdf2e  verification/development/ClassificationConsequences_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ClassificationConsequences_005.log
9eeadcffd15379650e9e0b6b64541311290a2af5e777932e588500239f44c3b5  verification/development/ClassificationProbe_001.json
7aaa4bfcef1217b3a8a8f39d1c5caeef33a765e30631ae7305c5780c095ae808  verification/development/ClassificationProbe_001.log
bc3118de2f2b8eaf7b13b344eba0a7029b47a6e930a0897ae0e65b2c8227ed91  verification/development/ClassificationProbe_002.json
9d6dfa53f86c4f823b539f690d0b4b4b2cc41e0d18a1991f52948521592c1a48  verification/development/ClassificationProbe_002.log
d72382dffecb5917e1ca78b7ccc2865199fd3b635690beaf36bf9e5dcb4785b3  verification/development/ClassificationProbe_003.json
3c04304939cdbd4b49b3310c74165224765b688ded0d33449f556c2c008ab904  verification/development/ClassificationProbe_003.log
0ae8c096595ff73887ae26c52acc0b1bcc675404fe6e8a34eb0eabd83e1e4e2e  verification/development/ClassificationProbe_004.json
95c0e8ea00ea21251268c13dd280e8160a6a6337e137d159c32da8ec46b4d66b  verification/development/ClassificationProbe_004.log
3379e7114c8364d963a66febed09ccaae79738ffb9bc2f41c118c7a75a0119f0  verification/development/Cocycle_001.json
21473239b94a26fb77fb5e188981986b0d467d5b44892da59c620bf2d912abc2  verification/development/Cocycle_001.log
79dafd09f43e7447b4ed4a66021b4477ccf9fdf4a1b744ab4eab3f5b130106c2  verification/development/Cocycle_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Cocycle_002.log
9d06680b35a42f193bee06920f68829f5e0246127281d78cbfb4f873e9f3d4ce  verification/development/Cocycle_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Cocycle_003.log
e09f6b256042933c38cb3d5cb6dd3dbca1eb924cff1d871561ebe163438fd082  verification/development/Cocycle_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Cocycle_004.log
b66579e9ae6de6218b79dfd0129da7ddefa65b4313e33957c6c178f7e7723ae3  verification/development/Cocycle_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Cocycle_005.log
aff6154ee04c5e9baaed390ae89f336939c03ad7e4bae36d251b3ee776a7f491  verification/development/Cocycle_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Cocycle_006.log
53bbfd552c60b03d6b06d25d5b69947377040d62c07946089e85b179074d24c5  verification/development/Cocycle_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Cocycle_007.log
826782a2a3bfe8d21840fae68ebd303e11a40b6a287121ca6ef90c3793ca3a6b  verification/development/CompletionClassifiesSource_001.json
84aea0235bf982c057dca89eeba7bc1cf34e9969dd70ddde7d92248afb9c2edf  verification/development/CompletionClassifiesSource_001.log
bff20a3b25fdb003274b23bfe8e719b36f21da2c3e0f590fd495db5b393bda4d  verification/development/CompletionConsequences_001.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/CompletionConsequences_001.log
88456f6b165b8650d13b9c5d99ee54e6461e144e51d8b0020cc2fb2223177a6c  verification/development/CompletionConsequences_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/CompletionConsequences_002.log
64580b72cbcbecb0eb57efa14e97cca255dba730176609658c0cc8cf84ce375a  verification/development/CompletionConsequences_003.json
d5635b136581c564ab658837d5187ff06fc17e75aae0e7e5787a37b8ce59af65  verification/development/CompletionConsequences_003.log
51e08d450f862eaf00e85007756db8856ae3605083f8eb26e049b048e7670b34  verification/development/CompletionConsequences_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/CompletionConsequences_004.log
a7c558700bd1bb32a70e38a9ee77e8253152487541371013fb84bf359e57ee95  verification/development/CompletionConsequences_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/CompletionConsequences_005.log
8914a27ac62c3a32f224870354d31d92931c090cd1791baecd61c943cc7ce2c2  verification/development/CompletionConsequences_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/CompletionConsequences_006.log
107edf61a8d0b94d2c5e6d35d3fa2720b621c56c33e4207be2964f8e4bce2878  verification/development/CompletionConsequences_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/CompletionConsequences_007.log
feffe34cf83ca8731cd91075f0f627a605737f736ec6ec5a4dc345dd56a732fe  verification/development/CompletionConsequences_008.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/CompletionConsequences_008.log
07dc2af32781693d35c56e24e671b07db31ef3a6f2d34922b577bd5198e02814  verification/development/CompletionProbe_001.json
82b5e5034676e19b12661851d4289796a76f704d08674a093b4b95e304ca2400  verification/development/CompletionProbe_001.log
47519783f09530c0a9dfb8e813a7abc1c642d4394cd72880ce3720b464cf7502  verification/development/CompletionReflection_001.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/CompletionReflection_001.log
f3eaf76a0a88207fc13dfaccbc17889ccf2d672852634153dd27726cdff338d6  verification/development/CompletionReflection_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/CompletionReflection_002.log
eedde9a7aa8e3318cc6309c61a5c648393ff138eda3ceb171479f6c221b645cc  verification/development/CompletionReflection_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/CompletionReflection_003.log
f2eb3b8fa7583d402d45ff47119ae27671d6d97de476c6cf26f250baff2d91f1  verification/development/Contracts_001.json
afda55f90b5c15f74d5a8a600c9dcb13a39d9ad70a8281b3a288ab535a11f58e  verification/development/Contracts_001.log
d45635e436a68becc9febd984ff10dd072b1d1a4301f09e22249bd33cc3ceebf  verification/development/Contracts_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Contracts_002.log
f8b97fe68187013622e7bde3974f3438cebb6d33945e10aff14230b8e7ba9458  verification/development/Contracts_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Contracts_003.log
dd3d94fdf5e4df344fae75b491a4171fa7179901f2ba19dcb918b6d40bebd062  verification/development/Contracts_004.json
f235087952aada38bb2214ab1402f1c46cb525584001dc4da9722caf5715e277  verification/development/Contracts_004.log
b25a04b5d28eeba6e4494d9c271f406a7f7ddd8431dc57e37cd0770b19cd75be  verification/development/Contracts_005.json
b4456703bdf59cd617860522f82e1705496ee3a300d975fe5fe5cc7b2a0911d5  verification/development/Contracts_005.log
3153ce16475f36d21e4a30bd063f7bd415d4cd0de3949d31fea066aa7bb41553  verification/development/Contracts_006.json
f093d4752147effe73d72782b1d350db89d7f65e82f009209faab849858e8d57  verification/development/Contracts_006.log
b958177207b1fc26d89bf15c720247007c2ab3b943746577e55b45535c47db97  verification/development/Contracts_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Contracts_007.log
9ed93c221983fac15b13bd8c635848334659fa82459d1ec9bad83fe61154f3f4  verification/development/Contracts_008.json
8c19d35d67e1af05310e114acb55328e8698546fa05842873be861875b248897  verification/development/Contracts_008.log
cb9991fd6cdcf0e3b8799c4f9a8f087666a080a1e8aec28a8b5c72bee0bf1378  verification/development/Contracts_009.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Contracts_009.log
4db8a3fc022dbed73e11e122cd56d58fbf32dcd24a4be9d7ee8f7f45876911a2  verification/development/Contracts_010.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Contracts_010.log
f24d2c4cf82a9019b78dc4ce09142f152eea39a29c964aada5dc2e94e10d0620  verification/development/Contracts_011.json
a88703c6e9fecefe2e31eb4bb699695572214dc09ee394a32cd894bff27461cf  verification/development/Contracts_011.log
96b4fce57284b3a686f2ca07b8cec8c5539ba075896a98834087c2a30ab8d7d0  verification/development/Contracts_012.json
94f60de10a8ee76776627e85d7f2b1215ce0128067039453ec758563a5ab342d  verification/development/Contracts_012.log
b8aa2f8965eb153cc463ca5553680373f5dbac5e58f1c021dbc1d9e59a52b1dc  verification/development/Contracts_013.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Contracts_013.log
f35d97b114fde2a4703ca4bc8d6365e7dbde90159904443d5e1045879d7bc664  verification/development/Contracts_014.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Contracts_014.log
941257f837490241c1f640daff7978b4f1dccd7303a3e22628d1df913b15b6fe  verification/development/Countability_001.json
aed57aada703a64052effde2dc182b9e4f1cda118ee323a00297badf67e0ba6e  verification/development/Countability_001.log
9b4b060a3d8de0cd92bbed00c53627c52f01808398ffeae3c379d92c46aba4fb  verification/development/Countability_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Countability_002.log
6473c6a9be080e1a93e8bb05dcb80c9166f0c4ef42eddf674f4852bb06b0621f  verification/development/Countability_003.json
ad5ba105a03edab24ae1b8f83f642ccb506d027ec0721171ae06f5df007145ee  verification/development/Countability_003.log
17b245163b95504ff1e45390520bf7d0ffaf399daa9c621e8b45b112acec020f  verification/development/Countability_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Countability_004.log
3516385ca34d39fa5d0051728be29658a77343adc160f410329f6bcfa5ce9391  verification/development/Countability_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Countability_005.log
af324a183838c7b0bf3ab96386019a10aaee5ef79d219d71d84db8431480954c  verification/development/Countability_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Countability_006.log
89cbdb3c67edc6b80a5a9f3be64a1851fd1a48869e4aa1850682c5fd83d0b8d7  verification/development/Countability_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Countability_007.log
d97d33a6cf94ed63ab2a606b609934e6fcc772f4b91a9cb3e2f2967f001c8ad8  verification/development/Countability_008.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Countability_008.log
208eeebfbe8baba6dda495d88e32d0cf15303c46b88a4fb92ca3f4f183883a78  verification/development/CyclicFiniteTargets_001.json
e0ed3843d8c89717e8c5643848eecb68b21e841ae03b0460a2fbfdd6a2bed479  verification/development/CyclicFiniteTargets_001.log
c314a8e1a85264995a2190ab9fe05dc761f75b199b03a23381662735b0f7a27c  verification/development/CyclicFiniteTargets_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/CyclicFiniteTargets_002.log
4a9c96c83f3833dce667882f81e48329c40ca90498d093285ca18ba9b5a4c049  verification/development/CyclicFiniteTargets_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/CyclicFiniteTargets_003.log
25d2b5d9b5713e0ab1d1077f768cf453aaadd6a12cf543bca7474040fcdce424  verification/development/CyclicQuotients_001.json
929997e907937045d4b2982692c85858e6e015c63020304e8701f5d72054f3d8  verification/development/CyclicQuotients_001.log
c4bb5c2e0b446ec2c135f357b169041ed6da2117bde8b78c61c8f75c466f04cd  verification/development/CyclicQuotients_002.json
4f441321947d7d914f93f0045440d8814a74affa3bae0881a838fb40b4367afc  verification/development/CyclicQuotients_002.log
5d273e0f5f5ae35a23489cb7595ff86f2723f8379d9cb1a3d8db262534b553cc  verification/development/CyclicQuotients_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/CyclicQuotients_003.log
c8c04ebad4fb0c274f4440dae4b5ea6a7e83da5fbe245eca33122abe24a3ac71  verification/development/CyclicQuotients_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/CyclicQuotients_004.log
ca2eff228eeca621c94af7320b47b5e439e4d667e08a0fa2fe83f77d180d0b49  verification/development/CyclicWithoutSquarefree_001.json
f54c673f6d16df7a270af8017673bd5e2bf334bc26bbd2b02a43c071ff430eed  verification/development/CyclicWithoutSquarefree_001.log
82079baa588bff48b6ebb083651cc32bce12c37522995d8f53d37d01933204af  verification/development/CyclicWithoutSquarefree_002.json
b21264a68cd24fc101daa2cf81c5a7e7aee4b506cefe1df25652d9b9ab357501  verification/development/CyclicWithoutSquarefree_002.log
903803e726de2b43ef97a710fd921e715647241e43e8d28894136d037c3e3844  verification/development/DiagonalAutomorphisms_001.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/DiagonalAutomorphisms_001.log
f7b2f58a4927c7c55594f62a53ceb194acd9f6e456322ee64e9ed6ff35a8b5bf  verification/development/DiagonalAutomorphisms_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/DiagonalAutomorphisms_002.log
e4ecd8b9a25e548d1992003c5a005de66b9abc752c39e6d4edbd828dfaf3ceb8  verification/development/DiagonalAutomorphisms_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/DiagonalAutomorphisms_003.log
7bcd2df91f959901f4a8b0c3ecb686b4d1fc177b9c5732b91b1c88faebd6ea94  verification/development/DiagonalHomomorphisms_001.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/DiagonalHomomorphisms_001.log
b356d09d7450ed9d8094f37535a14527aef14897a45de39b7343b871267687ea  verification/development/DiagonalHomomorphisms_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/DiagonalHomomorphisms_002.log
900c8b76551c424bc66adac5b17cb9146423407858ec08d036203f494d18100f  verification/development/DiagonalHomomorphisms_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/DiagonalHomomorphisms_003.log
3767091c2711ae4bba530decec9d7b4cea76cd9b5be6686c53665f1654752e84  verification/development/DiagonalRealization_001.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/DiagonalRealization_001.log
8be278b2bfd74e8499e6c70746d3f7d7614966a2ec4ec458028fb75abc2afd5b  verification/development/DiagonalRealization_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/DiagonalRealization_002.log
e9f1fb2b8d217b240bb18f9989d8d09df2f0313dc44e8c67f55fb690bb89ac48  verification/development/DiagonalRealization_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/DiagonalRealization_003.log
aecade0b7d68058cfc61921ac1476f2907442fc168c171a60e93496406fdbbea  verification/development/DirectSumEndomorphisms_001.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/DirectSumEndomorphisms_001.log
1c7429c21d0c0ee0b9d4fe159d2a977c30c8ab1884655f0caa297c8b7da85d83  verification/development/DirectSumEndomorphisms_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/DirectSumEndomorphisms_002.log
4d877f8f30f99821fa72165c0892bef486bc03518e8cc600ccf7961f2a867c51  verification/development/DirectSumEndomorphisms_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/DirectSumEndomorphisms_003.log
92c85218b8003a8ee3c030a200771a0aa3c5eddfbe56a9ec275a9f0fec668f9e  verification/development/EndomorphismScalars_001.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/EndomorphismScalars_001.log
8415dfb3d1610fb8fcfaf1965de8940affc3a034ef2668da2082ad9d253bb241  verification/development/EndomorphismScalars_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/EndomorphismScalars_002.log
c66743fcd1a673bd19160864e5af9bd13ed657269ad10be8c8e1ecf7363468d8  verification/development/EndomorphismScalars_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/EndomorphismScalars_003.log
5b4e6591e04b48adc0c8ec02e0db613a1f32eb7063725ca187c4c33d86d2fb03  verification/development/ExactInsteadOfEventual_001.json
00315d9051f61878784915742fe4256e49ab899dcfad7326042c808ef11be1e8  verification/development/ExactInsteadOfEventual_001.log
51dcdc47eb67355e7566c44eb516f8aa3fbb74839081ec017aee2ccf8018af51  verification/development/Extensions_001.json
fb0400514bcea98d1ce73e1d91248b8446acfada94dad3d0552accd79f1fb5ca  verification/development/Extensions_001.log
93c132bdbca6fb4b114e0ea4b6e04eea96204c15c2a7f73f01acdf25a9a6ca18  verification/development/Extensions_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Extensions_002.log
f5c2f8ec6c0dab1d86ce08ffd42e702acf0670193032774e92a3e626763875e1  verification/development/Extensions_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Extensions_003.log
0f075e4ddff3425fd046cb1210721fe031d55766e6791c50bf482609b51777a1  verification/development/Extensions_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Extensions_004.log
cbd946d44db18d4e2e2ab52a25f7af7c1ba19833748d2595ae9cd0d65d82f7cc  verification/development/Extensions_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Extensions_005.log
d8b614077e2185f51ce26468e7de85c80201d1cf91e7ea93e758bdddce09fc87  verification/development/Extensions_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Extensions_006.log
59069ab857a9e2e6286a30c9a9f52de427e2f6932f96b9558f0dd8f3ce0da6b1  verification/development/Extensions_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Extensions_007.log
5a10340b210b3ba28645b53349b552e6b6ebce509877bac0a005e01d77501682  verification/development/FiniteChangePreservesMark_001.json
78c9ddf37ab526dd79862f5ce834ed9b1639d559e972538c25130c29b533dae0  verification/development/FiniteChangePreservesMark_001.log
2d0f53d80ee2e90a98179cba22a179c4b63a851c0683abc01448a27d2a0be709  verification/development/FiniteQuotients_001.json
14deb5cebcb147e46adaa0a2d6f458b6fd7dfbd2e5e1b2c321815d3bcaee3a03  verification/development/FiniteQuotients_001.log
b975a44a7d5e928986992982db549c85b28f7cfe077832a56f9029f519e49725  verification/development/FiniteQuotients_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/FiniteQuotients_002.log
40bcc15f093465f6820fe5057dafa8b68f04b982b406cd3153ead64963d98d9b  verification/development/FiniteQuotients_003.json
0fae5dccf1bb67ce92998331311366204693368f81a320104a52ccbd653268e4  verification/development/FiniteQuotients_003.log
507d32f8c1ffe8db16c5a560ad03cc97e786d5c43d0b6ffa0b8c48f521a3b771  verification/development/FiniteQuotients_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/FiniteQuotients_004.log
106a87823eefbfc102bf8339b5baa9efc8146c52ff4dd3c7441950c5ed17b94a  verification/development/FiniteQuotients_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/FiniteQuotients_005.log
1c71bebe8e6682dea7642aa03cf261ceb7ab4b5113582fd2b24661d44ffd9185  verification/development/FiniteQuotients_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/FiniteQuotients_006.log
ed09d57550bba3bf2874ea5bd801f1d040431711c02b463cf339ac323921970f  verification/development/FiniteQuotients_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/FiniteQuotients_007.log
993b251eb5c723d089d0ff40eebd6eaa7d992e455cae6ee8e9a90687945a08eb  verification/development/FiniteQuotients_008.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/FiniteQuotients_008.log
68abbc0502537de7399467a1564d37907b19cb315dd6f5273103ed6f7b67d803  verification/development/FiniteQuotients_009.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/FiniteQuotients_009.log
d117ef5609b4896af30c97357ea55b935293dfef3e665492b28dac966fe42ff1  verification/development/FiniteTargets_001.json
648e03c34469e6493e003f61facbf085538349c96251e2a2c375abf00df957c4  verification/development/FiniteTargets_001.log
05002ce3863010fcc3fddcfe616d7d49960e42c231639510a3308a5fcb39dd15  verification/development/FiniteTargets_002.json
33e950abbb2c9d619e1a8b0723f2981d19a9d8a027788ed00e8275be2cff8198  verification/development/FiniteTargets_002.log
1934e933bf342fac288760ed144b7f3f503e2c53c8742b5e717e3d3a16ab50f1  verification/development/FiniteTargets_003.json
76787bcafdef8e68bd74049b545d2effa8d160e1f277ec61492d9f967a6aa8d1  verification/development/FiniteTargets_003.log
df69873f0030a7f661f961a20f64b74c1ab9d4384d92f1ccb34cd17c0025af1e  verification/development/FiniteTargets_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/FiniteTargets_004.log
18df17fd2744d706f7bab944a2b025344530c5e6378674ce89b2d5a46b1f9a59  verification/development/FiniteTargets_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/FiniteTargets_005.log
649c18676a2d6603da4e39028fff60fd70453a928e44a03be2fe4a447da4d9af  verification/development/FiniteTargets_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/FiniteTargets_006.log
229964d6a7f302df305c4bebd445dbe197f4c0cfc9af8e84f3e1c2637bc83732  verification/development/FiniteTargets_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/FiniteTargets_007.log
74f6cc23490d514f95b1c1a3f6cda700f7cbebab3b5bd621c2bf7ed2e7c9a46f  verification/development/FiniteTargets_008.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/FiniteTargets_008.log
3cb9ed3164ae211a5e28bc68ed9db5a7d643afba8ccf69d9c66770f352f0c53e  verification/development/GenerationConsequences_001.json
1c5874676073e3572f4ae0a0b1b6743fc65457c1fdf013f346c565f56117f466  verification/development/GenerationConsequences_001.log
1e1ec702bbe387d0798f406988b24d598bdce3dc7f615800ed76901595a1e9b5  verification/development/GenerationConsequences_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/GenerationConsequences_002.log
a75fc8a54276025d3eb7f3ba537cc23558e4db518bca41ac163e363e37d39e71  verification/development/GenerationConsequences_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/GenerationConsequences_003.log
8f5213d9af5cee40bc29d43249af206d469f832860dd1e5ab0c1873c8be8133f  verification/development/GenerationConsequences_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/GenerationConsequences_004.log
4651a8e79ddce92f628fe126bb32821b16446bd266ca73876e075e934ed6e6a1  verification/development/GenerationRanks_001.json
63eeeaf117d579ccc6e0d4f53ffed0aeab54518cbc0dcbd4a78eb45497fe3159  verification/development/GenerationRanks_001.log
faedadcddb4a08d792a94a425a79c40a697fe41e23bfe8708673ef40a4b74655  verification/development/GenerationRanks_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/GenerationRanks_002.log
7c78c65471ac59c2538079361c809656a81f33b97cef8842e7ed72df8097f94f  verification/development/GenerationRanks_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/GenerationRanks_003.log
feaee61f3f6aa227c167ddb15183afe86b8905ff199559685d252d1385be579f  verification/development/GenerationRanks_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/GenerationRanks_004.log
293f9afbf983c5393077b8c4817fcc8bfce37476f1605751cd77ba28dfa80057  verification/development/GenerationRanks_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/GenerationRanks_005.log
53dc7b12df4989d300df3e31887f99d59dc7de80eee20f97e486f588c934a11d  verification/development/HomomorphismObstruction_001.json
51e0dec141719523437e3d78255e3b40e6880187c3bde59988821d1dfe829852  verification/development/HomomorphismObstruction_001.log
e9c15a4c0a62579c2db8f879527d90a0d2eff05adf208b82e3e1709129b27325  verification/development/HomomorphismObstruction_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/HomomorphismObstruction_002.log
a736701de4f33852fd98ca7b4ab49117f47c138d65c5468f4bfe51e9234c25a5  verification/development/HomomorphismObstruction_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/HomomorphismObstruction_003.log
d4f7540aef20e12ec2dbe7d4a9a1e9a3ba660ee77ee19c0fca896aae399d1198  verification/development/HomomorphismObstruction_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/HomomorphismObstruction_004.log
2eaa05ae6d3054a5243df87e3b381b8e140f2fa600468e570a52e5b104a4fe6b  verification/development/HomomorphismObstruction_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/HomomorphismObstruction_005.log
f90c49c15420b11ddbfad2dcc4942e0d108e4092b9194b74ace067b15a89f68a  verification/development/INCIDENTS.md
178299dc9802c8408ec01a3c1864b582030adc7139f886b6e2d6b19f4579daff  verification/development/InvalidRadicalTransition_001.json
857bf84b2365e7761cc558c3b6a5ee376f3724ed76f1f600ce4cdaecda8ca41b  verification/development/InvalidRadicalTransition_001.log
7d7c8890a1251254ec8c062497c0d6f289cd980d1f9deb0b1983e028ec1d7379  verification/development/LiteralUnmarkedClassification_001.json
0aa6ea219c337569d5b483fb9ec383c95f0e72860cb16fe6dab4890e55b79606  verification/development/LiteralUnmarkedClassification_001.log
fcf99275e574e9bb22dff29648b21c95483266dd1241ff8b9467db9919c3c871  verification/development/NormalFormTransport_001.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/NormalFormTransport_001.log
ccfa7ea710d7f805cadd2d878c0e1aa9aecd809bbf2e02366e8dba91a017369f  verification/development/NormalFormTransport_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/NormalFormTransport_002.log
b69e65779e03c8803b330a3e7cdc3acd4f3a3ab2dc2a0e6203a861ad502304cd  verification/development/NormalFormTransport_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/NormalFormTransport_003.log
bf70b1dc9afeee0f0b1cee4e9b0e1541db7e9e8d7e81d5814f4d52c1702277ba  verification/development/NormalFormTransport_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/NormalFormTransport_004.log
4ce84c199703e242bdf13a018a8fd3aa33174957c19c60d9e5b44440fec205e8  verification/development/NormalForms_001.json
f352913135ee5ef4cfd0d0e1796baa6db64d82ca5ffda755a272a56f5ef85404  verification/development/NormalForms_001.log
649b6d2903d51aa6760e2aac184e5b67503c9e578d61970708c75932b8a1256a  verification/development/NormalForms_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/NormalForms_002.log
3b2269ff2e2964be0302acc21bf8a95dbc9fc87f40f402bf4fb562231fd4007a  verification/development/NormalForms_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/NormalForms_003.log
e25d88e1a1856282897d1c9af8ffb4c85bfab8df9f158844572d22d154de5b85  verification/development/NormalForms_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/NormalForms_004.log
4e943b0fd851ca41cd4630bc2a7dbc00365c4803e1f62853618ae301d482675b  verification/development/NormalForms_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/NormalForms_005.log
c8781a01820a77b89c288da3761836228a6f76087f32fb0c7d73b5b695bdcd4d  verification/development/NormalForms_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/NormalForms_006.log
8f319d92144aa1d2942079c239f1590deaa12a1a18f8e0d69a84753c19d61e8c  verification/development/NormalForms_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/NormalForms_007.log
3781ea125f0befd843c8ed30c46587b864c1724ca503a8b8d547f0d6675f4b0c  verification/development/PairedPrimes_001.json
a278d99f87a2c7f4abb45a5bb6b7ca7eb73b152b6d7dcbba17a4ddf15eaa8d09  verification/development/PairedPrimes_001.log
3ea7ce75ab0d14022c38c0e7f8a319edd853f694ec748cdc70a7dba0ab0ebb74  verification/development/PairedPrimes_002.json
8c1dd65915c64c67ee222ff6b9a2fa7193350ecc17bdc6e6e571049a04f97118  verification/development/PairedPrimes_002.log
5217145691b1acf45c0347df6e1c365cb5069febf4f86a210095d4326cd55657  verification/development/PairedPrimes_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/PairedPrimes_003.log
3a5125fef62dc9a625338f9fbd3be14da2f2d7a9dd9ce467fde55971f1d79f59  verification/development/PairedPrimes_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/PairedPrimes_004.log
97f7e65a24d9472f53cc39a6351cddc08ff6ccc78a15c724bcc37c0ac738b5c7  verification/development/PairedPrimes_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/PairedPrimes_005.log
0018862cf932c2676a5c6372d8317f6760dbebb59d76afa78bc713701b199e3b  verification/development/PairedPrimes_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/PairedPrimes_006.log
766253b80ad8c400e59d821db670923a25baaf5d02d478094121802e805b4614  verification/development/PairedPrimes_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/PairedPrimes_007.log
7fbe12b34f9aafdfd22d4db84240c6465caa48170d8fc0b84f0bbbf7394c515e  verification/development/PairedPrimes_008.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/PairedPrimes_008.log
065edccb8fbd097f4265adc3e200006523e14d7c59fc8b30f863a3871773ecfa  verification/development/Preimages_001.json
eb2f37bb57bc7a0f3622e6a006f0276e483060d6f44ef80ba93f49a4ec724156  verification/development/Preimages_001.log
11a8f8f7203d3015ac11a70d2b37dce150e9d0226fb729a4874b8db3cddcd85a  verification/development/Preimages_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Preimages_002.log
86845850d69322a64838fa8efaa5d108049cbbae65bea28ec9d16a064fb64bad  verification/development/Preimages_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Preimages_003.log
6447bbc2b82dc5dc0754d5f6679e4b6ea4c5f476f3a8b4ee9a7d03954b73cb70  verification/development/Preimages_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Preimages_004.log
1953175fab49a3b8714d634f91f5e0f9d87ec8a98b52fb9a754e7e162d0fb905  verification/development/Preimages_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Preimages_005.log
ff6b40e0d10f8fb127e2853b905ed18d607a9f7a755e0d45ad5316839ac2a588  verification/development/Preimages_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Preimages_006.log
233117a534497ef1baccbbb8a1a8545af7f86876076b33ccf8ab3f51f3df8b95  verification/development/Preimages_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Preimages_007.log
329de2a25b58868b0ff1e1ed402896dcb97c5dc1347c91dd44575f7da2fd5d73  verification/development/Procyclic_001.json
a06c80ee0dfa9bdb66109c45317e94b3d127cd0f07029bb8419e6c6dc9993298  verification/development/Procyclic_001.log
b0e6dab0421cb82d6d4251c5853bc22c49e73173120890a5d93f91d2ed68fe36  verification/development/Procyclic_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Procyclic_002.log
83b2f992ab155f92d9a780be060a38a08e76f5e7bed37fe9201da88fd7e30d10  verification/development/Procyclic_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Procyclic_003.log
fc35c6387563c13764d4cc52bda17fd53e0825196ede49fee83da45ff7fb2e91  verification/development/Procyclic_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Procyclic_004.log
30a7b74534095d2ab3c59e1cf0e887e2f20f98e80aac81a830d1fb6baa1a5585  verification/development/ProductTopology_001.json
5898040e5c9d15be91037c782d43c37773230c4ffdb38efaff820dc88b89ce49  verification/development/ProductTopology_001.log
c57aed2261a9352a97ea2946f013d0f362d1193a4d91e27676a1fee5b8c1e49b  verification/development/ProductTopology_002.json
b08c26d20122966177d42338b24a8b0e8069d1de9f8d549eb53ad4ee7c482a39  verification/development/ProductTopology_002.log
e4ae7d412dd731fc2c18dd53db546389559a7c3c6ec3554b18b21205e37831d2  verification/development/ProductTopology_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ProductTopology_003.log
370a75926a2de0cb968c93b4ff50f5afa551c83aeb82f67d3a60a0d7126e227e  verification/development/ProductTopology_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ProductTopology_004.log
0c174dd53a18364384b7d0a392ead776891728545198cc2a90e9488388c3e439  verification/development/ProductTopology_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ProductTopology_005.log
34dc1ca5d1d4ec8044ffbecb0ece62c5a7f1359d63dea800cb5be96ef8144d8d  verification/development/ProductTopology_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ProductTopology_006.log
fa2f709908a959655a068f6da36786bce85e83045f3bc76c6f65fb3aabfe959c  verification/development/ProductTopology_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ProductTopology_007.log
aa5f4a351008666f76f67e9917445af44dd371e7d1fd931d81389bda2ce64327  verification/development/ProfiniteCompletion_001.json
f1a3febe3e65441c07a7168ec06ec4aadb6171125c182b6629141b26f86af016  verification/development/ProfiniteCompletion_001.log
0e067c1a04e4822fea6f508e21b487d67e3033761bee6de64e7baeb1656f3e5b  verification/development/ProfiniteCompletion_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ProfiniteCompletion_002.log
d545205ee719e7ee12c9fbf9513fa2912a3ddb6cbabc90e1749305cea69f3399  verification/development/ProfiniteCompletion_003.json
77734098a1f1b426d3a084e1a6a8129514bb8c9189457c02768149f0feb79d28  verification/development/ProfiniteCompletion_003.log
62a20d3a4be565527e091d63089959d97dc9f186aa2ca6523ccc563d4def5902  verification/development/ProfiniteCompletion_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ProfiniteCompletion_004.log
29c5c550528b12da4b7ec7debab441c3adba23757f37a645d522265096ece2d3  verification/development/ProfiniteCompletion_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ProfiniteCompletion_005.log
e91b0524ae80dc2b4d788abcc65bf367ed818b34d87c56255fdc1f2524cb1e9d  verification/development/ProfiniteCompletion_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ProfiniteCompletion_006.log
f5ca5f341a6a87402176a1cc39a4f7495f8c310ceeb1bf1ea0b741ce0c5052c1  verification/development/ProfiniteCompletion_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ProfiniteCompletion_007.log
f81a021aa7b7d981306255954958624a4e69f70f2c4c4d473d5e74031101329c  verification/development/ProfiniteCompletion_008.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/ProfiniteCompletion_008.log
43e40537e12e51e81af49b08938d6e6ada396b90e7e1a7bc4bf8fb782d4390d7  verification/development/PureCorrespondence_001.json
6284d0d7caac742812cf709b98272d9ac67f4b5bc2f661a91c3cd6fbf3ce00f1  verification/development/PureCorrespondence_001.log
1f40b39ca6391c325a239d6a8d03f56befb9e4ee36086be2063cadc1520182fe  verification/development/PureCorrespondence_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/PureCorrespondence_002.log
50f560e4aca957459ffafc91dc4e4c366b2b8bc934b62b5b80b6521fe60a9f7b  verification/development/PureCorrespondence_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/PureCorrespondence_003.log
8c1520ecb04c7d0575d29bae9696d4217dac9e7737830cd6d9dee390a41acaf6  verification/development/PureCorrespondence_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/PureCorrespondence_004.log
303e608ae87aea8f80b4e79a557b3226eb4d8d0c59a462894d26fecdd9be54e8  verification/development/PureCorrespondence_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/PureCorrespondence_005.log
8ee016627108ca3ebef50346dc0d14d5ed9780075d727b7e58842753b4bcb383  verification/development/PureCorrespondence_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/PureCorrespondence_006.log
9e12b469a9ad45a88a7f24b18d276d1051a167501ffbf205bc730385410554cf  verification/development/PureCorrespondence_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/PureCorrespondence_007.log
8d11b20358c19420913681d9be66e2b618a360daa249a9cb8f191f2b15790280  verification/development/Quotient_001.json
930c8070fdcea1c2cd2c30a98110eaf4125b1697356d38ebfb70c188e4807704  verification/development/Quotient_001.log
0aa2a560243e33bbf9e0ad55ee1c3a87de25d345446eba28bae4cb9b7d5cf52f  verification/development/Quotient_002.json
5707425a95176d19b9387b60847147e5f528a3b11ea23cee22556c0b526ea084  verification/development/Quotient_002.log
3b8e3d38f8813deb8c479a5f8c59929574b4a4f7c7cf6cb57849003a5cd0066d  verification/development/Quotient_003.json
9246b922c51ab84a2e07b6a2a90cb59b45d8b4c5cad61853aeafbd4b5041251f  verification/development/Quotient_003.log
2e72ca67fc2e9b17fc5654ee5e4f56d617b9433c0523b88b373a4083fd796059  verification/development/Quotient_004.json
aaf16cd376742c7f191771b2040abb9341eff2abc090b9bb03f69fa56d01434e  verification/development/Quotient_004.log
d311f6df9cae80d506bc15202cf293fabd47ff390cd467e3eb282fcfe754dfa0  verification/development/Quotient_005.json
8ca30943e2fb505941d7d20fc854d9fc0b3baa780f8fa2560a257b1822a94bc3  verification/development/Quotient_005.log
8554e87591af7c7ee7d387a2d008787f50f91a5875812176b158b13f67bba760  verification/development/Quotient_006.json
8ca30943e2fb505941d7d20fc854d9fc0b3baa780f8fa2560a257b1822a94bc3  verification/development/Quotient_006.log
4d601c87af29384bbca2978a0c54653397f74b8842a748d96a34687419407e79  verification/development/Quotient_007.json
e9f986d675815bbe17e01c6fb5b93cf1b631d39ac16252690ec28040650593c6  verification/development/Quotient_007.log
c19c5ae52c84fb1621611e9bbcf5a0bf74c054f08af35584c0c6b8577106b69a  verification/development/Quotient_008.json
dc26843cf39c1a1d27c239821d7a1462aca98551e3f9eb223815e2e8c7f3226c  verification/development/Quotient_008.log
97ad55f686c3ded06b24252b1cdb91237642839a51e1fd199d701c11d231dee0  verification/development/Quotient_009.json
d8a313958472b50eda1356f3ab080cef3d278a7a0fbac670fb9696cc749aac71  verification/development/Quotient_009.log
bf1ce63db5b3d1e12b185bf2785a6787c2bde312295cf21c19a7e8341275fd0e  verification/development/Quotient_010.json
057f33e5943588544ee2568a7960bc3316c6d7919dee8292778af072c955797d  verification/development/Quotient_010.log
1aedf15f5e29578787a1398e4c55e1ea8801b3d84999b99144e9c8e87db7ee0d  verification/development/Quotient_011.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Quotient_011.log
9f587fadf9999448650fc966102f36f9755213eb28b664fba1626dc1cc8fb474  verification/development/Quotient_012.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Quotient_012.log
cbdc5146b5aefec325fdf2915d9103d837b694c260573b7bd865832605ce0698  verification/development/Quotient_013.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Quotient_013.log
135e21a07b7813ed922d36ace547211304c804a9b1ab3e0c3083eea5a43946f9  verification/development/Quotient_014.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Quotient_014.log
e513c489d33f21a2b537804ae4c7cf7a5e1de8d482ba62c7f7a9e22e508d446f  verification/development/Quotient_015.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Quotient_015.log
542617fa2f259296451ebe73456131d2b3b2b6466bd166665f5bf043e8edf24c  verification/development/Quotient_016.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Quotient_016.log
47fcbcc7a51f62643f2b7f9cff0ab97b4e306b99acda03f5e60bcdcd7a976707  verification/development/Quotient_diamond.lean.txt
f2a4d2020a0cf54a4362a0672988f782b71788f5354977b10f90c56a362264ad  verification/development/RadicalCounts_001.json
b99d5a4c6af86943342236504f4ec2e541b14750a0a8716bf3cd9a23e7ae417c  verification/development/RadicalCounts_001.log
035b98f4a6c97e651a17c4e3d0e5408c0ab5f41cff7055b44432a0de1310a4b4  verification/development/RadicalCounts_002.json
d06f31c37987088a9367ff59e1705e3a12396cdaf4e5399311d5ccbf114360b9  verification/development/RadicalCounts_002.log
a99ff2d5d5092be1172290cde646175dea7e2fbbf41882f1ac53ef1dbfd916b8  verification/development/RadicalCounts_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/RadicalCounts_003.log
52ca27a1af8b801e0aeb888f162aebf11c6104e9139cdcd20f326950743b3cdd  verification/development/RadicalCounts_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/RadicalCounts_004.log
0c34658f92b52700d14f181b85da9bafb90900f079b2009c01423a6b53cc6a7b  verification/development/RealizationBoundaries_001.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/RealizationBoundaries_001.log
3d3f4123c3edf8a15f307a2d6fa428939e96cbe74b64fe9eb4153e73612abcaa  verification/development/RealizationBoundaries_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/RealizationBoundaries_002.log
f28cd3261acd35329b7ddc94470f5dd0dba06ca262090d46f103488d78317281  verification/development/RealizationBoundaries_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/RealizationBoundaries_003.log
536767f97f7bc0e036a048fc708e3ddc38dc1474fa351409c4cf7ea90110ceba  verification/development/RealizationBoundaries_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/RealizationBoundaries_004.log
1427787f9b91e3ac8039dedf26a72bee656462ffbe4114de421787a06287b644  verification/development/RealizationBoundaries_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/RealizationBoundaries_005.log
b980a7f3e70447d14fa256a746667b4fdd1248f9c6391dbb1a352f865ff36c4e  verification/development/RealizationBoundaries_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/RealizationBoundaries_006.log
f2b47ef7464107ce64af79e006fdda896e1b5db9919b67e437964b6f2e29ee18  verification/development/RealizationBoundaries_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/RealizationBoundaries_007.log
5e6d6b9fcabd779ee4c5682e665b9db46888107f0db0aaa6a5e9152d51db3600  verification/development/RealizationBoundaries_008.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/RealizationBoundaries_008.log
4aa9072a2a61236eb2ecaaa6ae1ce99192093aed476ed922976d26ab4ab47f0f  verification/development/RootConsequences_001.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/RootConsequences_001.log
e0035018bb06aceb429259b65bc6a13a22ff81ee9263e0e190fb071a9aeabadc  verification/development/RootConsequences_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/RootConsequences_002.log
d14306a47a3dbd018d75d75980f08c18058a5ade8554b21e8ec38766561536ba  verification/development/RootCountEqualsMultiplier_001.json
d4f5e9aa2839591d1926f77d9d7144f8b6a19279786f51d118bf9d1031b546cd  verification/development/RootCountEqualsMultiplier_001.log
c8737288624cdab776c52dfe618ce104f14db741cbbd1faea8b481967fde9ceb  verification/development/RootCountEqualsMultiplier_002.json
3518155e0ac1d9c0d5126da884c84a4767ac9cc1371720f9ab72d895652dccf2  verification/development/RootCountEqualsMultiplier_002.log
8f0fe68c4af91f06947326bf9d9eabc3a982819d181f10c37f0e526df793e9c7  verification/development/RootCountEqualsMultiplier_003.json
d4f5e9aa2839591d1926f77d9d7144f8b6a19279786f51d118bf9d1031b546cd  verification/development/RootCountEqualsMultiplier_003.log
15eaa889ee218d526022b081de9b4e1070f245cbb91a56111b8e32c920564999  verification/development/RootFibers_001.json
eaa6464e189dac66872d0a3a2926583c881245c44e702b8451a67eeb6ab2a0b6  verification/development/RootFibers_001.log
632db5ad6e5fe1c1d1f05e476fe2897c39a779195ad82358d1c02b2505f46701  verification/development/RootFibers_002.json
47f9e4ae13ab2f5dbf79d76fb85b555a202f81dfdc30de14ef53881262f4da2f  verification/development/RootFibers_002.log
4168ea888efc879f177e2f70bb808bf80c2c199ff4c9c957435bd1b448842617  verification/development/RootFibers_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/RootFibers_003.log
4f61864f0f8f5685a2277b253ec99bff62267f584e1165a3eaab352cbc6006c9  verification/development/RootFibers_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/RootFibers_004.log
442f468f0ac335acb25b51fa86db6e2dfc61ce965176d0fe4a5c1124ff343482  verification/development/RootNormalizationOmitted_001.json
bdacba948a1a8aad088a3219606534d1d3c5cf098acfad6d8250f7db5fc5d142  verification/development/RootNormalizationOmitted_001.log
e6943707847f6a823f2b7b658c65713960afe6f9aef8338efd1a83391f8a7b79  verification/development/RootNormalizationOmitted_002.json
bdacba948a1a8aad088a3219606534d1d3c5cf098acfad6d8250f7db5fc5d142  verification/development/RootNormalizationOmitted_002.log
ac807948b37622a24d29288d8d2ddcb177306789cec153d34b45fa8898a381c3  verification/development/RootSolvabilityOmitted_001.json
9e1c324876cde77c591769696eb58dae9f4e1e9562f5c605d41288d67b6022dd  verification/development/RootSolvabilityOmitted_001.log
336cfb787a1bef9b26b29a938e90d6a4b76ed098b1bc8a5525e3da6b7e99ec74  verification/development/RootSolvabilityOmitted_002.json
9e1c324876cde77c591769696eb58dae9f4e1e9562f5c605d41288d67b6022dd  verification/development/RootSolvabilityOmitted_002.log
3ab7efa82fdba49f2f920a1e1b79acaae224dae7fadc7d2624481af33bd09d88  verification/development/Sections_001.json
709a8466c19a2499ac556312013e06f7cd4daaabdec9fbc014cd6eb91ada870c  verification/development/Sections_001.log
d9eb83ba96c9cebc7ea020bbea9f77b482921f7e44614a7b2afc2268ef3e56b0  verification/development/Sections_002.json
990817cc8715af81d9e43cc34ed653b9cf9b71fd6ecc12f75a56317b03cd2efa  verification/development/Sections_002.log
bb2626ee0100bb7b6e0ee6c136ab7465fcbc9cb4240bfbe94c9f936e15cea862  verification/development/Sections_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Sections_003.log
5e851fbd278e910488fb5864235ff3f1c29f2802f276bf686e5f44726a4398b5  verification/development/Sections_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Sections_004.log
81a6120851261bb7e6f1f2b630082e0afd23550c0646006dcaea6585327c6502  verification/development/Sections_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Sections_005.log
b97bb03f6c95d9eb244ea213bf166c705cb6b8b323d591ae032898cd2879eb33  verification/development/Sections_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Sections_006.log
899bf70dc1d8ad6437a8feecf9f7fd214e135895ba27350c9b60c16be573d334  verification/development/Sections_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Sections_007.log
bd062c239396e31acbee87c814ed9f94a2ab243acabe5be494a570edff735f6c  verification/development/Sections_008.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/Sections_008.log
94bbef2c8223955762c7ac16aa1e8ca939e9d5782caf71a2c84f0a05f315f444  verification/development/SeedGeneration_001.json
97347567fddc4c120ffca744d016cecf40a9cc82b716286bc0cddc497baece94  verification/development/SeedGeneration_001.log
73cf1cf8252e9f39c35804ed5aea82ef18f69e22eeff5b6e426b24a250c873fd  verification/development/SeedGeneration_002.json
73b4ad4fc4b0168a53703056146b370e576ffd68247ca447043eca29f8df0f7b  verification/development/SeedGeneration_002.log
890f7eb7409e4ae082b0fb68f5463cc260081e3231417ebbfe3834eb090c6868  verification/development/SeedGeneration_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/SeedGeneration_003.log
56be690d280c0e9bde48259dbf00046c3ad31ad034161da6caa760e881f3f830  verification/development/SeedGeneration_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/SeedGeneration_004.log
e53ed3aa257c1356a878f72b52f98c27d3b2420cbded74488ecb98e8570e8e62  verification/development/SeedGeneration_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/SeedGeneration_005.log
ca09357afa6c08c74a3fed52734220e110632e44bf3509a885cd0fe5cc6a6ce9  verification/development/SeedGeneration_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/SeedGeneration_006.log
8f4e17ee74f319d3c530033498461996e58435f010175fd0d81cb4bbf1f32126  verification/development/SeedObstructions_001.json
353fb19cfa575cace08c9d83a3358df1eb3c346a07e38db2d21f095d5d1469b3  verification/development/SeedObstructions_001.log
b9f458f2cc71d89345d0526ca8c8bfcba9d1d89d2b60975960fbc3d13025434a  verification/development/SeedObstructions_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/SeedObstructions_002.log
30ebbc2658e4a87d133738df082b1c6c7a218f55f97f8cd4aea56d1c879131aa  verification/development/SeedObstructions_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/SeedObstructions_003.log
0ae373a73064d02f12e60be1a883cd6bb9905a5151f3e8a26d7487d7001d91f1  verification/development/SeedObstructions_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/SeedObstructions_004.log
109789b79bce1aa72ec11bb230edce2a5535f2f1a55b5da2859b6ecf7a4ff942  verification/development/SeedObstructions_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/SeedObstructions_005.log
ded529937144e1487ecd84569af7c77f66a6c8f62e479715f8661c7848251ffb  verification/development/SelectorClassification_001.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/SelectorClassification_001.log
be2cade8b2cdaee9d0f1e0f3ddb2b24532a16741ae8a74532de7614160a27d99  verification/development/SelectorClassification_002.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/SelectorClassification_002.log
25cc70810f2e87864d7a011b11952537aba4717c67ead0c64db2a9b3a0fb4dfc  verification/development/SelectorClassification_003.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/SelectorClassification_003.log
5ec96f9f59bc27dd7ba43697813e0f871cd631fb31234bc3cfbec58342d1ef12  verification/development/SelectorClassification_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/SelectorClassification_004.log
a77c147474c8242b1754151afef9a746d47d17c5c5a5b9e830dbc51f08c9aaeb  verification/development/SelectorClassification_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/SelectorClassification_005.log
240c2eb66f1d0923723cb292486bfa2a88590ae42cd23b99fc1c58c55d9826b6  verification/development/TailSignature_001.json
18341e21c5ceb1533813cc89be68bd1207c93b6308695abdd26c46d9407863f7  verification/development/TailSignature_001.log
da9f060a383d8a97b45bea092da82362fe9a877ad6df1f932d322585f9fea0f6  verification/development/TailSignature_002.json
55b144b0c9125a6c3b8da9e97c9cbbe81969dd9e3cd4c4cd12d0d6fc8e60d37a  verification/development/TailSignature_002.log
43873d31930be58ee3209fb925e337774b342c7a742006c71763747b444de04d  verification/development/TailSignature_003.json
d70e0a849161a9c4274f87a725b6bfbc895355e25308d8283b8832c5bb919ab0  verification/development/TailSignature_003.log
08bc50f22c90a7ce470e8c0cc822f95937a8c9fb0e523a47502e7f41923d3622  verification/development/TailSignature_004.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/TailSignature_004.log
65b70fae7de416fcced0fcb5bb86830680aedf957db6ab18c97964fa3a5e93d2  verification/development/TailSignature_005.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/TailSignature_005.log
7b6bc47cf3960f88b2b94e999beab17ba6c0e571b84598d526ec6ba03a21c286  verification/development/TailSignature_006.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/TailSignature_006.log
fb776fbf02fcbd69e1d19abf8d64f0dc52fef3f99502d295c31d1ce95c830770  verification/development/TailSignature_007.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/TailSignature_007.log
54e811aa12850139e614bbfb4fcac02128597b4fe438c45daf5a192050551b5c  verification/development/TopologyProbe_001.json
46eb5b30569b572802aefed725334fb3c8865c205e678c34e34f92e0a5d04f72  verification/development/TopologyProbe_001.log
9649ce265c4aae18d9a05dbf5218c1c404a107f95b37c104f51d8adb0fdac9d8  verification/development/TorsionImageMeansZero_001.json
01102e70dcf359b45199591119e2844e9c5caf08010ce585f15671a717d0b8d7  verification/development/TorsionImageMeansZero_001.log
039ffec544140c123ae8e164b7c7e4d86884ae2f3c0099d54f602fb8f75c2329  verification/development/WrongCyclicModulus_001.json
4131f259ca3bad661a2c1f815b7835e9ba6517f39c9fb6566e1a6091a812af63  verification/development/WrongCyclicModulus_001.log
064d1181a83772fc3855a6bad6f0f40ae1a26a75a45a868d5a5ebd9c9bc81573  verification/development/WrongCyclicModulus_002.json
4131f259ca3bad661a2c1f815b7835e9ba6517f39c9fb6566e1a6091a812af63  verification/development/WrongCyclicModulus_002.log
010bb9547b1d1ff784269013dea5929fc204fc71e362e1e55061194c14cd4557  verification/development/ZeroCardMeansEmpty_001.json
09fa1fe5a8399541807ca1bc00bb3bb62ee16206b3f3962430b67f1a6f3b0329  verification/development/ZeroCardMeansEmpty_001.log
56358b56586e21b08b6cf9fb4106072f5d48369903966caa4f35a685bfb0ee11  verification/development/ZeroMultiplierFiniteFiber_001.json
4aa1155745ff2ff5352bb1563a91e75f228da4ef4e0f9795e044ac1ca724583e  verification/development/ZeroMultiplierFiniteFiber_001.log
1663dd727467931160e1459b11cdfb6acb6e2d7003192787d4b453bb3fd61eb3  verification/development/ZeroMultiplierFiniteFiber_002.json
4aa1155745ff2ff5352bb1563a91e75f228da4ef4e0f9795e044ac1ca724583e  verification/development/ZeroMultiplierFiniteFiber_002.log
d45affb37af0a0e4301cf047c8a11b0c0c9d6d845c9fab47221c09d6b586da2e  verification/development/ZeroRationalTail_001.json
5317ebae724e3d3647a272821efa4304d69e3c6d918679dfb3f05e3f392aea0d  verification/development/ZeroRationalTail_001.log
f67c91b24faafd83441c1a85cc2e71de0ffd79342facae19b39047fda743059a  verification/development/ambient_01.log
b10c183100539cd4490c8498ecff2f41932b2c95c2e35e884b8526da2821387d  verification/development/ambient_02.log
045624d90c9733c8848f8a65bff2394cc215f1aad1a60d1453246cd389459c3b  verification/development/ambient_03.log
6f0da22385d71860aa4c881ad578e41885351459524ba666cbf0c46630f26fb6  verification/development/probes/ClassificationProbe.lean
49308915fedf1ae63bc99cde07f0268e720011e9e1743066d6af704020405864  verification/development/probes/CompletionProbe.lean
4ae93d6017b7dae4d3a41bb33aa0826b7dd7ff7ef361019aa13f19d776080ceb  verification/development/probes/TopologyProbe.lean
5257ec01e0885fe31092403956989972e3aec1ed18528eab15ed4f6004cff926  verification/development/v0.4.0/1792782276419843582_Ambient.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782276419843582_Ambient.log
1a56e296d00ac4c52220700003229ace3e46442b5551622deec6f28790794994  verification/development/v0.4.0/1792782285864858797_Quotient.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782285864858797_Quotient.log
85a62323740fffcd461f641f589695553202fc77760f4f9100b8e11ecebcd7d8  verification/development/v0.4.0/1792782288498234516_Preimages.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782288498234516_Preimages.log
8d3594081b26c1c59c22585e31c835425d69905d2e0ae3cccd1ae854081aebbf  verification/development/v0.4.0/1792782290829963066_FiniteQuotients.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782290829963066_FiniteQuotients.log
3e1c4f6f1279da523a1119a22b819f4fffe4b5dbda18275c5bf69cc8ad2dab7c  verification/development/v0.4.0/1792782293156778417_Extensions.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782293156778417_Extensions.log
49dfbdec9e13b33ca3b5f678223aa7c5c2bdde61233ab00fece092e59716c1ae  verification/development/v0.4.0/1792782295477252539_Sections.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782295477252539_Sections.log
53c9ebc4c44db3a4e2fdb1602658c5f16191c37b350331d96df7ee888aacd585  verification/development/v0.4.0/1792782297429491858_Cocycle.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782297429491858_Cocycle.log
a4fa73264f508c872870f4eb1892bef0a9449ef54e0b93c6f77b58982eb80286  verification/development/v0.4.0/1792782300105647437_PairedPrimes.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782300105647437_PairedPrimes.log
80df007e607232ca9dc6d2a12ee7de59c98a4ce9c22297d21642193de38df681  verification/development/v0.4.0/1792782302026491238_NormalForms.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782302026491238_NormalForms.log
608fb29256dec31c4300c5ab9dd39fc4cb085b579f21e402a1dd8892a7f7fe0a  verification/development/v0.4.0/1792782304755938779_PureCorrespondence.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782304755938779_PureCorrespondence.log
03b177270ec0772b7fdc66beed29657ddf2528e6638bbcd464fd63d541079933  verification/development/v0.4.0/1792782306985075123_Countability.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782306985075123_Countability.log
c53a743c83445e86540adc863aab2980a1525e7d83a40658cd0a8db35ef659fa  verification/development/v0.4.0/1792782309316723599_ProductTopology.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782309316723599_ProductTopology.log
5114779552a42934c3ae429b5f0ac0b2e59cdd2721dff4dedc1e90177bc90611  verification/development/v0.4.0/1792782312894366246_FiniteTargets.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782312894366246_FiniteTargets.log
b23a5b66705e3bd40e79519cd06c1d08d59a238975af2c52048c85fa32af4a69  verification/development/v0.4.0/1792782315575314478_ProfiniteCompletion.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782315575314478_ProfiniteCompletion.log
6922a569bd88a33d170164a283844f27e7f6865f1539fea32cda28c4a625d74b  verification/development/v0.4.0/1792782318248823446_CompletionConsequences.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782318248823446_CompletionConsequences.log
92ec658faff30cfe346d4cf8bb17c1a90554572a2dc22b1bb7bbd1ed22ca5add  verification/development/v0.4.0/1792782321233475546_TailSignature.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782321233475546_TailSignature.log
534eaba6451f6790c6435d702942b3c5b73c40a6f7963a355e64cf61840122bf  verification/development/v0.4.0/1792782323564118280_SelectorClassification.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782323564118280_SelectorClassification.log
92fae18a90c547b58eb8071b665b15b47daa7f41f3472c04565e22a7328636d0  verification/development/v0.4.0/1792782325684803439_HomomorphismObstruction.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782325684803439_HomomorphismObstruction.log
6bb1dac1c3b7cabcf6cb9e64a70836763f609bb30a3963d44449c643059308b5  verification/development/v0.4.0/1792782328159619448_NormalFormTransport.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782328159619448_NormalFormTransport.log
3363408953f69a57079ce177e77d629ad163b70aa1360bc5136afc43e47a368a  verification/development/v0.4.0/1792782330038217728_ClassificationConsequences.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782330038217728_ClassificationConsequences.log
bd890afba9641c29523cc0f612fa477da5cf6ac8de23626dd758a7f3565ae279  verification/development/v0.4.0/1792782333065324231_RealizationBoundaries.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782333065324231_RealizationBoundaries.log
6abb20b6e4244d997e72291ea3db8796396daf9f006382f230c4df87df8e5ad6  verification/development/v0.4.0/1792782344871175624_DiagonalHomomorphisms.json
3055c213c3f30ce08c2b7d66ae42b9734c0c6fc41eb36186b033272ecf177aa0  verification/development/v0.4.0/1792782344871175624_DiagonalHomomorphisms.log
0f4eee999c9f01f1c5ff2b6728db98b71696e1c603311f329a731f00f4cdbbb4  verification/development/v0.4.0/1792782369342424951_DiagonalHomomorphisms.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782369342424951_DiagonalHomomorphisms.log
d8f9f70677f092124f6fff9d3a0d7cf744c1c363394d0b7942683e63fc71b946  verification/development/v0.4.0/1792782436321274065_DiagonalRealization.json
d9c9ca149eefde60cc8e41106a696b892c76a69fea13a5a14a66b5686f284eff  verification/development/v0.4.0/1792782436321274065_DiagonalRealization.log
6e0060c0e0a5bfd5dc9188bd77738dd7f83c25d37938760667fa082a88e3a428  verification/development/v0.4.0/1792782457075006472_DiagonalRealization.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782457075006472_DiagonalRealization.log
3d7b8fe92e5bd924f8db835cdb86ecae37501cdcc8720efa9e36f4db42f473bb  verification/development/v0.4.0/1792782543096829936_EndomorphismScalars.json
1cab8bc8cf6ff1b86e4e861155e39142d2269576124c429f76c0a577494b42a2  verification/development/v0.4.0/1792782543096829936_EndomorphismScalars.log
45e021a67748f23543796539d0d7697fd95340478d93f43b58fe21def505a0d1  verification/development/v0.4.0/1792782573984148982_EndomorphismScalars.json
4537d403b3c5fd7fb26db8d6effa715a2a19b681b585058d23a3351ad6bdd5f0  verification/development/v0.4.0/1792782573984148982_EndomorphismScalars.log
e277b31c933507fc0b6f2e14653b5b1e0ddb6ebe1c5ab93bf8bda0c981559449  verification/development/v0.4.0/1792782589006991955_EndomorphismScalars.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782589006991955_EndomorphismScalars.log
147d7f0bb3eefe1a99f76a1b78bafef5b5b791cb6a4f2e3c46e47a7fb9c63186  verification/development/v0.4.0/1792782684440763680_DiagonalAutomorphisms.json
9f4b9bc8997d03aeb40dcdcbdc58345cfb19b4f0eafb483b6d7298301f35e4ca  verification/development/v0.4.0/1792782684440763680_DiagonalAutomorphisms.log
5c59fe652fbabe5a9ecbf31fb9389e22cfa3006abbc56629ef2d9a7f4b4251fb  verification/development/v0.4.0/1792782714467680723_DiagonalAutomorphisms.json
89843ae13ca9e7834e08ffa1631366e75a0036a5a9a3a15692c4de6aef7fb938  verification/development/v0.4.0/1792782714467680723_DiagonalAutomorphisms.log
97a9041dbeaa8978afb20f43532c4604b56c7199d2c5aa3737e1e87aef9c131e  verification/development/v0.4.0/1792782737653578893_DiagonalAutomorphisms.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782737653578893_DiagonalAutomorphisms.log
8570871f7e0feea7746dba61f9fd1672fdfbdf332338f0c841034d40da65e1ba  verification/development/v0.4.0/1792782794513070160_Probe.json
8d729aebbacac2a5530a3ecfeffbc8e98a5da1fd9e28f7fbf074121b1a3ed444  verification/development/v0.4.0/1792782794513070160_Probe.log
5c0a8e0b78105213f7ba9d497161367fa7ce644e8b18b65e118098e1fe7787bd  verification/development/v0.4.0/1792782862874521494_CompletionReflection.json
2d7258f306da9acf2cc0bfe00e11b3490781a685f175a85ddf94c622defee863  verification/development/v0.4.0/1792782862874521494_CompletionReflection.log
d6bcfaaec9d682a4bac03ce35abf2e050d8a1829dfea3ea9f3af83a8145f7a3d  verification/development/v0.4.0/1792782885670174734_CompletionReflection.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782885670174734_CompletionReflection.log
623192f5a80b1e7dcfc176e5bdf384306564a07a3f14e0815d999f2495391697  verification/development/v0.4.0/1792782943324732811_DirectSumEndomorphisms.json
777d140339a65b1d4228b4c89f1e162542f97ab8d5027bf4dd8fead17e7833ae  verification/development/v0.4.0/1792782943324732811_DirectSumEndomorphisms.log
e543e997d3462d816f4a5b3c6ff9e9ef6b8b73f0011368528aeff0676e9917b4  verification/development/v0.4.0/1792782963295224899_DirectSumEndomorphisms.json
d5865fa6cbce67e5cbb18274552f69ad37e6b8e1675144623a3108b296761959  verification/development/v0.4.0/1792782963295224899_DirectSumEndomorphisms.log
baab52714d7e628a8252b7922b3192bb57aa0751822867a295bd91d55e47e19b  verification/development/v0.4.0/1792782967889922424_RealizationBoundaries.json
5ea75a6fa5a9523b6f1f3af92cd99c734f8a19d9be422bd8c1573984d16f5b38  verification/development/v0.4.0/1792782967889922424_RealizationBoundaries.log
70c25ac89033ddea8854987224e562c92198e588035b46f791edb9e636c255a9  verification/development/v0.4.0/1792782985475793332_DirectSumEndomorphisms.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782985475793332_DirectSumEndomorphisms.log
0be7d6b6601baaa0a9b2a057382fb78b1a039be9f9494b94cd9e6e752a8a7c4d  verification/development/v0.4.0/1792782988959590902_RealizationBoundaries.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792782988959590902_RealizationBoundaries.log
6c67ada90a14a2a835b571f8bd0ab567d78f0b8a8a15efc289dbd8d13d28be13  verification/development/v0.4.0/1792783144923316482_Contracts.json
d2197484199a13d85c4674ff190185b533453d1ed67def1c3343756e2fb4f44e  verification/development/v0.4.0/1792783144923316482_Contracts.log
1d3aae1b3434c2e3ab64d1db3ea3268123705b153080625b531da1edd92af59e  verification/development/v0.4.0/1792783164569117813_Contracts.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development/v0.4.0/1792783164569117813_Contracts.log
ed4183eef6f01628e8f29b4455fd078138df29f4914a23d98f1b010b4cc9e24f  verification/development/v0.4.0/1792783212486708020_OffDiagonalSeed.json
a827f95a113f6a24b5b521924419c63eba9c7215134c7b6db4ba2fb3c878fb3d  verification/development/v0.4.0/1792783212486708020_OffDiagonalSeed.log
020a5fab8e7e7843a785e30888e1a650446afba14fd9fb0c7772e041ec3ce2bb  verification/development/v0.4.0/1792783216195952556_UnrestrictedDiagonalFamily.json
043cd8f77ce5291dacee56b4b14fc719621e7d4722e742ad93fcc149f7364a71  verification/development/v0.4.0/1792783216195952556_UnrestrictedDiagonalFamily.log
3210f8df149847b9bd6b26b81b8109988467bd143b10b1087f785e2acc744177  verification/development/v0.4.0/1792783219557930752_QuotientScalarAutomorphism.json
c242309699d23c747ee3374a9099df48a919584805116ed3f3acc28dfc893140  verification/development/v0.4.0/1792783219557930752_QuotientScalarAutomorphism.log
93c93ada918088a2ba9fbcf24bf409e42a36ff286559546bd7342f7864175b18  verification/development/v0.4.0/1792783222726517269_InverseWithoutUnits.json
3af13d6b916c5bfcd976287fa70d1c98bff176bc0c48f8948d56f9fe1de21070  verification/development/v0.4.0/1792783222726517269_InverseWithoutUnits.log
045fb22ebff42387c8f3f282c011304bc79fdc5c07a8575cc2dabbdf2ec5cab7  verification/development/v0.4.0/1792783225692982178_UnrestrictedCompletionReflection.json
7aca628a850e7ce7a992f9a481e41f7e8c5f88bdb2ab1daab97206dbe1f61083  verification/development/v0.4.0/1792783225692982178_UnrestrictedCompletionReflection.log
df53d2c9f091b18e53830a7b3b6112cbc917ca37f24208aff95c0964997b58b7  verification/development/v0.4.0/1792783228696025441_RationalLiftAdditive.json
22833e191fd5151fe7df0614caac0ab88b6a7704a57a39e75c5e0435fb686826  verification/development/v0.4.0/1792783228696025441_RationalLiftAdditive.log
db607fe49fd1645f482460a46a6be6a058ce7e36b3e0770a1660826fb3d316c6  verification/development/v0.4.0/Probe.lean
22e7f2270ee31673ccf6c2eb54e3c63eb82f7d8578b7901792184d3ca75719c6  verification/development/v0.4.0/compile_rb_used.py
959432ab428c2f62e3fa1186c90cfc2505c2811f1828f0e554eda05aa3ea9a8a  verification/development/v0.4.0/runtime_restore.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development_runs/preacceptance_stop_v0.6.0/logs/build_Ambient.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development_runs/preacceptance_stop_v0.6.0/logs/build_FiniteQuotients.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development_runs/preacceptance_stop_v0.6.0/logs/build_Preimages.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/development_runs/preacceptance_stop_v0.6.0/logs/build_Quotient.log
544b4920040fb4a18fbbf04c48a65f06739ab3268fc7d3c756bc1b64e823a094  verification/development_runs/preacceptance_stop_v0.6.0/logs/compiler_version.log
3d88c5d767a55d497c0e27fc9e1482140322d40baa236c80e92c80c39ebe3881  verification/development_runs/preacceptance_stop_v0.6.0/logs/preflight_audit.log
65e033c586ecfda50461c4ecbde7758da642e66e737b02d90b118a45d6e2835c  verification/development_runs/preacceptance_stop_v0.6.0/run.json
d53e8f18e6c23311e533b941039f9028104dc375495cd8919c532cc432c9565f  verification/development_runs/preacceptance_stop_v0.6.0/source_before.json
d5c47a4980dbb8f59fec00e4855a2d9c905710de2929b0a6722aa4996ced518d  verification/history/v0.1.0/DELIVERY_SUMMARY.json
e8ad50a7828b82be36345aee1edb3020ab9b70c95d9144ad6d8c93d65edcc6b2  verification/history/v0.1.0/accepted/declarations.json
33ee01cae8120e09ea5859122d34de84852c8a7faddb56a375e416c0de7560db  verification/history/v0.1.0/accepted/dependency_after.json
33ee01cae8120e09ea5859122d34de84852c8a7faddb56a375e416c0de7560db  verification/history/v0.1.0/accepted/dependency_before.json
5a53acd8171eed9b9dcc2ce6ae696b3ce02394fb26612ed131499353cdfe0cc6  verification/history/v0.1.0/accepted/imported_modules.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/history/v0.1.0/accepted/logs/build_Ambient.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/history/v0.1.0/accepted/logs/build_Cocycle.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/history/v0.1.0/accepted/logs/build_Extensions.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/history/v0.1.0/accepted/logs/build_FiniteQuotients.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/history/v0.1.0/accepted/logs/build_NormalForms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/history/v0.1.0/accepted/logs/build_PairedPrimes.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/history/v0.1.0/accepted/logs/build_Preimages.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/history/v0.1.0/accepted/logs/build_Quotient.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/history/v0.1.0/accepted/logs/build_Sections.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/history/v0.1.0/accepted/logs/build_entrypoint.log
544b4920040fb4a18fbbf04c48a65f06739ab3268fc7d3c756bc1b64e823a094  verification/history/v0.1.0/accepted/logs/compiler_version.log
b41c84ddc7f0adc769576c17db43f120eed7af110884381e657ca178a481e11a  verification/history/v0.1.0/accepted/logs/negative_AutoImplicit.log
df0c408aac3ef04420c159f9392870bf6308395fcd4e55f67f06ec50bc9b27ea  verification/history/v0.1.0/accepted/logs/negative_ChosenRoot.log
7b8c4cce0888db7d7a0dc558612d1540426ca3d0acdee475fd7fdb03b54b3f62  verification/history/v0.1.0/accepted/logs/negative_CompositeCoordinate.log
270f79b354e3fd0b1b2f95bc6eb4b21c42734ad7639380343445eb2f7d6cefcb  verification/history/v0.1.0/accepted/logs/negative_DenominatorUnit.log
7f08d6ebf8469e2c7d806deb4e86d10b540a25609c63025fc8ba0803b3a2c9b0  verification/history/v0.1.0/accepted/logs/negative_EmptySelector.log
3bd39236026bf759b14f1ab0465e52a13eff175da0c2c5cb1726530d113d86f5  verification/history/v0.1.0/accepted/logs/negative_EraseCocycle.log
f439c6580a72cc4805d4c08f27b004986bfc587b5f77d57326c64d71977e5b07  verification/history/v0.1.0/accepted/logs/negative_ExtraAxiom.log
472e5cc26e6778d9bbadd0201e29c06cb60c88a10f74dd885fc4c99f711114fa  verification/history/v0.1.0/accepted/logs/negative_NoPositivity.log
46e19e16cb10f3ff5efe9820b61645e82934388bcc02b0fc855f9726a2212e83  verification/history/v0.1.0/accepted/logs/negative_SorryAudit.log
5013cf04a5287d832c634178b11b6d1b430f88429c502a68d5925ef59ec4cd8c  verification/history/v0.1.0/accepted/logs/negative_UnsafeAudit.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  verification/history/v0.1.0/accepted/logs/positive_contracts.log
669acf82d2e6a7ed317efc7470ce2555eaf2a0028064f96b8e6715dfd873c232  verification/history/v0.1.0/accepted/logs/preflight_audit.log
669acf82d2e6a7ed317efc7470ce2555eaf2a0028064f96b8e6715dfd873c232  verification/history/v0.1.0/accepted/logs/production_audit.log
a3f04f48353d8cb6fdc7f47dc47f2dfe234299de4dca6672561b9d8cdbe93c7c  verification/history/v0.1.0/accepted/logs/replay_Ambient.log
e502cc2c5a9aae3f3d403f8d5c728dc7bac4baac7d68ee6fe763ff654935c010  verification/history/v0.1.0/accepted/logs/replay_Cocycle.log
a8684052b03ef8d9b335f159fe8372f836b726c0842042bb8c1c54fd3ba4ce3d  verification/history/v0.1.0/accepted/logs/replay_Extensions.log
7ea69713dff61b5c571149f695a761625b9c0536ec226093b4689d98862cc8df  verification/history/v0.1.0/accepted/logs/replay_FiniteQuotients.log
8a4dce8f6ab256439435de3583932589f59922a022f73234314b2d0117e71b99  verification/history/v0.1.0/accepted/logs/replay_NormalForms.log
ab792fd75f217f1938f631cad85376082683e00d89ebe1e3f9c44306db27269a  verification/history/v0.1.0/accepted/logs/replay_PairedPrimes.log
ba66bdeb797d110f1fd14cd222f7fe1bbd41645dca0097a3cd5209855c5cc1cb  verification/history/v0.1.0/accepted/logs/replay_Preimages.log
3cf564e8a711ea0f6ff7db4d7e05e4fd7aaf81a53d9df0c05f4a52b26783fa15  verification/history/v0.1.0/accepted/logs/replay_Quotient.log
4dfa44d9b47a97aea13713942c91cd3d9a1368238fc1391b863fb0ab13001960  verification/history/v0.1.0/accepted/logs/replay_Sections.log
c1165e62d23f474e80d874b1764df76bb68a00e9c11711948cda58652dfba3d3  verification/history/v0.1.0/accepted/run.json
914ba676502df87f591b6b2f10d1f248ea72a4594b7bb5d4722129591c62e99f  verification/history/v0.1.0/accepted/source_after.json
914ba676502df87f591b6b2f10d1f248ea72a4594b7bb5d4722129591c62e99f  verification/history/v0.1.0/accepted/source_before.json
