{ "format": 1, "purpose": "Exact source and data used in the completed directed-MPFR proof verification. Generated files are reconstructed.", "authoritative_results": [ "verified_final/m2_final.json", "verified_final/m3_final.json", "verified_final/m4_final.json", "verified_final/m5_final.json" ], "files": { "ENVIRONMENT.json": "0b293244f55ee52bb29a29c90e9e6967847d3ac81e23d2c98545ab047bc4de98", "README_VERIFICATION.md": "cc0730a0d050d3c1ab01d415e8eb45ce404f2406c9e05a006843ee79980eb3f8", "completed_logs/complete_finite_checks.log": "c5840509d6f4f9a7702e470701447477372de8453bc25dd5afb01cc13c3da55a", "completed_logs/fresh_pair_postprocess.log": "fbe2023152424ff4a7c00b149807356b132062183d86e5be61fd83728e6a6eb6", "completed_logs/fresh_pair_postprocess_m3.log": "e86f5fc75bbce61ae860c460790e2714b2f8362b2ed6cd7159d61af856ba5859", "completed_logs/fresh_slicing_postprocess_complete.log": "d4d4cd8ff8af982a3ddf33c04b2e033a578a1ff8c4a721e5098cdc09e359d70c", "completed_logs/h5_complete_verification.log": "dc72a9ecb7406d77a441073578a21d6294b54a121951a22a32dea08f49db3df0", "completed_logs/m2_full_recompute.log": "a08ef37353c3b9f88db469e83f82d0a03acb0a10b56df9c76a82bcd46b36b37e", "completed_logs/mpfr_finer_m5.log": "171d6eae4c3f5fd8a8f3c199261ae44f622fccd9c5a15b1b2caacbae77682ec8", "completed_logs/mpfr_global_m4.log": "6841a458580a12da99477a3ac4e869f47479d7c71d800f62374a772ef1b9a56e", "completed_logs/mpfr_m2.log": "736c3a379a4f7c12ed95760ce49dbe357afed0493beb71a47f74077a298d4a04", "completed_logs/mpfr_m3.log": "46e2628814b422af7b9eca68b727317fd6eb92c7d929ba56ce2d429490a7b5e8", "completed_logs/mpfr_means.log": "88cfc1c0e9483d852900d71ccc8a50be3faec6887b512d5dd842ad4b78aab724", "completed_logs/mpfr_pair_moments.log": "c140cea5c8755fe19a6f4e71b398456e5feb0d80b6ecec57aa81d79b1d683726", "completed_logs/mpfr_support.log": "f34c790a660b84f1859b438593df934c4d2e5c2ef91d1c7919c4949e888c1dd1", "mpfr_backend/interval.cpp": "257dafc24501cae5e24192977b197d63342b54a7e9e13d3e81bd884b6c0b5e07", "mpfr_backend/mpfr_interval.py": "1eb625ca2b62d44b37b115d18c6367d243d8944920fee413f8d44c73f6f16db8", "mpfr_backend/mpfr_primitives.py": "f77accdb739b42ce883aa67f4aacb26f3abb0e383dfb85f9e73c63c8c9bd7f05", "mpfr_backend_tests.json": "362081f555daae1dc639085a8f332e568fba93a197e02eb166ab6b010925954d", "mpfr_finer_runs/m5.interval_certificate.json": "6cb83c1da575b416ed77a6515361cbde950f4d0eb75ed2f170bbf9a685d804b8", "mpfr_finer_runs/m5.json": "e84db4db1193dc58df64e5fdb3138e608c0463e5f41ef012f5b9f3d2b11e01d0", "mpfr_global_runs/global_driver_m4.py": "b5183d7fe1252aa0764920521c407939e601ab890a6f9a0f1873c9b961e7abf9", "mpfr_global_runs/m4.interval_certificate.json": "2a8a77a44123d845a42e3ebdecf91b4d2ee6f0dce81aff157e6c513315959c71", "mpfr_global_runs/m4.json": "acd55123c9ea5cd195b9316bb9bbd4b33ff512c1ff6930a789cf8f591f5c32d8", "mpfr_means/mean_m4_r10.json": "75a05972419cc8ccbadf759ea95d5e6ebf6a2b967e3626aa0f4a5b476e340ca5", "mpfr_means/mean_m4_r10_cdf.npz": "101883683c3d828a8d768d100701b74460a2a52fc6b7727f870539c19fdbd42d", "mpfr_means/mean_m5_r4.json": "944e295be15a20bf4147c3f07b9180b298416bf95a0ee685fc8c15ed564fe1f0", "mpfr_means/mean_m5_r4_cdf.npz": "24b8f971e808c6d68406353f59b6330b2a48914403572c92835606092bfd289f", "mpfr_means/original_mean_m4_r10.json": "74d3737aa11bbf46e9a995f227aef55a18207155c04cc92f0c827569dd5b6d13", "mpfr_means/original_mean_m4_r10_cdf.npz": "e90449b926390e8a22b7522d203a96a122adf0f1f62ba4debed40f7d6710ba9d", "mpfr_means/original_mean_m5_r4.json": "17704d48d053eca9245f7737c42da6f0ca4266d155c1f08b3f7de1a1cfbf3d0e", "mpfr_means/original_mean_m5_r4_cdf.npz": "55247bb44aa2b4a0e6c943794e877cffc6a3278e60b9a6ea4a455cf39f81ea65", "mpfr_pair_moments/m2_power1.json": "7bac13092c28ab6d878254101295a4e510c90eba34c3cda02367fdbdd0374f64", "mpfr_pair_moments/m2_power1_cdf.npz": "978a64db3d07d26cd702994b687778cfb493f14b88d3871c6665b014afa97c8e", "mpfr_pair_moments/m2_power2.json": "b4cf80de5bc2a207f70af2f73dcca29cca6fa6b9099bb8124a86763cb3ac3864", "mpfr_pair_moments/m2_power22.json": "7e7b8b9e7b7e162f6087388f82f29803128efc100934735d2faabf218a0d4066", "mpfr_pair_moments/m2_power22_cdf.npz": "7a9374dbb58008d32d8349b86fd7627e8307eebef488cfa2404704ff7b9b28e6", "mpfr_pair_moments/m2_power23.json": "3f3e1a87672d22fa97f955e8b0edade849232c02b1f9c672f83ddadefcc35cbc", "mpfr_pair_moments/m2_power23_cdf.npz": "fa806f76a31ef0e3245b4d1acab22ce13f324846356362bff2c0ee719dc21ae9", "mpfr_pair_moments/m2_power24.json": "f58ec81fff373d750a443ef2f41fc0c1d2605aa8a5932e8ffd00aeff78b1ebe0", "mpfr_pair_moments/m2_power24_cdf.npz": "4c06245af7a74849c13d27a9712a99ece12c06b9e37028330ef6dc3f89d0aea4", "mpfr_pair_moments/m2_power2_cdf.npz": "20679d217bac0bea896e1db43f18059fcc28ac1d8d5d89d3ed2fe0b51402c094", "mpfr_pair_moments/m2_power3.json": "42a1e9930e961f431363e40e58ef15704645937f5dde5d0d6ba9bd94ed743d06", "mpfr_pair_moments/m2_power33.json": "81621dfa0bfdbc42e8f678ea5b04a8c13f494c413ee4ff69a4891b9424dea89b", "mpfr_pair_moments/m2_power33_cdf.npz": "d97069ebdd3f85f174528138a9aca3130995dcd3ce674c266865a42eb2bdba68", "mpfr_pair_moments/m2_power3_cdf.npz": "208a3b6febef363bc241f693f9254b988936cddad9777b58a837606fca9bb5a9", "mpfr_pair_moments/m2_power4.json": "e8b7d8a5341998eea957dde9468a293e31ac2bf91ad3fb433b246c8a49d69738", "mpfr_pair_moments/m2_power4_cdf.npz": "176b49d44d2826a14593349f67107e031e903ffd9ef73cb73e6b6454d6c7c4b9", "mpfr_pair_moments/m2_power5.json": "d9410939dd49517bf21d881e056de9b38a29e33463bdd77ab6a73505c0ed095c", "mpfr_pair_moments/m2_power5_cdf.npz": "48acfcf2b2367f20c0687635adfb4f7d4f7687b750ca20107306b9bcf094ae95", "mpfr_pair_moments/m2_power6.json": "4c92d281f88c21444f88cee2fa3107f2ed53b0ca8ae8376f6661da6d76e76171", "mpfr_pair_moments/m2_power6_cdf.npz": "1c4c013660367e0f3ea20b6f6856ba1d8d9d02248fa5d754e03d0f3bb847e7ea", "mpfr_pair_moments/m2_raw.npz": "819b6d2a31a4a035f1f3b20195477beb31d1c54da9c0ec2931becc69acd81ce1", "mpfr_pair_moments/m2_summary.json": "aec9b38a02f73c238bde239eb016d63cfe89ea27379c1b20bb669fee08bc6313", "mpfr_pair_moments/m3_power1.json": "b8e227e7abfeebf49b072f68f644feb04a6e882cf1fbfe4db5af0fc6cead6764", "mpfr_pair_moments/m3_power1_cdf.npz": "77519f487a8ed8af25a965dbced7f539709ded6571188e1f28253eafcb4a0619", "mpfr_pair_moments/m3_power2.json": "eb7727a890d08dc58963b69e1c6cdadd339b46d414ee65f4f2df8db3ece2095d", "mpfr_pair_moments/m3_power22.json": "9935392b2c20021a6dfbd378c118aea1ebd40d992c8637af2bf534054dc7f04b", "mpfr_pair_moments/m3_power22_cdf.npz": "d3cef5eb9a4224f25b1a6c3b8acb4de87a40927d2222045ce6990004a8e01e5a", "mpfr_pair_moments/m3_power23.json": "05ce40d6c6f4a7ed1d25d0587d8f46cb518926a029efa3083dcae5781553b10c", "mpfr_pair_moments/m3_power23_cdf.npz": "7bf039c28c42fca69753f83e26a1e07ae4dc9fb9fce92ca230df8513a5629bff", "mpfr_pair_moments/m3_power24.json": "448ebe11e71f5db1fdfe26fbc62abcaaadc11f6cc34557cbc602f7249d6f2021", "mpfr_pair_moments/m3_power24_cdf.npz": "541453f9db62d9b19113d297aba20a2287d2ff5fb43dced53217d8930ff32c63", "mpfr_pair_moments/m3_power2_cdf.npz": "7ab99545e205b9463f77671fe5c47cfcb0cfa135e59551301fa3f78ca8a67954", "mpfr_pair_moments/m3_power3.json": "3789d941af55ae050c5337b0447d1e94711e6652c775adc1128ba334aacc49fe", "mpfr_pair_moments/m3_power33.json": "5c234e8bc92f982df5144dcab53640cc5051b5be4a74dc90204fcf04dd5bb332", "mpfr_pair_moments/m3_power33_cdf.npz": "75aaaca0f0da823bf2e5df3f96bbedca04186d663ba048f5f82f5afe05db1c9d", "mpfr_pair_moments/m3_power3_cdf.npz": "09f3e0d11e1815d5822f57087d3d6645a4c2730ec5a2648af22b2e51a123dfe5", "mpfr_pair_moments/m3_power4.json": "492c7c0b6cd8f257d9efbc38b8ffd8c1f02f13b81879f1e6097eea1848da6136", "mpfr_pair_moments/m3_power4_cdf.npz": "f4d688c4a9d58471f1947d24655d47c6d90b0684d04fd9b10ab5caa7db79bcf4", "mpfr_pair_moments/m3_power5.json": "5712118d913f410154b56d384e3f165a64a5531f77d53c2c34abca12725e341d", "mpfr_pair_moments/m3_power5_cdf.npz": "78daa19e6f352175ad93b1ac970d4e1c1d20b47897e1159313c742c98f17d5be", "mpfr_pair_moments/m3_power6.json": "1ab7b72aaee3cb9e60d18c8209eb923cbce11bca736aaef437155c5cda749beb", "mpfr_pair_moments/m3_power6_cdf.npz": "e0c2b0e3c552e51486cb5cbd1e646da330a49817ed8595f3ed7fbec44cf21d7e", "mpfr_pair_moments/m3_raw.npz": "e9ea71641d49629674b81622da342e0f5b13a0bc1da6a87b94f11926b62f6f48", "mpfr_pair_moments/m3_summary.json": "1dd8b237a3dec999743cb8aa9ca556df4775261070d516128c661b0f2cc3125d", "mpfr_primitives_amplitudes_checks.json": "a8e555dea670984dbe9edbe81c5fe0daeda5a7fa9aa46b5e404b427aa45ff27d", "mpfr_runs/m2.interval_certificate.json": "5df977bd1d60fddd37bd219df2023067def83b52f89db0de9ebde799449724f5", "mpfr_runs/m2.json": "7a84917a63303375f37ff0d970070256937b12a2bad4761170f78587e1c88a75", "mpfr_runs/m3.interval_certificate.json": "6286e6eb2173bc49f196c55ba76e5123875a3686c0bb2338b312100d58123a23", "mpfr_runs/m3.json": "4430ce5cd58f1bd4a695b047d7263301c4541e8b6a000dc99691779d8ef61aa7", "mpfr_runs/m4.interval_certificate.json": "9e3914128fa6933be34ee9ab598661fa08dc607ba51a382c360744a25449965c", "mpfr_runs/m4.json": "acd55123c9ea5cd195b9316bb9bbd4b33ff512c1ff6930a789cf8f591f5c32d8", "mpfr_support/m2_k2305_support.json": "b1331df4014141459071b28088d03cecbb344b52b0c81869a8453423b6269350", "mpfr_support/m2_k2305_support.original.json": "005bf932d7112cb1a819ec8125f68601686a59d82d657a572edc7cd0630a699f", "mpfr_support/m3_arithmetic.json": "709ac3f33448270446809f222565fe92084b7eafa87afaeb61a311cd77a07cc8", "mpfr_support/m3_arithmetic.original.json": "fe2664e622445f6625c790bc25e4b2d3ac52f104b4abb4520c23ce4fbb2b2621", "mpfr_support/m3_support_mass.json": "0ed369be0ee85fea44f567eb230a644126f83a620837823b86cddade019bab7b", "mpfr_support/m3_support_mass.original.json": "ee8acac0bf3612b8d37eb783de5633feb65a15bf06d77f1f9eb7519875214365", "mpfr_support/support_m4_10_9.json": "1afe7f68d5eb5fa150ddcce78f332505ee39af6fc29044b7c0516fee16de4d28", "mpfr_support/support_m4_10_9.original.json": "b87b1ff464b6b2a6611a1481ac1f88adcf747cd3b17b9bf7c27ca213dad3cb9e", "mpfr_support/support_m5_4_3.json": "ef43bfa78ebde3f3ee683dca859d62b2191a677d045a5c0dad579bb9d2ff4c6f", "mpfr_support/support_m5_4_3.original.json": "f128ebbaa4abc714b765902ea05c432dc494755e9d981a2e23c34298eb85cfeb", "mpfr_support/support_m5_4_3_final.json": "575e67f10150d6389f80188297ba33a72d867b26309d3cc1a2501826c5b3a7d8", "postprocess_fresh_pairs.py": "1164a80c65b8f3c58be63575602d9a469c38bdd74f0d6c0e22a2c3b4798cc41a", "postprocess_fresh_slicing.py": "2d6b3a0f95e59e4a57420b2e68335c173cd0d0f0575790c53056cb05f44c9da5", "prime_gap_boundary_bundle/00_READ_FIRST.md": "4e3b194040c67c08f0dbc08c7523cb13031bac706e170b51e212614bffadb083", "prime_gap_boundary_bundle/CONTINUATION_README.md": "e9ffffaaad24496e4a3189a6f979eb1ff6d2606358cd939bfa94f509a5d6d0d3", "prime_gap_boundary_bundle/CONTINUE_HERE.md": "7596978b8412cd2c4a629c4e4842850e991aa4f722f05e8202648c67aa3c24d6", "prime_gap_boundary_bundle/LATEST.md": "fab5b366e91658e9c05a60ee23ad96c1898721879c04e673b769132d3a31cf87", "prime_gap_boundary_bundle/MANIFEST.sha256.json": "9d1b3385e440126ca8cd096c766ebf52ae96d5486f2e939bfeca5eefa6729263", "prime_gap_boundary_bundle/MANIFEST_EXACT_SAMPLING.json": "36cb13081d25166e1e7eccd6dbf62ced9210c439f8a006da81c7729582fbb442", "prime_gap_boundary_bundle/MANIFEST_MULTIRATE.json": "ff40a4a59739152b2b9dcb7f1033691de2f9873453e3b597e6cb04f2bd282ad2", "prime_gap_boundary_bundle/MANIFEST_before_polynomial_slicing.sha256.json": "2c78e1bde6a2f6496cc419ac166408ac8bb55c5a126fc0bd420c4c9f865424bf", "prime_gap_boundary_bundle/MANIFEST_before_rescaling.sha256.json": "ad1ab0d771454de5fd711aa828e858763b79beeb897abced6178ed31dc028658", "prime_gap_boundary_bundle/MANIFEST_previous.sha256.json": "0a6ac074f58736c9195a5b9b8db3368007fa5066a53af6c0ac94514e010b5c21", "prime_gap_boundary_bundle/README.md": "a8739b5a8f48ea75f54eef46e1d921ffa1c00e6203bc8b18937e1487b2f0069a", "prime_gap_boundary_bundle/README_LATEST.md": "e494dcba061c6b24f1d6821d04272d8aaba04d3059a0f2d2b380aa6055c68706", "prime_gap_boundary_bundle/README_before_exact_sampling.md": "5aed02cb0a6db482d3595b46f610e3a2c663911c555dfbb2f6e0a964ecf93e11", "prime_gap_boundary_bundle/README_before_multirate.md": "e553d3040d163a5c9b1f9af16efe1ebc565724c1c8f20b9c92bf42ac66eb42ce", "prime_gap_boundary_bundle/README_before_polynomial_slicing.md": "d589bd5e37ecfabcc21dbbb8ec5ed52008623fbd9662de5965f19c545fe1f2c1", "prime_gap_boundary_bundle/README_before_rescaling.md": "b8625621f04a04b03b4fc3191b086b15c51941e27e9931a940e4f91c5c5d022f", "prime_gap_boundary_bundle/README_previous.md": "d6b6367f9ecba8cbe103d7ae18aba20910d1ff2ba8b6f374e0a6a42d359d41af", "prime_gap_boundary_bundle/RESULTS.json": "0522b0d596d0ac625299a8ea5b0ff256730aa33ef028f7bae332f3a29b47d122", "prime_gap_boundary_bundle/RESULTS_before_exact_sampling.json": "941a180b480a85f236311e0344fe9aeb3cccaf4855dd44ed6b384a6cba183bcd", "prime_gap_boundary_bundle/RESULTS_before_rescaling.json": "01abd8966e394bb0bbfecfbf126d843f52d5bfbe6f0bc046a1e6ce41c993221d", "prime_gap_boundary_bundle/SOURCE_ARCHIVE_SHA256.txt": "322d2156e2499f1b03ab60e07a2215da64db62cd9d3bb7c49b1a385e8521be1a", "prime_gap_boundary_bundle/START_HERE.md": "f36109a5991e88333ef4e81eae24e57ba1b3ae6c1d265d44c7e11d320f1854b1", "prime_gap_boundary_bundle/START_HERE_FOUR_MOMENT.md": "4a2523e62f2128c5b16642e3629990fc074597c445254cb702a110ce0d00dafc", "prime_gap_boundary_bundle/START_HERE_HERMITE.md": "9e0f76460af0297e21fe10ec172e9f918d8378749476d0a6cd721f776b5523b8", "prime_gap_boundary_bundle/START_HERE_RADIAL23.md": "5a46af695e32e1186fb331db184fa024a8f25dd2f2badf3111b8b52ea55fa7f3", "prime_gap_boundary_bundle/START_HERE_before_advance.md": "50dacdc13ea61ce76a6866f9acb50f4e5087da6406e586c9c4eac0ced36d657f", "prime_gap_boundary_bundle/abel_pair/MANIFEST.json": "597024a2ea2c5f7b83197728b0b6b3afccb5fca2308f46e0ba7410a058bfd964", "prime_gap_boundary_bundle/abel_pair/PROVENANCE.json": "7e50433b5c0079d6e3f2c50e37022134cc9b18c7869e2757e95f5dcaedf639a9", "prime_gap_boundary_bundle/abel_pair/README.md": "90439f408101c49a19e1473155051939443c8d37cf5768a0fc3e73f26c9fe192", "prime_gap_boundary_bundle/abel_pair/RESULTS.json": "7eb1b399501bd5ad9413dae474a81be5800ff25b18c2ac2ca9079a3933072843", "prime_gap_boundary_bundle/abel_pair/algebra_checks.json": "55380a9c64346a05eaa6b0e1df373efe61208b411ab3eccdf6d739b8e6e86db8", "prime_gap_boundary_bundle/abel_pair/check_manifest.py": "60d2dc06ce3876d65c3f2b194db8be214aa98debcaead6170d5a405417333370", "prime_gap_boundary_bundle/abel_pair/check_new.py": "b11f3d9de80a60fba189201462aa852143482bd4517a3c9e804dbf54da2ad337", "prime_gap_boundary_bundle/abel_pair/compute.py": "dd458bb649b19b5a0f7eee5dcf68dadec2472858ab962dec00f19c40c3c43855", "prime_gap_boundary_bundle/abel_pair/m2_cpp_pairs.json": "36eec9991cc0481f80eeb3dfc6e7a7942a537b8f0586114a9f3bbdc41f68f088", "prime_gap_boundary_bundle/abel_pair/m2_cpp_verified.json": "64aa4fba96ef10be17ab42e5d6c51cd22dc74ada0fe0b562582f90ce95d01454", "prime_gap_boundary_bundle/abel_pair/m2_long_pairs.csv": "adb66d2cb159bdbb8d4dabb184011232153819b44f41a0fe8c2e99d107c0467e", "prime_gap_boundary_bundle/abel_pair/m2_python_verified.json": "a215ec56016c3487b79e5831fd4b03438ee6890178bdeedd2ca6f40c8f677f94", "prime_gap_boundary_bundle/abel_pair/m2_result.json": "1435e128f36cac62692a2001590dfd1144c27367ca5ae5e86cdcce30dcb4aa51", "prime_gap_boundary_bundle/abel_pair/m2_tuple.txt": "1ad39bf9a21e388c2aca163c4029fbc9fbd4fb2e880f202db56e8fa3198092f0", "prime_gap_boundary_bundle/abel_pair/m2_witness.csv": "d20946f1e4e1b4938c4cd0aab40de6be12edff362b77ba22a654c9741e8b924b", "prime_gap_boundary_bundle/abel_pair/m3_cpp_pairs.json": "a056e42b84c6e3fb95c68094047a46cb60d8bfc6d16ae276f0e57bccdd4c9c55", "prime_gap_boundary_bundle/abel_pair/m3_cpp_verified.json": "69ee2a21f2e52f07ca9032bfe06b972deb46ca9a853e0bc233fa47029cb7655b", "prime_gap_boundary_bundle/abel_pair/m3_long_pairs.csv": "1cfe5d74014277e7fefdefa38aa83dfba2e776ff6cf1bad8ee177267f1a753d7", "prime_gap_boundary_bundle/abel_pair/m3_python_verified.json": "29b092685a4df208591fd4ef6113a5d16367fc6fa96ed4c5735d58ac41a173ee", "prime_gap_boundary_bundle/abel_pair/m3_result.json": "a1b4092f9c50357dbb9116cdbfb3401957c5a4a45d9c466c82e391418ac0401d", "prime_gap_boundary_bundle/abel_pair/m3_tuple.txt": "fb6f7adc92a22f17fed346bb590ae4ab8373aa6c6445f1a65ab8058c945c7348", "prime_gap_boundary_bundle/abel_pair/m3_witness.csv": "253df3741b28314bea9fbab660242509760b1220a56ee9b86f0a47cac48015f4", "prime_gap_boundary_bundle/abel_pair/norm_m2_long_pairs.csv": "adb66d2cb159bdbb8d4dabb184011232153819b44f41a0fe8c2e99d107c0467e", "prime_gap_boundary_bundle/abel_pair/norm_m2_result.json": "776c70f98be2b35307a2cad7f1933f1c6c1341336af602f1f431ccfb9c6eb8b6", "prime_gap_boundary_bundle/abel_pair/norm_m2_tuple.txt": "1ad39bf9a21e388c2aca163c4029fbc9fbd4fb2e880f202db56e8fa3198092f0", "prime_gap_boundary_bundle/abel_pair/norm_m2_witness.csv": "d20946f1e4e1b4938c4cd0aab40de6be12edff362b77ba22a654c9741e8b924b", "prime_gap_boundary_bundle/abel_pair/norm_m3_long_pairs.csv": "1cfe5d74014277e7fefdefa38aa83dfba2e776ff6cf1bad8ee177267f1a753d7", "prime_gap_boundary_bundle/abel_pair/norm_m3_result.json": "317ef8a403456c455b3ea7e48c5acab644355f5ba0ba16c9a9054c8ad897040d", "prime_gap_boundary_bundle/abel_pair/norm_m3_tuple.txt": "fb6f7adc92a22f17fed346bb590ae4ab8373aa6c6445f1a65ab8058c945c7348", "prime_gap_boundary_bundle/abel_pair/norm_m3_witness.csv": "253df3741b28314bea9fbab660242509760b1220a56ee9b86f0a47cac48015f4", "prime_gap_boundary_bundle/abel_pair/normalization.py": "50c13a68330efbb3ab10a3c364488a8d97485c827218043e7debf1838f83354c", "prime_gap_boundary_bundle/abel_pair/reproduce.sh": "1c087606cfb1bf84f2f2551582f24532d9170e6bad3923b7c553c72aad1e6436", "prime_gap_boundary_bundle/abel_pair/verify.py": "5ba761733e55f496e7776081b7ffd05e5363bf969c70c4a030c1a29003ce7561", "prime_gap_boundary_bundle/accurate/PROVENANCE.json": "0226fefbb5a9af3604f2fe93fa7b74e32cb0c86e64194130049907a663ff47b8", "prime_gap_boundary_bundle/accurate/README.md": "e5d20f14d79644a65b3a072dec148335a320b3e03fcd61f188888702f549e813", "prime_gap_boundary_bundle/accurate/RESULTS.json": "4a0a46214b6a91842e5e90a20d8a9360191163ee8c05b83e5f500bbed63dcb25", "prime_gap_boundary_bundle/accurate/check_interpolation.py": "32f995f759b16fe0503ec2c8e89716023eb34321bb747b7448f765d98a976614", "prime_gap_boundary_bundle/accurate/deduce.py": "197bf5738e13c8bd64e9fc30b6bc7a800139086922f13cda62286ba8a4dfcb32", "prime_gap_boundary_bundle/accurate/deductions.json": "c8a073d8e43135928d50cdcd9d0be494e54ce28f5f4f6b72f41e3f1acd72e3e8", "prime_gap_boundary_bundle/accurate/final_check.py": "6fa135aaf9a021a31baebe7d897495b04aede031f6695c2fc804c149454645ff", "prime_gap_boundary_bundle/accurate/h4_selection.json": "f9f761a3b1a69fe89481a64e01a4646915313993899f3aa0ae91054e1f5656ed", "prime_gap_boundary_bundle/accurate/h4_verified.json": "46a215dd4a4f636dbf7f9b67050d1bbaf16ae49b03873649eefb694fa2588770", "prime_gap_boundary_bundle/accurate/h5_verified.json": "443d20e94ecf462079e9e5d92dd93c54a542be03d1470685714d77d7cd273f00", "prime_gap_boundary_bundle/accurate/interpolated_cdf.py": "62afe5f93a83fe2dece6059629db30e7a4e8c804ab04845911418021fc914e31", "prime_gap_boundary_bundle/accurate/interpolation_diagnostics.json": "39a8041e6659138d77c82060fa555cebe3fef8091e5511f5322efad2c9e6f588", "prime_gap_boundary_bundle/accurate/m4.interval_certificate.json": "7c4de0d30903e891393eeeccc68ac509cdf3d1dc5e2e66791012e1aa72bbb15a", "prime_gap_boundary_bundle/accurate/m4.json": "acd55123c9ea5cd195b9316bb9bbd4b33ff512c1ff6930a789cf8f591f5c32d8", "prime_gap_boundary_bundle/accurate/m4_same_mesh.interval_certificate.json": "9533dc89dbc2390499c68020c939f5dddbc16b9f413dd42cbe488ea78bb87ed1", "prime_gap_boundary_bundle/accurate/m4_same_mesh.json": "c5e48862b269f208a1fc5fa9dd63cd31db9d963f4339d6b20060d4d17d34dfc2", "prime_gap_boundary_bundle/accurate/m5.interval_certificate.json": "fe3b6e429f63a0929d51b2af328a2c78646e7a240eddfaca322c18ceba0cfd1d", "prime_gap_boundary_bundle/accurate/m5.json": "2ddc7cf91928ae9defed483029f929f3a2f10df36010da6c9de4263419fdf23c", "prime_gap_boundary_bundle/accurate/m5_same_mesh.interval_certificate.json": "54fa8f9dfcbdd798f64a98aa0242da9f76ae35c2df6422316f47bd5758f43a67", "prime_gap_boundary_bundle/accurate/m5_same_mesh.json": "c10389e865da3e53fcaae0145c2241bcf6e14aaf16eb4384612008ef44ae26dc", "prime_gap_boundary_bundle/accurate/reproduce.sh": "667706467fb1d617692a9cb8b86357d70a0ae1335bf1e6722e41cc8160885480", "prime_gap_boundary_bundle/accurate/reproduction_comparison.json": "de0f036dd2a23832318c74145e4a32a780dfab92222b05f854406e75b86f8de3", "prime_gap_boundary_bundle/accurate/run_certificate.py": "dc6c783582f9bf28e0b0d80baf019cf474f6bb272373bab8343d297f5e38e23b", "prime_gap_boundary_bundle/accurate/select_tuples.py": "2db9503d26346c54969cffdee4bede254f63b6c8d0f2f375d19572077ade2242", "prime_gap_boundary_bundle/adaptive_pairs/FINAL_VERIFICATION.json": "0ba5744cdec928386b204bb3515144cdc1496064fec94185f5d6263310f1e69b", "prime_gap_boundary_bundle/adaptive_pairs/MANIFEST.json": "13f2ce227e118cb0f64f36f69b17ef21f0f9fcb01d873025a125d4802464928d", "prime_gap_boundary_bundle/adaptive_pairs/PROVENANCE.json": "4a1ee36ed1149841018290ccef2d0f082c35403a0a9b427e4ad67ade297ef839", "prime_gap_boundary_bundle/adaptive_pairs/README.md": "15c22e2e29f1077eb3e12099051e5d8c11756d0668f54d852a68cb0bdc756553", "prime_gap_boundary_bundle/adaptive_pairs/RESULTS.json": "12fecd2976d669e1510e568fc5dfb8d034b44e701e909594c929201f1705b5e9", "prime_gap_boundary_bundle/adaptive_pairs/adaptive_constant.py": "43677752ed20cc355e803b4c030e00a1c473172935ff9ca84eb01f7e5a3ec7fb", "prime_gap_boundary_bundle/adaptive_pairs/check_analytic.py": "f1a80055ee68fe7f297f7ad8f057c5fe2620a2ebae9c7b4f28fb13c2d6707286", "prime_gap_boundary_bundle/adaptive_pairs/constants.json": "66d83134abd489986da3dc22364018b5a5a032ce803dd34e5c8c3b7487301fb4", "prime_gap_boundary_bundle/adaptive_pairs/diagnostics.json": "638399692d25732d49631b163af2a1d9b28e57284b5e54fd7badbd63f6763be3", "prime_gap_boundary_bundle/adaptive_pairs/final_check.py": "c37671d00b2324a2e383a322c0239e79a5159563ad28e076c3a333dd3f778623", "prime_gap_boundary_bundle/adaptive_pairs/h2_limit.json": "1804b79fb0cb7fba5fcaacb0db6564a8be2b654bb98cd60cb43dd77d7f6d49d1", "prime_gap_boundary_bundle/adaptive_pairs/h3_long_pairs.csv": "d01f85c66c8d3e62be7eff036d7e60b58cb5b5a28e98c3bac150d53f773ce425", "prime_gap_boundary_bundle/adaptive_pairs/h3_pairs_verified.json": "c09b7ad713942a762e00c8182be285f51b89400aad2c78e39b89676c8edb5dac", "prime_gap_boundary_bundle/adaptive_pairs/h3_python_verified.json": "4cf44de570cac98b078ec680cf3ee8f87806ef583bcb25f99daf7188fcc4bdd5", "prime_gap_boundary_bundle/adaptive_pairs/h3_result.json": "d0b7a738d8ac86e34a7c961fa10a0211ec1485dfa033bf0999b0da38b034f144", "prime_gap_boundary_bundle/adaptive_pairs/h3_tuple.txt": "fb6f7adc92a22f17fed346bb590ae4ab8373aa6c6445f1a65ab8058c945c7348", "prime_gap_boundary_bundle/adaptive_pairs/h3_tuple_verified.json": "69ee2a21f2e52f07ca9032bfe06b972deb46ca9a853e0bc233fa47029cb7655b", "prime_gap_boundary_bundle/adaptive_pairs/h3_witness.csv": "253df3741b28314bea9fbab660242509760b1220a56ee9b86f0a47cac48015f4", "prime_gap_boundary_bundle/adaptive_pairs/h4_pairs_verified.json": "e5949884796aa2dcb38a8e6c1658dfa5313db74bcd5f84c9cd9831dff15f74a5", "prime_gap_boundary_bundle/adaptive_pairs/h4_result.json": "6600ed2c22a626767eb9f228c9648e095ff979c4a4890e816e834b5db38133b9", "prime_gap_boundary_bundle/adaptive_pairs/h4_tuple_verified.json": "73a38b6427488aa3a4b2cf1b1b083e2a6c92047f9cd1b755e89ce460cf0126b1", "prime_gap_boundary_bundle/adaptive_pairs/h4_witness.csv": "6c59e9478981d963824646c1456c52b898ba38fd3bd882b35d379ac98f2918cc", "prime_gap_boundary_bundle/adaptive_pairs/h5_pairs_verified.json": "5da273da72a47f69aa39cddee44683740160378cc36ffababe4a4bef5ea8dff0", "prime_gap_boundary_bundle/adaptive_pairs/h5_parent_verified.json": "9d43aaa3cc37f194f63bae0188d83aef8b78911af5b381ee9578982b7a4b5296", "prime_gap_boundary_bundle/adaptive_pairs/h5_result.json": "83a69e100abe0c86182c7ccfa08a77e088a0e84fbf7ed8461ec49768ce1330df", "prime_gap_boundary_bundle/adaptive_pairs/prepare_h5.sh": "dc7f280a2fa650fc6366ce66ca0c8b04a2e871091a9179e37f81ad9be00b3ac5", "prime_gap_boundary_bundle/adaptive_pairs/reproduce.sh": "721f06c165ef60fcbcd1ca335ddc6361b9c277bcf3288091930b07f25f32748a", "prime_gap_boundary_bundle/adaptive_pairs/reproduction_comparison.json": "82ac7b9f818de8c8842533b3600b88684673f8b3d751bd027e36d48ba309b3e8", "prime_gap_boundary_bundle/adaptive_pairs/select_h5.py": "bf99fd7d97f4868029a9c35b56530664571feb4f524ba81b5376088e16dc38c9", "prime_gap_boundary_bundle/adaptive_pairs/select_small.py": "a6c5de4ad3c6c9cb6b2842e399be74256fe54082c7a826c7371b0bf50c87d371", "prime_gap_boundary_bundle/adaptive_pairs/verify_results.py": "011ea09b00051a72495ff9ab9a734fa030d331a33a9c83e29986b855bb7d7ebc", "prime_gap_boundary_bundle/advance/MANIFEST.json": "0197014389560a58e9c0c029b2498a3d842fea0bb8e6c624375b2da1b49d3f08", "prime_gap_boundary_bundle/advance/PROVENANCE.json": "20d01290bd61a385adafa7827591009f15f7e7cde44fc43418bc0c4ca9172e0c", "prime_gap_boundary_bundle/advance/README.md": "19f8895294b2467a5b5486d2dd4aacfad8287d6b020cc3605203c933a5619564", "prime_gap_boundary_bundle/advance/RESULTS.json": "2d56e97efbe60c92beb373f6830aaac3599bd3b52ef1f3402baa4b2e281391ad", "prime_gap_boundary_bundle/advance/arithmetic_candidates.json": "804546d931aa1ab062ae632ca3a034afa618fa9ef39e94316d42d10bbe53523b", "prime_gap_boundary_bundle/advance/check_exchange_lemma.py": "3563d5db3f008a16af633f84fba335a430f20a57e3f4b3922d1d5bb7b8012bf7", "prime_gap_boundary_bundle/advance/complete_descent.py": "ed5d3fa3b712b14c8b72de2d1117b480d795041691b24bf504111c168ff481a2", "prime_gap_boundary_bundle/advance/complete_h3.py": "889363e2eca8cc16579acdf13560037b59bd5449d77da056a03aec1f74d67396", "prime_gap_boundary_bundle/advance/exact_exchange_4_0.json": "2bab661b8460600ac82b12beaceb4df0e3188ba5f800024d195d5b36d37c1ba0", "prime_gap_boundary_bundle/advance/exact_exchange_4_2.json": "2dad30a466af5ba4aa580d4f50d4f190d96cf99ab7b3c3eebd618dab7e541062", "prime_gap_boundary_bundle/advance/exact_exchange_obstruction.py": "bf5b55767b0584ff278380c9e579ff4e3112c2498b2ab5a93602af7a4f370dcf", "prime_gap_boundary_bundle/advance/exchange_diagnostics.json": "00a105e028e002a8684f264cdd40dbaa79f50ea6f82cb288659d379c07e08ef5", "prime_gap_boundary_bundle/advance/exchange_milp.py": "6d917e2c72c46fd43135230990ffc065d9edb9567d1e4e048a17400af1994955", "prime_gap_boundary_bundle/advance/final_selection.json": "6f497c0604af253d25d5171a8f06a2d3fb34fc9194b9b29143217d962d646552", "prime_gap_boundary_bundle/advance/h2_escape_0_input.csv": "caaf07d7008a74bd7ba70aba10e04ea37bbff649f919839ef3e1e662ee1d7127", "prime_gap_boundary_bundle/advance/h2_escape_10_input.csv": "caaf07d7008a74bd7ba70aba10e04ea37bbff649f919839ef3e1e662ee1d7127", "prime_gap_boundary_bundle/advance/h2_escape_11_input.csv": "597e8b0d56f2e6f0b8fb41b340780663513c0226db3daa2aaf95bde54003fa1f", "prime_gap_boundary_bundle/advance/h2_escape_1_input.csv": "597e8b0d56f2e6f0b8fb41b340780663513c0226db3daa2aaf95bde54003fa1f", "prime_gap_boundary_bundle/advance/h2_escape_2_input.csv": "caaf07d7008a74bd7ba70aba10e04ea37bbff649f919839ef3e1e662ee1d7127", "prime_gap_boundary_bundle/advance/h2_escape_3_input.csv": "597e8b0d56f2e6f0b8fb41b340780663513c0226db3daa2aaf95bde54003fa1f", "prime_gap_boundary_bundle/advance/h2_escape_4_input.csv": "caaf07d7008a74bd7ba70aba10e04ea37bbff649f919839ef3e1e662ee1d7127", "prime_gap_boundary_bundle/advance/h2_escape_5_input.csv": "597e8b0d56f2e6f0b8fb41b340780663513c0226db3daa2aaf95bde54003fa1f", "prime_gap_boundary_bundle/advance/h2_escape_6_input.csv": "caaf07d7008a74bd7ba70aba10e04ea37bbff649f919839ef3e1e662ee1d7127", "prime_gap_boundary_bundle/advance/h2_escape_7_input.csv": "597e8b0d56f2e6f0b8fb41b340780663513c0226db3daa2aaf95bde54003fa1f", "prime_gap_boundary_bundle/advance/h2_escape_8_input.csv": "caaf07d7008a74bd7ba70aba10e04ea37bbff649f919839ef3e1e662ee1d7127", "prime_gap_boundary_bundle/advance/h2_escape_9_input.csv": "597e8b0d56f2e6f0b8fb41b340780663513c0226db3daa2aaf95bde54003fa1f", "prime_gap_boundary_bundle/advance/h2_final.csv": "2abc4072180b28aa09eee90258e83bc409f564b548ef4f3975f254a44a513607", "prime_gap_boundary_bundle/advance/h2_final_witness.csv": "d20946f1e4e1b4938c4cd0aab40de6be12edff362b77ba22a654c9741e8b924b", "prime_gap_boundary_bundle/advance/h3_completion_110039.csv": "810c271cdb4e1bb316aedb9d2fa0a3138bf235edaf7db788c70773cbbd7b89e3", "prime_gap_boundary_bundle/advance/h3_completion_110039.json": "5b946a1287d5c9d952081f1829c758b76a01cf56e4773d5dfecc57e205400b24", "prime_gap_boundary_bundle/advance/h3_completion_110039_witness.csv": "fb1494872378104724e53edbef381a26e5b630e5e1a9623ba30fe28df42e8701", "prime_gap_boundary_bundle/advance/h3_completion_110040.csv": "556a5d7bda9264f2a057d60168a4fcec078ecf0182b98ef65f73e53da0e369d8", "prime_gap_boundary_bundle/advance/h3_completion_110040.json": "76d61e6a98dbcc3b443b13369784420da415e09f17d994243a89322d62624206", "prime_gap_boundary_bundle/advance/h3_completion_110040_witness.csv": "fb1494872378104724e53edbef381a26e5b630e5e1a9623ba30fe28df42e8701", "prime_gap_boundary_bundle/advance/h3_final.csv": "e76abb845c3a0baacb9504133807315e51ca75666fd64843e6b626327d0bd00e", "prime_gap_boundary_bundle/advance/h3_final_witness.csv": "9be4b932237f1968e1a797b8226f4cfc2c15bf5c9ebb5ea0a156e0f7b2a7e9a1", "prime_gap_boundary_bundle/advance/h3_flex_0_0.csv": "08ea58fabf3479f1623e9d0ac6529c16b03c8fe42ee7357f19051b1175100227", "prime_gap_boundary_bundle/advance/h3_flex_0_0_witness.csv": "341c677a300c2d3ec4333735ff2051f8dda2b9a33d75fd7d5c8621f8abe02dad", "prime_gap_boundary_bundle/advance/h3_flex_1_0.csv": "80ab090879e1bb78c9b3c8a45d5877b02ea8d914ba08113f39fbaf80d5d794c0", "prime_gap_boundary_bundle/advance/h3_flex_1_0_witness.csv": "f90b70b82dcb75a0df47d11e853b1740f075712a361ca42dfa18f6f45325dfc8", "prime_gap_boundary_bundle/advance/h3_flex_history.json": "10f7ff0206b298dbdefdcac639033d168f7dd029085d3fc101a59362c52b508f", "prime_gap_boundary_bundle/advance/h3_k110039_polish.csv": "d2edf6605695d3cf9408465fec270ffe4c703da37e5dac3e41ec57104e6b09f4", "prime_gap_boundary_bundle/advance/h3_k110039_polish_witness.csv": "9be4b932237f1968e1a797b8226f4cfc2c15bf5c9ebb5ea0a156e0f7b2a7e9a1", "prime_gap_boundary_bundle/advance/h3_k110039_seed.csv": "abdeba06c2ed68e59a4f4680a8ccd0b74028484bf52537d0586d870a2e2b7cbc", "prime_gap_boundary_bundle/advance/h3_k110039_seed.json": "7bc396488040f7e6f554fd11e6a0eb1eadf5b40a8a5ea805c0d40f5e18c70630", "prime_gap_boundary_bundle/advance/h3_k110039_seed_witness.csv": "f90b70b82dcb75a0df47d11e853b1740f075712a361ca42dfa18f6f45325dfc8", "prime_gap_boundary_bundle/advance/h3_old_dimension.csv": "b7c6cf350600ef12ea2b787fc05ff284d963754c713e7a84c2b48b9b7d20463c", "prime_gap_boundary_bundle/advance/h3_old_dimension.json": "83ca0656702b679f479f387b0ee17bfe51cf46a3bf1608aa504fb2361a216ed5", "prime_gap_boundary_bundle/advance/h3_old_dimension_witness.csv": "9be4b932237f1968e1a797b8226f4cfc2c15bf5c9ebb5ea0a156e0f7b2a7e9a1", "prime_gap_boundary_bundle/advance/h3_search_history.json": "a1e8942b6b7a4faef41ec97d1df3d3df9e3e9563fab5288050f31365de184bff", "prime_gap_boundary_bundle/advance/h3_step0.csv": "c97164b066d5f385ff1936a2848085910b666bfd7b36fbcb9c4c2be9df1a75b7", "prime_gap_boundary_bundle/advance/h3_step0_witness.csv": "16419c46b873273e114924126ebc907d468f4b0875b7f401435ff0be7658ce01", "prime_gap_boundary_bundle/advance/h3_step1.csv": "36669aedcf1e06a11507a8c9f80dec9e413ce6dfbfbf9cdc1d55f3fda34927e8", "prime_gap_boundary_bundle/advance/h3_step1_witness.csv": "dd618af8a012840e7700dddbc4a65b391c550cc08eb721b31e3e2eee14a4e8e2", "prime_gap_boundary_bundle/advance/h3_step2.csv": "9b9f5c6835671adde62d1c5228af8678dd4c4f47aeb5cf789b5af7f7b247ff68", "prime_gap_boundary_bundle/advance/h3_step2_witness.csv": "eb5af517a121fae000b536729a59a332446d8318f02509b2a89fb7a089d26cdb", "prime_gap_boundary_bundle/advance/h3_step3.csv": "ef58ee278c6126a67a718813bd2deb434117215925982404b2f778e780465df8", "prime_gap_boundary_bundle/advance/h3_step3_witness.csv": "140562ccda22590f817da6d3703beec514205b0de83f6193902e55d51e119e8a", "prime_gap_boundary_bundle/advance/h3_step4.csv": "7c341fa8fc5f1e4a9381b1f0a9daf384ffae8c49ea044ca96fadd4b609bb09be", "prime_gap_boundary_bundle/advance/h3_step4_witness.csv": "fb1494872378104724e53edbef381a26e5b630e5e1a9623ba30fe28df42e8701", "prime_gap_boundary_bundle/advance/h3_try1.csv": "64e2e2dbe3c35b1d5dd2b202a6dfa66a6a1a5d528d9344ad1c8826c7e7681678", "prime_gap_boundary_bundle/advance/h3_try1_witness.csv": "e6810f18d462eaaef12f6cbf65eabea41426f3460179dbff0ca422a79cb546b8", "prime_gap_boundary_bundle/advance/jobs.json": "767a4580d4ad41ca6981cb8cd1499d91fa858e771eeba06aeb625917ea3f7cc7", "prime_gap_boundary_bundle/advance/m3_k110039.interval_certificate.json": "3c6035b46e20cc1dcabc7e86951f09ac41d3e33b7b8623511228d75ce379c601", "prime_gap_boundary_bundle/advance/m3_k110039.json": "d9a667d7c2bd30de32d54e38836529a573c80f2fa9cb5e2b7e50e26196b17ff8", "prime_gap_boundary_bundle/advance/milp_4_0_19858.json": "0e8b6b3d7f2243fa24edd2eaf418908c56a64cb7f2a5bc4c0335e3f2b2e388b1", "prime_gap_boundary_bundle/advance/milp_4_2_19858.json": "f2bc574b80c665361a9dd532f9d70565162c67faba5eb2d67debb997d7997e50", "prime_gap_boundary_bundle/advance/milp_5_0_19858.json": "f21164ddfea520e2ac2ce3f164118235afd1fc2a328404ddca974482c73e70d6", "prime_gap_boundary_bundle/advance/milp_5_2_19858.json": "149d24e81d9b956de0776584046af4d8b68915e22c145c8fe4f17bdf03d9e031", "prime_gap_boundary_bundle/advance/milp_6_0_19858.json": "6d91fa412d62e6df1b1e69baa7692e72ba3975f29a9678fe695b1058e16e2da9", "prime_gap_boundary_bundle/advance/milp_6_2_19858.json": "3c484db30969197547ff68460a8c8f47623c597c829d9dcc0428b092e074425b", "prime_gap_boundary_bundle/advance/milp_8_0_19858.json": "83ed640be3367fb5e90366f9ba0a9b2b49f6dd38c36c760b601106e79280ddf5", "prime_gap_boundary_bundle/advance/milp_sweep.json": "38c331a26a63d289faf0f20920f3c38c1b43bd5dc9af9fd50640e266a6730d9a", "prime_gap_boundary_bundle/advance/milp_sweep.py": "7209d0c8e2945a2b2dea14e5a1d416e23a2949dacce3c861f89faf956436c696", "prime_gap_boundary_bundle/advance/reproduce.sh": "cb1bca11c36c8cbfaeeb8f1654491284b0a1e6ae645b03cf97af2efa4152a85c", "prime_gap_boundary_bundle/advance/run_h2_escape.py": "f8291ca6f14bfdf4bcf51d6ccc2eabb708129d008e661ce8a8eed33b9575a2b8", "prime_gap_boundary_bundle/advance/test_arithmetic.py": "c9c7e2e0d93c79ad298e9f8b017a83d73f79a2efeb131181cf020863e166f2ef", "prime_gap_boundary_bundle/advance/tuple_escape.cpp": "03f8d4e444c358d591398f09134088171d19eaeaa1d0e7624b510afa2519b59a", "prime_gap_boundary_bundle/advance/tuple_runs.py": "a01b2fed77e2ac76ac79d472e56399ee38ed31c9314b6e0945090e13d973b47b", "prime_gap_boundary_bundle/advance/verify_final.py": "39d21676c2954bd06c9d516507b80a433e69e0903f40884dbcbd99b7a54a89ec", "prime_gap_boundary_bundle/analysis/amplitude_envelope.py": "81bab4f2dbbb12e46fecb5bba73e51be95270f009e9c104451f027e1fe18ba2f", "prime_gap_boundary_bundle/analysis/certify_centered.py": "1120ec08106f6c375120bc2427acf92937f90b6a8f39b3471e90d47aefa12fe8", "prime_gap_boundary_bundle/analysis/check_enclosures.py": "23f0e84765d22424c960143b15febdcd38b5f2ea34e53efa7d13ee34b64931da", "prime_gap_boundary_bundle/analysis/check_fast_profile.py": "4a2dc4ddbf7b5c2d1fc03885480b1227c63f2b57a5e04efceb0ba31eefb99396", "prime_gap_boundary_bundle/analysis/check_tagged.py": "069bddf46979b7e4d8a628ae217ad5f8b272fadc00a248db182631b54e29b812", "prime_gap_boundary_bundle/analysis/enclosure_checks.json": "addca9d57a19dff496f6137ae2ea95caf403b70e2d2ecc060a54ecd44206505d", "prime_gap_boundary_bundle/analysis/fast_profile.py": "baea0c9f7c396af5fcddfc0d71b39c838bdbdd4a887039d6b6ea7853065dfe41", "prime_gap_boundary_bundle/analysis/fast_profile_checks.json": "f2ea75470d5af193ae5de3e5afd33159805b64a1d793bed1fa6e48d02600c278", "prime_gap_boundary_bundle/analysis/finalize_m2.py": "ca5121d3a8f2ce7f082df2efa7a239f509b569ddc1799f61701efc31a6a44d76", "prime_gap_boundary_bundle/analysis/loss_tagged.py": "ca8e08ca0a27b4e654afc404d3ee2e0a5f39d9432a96d6724fd1d1e048e909b5", "prime_gap_boundary_bundle/analysis/profile_bounds_raw.cpp": "094f8468d32bdf4e4b543843d53d8b7567c895762e28bfd0cbfd3ef1d68ddabf", "prime_gap_boundary_bundle/analysis/streaming_cdf.py": "ec39764916b2bbe5593f259400dd1daf5bd78886a39395e3a6a3c437a36be048", "prime_gap_boundary_bundle/analysis/tagged_checks.json": "53ab6172d2228300832d98ec07d102422dd7130415b0c65f2b3db348a99f2694", "prime_gap_boundary_bundle/baseline/MANIFEST.sha256.json": "873a8b42da21ccedab626c94f4c55c60d2c8c247312ffc7ac20f2da37b6d8985", "prime_gap_boundary_bundle/baseline/README.md": "efedecae0bc05b447eedfaa017c7ac6fda96eb0e85209ebbd2c0cc0995ab1ec2", "prime_gap_boundary_bundle/baseline/RESULTS.json": "fccebcbbc24a96f0b6e172237505bfc857fa550fce3be52e186f31acdfb0f2c7", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m2_degree2_n160.json": "c264e5448c00dafc12c269a520d1b5535f163183372c04dc616d3c5411ad3465", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m2_degree3_n160.json": "e150e320e3e6639d2e36c95a8fd50f66ca919ca367033f8e50891c3e2d2f9cf6", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m2_degree4_n160.json": "cec269fd7320fcaed21a4ac2a6adfc7e302a7a0107ed728f228ba1fda770c078", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m2_degree5_n160.json": "90972b7c2db152593725725d80d110b43e9286d0e7e66702e7fdeaf90fc9f66a", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m2_degree6_n160.json": "0843bbe5748f333008534271c50966035658c4dd9d4b1833ca57abffb4af1a0e", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m3_degree2_n160.json": "b65bbe1e6631f9a1b3439510f639aa7c0c5d60a533f4b3f52805703ff8a5a172", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m3_degree3_n160.json": "41ce4f20e21a592f089afc057be494791d0e606074b0da9630ab53bba8de9acb", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m3_degree4_n160.json": "03979b8d3d24170f956beea2297757f3270da91d851b8daf0e145c755a7c85b0", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m3_degree5_n160.json": "3d0886091bb79b330fa060ab28cccac0b17cdf3486c0dc44e3d7e652093800c4", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m3_degree6_n160.json": "0dd7d4e655a8d4aa7e14525c1f153644199001ec411ae8ae31e1e6cfad39c70a", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m4_degree2_n160.json": "12ee60c5b6b4c7225dd98d39572169b93d8c6ec4f746b44a51869573654013e8", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m4_degree3_n160.json": "76edb833acb44a0511a97f4009a88e9859c86b0c2eb2e321296e28f3940ab0d7", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m4_degree4_n160.json": "59572829b917655c1fcad375222967e7dbef65bb2d451f3989681ddd66a8d79b", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m4_degree5_n160.json": "b135a999117e6d3aa21f25292162bfbe27b31ea71f0824ce5664f438347939a9", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m4_degree6_n160.json": "f6690b1c1b06830cf1e4ae1900ccd6cc42ac80dc4021f78bf675460957b5e46a", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m5_degree2_n160.json": "14ae33fd65639364ef7e2f7e3ee880544670aca58ac7cb74e6c8b49eccbf3afb", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m5_degree3_n160.json": "736bbd0b81670470f607e4e0649c94daa6da9c06018a11c1013493aa57b877dc", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m5_degree4_n160.json": "220a0c3b9e50ccad4d5bbdcef34cf8c1d41d674b004ec9cadd0ae6b077b59a0b", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m5_degree5_n160.json": "bec6c30e1a977fdd1cd0881be2f303e2a355cdfb5fc45df20ec9b8193fab0907", "prime_gap_boundary_bundle/baseline/exploratory/convergence/m5_degree6_n160.json": "929d718cb43c00aa73297feb9a07fc8e253e6ad4aa4df3e83699447851bc0f4d", "prime_gap_boundary_bundle/baseline/exploratory/explore_products.py": "edfcb346ea70363d243bed66fefe3f2125da8d520648657f5c443bcb491c92e8", "prime_gap_boundary_bundle/baseline/exploratory/refine.py": "d8a82631d4d6b5fc4b988447108a14b66e0a1486036742c6433d512a56f7080a", "prime_gap_boundary_bundle/baseline/exploratory/refined/m2_full_quartic.json": "9eab0e727154538f9dbd295a44d3fd81cb0744c1671dc40b56020340407c6248", "prime_gap_boundary_bundle/baseline/exploratory/refined/m2_quartic.json": "d203eaa3a71700a5a55a5e6d84f3495bf6b665fbb20b2b5195806c7c82bea67b", "prime_gap_boundary_bundle/baseline/exploratory/refined/m2_sixth.json": "28e3f99a840fc7d0a44d47e841ead0fd02c8cd47e3e1c74e9adc713233a4a742", "prime_gap_boundary_bundle/baseline/exploratory/refined/m3_cross_candidate.json": "d87bbc82dea1d30a47f2bccad9cc260cecb812b895c58fb243fccbc7447737b0", "prime_gap_boundary_bundle/baseline/exploratory/refined/m3_full_fifth.json": "7b4ed7c0a02f1c4403d1c92745455d10e14e236dc76ad83e18a89d437415b0f5", "prime_gap_boundary_bundle/baseline/exploratory/refined/m3_full_quartic.json": "0c2e015e15321013f35e75c2bc0ef2cd27824cb8b32f1f01c32b260d4afc62af", "prime_gap_boundary_bundle/baseline/exploratory/refined/m3_full_sixth.json": "e1a1b9baaa49eb90615adae67dfbfb0dd4551341938ab7115f8880b7d549d296", "prime_gap_boundary_bundle/baseline/exploratory/refined/m3_quartic.json": "7196bedd0cdbb523ddc85229c1a89ac340b8bf3d608be6a4efc65cc2c828c880", "prime_gap_boundary_bundle/baseline/exploratory/refined/m3_sixth.json": "c7f9682b72f774aeb0a2c813b982bd08a4364593f7a6c01219cb2572c6aeb47d", "prime_gap_boundary_bundle/baseline/exploratory/refined/m4_full_quartic.json": "0f94ff89295b7cd2647a789ac99e76989f706b62f2bbe3836676c78a67c2c815", "prime_gap_boundary_bundle/baseline/exploratory/refined/m4_quartic.json": "b7bc8b0f392943d91a24afe5c1d007992b822fa109213a9c19874422c9221e26", "prime_gap_boundary_bundle/baseline/exploratory/refined/m4_sixth.json": "ca805ca05509589333fcb6b4b5117f538ead5b6ec9cc0d45c5ebd8644de313fc", "prime_gap_boundary_bundle/baseline/exploratory/refined/m5_full_quartic.json": "763cb3fff2f611ffe59a73042d380d14298aca94c297da40479db4246c6e13de", "prime_gap_boundary_bundle/baseline/exploratory/refined/m5_quartic.json": "cff5593e533eed2faa9304ca4c814baf0f0f9be7256b672d18456d7674af9dce", "prime_gap_boundary_bundle/baseline/exploratory/refined/m5_sixth.json": "76261055a28ae212302d01d52d55b3609cf2efbccb729e3c4502e780a188cb35", "prime_gap_boundary_bundle/baseline/exploratory/run_convergence.py": "a13e309af524a56b9e1898c0a297387838b5203554851f6baf48bffafa20a363", "prime_gap_boundary_bundle/baseline/h5/apply_patches.py": "b16f483ad0edb7e265bb42fcbaf06dae12c950527492c70e2dfff7e718e6f988", "prime_gap_boundary_bundle/baseline/h5/encoding.json": "436b5b0ec3a9f440ad3d42d9f8bfcde2ff94bd09106b2fbee2b10571765da3c6", "prime_gap_boundary_bundle/baseline/h5/h5_new_patches.csv": "b24c9f5be417872a811d4298c161bb02b12a3ba252fb0f38347767a8d79784ee", "prime_gap_boundary_bundle/baseline/h5/h5_new_verified.json": "eacfb309b7a0c1e8bddb9013e148fb63b4b9f30315b6cc57712492e7f9464484", "prime_gap_boundary_bundle/baseline/h5/h5_restore_next.cpp": "45d7854d6712ad7dcccad7bcad2867955a1bae928c754829974cb86ef9e6e22c", "prime_gap_boundary_bundle/baseline/inherited/README.md": "b81f98aed0cc5346667bdada09e7dd6fbf332412ccbe1678adb7fd46f8f9025d", "prime_gap_boundary_bundle/baseline/inherited/analysis/certify_lifted.py": "165d7348b38b33689f3dddc241e1249d3ffbcc2f8954f3fb0fd1dd431b17d095", "prime_gap_boundary_bundle/baseline/inherited/analysis/certify_multi.py": "5a289fa5499224799cc5d4577b4aee281999a19e05273393e9e7570aedbf5064", "prime_gap_boundary_bundle/baseline/inherited/analysis/check_abel.py": "af9df5334020d0eaa7d368b4daae02ccf127f7f39e6e5865e4b14a0901ee8a38", "prime_gap_boundary_bundle/baseline/inherited/analysis/check_fft_memory.py": "5651fff43c7d748870dbaa00e767ab75e14a5f206ad04a7b041ce07828d0e5e1", "prime_gap_boundary_bundle/baseline/inherited/analysis/check_new_math.py": "db2c1e86e8b8f4fecc339b67481c25da54725a896786d3e0160314e137d312dd", "prime_gap_boundary_bundle/baseline/inherited/analysis/check_sharp_binomial.py": "72a988c9674cbd2cb97dc21b2eb0ebc64d46664a6da8e1cc514c0cbb27de8979", "prime_gap_boundary_bundle/baseline/inherited/analysis/direct_fourier_check.py": "e5f2d0eff375748f4a19381b4f1ead8168bf4702f5fe26949a96715021dcfb6b", "prime_gap_boundary_bundle/baseline/inherited/analysis/exact_slicing.py": "b8581cd9d5fded23e27a526f727cc40366155df251629e7c94a1b7f9341a89ec", "prime_gap_boundary_bundle/baseline/inherited/analysis/flint.py": "b8b129a75db8d61f88ffcd19108c2a7235f7989d3bc9ba80155a33f5b97be431", "prime_gap_boundary_bundle/baseline/inherited/analysis/hcert_shifted.py": "10de0e1a15550333ffdc2ea6ecaf11512a41ceb17c368a253decb5565e81e8be", "prime_gap_boundary_bundle/baseline/inherited/analysis/loss_joint.py": "218817d6b1a6df1c80ca38321f4ea0926bd5227320da4b7efd4868ac61d5e3df", "prime_gap_boundary_bundle/baseline/inherited/analysis/loss_shifted.py": "e977d49afd92c843355722f014844b52ca011058db5e874b6002b693faaa37ea", "prime_gap_boundary_bundle/baseline/inherited/analysis/m2.interval_certificate.json": "92f48f31e53ad44fd4451b11034c85672cdc4a45f00bec83ee6165eccb80c2b5", "prime_gap_boundary_bundle/baseline/inherited/analysis/m2.json": "47aa8718b85cb6df9a2b5258a5a4f55178e424e4e67e58978f75e3bcce2c766c", "prime_gap_boundary_bundle/baseline/inherited/analysis/m3.interval_certificate.json": "d7501cc804fa03d7eec2375cd98810112bc2976f1dc5dd70f2ab58ddf56eee42", "prime_gap_boundary_bundle/baseline/inherited/analysis/m3.json": "52971cad9c1c083b42db186b038e52e6c9f5a99f0d731bafca947c2be4cae5d0", "prime_gap_boundary_bundle/baseline/inherited/analysis/m4.interval_certificate.json": "cfc9c826893bca4855902181642f9b46d4268f4256d59e585a25bfded4f9b967", "prime_gap_boundary_bundle/baseline/inherited/analysis/m4.json": "87184d15a34fe3e8545ede23a5fdc9b5e36d5b5a0127c2f0c9592a418d1a3912", "prime_gap_boundary_bundle/baseline/inherited/analysis/m5.interval_certificate.json": "18585571ac1eb09522b4095a5374aca3cab0a3a87e5821e47e6c77cd38ed5eb2", "prime_gap_boundary_bundle/baseline/inherited/analysis/m5.json": "ae657969a2baaa13fbc269513924e5cae8bca6fcbc7601ad0c0dd4beba989ac2", "prime_gap_boundary_bundle/baseline/inherited/analysis/moment_cdf.py": "961771f1ada406994e8e946eac48d72f741d216b1babb4f60534efcec2591802", "prime_gap_boundary_bundle/baseline/inherited/analysis/moment_core.py": "926f1325957fc9555626e137a3cab708c8b67d5ab96a0cfb44232edb128ea475", "prime_gap_boundary_bundle/baseline/inherited/analysis/multi_cdf.py": "a5ee2a401a7d1362e48c5c7506603ec0d9f3f085e8a936eb50b669d65fcfdc07", "prime_gap_boundary_bundle/baseline/inherited/analysis/multi_core.py": "135dfd0482a1f593c492e7e948b26b3514b8afabbc5833c03b7aad24ee437990", "prime_gap_boundary_bundle/baseline/inherited/analysis/periodic_shifted.py": "22f4eb4128af056c420a50b7f9f28720748faa87253ce0e9083a5969a5a3d7d5", "prime_gap_boundary_bundle/baseline/inherited/analysis/periodic_shifted_original.py": "cd29b70496428104a9298a3f0f39b4ef15a0096bb70947406f466ca4d6a16175", "prime_gap_boundary_bundle/baseline/inherited/analysis/rc_loss_rig.py": "cd9a88063b28b90a021960dc7e91a0824d852de8c96e5d2353df445a228544e0", "prime_gap_boundary_bundle/baseline/inherited/analysis/shifted_core.py": "103f98610a7862025e3f48de88d4fef2f59dd55ffbcc4e1992c6955f91168044", "prime_gap_boundary_bundle/baseline/inherited/baseline/PROVENANCE.txt": "aad6b712a3aad3d56280d28d1c15580c03713cbd0ecff17fc34d5ef7a0cdf85b", "prime_gap_boundary_bundle/baseline/inherited/baseline/PROVENANCE_CURRENT.md": "22a4f607a487bc7dc56c49cf066d4dda689569b185be6062f04b873b67f54759", "prime_gap_boundary_bundle/baseline/inherited/baseline/PROVENANCE_QUARTIC.md": "1017e4a2ef81cf70c1b0ae51aec24f11220624b6b4d57d84279e939c18789489", "prime_gap_boundary_bundle/baseline/inherited/baseline/enlarged_support_proof.md": "ee200f272765201e860c6f2299de33175639c518f85f3d9676202eac535b3c84", "prime_gap_boundary_bundle/baseline/inherited/baseline/previous_loss_joint.py": "a10d8ce02c78115a8a18715858aafdddb139365732d01d48e1514ed9bcaf3c63", "prime_gap_boundary_bundle/baseline/inherited/exploratory/m2_quartic.json": "86c18dc0df25c6bc58aa342af97cbfd07c6090b385e0f1cb8576a39d7b7c75e3", "prime_gap_boundary_bundle/baseline/inherited/exploratory/m4_final.interval_certificate.json": "68ee5d58797f280fd8086284e40313592c4bc19990f8f51e7eb0c15711380f48", "prime_gap_boundary_bundle/baseline/inherited/exploratory/m4_final.json": "9df9ffc20740edaead2f45ae5ecc0d34116990dab4da60e83d85ba613aaf8e6d", "prime_gap_boundary_bundle/baseline/inherited/exploratory/m5_final.interval_certificate.json": "b4f626d26157a63004001c9f9f3785af80d95f2db5f94f0e13eae74079fad67f", "prime_gap_boundary_bundle/baseline/inherited/exploratory/m5_final.json": "ef451777e504ced1b54993a74dc5cc28e97a39ad220ba75f8692f950328924c1", "prime_gap_boundary_bundle/baseline/inherited/exploratory/m5_tuned_coarse.json": "889f11b239e3b9f3a56f80e00abf3685fee7cef1c59c2b00b2fae74ed916bc7c", "prime_gap_boundary_bundle/baseline/inherited/requirements.txt": "e5698b55553133cbcdbcb05c5b953f60c8246df0b65930d95e8ea77112e09e52", "prime_gap_boundary_bundle/baseline/inherited/search/cover_descent.cpp": "d49c4024da7f02c1592f80ff96392195f7f931f5a596dde9bb006997db0bbed8", "prime_gap_boundary_bundle/baseline/inherited/search/explore_lifted.py": "0fe2e361c0c02840161380d5923a0f8ebbcad0e4f98fe5e499d1b74c4e01d4a4", "prime_gap_boundary_bundle/baseline/inherited/search/explore_multi.py": "685d9042c27313253da401c295a99ffddc9d4ca9f8d30a059b50fc0e2715f5ab", "prime_gap_boundary_bundle/baseline/inherited/search/h5_restore_more.cpp": "2366db73c92de0fd3f80b27a4154974635f8760d39ffe9abcd5c52b36df89f72", "prime_gap_boundary_bundle/baseline/inherited/search/h5_restored_patches.csv": "be138c130a92eafe9a2d1d8f7a18f5873e4e7b20e784e5324b07eaa69ca1fd11", "prime_gap_boundary_bundle/baseline/inherited/search/h5_search_diagnostic_not_final.json": "b818a2e03912574e905ef16569811ea5e1605fde5183a2bd52863292b062dfa0", "prime_gap_boundary_bundle/baseline/inherited/search/stable_model.py": "4b7344aa191ea332537943132286ebcc053252ce6ba9549eb496f5ff7ab80f65", "prime_gap_boundary_bundle/baseline/inherited/search/tuple_local.cpp": "85a6d9bb569f23a7119efaa091182e4b377b27594deb9667e8c4ca96f8f2bc9a", "prime_gap_boundary_bundle/baseline/inherited/search/tuple_pair.cpp": "df2080a1866da90ddd59a9713437a04d0efe5af13406908aa018ad6b49115a19", "prime_gap_boundary_bundle/baseline/inherited/tuples/decode_h5.py": "4aa146779bee585c73b48015860e178e0fdb3c4d93dfc6be01d0ed3828bce306", "prime_gap_boundary_bundle/baseline/inherited/tuples/h2.csv": "f4b15c0de145961cdce1b40626685e95d6766e5734f02be1c1b077a4e23d1897", "prime_gap_boundary_bundle/baseline/inherited/tuples/h2_witness.csv": "b00cae2030db89dd65ffa55020c40f7fc5dbd15756e44f9ad5df84514c74c57f", "prime_gap_boundary_bundle/baseline/inherited/tuples/h3.csv": "f9481a2f2be42ed923c45b25280c9cf1c16577d504fabb4e7ad45011f3c08aa6", "prime_gap_boundary_bundle/baseline/inherited/tuples/h3_witness.csv": "93512634b4614dbc083cd052333bbdd9a5fe122d79694aef952fddee0919c848", "prime_gap_boundary_bundle/baseline/inherited/tuples/h4.csv": "4e8a733c2ad0d7ab2e6f8e7239f54bb844d2341fce87f328d4d325559f7ffe42", "prime_gap_boundary_bundle/baseline/inherited/tuples/h4_witness.csv": "6c59e9478981d963824646c1456c52b898ba38fd3bd882b35d379ac98f2918cc", "prime_gap_boundary_bundle/baseline/inherited/tuples/h5_encoding.json": "80fc942ab5c8395ae322509c0c2d1d8c26a008a427153ccad3588424d646369e", "prime_gap_boundary_bundle/baseline/inherited/tuples/h5_residues.u32.gz": "fd081979a564b8eabe89753f914e49f16b699742601a70873dc63d7c36736cbd", "prime_gap_boundary_bundle/baseline/inherited/tuples/verify_asymmetric.cpp": "2d03eaba7012280e862d1bd9398ae0e058c0196852b120c98597bc18a81dc305", "prime_gap_boundary_bundle/baseline/inherited/tuples/verify_tuple.cpp": "a1a9fab990acb3e9e7b409602de43cee39f0b77ba6e6eb35e9c66c1596060265", "prime_gap_boundary_bundle/baseline/inherited/verification/MANIFEST.json": "83073fbd1ce6c1b623ee5ab53e545e1cf0ad8df6033cf13f646368d4062a3709", "prime_gap_boundary_bundle/baseline/inherited/verification/abel_tests.json": "0c83722aed8c9366ee140242a415f223d8512a5d0325116b2645bfe9a4728249", "prime_gap_boundary_bundle/baseline/inherited/verification/binomial_tests.json": "6e2941021fe51ef16b8c4c8673cae8c019947f80481835be8269761fa8a15c83", "prime_gap_boundary_bundle/baseline/inherited/verification/environment.json": "891bbae1e72234ddba25cf950f2a34fbb345722dd5a1790011bf963554250967", "prime_gap_boundary_bundle/baseline/inherited/verification/exact_slicing.json": "0d1a6f3412c028c4462ab4be76d60020f2a0c8914f68c9419c1e11107be83a43", "prime_gap_boundary_bundle/baseline/inherited/verification/fft_memory_checks.json": "212be6cd9633fff6ac1dae09c358afee6e5f9985b592d8788ec229109b8bd940", "prime_gap_boundary_bundle/baseline/inherited/verification/h2_verified.json": "09ccb43e5b08f32cfdc9b9b0f61a5338628c725684207bf393062226867016e7", "prime_gap_boundary_bundle/baseline/inherited/verification/h3_verified.json": "edde7f6cd7401dfcf8396c973936c06f23c1a43226d35b658291a53dc70bf296", "prime_gap_boundary_bundle/baseline/inherited/verification/h4_verified.json": "7579e6415e61db1cf548b9f33a8073dc9d275df8453095f8ed1f8623bbe9cf0d", "prime_gap_boundary_bundle/baseline/inherited/verification/h5_new_parent_old_dimension.json": "27dbd200dbb13338e9c212f9f85fb669f3bd434fcf7166455fb0c6741cac5621", "prime_gap_boundary_bundle/baseline/inherited/verification/h5_verified.json": "b5d4af1538eeb1706640d87eb3f5485d9b818381bc8ef98a8f5ffe2e13656247", "prime_gap_boundary_bundle/baseline/inherited/verification/m3_slicing.json": "7ed24fffb55950d158070e8efd948fa5b15f1a2479a6d319496ba9eae243c8c5", "prime_gap_boundary_bundle/baseline/inherited/verification/new_math_checks.json": "ed29373caf7cf6247705df79bed6e118667e8717a82d98660fe93dfeae0d8a1d", "prime_gap_boundary_bundle/baseline/inherited/verification/restoration_audit.json": "406dc7e5225369f1bee4feed0102c3372e44b189448a21b7ad67b348a9a1f24b", "prime_gap_boundary_bundle/baseline/inherited/verification/sharp_loss_old_trial.json": "2562bed93933674bd76b638dccff38e62f1e2841174216c5b8d477297ee7fbd5", "prime_gap_boundary_bundle/baseline/limits/barriers_verified.json": "0ba70c8b5c744386207b44cbc1853d7e82c4760c86a264bde83b399c02e04a89", "prime_gap_boundary_bundle/baseline/limits/check_barriers.py": "785df9bcf69bda1582d745105ebb61534a9fb5bd0c04b35fed05975da64e63a3", "prime_gap_boundary_bundle/baseline/limits/method_barriers.json": "1c7e50a6cc393bb98ccb4717b6fdc58938b7ed16fd25b218934f29d2e79cbace", "prime_gap_boundary_bundle/baseline/limits/optimistic_h5.cpp": "7e6e8385c316462efc85c07507832bf78fbe5391428f028443d17b882c55e7bc", "prime_gap_boundary_bundle/baseline/limits/optimistic_h5.json": "b8626058119ffbca78e8239d99a4a55149ca0f5f5b2084c5e8ab4a4dc1a69ae5", "prime_gap_boundary_bundle/baseline/polynomial/certify_polynomial.py": "f2995a339e710cf53ec66955fb899a6702ab374915e12df10adbc9d75f5d9439", "prime_gap_boundary_bundle/baseline/polynomial/check_identities.py": "7a338bcc7f21861168e992e0da2c3188dfbf548885b1390b4a9dbe3bc5ce3cac", "prime_gap_boundary_bundle/baseline/polynomial/exact_slicing_checked.json": "732cf73e7a3a354df6aa56039b5cbf3856c6e67813ff155cb96b4e6b4418bd0a", "prime_gap_boundary_bundle/baseline/polynomial/h3.csv": "b16104ef5e42017f0db376d885c52f94f53365e15a75a3da2caefe720d7af2f2", "prime_gap_boundary_bundle/baseline/polynomial/h3_verified.json": "b5156d9d6354370ec353d646dee717856ff4df083b4cd285228a047a3fef1990", "prime_gap_boundary_bundle/baseline/polynomial/identity_checks.json": "af6b80352861a6f2ca1adfdd9469c87834f38cc8d10725755e5e40b55c84467a", "prime_gap_boundary_bundle/baseline/polynomial/m3.interval_certificate.json": "a3af52952f6decf75fcef8bab28b30f778daaa11b5218ee82c30d5578169de8f", "prime_gap_boundary_bundle/baseline/polynomial/m3.json": "7e648762c022b650ed2e229938d0c699dbf2fa7f5e49787ba4078f535745ed8e", "prime_gap_boundary_bundle/baseline/polynomial/polynomial_cdf.py": "65c11263c91bda9fa893d0376cada1edee1c4d7f8f99870d342dc552e524a445", "prime_gap_boundary_bundle/baseline/polynomial/polynomial_core.py": "61cb4a7bc486a6019684c3c0dca52e9e916985db5cbd22eff19a04d01f21c078", "prime_gap_boundary_bundle/baseline/polynomial/slicing.json": "b48d96aeee8a75f3ae1ac15181a41eb4d86d65ea6bc5c30589402bb312b1107c", "prime_gap_boundary_bundle/continuation/README.md": "a8739b5a8f48ea75f54eef46e1d921ffa1c00e6203bc8b18937e1487b2f0069a", "prime_gap_boundary_bundle/continuation/RESULTS.json": "0522b0d596d0ac625299a8ea5b0ff256730aa33ef028f7bae332f3a29b47d122", "prime_gap_boundary_bundle/continuation/capped_mean_general.py": "21baeeec1be65efe39fa2bd37d9fc15f6dc35c86fea9ec3ecb0e1e4a2b5e8416", "prime_gap_boundary_bundle/continuation/check_new.py": "113d70987ffbd34b1d1c17d94c7a135997bfcb6c035941753138953f6e3618a2", "prime_gap_boundary_bundle/continuation/deduce_caps.py": "6d9c88c4c8e3c2e6a6b96bd24347066fdf2988ed10651a61b4a7d9442befa13c", "prime_gap_boundary_bundle/continuation/deduction_m4.json": "691e6f3703d297c39c324c695bec07143f308a4f9af7b8ae84d286edc2389937", "prime_gap_boundary_bundle/continuation/deduction_m5.json": "0f99294210fa8d01c22ac29f07763ec3def8bc1b8964864ea1a3600d841c0b8b", "prime_gap_boundary_bundle/continuation/diagnostics.json": "44af182dc27fa391d8a2e3e2434fa6badd945d0af0ec1377622de0cdfc72d0d3", "prime_gap_boundary_bundle/continuation/final_check.py": "fb8cb6a9b99427f7022c09bda5f97551992bd848eab144bc1e66f0d8cf05ee86", "prime_gap_boundary_bundle/continuation/finite_sampling.py": "4cdb3f44fa9a05ed61ce65be7b1d787b811f2c6bdf3957da6e7357c39144161b", "prime_gap_boundary_bundle/continuation/finite_sampling_results.json": "b4b641936e07bf98051073db873f1a61e61a96faea551a54436e6336fd0489e0", "prime_gap_boundary_bundle/continuation/h4_selection.json": "602eccc882b30c5958caa71476af80c2cb6af4145f07dc5aa21dee0d84eb4812", "prime_gap_boundary_bundle/continuation/h4_verified.json": "d605abd3b7b0d62201c9939be61643f0546ddfb54c5be3bebcd52f42d93362fb", "prime_gap_boundary_bundle/continuation/h5_verified.json": "2e70d025fb05e83155e67c5780fceec075200a0021fc496e80d925f327c7aa97", "prime_gap_boundary_bundle/continuation/m4_degree6_fine.interval_certificate.json": "caf03a9afba428cb7838a46d7806b17e5440188dcb994058de57f86b35fd9f05", "prime_gap_boundary_bundle/continuation/m4_degree6_fine.json": "0af01003b3db14a0200bc4531356360af8654ea3e7e1e2d532688bd19316031c", "prime_gap_boundary_bundle/continuation/mean_m4_degree6_r10.json": "d38d0285cb3dcda4ce418809dada6959a2599b22c769efba7c964766e9a3fc0d", "prime_gap_boundary_bundle/continuation/mean_m4_degree6_r10_cdf.npz": "36c52ca861eb254691ccb930f4fbb8cc995a014edc8de417c57f91b804460a01", "prime_gap_boundary_bundle/continuation/mean_m4_r10.json": "75a05972419cc8ccbadf759ea95d5e6ebf6a2b967e3626aa0f4a5b476e340ca5", "prime_gap_boundary_bundle/continuation/mean_m4_r10_cdf.npz": "101883683c3d828a8d768d100701b74460a2a52fc6b7727f870539c19fdbd42d", "prime_gap_boundary_bundle/continuation/mean_m5_r4.json": "944e295be15a20bf4147c3f07b9180b298416bf95a0ee685fc8c15ed564fe1f0", "prime_gap_boundary_bundle/continuation/mean_m5_r4_cdf.npz": "24b8f971e808c6d68406353f59b6330b2a48914403572c92835606092bfd289f", "prime_gap_boundary_bundle/continuation/new_m2_k2305_r1.json": "865b40dde92359393410c5bcbef9605f2dc8ec1888ef21d885655cf1482e8339", "prime_gap_boundary_bundle/continuation/new_m2_k2305_r1_cdf.npz": "cd5006365f896a5a54aa9fdba4d3ed4f3f296d72b9eae429a83046093117ecdc", "prime_gap_boundary_bundle/continuation/new_m2_r1.json": "3c396a57992b6ba34c811db7f222bf1377a2b938221ea599d113ffbf29c50ecd", "prime_gap_boundary_bundle/continuation/new_m2_r1_cdf.npz": "4566e54bab79dd76af7c882fe42e557b8571794ec792cd55b610f0ce4ee6482f", "prime_gap_boundary_bundle/continuation/new_m3_r1.json": "d1ee9882ed0223e8baccf6aa253ce654eedd8ce676c277d7ecf8ad6f5277b488", "prime_gap_boundary_bundle/continuation/new_m3_r1_cdf.npz": "f1935784c5cb32095a64e4ff3542a3ffbd7bc6c2f0e930c2657e90ff0dfc774c", "prime_gap_boundary_bundle/continuation/prepare_tuples.sh": "a6c3cc8f1ab28be9ff9ef41afd3bc2049f1361254e3f6a1efc3a4ae003df46d8", "prime_gap_boundary_bundle/continuation/reproduce.sh": "09eb579ab8ae7c16d4f93ebd8574c9da928784a1bf639e78826e7a485020cb4e", "prime_gap_boundary_bundle/continuation/select_tuples.py": "6eb3cedaed0c8ddba4f44e2485e63c74c5ebbaa3695bb5c69e502d17dfd162e4", "prime_gap_boundary_bundle/continuation/support_m4_10_9.json": "1afe7f68d5eb5fa150ddcce78f332505ee39af6fc29044b7c0516fee16de4d28", "prime_gap_boundary_bundle/continuation/support_m4_6_5.json": "71db6e2107501893c764f8eaee1c8d03b2011851af2614aff4b739e644c75c46", "prime_gap_boundary_bundle/continuation/support_m4_8_7.json": "95bc758888248429191e9638b34754be9ac246df862a2c6a51a9cd019d6296a7", "prime_gap_boundary_bundle/continuation/support_m4_9_8.json": "f38cbdeed34873ee9377de92fa70259a0f3a6287953c327edd9648e005ceb5c1", "prime_gap_boundary_bundle/continuation/support_m5_4_3.json": "575e67f10150d6389f80188297ba33a72d867b26309d3cc1a2501826c5b3a7d8", "prime_gap_boundary_bundle/continuation/support_m5_6_5.json": "ebd104c670dea9bf721407af3740668f46b77d1fa6a717c4fa3d38ba028eb797", "prime_gap_boundary_bundle/continuation/test_support.py": "8ca3ede511724ce5cec5879da0022a4779f9e4cdc3f2694a767819d531776e80", "prime_gap_boundary_bundle/continuation2/MANIFEST.json": "36275ef7f71700953d98aab7e3ca11784b5c042564d36fd4612a114ac615066f", "prime_gap_boundary_bundle/continuation2/PROVENANCE.json": "007cc92676657e3de6d0b5a05adaea8eaa1543d528de338052778677abcd7d77", "prime_gap_boundary_bundle/continuation2/README.md": "46fbf1cf6525cb62e48459404915ebee4e971e4d87c6543f84a8992387a63847", "prime_gap_boundary_bundle/continuation2/RESULTS.json": "8e5176ca0ba1cf3fc28824dc1f29ad62db71a902da7f442b1ea16d942f5fbde9", "prime_gap_boundary_bundle/continuation2/check_h3_python.py": "2e541075ccbd6302e9a559823bf80a4742f08009a1b31e83fac899e4ad941144", "prime_gap_boundary_bundle/continuation2/check_new.py": "23822f1de04f3d1f271380172f6abc89271c89c820223674779d78330506d5ba", "prime_gap_boundary_bundle/continuation2/check_pair_counts.cpp": "557088b52106414968d108c61430d86734581643de1a62870f52d36abab9fde5", "prime_gap_boundary_bundle/continuation2/diagnostics.json": "ce6b5e26a148b960c80a28ecf05d759d5731c313b3e385df42fffd5b3cfc7753", "prime_gap_boundary_bundle/continuation2/final_check.py": "7c60309e13723b30273d275607cb355df4844add5502a39ba0e6cd635cb45ee1", "prime_gap_boundary_bundle/continuation2/h2_pair_limit.json": "f2251f374ae452d59fa200905419dface86e0b971ae1fe26a19ab61b124f0d72", "prime_gap_boundary_bundle/continuation2/h2_pairs_shifted_state_witness.csv": "88e64ed78d4e2a130cd2915fa5514382ca7f5ffbbf30326aa16d259b2e5f2a0f", "prime_gap_boundary_bundle/continuation2/h2_seed_witness.csv": "caaf07d7008a74bd7ba70aba10e04ea37bbff649f919839ef3e1e662ee1d7127", "prime_gap_boundary_bundle/continuation2/h3_long_pairs.csv": "c04a73373abc5edbd530cad45b5fe588ebe5bf16cab30b1b8ad5a8bedd32fa3c", "prime_gap_boundary_bundle/continuation2/h3_pair_result.json": "bb649063016544cb923b86e9112c49f8f546438ee4de83dea9dd19176c124c14", "prime_gap_boundary_bundle/continuation2/h3_pair_tuple.csv": "799fe7784c670323a817285773869c32b09a97b04fe9251d4b80062c85481d2f", "prime_gap_boundary_bundle/continuation2/h3_pair_witness.csv": "253df3741b28314bea9fbab660242509760b1220a56ee9b86f0a47cac48015f4", "prime_gap_boundary_bundle/continuation2/h3_pairs_state_witness.csv": "b92ad62ca0a17335b18a9d074003eea8a09e78ce18fdcb1a5b6f5b81d0703458", "prime_gap_boundary_bundle/continuation2/h3_pairs_verified.json": "c5649e6e64480c9d9143ccd676aab31ab3fd5ce4f84dc0eca90c833b1b2e9802", "prime_gap_boundary_bundle/continuation2/h3_python_verified.json": "2312fe6e21a8902a69da8c3ee674dc5de22053e34fc222fe90e1fe5068417d57", "prime_gap_boundary_bundle/continuation2/h3_tuple_verified.json": "bece62c26a94aed5e3a68967f2b54f6ef4b9648d68299f4342fd9bc80ddd3629", "prime_gap_boundary_bundle/continuation2/h4_pair_result.json": "c11e8f6c7d8df45877824cd18638861c7a7fc36b5a47cae327931796497609aa", "prime_gap_boundary_bundle/continuation2/h4_pairs_verified.json": "2e0b6989124fa25059d3b2ac6a461798c39996e4acee017a69f578377a170fed", "prime_gap_boundary_bundle/continuation2/h4_tuple_verified.json": "e16656fb5d1a244e4f9cb583e374e326799cc56583c131fb3ceaad55b8c2e946", "prime_gap_boundary_bundle/continuation2/h5_pair_result.json": "8b38cc3019ce653f07259f89d00e9db4d83d9bb77829024bee0e4e7ea63bb43e", "prime_gap_boundary_bundle/continuation2/h5_pairs_verified.json": "027cdcd42b06a0394ce8402967b29c8bc4444a78627c1a293166edaad1f76be7", "prime_gap_boundary_bundle/continuation2/h5_parent_verified.json": "ea4a108787a858fa7851008575b04f717c8991580ed7591b479d7147f59d78ca", "prime_gap_boundary_bundle/continuation2/m2_refined400.json": "b34e88c45d74ae4603c270807d414e5b53b3963fb02c0415b127b409ac3728d6", "prime_gap_boundary_bundle/continuation2/m2_regularized_400.json": "747be4fdf94f0c2baaaacf840698da8b002dc05cf17809def9adfe31d40648df", "prime_gap_boundary_bundle/continuation2/m2_regularized_600.json": "93f1713fdaec4df813b3503e5a559cff388b59af3862048b98e5ce9aa84fed7c", "prime_gap_boundary_bundle/continuation2/m2_scout_best.json": "279ee0d1fbe2ba319563656f766d0ebb102367dc13c30a3952ad7b44c4a65fc8", "prime_gap_boundary_bundle/continuation2/m2_scout_rows.json": "7309bc62fdb759ac1e1984d01084efdef4c7cf25122e08f4b8493b13be321d30", "prime_gap_boundary_bundle/continuation2/m3_refined400.json": "150d385ea26563c596f02248446bee6b53bc952f8a09fb71ca066c85c0ac4410", "prime_gap_boundary_bundle/continuation2/m3_scout_best.json": "025ceea216de1bdc0d722dba19891621f85a86a76029d98f646d495ca42fe0e9", "prime_gap_boundary_bundle/continuation2/m3_scout_rows.json": "50356a0b57da2a94607631b41cb980a1b821d0fd14820f658a262edff9603da1", "prime_gap_boundary_bundle/continuation2/mixed_amplitude.py": "3fab14ccd181954dadc285d9d48b2a15f64b67d2c5db13b93f35fdbb08cfefe4", "prime_gap_boundary_bundle/continuation2/pair_descent.cpp": "c002c1bcc79e6a7b0d510ce9221e71c8f8ab469d22f26d830481b243e51cc9d7", "prime_gap_boundary_bundle/continuation2/pair_h4.py": "a33b8423881bdf20cecb120a3e2b3a17b79c62c1a454f65c8111e67dbbfa70d4", "prime_gap_boundary_bundle/continuation2/pair_h5.py": "1f7418e0bebec64cfb9bbe0260db849910047876e85048e197c7338f253c2a14", "prime_gap_boundary_bundle/continuation2/pair_penalty.py": "2c531b29cc9b552fbca3b4903516dacb91218b660a32c4e37b53c034e9e6662d", "prime_gap_boundary_bundle/continuation2/prepare_h5.sh": "57e2c58aafc7ebc7e138658cf713caef7a0e4e1e8be9c16e97d9499874edec01", "prime_gap_boundary_bundle/continuation2/refine.py": "3987c633f4c99fa77697c78faae505c6bde02731fb09e16c636a69a912e70a74", "prime_gap_boundary_bundle/continuation2/regularized.py": "4c37601d4bc1623dcedbbd90a88b18ab9f2e708b04c05e7403b44947bdeae622", "prime_gap_boundary_bundle/continuation2/reproduce.sh": "176fdddf55698263f96bc5e3e70fec13638be422421a05aecd3278a2b3eda121", "prime_gap_boundary_bundle/continuation2/scout.py": "4c63748c7c270542a668da33db35cfecca6988b53f37992d0454f9a5c5fe4618", "prime_gap_boundary_bundle/continuation2/scout_pids.json": "d349c721531ecd83efab6e14084f4dfe575bb14e4d32b854530b76c685abe2f8", "prime_gap_boundary_bundle/continuation2/verify_h5_export.cpp": "57dfdf39259cec23f520d3dd584c1302f888d1a6afb14c803e21236fdfeefb19", "prime_gap_boundary_bundle/continuation2/verify_selected.py": "8d83d38f4f9ca6586741fc3b023fb11e52638b69997c79f328cded46c9a9a5c9", "prime_gap_boundary_bundle/continuation_next/MANIFEST.json": "70e477314f5a7e3e8733fb8df4bc00accddd65aa60ed84086ebc794c49eaece4", "prime_gap_boundary_bundle/continuation_next/PROVENANCE.json": "8ea41c8fd550520b85908355d4b14d61b20a49650ba0bad10b80ed774d90c412", "prime_gap_boundary_bundle/continuation_next/README.md": "9564e1a6148b88335c90766d97a32da8147e6d90b4b4a08a5d54ea5a63f083ba", "prime_gap_boundary_bundle/continuation_next/RESULTS.json": "ce554409bb711cb9f912ba84e5e43f6d560810ee9364b539e1da859190246350", "prime_gap_boundary_bundle/continuation_next/check_manifest.py": "54bd5a7d212104324f94e51d930f7c1f78f5f65cec09139ad15ae65639c7433c", "prime_gap_boundary_bundle/continuation_next/check_math.py": "cdeb5e0ed8e2884ec53f4b73849e2081d28fde19b4e3ba1cae348a8ec9944b5e", "prime_gap_boundary_bundle/continuation_next/finalize_verify.py": "e599d20264cf3e373355ca86019503a8cba2d771c238d8a04acc3f30f2da4ab5", "prime_gap_boundary_bundle/continuation_next/h2_parameter_probe.json": "29bc1c417dfd8954e72a8fd67a219fa05d1f8d7eb3e7cd993e2ee88cf5e297bc", "prime_gap_boundary_bundle/continuation_next/h2_parameter_probe.py": "acc249b0be967bd7e53381c22cf878ba8076125eade67134b73241d3b85c3de0", "prime_gap_boundary_bundle/continuation_next/m2_newtuple_oldbudget.txt": "1ad39bf9a21e388c2aca163c4029fbc9fbd4fb2e880f202db56e8fa3198092f0", "prime_gap_boundary_bundle/continuation_next/m2_oldbudget_selection.json": "8e72b944858431a34f9f765cf9343ddd4f8576637e9c9653de92e41f13c0df54", "prime_gap_boundary_bundle/continuation_next/m2_pair_search.json": "9d8c43e5136f28e8bdb8a9c91f9c0a02c8b56ee56782793ca384c64a5343a6e3", "prime_gap_boundary_bundle/continuation_next/m2_pair_search_tuple.txt": "1ad39bf9a21e388c2aca163c4029fbc9fbd4fb2e880f202db56e8fa3198092f0", "prime_gap_boundary_bundle/continuation_next/m2_pair_search_witness.csv": "d20946f1e4e1b4938c4cd0aab40de6be12edff362b77ba22a654c9741e8b924b", "prime_gap_boundary_bundle/continuation_next/m2_plateau.json": "3c61a5f4b115cebc811aed19f0949bcde1963898aada8dedadbbad59269b02da", "prime_gap_boundary_bundle/continuation_next/m2_plateau_tuple.txt": "1ad39bf9a21e388c2aca163c4029fbc9fbd4fb2e880f202db56e8fa3198092f0", "prime_gap_boundary_bundle/continuation_next/m2_plateau_witness.csv": "d20946f1e4e1b4938c4cd0aab40de6be12edff362b77ba22a654c9741e8b924b", "prime_gap_boundary_bundle/continuation_next/m3_cpp_admissibility.json": "1a717eeeb68e96802ad6b6802fa5d02e6cf6264c763f54f54a31b3a5670d5ce2", "prime_gap_boundary_bundle/continuation_next/m3_cpp_pairs.json": "96a7a4d3da1f93dcfb3e2c281188269f0da349b9b9a765739e9125dbf7f6063d", "prime_gap_boundary_bundle/continuation_next/m3_final_target.json": "d5d5946de0e4ad7cc69d8f936f2a02b47d99103836bbcbc41ac4583763cb4f3f", "prime_gap_boundary_bundle/continuation_next/m3_final_target_tuple.txt": "7f404530933ae709785f537c3c55ec7bf1e50e204e2fffa414bfa0e8027c2893", "prime_gap_boundary_bundle/continuation_next/m3_final_target_witness.csv": "12d201d66ccd692d15c1f7373ceff6656d269ee2573785ca6012f430305efc61", "prime_gap_boundary_bundle/continuation_next/m3_finer.interval_certificate.json": "0e77c745b6d4931594b6820441d49b81c4a8969837a83997e4f6aa2161d8857b", "prime_gap_boundary_bundle/continuation_next/m3_finer.json": "4430ce5cd58f1bd4a695b047d7263301c4541e8b6a000dc99691779d8ef61aa7", "prime_gap_boundary_bundle/continuation_next/m3_long_pairs.csv": "5ed07b1eae0ba22c00399ab7a649a404c7312b4dc653b17f71cfba7b7b671b75", "prime_gap_boundary_bundle/continuation_next/m3_newtuple_oldbudget.txt": "7f404530933ae709785f537c3c55ec7bf1e50e204e2fffa414bfa0e8027c2893", "prime_gap_boundary_bundle/continuation_next/m3_oldbudget_selection.json": "becb4cb199976359b97e9e9d4a4462cc75c0ab140743c0a04065ec5f603a295b", "prime_gap_boundary_bundle/continuation_next/m3_pair_search.json": "eb72e81053d119f25384bf6630bb585798cd44ac97ede7a7e960ad5af7ea4335", "prime_gap_boundary_bundle/continuation_next/m3_pair_search_tuple.txt": "7f404530933ae709785f537c3c55ec7bf1e50e204e2fffa414bfa0e8027c2893", "prime_gap_boundary_bundle/continuation_next/m3_pair_search_witness.csv": "12d201d66ccd692d15c1f7373ceff6656d269ee2573785ca6012f430305efc61", "prime_gap_boundary_bundle/continuation_next/m3_plateau.json": "13e1f87dec39ac3a19474889ffab835dcad2fb07a167820568f4fdcd67085fb8", "prime_gap_boundary_bundle/continuation_next/m3_plateau_tuple.txt": "7f404530933ae709785f537c3c55ec7bf1e50e204e2fffa414bfa0e8027c2893", "prime_gap_boundary_bundle/continuation_next/m3_plateau_witness.csv": "12d201d66ccd692d15c1f7373ceff6656d269ee2573785ca6012f430305efc61", "prime_gap_boundary_bundle/continuation_next/m3_tuple.txt": "7f404530933ae709785f537c3c55ec7bf1e50e204e2fffa414bfa0e8027c2893", "prime_gap_boundary_bundle/continuation_next/m3_witness.csv": "12d201d66ccd692d15c1f7373ceff6656d269ee2573785ca6012f430305efc61", "prime_gap_boundary_bundle/continuation_next/math_checks.json": "e7d023c803f2fa8a66c24538739c15c867c98e4988fb7847ad41a1c75a40167c", "prime_gap_boundary_bundle/continuation_next/pair_exchange.cpp": "04f0e39fd9061940c23075bc6f87cf0559b179d866ffd5f6088973b4415689ff", "prime_gap_boundary_bundle/continuation_next/pair_exchange_plateau.cpp": "8b82ee26e26045979cd46ec8634ee69f9ee15701db3728e4301019881e04595d", "prime_gap_boundary_bundle/continuation_next/reproduce.sh": "31455ff30f280d1298575adfa477a6d10ffba616c1872f3f8254153934539be7", "prime_gap_boundary_bundle/continued/MANIFEST.json": "f6dcdf57953a3a49d511464cfcf935d92923352af7a7fe8cbbfb3835c3fe0ff1", "prime_gap_boundary_bundle/continued/RESULTS.json": "e239e071d905c86bdf8c6ad591843a72c0cd7f03fb7357ec4fa1ab9647294e3e", "prime_gap_boundary_bundle/continued/check_manifest.py": "88675d820e173d2c5665856c01fc1e17eacd309334a67367107ba9f9126f2a46", "prime_gap_boundary_bundle/continued/check_math.py": "5ed981807862a0afcf807af8ea767d57d94b2c8c7e2e3123e4f7c4e44f5cefee", "prime_gap_boundary_bundle/continued/check_moments.py": "fcdc346855b1fcc754260d73efd88d1e9894bd21152bc8eeafa5f6e890e7eb75", "prime_gap_boundary_bundle/continued/m2_cpp_pairs.json": "49d4e0e2e7c1e9f06060bb6663b6d2d6b702861838647804d7fc2db12b9543b8", "prime_gap_boundary_bundle/continued/m2_cpp_verified.json": "64aa4fba96ef10be17ab42e5d6c51cd22dc74ada0fe0b562582f90ce95d01454", "prime_gap_boundary_bundle/continued/m2_fine.interval_certificate.json": "c9e96d42d6794c7ed882e2585c53541beac15569e7e8101bf3cf783bcfafa3ff", "prime_gap_boundary_bundle/continued/m2_fine.json": "7a84917a63303375f37ff0d970070256937b12a2bad4761170f78587e1c88a75", "prime_gap_boundary_bundle/continued/m2_long_pairs.csv": "1661f00d5d9f0d9383cc6070f23c435d438332cfd2d0597958d790798b7bc6ae", "prime_gap_boundary_bundle/continued/m2_power2.json": "b4cf80de5bc2a207f70af2f73dcca29cca6fa6b9099bb8124a86763cb3ac3864", "prime_gap_boundary_bundle/continued/m2_power2_cdf.npz": "20679d217bac0bea896e1db43f18059fcc28ac1d8d5d89d3ed2fe0b51402c094", "prime_gap_boundary_bundle/continued/m2_python_verified.json": "979cc69c08fdefb12766193bc5e92beac1c2a5cc08742ca644e5cd4577fc5268", "prime_gap_boundary_bundle/continued/m2_result.json": "844ee5f540447598f7fa972b465a040f15e29a0c09873f07cd7be981bebf908c", "prime_gap_boundary_bundle/continued/m2_tuple.txt": "1ad39bf9a21e388c2aca163c4029fbc9fbd4fb2e880f202db56e8fa3198092f0", "prime_gap_boundary_bundle/continued/m2_witness.csv": "d20946f1e4e1b4938c4cd0aab40de6be12edff362b77ba22a654c9741e8b924b", "prime_gap_boundary_bundle/continued/m3_cpp_pairs.json": "061771fdecba502e788bbe713ecf811b93b62615418c49c523df0b4f6a963f4f", "prime_gap_boundary_bundle/continued/m3_cpp_verified.json": "69ee2a21f2e52f07ca9032bfe06b972deb46ca9a853e0bc233fa47029cb7655b", "prime_gap_boundary_bundle/continued/m3_long_pairs.csv": "5b4aa57490a4995cfcce7a46ea15d63cc98d4c78841010a8f4f633d54ea59126", "prime_gap_boundary_bundle/continued/m3_power2.json": "eb7727a890d08dc58963b69e1c6cdadd339b46d414ee65f4f2df8db3ece2095d", "prime_gap_boundary_bundle/continued/m3_power2_cdf.npz": "7ab99545e205b9463f77671fe5c47cfcb0cfa135e59551301fa3f78ca8a67954", "prime_gap_boundary_bundle/continued/m3_python_verified.json": "5d54e7574cfffd53ea70830c1ebd8336d56ff3f9c8aebf53a7c0ee6b518c408b", "prime_gap_boundary_bundle/continued/m3_result.json": "61dc4693541a46fdc876ddd689f7a022c08c20dd8aa116cbf7071ca6fa456366", "prime_gap_boundary_bundle/continued/m3_tuple.txt": "fb6f7adc92a22f17fed346bb590ae4ab8373aa6c6445f1a65ab8058c945c7348", "prime_gap_boundary_bundle/continued/m3_witness.csv": "253df3741b28314bea9fbab660242509760b1220a56ee9b86f0a47cac48015f4", "prime_gap_boundary_bundle/continued/math_checks.json": "1400c7ab9d5ef7413396f586aa2acb3ca46b7741bf2534fd73ee24540f2a0f9e", "prime_gap_boundary_bundle/continued/moment_diagnostics.json": "ca312c59761166fd5fee48416aafd4763ca8dcf6de00d239b538955004cea404", "prime_gap_boundary_bundle/continued/pair_improvement.py": "2511495485d1fcbff46601f1edcb582b472f842783c32ecf7a479f386ffcaaf9", "prime_gap_boundary_bundle/continued/power_mean.py": "62e8fd8762dff2863f71610f4852a6eebc1c12c67aca5c9544b854946a98ed3f", "prime_gap_boundary_bundle/continued/quotient_runner.diff": "6422a6813f3f9692b31c90cdb58513735ebaf88e3c968054b50b0dcb5ef962e8", "prime_gap_boundary_bundle/continued/reproduce.sh": "a14e9778b074a9e037ac97eeb2f79fbd13f9005ab3782e3e2fc7333cc3df3fa7", "prime_gap_boundary_bundle/continued/run_quotient.py": "72e54a9967138bc1ec55d8f21edd7f388f950d0102e1d9dd675f5cf6811db4af", "prime_gap_boundary_bundle/continued/verify.py": "5fccd1fd840dc3f0e8cc0573f6c237f2201045287de08b6b91643d2039ab48fb", "prime_gap_boundary_bundle/direct_mean/MANIFEST.json": "da3f53fe2b314dc1c8ad10fea26d294dcd4da131a9e5cbddfcab2c699fdb24b4", "prime_gap_boundary_bundle/direct_mean/README.md": "5ebe2c9e7e1acaff62063e4a6e6b23b404b570375bb2bbcd4f01a79d40a0e8be", "prime_gap_boundary_bundle/direct_mean/RESULTS.json": "b440545c83765e7180777fda4ce1e7f71c364d801d2e9459bdfa56a8eb099efa", "prime_gap_boundary_bundle/direct_mean/capped_mean.py": "a9acae1e44dcfc4e0db2952859a063259b315bfe3cabb9af177e19bdb058647b", "prime_gap_boundary_bundle/direct_mean/check_moments.py": "707ab44c074a1d8891b9cc23166595ce3325c5d77fbaf76fdacc85c391e27697", "prime_gap_boundary_bundle/direct_mean/h4_selection.json": "e5d1559bf979f2f8f5210c0ae6e59318d1ed218d70d0b903561b9e241d67eafe", "prime_gap_boundary_bundle/direct_mean/h4_verified.json": "d5f31b2395b48638248a8b25e33f77558c394598d14680bbac31695eac366d3b", "prime_gap_boundary_bundle/direct_mean/h5_verified.json": "f38ceb88bf8b58eb247200eaba82dd2feab55b269dfd85e24c465477800d6a1b", "prime_gap_boundary_bundle/direct_mean/m4.json": "d4c840c7b1fab9198d91c950806d3b5089de92274e7d0b4c8bbb68e86c6534b4", "prime_gap_boundary_bundle/direct_mean/m4_cdf_data.npz": "7fe35121e0bee93d36e6f68258fc51edc31762b26ad5cab0d61f849ce6fa4600", "prime_gap_boundary_bundle/direct_mean/m5.json": "5db5f3a06b52484740d64808e6782c0621f3def12d7a8a0778975cc7a8653c36", "prime_gap_boundary_bundle/direct_mean/m5_cdf_data.npz": "324ecf710e63d6c5d534fa60fae9aefc847ad30c8c17078c1edc9d74d5140389", "prime_gap_boundary_bundle/direct_mean/moment_diagnostics.json": "02f9aec6532dffd262228df787e8fe025a084832534e9e5ea55a17303fe80d1c", "prime_gap_boundary_bundle/direct_mean/reproduce.sh": "2223819b18698beef33c73e676c23dad73013a79db43aece6dc7f6b218ad4a22", "prime_gap_boundary_bundle/direct_mean/select_h4.py": "582fab8bd30988255129b27b16339f83a349b2ae9a76f99246675fbe3989e4ef", "prime_gap_boundary_bundle/direct_mean/verification.json": "c7957fc646e654b742715b54efdb546250b1c0e9a9b0111646ab1189066a17de", "prime_gap_boundary_bundle/direct_mean/verify_direct.py": "90e8ab61d0d9e24ba538221ff389106d36991ca489565a6e9d0d3abf7c6077b2", "prime_gap_boundary_bundle/direct_pair/MANIFEST.json": "a04a5b0f15e600570d9fefee2c887c2628677ed5c6e878100dbfc63387fef1c9", "prime_gap_boundary_bundle/direct_pair/PROVENANCE.json": "fdac468d8e2fb2ad66880db723d51caf02ef283d4b49b744af26dbc0b95ce3f5", "prime_gap_boundary_bundle/direct_pair/README.md": "ebe228b8ab69992b38ae002e8cc33e8cd9edaca3fff98004bbcde84081722056", "prime_gap_boundary_bundle/direct_pair/RESULTS.json": "20e174783d41b604ec8f92521d04a50f9f7f09f3d5b7faf149caa1076e8a75d4", "prime_gap_boundary_bundle/direct_pair/check_h2_attempt.py": "7e848c8851ed377e156567bb156f60c3bb43609c0c689e5a7f03c8aca4fac44e", "prime_gap_boundary_bundle/direct_pair/combine.py": "908c3b664937338a0954d4aa15e924fc7f3f786ac81f88246946b280948ac78d", "prime_gap_boundary_bundle/direct_pair/combined_m4_d1000.json": "c33a8091ee540f6de69fa3450067f744ccd8b607c898b3dd81cfc43a899ee74f", "prime_gap_boundary_bundle/direct_pair/combined_m4_d1025.json": "e58ff1cfb300f1fe1760961b145f46354799eed846767e5dae964ec20b503496", "prime_gap_boundary_bundle/direct_pair/combined_m4_d1050.json": "3cf34b932cb93e12a3ff5ccbc203c0f1aa98da6763100d601d00e74920384b3c", "prime_gap_boundary_bundle/direct_pair/combined_m4_d1100.json": "12fb3eed58a5990ee769412288ee655176aaa5eae87e9c9300d87da5640cd35d", "prime_gap_boundary_bundle/direct_pair/combined_m4_d1250.json": "e53307e8fac9493331a5bc967a71be5755801ee4fb4d0bd0b50885298f6a0511", "prime_gap_boundary_bundle/direct_pair/combined_m4_d1500.json": "8967089cfe647a37ca3bf394764a9465db929ce566198cfb9f7ae186ddda9171", "prime_gap_boundary_bundle/direct_pair/combined_m4_d500.json": "748c7feab716809eaa0833d09c76863df65b96983d95905616a2487ae18b316c", "prime_gap_boundary_bundle/direct_pair/combined_m4_d750.json": "faa74b10ce25bd9f252e17134f18fbae1af4d3aabf315e606864041c920d4818", "prime_gap_boundary_bundle/direct_pair/combined_m4_d900.json": "f4462d8d6fe807a616a2bfc45556465dfb4ad7c99165bb9f7f61da452d033446", "prime_gap_boundary_bundle/direct_pair/combined_m4_d950.json": "e78fce4ae7a0b29a1250ff79bb207273ae8dca463d581f9ee9d93af00823fb26", "prime_gap_boundary_bundle/direct_pair/combined_m5_d25000.json": "94c11f3a3c51af5741c825e667d765be0b1b3690ef5801b5a443b65ad020bd3a", "prime_gap_boundary_bundle/direct_pair/combined_m5_d32500.json": "ba214c98ac04d03736f39223a13576e879bcd72c960da24782b2b2e20dee8662", "prime_gap_boundary_bundle/direct_pair/combined_m5_d37000.json": "acef632b66420136152a1862d9ca74f06c2958add111bceef3675690fb866cda", "prime_gap_boundary_bundle/direct_pair/combined_m5_d38500.json": "d7ea5256be64f45a5bc040a2dee24b7a937c246013d1f3787b8a70837ed9aea0", "prime_gap_boundary_bundle/direct_pair/combined_m5_d39000.json": "d110b0ef89583ae518f551ac83c6103ea84eaeb47b9a70d04648c200c438dd75", "prime_gap_boundary_bundle/direct_pair/combined_m5_d39500.json": "c482744c0c8617d9c13c4d90b96b0b80edde2e1f60bcd18fb424e4b7a62909cf", "prime_gap_boundary_bundle/direct_pair/combined_m5_d40000.json": "9fc954877aadb728750f5c7c12c2336661e6d0576de5ca3ff52604311784941a", "prime_gap_boundary_bundle/direct_pair/combined_m5_d41000.json": "84f40a340f6d1581ebe42a37b9339e6dca7e8460da80c8f27331dc34df695860", "prime_gap_boundary_bundle/direct_pair/combined_m5_d47500.json": "7044646e74f72eb9493234d014e56040a91413b9e298cf498bd1722675d45876", "prime_gap_boundary_bundle/direct_pair/combined_m5_d55000.json": "c50e65a961b43f90f587e41af42c1a3d4c226f74af34e20a6386e704c6e8117c", "prime_gap_boundary_bundle/direct_pair/constants.json": "4045810b2af9eaeb5957438d865c52ebec016bdfdb4f133dce2af2bc7e3ef1e7", "prime_gap_boundary_bundle/direct_pair/diagnostics.json": "5ea3731d607496299efcc38e03dc3cc5a006f8d2747f703ddd2d3ec1aca3b3ac", "prime_gap_boundary_bundle/direct_pair/diagnostics.py": "43e0d0d7b994079e86a4d44f490b1e5170e2b8586a724da1ee68b034b75c6b2d", "prime_gap_boundary_bundle/direct_pair/final_m3.json": "52b7f98c15651cee6bd37dc3d8f2a1bdb9c5dc527f8cb0e594c712b5d4589a72", "prime_gap_boundary_bundle/direct_pair/final_m4.json": "e58ff1cfb300f1fe1760961b145f46354799eed846767e5dae964ec20b503496", "prime_gap_boundary_bundle/direct_pair/final_m5.json": "d110b0ef89583ae518f551ac83c6103ea84eaeb47b9a70d04648c200c438dd75", "prime_gap_boundary_bundle/direct_pair/h2_attempt.json": "adc26c9252c74d4c2369ec51492cea9ee55d19166656f4c93fc0687298bcbb10", "prime_gap_boundary_bundle/direct_pair/h3_long_pairs.csv": "354c68ce023e3d8d358c1c8b7ee94f10705f87b4288df762f1adce3cde8fac6f", "prime_gap_boundary_bundle/direct_pair/h3_original_arithmetic_result.json": "ee6315d82045154a65dc1979df2de0b171b1f6d0841d476590094c13dde8740e", "prime_gap_boundary_bundle/direct_pair/h3_pairs_verified.json": "bddf0263a5949fc71d76aed3e9d9971c294fa33ba7a01b346ba870b8241a0070", "prime_gap_boundary_bundle/direct_pair/h3_python_verified.json": "aa19a1113bac34db6adbae7f7582c95837dc6b15ec50b6e55f410916688912d5", "prime_gap_boundary_bundle/direct_pair/h3_result.json": "3a0fb2254416835a0a6d0549a467626566bc90b4bd6da7771fe379505e7c3921", "prime_gap_boundary_bundle/direct_pair/h3_tuple.txt": "2f5dac592e1e2cf06d1b61d4fbc616cb2a873c527f09618b22f2a2d89ca8f2d7", "prime_gap_boundary_bundle/direct_pair/h3_tuple_verified.json": "bece62c26a94aed5e3a68967f2b54f6ef4b9648d68299f4342fd9bc80ddd3629", "prime_gap_boundary_bundle/direct_pair/h3_witness.csv": "253df3741b28314bea9fbab660242509760b1220a56ee9b86f0a47cac48015f4", "prime_gap_boundary_bundle/direct_pair/h4_pairs_verified.json": "dfb6194eedf098c022128dd8d58a140447f1e7c6c147de44338134dc08d365d6", "prime_gap_boundary_bundle/direct_pair/h4_result.json": "e51f4c7f1687e8a47616871d4e1298939d044a4a8b11a69b3f56c34de4e9300e", "prime_gap_boundary_bundle/direct_pair/h4_tuple_verified.json": "3a9831a5c14ee909aab3d5431bb5a792ae7d9d13627af30b75b6bb05a034736b", "prime_gap_boundary_bundle/direct_pair/h5_pairs_verified.json": "0efc82f56ea6fc26da5e85547d81cbf69f60ab1b5cbddbef5996dfecb364b50a", "prime_gap_boundary_bundle/direct_pair/h5_parent_verified.json": "540333ca3ae07d63ccde6936b09d627be98e98bc45b0c6a182c7e79dab627bc5", "prime_gap_boundary_bundle/direct_pair/h5_result.json": "10ac349aedda1a229666c55ea3cbe61b25faa87a97d4596cfb0cb4196096aaf3", "prime_gap_boundary_bundle/direct_pair/m2_amplitude.json": "5cf958a7d616fcea80445984c369cd4c55b4b2d6d426dace9abe2f4e444653bf", "prime_gap_boundary_bundle/direct_pair/m2_trial.interval_certificate.json": "f25d9690b22a6a335f987ca3b2ebd74d4ce8f10253a3af89fc11bd5228374c13", "prime_gap_boundary_bundle/direct_pair/m2_trial.json": "47b1e6caa5a9e4dce44ac5c0d1d5e434907c93390d62e1354d28f116de4e0f44", "prime_gap_boundary_bundle/direct_pair/m3_arithmetic.json": "709ac3f33448270446809f222565fe92084b7eafa87afaeb61a311cd77a07cc8", "prime_gap_boundary_bundle/direct_pair/reproduce.sh": "91704872671d7d318fcbbd5c5ed3e87a6c63a0e611765a2585c75c4f33998f72", "prime_gap_boundary_bundle/direct_pair/retune_m3.py": "ebe152afdcceff942f724b3d18df844622c5ba8f3d567d8e8cca5cccb82b2fa1", "prime_gap_boundary_bundle/direct_pair/run_h2.py": "b6d1100e91a0b30e69210e2a436905fb2e91fddf8e8ce5a7b325267970f9148c", "prime_gap_boundary_bundle/direct_pair/search.py": "4086a79925084bfaf405e31f6d7edc90f78e9eccb428f481690b538f4fb8428c", "prime_gap_boundary_bundle/direct_pair/sharp_pair.py": "c376baffa8408e638c6a48ba30674852ebdd32d05a0fc89e71e07cbfa317a461", "prime_gap_boundary_bundle/direct_pair/verify_final.py": "a27c639c7729a2cc1be6f9c6622e863901ff29d07965353fd85e7699b1374535", "prime_gap_boundary_bundle/direct_pair/verify_manifest.py": "fe3ee80e918ec63a9c36dd81ab35936fdc51bbe5c8ad372ff9d2f2ca9fb91732", "prime_gap_boundary_bundle/envelope/README.md": "51756b87b596820e95e81f0d59a70c6d5194b173566dfea295dcf4ee62e1718d", "prime_gap_boundary_bundle/envelope/RESULTS.json": "f322c2e9df75c2b56699258afe5d689d7a782e241956bc401400563500f44891", "prime_gap_boundary_bundle/envelope/check_diagnostics.py": "cdb90b9abccd195f2df7f5ed235a4db40ba6296b2c538202546fdde135342783", "prime_gap_boundary_bundle/envelope/compute_envelope.py": "d2b71d18d94b6c078ad5ae5f95753107ecb8a49f44b06468d7e284c5f4164d28", "prime_gap_boundary_bundle/envelope/compute_rank.py": "0ae4245f0aeb06156e8bad42c669b06cc3247a0f9e0295f1b571d440a786b55f", "prime_gap_boundary_bundle/envelope/compute_tight.py": "5e166e4ae5a41a15990bd689cf7da03c28fff0cc292495d91d923ce7c1ba96a2", "prime_gap_boundary_bundle/envelope/compute_weighted.py": "b8b6a2c1397a0331da7dad9451328fa7750a4830055dff569483daa8bbdaaa32", "prime_gap_boundary_bundle/envelope/diagnostics.json": "68a266fc97788afd93a8374246aab6f0c6df09c555726a8535bb2eae51535831", "prime_gap_boundary_bundle/envelope/final_m4.json": "c854aa208277da8db41941648356bcf0427773988ab4f762d160aabe1f3d39d8", "prime_gap_boundary_bundle/envelope/final_m5.json": "45d60c2e339438fc2a4a65c54f64f4192d115fe09a6b3bd83a192bd1840caee9", "prime_gap_boundary_bundle/envelope/final_scalar_checks.json": "fca81b02d4b64c3b8e9241b8cf68e1742fe2a8ee1a8d494b46ae8345eaf76eff", "prime_gap_boundary_bundle/envelope/final_slicing.py": "0ca0a759bb41f5a2a24ed9a569d86f854b6aff04c407a0d1d595b965c734402f", "prime_gap_boundary_bundle/envelope/h4_selection.json": "b64a8ca022adecb334dca4f8092261aa68488b92a201ca69580671e15f1cfc53", "prime_gap_boundary_bundle/envelope/h4_verified.json": "f078e7b24ae04f5e5f50ed222c53a505d212400b9ff4eb16dc5bbbe35cfcb900", "prime_gap_boundary_bundle/envelope/h5_relaxation.json": "e8de146eed65c7fba075ce72721c3595d6832b1baecc50ef6b6d049601092ebe", "prime_gap_boundary_bundle/envelope/h5_verified.json": "a3e33c77eb59b48f7c4179e5c5f07a381647fe9f5ad0a680ac3a68a5db659e9d", "prime_gap_boundary_bundle/envelope/jensen_m4.json": "b81d4f7b14ae333ce6bc2595c3b3de51a3ced8c33d8f835f55923112f05b11ac", "prime_gap_boundary_bundle/envelope/jensen_m5.json": "990923db16d5d5b6aa4fb7fe538bfaf64ce804cfd654282043b34effcc3f4d1c", "prime_gap_boundary_bundle/envelope/jensen_slicing.py": "0c353c1ee00793692888d85b74a12b7a3086fdc1618929456e42f045b760ecbe", "prime_gap_boundary_bundle/envelope/m4.json": "6e0276e8e3b337c9a88beb9adb7aeea2d28722899fe257e02523d9f85efcd3df", "prime_gap_boundary_bundle/envelope/m4_lines.json": "e84b9070080771c5dc946a7bfba6a09b4218707d3138984de2c91a23a511c71e", "prime_gap_boundary_bundle/envelope/m5.json": "2ec13eedc892aeee016d7bc9580063e0f0963063d3266895035f42cb51ff922d", "prime_gap_boundary_bundle/envelope/m5_lines.json": "6a6e55180dfeadac5607604aeb85882361c1d9d13bd96a213b83879e720424ac", "prime_gap_boundary_bundle/envelope/majorant_m4.json": "a927ba7c48c46e5c1c354c6f0fe0f8a02b0ec37b3f18feaa91067a99a74800a2", "prime_gap_boundary_bundle/envelope/majorant_m5.json": "7ab639fa98cd9a89852a6c72fab83ab7356618522fc702623f0812c2189dfcac", "prime_gap_boundary_bundle/envelope/rank_m4.json": "fa3f80f7be40c61854511ceeac2d091aaf224ecc11862b0b55ac25a4006850b3", "prime_gap_boundary_bundle/envelope/rank_m4_lines.json": "c28e128c3db17da4b35c47f719c300dad8d5800fd0965b09e855a30cf2b27532", "prime_gap_boundary_bundle/envelope/rank_m5.json": "57d6329f3ae442f829d9339157530a0cfd2113c08586434d2306700f9e4d8df7", "prime_gap_boundary_bundle/envelope/rank_m5_lines.json": "3ccff09e1c482afa0a1a5985f9bc86037783fb2c95613395cc933eeb19d02b38", "prime_gap_boundary_bundle/envelope/rebuild_h4.py": "5e84eb45f99a086bfd10d45aca085e156d35138c21e3927e1fe85bbf01b8f4ac", "prime_gap_boundary_bundle/envelope/refine_lambda.py": "88f997ede1d166742603a93f877274af7ed7f49882ea2e424f7ebb963327a3f8", "prime_gap_boundary_bundle/envelope/reproduce.sh": "2ab737e8878b39cd3fbe83d22f423bedcdbb46b25c4b294c2394282ed5738340", "prime_gap_boundary_bundle/envelope/tight_m4.json": "9c528fc02af3f003717e1cd02ab27e24ecb202f2ca6ffd4cad7827f90b20fc78", "prime_gap_boundary_bundle/envelope/tight_m4_lines.json": "97cee52511fd6555f0e6b34f7456a4c2241e2857c3b7c40988743199a250de63", "prime_gap_boundary_bundle/envelope/tight_m5.json": "caf817b9bd442e644856a33fb78a09ddb7a053211af416d862dec77b8a396a6f", "prime_gap_boundary_bundle/envelope/tight_m5_lines.json": "1866474867a68d63d296bcf28f3f0171664af8ccd19650b16ce004ea5eb97443", "prime_gap_boundary_bundle/envelope/verify_final.py": "78a3bf5acc8f648ad582711cbe1548122f2c32f328e2f1b3c37df079a3c39b65", "prime_gap_boundary_bundle/envelope/weighted_m4.json": "d5246616500bb488fa703ba85a62fba764c2a35c6123f934a868d8a7bbfcd2e9", "prime_gap_boundary_bundle/envelope/weighted_m4_lines.json": "a177350ecc04b291165ad514877af27cff7c841d364ae6ba700166f167989cf2", "prime_gap_boundary_bundle/envelope/weighted_m5.json": "9a54649032a6e74e268a2e325798826daaf1040fb1e8eeb0d8692bf6102a5833", "prime_gap_boundary_bundle/envelope/weighted_m5_lines.json": "b51ea17d10ed69f64c3e82e392ed0a6ebacc435b6b282f337467a781a397a258", "prime_gap_boundary_bundle/envelope/weighted_mgf.py": "aba00ace0d4964cfff12b2850878ee6bc4d4accbcce2bc2c37052a518ba5d556", "prime_gap_boundary_bundle/exploratory/dual_amplitude.py": "6c09ef550678d3487e11a4b962e4e01e378f5591330f93aa921d830fa3763a38", "prime_gap_boundary_bundle/exploratory/loss_fiber_split.py": "8d8bc8fb0f186e8784a93f352babdcdebf887e9d817671e73f5f8b8ee787b34e", "prime_gap_boundary_bundle/exploratory/loss_marginal_envelope.py": "9b21fedb8a49cdbdb405f3c14a30606bbc5f87c3e1aa2d6f7574b6bb6bb71c44", "prime_gap_boundary_bundle/exploratory/m2_dual_amplitude_verified.json": "4661b07490d1c2210ed7a6fd8b76a8f495a33511c83ebb88fb7fda037e61fe0c", "prime_gap_boundary_bundle/exploratory/m2_marginal_loss_scout.json": "cdc8a6d207164a9afd6770a33e78746a98738e468ebc0f282f8f7477d3d1f04e", "prime_gap_boundary_bundle/exploratory/m2_split_loss.json": "c810a2a19a8d16832f2d69107fb6ebe921082335785e0497f497ca98a3ee384e", "prime_gap_boundary_bundle/exploratory/m3_nested_degree4.json": "9c819256fca772d5fab7294550bbd182321cdcdda5afef3ed703abd932b97098", "prime_gap_boundary_bundle/exploratory/m3_nested_degree5.json": "5a2fec6668f1d2af617cba8e75fc8ba180bc81a713aee7307066728fbff79479", "prime_gap_boundary_bundle/exploratory/m5_cross.interval_certificate.json": "72475bded58dcb9c6ffe568980c5d5acf219ec363d4c024bdf64bf07cc499aa7", "prime_gap_boundary_bundle/exploratory/m5_cross.json": "f5bc1f36f31ad70babe74b4ad93bfe5d7177a3345307d662db8742d821f41083", "prime_gap_boundary_bundle/explore_next/README.md": "99bb2d1e5a885fdaec116776d4281344f753345df76de7927c58be3a6fefc733", "prime_gap_boundary_bundle/explore_next/fixed_m4.json": "8fdf586c2224c480983f17da5c4b20901018f1cf9c314a7445c18c3a39c9cc5a", "prime_gap_boundary_bundle/explore_next/fixed_m5.json": "e36e9f045ae22a5788714c626a2ef44ef8d76a4cfebada69fb9f414777775f97", "prime_gap_boundary_bundle/explore_next/fixed_scores.py": "bbd28ec0cd1863294cc1a40e9e8b1d8fea93151aac6f82424e077fe9ceb9fa63", "prime_gap_boundary_bundle/explore_next/m4_degree6.json": "0d4d66b9419a43f51f95cd3312100f3b8ab851fc50051665791dc94d36c99762", "prime_gap_boundary_bundle/explore_next/m4_degree6_n400.json": "331e6ccfe3b0fb23c0d9a21fa56a9b1b9728b6222603e065df8b72f35cc43a50", "prime_gap_boundary_bundle/explore_next/m4_mixed5.json": "242fcc8360b026458eb32856ec7d0e1f02114d4e9fc3924156c11a99f707fcce", "prime_gap_boundary_bundle/explore_next/refine6.py": "5f2ef4c77aa5273a71b18ddf278131cb63f3e0fcf5d46fb9b3defb33aa8fe27b", "prime_gap_boundary_bundle/explore_next/scout.py": "410b4bf453707a93a43e2e6455a08a88b5db747aa173f42e363b39ea56c8dc54", "prime_gap_boundary_bundle/focus23/MANIFEST.json": "46287da28dcdadc93159718c2c39506ca15791206251df218840308070923888", "prime_gap_boundary_bundle/focus23/README.md": "a7a2434839683ad380ec29722a12df089eba0824d22ad06449bada0d3c7d17c0", "prime_gap_boundary_bundle/focus23/RESULTS.json": "ffd619481aef94e9b0aab2f16f7bd12fe7415a29c127f54a7f898f14dbf2aa6c", "prime_gap_boundary_bundle/focus23/amplitude_checks.json": "1959f2628cb2864506ca1e9b4e9d6a57c8216ea998468a0d468dae67ce47eb10", "prime_gap_boundary_bundle/focus23/check_amplitude.py": "980baa38e27aca9eb3bb0f79134d1838755afdde9bbfb8387b782648c9a60dda", "prime_gap_boundary_bundle/focus23/fast_gtable.py": "7f6527bcee084aca1f0fec4ebcc1051cc7f5e579855b20859d6d9c1efb811016", "prime_gap_boundary_bundle/focus23/fast_gtable_checks.json": "aece86a458757fffc447a018d9f3cae9be6dc3421f994bfb30c2cec365bf4fea", "prime_gap_boundary_bundle/focus23/h2_k2304.csv": "edc79ad589167724660eaa367412633de39ad8fb42fdaa232865831c856490fd", "prime_gap_boundary_bundle/focus23/h2_k2304_selection.json": "09c13bc8852542bda3503e11a189f3f6b460c35cd20a2f0b78f9c46c610ae69a", "prime_gap_boundary_bundle/focus23/h2_k2304_verified.json": "a6de972b57775e42eb437ef46cc9e24e7d8d2874989ac20c6c4e6c272a8f4ef5", "prime_gap_boundary_bundle/focus23/h2_parameter_scout.json": "03987e96656d2790c406363cd2389345b392ba0857d0a4e43d6bdcaf0dfdc616", "prime_gap_boundary_bundle/focus23/h3_k110050.csv": "2a3157d4e61443340d2c5ff175d4c05b217de2a3604d3fa2f9fb8979a9f28b9a", "prime_gap_boundary_bundle/focus23/h3_k110050_selection.json": "33a8aeafec05087d788849ae2200487deb3a805468601316de5fabe1e956963b", "prime_gap_boundary_bundle/focus23/h3_k110050_verified.json": "1df3968ea336c7d3349908b0dd344383fd6fe744b11e056e177870cd47db5be1", "prime_gap_boundary_bundle/focus23/h3_k110069.csv": "109b688fb04e58a96c944fa25575b115c6d6c704d02d8e6c2c5103f021936829", "prime_gap_boundary_bundle/focus23/h3_k110069_selection.json": "d09aae39b2a3591ec3d822c1202df604b03f30af8fcc97d40f08fe4dfcc6d825", "prime_gap_boundary_bundle/focus23/h3_k110069_verified.json": "8d0d4f63bb727a669ca808d11354883f349d9c36584b1e1c68212be3e408ecc1", "prime_gap_boundary_bundle/focus23/h3_k110070.csv": "e0bb9570728d7f4d96a8e9b13d5ae06863b29475d0e1808779e135f7c2b995c9", "prime_gap_boundary_bundle/focus23/h3_k110070_selection.json": "0902842bbbe6f8568a4860ce4e231d4989d44e5cc4b07caddb30d33f9a3c16ce", "prime_gap_boundary_bundle/focus23/h3_k110070_verified.json": "a04c4becca23062ad8abbc6669adf041cd7d722135495cfd80823d0920707795", "prime_gap_boundary_bundle/focus23/h3_search_start_witness.csv": "c8f4063928773001ae8d72009b6c9a86e02fde491009ddc5b1284f7a9e3c4c32", "prime_gap_boundary_bundle/focus23/heavy_mass_loss.py": "213664454bee4ac8cfd2b9aeb24c54e311ff1feba8e5c677730bdba912ea47bc", "prime_gap_boundary_bundle/focus23/m2_fine.json": "1287ba8b825d180c1e0ada5fb74b3c1c63a1358ef68235761f28b950e9be41f3", "prime_gap_boundary_bundle/focus23/m2_heavy_loss.json": "a8225ab94528c7445d38c9d109ab1df761627bbb320c0dfa5d42d05ddf7b9c91", "prime_gap_boundary_bundle/focus23/m2_k2304.interval_certificate.json": "6cb457ac2ccb75283c4112083f7a8b0f866ab7ebec36e78151e1ab2fba5def4d", "prime_gap_boundary_bundle/focus23/m2_k2304.json": "9d99146a21edacb362a541c6a4e94f2df0d183dde2789cf0b75fd38a32d069f2", "prime_gap_boundary_bundle/focus23/m2_k2304.support_1.005.json": "cc82efaf5faf7546cd929c64894ea073d4995ec559348187233c7cee000142b1", "prime_gap_boundary_bundle/focus23/m2_k2304.support_1.01.json": "4ddb6bcc6962c63a1fd5c1d52df9bfaa82b8d862e0d4536fa469c7abaf23ec72", "prime_gap_boundary_bundle/focus23/m2_k2304_amplitude.json": "be73831ed05829612ad1dc0a9483b4783f8d64d32aa6b9d9620b37bb58dbbd55", "prime_gap_boundary_bundle/focus23/m2_k2304_amplitude_recheck.json": "b43bf62bb6ef44ad8008d96a8c02d528e7135ba24ed2ee6bf938f96376b0fea5", "prime_gap_boundary_bundle/focus23/m2_k2304_sign_change.json": "06a625e1393fbb9540f56f009fbfe36831446e3d812d5c84e4543e9148a61ba4", "prime_gap_boundary_bundle/focus23/m2_mass_amplitude.json": "8a2ab91d8ad1700a4f2591e109de65af0c5557012c00410f872c4ba7f5285463", "prime_gap_boundary_bundle/focus23/m2_sign_change.json": "1fc451747d25fee4ca09507a6770902531d33e104c7ba4916057f461ff0eb77c", "prime_gap_boundary_bundle/focus23/m2_tagged_ratio1.005.json": "a31ada4f84bdc321b01dfcc1ca90b56cace1b9e419408eb9dd6b48d2a9b5f41e", "prime_gap_boundary_bundle/focus23/m3_fine.interval_certificate.json": "90447fed3b6920ef06f0522cba0cf6748f9a29b50dba7bf6a9a34cbf10ebdf85", "prime_gap_boundary_bundle/focus23/m3_fine.json": "4adcfced0f466952d75853586af911bc6ea7438f9c520624aaba98995a780629", "prime_gap_boundary_bundle/focus23/m3_k110050.interval_certificate.json": "ef3e88ef0e6d833e71380ab50b88ab28d3a102cf0a7928d634b694f8f6287649", "prime_gap_boundary_bundle/focus23/m3_k110050.json": "ef53716152e6fce6163c788eac9cda0c2245007fd5461d86197e40be33213ed1", "prime_gap_boundary_bundle/focus23/m3_k110050_sign_change.json": "0cff65bd22b87559516c75dbc12f37e0a6210045ffd5aa489f774a6af03176d9", "prime_gap_boundary_bundle/focus23/m3_sign_change.json": "230f816a610bb706dbc76f2fb605863864129d0cf4a6cf086ef64274d317ce92", "prime_gap_boundary_bundle/focus23/method_barriers.json": "be8cba71409125e0ee1c22025e4b08a3c166ea9513a35f982205919bcbc7d761", "prime_gap_boundary_bundle/focus23/moment_amplitude.py": "745f6688b012558a6211607f85abfc07dff55c4ff67eae5db9cae908751d55a9", "prime_gap_boundary_bundle/focus23/recompute_support.py": "bceafe77e3a52f125004e014fc7b146cbb356e5089e0835044ef83a87cfb6d3a", "prime_gap_boundary_bundle/focus23/refine_h2_tagged.py": "c90c775bc571142f29948281ea10e2efd9df23d4f469f1c0fd09ec8352c41dee", "prime_gap_boundary_bundle/focus23/reproduce.sh": "13ba9234f76ccb571bb854c1d1024fd19343b468210f29a12736869185c3e66b", "prime_gap_boundary_bundle/focus23/run_fast_certificate.py": "914c223c04f1d4602a48746731822d8305f950a56b628446cda95ea46c13561b", "prime_gap_boundary_bundle/focus23/scout_tagged.py": "074d979c20da1ebd343b9878f5ac95e74e4463c743532a0ba43f3fcace0daba2", "prime_gap_boundary_bundle/focus23/select_verify.py": "6cfa3f3a537ed5c49dabd698beb95c9d3d8327e0afaf580c6a200f2242ce36ba", "prime_gap_boundary_bundle/focus23/sign_change.py": "faa1e3af43d73b65eec7769010995923537279b0ae752b1bcc184924735da9f2", "prime_gap_boundary_bundle/focus23/tuple_neighborhood.py": "83e79b9f20ab8d47370ead6517092770a9e650d01a2548208649b6cb311963fc", "prime_gap_boundary_bundle/focus23/verify_focus.py": "434b98e279f54ad9c99e6e0c297bcc91a99a6e97879dd88431517f3686fa8763", "prime_gap_boundary_bundle/four_moment/MANIFEST.json": "acc74cdd1700eb4def9f2a96302dce843fe8334003d6c70161e67bfb2d0937b9", "prime_gap_boundary_bundle/four_moment/PROVENANCE.json": "8bfde6b4935fef031dbe613dcc8a4eacc6c630b971b8eab04f22ac580d29848f", "prime_gap_boundary_bundle/four_moment/README.md": "e1777a7a7fb987c645752a21fc33e1aa8c79712798b34f57b64b2505433b8374", "prime_gap_boundary_bundle/four_moment/RESULTS.json": "e45cc42967ee76c8977584e73255597ed2d6e4819163b84ac6f852d41b2e87be", "prime_gap_boundary_bundle/four_moment/check_manifest.py": "9c0c6c6255202b597e61c933a40085ed2bb1690920dcca588f01e09575208ed5", "prime_gap_boundary_bundle/four_moment/check_math.py": "7ab72632ecf9edbf57f47ac6747dbc7fc06a86beb14f702258eda38f8d2bafdf", "prime_gap_boundary_bundle/four_moment/check_numeric.py": "274d497478bb3fa54ece3c13fcd75b6cfe1bb48748205d82f7681dbb7f6cd69e", "prime_gap_boundary_bundle/four_moment/exact_checks.json": "02dd50f38f9ab66d7e0e1fcd3aff9b358a6909727f63e03ebba34689d44a5dc8", "prime_gap_boundary_bundle/four_moment/finalize.py": "5b5ea745587bb795be6747249e04026c25f3a71dcc1902918c4030629608a1a0", "prime_gap_boundary_bundle/four_moment/m2_cpp_pairs.json": "36eec9991cc0481f80eeb3dfc6e7a7942a537b8f0586114a9f3bbdc41f68f088", "prime_gap_boundary_bundle/four_moment/m2_cpp_verified.json": "64aa4fba96ef10be17ab42e5d6c51cd22dc74ada0fe0b562582f90ce95d01454", "prime_gap_boundary_bundle/four_moment/m2_long_pairs.csv": "adb66d2cb159bdbb8d4dabb184011232153819b44f41a0fe8c2e99d107c0467e", "prime_gap_boundary_bundle/four_moment/m2_nodes.json": "54a7932e673e4922214b859e5f1ce988613541b5c7e4112676c22dc2fcde9e76", "prime_gap_boundary_bundle/four_moment/m2_power23.json": "3f3e1a87672d22fa97f955e8b0edade849232c02b1f9c672f83ddadefcc35cbc", "prime_gap_boundary_bundle/four_moment/m2_power23_cdf.npz": "fa806f76a31ef0e3245b4d1acab22ce13f324846356362bff2c0ee719dc21ae9", "prime_gap_boundary_bundle/four_moment/m2_power24.json": "f58ec81fff373d750a443ef2f41fc0c1d2605aa8a5932e8ffd00aeff78b1ebe0", "prime_gap_boundary_bundle/four_moment/m2_power24_cdf.npz": "4c06245af7a74849c13d27a9712a99ece12c06b9e37028330ef6dc3f89d0aea4", "prime_gap_boundary_bundle/four_moment/m2_power33.json": "81621dfa0bfdbc42e8f678ea5b04a8c13f494c413ee4ff69a4891b9424dea89b", "prime_gap_boundary_bundle/four_moment/m2_power33_cdf.npz": "d97069ebdd3f85f174528138a9aca3130995dcd3ce674c266865a42eb2bdba68", "prime_gap_boundary_bundle/four_moment/m2_power5.json": "d9410939dd49517bf21d881e056de9b38a29e33463bdd77ab6a73505c0ed095c", "prime_gap_boundary_bundle/four_moment/m2_power5_cdf.npz": "48acfcf2b2367f20c0687635adfb4f7d4f7687b750ca20107306b9bcf094ae95", "prime_gap_boundary_bundle/four_moment/m2_power6.json": "4c92d281f88c21444f88cee2fa3107f2ed53b0ca8ae8376f6661da6d76e76171", "prime_gap_boundary_bundle/four_moment/m2_power6_cdf.npz": "1c4c013660367e0f3ea20b6f6856ba1d8d9d02248fa5d754e03d0f3bb847e7ea", "prime_gap_boundary_bundle/four_moment/m2_preliminary.json": "579a76f2e707abbbd92a7af0168c1ac59e318e3431b5385ff6bc1d2c10fa411c", "prime_gap_boundary_bundle/four_moment/m2_python_verified.json": "9b818a50f6f928a873727fab94e61eb2fe50d983df984a244a0773ca29bdf3bf", "prime_gap_boundary_bundle/four_moment/m2_raw_cdf.json": "9a86cd60de7946a628f7dcdef670875ef48ea5480be0bceaf42f2afd91fb39b4", "prime_gap_boundary_bundle/four_moment/m2_raw_cdf.npz": "714d1001351c20071e655a66461724827900eb5f743759c59122356c512a969f", "prime_gap_boundary_bundle/four_moment/m2_result.json": "cdf11d400c99620935c925342371dea155edec5a1eb72055396a82f41e16f8e7", "prime_gap_boundary_bundle/four_moment/m2_tuple.txt": "1ad39bf9a21e388c2aca163c4029fbc9fbd4fb2e880f202db56e8fa3198092f0", "prime_gap_boundary_bundle/four_moment/m2_witness.csv": "d20946f1e4e1b4938c4cd0aab40de6be12edff362b77ba22a654c9741e8b924b", "prime_gap_boundary_bundle/four_moment/m3_cpp_pairs.json": "28bb6c3d3bc9b5e159a307ce84c5a56cd43813c3afa51cb521deb60309364d19", "prime_gap_boundary_bundle/four_moment/m3_cpp_verified.json": "bece62c26a94aed5e3a68967f2b54f6ef4b9648d68299f4342fd9bc80ddd3629", "prime_gap_boundary_bundle/four_moment/m3_long_pairs.csv": "6810753dd2dd5b5e2b180196bc89a250acc34cc5dc7e43db57839738d317e37f", "prime_gap_boundary_bundle/four_moment/m3_nodes.json": "3137bb7fc22da54e8498d30c1e1e0888a409524fadbb2b002b19ae9b2fd1078a", "prime_gap_boundary_bundle/four_moment/m3_power23.json": "05ce40d6c6f4a7ed1d25d0587d8f46cb518926a029efa3083dcae5781553b10c", "prime_gap_boundary_bundle/four_moment/m3_power23_cdf.npz": "7bf039c28c42fca69753f83e26a1e07ae4dc9fb9fce92ca230df8513a5629bff", "prime_gap_boundary_bundle/four_moment/m3_power24.json": "448ebe11e71f5db1fdfe26fbc62abcaaadc11f6cc34557cbc602f7249d6f2021", "prime_gap_boundary_bundle/four_moment/m3_power24_cdf.npz": "541453f9db62d9b19113d297aba20a2287d2ff5fb43dced53217d8930ff32c63", "prime_gap_boundary_bundle/four_moment/m3_power33.json": "5c234e8bc92f982df5144dcab53640cc5051b5be4a74dc90204fcf04dd5bb332", "prime_gap_boundary_bundle/four_moment/m3_power33_cdf.npz": "75aaaca0f0da823bf2e5df3f96bbedca04186d663ba048f5f82f5afe05db1c9d", "prime_gap_boundary_bundle/four_moment/m3_power5.json": "5712118d913f410154b56d384e3f165a64a5531f77d53c2c34abca12725e341d", "prime_gap_boundary_bundle/four_moment/m3_power5_cdf.npz": "78daa19e6f352175ad93b1ac970d4e1c1d20b47897e1159313c742c98f17d5be", "prime_gap_boundary_bundle/four_moment/m3_power6.json": "1ab7b72aaee3cb9e60d18c8209eb923cbce11bca736aaef437155c5cda749beb", "prime_gap_boundary_bundle/four_moment/m3_power6_cdf.npz": "e0c2b0e3c552e51486cb5cbd1e646da330a49817ed8595f3ed7fbec44cf21d7e", "prime_gap_boundary_bundle/four_moment/m3_preliminary.json": "75ddabdc0a278939f5b33e5d2d8f536102fdff3bcf659ee93bea1fab43e3a4ee", "prime_gap_boundary_bundle/four_moment/m3_python_verified.json": "b7517dc6516ba27685869efa54599b0b758281c671a34c78f0836dd3711dc079", "prime_gap_boundary_bundle/four_moment/m3_quotient_fine.interval_certificate.json": "60a1c40d06aa32e25f7bbe01cc3728db150f8c7695509cea6da90df7c025343d", "prime_gap_boundary_bundle/four_moment/m3_quotient_fine.json": "9980c131111e7dff9b81c9042f4225256b5772e43339ee211e176e01621d75e0", "prime_gap_boundary_bundle/four_moment/m3_raw_cdf.json": "bf505c6efdb65d937d23c9d3e1ca7c0b08565606a55e00a5959c6cd182104a4d", "prime_gap_boundary_bundle/four_moment/m3_raw_cdf.npz": "d395bd71b26a300923f9a462769da4d4e2d4eb7020e4124169ef6c51cecda6d3", "prime_gap_boundary_bundle/four_moment/m3_result.json": "1c9bf85d867bcfae995344c4bf42543b72fabb1cb4fcc2ded68e5de259144678", "prime_gap_boundary_bundle/four_moment/m3_tuple.txt": "2f5dac592e1e2cf06d1b61d4fbc616cb2a873c527f09618b22f2a2d89ca8f2d7", "prime_gap_boundary_bundle/four_moment/m3_witness.csv": "253df3741b28314bea9fbab660242509760b1220a56ee9b86f0a47cac48015f4", "prime_gap_boundary_bundle/four_moment/new_moments.py": "7fed326978a92378c15c6760b9efb1b47c9d355ca3149b0d58fd09326bd45e01", "prime_gap_boundary_bundle/four_moment/numeric_checks.json": "52ec22283755ff773314750399b98d2de1f74194e4fb08cb1362d8a104e40f18", "prime_gap_boundary_bundle/four_moment/postprocess.py": "9f21121449411c0347e133b5e885441680bae2e4d0570989f98566bf057acfa6", "prime_gap_boundary_bundle/four_moment/reproduce.sh": "b6666ef4edd5da1a1ed47fbeb54a8b7934b24d7a3a7541200a90738c2c6d509d", "prime_gap_boundary_bundle/four_moment/retune.py": "03a3875ecc47b2181f2d1316ef36aeb4da04cc7b49d0cf5ae41fc5f5a3050cc9", "prime_gap_boundary_bundle/four_moment/retuned_support.json": "b7addbc1aaf4afccd2f83ab2b4b83117992b732c38fd91d0966002fb08db66f6", "prime_gap_boundary_bundle/four_moment/verify.py": "4a88216969c7ed9c4e62ce1982918a02f2857eea3c467348acee6923dc9be7c8", "prime_gap_boundary_bundle/fused_pair/MANIFEST.json": "abf621b622b167c793c2e7f832f5b32fd17b1a4745c68d5dc9a37f256b6ac900", "prime_gap_boundary_bundle/fused_pair/PROVENANCE.json": "a62b1002bd163fd20b69c7dd3ab03ffa50549cfb06b90d9bd77e5e72272d4eb5", "prime_gap_boundary_bundle/fused_pair/README.md": "fe34ea06974eb77f14ed2b1d12feb35098e87965bf8f99a94fbceee516f0d7fa", "prime_gap_boundary_bundle/fused_pair/RESULTS.json": "5f0c031fda1b3dcd00ea60cc84d215424197e370604cc3bb8968a3ca15765952", "prime_gap_boundary_bundle/fused_pair/compute.py": "f0a1f7054d88dce26a933385c7721b158f357b9c570960f61df8e573fa3e5fe4", "prime_gap_boundary_bundle/fused_pair/diagnostics.json": "f58c4048e2288a079b73b343b08ac4ab3f8546ff96ca88e112ad8e9ddefe5cfe", "prime_gap_boundary_bundle/fused_pair/diagnostics.py": "d6fdcb400b4ba065af535b7fe8a5994a99d72bd2c1b7bb4defb05234543e8bc6", "prime_gap_boundary_bundle/fused_pair/h2_limit.json": "9413d6e99121533a40e23f5b3d6cab63d75fbeb86393498508f85d42f47d0da3", "prime_gap_boundary_bundle/fused_pair/h3_d0_tuple.txt": "fb6f7adc92a22f17fed346bb590ae4ab8373aa6c6445f1a65ab8058c945c7348", "prime_gap_boundary_bundle/fused_pair/h3_long_pairs.csv": "7c0fc21bf114fb192deeb83ea67c3a1ea645c6caf6af5d27d6de45d22085b1c4", "prime_gap_boundary_bundle/fused_pair/h3_pairs_verified.json": "2c8a55272a2940e5e1e16ea2d17fc27a6dca0b120374f7475d139d3705f268dc", "prime_gap_boundary_bundle/fused_pair/h3_python_verified.json": "4be2e117e231217133de8e9652020377e04e8b1acc1745c1498eaf3218ed387e", "prime_gap_boundary_bundle/fused_pair/h3_selected.txt": "fb6f7adc92a22f17fed346bb590ae4ab8373aa6c6445f1a65ab8058c945c7348", "prime_gap_boundary_bundle/fused_pair/h3_tuple_verified.json": "69ee2a21f2e52f07ca9032bfe06b972deb46ca9a853e0bc233fa47029cb7655b", "prime_gap_boundary_bundle/fused_pair/h3_witness.csv": "253df3741b28314bea9fbab660242509760b1220a56ee9b86f0a47cac48015f4", "prime_gap_boundary_bundle/fused_pair/h4_pairs_verified.json": "2a09d12137bcda67664ddd4f9e4f95bc296daae8ab3e2f58e3faac84a120de03", "prime_gap_boundary_bundle/fused_pair/h4_tuple_verified.json": "9040c32b769286489d83895999d2737c36f56f0cde2c97af68b3117564a1531e", "prime_gap_boundary_bundle/fused_pair/h5_pairs_verified.json": "0d0800976f0b067e9fa5e2427c6b46cfa0c0e15e0a6876b4e75ad2bfa9ea7fc1", "prime_gap_boundary_bundle/fused_pair/h5_parent_verified.json": "7a1d6eaa6cd2718623824074c3b48a8a605e27fd6c2feb7296fadef8aeab48d7", "prime_gap_boundary_bundle/fused_pair/intervals.py": "194a1609f773c2714f13af788758ff41aead9ecdab9c3160a4e3931758268821", "prime_gap_boundary_bundle/fused_pair/m3_d0.json": "6d3157c499929992f4c226ffd3cea3622d326789b47fbd9ef02866fa4c4364cb", "prime_gap_boundary_bundle/fused_pair/m4_d0.json": "706154de1800a79604cf817fdad55628ab9e117e10bfc327f4bba66f4ef61c83", "prime_gap_boundary_bundle/fused_pair/m4_d1000.json": "890793957dbdc90adec843ea9b64acf18ffb11bfa0f105a724f50886b4bfc870", "prime_gap_boundary_bundle/fused_pair/m4_d1025.json": "754bb1612add2a42ff47c7522eb8b8f123bca79e2ba42776093c0147b7de28fd", "prime_gap_boundary_bundle/fused_pair/m4_d1100.json": "71285d21fa09caa70dfc45b3b2ac86ea1671e98e9b9c79eb821f20d2c5caa1e0", "prime_gap_boundary_bundle/fused_pair/m4_d500.json": "14a765c8cc11e7e8ced93e507ea4abb823da31bf4d3d40a771bad4956da6f671", "prime_gap_boundary_bundle/fused_pair/m4_d750.json": "29be7e7a61bbb8f60f96a6f5a1bf37dc4a8f70d7797ab520ca84342592a5f0d0", "prime_gap_boundary_bundle/fused_pair/m4_d800.json": "dce03619234dc89f6297e0fe1bc6516e358a74106cbbb18432c3dae699112876", "prime_gap_boundary_bundle/fused_pair/m4_d825.json": "8323b55b7c1e209fe6a4a8a43b4a0c74470a6bd893b2c0b60ba7cce4d0104a1f", "prime_gap_boundary_bundle/fused_pair/m4_d850.json": "dabff0c08a13ecda75c2a2c7604189f748a37b3bde99ee68f80c1c1e6cfd00e2", "prime_gap_boundary_bundle/fused_pair/m4_d875.json": "0188b7512f22479a84a8424bdaa7fe4bd4b89b3a9247789028f5292eb2c96993", "prime_gap_boundary_bundle/fused_pair/m4_d900.json": "9d6ef9d9211534783343f2a346ab196a4f16b4a60a86580597305a6afa8a1344", "prime_gap_boundary_bundle/fused_pair/m4_d910.json": "0a7b562b81a355d60b9302d36ec4182adefffdfcc4c375af232bd2a501c8cb9a", "prime_gap_boundary_bundle/fused_pair/m4_d920.json": "c66f871c028781a502ab7cb550647a5b47bffda2f7b8816538979aad82b8f2fd", "prime_gap_boundary_bundle/fused_pair/m4_d925.json": "c2a27c296927e37c1ea807c19195a5c3bed1b76181978b857693826df6826a20", "prime_gap_boundary_bundle/fused_pair/m4_d950.json": "01cb3c97bd5cd3c10ead548e5bbe2b86d98f48098a920dce9e0b2adc8ade9370", "prime_gap_boundary_bundle/fused_pair/m4_d975.json": "1b21053ea8184b3b6359e118ce51944eb3255753ebb67f7b84b9d8c6a43e6b35", "prime_gap_boundary_bundle/fused_pair/m5_d0.json": "8a852de1acf8e2aac1896e9ad50dddaa586b4d49c709f149df88ad7439cef2c4", "prime_gap_boundary_bundle/fused_pair/m5_d20000.json": "a57fcd8e06fef26d35682fd9641a1c974befbe60c813cd3eb68ea9700e88987d", "prime_gap_boundary_bundle/fused_pair/m5_d30000.json": "b5e68312f9153222b289d165a335e7624952efd3aefe262bc0a668877f5bf57f", "prime_gap_boundary_bundle/fused_pair/m5_d35000.json": "4d9e20451764458bf9db34efc89e291e59b1060859e220db6f5c29f1dcb6c6e4", "prime_gap_boundary_bundle/fused_pair/m5_d36000.json": "f6ebdb144fef7e9f873b06f48376d4557e4c859e8e87f5ac875909668cac7f48", "prime_gap_boundary_bundle/fused_pair/m5_d36500.json": "8854f29d907ea371a74b1a5ff328b346a6d5d1e5be2e0a7db728959da47f6b5d", "prime_gap_boundary_bundle/fused_pair/m5_d37000.json": "69f60de7d4fe9f8ddc127a22746385159394372aa1b44c54ca1fe3de8441373b", "prime_gap_boundary_bundle/fused_pair/m5_d38000.json": "015d3126f41a73ac679920ed13bf982e5acacd86c307e062460f4b70729fc273", "prime_gap_boundary_bundle/fused_pair/m5_d39000.json": "194357134cd81240082410c72e846eb9a127068bb472a21090ffb42f496141ed", "prime_gap_boundary_bundle/fused_pair/m5_d43000.json": "6387f04cba5fe75e047e5a4c51fca132e6f3e7298abf599cfe3f4288585d4b76", "prime_gap_boundary_bundle/fused_pair/m5_d50000.json": "b999b818013653704096367faf180f56468297216d5d59a21ab34db06ddf0495", "prime_gap_boundary_bundle/fused_pair/manifest.py": "4984dd10122c8307ee23ab40be2cdf8e82f8846aff5ab3c1896878ba821a05d9", "prime_gap_boundary_bundle/fused_pair/reproduce.sh": "ce74cefc1ac0267e52c4f2503e46fc56aa2172c58aa3488da116ebcf89fcbb44", "prime_gap_boundary_bundle/fused_pair/reproduction_comparison.json": "362df6552e68a55839259a290fb6a125134553e34dce854543a569190fb402d5", "prime_gap_boundary_bundle/fused_pair/verify.py": "0112e755f08568d230316cb3537252948943f143e379343ea485b44ab6d2661c", "prime_gap_boundary_bundle/limits/optimistic_h5.cpp": "48021a1398add56e1c486f56e733b1c63fdca4414d60ea97b8bfddbe03793ac1", "prime_gap_boundary_bundle/new/README.md": "480cda72e0a78ee2be246e3ea7c1ee88a753cd8cadfbd773652f93941a3048ef", "prime_gap_boundary_bundle/new/RESULTS.json": "4d253d26c0f21efa81edc141431467cc305f67c15c3af71fb4765709332481b7", "prime_gap_boundary_bundle/new/apply_new_h5_patches.py": "a62330a9c687b60ab6cac2f63282442a31c8c35eec705ec8923e894a515fb7bb", "prime_gap_boundary_bundle/new/check_fft_native.py": "08dd89240120c4f2de78b6a4ab76f6499464d5c04496cc5f2d79797527d0389c", "prime_gap_boundary_bundle/new/check_h5_dependencies.py": "0ac6675015eefd46ec85c7e8912e6cafda00db5e2fabdc3de51aac08120e4ede", "prime_gap_boundary_bundle/new/check_mixed_identities.py": "3c1585e58bddc0032fdc3cbfda6fdae65b22c16c2be4e0eab13805c13b2da731", "prime_gap_boundary_bundle/new/check_moments10.py": "3095a3d6b66889e084259f43b190314db0db3275acbe7b2f2357c31f1ddf4ba9", "prime_gap_boundary_bundle/new/deletion_aware_restore.cpp": "10b95e94f2056803890057af3674b0a073c34fab52776950cd423494acef01ed", "prime_gap_boundary_bundle/new/fft_checks.json": "20181509db4cfb883f54c61d77bec50862f56807bc42c9da7972a324199fdff0", "prime_gap_boundary_bundle/new/fft_native.cpp": "d24a5708f8a4aa2fbd6e817538599dfcc69bbda1cd24247e14b7d641f8849c69", "prime_gap_boundary_bundle/new/fft_native.py": "d599ea69795f09817811988489fae7a5398d85c265278b2a19e6847fcbf82b51", "prime_gap_boundary_bundle/new/h2_pair.csv": "c0ae0c6ab3f2e5429808403a04762363c97d507219e45f6ce79769cf5c2d2902", "prime_gap_boundary_bundle/new/h2_pair_witness.csv": "25a83d320fe4245de0c15345cdbafc1d6b1e6c46c53008a1450c01379237c0b0", "prime_gap_boundary_bundle/new/h2_shifted_witness.csv": "25a83d320fe4245de0c15345cdbafc1d6b1e6c46c53008a1450c01379237c0b0", "prime_gap_boundary_bundle/new/h3.csv": "da34ff4bb2108c50a5bbec2ad9e0af65541af8353bdeb8fc267b538092660d16", "prime_gap_boundary_bundle/new/h3_selection.json": "248ba16dbcc9ff3cb7f4e56b837a2aed17c7973c8126c92befdcb04f71552a2d", "prime_gap_boundary_bundle/new/h3_verified.json": "06a7095a9920b52de5b3271e069617ae8c72eb07ab1effb8fbc212f45b717cfc", "prime_gap_boundary_bundle/new/h5_dependency_checks.json": "256d9c08b95f4f9abdefb9486551c293e3c4dc7a543ae1b610ff21e6f2f12f77", "prime_gap_boundary_bundle/new/h5_dependent2_patches.csv": "202973d10c19269fc886da1c80cb6010893cd18e13ec541f85d61e19f08e77a2", "prime_gap_boundary_bundle/new/h5_dependent2_result.json": "4405a4a1e8140d9e0cd3ff10388d444447f04a33e1a63f94ffae18cb0c3660c8", "prime_gap_boundary_bundle/new/h5_dependent_patches.csv": "316d0773c3c4750ecc2986b47a5c88b9257755391bdfd4c3bb9583101688f792", "prime_gap_boundary_bundle/new/h5_dependent_result.json": "5bf2c36ef4a728c4d62c92e4e01106dad41bd9cd85f4f5889db326160afc635e", "prime_gap_boundary_bundle/new/h5_patch_encoding.json": "1b47b25d6c7e99bbe93d432b4a76c0f9d2165e7ab2cb679c3f596f09ebb1d4b9", "prime_gap_boundary_bundle/new/h5_verified.json": "dfa4d3179909b27212fb1b611712f360e10fe6557620cc9bc1811c0757b95069", "prime_gap_boundary_bundle/new/m3_add23_scout.json": "afd2336e1134d79b6daf908b98952690279edee2143ce0c3038944bef1bb189c", "prime_gap_boundary_bundle/new/m3_candidate.json": "0b1e06b5a27a07f288fb89aaf1f8e949f578f6a7acf7e7597a1b244cb1fa4e9a", "prime_gap_boundary_bundle/new/m3_fine.interval_certificate.json": "ed16d4b9934a5091da79e3380288fe48ece8609622e223aef266365071401ad6", "prime_gap_boundary_bundle/new/m3_fine.json": "4694c56ed788a83a1f4fc3f7378068c6d0df490f0c9b0a8de3e76fa78dd2a2ae", "prime_gap_boundary_bundle/new/m3_slicing.json": "59743e7a38778821f094e5eace0214a7fb17207b50b4cb1d5a0cf509f09214f7", "prime_gap_boundary_bundle/new/m3_test.interval_certificate.json": "2530a605ce63711a6e11d6cc2c0e9a930c8a8d6fcbc6b2bdddd39a0ad722c6b9", "prime_gap_boundary_bundle/new/m3_test.json": "791aaf6820b2b30edd1315659811a9b651d6ac1c44214eedaa06c87021c02eb6", "prime_gap_boundary_bundle/new/make_candidate.py": "5c8bc9ca0198c466df39eed1273a78c98c7d2367b899a384aeb89d8172417f68", "prime_gap_boundary_bundle/new/mixed_identity_checks.json": "3965338d2ad8ffd2f16b4a4b087fcbd5b1ae4f850834ebc8d817c4f1df423138", "prime_gap_boundary_bundle/new/moment10_checks.json": "000c54f2208c078d485ba9851aea08a40fb053e10e9cdf348798a92dd237952e", "prime_gap_boundary_bundle/new/reproduce.sh": "d9ec5b1393bd13dcead9db7bbb301f5436234f218439940b008b37445a97f820", "prime_gap_boundary_bundle/new/run_certificate.py": "2b4167bfb193154fc2b72db08b742936ba3b8c907f792b90eb97ba2c19d2b36d", "prime_gap_boundary_bundle/new/run_fine_certificate.py": "dba1093cae6f48976475f8966192097a72092f5c37cd33bb3c490084a056983c", "prime_gap_boundary_bundle/new/saved_checks.json": "70ef48f0aa1a4d2f5d5099ad0adbb855b1bcf01b0ca943e94db8844db45c1a05", "prime_gap_boundary_bundle/new/scout.py": "e46bf73bc2a7aa0d270b72840490ff2808d631b7e8e9e80a9bd6667a1acb6c91", "prime_gap_boundary_bundle/new/search_h2.py": "94e226b1c0000be0f5c25e5aca4a5f28f4146f26a233a6e3ee6079c45643efa1", "prime_gap_boundary_bundle/new/verify_new.py": "a0e01d80b46adf4d0b06d6b4e16d94627b610d3fe973107b188f17b59b6a52b1", "prime_gap_boundary_bundle/next23/MANIFEST.json": "8a5c703d698c4227eaa322e56de78bcb1d5b425db6e0035c9cae6e953177c5cf", "prime_gap_boundary_bundle/next23/PROVENANCE.json": "391aba1ef29f4af740f88523a25c397061d75204b58375f8b96f0f4932eb7c2b", "prime_gap_boundary_bundle/next23/RESULTS.json": "412f2c742cfb664e82e0cc344d57fb57427a572d155c120de26567b0bfb9d667", "prime_gap_boundary_bundle/next23/absolute_value_diagnostic.json": "3a4b3020350e7202440b2ed309ea2402b75da7af5c7a5ee6633423245fe6b513", "prime_gap_boundary_bundle/next23/absolute_value_diagnostic.py": "174c7d261a66d7014289e26e9114567597ffdfe2c761d75808ad5edb2a549cee", "prime_gap_boundary_bundle/next23/certify_component.py": "ae618a05cc5d7e5bf62266199bcdb98be5f09c772746d7721fffe121b349c7e8", "prime_gap_boundary_bundle/next23/component_only.diff": "07fa74c051a3f06e9421779124e6c2610b005d2c483a7388b7bf19980c361f6e", "prime_gap_boundary_bundle/next23/cover_polish_m3_0.csv": "cf377a0f3cd1b3f17b934a66cd2b749314f54e1d95fe6854ea0d3da4dc61fe32", "prime_gap_boundary_bundle/next23/cover_polish_m3_0_witness.csv": "8f5a4b8991ff4e22a4b10b2ffcfa6732e68d98c153699eca5149a8cf7fc3e09a", "prime_gap_boundary_bundle/next23/cover_polish_m3_1.csv": "c0a30f9a1912f7c35ddff2fa53c196f8f7e847fe3f50b8d931293c0b04d7c3f6", "prime_gap_boundary_bundle/next23/cover_polish_m3_1_witness.csv": "a20ebfb96e548427344b7d14e873d318c3d72e9d7bde86745b5851c3e13ea6b6", "prime_gap_boundary_bundle/next23/cover_polish_m3_2.csv": "734cc3b46a9760fcd23517ebd5710c006c31f652c1b6329ddeb7a34acf972673", "prime_gap_boundary_bundle/next23/cover_polish_m3_2_witness.csv": "323466e489bba0a90ccbebec992cff447d03bb3a27b39bb4d0cdbac9af533e9a", "prime_gap_boundary_bundle/next23/cover_polish_m3_3.csv": "870af25f8e01051dd20053a6d5380edee50006bf733051be0d7219ac872fee6b", "prime_gap_boundary_bundle/next23/cover_polish_m3_3_witness.csv": "3f52104d196e4327fb65e299fa7cfce581d38f6bc96cced6b66e5dc4961a1bee", "prime_gap_boundary_bundle/next23/cover_polish_m3_results.json": "7a5ab2c497516aa624500d7156122b33944f7bb5f6f6f9bb31569f72bcccf777", "prime_gap_boundary_bundle/next23/h2_19886_normal_witness.csv": "4fccf64583f145a870b5e6fbd4e33a45158f2a6e10001002d4d07d3a097f4c5e", "prime_gap_boundary_bundle/next23/h2_19896_verified.json": "c6e9321bab6d2d82d328bf6aa27f9159b4956545968c6a7613772eb957c19e1c", "prime_gap_boundary_bundle/next23/h2_best_shifted_witness.csv": "4fccf64583f145a870b5e6fbd4e33a45158f2a6e10001002d4d07d3a097f4c5e", "prime_gap_boundary_bundle/next23/h2_final.csv": "05103a22241fb56108ee17c565eb027e523020eea14c0b1a1b1e0a736b66fcbe", "prime_gap_boundary_bundle/next23/h2_final_verified.json": "f30eaa40521a290dffade6267fb49839a291acb685352ec805da650637fb06f4", "prime_gap_boundary_bundle/next23/h2_final_witness.csv": "1b6b9264f0a27a5a9ddd7b9cb85377b06ba0ee76b3071229d0f776395d53b626", "prime_gap_boundary_bundle/next23/h2_new_2026_verified.json": "c6e9321bab6d2d82d328bf6aa27f9159b4956545968c6a7613772eb957c19e1c", "prime_gap_boundary_bundle/next23/h2_new_local_11.csv": "a7ee3c0f1fe54b98e102ce277fa72c01ffbd08646d495530a12d85b940cefe40", "prime_gap_boundary_bundle/next23/h2_new_local_11_witness.csv": "b1d939dd918b7b202e61dadc927f5504a897eccc6faf17c3c2ba189b063952c7", "prime_gap_boundary_bundle/next23/h2_new_local_13.csv": "32d664cd30feab4572171a32934a181c606f949630259d15430ed78b2eae2cb8", "prime_gap_boundary_bundle/next23/h2_new_local_13_witness.csv": "edfdb43502e89a1a0b1b6f518fabb9d56a61d18cf81b25e9256a6c4ae4bcd5b9", "prime_gap_boundary_bundle/next23/h2_new_local_2026.csv": "1785c81a3a9e64990bf0e9f1887a2a612c2aa7dbbe45829aff34b62d12d9f58e", "prime_gap_boundary_bundle/next23/h2_new_local_2026_witness.csv": "9a4755074943bded7c85c26a538c829a5de9bb31ba118674b8a72a570b6c5dfe", "prime_gap_boundary_bundle/next23/h2_new_pair.csv": "083c71f3d38c894b25f45fc8614c755d3c5f6d2bae0ed559b852e85078f02c9e", "prime_gap_boundary_bundle/next23/h2_new_pair_witness.csv": "cb82e5df1baad4ddee7d0794c60e71c50b71423e552ce34e70c4ce6cdfddcad1", "prime_gap_boundary_bundle/next23/h2_new_shifted_witness.csv": "cb82e5df1baad4ddee7d0794c60e71c50b71423e552ce34e70c4ce6cdfddcad1", "prime_gap_boundary_bundle/next23/h2_pair.csv": "c5e008a508cdc3a3f6cca4479afee210295da20897a640e7cceb2c5834df0bd8", "prime_gap_boundary_bundle/next23/h2_pair_witness.csv": "e5a9402d32163f9e2bdf15efed55ffa40b9812541da39d75b87d40d0215d884d", "prime_gap_boundary_bundle/next23/h2_processes.json": "b9d2996903d7aae892e9ab7f78abd7c758d7a317a062c7bf302196eaff44deda", "prime_gap_boundary_bundle/next23/h2_reconstruction_recheck.csv": "ce0960105be70114833c8b46274da74e63754beb3aa05df4fd6c251b4d843954", "prime_gap_boundary_bundle/next23/h2_reconstruction_recheck.json": "0a7a27466e7bb184093e97c200c9caa07ee3b5a9fb2f76ca1ec5c0d08db00326", "prime_gap_boundary_bundle/next23/h2_recovered.csv": "ce0960105be70114833c8b46274da74e63754beb3aa05df4fd6c251b4d843954", "prime_gap_boundary_bundle/next23/h2_recovered.json": "2d4c37fbeaf86a9e98e25f13d67b2a24321e1b642672d6b31cdd361bee7caeb3", "prime_gap_boundary_bundle/next23/h2_recovered_1000000.csv": "ce0960105be70114833c8b46274da74e63754beb3aa05df4fd6c251b4d843954", "prime_gap_boundary_bundle/next23/h2_recovered_1000000.json": "0a7a27466e7bb184093e97c200c9caa07ee3b5a9fb2f76ca1ec5c0d08db00326", "prime_gap_boundary_bundle/next23/h2_recovered_50000.csv": "ce0960105be70114833c8b46274da74e63754beb3aa05df4fd6c251b4d843954", "prime_gap_boundary_bundle/next23/h2_recovered_50000.json": "0225d99de62db707edbc5572717febdc34640498771aa218da58f14d23c60e7e", "prime_gap_boundary_bundle/next23/h2_shifted_witness.csv": "e5a9402d32163f9e2bdf15efed55ffa40b9812541da39d75b87d40d0215d884d", "prime_gap_boundary_bundle/next23/h2_shrink_results.json": "89c8b3e383b07dd5bde4e2700732a30998fd7e9312fe2cbee6213e58d8442f3a", "prime_gap_boundary_bundle/next23/h3_cover.csv": "735827b5736e5bbfe2969a2dd95f2c08e0d76b5317e16a8f5bf88ee7b8711573", "prime_gap_boundary_bundle/next23/h3_cover_process.json": "2b2e26828b93fd99efbb34c6b5a534d4bb353b43047a99fa811de614dfed2b9f", "prime_gap_boundary_bundle/next23/h3_cover_witness.csv": "2c7d581b9382304a26e0e0a2e03a3ad85662088a97053f40ffc9ce0a307d63b3", "prime_gap_boundary_bundle/next23/h3_final.csv": "870af25f8e01051dd20053a6d5380edee50006bf733051be0d7219ac872fee6b", "prime_gap_boundary_bundle/next23/h3_final_witness.csv": "3f52104d196e4327fb65e299fa7cfce581d38f6bc96cced6b66e5dc4961a1bee", "prime_gap_boundary_bundle/next23/h3_k110040_candidate.csv": "88d43caa1ff08f1171c340c78ac70fdc213c4c1bb6a2c42f1f2fafc0ca9fda7d", "prime_gap_boundary_bundle/next23/h3_old_dimension_extended.csv": "2a3157d4e61443340d2c5ff175d4c05b217de2a3604d3fa2f9fb8979a9f28b9a", "prime_gap_boundary_bundle/next23/h3_old_dimension_extended.json": "f95e2f4cdc0cfca6060ae7d4c5683009ce5bd70b75d2763d67b40bc392407b03", "prime_gap_boundary_bundle/next23/h3_recovered.csv": "88d43caa1ff08f1171c340c78ac70fdc213c4c1bb6a2c42f1f2fafc0ca9fda7d", "prime_gap_boundary_bundle/next23/h3_recovered.json": "b6876b51061711ace58ca664649faf4fb18037bf8d66b1ed82c613990718d94a", "prime_gap_boundary_bundle/next23/h3_recovered_extended.csv": "88d43caa1ff08f1171c340c78ac70fdc213c4c1bb6a2c42f1f2fafc0ca9fda7d", "prime_gap_boundary_bundle/next23/h3_recovered_extended.json": "b2d1c8f928798ecb9e6f1847a83c09a6d1bf340769472ed52d0c10669e35e628", "prime_gap_boundary_bundle/next23/h4_recovered_extended.json": "49d61294ccf2bd9fd6b0a071c26a24f3f73e88e2156eeac8d44803bb80803829", "prime_gap_boundary_bundle/next23/m2_mixed_k2302.json": "613ac71846225a44505e47198bf025100ae9de7d7ee0466b6a9a0d6a2bc16c80", "prime_gap_boundary_bundle/next23/m2_opt_process.json": "1558406826ed9d20b1da82782c7f88e487eca9389a052aceeff6ded5f57d20cf", "prime_gap_boundary_bundle/next23/m3_k110040.interval_certificate.json": "f4a4cd3289613f264b9c379e9331b96d99d40108f2475a9923e7dfa536ba07ab", "prime_gap_boundary_bundle/next23/m3_k110040.json": "cc9be526e6569d3dfcc4dd096fc89a13ac91e7adc96ece5d47b290e88e6aaa6e", "prime_gap_boundary_bundle/next23/m3_process.json": "6208ba0d16b02729bac8a678e468d363202920779c1009bafe5ec103d065a7e8", "prime_gap_boundary_bundle/next23/make_note.py": "82fd6669996f28657d1b7b40ddbd3906c9805fef0e8312b94df89158938929ee", "prime_gap_boundary_bundle/next23/optimize_h2.py": "83b72cd439737ec9d75e9c2943677bcdce146381f107ef5409fa3b6610df3393", "prime_gap_boundary_bundle/next23/polish_0_13_input.csv": "4fccf64583f145a870b5e6fbd4e33a45158f2a6e10001002d4d07d3a097f4c5e", "prime_gap_boundary_bundle/next23/polish_0_17_input.csv": "4fccf64583f145a870b5e6fbd4e33a45158f2a6e10001002d4d07d3a097f4c5e", "prime_gap_boundary_bundle/next23/polish_0_2026_input.csv": "49be5f7d0500ca174a8efc45358ab5dbc7e09ee441a9793fe601516279333c90", "prime_gap_boundary_bundle/next23/polish_0_23_input.csv": "49be5f7d0500ca174a8efc45358ab5dbc7e09ee441a9793fe601516279333c90", "prime_gap_boundary_bundle/next23/polish_0_31_input.csv": "4fccf64583f145a870b5e6fbd4e33a45158f2a6e10001002d4d07d3a097f4c5e", "prime_gap_boundary_bundle/next23/polish_0_37_input.csv": "49be5f7d0500ca174a8efc45358ab5dbc7e09ee441a9793fe601516279333c90", "prime_gap_boundary_bundle/next23/polish_covers.py": "41a9a0332d02a60519575eec3dccfddea470947721a0a20a0873602b8483c673", "prime_gap_boundary_bundle/next23/polish_h2.py": "56f794a211c17d24ee73adfa452075d02d86ad94894c7b710cc28f17be6803e4", "prime_gap_boundary_bundle/next23/recover_tuple.cpp": "cf9e9ee42d5e9f31e8ecfadac3f744e9a3b961d0e1fa67d2bc7532805059f893", "prime_gap_boundary_bundle/next23/reproduce.sh": "81db7f60cae664c59fe59249c8d403023faf7c06fdfd66ee46ef09c5fbc8be33", "prime_gap_boundary_bundle/next23/run_certificate.py": "3bf974a58aa4b78e6d47d0a4617fb920cd65eaa204e35b89aff01a4fd19edc97", "prime_gap_boundary_bundle/next23/shrink_0_13_input.csv": "edfdb43502e89a1a0b1b6f518fabb9d56a61d18cf81b25e9256a6c4ae4bcd5b9", "prime_gap_boundary_bundle/next23/shrink_0_2026.csv": "05103a22241fb56108ee17c565eb027e523020eea14c0b1a1b1e0a736b66fcbe", "prime_gap_boundary_bundle/next23/shrink_0_2026_input.csv": "cb82b8d2b08de2b7cc21cf1a01c4e546885c63841c8c92fa44af29efb0866747", "prime_gap_boundary_bundle/next23/shrink_0_2026_witness.csv": "1b6b9264f0a27a5a9ddd7b9cb85377b06ba0ee76b3071229d0f776395d53b626", "prime_gap_boundary_bundle/next23/shrink_1_13_input.csv": "1b6b9264f0a27a5a9ddd7b9cb85377b06ba0ee76b3071229d0f776395d53b626", "prime_gap_boundary_bundle/next23/shrink_1_17_input.csv": "1b6b9264f0a27a5a9ddd7b9cb85377b06ba0ee76b3071229d0f776395d53b626", "prime_gap_boundary_bundle/next23/shrink_1_2026_input.csv": "8118fbc4996f2cfd591fc75d75b89aa98509bff82c29f8f9e995c7e78ab49259", "prime_gap_boundary_bundle/next23/shrink_1_23_input.csv": "8118fbc4996f2cfd591fc75d75b89aa98509bff82c29f8f9e995c7e78ab49259", "prime_gap_boundary_bundle/next23/shrink_1_31_input.csv": "1b6b9264f0a27a5a9ddd7b9cb85377b06ba0ee76b3071229d0f776395d53b626", "prime_gap_boundary_bundle/next23/shrink_h2.py": "b3d7013474f2bb19dab0cf4b1f6a1bdaeb6489153da2268a1bcde67d593ddc1f", "prime_gap_boundary_bundle/next23/tuple_neighborhood.py": "2209346065a5a8c4e122635f4f765799a5fd5cde6d2f0144a8aed43ddc657cd7", "prime_gap_boundary_bundle/next23/verify_results.py": "af06c8ed74bcda145863bc980112a687c5839cd9986a9ede0c6537610da9f6fa", "prime_gap_boundary_bundle/next23/wheel_neighborhood.py": "a6c2f3d1d60ff7348c0e2d0aa159d10c0ff1c4aeafb72887cfe0a870b8123653", "prime_gap_boundary_bundle/next_pair/MANIFEST.json": "f1ef2a88ad906e05b75a9ce4ca063473691041ffdb14f62d14aab90b38980fb4", "prime_gap_boundary_bundle/next_pair/PROVENANCE.json": "bee6d651f50bf6059176ef9becc6412b2d284717a5f5a27b506c56d975fa986c", "prime_gap_boundary_bundle/next_pair/RESULTS.json": "cb498067bfbb3ed118f0c5f718beb67d61a7a08c8846010d40bd202cf9358eb7", "prime_gap_boundary_bundle/next_pair/algebra_checks.json": "4f1510e0b5ded7c144850fca3713d400fcaa6d792857ae48ef645ba85c5cb4a4", "prime_gap_boundary_bundle/next_pair/check_algebra.py": "d315ee34d23d7a317d39949dadad20a618b40ad9d9020a59039a3c649253c771", "prime_gap_boundary_bundle/next_pair/check_manifest.py": "9da54310da3c7ea96bf1e5ca4cf395225445519f6cc7e98efa2dff2e88da83b9", "prime_gap_boundary_bundle/next_pair/check_moments.py": "8b6cf4a85e4fa5bbcfd0f966b0f843ff50115a48312ef8172de82c3604ff3462", "prime_gap_boundary_bundle/next_pair/cubic_pair.py": "44e17cfafe19da8f420ce20e1757d1dafb760d6afd019507fd3c630c59e2b559", "prime_gap_boundary_bundle/next_pair/extra_moments.py": "71d39306ea89114210ba3c02d91bcb8054ac1db62d90447be09165d7efbc8b12", "prime_gap_boundary_bundle/next_pair/hermite_m2_long_pairs.csv": "adb66d2cb159bdbb8d4dabb184011232153819b44f41a0fe8c2e99d107c0467e", "prime_gap_boundary_bundle/next_pair/hermite_m2_result.json": "0ae6dc67c1e796de2e76f4b96652c228e6f68796be020eed2c05fbe5a9d70bb2", "prime_gap_boundary_bundle/next_pair/hermite_m2_tuple.txt": "1ad39bf9a21e388c2aca163c4029fbc9fbd4fb2e880f202db56e8fa3198092f0", "prime_gap_boundary_bundle/next_pair/hermite_m2_witness.csv": "d20946f1e4e1b4938c4cd0aab40de6be12edff362b77ba22a654c9741e8b924b", "prime_gap_boundary_bundle/next_pair/hermite_m3_long_pairs.csv": "1f8f7d2238e632ee4f802d0b3a7b540df24e42b5ce6070eade30b7c280382f7b", "prime_gap_boundary_bundle/next_pair/hermite_m3_result.json": "5f423cc36bfaebce3b380b6aeacb946be77259058252dec575b71ab9b68728f4", "prime_gap_boundary_bundle/next_pair/hermite_m3_tuple.txt": "fb6f7adc92a22f17fed346bb590ae4ab8373aa6c6445f1a65ab8058c945c7348", "prime_gap_boundary_bundle/next_pair/hermite_m3_witness.csv": "253df3741b28314bea9fbab660242509760b1220a56ee9b86f0a47cac48015f4", "prime_gap_boundary_bundle/next_pair/hermite_pair.py": "5e45e527c957509a5c18f1e3e4152d4849b0439c068fc8b5c55850be84af790c", "prime_gap_boundary_bundle/next_pair/m2_cpp_pairs.json": "36eec9991cc0481f80eeb3dfc6e7a7942a537b8f0586114a9f3bbdc41f68f088", "prime_gap_boundary_bundle/next_pair/m2_cpp_verified.json": "64aa4fba96ef10be17ab42e5d6c51cd22dc74ada0fe0b562582f90ce95d01454", "prime_gap_boundary_bundle/next_pair/m2_long_pairs.csv": "1661f00d5d9f0d9383cc6070f23c435d438332cfd2d0597958d790798b7bc6ae", "prime_gap_boundary_bundle/next_pair/m2_power1.json": "7bac13092c28ab6d878254101295a4e510c90eba34c3cda02367fdbdd0374f64", "prime_gap_boundary_bundle/next_pair/m2_power1_cdf.npz": "978a64db3d07d26cd702994b687778cfb493f14b88d3871c6665b014afa97c8e", "prime_gap_boundary_bundle/next_pair/m2_power22.json": "7e7b8b9e7b7e162f6087388f82f29803128efc100934735d2faabf218a0d4066", "prime_gap_boundary_bundle/next_pair/m2_power22_cdf.npz": "7a9374dbb58008d32d8349b86fd7627e8307eebef488cfa2404704ff7b9b28e6", "prime_gap_boundary_bundle/next_pair/m2_power3.json": "42a1e9930e961f431363e40e58ef15704645937f5dde5d0d6ba9bd94ed743d06", "prime_gap_boundary_bundle/next_pair/m2_power3_cdf.npz": "208a3b6febef363bc241f693f9254b988936cddad9777b58a837606fca9bb5a9", "prime_gap_boundary_bundle/next_pair/m2_power4.json": "e8b7d8a5341998eea957dde9468a293e31ac2bf91ad3fb433b246c8a49d69738", "prime_gap_boundary_bundle/next_pair/m2_power4_cdf.npz": "176b49d44d2826a14593349f67107e031e903ffd9ef73cb73e6b6454d6c7c4b9", "prime_gap_boundary_bundle/next_pair/m2_python_verified.json": "ffd73b869a399d49a51781a91534d1813475088abb4bcd11c8092d5282121393", "prime_gap_boundary_bundle/next_pair/m2_result.json": "048191cd726adf1a2e05a4b9541ec8124954179293a04f579917f742ef9ac863", "prime_gap_boundary_bundle/next_pair/m2_tuple.txt": "1ad39bf9a21e388c2aca163c4029fbc9fbd4fb2e880f202db56e8fa3198092f0", "prime_gap_boundary_bundle/next_pair/m2_witness.csv": "d20946f1e4e1b4938c4cd0aab40de6be12edff362b77ba22a654c9741e8b924b", "prime_gap_boundary_bundle/next_pair/m3_cpp_pairs.json": "5e105c3cf68aa61c638b8b47745c7827217bbfcfeec248e994c4bae5d651b9ce", "prime_gap_boundary_bundle/next_pair/m3_cpp_verified.json": "69ee2a21f2e52f07ca9032bfe06b972deb46ca9a853e0bc233fa47029cb7655b", "prime_gap_boundary_bundle/next_pair/m3_long_pairs.csv": "7e3d0d8969c53d5ce513e84dc92e021b46aa624cb9a1d187c88daf2df1b7bbe5", "prime_gap_boundary_bundle/next_pair/m3_power1.json": "b8e227e7abfeebf49b072f68f644feb04a6e882cf1fbfe4db5af0fc6cead6764", "prime_gap_boundary_bundle/next_pair/m3_power1_cdf.npz": "77519f487a8ed8af25a965dbced7f539709ded6571188e1f28253eafcb4a0619", "prime_gap_boundary_bundle/next_pair/m3_power22.json": "9935392b2c20021a6dfbd378c118aea1ebd40d992c8637af2bf534054dc7f04b", "prime_gap_boundary_bundle/next_pair/m3_power22_cdf.npz": "d3cef5eb9a4224f25b1a6c3b8acb4de87a40927d2222045ce6990004a8e01e5a", "prime_gap_boundary_bundle/next_pair/m3_power3.json": "3789d941af55ae050c5337b0447d1e94711e6652c775adc1128ba334aacc49fe", "prime_gap_boundary_bundle/next_pair/m3_power3_cdf.npz": "09f3e0d11e1815d5822f57087d3d6645a4c2730ec5a2648af22b2e51a123dfe5", "prime_gap_boundary_bundle/next_pair/m3_power4.json": "492c7c0b6cd8f257d9efbc38b8ffd8c1f02f13b81879f1e6097eea1848da6136", "prime_gap_boundary_bundle/next_pair/m3_power4_cdf.npz": "f4d688c4a9d58471f1947d24655d47c6d90b0684d04fd9b10ab5caa7db79bcf4", "prime_gap_boundary_bundle/next_pair/m3_python_verified.json": "3aab73b533b08b0fea66e5c3149c634681782bfc6fcbd831c36e88eb66ae5314", "prime_gap_boundary_bundle/next_pair/m3_result.json": "905bea8509f7b4ce097ef85c8b0725f88bfe7bfdd5f47f0e512d21ea3d55bfbd", "prime_gap_boundary_bundle/next_pair/m3_tuple.txt": "fb6f7adc92a22f17fed346bb590ae4ab8373aa6c6445f1a65ab8058c945c7348", "prime_gap_boundary_bundle/next_pair/m3_witness.csv": "253df3741b28314bea9fbab660242509760b1220a56ee9b86f0a47cac48015f4", "prime_gap_boundary_bundle/next_pair/moment_diagnostics.json": "61ae4d9d43f3fde7dec8aaafa118fbd47f69b7f41c7736cc361b77a33f23178b", "prime_gap_boundary_bundle/next_pair/reproduce.sh": "2c42781cad0078a07fdc1914d4dbecc01481d53daf0342e5238deb967dc5541b", "prime_gap_boundary_bundle/next_pair/verify.py": "7bd3659225aceff522b0ee90797c3875336d7d2e5341f36d7f8e7c9fe9e83a3c", "prime_gap_boundary_bundle/onward/MANIFEST.json": "dd99a5d2aae4ca554f0514916f889e19a3998809836485222bb32255c8071830", "prime_gap_boundary_bundle/onward/PROVENANCE.json": "8792b6f5af3310e634afcd121ccf2ff9d4ff58ef2e5cbc46b56db7385bea487d", "prime_gap_boundary_bundle/onward/README.md": "708508ad6224fe80916a6cf8b9469bbc88038587b4b9dd8771e4e0c1f2b2c3b6", "prime_gap_boundary_bundle/onward/RESULTS.json": "757c599bb9591deb13ce8d2db877eae72b74f0f9f2fe8dc729539edf3edf62ba", "prime_gap_boundary_bundle/onward/arithmetic_sweep.json": "49342f294a76ee5f4fbc1c02f60de3346d632c2eb8ec2838038559f761136e52", "prime_gap_boundary_bundle/onward/asymmetric_pilot.json": "22533d3fc2fcad0044a5af956324b59e7f280243fc0d20df6db9bf5cc9519dd7", "prime_gap_boundary_bundle/onward/asymmetric_pilot.py": "d22beffac5aa4a627c5323bb90435abab1d88279ee8c0c3b8f726b426c0ad387", "prime_gap_boundary_bundle/onward/asymmetric_tagged.py": "7cfb3412c5634e781830460020cd1adec030d753eda76cde3dd0cfb92e99f285", "prime_gap_boundary_bundle/onward/chunk_table_checks.json": "9426f67f973e2d45e5567c46df557b857bf2f46a9207f7d4fecea5538a6b3f83", "prime_gap_boundary_bundle/onward/chunk_tables.py": "1afeb8281360bd267a6e983766e767e62b1be27dfea5eba1df33e6c0d752e2ac", "prime_gap_boundary_bundle/onward/forced_cover.cpp": "65974db7ff8a72c90cd34593cfc5f5c1a70f220fd4cf38345fb9ddbb7bab72d5", "prime_gap_boundary_bundle/onward/h2_milp_large.py": "4f8520715086862826539dda699e56ba4891683619f858b16996ec24d29c2623", "prime_gap_boundary_bundle/onward/h2_milp_large_24_0.csv": "e6228e203159c0f44db97f9b5627501aa4da67472853c922bcce5c4774bf60b0", "prime_gap_boundary_bundle/onward/h2_milp_large_24_0.json": "62e3f84a59e13ba8166affc6d50dd1ea4aa7c052e0b1d287bbae045a4803bc51", "prime_gap_boundary_bundle/onward/h2_milp_large_24_0_witness.csv": "16593368593c1251df937ee2d15091c23cb4c086387c9005563ce8d0993b8ac0", "prime_gap_boundary_bundle/onward/h3_completed.csv": "3475e6f7f17f860741df375cbc81fd2343f474006c2eb789d00ac205497a5915", "prime_gap_boundary_bundle/onward/h3_completed_witness.csv": "60884134ad8124d542fb4b1b8ba9a819a48ee2acaf2bf46da8173eb6ea8fe7d4", "prime_gap_boundary_bundle/onward/h3_completion.json": "f0246e96972e8d53f7bf10b64975169fd736c66d0f0f378fd76b779c9a39d9ac", "prime_gap_boundary_bundle/onward/h3_escape.py": "170f92871fa0cbb75d4c01b45a4eccbdc8498f9ff6df8cd952aae04851e29130", "prime_gap_boundary_bundle/onward/h3_escape_results.json": "37517e5f3dc66819f61f5a7bb8ace1921282415f10551d2defa5c3eb0985b570", "prime_gap_boundary_bundle/onward/h3_final.csv": "3475e6f7f17f860741df375cbc81fd2343f474006c2eb789d00ac205497a5915", "prime_gap_boundary_bundle/onward/h3_final_witness.csv": "9be4b932237f1968e1a797b8226f4cfc2c15bf5c9ebb5ea0a156e0f7b2a7e9a1", "prime_gap_boundary_bundle/onward/h3_seed.csv": "3475e6f7f17f860741df375cbc81fd2343f474006c2eb789d00ac205497a5915", "prime_gap_boundary_bundle/onward/h3_tuple_search.py": "ae26a98571aa15ba714a609e05378608353fd2b8d689179e132d7142ab6fe68a", "prime_gap_boundary_bundle/onward/m2_fixed_grid_k2303.json": "bb7570e1a8e3f200001d79d5a062f8c869a5d1158a7c1763d63de4fdf7fd5dc7", "prime_gap_boundary_bundle/onward/m3_k110037.interval_certificate.json": "7206069445af3f0c6be03dc13e9dfed9265607e52af29653de9234dd00353e36", "prime_gap_boundary_bundle/onward/m3_k110037.json": "119cacc935f579a7466e0c35f6964f94594770481f763900a6ed98ab49654d79", "prime_gap_boundary_bundle/onward/optimize_fixed_grid.py": "078acf7153c3a440b5bba374eddae6f32b2c5a46f0e4568e094197ee14dc17b8", "prime_gap_boundary_bundle/onward/phase_escape.cpp": "62d29c80ddedf2fb965d0f8303bac0fb02270261b6d7f2a3241f175925745a07", "prime_gap_boundary_bundle/onward/reproduce.sh": "183417c65874051baa595b3ff8140fa2ffdf4a9d8c812d16d1333cf06b18b88b", "prime_gap_boundary_bundle/onward/retune_arithmetic.py": "686b236f1b47761304863866da8db4c438ab784ae91340a4a64a2d6294377af4", "prime_gap_boundary_bundle/onward/run_stream_tables.py": "b149df60e6d470e82563fa1840e840df6003aa2d21081353ff609efe903da072", "prime_gap_boundary_bundle/onward/selected_arithmetic.json": "e357b08ee4e99fdc7fc38c7ca8937d175d211e972ff439a58a20ca98069bd3bd", "prime_gap_boundary_bundle/onward/verify_results.py": "bdaeecbba17f296ae26b072b0b55982349e36e1e4f23cef5fb9ad028bab2b8c9", "prime_gap_boundary_bundle/progress/MANIFEST.json": "d088927cea1cb637fac87bf49bd091f5f12e4279999099db8693b8eee4d7a9a0", "prime_gap_boundary_bundle/progress/PROVENANCE.json": "15e501d9cfd922f46f76a8c3a537bb7b012d328acb51d6d823ed5c6c21f4f419", "prime_gap_boundary_bundle/progress/README.md": "0e80dc3c7f42882aaae9dd7a54d2f83edf93d583ec5a7c9d0a44b7c0c7eef3ed", "prime_gap_boundary_bundle/progress/RESULTS.json": "4ca3fabb6021b421dd4b8fbc32654c1c9b118eadf9680a1051e302d73c460a70", "prime_gap_boundary_bundle/progress/check_chunked_abel.py": "e3f7ce9a1f47d18d8d2cdfb0864ebfe1059dd8d3ccc752652441fab9e9eccf4d", "prime_gap_boundary_bundle/progress/check_parallel.py": "2d9fc7e3fb7b8d81960352216fac3931a76ca58feb6ffd2f9489e602ef2d6704", "prime_gap_boundary_bundle/progress/check_tuples.py": "257c1a4ceffbf4051c53d4bc11f2482ce2b8e6b8aa2147b0862d90a4bc051408", "prime_gap_boundary_bundle/progress/chunked_abel_checks.json": "b789261c63dc3e8108079a72a13dfa2194a7f120505cacf915cd751672c752c5", "prime_gap_boundary_bundle/progress/evaluation_process.json": "e1ba4b5a09b0d52eacffbc8fa66652d1306a50038ca654d3c7e6bff114ae4395", "prime_gap_boundary_bundle/progress/exchange_h2.py": "e9088eecb73091362133db1ce70d7533eea04793ddd6c55afad947954ef854fc", "prime_gap_boundary_bundle/progress/final_parent_scan.json": "42c0aab814fafc47c0d307788f323dfe81b2997b9a3b00b5693784d6ce7ae0f5", "prime_gap_boundary_bundle/progress/grow_h3_small.py": "0b924ccf968bdcb0240b671903b0af2d3aa1c9b0d7ae61f115d017bb2f7ea246", "prime_gap_boundary_bundle/progress/h2_19860_verified.json": "e0f19fc43ef4aaebb531141bf0684f81e8ff0813bf04717f8ec2aab0154fe3e4", "prime_gap_boundary_bundle/progress/h2_exchange_results.json": "0eb7e715bf3eaa39c47a045f55c476c59b76073ff17f283ae4db78890ff70abd", "prime_gap_boundary_bundle/progress/h2_final.csv": "2abc4072180b28aa09eee90258e83bc409f564b548ef4f3975f254a44a513607", "prime_gap_boundary_bundle/progress/h2_final_witness.csv": "d20946f1e4e1b4938c4cd0aab40de6be12edff362b77ba22a654c9741e8b924b", "prime_gap_boundary_bundle/progress/h2_local_2.csv": "83d6970829c104810eade92167e3241fc672a3dbf0005f9b744e0670c6ce2d9c", "prime_gap_boundary_bundle/progress/h2_local_2_witness.csv": "e03558a3f7031244f5ef6c389b62dbf632b18b7691c1dfd7aef0449bf27dd6ca", "prime_gap_boundary_bundle/progress/h2_local_3.csv": "81acf511dd0c73f222d1ed0c873641b0e3a1f457b07c09495096288e979da028", "prime_gap_boundary_bundle/progress/h2_local_3_witness.csv": "37be91604008141f28b841ac7186454eb24706a146c36638516de59188fcccdc", "prime_gap_boundary_bundle/progress/h2_pair.csv": "01b4e43b41b72c9c8470402daf2f956ba97d5fb2d4185ec175f153481a74622c", "prime_gap_boundary_bundle/progress/h2_pair19858_s10.csv": "e6228e203159c0f44db97f9b5627501aa4da67472853c922bcce5c4774bf60b0", "prime_gap_boundary_bundle/progress/h2_pair19858_s10_input.csv": "caaf07d7008a74bd7ba70aba10e04ea37bbff649f919839ef3e1e662ee1d7127", "prime_gap_boundary_bundle/progress/h2_pair19858_s10_witness.csv": "caaf07d7008a74bd7ba70aba10e04ea37bbff649f919839ef3e1e662ee1d7127", "prime_gap_boundary_bundle/progress/h2_pair19858_s12.csv": "9ac92409104dea4abf16532569c4b5f5b61bebb79f0fb69d1e7d8aa02aa020e6", "prime_gap_boundary_bundle/progress/h2_pair19858_s12_input.csv": "597e8b0d56f2e6f0b8fb41b340780663513c0226db3daa2aaf95bde54003fa1f", "prime_gap_boundary_bundle/progress/h2_pair19858_s12_witness.csv": "597e8b0d56f2e6f0b8fb41b340780663513c0226db3daa2aaf95bde54003fa1f", "prime_gap_boundary_bundle/progress/h2_pair_witness.csv": "4fccf64583f145a870b5e6fbd4e33a45158f2a6e10001002d4d07d3a097f4c5e", "prime_gap_boundary_bundle/progress/h2_search_results.json": "d132564b38ccac79a2f295c1254fe789bba197c45b3122f4df0894706a410890", "prime_gap_boundary_bundle/progress/h2_stage0_b0_0.csv": "2abc4072180b28aa09eee90258e83bc409f564b548ef4f3975f254a44a513607", "prime_gap_boundary_bundle/progress/h2_stage0_b0_0_input.csv": "e03558a3f7031244f5ef6c389b62dbf632b18b7691c1dfd7aef0449bf27dd6ca", "prime_gap_boundary_bundle/progress/h2_stage0_b0_0_witness.csv": "d20946f1e4e1b4938c4cd0aab40de6be12edff362b77ba22a654c9741e8b924b", "prime_gap_boundary_bundle/progress/h2_stage0_b0_1.csv": "283905ff2c79bc3654b38dd317e58afec6ec62eda99a124edaa8b2ea0a0cc571", "prime_gap_boundary_bundle/progress/h2_stage0_b0_1_input.csv": "38858acb36fa1167701388c5e39de5a79070a6129dbe20cd6a76c369b5510aeb", "prime_gap_boundary_bundle/progress/h2_stage0_b0_1_witness.csv": "5874fd824e7071f37de06d95674936e83994cdacb3d24409c0faddf41bbd3e6b", "prime_gap_boundary_bundle/progress/h2_stage1_b0_0_input.csv": "d20946f1e4e1b4938c4cd0aab40de6be12edff362b77ba22a654c9741e8b924b", "prime_gap_boundary_bundle/progress/h2_stage1_b0_1_input.csv": "bf6216b2cfc85f2551bdc8caef7ee440bc32865db9f3b3ff37154c053c442f67", "prime_gap_boundary_bundle/progress/h2_stage1_b1_0_input.csv": "04cd4e5c6f9043c7895c2c79189edf200d86b10ccd456c51d94f49eb8c5ab419", "prime_gap_boundary_bundle/progress/h2_stage1_b1_1_input.csv": "1949bcfae180f2acfc6de45f63e99d702de11f07a143106c4249835dc8d63da4", "prime_gap_boundary_bundle/progress/h2_stage1_b2_0_input.csv": "a7c8140ef03cec09e733789c927149ef09c2bec8449b89ac4474e358990a3dc0", "prime_gap_boundary_bundle/progress/h2_stage1_b2_1_input.csv": "ce2e0881ce8b03208ed762ab845994c85bd00b99bd807568a7a930fe3d2e2e1f", "prime_gap_boundary_bundle/progress/h2_start_2.csv": "8118fbc4996f2cfd591fc75d75b89aa98509bff82c29f8f9e995c7e78ab49259", "prime_gap_boundary_bundle/progress/h2_start_4.csv": "4fccf64583f145a870b5e6fbd4e33a45158f2a6e10001002d4d07d3a097f4c5e", "prime_gap_boundary_bundle/progress/h2_start_6.csv": "49be5f7d0500ca174a8efc45358ab5dbc7e09ee441a9793fe601516279333c90", "prime_gap_boundary_bundle/progress/h2_verified.json": "e0f19fc43ef4aaebb531141bf0684f81e8ff0813bf04717f8ec2aab0154fe3e4", "prime_gap_boundary_bundle/progress/h2b_process.json": "ab6c4ef5ba26cb72bc2259a306d91a49932f6edcc7702c42676e0b471348cb01", "prime_gap_boundary_bundle/progress/h2b_stage0_b0_0_input.csv": "caaf07d7008a74bd7ba70aba10e04ea37bbff649f919839ef3e1e662ee1d7127", "prime_gap_boundary_bundle/progress/h2b_stage0_b0_1_input.csv": "597e8b0d56f2e6f0b8fb41b340780663513c0226db3daa2aaf95bde54003fa1f", "prime_gap_boundary_bundle/progress/h2b_stage0_b1_0_input.csv": "5a46088c7f62e00eb53491dae4920c722b4c9bb936e1db120fda6b8dfa79b8cf", "prime_gap_boundary_bundle/progress/h2b_stage0_b1_1_input.csv": "4a1b07a6b8ee127e3b4712aed571fa8a2930a3bf1e7726acd1b15caa4e0dc7c4", "prime_gap_boundary_bundle/progress/h2b_stage0_b2_0_input.csv": "dc4338b63898a25c4a5e7861c12d9780f3f421b1c7bf9808405d9ba463e20999", "prime_gap_boundary_bundle/progress/h2b_stage0_b2_1_input.csv": "a7c8140ef03cec09e733789c927149ef09c2bec8449b89ac4474e358990a3dc0", "prime_gap_boundary_bundle/progress/h2b_stage0_normalized.csv": "caaf07d7008a74bd7ba70aba10e04ea37bbff649f919839ef3e1e662ee1d7127", "prime_gap_boundary_bundle/progress/h3_1359048_verified.json": "06865aa24b742617b88225088cf569c56f82da0ec733fa2bf178463e8db01f8c", "prime_gap_boundary_bundle/progress/h3_cover_0.csv": "6b2aea37847b1b3cbf103baa6152c1fd504348c4fff21df5c0d929cc062ad216", "prime_gap_boundary_bundle/progress/h3_cover_0_witness.csv": "0c1047f99fe6207d651d4feba8cbf6c1465298d5bf34c5194172ad76483b4927", "prime_gap_boundary_bundle/progress/h3_cover_1.csv": "5d1d6592dd42c62982998c602966fba5dce4f5eaa4003838457789069990d424", "prime_gap_boundary_bundle/progress/h3_cover_1_witness.csv": "c46af80c0981b04ba1963f01914c323184c927f604352b8c3eeb6fe6388be0bd", "prime_gap_boundary_bundle/progress/h3_cover_2.csv": "a868e9043b2462fb5b0ccb875ce5f152ddba0f189504ad77294e3c1b0cb79b90", "prime_gap_boundary_bundle/progress/h3_cover_2_witness.csv": "a51c54f34dad48cc4a2a24b0475ab80fb15fbd4861c5effd0b4c5d8d322c6cff", "prime_gap_boundary_bundle/progress/h3_cover_3.csv": "c99253c16c6c7cd0f483b02df9c81dc8bf3bf256dfa16cc202593ed447c23ccf", "prime_gap_boundary_bundle/progress/h3_cover_3_witness.csv": "a7852fe1499d5058761b0badde49839f65d48282de033f9f64558b01db9f90af", "prime_gap_boundary_bundle/progress/h3_cover_4.csv": "24518afff5597ee46a342e3f5c5839ba4fedadc594c8aa82d61fb0e0d03a0881", "prime_gap_boundary_bundle/progress/h3_cover_4_witness.csv": "6b09ae0de80e5ffed13a5e254e44fdb0f2499b3999d1955cc43559fb8d15bb0b", "prime_gap_boundary_bundle/progress/h3_cover_5.csv": "6ac076f7120151b86c56a9634142abf2636dce672e69a4e728fde01e666297ae", "prime_gap_boundary_bundle/progress/h3_cover_5_witness.csv": "f04880bbd2a9fde05c7bf5f94e768b69754f5bb06116b07391078d59412d0dc4", "prime_gap_boundary_bundle/progress/h3_cover_6.csv": "1304e181ad615899f310f66b039379b489df912502ce9de99f2a27527bd819dc", "prime_gap_boundary_bundle/progress/h3_cover_6_witness.csv": "c04a93b36ccae7fd98cf5ad28f714bad90005a25001d96fe84d6965dd17f6aa8", "prime_gap_boundary_bundle/progress/h3_final.csv": "4d2d206288c4fcff49c3910c5ca434dec2c40e3ab13f9b18790500659a8960c8", "prime_gap_boundary_bundle/progress/h3_final_witness.csv": "4f180a03fcf1d9c1f9395f57c9a8a63565aa14d24347d10e7246a0e081eb1bc7", "prime_gap_boundary_bundle/progress/h3_search_results.json": "8f5909a46f3e9b2f50b3f7f56de67fcb674f75937ced0be9af2df194b7a3f683", "prime_gap_boundary_bundle/progress/h3_small_0.csv": "4d2d206288c4fcff49c3910c5ca434dec2c40e3ab13f9b18790500659a8960c8", "prime_gap_boundary_bundle/progress/h3_small_0_witness.csv": "4f180a03fcf1d9c1f9395f57c9a8a63565aa14d24347d10e7246a0e081eb1bc7", "prime_gap_boundary_bundle/progress/h3_small_process.json": "6cf12cfbd2b8c36df6b633705a820ea235e5062544227e7c4209960c5eb45c9b", "prime_gap_boundary_bundle/progress/h3_small_search_results.json": "27835e446bea36dd1c6bd8d785689a97d4ad9d83cfaf7f124e3e0d091fc9123c", "prime_gap_boundary_bundle/progress/h3_small_seed.csv": "49ffbb0263aa2ff6050f992b109478b398ae52b981c9ee2059b698a86bf2535f", "prime_gap_boundary_bundle/progress/h3_verified.json": "1d6a77a59faf101d35622f633321f7685723b0a03fd76699dffd7c708220ad72", "prime_gap_boundary_bundle/progress/m3_k110040_finer.interval_certificate.json": "c1efa34e6205fbb041d8e70afdfee4812478787843a1b9d1342214920cbdf219", "prime_gap_boundary_bundle/progress/m3_k110040_finer.json": "5ae996b0cef009a449ba7b5b151182b8b8e6cbe286d45334e56eaf05c8c8aeef", "prime_gap_boundary_bundle/progress/parallel_checks.json": "bec5bcccbc60ebb803c1296587c9a746a07ec158117f686551d145040030d061", "prime_gap_boundary_bundle/progress/parallel_profile.py": "434ff5d040e21dbc70a9c40e9965bb78aa87371ed2a3ce150fbe4ccf766bc6b1", "prime_gap_boundary_bundle/progress/point_cdf.py": "a157f01948b93e1faef5f2e6902da8d5d00e62938a65f75e86a364f212d21f71", "prime_gap_boundary_bundle/progress/polish_h2.py": "912f5ae81622259e22fae720cc1dd31ebe1190143cf95067176558b9ed33482e", "prime_gap_boundary_bundle/progress/polish_h2b.py": "5c0cf905f5537ac2e3f429b2e6d581356a086faf240282b82cf7e23b4a53d617", "prime_gap_boundary_bundle/progress/polish_h3.py": "6dd4bcb23d652ec02269e9f01234679253251affd527958d1a3cd061f0e4225a", "prime_gap_boundary_bundle/progress/profile_parallel.cpp": "d6363b90de8ec0a75fe192bc019418e9ce4ac22430fca7ca40e526a0496a8e7e", "prime_gap_boundary_bundle/progress/reproduce.sh": "aab2659e705d53db8fc502d8fffc58855c9cdcd5b886779db0e670fe813f1a19", "prime_gap_boundary_bundle/progress/run_refined.py": "7961afce97fb8f4b03f299449e4dec2bb56bf4645a8230580cfb919186f85e86", "prime_gap_boundary_bundle/progress/search_processes.json": "7b06f464af4df11cde27dbf5fbba4f22e47152c2de2ba080586aa5946eb935e3", "prime_gap_boundary_bundle/progress/verify_final.py": "3d7f1abeaf1c0869a31cc91c6a302fbd8090a7d426e085a738bac48c110b2664", "prime_gap_boundary_bundle/radial/radial_m4.json": "fd26e21db472ddd46007e73d1de7b1fe1cb46bfe9a7929d317568736f7924bfb", "prime_gap_boundary_bundle/radial/radial_m5.json": "12b265a84bda8052329f479f9d73d34b6a0ff96d7ccd398f5c7e4ccb63779af0", "prime_gap_boundary_bundle/radial/radial_mgf.py": "ee633c57f0687d2fa565d967ef7661551b05ae9230ce76843e73347ddb147031", "prime_gap_boundary_bundle/radial23/MANIFEST.json": "32eaccf29677a08551528714dc21ebdab3229c56137cbfcdec8f8d13342c5a4f", "prime_gap_boundary_bundle/radial23/PROVENANCE.json": "0003c5e11356255e14ee6342ecc503a6ff698fca334e74aa5a775095a230c529", "prime_gap_boundary_bundle/radial23/README.md": "448e9e3dff70e8bef4e37839e5d617e1618230e74457279183fbab31ad6ac3d0", "prime_gap_boundary_bundle/radial23/RESULTS.json": "eb37c598627fdef6045c79b9813152ba680a0fc80f36937a78ea562545206a5f", "prime_gap_boundary_bundle/radial23/amplitude_diagnostics.json": "0e4f3e8f7564793e7a83b742fdd9d6c7f15206187fd4c66d58d5d6c8cb4be46d", "prime_gap_boundary_bundle/radial23/audit_hilbert.py": "b5793ec1f15848e5427b1096e579efdd2cd5d42874ccb9a49ccf281b5db293fb", "prime_gap_boundary_bundle/radial23/build2305.py": "9bcae6ea30b98863516975113e77d688e8a7d4dfc5526d8ff0b4dd99bf55690d", "prime_gap_boundary_bundle/radial23/build_cells.py": "f96805f47f393dea4d0488eea4dfc66c8a218c8872974b22f06a21175ee49c1a", "prime_gap_boundary_bundle/radial23/check_new_moments.py": "9d027089e1be64016b6402933f2db04d1cfdc41df07a9d618eba36e678ce94b9", "prime_gap_boundary_bundle/radial23/compute23.py": "b23c39941259d1993db4c009edcac7d68460a1079caffb2f3ca23e53399e685b", "prime_gap_boundary_bundle/radial23/final_compute.py": "cd0cac454f36ae098b05e3e04cde9b014e0ea984a1aad6fb1daa12fd8f4d5238", "prime_gap_boundary_bundle/radial23/final_h2.txt": "1ad39bf9a21e388c2aca163c4029fbc9fbd4fb2e880f202db56e8fa3198092f0", "prime_gap_boundary_bundle/radial23/final_h2_cpp_pairs.json": "1805871c0f547633799cd49788f7a116d1ea67a5fdbe50cb79133714f5200a57", "prime_gap_boundary_bundle/radial23/final_h2_cpp_verified.json": "64aa4fba96ef10be17ab42e5d6c51cd22dc74ada0fe0b562582f90ce95d01454", "prime_gap_boundary_bundle/radial23/final_h2_long_pairs.csv": "e0cbbfec0393e0fb2c281e5f48ff1a4abce5ba6ff48f4058bb3ca0d549aea0fc", "prime_gap_boundary_bundle/radial23/final_h2_python_verified.json": "d6cca6ff4b352342452bd4b608136311c420f84d5623a2b5873a79b082c04d66", "prime_gap_boundary_bundle/radial23/final_h2_witness.csv": "d20946f1e4e1b4938c4cd0aab40de6be12edff362b77ba22a654c9741e8b924b", "prime_gap_boundary_bundle/radial23/final_h3.txt": "fb6f7adc92a22f17fed346bb590ae4ab8373aa6c6445f1a65ab8058c945c7348", "prime_gap_boundary_bundle/radial23/final_h3_cpp_pairs.json": "95b342da3beb92b7d23c2a57a6b9a1a06ed013a9287974073514484b88cef73c", "prime_gap_boundary_bundle/radial23/final_h3_cpp_verified.json": "69ee2a21f2e52f07ca9032bfe06b972deb46ca9a853e0bc233fa47029cb7655b", "prime_gap_boundary_bundle/radial23/final_h3_long_pairs.csv": "72541c76cc64e1c86040b2aac8e7050b0cb7a62181e7b76f3d149d84e3a6587d", "prime_gap_boundary_bundle/radial23/final_h3_python_verified.json": "81e31bf2a1588221a9d20a92175ec7ceda82f9825bc2679c2aa4fcdabbde42a3", "prime_gap_boundary_bundle/radial23/final_h3_witness.csv": "253df3741b28314bea9fbab660242509760b1220a56ee9b86f0a47cac48015f4", "prime_gap_boundary_bundle/radial23/final_m2.json": "e2aeb6a088c9cd0bb1fc5388ddcf5c14c563ce380135828d21602d397ef909fe", "prime_gap_boundary_bundle/radial23/final_m3.json": "c1108bd8dbc48f0f0c089b0115d2641a719da207b0f9dafcb55e53107181c278", "prime_gap_boundary_bundle/radial23/h2_candidate.txt": "41e667d02cee54ec39de62dad4eb9f748aeb68852f7ebd96ecf473ce5bc6fcf0", "prime_gap_boundary_bundle/radial23/h2_candidate_long_pairs.csv": "d4f6cea8b696343394c5785f8592ad660da1042646a31b5a323d7c9f2d2e6716", "prime_gap_boundary_bundle/radial23/h2_candidate_selection.json": "a81e3e99fb5c0f1a2573ef4d814d80279665597444546e9b444eb5479857b579", "prime_gap_boundary_bundle/radial23/h2_cpp_verified.json": "4af5a987af187a2250cad12fe0fafa94a6702a4a8211cd0769c910da4d028549", "prime_gap_boundary_bundle/radial23/h2_k2304_b1.txt": "41e667d02cee54ec39de62dad4eb9f748aeb68852f7ebd96ecf473ce5bc6fcf0", "prime_gap_boundary_bundle/radial23/h2_k2304_b1_long_pairs.csv": "d4f6cea8b696343394c5785f8592ad660da1042646a31b5a323d7c9f2d2e6716", "prime_gap_boundary_bundle/radial23/h2_k2304_b1_selection.json": "a60a222e3e176daa9c5c2ede6a41b2a5eccc7711972b7ead850873fa031a851a", "prime_gap_boundary_bundle/radial23/h2_k2305_b4.txt": "1ad39bf9a21e388c2aca163c4029fbc9fbd4fb2e880f202db56e8fa3198092f0", "prime_gap_boundary_bundle/radial23/h2_k2305_b4_long_pairs.csv": "9c3005349a8b396df6eef0e261b2f65c204603d7f0d3351f260072aa34bb4d94", "prime_gap_boundary_bundle/radial23/h2_k2305_b4_selection.json": "39fe7bc8b7656abbe12782b399a1858c4b0c15ba4c3e9586eb5581268b7106b1", "prime_gap_boundary_bundle/radial23/h2_k2305_b5.txt": "1ad39bf9a21e388c2aca163c4029fbc9fbd4fb2e880f202db56e8fa3198092f0", "prime_gap_boundary_bundle/radial23/h2_k2305_b5_long_pairs.csv": "e0cbbfec0393e0fb2c281e5f48ff1a4abce5ba6ff48f4058bb3ca0d549aea0fc", "prime_gap_boundary_bundle/radial23/h2_k2305_b5_selection.json": "b3dcb730a59dc78b167be70383917b0616d55917fa69fb81413c5499a4235d45", "prime_gap_boundary_bundle/radial23/h2_k2305_b6.txt": "1ad39bf9a21e388c2aca163c4029fbc9fbd4fb2e880f202db56e8fa3198092f0", "prime_gap_boundary_bundle/radial23/h2_k2305_b6_long_pairs.csv": "1661f00d5d9f0d9383cc6070f23c435d438332cfd2d0597958d790798b7bc6ae", "prime_gap_boundary_bundle/radial23/h2_k2305_b6_selection.json": "dbde7a1046f2228373803b321d0fb147bcf8e5c0a25fff75b65f1ea35b6b4896", "prime_gap_boundary_bundle/radial23/h2_python_verified.json": "083d5debdfdd90c07278770d3a222c16cf481103d18b98d7cd82ca08c850ea9d", "prime_gap_boundary_bundle/radial23/h3_cpp_pairs.json": "95b342da3beb92b7d23c2a57a6b9a1a06ed013a9287974073514484b88cef73c", "prime_gap_boundary_bundle/radial23/h3_cpp_verified.json": "69ee2a21f2e52f07ca9032bfe06b972deb46ca9a853e0bc233fa47029cb7655b", "prime_gap_boundary_bundle/radial23/h3_long_pairs.csv": "72541c76cc64e1c86040b2aac8e7050b0cb7a62181e7b76f3d149d84e3a6587d", "prime_gap_boundary_bundle/radial23/h3_python_verified.json": "c0ea8000b8156fc2a16d0fea19ad05616d26389c185e40ca8bffd894585dd3f6", "prime_gap_boundary_bundle/radial23/h3_tuple.csv": "b914ebd20aef47d780af5c14c7b0e4915321f8ea88feee2a7578c91334dc3998", "prime_gap_boundary_bundle/radial23/h3_tuple.txt": "fb6f7adc92a22f17fed346bb590ae4ab8373aa6c6445f1a65ab8058c945c7348", "prime_gap_boundary_bundle/radial23/h3_witness.csv": "253df3741b28314bea9fbab660242509760b1220a56ee9b86f0a47cac48015f4", "prime_gap_boundary_bundle/radial23/hilbert_recheck.json": "685215215fa8d17f41d202e20ff59a9892946d4ef221be67cc5cdb525e97d2e3", "prime_gap_boundary_bundle/radial23/m2_cell_masses.json": "6ac8abf27f34196fb8667e0edcf452d823a2fe9faafd87b752bfcf8d89c9cf17", "prime_gap_boundary_bundle/radial23/m2_deduction.json": "1c67a7fdac29b0ba688d05f03fdd9113a1b09b4f808c6cd9605593677c5fc560", "prime_gap_boundary_bundle/radial23/m2_k2305_amplitude.json": "b88d95044c4895ceb256c3b27290267bbe027d131a494e2364be6fe10ac2431d", "prime_gap_boundary_bundle/radial23/m2_k2305_cell_masses.json": "289c9225544f74924629dfb6d9af16d9a48e58ad75ac78b40c65b6e546c244fd", "prime_gap_boundary_bundle/radial23/m2_k2305_support.json": "b1331df4014141459071b28088d03cecbb344b52b0c81869a8453423b6269350", "prime_gap_boundary_bundle/radial23/m2_radial_only_no_improvement.json": "25de46ac40f59576ab4d7d14044224fce28d6c90e21ecc240e589609b3a09758", "prime_gap_boundary_bundle/radial23/m2_support_mass.json": "bd247aa7a55975a68cfb0abc5310ccec8f3938ca251f89372687f12bdef54ebc", "prime_gap_boundary_bundle/radial23/m3_cell_masses.json": "17c4b4a12a7c662bea3c1c816f48baa4cdc05b8dad5989c7285693444e55237e", "prime_gap_boundary_bundle/radial23/m3_deduction.json": "ecf343095c8c965128378ef1bc96e28d0d27c78a8a1848f3498aa29610dec84b", "prime_gap_boundary_bundle/radial23/m3_support_mass.json": "0ed369be0ee85fea44f567eb230a644126f83a620837823b86cddade019bab7b", "prime_gap_boundary_bundle/radial23/moment_diagnostics.json": "ca312c59761166fd5fee48416aafd4763ca8dcf6de00d239b538955004cea404", "prime_gap_boundary_bundle/radial23/moment_diagnostics_auxiliary2304.json": "ca312c59761166fd5fee48416aafd4763ca8dcf6de00d239b538955004cea404", "prime_gap_boundary_bundle/radial23/reproduce.sh": "4603fac2c16c1746ce79adca9189b097dba9b836ed493cf58d7e257f2aeda735", "prime_gap_boundary_bundle/radial23/support2305.py": "f071f7bb66c94af73103aee9bdd8597c77419a998cf96d3381cedfda6f812c95", "prime_gap_boundary_bundle/radial23/support_mass.py": "8cfed1bd8f7b13adb875d7c94c2e0c47419eeae2ed3a6a8a07d4265593aadebb", "prime_gap_boundary_bundle/radial23/verify_final.py": "60df0e9e9cf71abba1448a58eba6cd018f81b218e1ab8f1b32fd02a74f7c413f", "prime_gap_boundary_bundle/radial23/verify_finite.py": "7a379d5208e2b337413d3fabce29a3aa5ff9bee9414c23e73a060eb099739432", "prime_gap_boundary_bundle/radial_pair/MANIFEST.json": "3e3531a0f8f4ea9fa3e4d5b0b6d8cdeb1eedcc455ea948418457bd0ce42b13f5", "prime_gap_boundary_bundle/radial_pair/PROVENANCE.json": "3be2356a96a592703eb8980142a338d81f2470fc704885eb2e251d7425fddc8d", "prime_gap_boundary_bundle/radial_pair/README.md": "9c62939247d5c6e93a76a65faa310b8c9d35b6e20dfd9438c4c6fce4690bcafc", "prime_gap_boundary_bundle/radial_pair/RESULTS.json": "681bafd8e08fba5d48eb902f7020fa14fcf8fe2fef70f8d03d11a4dfdf436ce3", "prime_gap_boundary_bundle/radial_pair/compute.py": "37dfc47c5c1f5b7f03389895651b08fd657a329af774780a04bfed81b28a63b0", "prime_gap_boundary_bundle/radial_pair/diagnostics.json": "9c713c58cf8e18e849369f3eddbb67b7568d9ea9e8251291e31ba76088caef4e", "prime_gap_boundary_bundle/radial_pair/diagnostics.py": "6446787af32d074e3fd37689cac047b56f87c6171776dcc1bc29eb27eff308f1", "prime_gap_boundary_bundle/radial_pair/explore.py": "3c5fe6a3eb481f4a94fb74a9cb94285dab4fad8e007d4c22f58927743436aeae", "prime_gap_boundary_bundle/radial_pair/h4_pairs_verified.json": "3197d85e0ec765ce400daf02bf970a7cd603387148d8cf542c4cfc2aa742173e", "prime_gap_boundary_bundle/radial_pair/h4_tuple_verified.json": "4a1cc88e44e481884d565915e782a9d3156648b1df1bd46387ce2443972dc9b3", "prime_gap_boundary_bundle/radial_pair/h5_pairs_verified.json": "7e12f438178cc6bb6d00729650e99eb163b2e577a6c4c7be3b887cd79b2981b8", "prime_gap_boundary_bundle/radial_pair/h5_parent_verified.json": "76aa756f394e7c16904ede833acf57829ec6a021fc631b9cc53f9d7fcde0cb99", "prime_gap_boundary_bundle/radial_pair/m4_cell_masses.json": "2a9742f0b98ab7edcf6917ff1ad10370989219dbe36e3c3be479174614f2fb2a", "prime_gap_boundary_bundle/radial_pair/m4_d1000.json": "c5b662ccd820ff446f0ee06cb7efe491f842198a8048937c38684865e481bab8", "prime_gap_boundary_bundle/radial_pair/m4_d700.json": "2cd972d6a306da71c194256a00c6343cc8285bddcb6959f9dc6f08bdc91320f6", "prime_gap_boundary_bundle/radial_pair/m4_d800.json": "8da64d96680f7cd114e906c0dfd65e30ab2d01b2bb48e785da7873f7f9127617", "prime_gap_boundary_bundle/radial_pair/m4_d825.json": "09ef90e844fbd1b4f7d9404d0eba8993a5d1cee41d38d2b92da96afeac6efcdf", "prime_gap_boundary_bundle/radial_pair/m4_d850.json": "b8c82e5ed283e3fdbc5d4c12b17b47ae9fd8f6aab5b4120c4701d4fb3f4fcd76", "prime_gap_boundary_bundle/radial_pair/m4_d875.json": "4bd9ae084a42e2d35f9ee6b1779aab064d3748f444d5489ca7617a17824fcb39", "prime_gap_boundary_bundle/radial_pair/m4_d900.json": "c67d93de1ecb5fbfbd4fd54934500cf96f3a5266733623744ccccef48c6a0510", "prime_gap_boundary_bundle/radial_pair/m5_cell_masses.json": "0344b554383c72ca2765d09ed512b93afad75a1d5a48f55451a7d5cc6ea58a21", "prime_gap_boundary_bundle/radial_pair/m5_d30000.json": "fdfdcb176e721b5f53a22050419be7d94a3580928030216c57517ecc6b424d71", "prime_gap_boundary_bundle/radial_pair/m5_d33000.json": "c871fed6d49ab202c9c4f521ca1a72202d402e0b4309bfd17e6dec2a90e5fc70", "prime_gap_boundary_bundle/radial_pair/m5_d34000.json": "34bea8263688e69d020733999390bcf1f54a3d63061c68eb5b08dde83b16879f", "prime_gap_boundary_bundle/radial_pair/m5_d34500.json": "110aaf33832078e218d1f1e13e2466edd69776823cb4c1c25f33c9ced8c9e118", "prime_gap_boundary_bundle/radial_pair/m5_d35000.json": "74eab79e6704b775c88bb10882b646e7e31da98f0ab5673f7f13ca852af0ab63", "prime_gap_boundary_bundle/radial_pair/m5_d35500.json": "0a1e55f0bb33f3545eb0b5a236cbd599497a11ac5c84c9d3092ad942e5fb762d", "prime_gap_boundary_bundle/radial_pair/m5_d37000.json": "2c0708209d9cb5d92feb472239a6331f992bc3be0e45284cf71a348d13a35017", "prime_gap_boundary_bundle/radial_pair/manifest.py": "af607b62ef075005dd65a5abe28cf8797a6987a42e0e3553f67486bee93af1ce", "prime_gap_boundary_bundle/radial_pair/radial_mass.py": "424ff5b69930d735da13cf4a3e7c817e8043a91923b1a2ae9619f983547dff09", "prime_gap_boundary_bundle/radial_pair/reproduce.sh": "8d0876c964757cd575260c986ff0c950712300177615ae8433587c523faeaa3b", "prime_gap_boundary_bundle/radial_pair/verify.py": "780c4d50b4f9fd9f4a82612f6ebb3a3e9e3bd7137e958ea5bfe2f931e657325f", "prime_gap_boundary_bundle/rebuild_small_tuples.py": "eaae97d39d0efd5d6529a38d112749a53f6dcaa3deb82cbee8538a5fd0497769", "prime_gap_boundary_bundle/reproduce.sh": "2978ab4c9c9d775629466f4350e35b5a4daf2d6e2c4741470d02bf4fe76b10c2", "prime_gap_boundary_bundle/rescaled/README.md": "aac91fafa27d7b4c422dd19248e1371e58f115e8379fadf614858da5bfc33b84", "prime_gap_boundary_bundle/rescaled/RESULTS.json": "941a180b480a85f236311e0344fe9aeb3cccaf4855dd44ed6b384a6cba183bcd", "prime_gap_boundary_bundle/rescaled/check_lemma.py": "6d7e8eb043ba15f8d7c2f6fb096d40d24c06c59a84433cf34c537a979c2ca511", "prime_gap_boundary_bundle/rescaled/h4_final_selection.json": "92d3323742c0a498fa21a25422579aad5a01bd4c64dfe61f7ed025fd8445e47a", "prime_gap_boundary_bundle/rescaled/h4_final_verified.json": "7e7d8089100f131f48582e4dd18b219e534bacc72174d473da863dbf13dbf83e", "prime_gap_boundary_bundle/rescaled/h5_final_relaxation.json": "ba0db48c3f748e078eb4a1479f9cae32eb3d90f096e2bce5d90595a42daa265e", "prime_gap_boundary_bundle/rescaled/h5_final_verified.json": "21514032322452621300c696b2961eb25faab82694171492e1c865f40bacd29f", "prime_gap_boundary_bundle/rescaled/integrated_m4.json": "3dc3cf3c32d5e9bdd4187d3369f78320f34c0c895e1e7b9f114dabd117680111", "prime_gap_boundary_bundle/rescaled/integrated_m4_candidates.json": "b2f9dcbfad2490ed8f9d3be407ce9141648e50db32d23c0acf320859886b4f5b", "prime_gap_boundary_bundle/rescaled/integrated_m5.json": "bd84f01a66b37fc41bc7585ff087a47d7264771020a1bba95ccc495ff6abf2e0", "prime_gap_boundary_bundle/rescaled/integrated_m5_candidates.json": "e5e7b0d33c9cd4f4a968a49d5ace1bf128a1a11543a02eaf1d4e4301caca1e9a", "prime_gap_boundary_bundle/rescaled/integrated_slicing.py": "7fe972fa674edd5a0d7c03b3b50db1c2c383315f5206766728b720ce876c7e17", "prime_gap_boundary_bundle/rescaled/lemma_checks.json": "98ccaa0cd06dea06915e3a2c23473acf0c2ebc4c648f3b2a4b102bd89e2dbc13", "prime_gap_boundary_bundle/rescaled/rebuild_h4.py": "df19ea64458ff69d30a4f745ef70c2d01edac3f5ab66177690a91b61bebdab16", "prime_gap_boundary_bundle/rescaled/reproduce.sh": "3120e9b9a263fffaedd3b8b792d86fb2e4987f2c0c63bbb37994e90d43628b42", "prime_gap_boundary_bundle/rescaled/scalar_checks.json": "f7cbf38d28db651294f9b61d6fadb254efb0b251995812d22007f59a77b8d2e7", "prime_gap_boundary_bundle/rescaled/scaled_m4_A11_10.json": "6e1945b2eb7bdc2aae256dcb03defc296bd8449f3f6b84d81d9c0611d09768d5", "prime_gap_boundary_bundle/rescaled/scaled_m5_A11_10.json": "ce7eddcda600808747f05bd1094a7386fd562c097f8424a920518474c59493c5", "prime_gap_boundary_bundle/rescaled/scaled_slicing.py": "de7bb662eb5c93c68a8bcce156bc3fbda03717a282164256faf1b02168c1f83c", "prime_gap_boundary_bundle/rescaled/verify_scalar.py": "9b1ece88b654bdac9567b48ed63189c512994f73ed46b68201454cc41eb24b86", "prime_gap_boundary_bundle/trials/m2_cross.interval_certificate.json": "b8cad7c24b94104f863fa02c791be792b9eabb521241abdf6c87cce5cebea97e", "prime_gap_boundary_bundle/trials/m2_cross.json": "b057e2b78fe6434a85d524b0dc98fd962a48f08518ab8f4dd9f453bbea5008c9", "prime_gap_boundary_bundle/trials/m2_final.interval_certificate.json": "ad81732a758d4ec09c4f0b5a94d824fe4ca66041224331d040d98cf953cc6d38", "prime_gap_boundary_bundle/trials/m2_final.json": "76f67c17603c18d1bde37a55df3eab10450fbb1273f7f2260c30715c85c8e120", "prime_gap_boundary_bundle/trials/m4_cross.interval_certificate.json": "e1494d58d29785594d3788d25e27cb169cb19f14e81decdb6c52d889e88f9dd1", "prime_gap_boundary_bundle/trials/m4_cross.json": "bd1ccfbeb3c5fa2381e4a9ba10f7ef11741ec5c5758c3c8a686619dec396b7c7", "prime_gap_boundary_bundle/trials/m5_fine.interval_certificate.json": "d64aaf5871925cb5661f9a192432b46dc9b953c0fa101e743c19908d3d6a802d", "prime_gap_boundary_bundle/trials/m5_fine.json": "a6928591835708563b2d232b565db7befb1ddf10786804b12c1345787d530dec", "prime_gap_boundary_bundle/uncapped/README.md": "0cb6d6fe72e4d65eae13aaf440868ea42d495de241b199216a722cf4d213752f", "prime_gap_boundary_bundle/uncapped/check_support.py": "57f3467166788fa26eceef8a113477d89b54cbcd8a3e58474c80a7590ce8da90", "prime_gap_boundary_bundle/uncapped/radial_mean.py": "1ad5f8cfd3488a0d519f1a4b464c82e45bb65687928dea9b00b0271b3073f60a", "prime_gap_boundary_bundle/uncapped/support_pids.json": "1f2907e121d5a1e995a090fef2cb83996be1f7354ab7afc1699a396a4d5bd31f", "prime_gap_boundary_bundle/verification/enclosure_checks.json": "addca9d57a19dff496f6137ae2ea95caf403b70e2d2ecc060a54ecd44206505d", "prime_gap_boundary_bundle/verification/fast_profile_checks.json": "adfaff01d25e807fb03f605493ffb62dbe08064733cfc204612075407574055c", "prime_gap_boundary_bundle/verification/h2_selection.json": "19f593b95d4f2230bb2e456bc744e9809e3822ccb777d8872339b0868f891999", "prime_gap_boundary_bundle/verification/h2_verified.json": "7a68417306aae5ad22bd1efe95fc2ab644ea3880adfe575c869cd1ae4902de73", "prime_gap_boundary_bundle/verification/h4_selection.json": "bcc709383c5163ac3ec7f969d8dfef2cd939ccc710e6b7506d3fa446e90be7e9", "prime_gap_boundary_bundle/verification/h4_verified.json": "632e172d35953e71670ef88cb7ae65627dbb63d811c802d23032bd36aad8943d", "prime_gap_boundary_bundle/verification/h5_relaxation.json": "4ebd31b6e30c054adc9001c3188525be8e7445a41d78b6ed0ab8609a91c645e4", "prime_gap_boundary_bundle/verification/h5_verified.json": "b23502b3ba38fe16816f7428a6029a9cd2d255d53ff70192262084c58487f33f", "prime_gap_boundary_bundle/verification/m2_slicing.json": "4b432949933c5b59eab8f26757a66140898deb755a49b19d55a998431a8d02d8", "prime_gap_boundary_bundle/verification/m4_slicing.json": "f1147f9940ad088ec31e7c0d596e91fc93b1cc0af70957f56a71b86e4f1a497a", "prime_gap_boundary_bundle/verification/m5_slicing.json": "c028f37f1e41dac7685f459d202f1ae1b1f56eff67fad3af3caf692fd8901a00", "prime_gap_boundary_bundle/verification/same_trial_checks.json": "4a510a672bb6661631395ea9831b1cda11b53795f39846af9a57e77025d81924", "prime_gap_boundary_bundle/verification/saved_checks.json": "75db49adc4f67b6937e2a37863cba2d9d98829067f287beeb5f1741da7e55f71", "prime_gap_boundary_bundle/verification/tagged_checks.json": "53ab6172d2228300832d98ec07d102422dd7130415b0c65f2b3db348a99f2694", "prime_gap_boundary_bundle/verify_saved.py": "abfbb4a7393c0bec236f99392a99cddd73267497dc875e0d88e746407fb677b5", "prime_gap_verified_proof.pdf": "cb73d2497330feff1705e2947dd14a70ddcff7af4dd177b376f93ace22fe4794", "prime_gap_verified_proof.tex": "a3596d4f94ac36df779723eb2e21ebb060a1cc93252f8549beeddf9523e72fab", "reproduce.sh": "9db40b8268095eba658362cb074540a66d652e6deaf08e10d6e274554b9b6096", "run_mpfr_finer_quotient.py": "0c9faed215b48162a39c4a0daaec66bfb38ef5841a1222eed8d7846a6c05f025", "run_mpfr_global_quotient.py": "1bd23c10abbf8356e853af81c0cb55c3e128c903fed2c30ca39bdbd0a677b863", "run_mpfr_means.py": "cc3a9a2a6d38849203d74be0d4f58436a9e8854d8adac23d38d01e7ba7dfb060", "run_mpfr_pair_moments.py": "5c0e86fb6356a3267fe4001b8f7cb6d4c1f8d3215e099f08db79eb640b1e248a", "run_mpfr_quotient.py": "019360c5c108446083dc8d4425cd9c25108ea0a1242434a69ec196315966ffdd", "run_mpfr_sharp_quotient.py": "f670cdc874cc300fecb3031e08e7f8ae9ada5aac877289f2266dd8315847dc83", "run_mpfr_support.py": "97cfcddcf8e60f6bbf85e47f62f38756f4dbe04f618871dbf92431bc9bc241e1", "test_mpfr_backend.py": "4053cc69c40d5fbdaf38a48c7ef3a9d98b014d4fdc3bc0d0202e862bfb568689", "test_mpfr_primitives_amplitudes.py": "8ee403d54caf51710c1bd67dce2919df224cb96c7c0106a9df739192088ac3bc", "verified_final/certificate_links.json": "f1dfe609c2ea40f5746e6b9c95e8f5f79aea6ffaf14c59ec4237d430897aa41f", "verified_final/finite_verification.json": "a7039b73503224d7ba5c6b2e2372f69425c497ea8ded2d6c295dcc338461e4fe", "verified_final/m2_final.json": "4c37ab2ce1fe75328105701cd66f2c5c130180c2578d0e45dce29c75a46df2fd", "verified_final/m2_pairs_native.json": "36eec9991cc0481f80eeb3dfc6e7a7942a537b8f0586114a9f3bbdc41f68f088", "verified_final/m2_tuple_native.json": "64aa4fba96ef10be17ab42e5d6c51cd22dc74ada0fe0b562582f90ce95d01454", "verified_final/m3_final.json": "638524a455d414d230f9e753948a062639d2133dc8ded154456a0b7a59363b55", "verified_final/m3_pairs_native.json": "96a7a4d3da1f93dcfb3e2c281188269f0da349b9b9a765739e9125dbf7f6063d", "verified_final/m3_tuple_native.json": "1a717eeeb68e96802ad6b6802fa5d02e6cf6264c763f54f54a31b3a5670d5ce2", "verified_final/m4_archived_quotient.json": "1e5a024521e86fe6b24e4c64da0f7e4c34c6c45ab85c2dca62004c6d5cfe58f7", "verified_final/m4_final.json": "3156e5afb83d763dbe9eb9395511a6c1466f668d81b63b5272aa38db0004c838", "verified_final/m4_pairs_native.json": "3197d85e0ec765ce400daf02bf970a7cd603387148d8cf542c4cfc2aa742173e", "verified_final/m4_tuple_native.json": "4a1cc88e44e481884d565915e782a9d3156648b1df1bd46387ce2443972dc9b3", "verified_final/m5_archived_quotient.json": "91d7510b051336c576d9043f4c4d4764d1fdef9773b47c9e63cde6123666c527", "verified_final/m5_final.json": "6a1ec639ad0bc65460e828352e89ec6b8bbe9873adaf211340c6b0421d64d99e", "verified_final/m5_original_support_denominator.json": "3e2f02adb9b6f7753d1b821970b056eb0df2dce9f070c55ac22492608938dfdf", "verified_final/m5_pairs_native.json": "7e12f438178cc6bb6d00729650e99eb163b2e577a6c4c7be3b887cd79b2981b8", "verify_all_finite.py": "6c89dc3242fcc83f497ffa19e08c8980b993ee2e7406bc706d3568a5f2703e7c", "verify_certificate_links.py": "796e1df45d11e9c0a7bdf136050c7bf39b1c5e548d7021ef1d2cd6d3d68d4e51", "verify_manifest.py": "177efa95bd438512bbf3c070c51aab5b4aa05061b65cc5609310f78defaee68b" } }