﻿8baeea2bf32bc6a4264ece9a6bae857d92eed87110533fd70db00ec1dcbfe897  deposit_manifest.md
65b2c543940009d5a8549597bfaf9b443edd2e56fb19b9cfa6dfe0907b7cdaa0  LICENSE_NOTE.md
52972ec65aa883348bfb0ce6d1f9b2a2df27efb104d8c95db0f860c13cbfd402  proof_source/active_bibliography.md
582767e305924baf1f370673d2632acbfbd24b6963c2197ad1e2e46f148f1eda  proof_source/External/README.md
48bf4fec4a0e8c4a17dc5a563945d345fb6afcf12f670d199c6b5fe9fee34615  proof_source/External/x_1_heath_brown_identity_verification_ltx.md
d7157b051e88c93ff5012607d6ac5c95fc8ec3c4ecc34b345d5a5e3426639ea8  proof_source/External/x_10_verification_ltx.md
0933d1c2f43db95c35d94352fd64c8789651cd8152dcfdd81f931da13e73ff2b  proof_source/External/x_16_divisor_sum_brs_verification_ltx.md
74117fe2d3f15b4883eb44ed521f0dca05fc3fb58d5a2d296341a3dd52484a41  proof_source/External/x_9l_gt_avg_polylog_verification_ltx.md
1129e310f1b1374c852f56a8dbfa717ee162bbb7d3a54a46b8e4c6eb6123e888  proof_source/ledger/file_manifest.md
82ea4ee5fa0c8a4866709777211b584b96d7f5eb0d6e8ea16f44e0a2d778ce7a  proof_source/ledger/phase8_final_consistency_audit.md
ed0e0f6fd4ed005822046007c194980a923a1957f06e593e2c7869bfe9ff56da  proof_source/ledger/proof_tree.md
230c9c245ee167c105ab3aad231eb2d4fa88e29304c9d0ad34790cd39d37f30a  proof_source/ledger/README.md
28a215a46ae6be65c2ff5679827ef4eeba54d0d7e3752118e86ba185d0056800  proof_source/ledger/rewrite_log.md
ed07f3ab43f3a9fee73fe6bf2e5bc69ed6a60c96bbfa4be3988e773664b8a2b2  proof_source/Lemmas/b_1_ltx.md
6796724259af93830432637126bc3071fd5264d63d4f2835ef0c56d929a66797  proof_source/Lemmas/b_3_ltx.md
b27c3836caeae13a93aa26d8da21eb07eeab4064c510983d2f843c76f5919506  proof_source/Lemmas/b1_range_skeleton_roc_slice_ltx.md
0f3e0b759ff5a4af6bd3af473c70807f09cfec45a97f1fa8057b47e6f3fe739c  proof_source/Lemmas/b1_to_goodawack_skeleton_normal_form_ltx.md
79658a076514589414a3220996573e95cb0c05c19703cde7cca882b32a2fd258  proof_source/Lemmas/baoc_affine_origin_catalogue_ltx.md
fd8b100d274213e356bf8bc0ecf98ee9c3c3a95b7c4dad2cbcbe0d9553a93034  proof_source/Lemmas/bgs_hgo2_reduction_ltx.md
40edcd884631b19456b76e7389f15d5e8d54cbe6c7033b1ed1e72699f8a640ec  proof_source/Lemmas/c_1_ltx.md
09a2e41f68ec397424dcc0b82ae4f4ff5ad95099448ee9855e755756e2036704  proof_source/Lemmas/c1_edge_admission_ledger_ltx.md
54b55b48a4216993e32fa95611d22171b4ca2b3bc3d2fb332962268d46bf5fc8  proof_source/Lemmas/c1_strict_edge_predicate_catalogue_ltx.md
fe1386118cde489162f948d207aca216b829b195fb95ea3e363f711e7fcc68a6  proof_source/Lemmas/ckp_x10_master_nonzero_frequency_ltx.md
8d200fd04dcde888630b4822f0c3f0e9ca00ce1ae19c5d0f0c037415cf3ea3e9  proof_source/Lemmas/ckp_x10_smooth_weight_derivative_appendix_ltx.md
9041e870c8394d432a6ac34b27eed157ecd75cff577c62e1069aa9d1e944b1a7  proof_source/Lemmas/d_1_ltx.md
5fe31275ff30441d00e63d24c67cc701e932bf2aab63377cfd114ea90dee9920  proof_source/Lemmas/e_5_ltx.md
aa9de652f9a2998a1b33c3ccbb64ca6c77c51512d3fa114c7f0029c81e7b82a7  proof_source/Lemmas/e10_master_source_exhaustion_closure_ltx.md
0fa28d82edfeaadc325daebea0b6811444d0ce7125c0f0a77928109692bc6af3  proof_source/Lemmas/e10g_strong_baoc_catalogue_ltx.md
ddd5421f99b886b76020ac7c58cc9747cf6ac922a8af765c689166448f11915f  proof_source/Lemmas/e10h_e10g_rigidity_ltx.md
b7eb702e245bb144812fc1069a2d6beac952c051042140be0db480a093fec107  proof_source/Lemmas/e10i_mor_matrix_origin_rigidity_ltx.md
4532e27bb49915b65fdbe467a7f99684db5fb1dbba075bc56c705a600a5ab59f  proof_source/Lemmas/e10j_rda_rank_dropping_aff_origin_verification_ltx.md
68ce1d4eed8012c73b71ebc47b8b76c44d8af187b8550dd8a9053cf0e12f4f74  proof_source/Lemmas/e10k_aff_oc_affine_regrouping_origin_completeness_ltx.md
e8c3d5b9249e9cf478f1d404adec110929c03b10c4b2d9b1ca7c72ba89180036  proof_source/Lemmas/e10l_e10_clean_branch_b_ltx.md
32832a437d3ce337ff647230a6aae72974c2217ab66f24b08599cf0085399602  proof_source/Lemmas/e10m_no_untagged_rank_dropping_aff_ltx.md
71eff2d0440e3e4f8a384784f3738ddc54f03b5e98b463d6548221ed2ac8d271  proof_source/Lemmas/e10m_source_exhaustion_verification_ltx.md
92af25308e4dac5fbb9ffa71a4636fa8b14270772c9eafc415bc67ea751f1873  proof_source/Lemmas/e10s_mechanical_occurrence_manifest.md
257808aca2c480fae39487b63e95f6a7f3d4b9143ac9732877cde05a9da390a7  proof_source/Lemmas/e10y_goodawack_routing_grammar_completeness_ltx.md
3305bb27fa290bd4aa47a63801acc1fe8f8732fae5eebc7f25e82539f2686943  proof_source/Lemmas/e10ymx_master_goodawack_finite_grammar_ltx.md
2914ccd115666be174efc31a1b5ab067817b5011527803b06603d7c324daafa9  proof_source/Lemmas/f_3_ltx.md
dadd4605cbae2fdfc1e17a8c569485fdc8aef2702bed3b5cb62d8c811ebfcae4  proof_source/Lemmas/f_4_ltx.md
e9c6528c7c583d2a61cf6598a86c33f40cb80adeca2aaa07c1495b78627a8bcb  proof_source/Lemmas/f3_complete_routing_exhaustion_ltx.md
5e5b0d09fa256cad70445490311ab274b834be64aa5060afe782982d3279981d  proof_source/Lemmas/f3_f4_master_routing_theorem_ltx.md
e854cee4a4a4c0bb3cf102b9c753390fa8a34441f96a8dd2ea718e54d8e1f525  proof_source/Lemmas/f3_intrinsic_terminal_predicate_catalogue_ltx.md
c3d9d2b37b885a29e2c9347565c83900a74b410a081d4c329d018326fe2a0f50  proof_source/Lemmas/f3_routing_interface_completeness_ltx.md
06ebd6b9b2026985792ed33e10b5b3623c930303decc644cb027b767f54ee499  proof_source/Lemmas/g_1_a_ltx.md
d401650759d3b1f22029f710996b8bd922cea115bb86a1c8431638f278fe3b10  proof_source/Lemmas/g_1_ltx.md
b6c8f5e2c3d94adcd0135b54f5054963bba62ed129984c9e469ecab1fe05ef4d  proof_source/Lemmas/g_2_a_ltx.md
e4b3b4b0ebc442412a3fd63451711b1221668ed714b68c0d30c9aef48ae095bd  proof_source/Lemmas/g_2_ltx.md
66bdf39c7068ad8cea62965173fe75a369a446dccc598cba9e3de043e7b6ecc2  proof_source/Lemmas/g_3_a_ltx.md
542feec0cc859e017b780409a34f685862cdd5d943f173585d7798ed8c99ad4d  proof_source/Lemmas/g_4_a_ltx.md
0e52a3b95e28173e09627ae11b351b48189b2814b5a2c43fff5eeb4e89a97c72  proof_source/Lemmas/g_8_a_ltx.md
7d092884b97b8b7825626a8b81f8df840783ed610b9c2597658f89a969bd6974  proof_source/Lemmas/g0_final_handoff_verification_ltx.md
7f512e938d24159cacf1d3fbc8dd8d008b07bf668e00ca179f17f1d4c51f3a15  proof_source/Lemmas/g8a_local_density_ltx.md
573df4bcc9bf564e522fc87e81fb164adeb3b27c31fca7b1f6f40fd7e30c9bab  proof_source/Lemmas/global_error_budget_ltx.md
703bf826f0773f82a2a0f2afc098946a3fa01ef5027e163afb6d48e380eb237e  proof_source/Lemmas/h_4_ltx.md
36f92c09aaba806300bd00cf961ea64963a97e112afea55f354c5690e4205f33  proof_source/Lemmas/h4_master_local_bridge_ltx.md
42da4a8e4e504aafdf5374e2862750b823c8219e5ffeb29835f69c53153fc71a  proof_source/Lemmas/i_1_ltx.md
da973dc249c11eef19103c9cb3c6356ecd5f8a4bfb3adf049a335abb9583079d  proof_source/Lemmas/local_projection_interface_ltx.md
48372829092d74bee2eb689b27ddbc49858c342bf603d87910f545743ec5d957  proof_source/Lemmas/proof_parameters_ltx.md
2a49f277e73c52781eff8e07d2d89d3c7f1010e3531cbfd9ffef6cb5eada9964  proof_source/Lemmas/README.md
1d0b57752a7c82b12c1e9a21f7c45711e19ef80ba3de1ade11ec6ebafb88a6ae  proof_source/Lemmas/tc1_global_testing_ltx.md
b5811fd4fa4dcd9e7f18871feabea1b24d1b800ce512fca9e2dceaefd744769f  proof_source/Lemmas/tc1_goodawack_dichotomy_ltx.md
7d9e2d69efc381bc2a25e19cc1875cffeae2aff751685ed96186f7007571d01a  proof_source/Lemmas/tc1_measured_fourier_transfer_ltx.md
b3d85b8b6e4bdff1adcc7e821902aeec77a23ea0fba3c0cf1abca281d2f2dfd3  proof_source/Lemmas/tc1_mrt_admissibility_ltx.md
519ca6c192f7d352fe993da5294d71f65007d68aeaef66d2fde3a56b374bee02  proof_source/Lemmas/tc1_near_global_chain_ltx.md
26d93871e95e2026197f4a552d74e2ae0c032f2009388e7b706ab021643e1c44  proof_source/Lemmas/tc1_singular_origin_roc_ltx.md
84e5b740083fedec9cbf9e4d99be9a326920cfd66647c271e7ffae6809960cbc  proof_source/Lemmas/tc1_structural_coarea_closure_ltx.md
5be8c7e82b04220a8391f84b78338e8c96b139de301ddb304ca51cf9880e61b4  proof_source/Lemmas/tc1_testing_dichotomy_ltx.md
2b754c298843b7f0534a4d747b64f44d961808e6cab7076193a34a06ec159926  proof_source/Lemmas/tc1_theta_1_3_ltx.md
cbd86266457e2ddb853fb465fd6a0fd2ac6e76fd59f51998d5b441496c06cf08  proof_source/Lemmas/tc1_tng_tth_master_no_rogue_short_interval_ltx.md
980fa294fd390e49e8370f3269592544c8576eb344e403a46dfad60eb7acb2df  proof_source/Lemmas/x16_brs_carrier_slice_ltx.md
2e61cb817f4280a02244cca9fab35a0652260dc9d338cf4d246a11609f9d29fd  proof_source/Lemmas/x16_core_shiu_ap_proof_ltx.md
b0d46f6663260cbb60cf9852fc0da830b615631d1b527251a9cdc68bf7c2b03c  proof_source/manuscript_full_md/appendices/appendix_a_parameters_error_budget.md
7c31754f0c534f4115d5992fc8450d8042bca08c23047bb51d3043056dd0770d  proof_source/manuscript_full_md/appendices/appendix_b_external_inputs.md
7be069761a13c9bb474abe1a36b23ce85a15abac3ace5cb2cfaad1c8b0cbe594  proof_source/manuscript_full_md/appendices/appendix_c_heath_brown_decomposition.md
1765a210c36e5ec6561d928bc5d9de66f7f63435671e393d9551949629daf6c6  proof_source/manuscript_full_md/appendices/appendix_d_routing_exhaustion.md
58a0e745f5fbbee9c710656ff05ae36096b8b9ec993b89e87fb68b8ade6196e9  proof_source/manuscript_full_md/appendices/appendix_e_edge_local_projection.md
5620a7c806e8666c3325ac4028ab94d3354ad17b991e4f0c558802bfbcdef3cc  proof_source/manuscript_full_md/appendices/appendix_f_ckp_x10.md
d425dac3748b817b5cd2946957d73d312ae8ba1dee97be37c9387015c73b0918  proof_source/manuscript_full_md/appendices/appendix_g_tc1_brs_x16.md
626e64be6e7234e653737fd5a056052637456d9f498d4d6e0b43798c1c7bfbb5  proof_source/manuscript_full_md/appendices/appendix_h_goodawack_finite_grammar.md
1bffdd077710c83e6e35a6520c892aec8cbf091422f6a319475d5b21203c19c3  proof_source/manuscript_full_md/appendices/appendix_i_final_assembly_handoff.md
7b541613e12589d0b8e4883632398c16d487d0e372626468ba71fd323db1eaf3  proof_source/manuscript_full_md/appendices/appendix_j_dependency_ledger.md
0d457408c2561a2031e2842ee8074a27d2d6c0e02801482202e2d7934c3dfb4e  proof_source/manuscript_full_md/bibliography.bib
95523f6458b7730d8de89b8d3ca0b8e21cc853fa750b26c7acc2624d5d2dbb30  proof_source/manuscript_full_md/bibliography.md
ff0fed21e01507739291f6ed4f68f73d31a85dff3250e6d06f38f69017917d78  proof_source/manuscript_full_md/build/full_manuscript_generation_report.md
8466bd5f51d35e101bfca893e3ef93bc4568b87f81e00767a0a62b54def00266  proof_source/manuscript_full_md/build/goldbach_full_manuscript.md
5b0c38d1c9814034ff85e56db978ce7cd8a31a70d7fac7155ab8d6283269daee  proof_source/manuscript_full_md/build_full_manuscript_md.mjs
e63ab979d9a4affa75ccd2640214d766270e9f5c1f283ad5b51df945bb9ce8c8  proof_source/manuscript_full_md/build_order.md
0d163f899544f1a720c6246ec743960467b4f2973149e57c33f243001620411d  proof_source/manuscript_full_md/coverage_audit.md
930e9d475e1bbb5daa5027a7ba49a19b7e467bbd6ba7aa11889b0bf7a4416009  proof_source/manuscript_full_md/goldbach_full_main.md
2669e97c936f23a0b432763bce62d2b0e0bfd4d0b038408de5d6ad98797e82ae  proof_source/manuscript_full_md/README.md
b25e76671ba478b10e898f23d9fd09282279787804a51fbbb6b356399993b091  proof_source/manuscript_full_md/sections/01_introduction_and_statement.md
69fd9e5f96a0eb0a5f5aa7f18874436921147d1ae5888b159e09929ad23e0307  proof_source/manuscript_full_md/sections/02_glossary_internal_labels.md
52cefadc3298ef3b189000a25197e4d8e3a833a1db32f55e96eacc43c6d8a609  proof_source/manuscript_full_md/sections/02_parameters_notation_error.md
c2cc00c18c428a31a2b30a9b849943a4056967b9ab83bbc64bd67f183c1304fb  proof_source/manuscript_full_md/sections/03_dependency_tree_reading_map.md
c62b345482b7d900244ad9d6d89509ee6816d3e4f76bbc879897915846a5faa1  proof_source/manuscript_full_md/sections/03_external_inputs.md
ce5e39883d43720791f770602c59efc078724c291121777c2103f735ad4fc809  proof_source/manuscript_full_md/sections/04_heath_brown_decomposition.md
617268cd94697f1c4556c13c3f1406aec8b06132620c04503897b567ac756ffd  proof_source/manuscript_full_md/sections/05_routing_grammar_terminal_classes.md
c1d2bbf9ae85a97d0034fa6d9d50c2dc9ab2639a366ed6932d14b52682bea01e  proof_source/manuscript_full_md/sections/06_edge_longap_local.md
a54b9ddecc47a5117ff8e3ecd60707d80fd8dac40e1b25a762531bf1bafe73ab  proof_source/manuscript_full_md/sections/07_ckp_branch.md
b742f3524a0b198e9c7b7659fb5d4df5474dc1d7bf692618ea5b8f30c3f02c34  proof_source/manuscript_full_md/sections/08_goodawack_branch.md
577d311a9a8aa7062080112f35d690ba19d113097cd5d390bb476acd13e70d11  proof_source/manuscript_full_md/sections/09_local_main_global_assembly.md
8283b86066d0693453d1bb71b19dd3821f0edb75b9c603d9bc810e69e76321ef  proof_source/manuscript_full_md/sections/10_prime_power_final_handoff.md
c44ba04d22b648363ca18b58cf56f004351e8d29395b0177dacc63a226500133  proof_source/manuscript_full_md/source_map.md
c868c46c1ab074cd6fef2218ed45a2041eb78e29833db7562e650cad3ce0dd58  proof_source/manuscript_full_md/supplements/non_logical_goodawack_verification.md
746cb616f1c88e9a3f1900f94116f61caeac53c75ec6b946e5ae9f9813d87c9b  proof_source/manuscript_full_md/supplements/README.md
180d18bd858cd0f34b3abffdcaaad36be32a92d82266e7741750ce6a485265e2  proof_source/manuscript_latex/build/build_report.md
3b89bd2b0ae6e615625775b4054916c03390f54d0cda8611afad99c83c6f1167  proof_source/manuscript_latex/build/full_build_report.md
ef908c83d1fc16db58d183a0cbddb66fb5b1dfe895650dce61b002ba09ccf600  proof_source/manuscript_latex/build/full_pdf_validation_report.md
cec25bbd26fca8a92b6aadc15077a2441a9d9ba50907334b34e0e1b61ecd675e  proof_source/manuscript_latex/build/goldbach_full_main.txt
2b9ef6e98bb416ff0aac9017d949ce8f1bf165d2eda692a4d545b60849319c93  proof_source/manuscript_latex/build/goldbach_full_main_fonts.txt
0d8a5ac372c951a61039308d1a8868f3b53b6240d14074cc167e54b3ef868b1b  proof_source/manuscript_latex/build/goldbach_full_main_pdf_text.txt
847ac42cebd0956c6ce48764915b140734dfd81c02e3eaa2430d800fc601d420  proof_source/manuscript_latex/build/goldbach_full_main_pdffonts.txt
dcb14727c8647c0062cea6c43270c86e274b40c360f8ae7de83dec19cc999a70  proof_source/manuscript_latex/build/goldbach_main.txt
c40a1761b592105ad46170470da30708e41be173f43614c43429167e53cb8b13  proof_source/manuscript_latex/build/pdf_validation_report.md
e55f3d26ff7de901ab13564119122f23cba86338ac9b74e2e2d99b7c55b78d8c  proof_source/manuscript_latex/build_from_full_manuscript_md.mjs
cb6c050f3c3867b70093cbe532fc165f0c0ad68c6d898a8a9c9a68f010738191  proof_source/manuscript_latex/build_from_manuscript_md.mjs
6573e7ada29f3d7a791760c44c0732876a8735a349143e565fc49ba257ebcbd9  proof_source/manuscript_latex/goldbach_full_main.aux
3c59b2f684e2536ac40f813ca4544826ded8696f54ad7386ba5331a52c4fd392  proof_source/manuscript_latex/goldbach_full_main.log
0aa3f32eadb90eba0c26aa8d650174b06cdb55d5f65cbd9b21818bff85868095  proof_source/manuscript_latex/goldbach_full_main.out
f6ae20842e8eb702d5cd80e4cd19714de8f3deeb4d05ff2767bc8cc9b2657039  proof_source/manuscript_latex/goldbach_full_main.pdf
f464686e8c6f0b39cb4d57a66ae1ed71d4b1277e8bb448df789437df16243512  proof_source/manuscript_latex/goldbach_full_main.tex
94e425bef76dcd377087544aba1cbd01f0d0b96fa54e7434d1300d178010cb56  proof_source/manuscript_latex/goldbach_full_main.toc
ecbd87c8a02f390d85cfd262fae95472bd494fc5256774dcab68fcef6f99f793  proof_source/manuscript_latex/goldbach_main.aux
853828a0e8bc81113becf27716bbf0cfab6dd3048a589cb8a4961449d618dfa2  proof_source/manuscript_latex/goldbach_main.log
7dd63326fc6af68958e8331cf2fc63aa384977e323da130d9d892f098f319abf  proof_source/manuscript_latex/goldbach_main.out
5e315b74ca96aeda1bf6b15fa264f344e4cc66eef6b039009be3f69eab1ebb7b  proof_source/manuscript_latex/goldbach_main.pdf
234eed647a26b147954a1cbec339e131622238f2b930035c80c061e5be4cf8c2  proof_source/manuscript_latex/goldbach_main.tex
2897d56dd9525fae6d19100f5ed04f68e94a52828db2e8c490e21a062f61a12f  proof_source/manuscript_latex/README.md
7f9bc0ee4f2bf0d539355dfc0412bba6ca63e7033e9d3b15487effabfc303742  proof_source/manuscript_latex/tooling_setup_checklist.md
2a243a889b4e535c0fd35193ab6fe75e52af6aeee5cc6a4c5704b0bcdf2761ed  proof_source/manuscript_md/appendices/appendix_a_routing_tables.md
e5a609605f97c650fcc6b9ed3f49b0052c11f7482405aedd44663cdd903a62cf  proof_source/manuscript_md/appendices/appendix_b_edge_admission.md
ee3a467c0a5a9231187abe1c8d8985cf46b6666d9d331fd58e6b5b77ec5e0802  proof_source/manuscript_md/appendices/appendix_c_ckp_x10.md
1726e536459215b70ca70d529dcacb55db03fa489960fe10d6395d8b9ebf462b  proof_source/manuscript_md/appendices/appendix_d_tc1_brs_tth_goodawack.md
3632a6a255044f8cf7b5b18c499433d0c593db08e205a8aafde3492cdbd20f8f  proof_source/manuscript_md/appendices/appendix_e_local_projection_algebra.md
c909ba9480ce7e71862613896dc77bc51b62d98a045c60bc36d97c3b28b77946  proof_source/manuscript_md/appendices/appendix_f_error_budget.md
5fda40882281f1686c4282613b719abc261e58d6b21984c398b20200766b2eda  proof_source/manuscript_md/appendices/appendix_g_dependency_ledger.md
0d457408c2561a2031e2842ee8074a27d2d6c0e02801482202e2d7934c3dfb4e  proof_source/manuscript_md/bibliography.bib
0e63e76136fd99b855f5abd238f6595ab26a084241278aa0d9fad0020412c719  proof_source/manuscript_md/build_order.md
eaaa45fc7f2ce42d65243d7eeb90c47a961098636030087c1b46ce01acfb51bd  proof_source/manuscript_md/full_manuscript_blueprint.md
10676ed5ffcf423a15ff1357881ad5d6388081a6932957f2d41b1c1cacf793c0  proof_source/manuscript_md/goldbach_main.md
34fd605a38f7eae8551005a2e20acc8c94d08e9a9e379a3478d2f59be7fa44c9  proof_source/manuscript_md/README.md
a87f048d237740adcfdece0098e1de82048a7e75d542cac9ffa5bb2dfc6c06df  proof_source/manuscript_md/sections/01_abstract_frontmatter.md
3b83c5afebf1a1881611d2c0dfe3e27b76137b63c3129d694c2d7795d45978f7  proof_source/manuscript_md/sections/02_introduction_relation_to_known_work.md
f6d1197bf6f9a436bda1a017eff8ebcd11e03b5c4bf3771dca71f095ee736d32  proof_source/manuscript_md/sections/03_main_theorems_and_strategy.md
ea8bfd7730301d372e9ccd95a0e09f8b632a32ef7f78e79994cb4e55b92c3848  proof_source/manuscript_md/sections/04_notation_parameters_error_budget.md
a10bc76cb007a1d3f025720c3912b5d2ddc05c03c5fdce126ef9990b7a05955b  proof_source/manuscript_md/sections/05_external_inputs.md
2eba78357f641012016588af5d19ac1dc61d772b7373937b0dc67da1647426a3  proof_source/manuscript_md/sections/06_heath_brown_decomposition.md
e1be8d0075c75a50f6190b4d9dff4887933e671f7138eeb3209a75c99658d8a8  proof_source/manuscript_md/sections/07_routing_exhaustion.md
8aebb15c3598d65abd5316e46f9b8f3ed9b88daebb1fcbf66cd1128634270205  proof_source/manuscript_md/sections/08_edge_estimates.md
eb2291f79b526ce1144ba03d86fda14d70b0df8c5341b50d0d4e3994d24142af  proof_source/manuscript_md/sections/09_long_ap_local.md
857e44fe827e58834e1acb60203a073ed38f4ab4dd03a993c307e77aa0024588  proof_source/manuscript_md/sections/10_ckp_branch.md
6c9a95041329469ce00eb3c91b3d6ade7e9349e7edb66f2b68502765715dc1b6  proof_source/manuscript_md/sections/11_goodawack_branch.md
4f7d21812f29cd0fe00dee8bfc1fe4134ae0bac88896cd218ad488fbda8b128c  proof_source/manuscript_md/sections/12_local_main_assembly.md
e7b3dc914a9c4d155aa0d2f6f62bcea25ed7a3b79f92ec160e44cfe511da36ef  proof_source/manuscript_md/sections/13_prime_power_removal_final_proof.md
57f3fadbb3a2e006fe5680ffced5331999bbd094b08593931eec8732c14e4fe3  proof_source/Proof tree and ledger/g_proof_tree_n_ldg.md
b20ccb13316ac9d069602a30a256cc8f31f60f5eafa1d9b03ee440fdb7f214c7  proof_source/theorem_packages/build_full_proof_packages.mjs
a70ac0f8d7ada72f42037718dc1077fb4b797163bb129e22c4b0b9bd402300a0  proof_source/theorem_packages/ckp_x10_x16_analytic/build_report.md
d802690b4d52407dab4b0a5ac1d5d852d20aa13e1503975b3799c1d9aba165c8  proof_source/theorem_packages/ckp_x10_x16_analytic/checklist.md
838cc8b417db15d39f8295f4df3db115b23127811a0b0fa086b2eee0d7d1d21f  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_full_proof_build_report.md
727723e11b9964dccc426635ab9dc56a2242c8ed6146a37206a9af56de38c0c3  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_full_proof_package.aux
d260b7281a522135185338960db5dc03aca805d342381b28f1b8f1485894a74b  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_full_proof_package.log
7cda3033679917f1c42462d610fc20934cd7218046665b1271cffe2910fa2955  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_full_proof_package.md
1e3af9266b9a77759c49b812cec6cb9df7e3903bb4c77186f8c54040d6a3df5f  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_full_proof_package.out
eb46c691aa0a9046a86e2fcdfbd4ef1e2dedb2176d200a211601115f00fc8e32  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_full_proof_package.pdf
9512771305d801d798860a61fcbb0195dda074ff1213c6c54ab32a7dba1f42af  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_full_proof_package.tex
5eff49c65a393d33b2072766a08cc98df4d5bd9a4c3dfc92d15fa921dffa8ca5  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_full_proof_package.toc
9a8a41f097bb53d5384312afa49e68d77851bf0e5b91e39ab614f39d26236396  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_full_proof_package.txt
085aa2f17188269d777aefb6865a6c0abe774b112d32fdedf580b267db2dd2fe  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_full_proof_package_source_partition.md
09e4c326248758e0e34d79d780b14fc10a1d2358a8e69c13a8040f51739d29ad  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_independent_theorem_package.aux
57801231d65afba33028a28810b272ab6ae228b22400dea4e2d3c46f31cd9732  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_independent_theorem_package.log
a1050ccf9f15d87a1bde947aa17218bbc7f8e7c16c2d75483a0f26377753cbd2  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_independent_theorem_package.md
3e00fe22a1db5db7a4fc87f6237e77c28786401449664dddb30f01d21be9b44e  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_independent_theorem_package.out
6163caec4621254cde06cdb3f2413d0793ad7f53e0726af2bbb2521a8c5d29a3  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_independent_theorem_package.pdf
56c62b04b15fd8cda9eb978a2ad4f4adde9bc2f3666ba72d8409395557132c8f  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_independent_theorem_package.tex
d082ad36257b39f33000a6ba1a2e0f24f8c39bbbfcef06f283819c7b9fa9e03b  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_independent_theorem_package.toc
442b72057614fdc2087bcdfd6318c9ec357dc6b736ee34d54bbdadc5644c304d  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_independent_theorem_package.txt
3177b81a0e96dfcd99c6a994c432f5c1d9964c42c2ea1177bcb1e6da0148b75c  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_independent_theorem_package_build_report.md
f8aa8effc4cd23cb3a0c891c87505e8ce4b79625d176a28bced6c565b427324b  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_independent_theorem_package_source_partition.md
f81a71cd759d601fb74f1dc1aec2d950c880e17574bd8131fa921e0adcc5d101  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_package.aux
e16fc14e8d73536e9f0163cfd88549be7f0b867b06807e0ca3bad5300a5bc0c2  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_package.log
f9245ff96349a447d8a09f2dbafae41254f21862cf40e573b3c745589fcaa811  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_package.md
a0169bf61684de3e3de56c3915be19345837fd9a40ea1bfab29b91efac691603  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_package.out
cd88eb07c61ba83e24212ec9fa4537cc88b1935361934b6f96c3d7360867328b  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_package.pdf
1bf2669d04ee7831fb599f6449c4279a3b2ee8f87b529a0ce8139d4234ed8f92  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_package.tex
edee74339430319d5210c83937ef6cc762611ed44bfe527024b870bd0ee63ae8  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_package.toc
17f6dccfce286fd306e1b2f05e723ed851e16786dd7701c517ff7abb22e87512  proof_source/theorem_packages/ckp_x10_x16_analytic/ckp_x10_x16_analytic_package.txt
ce704570d216f7980706172e9f559ceb952496fb9a02f26c173e404adc29db51  proof_source/theorem_packages/ckp_x10_x16_analytic/README.md
bf99fe861c76616528dfdf78c9642702e8fff20ded7bb93f2d112a0a5b29404a  proof_source/theorem_packages/ckp_x10_x16_analytic/source_map.md
d6200c3a29f6343303d034db3e10275c52d470d998f55b5fdc21de57face305c  proof_source/theorem_packages/final_modular_assembly/build_report.md
ce2c49983f17d0e08d8bdd708fd0654b875f7739ba2b2d0caa0e4d1645c82434  proof_source/theorem_packages/final_modular_assembly/checklist.md
d62968e5d756f6f53c33dbd4f675a7dd76e916b7f403f0d5928457dea0dae0cc  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_full_proof_build_report.md
a2d31407fa6679dccf72c34cee0adfad1a5db84f458331bde39df2f7194807ac  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_full_proof_package.aux
e19e03bde4b12ffeb8386a880f4bb23baea0171a13af1d5b5e5f6694f83d1e6e  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_full_proof_package.log
a03ec089dd54baf022d2e2cab8c1a03ebd1a047f8e23bc14677dd1087c6b8e5e  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_full_proof_package.md
9baac2ae5fe641cdbe8fe4aa690af380dc1a11afb8d16b874d4435b6f00cb327  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_full_proof_package.out
6708c29ceb16679ea27071b52f6dffa0953e7a1d2938d8195e05bbf52abd0709  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_full_proof_package.pdf
cc8a7e45933bc9411e87d59093c9a576ae5f035605e287f45cda258cfe826aab  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_full_proof_package.tex
dd41376a14f6aacd3d41a244d6bce7aced7ca789df581294034a17da65621e3e  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_full_proof_package.toc
1a4a4daafba1db73b58c75226c68e7c59e5c910adeb2a42166f1b64727242dd0  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_full_proof_package.txt
6552204e10ac01c46ca407b0f85387299b0454b57b7a5518ce937dcab3e38f8f  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_full_proof_package_source_partition.md
a3988cb2b5eb9f42d55c2772e3fe5c1d1783c6f23c19e446bf7b4dce4d38b9ac  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_independent_theorem_package.aux
511572dba8f9286e6700ed0a059d345df2de002875d5953b3fc2d4dad89274ff  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_independent_theorem_package.log
99aaac4bb4d72e73d6d9efd77cc3d3e2b141bce2c706cbd250a5c705970796aa  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_independent_theorem_package.md
31184bd83b14e4b87acd41d3874854ca93b7945bd347a81c5205d1af75043b31  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_independent_theorem_package.out
c2f6b32190025133886024c5ea8cacc29dba64a5681ab8d0484b0d8614c7e730  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_independent_theorem_package.pdf
a8aa746c31f2672c6b2b8015b5c77fb269458a94950544a5d1bda209583e6553  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_independent_theorem_package.tex
a1e7e6969c1e6011877c3e7bd854922eb87cda9543b115a1857ab333c4206a3b  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_independent_theorem_package.toc
a09fe931f47661e4107e41b6100dca78b855e6127439c2b027a20f5ccf7631f8  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_independent_theorem_package.txt
c0d44db894695a63772de172596796ceb84a17f65745976684d5eeccf6b15093  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_independent_theorem_package_build_report.md
c0d431c6eca77a0bef1d44d5b34ca9acc33905159c5b4984531f2554f49b902b  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_independent_theorem_package_source_partition.md
3ccc13c1dbc4ff43b1ca7ef10615178cb40d6c23d95a5a7e82fb3847ca7189f6  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_package.aux
78020082cc67fe8ed91cc51dbba149f7930262c697bfda903170541f58351cd5  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_package.log
622d06a275cd354e61f5a474cc94434d93c176a8a3ff9e532890441d6ff239fb  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_package.md
06b7ee39e5d839b57f54ea24458fc6e62d5bc25a5ef2dd02ec9206f98d7b0ca8  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_package.out
74cb83a517fb5da08492fca8e2d95f6b19b55404c7b587e1e20eb208730e09d8  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_package.pdf
062e04aae6c05be0b017669f04b933617a8dd7845fbe4da444da08edc0c3f6a7  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_package.tex
33440e1ee0858777e52ad539851fe62522c543807229432b49bbeadac1341d0c  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_package.toc
950eb6ee9f61cd8016500d11bf12226ff22aa5d445a8773f1c5e423c96113bea  proof_source/theorem_packages/final_modular_assembly/final_modular_assembly_package.txt
de558ed7b7daaeb2fd2a2b12b49da7881f2c36339f56c9484c6980493721cb88  proof_source/theorem_packages/final_modular_assembly/README.md
812fe1cb1a10be3e2ae3f1fb64c03cfe77cfd05dac2f527df76aa575bd4ee229  proof_source/theorem_packages/final_modular_assembly/source_map.md
d327ddfd3e78783217f9888f1f4317b1a2070498bbafb94f283b5320eb4502d5  proof_source/theorem_packages/full_theorem_package_build_report.md
ef6b7fa199779c3c6541aa073e0f0e9d28e60e9f4f5939f818de31bb242f8e81  proof_source/theorem_packages/full_theorem_package_source_partition.md
783133cd1285b8b44d83d6c6a4afeb3d05482232cc77573428d1ecdd0c1dcb5c  proof_source/theorem_packages/full_vs_modular_proof_comparison_audit.md
bc07c8c346c617caac420dec22118be800ed1ee85476f988f396583e9791a3b4  proof_source/theorem_packages/goodawack_finite_grammar/build_report.md
dda5e62f873faed0afe58cb1d48eec1d7137d7aa569ac4ef96fce721026c7dcd  proof_source/theorem_packages/goodawack_finite_grammar/checklist.md
c15bab3a181d026287ccc3a08c37e4230bb2de99468566cc0bdb98e2fd9424c8  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_full_proof_build_report.md
25c315da5ee304a92302870b02b5994e0adf2498a57a86b67257adaee92ba368  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_full_proof_package.aux
d3b57f1b9410a9cc80942d863339ce57ee0ab9a7b4bc2a7879e0334e896728d0  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_full_proof_package.log
f66d741fdc9576dfee7430f80033ed3e2a53704e0f05f83355b3cfdcb2586a47  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_full_proof_package.md
7bf81256c24073f1d756f3c10df32f7dd821d463bd7bf7d334caa5daabed128a  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_full_proof_package.out
376a58d6404309aab2fc7c4096f26922f143e907cdb0bed27bc2d035eee91bf7  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_full_proof_package.pdf
3f8eee0f8c8a81e447887870a8b8e972cfcb18b0b585720a0f4bb49d34a10fd5  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_full_proof_package.tex
f0f51797482fc4e35da76524754f16766566290f6872bab93d065ab0f703c976  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_full_proof_package.toc
7760bdf61baf435114cee93751a7631a3ecfa1fdb6bfea34a2fa6b9268c8099b  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_full_proof_package.txt
63f05e03cb52ef8002ed02f6665940294b4818a92ce4dbf10252a2b162372877  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_full_proof_package_source_partition.md
dba6e45e553494c6bd84baf094bc96ae449baa97f5186fbe7bd27a3307653dea  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_independent_theorem_package.aux
965c1c751707bad30fd4a8fbd78983f970cbb9526eff0d7e0cf4e14d3b156ef2  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_independent_theorem_package.log
9b428d4794ee2618435977f9e1b48fdb639d5d2acf204ab18f8c37f7c0b1a1a4  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_independent_theorem_package.md
7226a63ffadeef096598a7adab49d0ad18f22102a32f4fd9a47fe559b0ab2be7  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_independent_theorem_package.out
ca46e08a460b79c7739bfbb635b2407280f5c9ec7b313f69efcfd65febd3d9a1  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_independent_theorem_package.pdf
48510d4832c7daddf00c9ad96bbb5f663dd965193da4c2dbbbecb32fd53a4ad4  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_independent_theorem_package.tex
b5baae25977233431bbd3083c9ef48b3ee14e4366c4b1f6f9a9c5bae5e4906fd  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_independent_theorem_package.toc
60e694549d4c1b4219d0fc4032ff38481007e2ecc10d51fd095b7cb6505e1d53  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_independent_theorem_package.txt
8bf68c3864ce85e2f43f92319497a95300e0516c87f36eaaf6761eed96de7a1f  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_independent_theorem_package_build_report.md
882447b6e72442718ca0e2e77626c2f2ec024756387907ad55f0d2b3d5489f5f  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_independent_theorem_package_source_partition.md
77760ae51cc6ce96474e8be1361e682b4b450ab12fb9f35f4d988dfe30a1a317  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_package.aux
47a34e62260d57890fd66f4e1ac8eeede054cd6d6b8ba383bd1dbe43cea96579  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_package.log
55311725b54827c152e783c73646e347cfcbf5edfefb9ce09690ac99f00fd32b  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_package.md
39621ba5a6a0b48c28e6aa91f3c78f0673535a710e470afe76563e80bf08bc98  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_package.out
b42d3d6c3b12fb07829178cf385f67d2560d7ef01ce2396915f0ccb09f1ff44b  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_package.pdf
5421e0cc9246481eddc21794372e7eb8e5c39516bd472a9c5388c2a849fa093a  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_package.tex
35db092534a8d30ee07d68c6a1e461c3dcf89baab51361484e129a129e7773d3  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_package.toc
4fca0f0b37e669c8806eedd3a7720e60aa6980991488afc53a5e4a6326b9cfc2  proof_source/theorem_packages/goodawack_finite_grammar/goodawack_finite_grammar_package.txt
92fe897633c2bfa8387c7990975a019ad95d3c1cae4bb4f48d85dad049496480  proof_source/theorem_packages/goodawack_finite_grammar/README.md
c179acaa61fe746651a9ee8beecd9cd66b7b472bb8de232c2a8bafa322fd452d  proof_source/theorem_packages/goodawack_finite_grammar/source_map.md
2883ff6d99e6b23d1b1cb6e9c554e2c367d4bb4ed121fd39c0c43f1e6ecc8f49  proof_source/theorem_packages/h4_local_algebra/build_report.md
0ac562e90b51615351da223b9acb3f87338c23768368064da12e4031e1046807  proof_source/theorem_packages/h4_local_algebra/checklist.md
5f504ce8672a672f3381150ce3667e66594ca23da515caabffad5b4940e84260  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_full_proof_build_report.md
4412e051a57f7bb82a4847da7b87f82da61e5f0990126f5c1061f583998d9a54  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_full_proof_package.aux
417f35b594970d57196b6c149698660fc72194d0f21b114a7b6736e2112faadd  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_full_proof_package.log
eaa13d49f13b5aca9244dcade15e361c99e47bc28176901ce21ab37f658656d8  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_full_proof_package.md
ef17d86aa5a91960e0b97e1f35141a3c9091366e45e236e1fdd558481f4945dc  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_full_proof_package.out
93d343b83c2287d3fc1fa1c3a28a5b25e59234c0a1539646fd4fea76ef75db1e  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_full_proof_package.pdf
e524a422136b38dad29f60be51856ad26d1bd024ca33eac22a9abaa49344848a  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_full_proof_package.tex
ab8ac04019812bcf61e5e961e74ecc266bfa833333eea2dc8710516a862c0720  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_full_proof_package.toc
200a2b37f80bb7dd66ae2026056d96f765072f2000963f575b7dbcd967c809b8  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_full_proof_package.txt
7d293d6cf9e20d50aaaa976dd7203203caebe4e880e8cbae3b7905d0e73ec6ea  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_full_proof_package_source_partition.md
9e24dd6660013c02a997826ed71ca3f1e8bc3f00b53fd10ef3a75c534cc1e10b  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_independent_theorem_package.aux
ba0c7fa085707ed48a5b83cd8672590ff8d4610376bba9c83df33b5e97775ee7  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_independent_theorem_package.log
70304f6a185d290d6b902d18696b698aa0ecf45e01767a21cd3a7b88bdb28bf2  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_independent_theorem_package.md
c390f12a675674605ae362614e5f81b33bf6837a9422aa95fc8fed339defd0d0  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_independent_theorem_package.out
fc6baff29ce5b62b505073ae1c1da86daae3ca559bfd0204d08ae6c51673b32f  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_independent_theorem_package.pdf
e6d97e6bfbd3006bba2c1b0d3570cbe4d8ec7ee913080b02716dcec5a6c993b7  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_independent_theorem_package.tex
aa87a0b44a7f60d246cc96235616210fb0da6ddfea44b39f86b5b30282835cf9  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_independent_theorem_package.toc
bfe171feb9837fc1b5bf1e80ef524b8f4156292ddc94c584b89ff720f99a3087  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_independent_theorem_package.txt
91c77d26cedacbde033751b3128f9646cf5fb753ee8101b8f19809f15322e3bb  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_independent_theorem_package_build_report.md
4398a5497c4b8bf03cc6f8f2466dd2d05e9d21ebe2275bc96739f61bcff0e2c5  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_independent_theorem_package_source_partition.md
90096f802eb8612d90f4c078dad3ea7bacd7da294b1f443e034019188a61a29a  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_package.aux
7f3c955f85f43e04f6172185ace2653ed5fed0dcdf15bae087588b5ef4e880fd  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_package.log
ea13709f19b5850385b06978d6f67de9a370e5395deb2995573cef35af3154fd  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_package.md
d2b621ba2ba0ecbabb0276d5b9796ebf321e88e9f388413622879575e607ed85  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_package.out
152d87b3438435f465cc4c1226aeffed9336ac95263f65ffca770f2ca95475fa  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_package.pdf
9661f29f0ac6a23045cc10d607e61b182b217416cd8a9d0a7385f617d1cafa0c  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_package.tex
b9ce742f5003602fdea541090689c13571749c8cdf91affae500ab1fbb0a061c  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_package.toc
63cf05d111d07f10761e296f8966e3f88db034d67284ccabefe9755d49a47c83  proof_source/theorem_packages/h4_local_algebra/h4_local_algebra_package.txt
1ac8c0cacc8f6b27b3ec01fc4579e1923207a2546845d3735a3f36a9f56b6480  proof_source/theorem_packages/h4_local_algebra/README.md
6e0f69ec2a9161a927cde4c5779389d75118fadac7e0274815c641aa1993cebd  proof_source/theorem_packages/h4_local_algebra/source_map.md
2cb25a617e158b651bcb5932f4f38042dd30a3c714087a817da3a7fa785e8d33  proof_source/theorem_packages/master_reader_guide.aux
31ad10f6bc1ad452a17c7e65d542dc4499f71e5b2173e43f6337acc820af02c0  proof_source/theorem_packages/master_reader_guide.log
0d486980ec12bfff9920f08d42bfba5f0c801260a08f32c7de2a03b5f5acf7a7  proof_source/theorem_packages/master_reader_guide.md
b3d876a8a68b0ef86d096912ec7ffaaf4042dd6a206670fdb6eecefc5a663e21  proof_source/theorem_packages/master_reader_guide.out
18604eb305f339e4d2a8c58a18a6190becb60d4b5fab310270507a1fa2acc303  proof_source/theorem_packages/master_reader_guide.pdf
f7aa8edde416c90400b853ded3f5a14afc9528ccfd5516b0c0812d10e929060d  proof_source/theorem_packages/master_reader_guide.tex
349e9e5e79f642341ee69a667b0290f5ab71be4b20ff5b97c835ff6914b6aafd  proof_source/theorem_packages/master_reader_guide.toc
67bc4aef6e1c2228b7f8bbbaa014af07d9ca0eae4059278a9cf11d2812105f62  proof_source/theorem_packages/master_reader_guide.txt
ab2f14d18530a604d9c8cdff4db6e77ff3b1401bd59b5d7dc2c33edc6e22ebf5  proof_source/theorem_packages/master_reader_guide_build_report.md
3a592f99530f81a69243d85ff7600c1f49f9dcbccd4bde5b8b176eda5c8957ed  proof_source/theorem_packages/md_layer_coverage_audit.md
58162b8bfd947b07b640bb84911c82c7bab3b51896191baeccdafef655b42d15  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/build_report.md
1f827fa106a4373d76d83534f5e462a4339048825e4263003b83005516a76a57  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/checklist.md
ef92a699df14fcdb0f9dbaccb6d20504f6a47bd2f6e2d916c793de77416c245d  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/README.md
01c2905345a86d10f0c18607be9258dae6cf694660a4c2e43625c811e8084206  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/source_map.md
0b3b5867241ba71cdc7361ac4d1b5c265cae83e14bd27ec840d9e5a6e8757aff  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_full_proof_build_report.md
8ab9ec1fb7928cdd0f1298419d61ab4491ff048148bb54f955cdce0b911d1b4b  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_full_proof_package.aux
3508249c140e82b4b3c0de2a7721435965579d65787a7aeb954f10e0ec16a9e1  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_full_proof_package.log
90688bc37e7e57e2a6de49b16fb0f4ec42bf25eccb050ab43c943832fc4f7d9f  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_full_proof_package.md
cc3a77ac9f27e400ddce1d68b2b87f3a85d2d1de579823c149ced1ec6a52a997  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_full_proof_package.out
7976e6690a098998f205c92100afb00154ca9d5e0f144e34da64fbbbc8a643cf  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_full_proof_package.pdf
215ae4436e4d0a9e6eadad00b357b918fb67f1ff7e21f64119b50d34c37b4cb6  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_full_proof_package.tex
027b22b976a64e94d1365bbc4a1540932558bf9de2945a04a5f71abf8be58de6  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_full_proof_package.toc
546299950479275f6d5242bc966a6843da22628288b69205fd9f701c7ff2b5ff  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_full_proof_package.txt
47b28183bcdc84bb019c30ff5377d4446c421d4df4c366b5c6c5b44d78fb6ec7  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_full_proof_package_source_partition.md
ab29878175267366ebf598a627b753553458dced0e6d4f895a3468c15918ec6a  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_independent_theorem_package.aux
bd802c42a17934eef570a4097f740bc137b738d7b9f677aa7b10b894e0f12aee  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_independent_theorem_package.log
3e2326ad651741740bb52a9dfa178bad0b6402ba85b84e1456e468a09858e5ce  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_independent_theorem_package.md
a871fd58ed71759db2bee0e06ae0530ec9391113d4cbc4b295d87b3c42c7470f  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_independent_theorem_package.out
8cd90e18800f43de6019e61cf89178d4bf05f4b12b777c84304257772476c16e  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_independent_theorem_package.pdf
7c5e18fecc6d394c836ba4747aa907c66e88b3088c75014f4631faad1accc7e5  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_independent_theorem_package.tex
0db2f7b1cc70151c1d30a13a6746396616d4374804845e58aa17e6fadaffcfec  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_independent_theorem_package.toc
a2c2c77bbd30bd15b7046851cc3a347fbd63b39466b3c9c47da2f95b16452f41  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_independent_theorem_package.txt
ec800ac203dc167b0e07b65f58b730ff43f8a45b5749ad19981a74891864e8bc  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_independent_theorem_package_build_report.md
8bc3c0f03b64941f8e221e74b694ad37b8923b66dd39dda125306f1c3a0a58b3  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_independent_theorem_package_source_partition.md
889885ad8113dbee0c5a71e09af36a54d09b6e4764f82cb8900ca0516821178b  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_package.aux
0ad8f19fb806cf1948a936e079a13bd1ec628b98711de7a0e3a3fb17030f8e67  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_package.log
a76ba4f1f4ad13f10f3229aedd0cbf2a737e67d4901ba115bccc1f56c89dfe29  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_package.md
bdad2d0f868bb56cc1af2d7cdfbded1d5189fc6269d435b173f4a0f561c69523  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_package.out
71aeb8b175b83a0ef54c4719bf19752ab7605db6a25520a0a119cb7387652fbe  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_package.pdf
7fdde9e341b09aab3324ee44740d9a677255458036f161184ec9b0af81b12aba  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_package.tex
37fc410da14e52a2655581fcadf8e6ce6fcd088d94030e4da57e2d06c7953344  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_package.toc
c561cb777496f007355e723073fce12d6c92d107da7892b2efe847b337c270c5  proof_source/theorem_packages/tng_tc1_no_rogue_short_interval/tng_tc1_no_rogue_short_interval_package.txt
262dd388ee1f7d724dd84d3af312ec3e8db73f42a3de2854fcc3de360bb08e08  public_external_review_packets/ckp_x10/checklist.md
5d4442f2bb7743e62985493449d187d4733f02d7a4e910b59504d0fe7b5e07ca  public_external_review_packets/ckp_x10/packet.md
1e24186ed57521aec0956cd8cfc3fde4060a9be01ad368b563d0717e9cf0d2e4  public_external_review_packets/ckp_x10/packet_ckp_x10.pdf
ce18cd49d5ce72d674fa7d725483877f368dfc09e6d8d79e14ec308495d5134f  public_external_review_packets/ckp_x10/packet_ckp_x10.tex
e1bb16b64f63af8cca773ad32ae713730eeea123db355cf6c65b4c6877873f1c  public_external_review_packets/ckp_x10/packet_ckp_x10.txt
8fb41e203779fd822815db5543798fa7220edcea43cf543b9b4d8436ee944e35  public_external_review_packets/ckp_x10/send_manifest.md
0b65fd136dd6bf1b28be129bc6336b8086537ce7e20e6b18e0d6e414f62a7de8  public_external_review_packets/ckp_x10/source_map.md
22e7a6a65fd61fb768c61a9f8a473ba5800c4c60ae2e79d66cc3a61e64b4b6ac  public_external_review_packets/final_assembly/checklist.md
edf1d6ddbd0c44bc682cad7fea94457c133a8d648926938fc368b7de52661be8  public_external_review_packets/final_assembly/packet.md
119c696b9635124f0f6606f11d1f356bd618da3cef0fefcfbb3ee2fe6ee389f1  public_external_review_packets/final_assembly/packet_final_assembly.pdf
14af5b32a51f9844d3b6bf900fa58a62d9fb654a83b7b3f03514dd2afb4b0c06  public_external_review_packets/final_assembly/packet_final_assembly.tex
a43f8a3ea7ee595b7015883ef6c2f31409d3ab07707d663d9e5016f1c6d0fa10  public_external_review_packets/final_assembly/packet_final_assembly.txt
3dbd5a7275181e8ca25fd3339abec61526304bbbe66c47a497c75e0d939c225f  public_external_review_packets/final_assembly/send_manifest.md
2ab159870a2b38af8795c491dd7762d6db59d2ca1df414009c977a2677a382b6  public_external_review_packets/final_assembly/source_map.md
aedb61d8da28d2af3fcc7bb8d71f182edbbf16a20783b33796e583749e0d0b06  public_external_review_packets/goodawack_e10/checklist.md
a9efcf123aa4d31c2d31fa53cd9ff7fb49474e20b973a7574f8efcf4a4bf016e  public_external_review_packets/goodawack_e10/packet.md
b222bd1744512fa64fad77bbd686ead28609214342b986bb5e155a73dbf63f80  public_external_review_packets/goodawack_e10/packet_goodawack_e10.pdf
80b0d89f3efbc88a3232d205866a47d1350022e2a5682281a9caeb062448ede1  public_external_review_packets/goodawack_e10/packet_goodawack_e10.tex
feb7c2fc6ac14590bb3e0d08e751e4c39e4e31f2c36ddd35895ca4a84e7a2577  public_external_review_packets/goodawack_e10/packet_goodawack_e10.txt
d8883742d516eded6006684bb0284ac148c395d7e0152ae7ea8288073b648752  public_external_review_packets/goodawack_e10/send_manifest.md
812286bb61e7fe1247b0e1a4ad70ec559cfd3e908c92c6e501d524b17594b32e  public_external_review_packets/goodawack_e10/source_map.md
631b5ab939c59b84970245cc5f3d5814fe5379c830a7c42cc8e53f97b565f50c  public_external_review_packets/x16_shiu_brs/checklist.md
5cfab6e0a7955361ad0fc443ebbdca3e1035d53e921632adbc60debe0f35b8f5  public_external_review_packets/x16_shiu_brs/packet.md
3c258f5c5979e0e35e5c5e9e8415e600ff5f428c90c82db97c584a0fcd1669a9  public_external_review_packets/x16_shiu_brs/packet_x16_shiu_brs.pdf
a684afd7c7bb6b41956c0d8f749d80507b2e066aa48124c07a272efcd47ade81  public_external_review_packets/x16_shiu_brs/packet_x16_shiu_brs.tex
44ed18bf350e7876841878d450ff0bce025a566a2516b8f3792459d0d7d9bca5  public_external_review_packets/x16_shiu_brs/packet_x16_shiu_brs.txt
688008ee5c36b47f175d584243e5e7f33c725f21eba1a6db5e0c67b0a2bc5302  public_external_review_packets/x16_shiu_brs/send_manifest.md
dfcdb4c3d5ddfe31b8b0121d40ebfc0168dca2248c0dce8c95fe1b3ba4b5d0f0  public_external_review_packets/x16_shiu_brs/source_map.md
04c922a6bbaa2a2a2ad9f7977d5d76a0b4bc23a7b0a3e326aba0ea15968bd006  README.md
ff36c99fa9d6728a298180e2027db4d6ccc7f71e69603fc8db1caaeeb63acff4  submission_packages_overview.md
4357a35eb092675d1175b88e2458cc780222482c205da8b0093155fe59548f91  submission_platform_compliance_check.md
0382cc047ab46328022a1c5d6aa275b698dce6152bfbd989b48767682c5a0e3a  zenodo_metadata_draft.md
