{
  "CITATION.cff": {
    "bytes": 671,
    "sha256": "7a77c6d51b568cf882c0160298387ba6e1a3649fe4660d625976fe7b5556ce90"
  },
  "evidence/arithmetic_controls.json": {
    "bytes": 973,
    "sha256": "22b17c76a5597d5a0e7c6419f05533976bb3cd3ac8aebe787fccaffced59b805"
  },
  "evidence/checker_controls.json": {
    "bytes": 2780,
    "sha256": "2f3f2a5179e12b4d0a39a16506c4ad1c84a5044c83ac37c3f2fc220bdd7595b0"
  },
  "evidence/latex_compile.log": {
    "bytes": 39297,
    "sha256": "160299a1da5cec995859e807f8cc504368383b10f842deb139110047e9c03afc"
  },
  "evidence/manuscript_check.json": {
    "bytes": 1172,
    "sha256": "b1d3cb7aa0c29c6853ab0c78948d0a5b0f3e8e83bcfd5a84632f5eed397a3c80"
  },
  "evidence/reproduction_fresh/01_adaptive_map.log": {
    "bytes": 9447,
    "sha256": "26f7341b7b0d7a5e75702b8294021f61091fc7f924f98822d0825b3cc3a3384d"
  },
  "evidence/reproduction_fresh/02_transition_windows.log": {
    "bytes": 800,
    "sha256": "69630827268e4a3542b945e70a47d17efcaeecc6d07334a693729186d5a426d0"
  },
  "evidence/reproduction_fresh/03_classify_windows.log": {
    "bytes": 392,
    "sha256": "16a24225682483c52e5f0901d6e33c5c87d7a54ca012dc6d0572bbb6e647d27e"
  },
  "evidence/reproduction_fresh/04_verify_root_inputs.log": {
    "bytes": 741,
    "sha256": "abd2cda7cf3515905c1da3afde8a3ac72a14e373c5539b3025b49ebc65a54d0c"
  },
  "evidence/reproduction_fresh/05_one_summand.log": {
    "bytes": 1809,
    "sha256": "342e72f97283feb2212714f0571e8aa421989fbe322a2fab15c4c689272ccfe2"
  },
  "evidence/reproduction_fresh/06_finite_summand_mechanism.log": {
    "bytes": 5867,
    "sha256": "441dd145f979c550c1c2185f7bc799fa0ed6362da3f44dd762f262230f789adf"
  },
  "evidence/reproduction_fresh/07_mechanism_review.log": {
    "bytes": 88,
    "sha256": "95b7b4b5b16bb891b483a14428c99052282f4ad2a38238302700f1387525c430"
  },
  "evidence/reproduction_fresh/08_check_evidence.log": {
    "bytes": 128,
    "sha256": "2d6c0e08940455e11aef721fab8e41ecf03c38b1db2c886cce5ec5ef364d3d76"
  },
  "evidence/reproduction_fresh/09_adaptive_map.log": {
    "bytes": 3280,
    "sha256": "c1270ff9bb4ccbe888f31b78ef310c473ca22cb3e2bc4442dc9d7c46c9fc0ae2"
  },
  "evidence/reproduction_fresh/10_transition_windows.log": {
    "bytes": 237,
    "sha256": "603abeb556052b80ef75c32a16af533bd25327ad549cac18c1e817cf3d3bb973"
  },
  "evidence/reproduction_fresh/11_classify_windows.log": {
    "bytes": 111,
    "sha256": "923076129c384255c919f38702e05ed65bef44c661093614882b2e7c0a8448b1"
  },
  "evidence/reproduction_fresh/12_check_coverage.log": {
    "bytes": 667,
    "sha256": "ef88f08cf762a175be2d7dc739f3670a937be1b08e8c6499acf286fe6c9020e7"
  },
  "evidence/reproduction_fresh/13_negative_controls.log": {
    "bytes": 27,
    "sha256": "a1387739099cbf45b2451c82f6877af203f7020cfbe86d6699d57300fd590680"
  },
  "evidence/reproduction_fresh/14_replay_gram.log": {
    "bytes": 61,
    "sha256": "6010d3f61d6ab7dda31ef1776aece835232df2fe519bf9dce656113413a7d1c4"
  },
  "evidence/reproduction_fresh/15_rational_gram.log": {
    "bytes": 43,
    "sha256": "613b62683f9a000cd5c9fe0d98f37e7bed4b7220231abad010873b42b7b4359f"
  },
  "evidence/reproduction_fresh/16_rational_gram.log": {
    "bytes": 43,
    "sha256": "613b62683f9a000cd5c9fe0d98f37e7bed4b7220231abad010873b42b7b4359f"
  },
  "evidence/reproduction_fresh/17_rational_gram.log": {
    "bytes": 43,
    "sha256": "96951eed94ca10d42b6463f1e6d3a5de495b8121268881e341bee85a65a7201e"
  },
  "evidence/reproduction_fresh/18_rational_gram.log": {
    "bytes": 43,
    "sha256": "e2482bf05427d60d94114b7f4c2eeecefe2740c96219fcf915d10b500be023f1"
  },
  "evidence/reproduction_fresh/19_gram_controls.log": {
    "bytes": 50,
    "sha256": "18f5d858116e6720fec41006723340f5f96021a7f25220918ec689a1b9e9a6a1"
  },
  "evidence/reproduction_fresh/20_exact_lemma_controls.log": {
    "bytes": 176,
    "sha256": "46419cf7887f85a3d6bcb621404c8c480082d0bffe81fe05d5e329b0eb21d6ea"
  },
  "evidence/reproduction_fresh/21_summand_transition_bounds.log": {
    "bytes": 2743,
    "sha256": "97b256f9a6b1b42d88d1a9d5d35a6f82878fe1d601a69f41230ee92145346a83"
  },
  "evidence/reproduction_fresh/22_extension_transition_bounds.log": {
    "bytes": 390,
    "sha256": "f265b034f1500d557b26cf93cb79567cf50e9401ebfabc8e38d8d36bf4b41c47"
  },
  "evidence/reproduction_fresh/23_rational_transitions.log": {
    "bytes": 321,
    "sha256": "c61824160e2602f7bdfa29f8b6b23bd972628afcc18aa4b62588936e94d4e538"
  },
  "evidence/reproduction_fresh/24_rational_transitions.log": {
    "bytes": 90,
    "sha256": "cd1e66e2ead38a066348e8db8ad0212f2f17e1d3de6542b1195bd8c352c16921"
  },
  "evidence/reproduction_fresh/25_summand_transition_bounds.log": {
    "bytes": 2528,
    "sha256": "82cafef0b2582563255e610a1cdac9c0e0909e4c4c962f2eb7f6b8752322272e"
  },
  "evidence/reproduction_fresh/26_extension_transition_bounds.log": {
    "bytes": 390,
    "sha256": "74b085470f40b5b99b54671721fb8e920378e12ba43a59af27aab6cbd49caff2"
  },
  "evidence/reproduction_fresh/27_rational_transitions.log": {
    "bytes": 321,
    "sha256": "9624fbef56246eb5ea9f96a892fda79162ad4c2091278dc1a209879dfd0ab433"
  },
  "evidence/reproduction_fresh/28_rational_transitions.log": {
    "bytes": 90,
    "sha256": "1062f4e04e2d50c96c66234035c69efe8f9c04322f45c5c3a70ff7a442350de7"
  },
  "evidence/reproduction_fresh/29_rational_transitions.log": {
    "bytes": 72,
    "sha256": "9266bcd4b80ad18b5981ab61588a2b8dfc3317cc22afeadeae74b8ac092a9a96"
  },
  "evidence/reproduction_fresh/30_check_evidence.log": {
    "bytes": 872,
    "sha256": "9e8dc8bb17ff406d7866c3118103a33778d01373c5e4379fd48f84097c405629"
  },
  "evidence/reproduction_fresh/arithmetic_controls.py": {
    "bytes": 1749,
    "sha256": "fe3fb70c81c36aff364bdfc6db225fd21547ccaf32e7c2bbdf3e464ae18011c1"
  },
  "evidence/reproduction_fresh/baseline/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "aafb253f013a92534edf2ddab163041fb206b85d48213c932ca26b7b6b9c5cd2"
  },
  "evidence/reproduction_fresh/baseline/adaptive_map.py": {
    "bytes": 1192,
    "sha256": "56eb076417b020c38e8ae79ba3f44619c7557049bbc818a9f75f4e46f3357b23"
  },
  "evidence/reproduction_fresh/baseline/check_evidence.py": {
    "bytes": 3250,
    "sha256": "41471c4b425ad9102d477736958639a4f2c745e63d2d67724613758c97401464"
  },
  "evidence/reproduction_fresh/baseline/check_manuscript.py": {
    "bytes": 5945,
    "sha256": "cdf3871631e13515d42635de82ea2111bde9936b0b803b69d12bdf1a08421d64"
  },
  "evidence/reproduction_fresh/baseline/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "evidence/reproduction_fresh/baseline/classify_windows.py": {
    "bytes": 3063,
    "sha256": "5a76d18578464201eaa32e0ab6ce7463e71161ddd35c9eeec0836e30dba988cf"
  },
  "evidence/reproduction_fresh/baseline/explore.py": {
    "bytes": 1920,
    "sha256": "d2322cc7fff1981f6dcdbd778b1d78ab815a9b0675e17fee6ff4e799ee5fed35"
  },
  "evidence/reproduction_fresh/baseline/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "evidence/reproduction_fresh/baseline/finite_summand_mechanism.py": {
    "bytes": 1714,
    "sha256": "02b5bd51dc489aeb4ceb45a26d1fa5852ac04d2561b0c65b32c19df3450dc982"
  },
  "evidence/reproduction_fresh/baseline/interval_engine.py": {
    "bytes": 4381,
    "sha256": "bcc2f1fe0d650cfa204303ec373950f2e549d6bc06e3900a4b7ef94bacb572ff"
  },
  "evidence/reproduction_fresh/baseline/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "evidence/reproduction_fresh/baseline/mechanism_review.py": {
    "bytes": 3203,
    "sha256": "bfce354d520ca81fd9cfb733d51c7beb0b9ffa74209a9549826b32206406f35e"
  },
  "evidence/reproduction_fresh/baseline/one_summand.py": {
    "bytes": 5187,
    "sha256": "72ee0d667e4f2d356ffbd38e15ba55df46823a113ad3a62e53e0720626c42d03"
  },
  "evidence/reproduction_fresh/baseline/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "evidence/reproduction_fresh/baseline/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "evidence/reproduction_fresh/baseline/rational_check.py": {
    "bytes": 7337,
    "sha256": "f5f8f713f07ea4e670432574c43d5f81144d78fedaeea736ce01e1049592fc92"
  },
  "evidence/reproduction_fresh/baseline/rational_roots.json": {
    "bytes": 47400,
    "sha256": "16e860dd7de5ac42f7773a8d056003f80f03cb2588a81a23ab8afcc86a359590"
  },
  "evidence/reproduction_fresh/baseline/reproduce_all.py": {
    "bytes": 1852,
    "sha256": "d26b65f57801bb98496ba769bfec03826516e7c741084d3c3195972f73be67cb"
  },
  "evidence/reproduction_fresh/baseline/scan.py": {
    "bytes": 1729,
    "sha256": "a9d4dd4f32c9211961b2870fcf915f6cd27923e122304ca5e69fff1c9fe8f5c9"
  },
  "evidence/reproduction_fresh/baseline/taylor_cover.py": {
    "bytes": 5845,
    "sha256": "2a49efde1b6bb8d8fd99ddd8a714515f6d4012d143734e86f298e15a14c04dfe"
  },
  "evidence/reproduction_fresh/baseline/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "evidence/reproduction_fresh/baseline/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "evidence/reproduction_fresh/baseline/transition_windows.py": {
    "bytes": 2138,
    "sha256": "2ac01cf7979ecedc932e0084cb2dfaeb21bb0e19da66a8d2770fe364a17f5fe3"
  },
  "evidence/reproduction_fresh/baseline/verify_root_inputs.py": {
    "bytes": 797,
    "sha256": "9cfbd60142ec15b8950e9e67e4f9798e1449129da7e216a60454886667203624"
  },
  "evidence/reproduction_fresh/baseline/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "evidence/reproduction_fresh/check_evidence.py": {
    "bytes": 2865,
    "sha256": "d2c46460a33f660add345b95462617874fa3f4efa4080b11dfd5f71283c07d5a"
  },
  "evidence/reproduction_fresh/check_manuscript.py": {
    "bytes": 6372,
    "sha256": "c0da6a0158fd4d4d8caafe41e2d698b41ae0c7351ed9e6f377a8bdb33be214a7"
  },
  "evidence/reproduction_fresh/checker_controls.py": {
    "bytes": 3163,
    "sha256": "aef28d0981ec2c68f15a03745d3da09b6af39f12aa37d57d67288b42c6194a57"
  },
  "evidence/reproduction_fresh/consolidated_check.json": {
    "bytes": 870,
    "sha256": "ad472b53a970d74bd6f904f6e880de5cca6dad194d7a00d056c7fe86913a31fa"
  },
  "evidence/reproduction_fresh/extension/classification/adaptive_map.json": {
    "bytes": 211401,
    "sha256": "9322e4276a22c8be8c17b16ba4bae0e94679d72d0ba40500b7083720d7e13a05"
  },
  "evidence/reproduction_fresh/extension/classification/adaptive_map.py": {
    "bytes": 1194,
    "sha256": "45a02f3202d6a5832a567140e73022dfdad8e53b67db242d84b298f5fa104d8c"
  },
  "evidence/reproduction_fresh/extension/classification/check_coverage.py": {
    "bytes": 3944,
    "sha256": "e340fc287440df3acb1738b1f05468fa362e23d372cd5f1a59a4693c18d0091c"
  },
  "evidence/reproduction_fresh/extension/classification/classify_windows.py": {
    "bytes": 3065,
    "sha256": "aa7f4d2aa49c4eb194c5edc12ed47bc59b25ea03b06fbb4e09d2066bee1571e7"
  },
  "evidence/reproduction_fresh/extension/classification/coverage_check.json": {
    "bytes": 665,
    "sha256": "0334aa1553dd29b72e64b6443bc0d202331a125964e744e86ea0bc72a670d1b8"
  },
  "evidence/reproduction_fresh/extension/classification/finalize.py": {
    "bytes": 1047,
    "sha256": "80013441330f00500b7fa3c7dfbc46c8a24e0353d82908f0772ecc62b3cb4dc0"
  },
  "evidence/reproduction_fresh/extension/classification/interval_engine.py": {
    "bytes": 4372,
    "sha256": "ba56411f08b1935144caa02bbd47ccb816f40288f11beee52f86c7def26d762d"
  },
  "evidence/reproduction_fresh/extension/classification/negative_controls.json": {
    "bytes": 2343,
    "sha256": "6645fb74a0184871e9b2a2797c82360bce5b778cfeecd556b20a907a5bc5547b"
  },
  "evidence/reproduction_fresh/extension/classification/negative_controls.py": {
    "bytes": 2866,
    "sha256": "b3fa3a8ad02d96adf6d9056c83a7604b9f3ccb4991db549cdffb4b1546aa6dd3"
  },
  "evidence/reproduction_fresh/extension/classification/point_scan.py": {
    "bytes": 403,
    "sha256": "d60dfb9e76d7adc84c2681d416e3a1d387003b58e15756a3944d26e64cfae263"
  },
  "evidence/reproduction_fresh/extension/classification/reproduce.py": {
    "bytes": 353,
    "sha256": "125b4d8960a0f296751b1f3ac9a1332228d3d1b555a857527452235eff79a863"
  },
  "evidence/reproduction_fresh/extension/classification/scan.py": {
    "bytes": 1729,
    "sha256": "250267bd339a39628602727135ba0eb881729c952a22b0d1a8ccfe10027c70b7"
  },
  "evidence/reproduction_fresh/extension/classification/taylor_cover.py": {
    "bytes": 5845,
    "sha256": "65db2dfa40ed56478f45465907e6406acb4d9f00de0299ef9e7c113751f0ca2d"
  },
  "evidence/reproduction_fresh/extension/classification/transition_windows.json": {
    "bytes": 76305,
    "sha256": "c9dd7228328d401d403c56e7316f7d6b171bfc1cd6a505492bc92d8e64f93128"
  },
  "evidence/reproduction_fresh/extension/classification/transition_windows.py": {
    "bytes": 2978,
    "sha256": "f9c7d47cb8d758c308810f2c0986efefad667deeba25bc3df8461fb7e201af3d"
  },
  "evidence/reproduction_fresh/extension/classification/window_classification.json": {
    "bytes": 13202,
    "sha256": "a066975dc2e1e7d53bbaec25079a49c7e3abcb527910fe79166cf213f37668b1"
  },
  "evidence/reproduction_fresh/extension/gram/explore.py": {
    "bytes": 1920,
    "sha256": "d2322cc7fff1981f6dcdbd778b1d78ab815a9b0675e17fee6ff4e799ee5fed35"
  },
  "evidence/reproduction_fresh/extension/gram/extension_gram_certificates.json": {
    "bytes": 2194,
    "sha256": "a6517c51e02a54e3b2df4eb43a225d0a70ca4aeee313cbe82186acdd9ad7ee3a"
  },
  "evidence/reproduction_fresh/extension/gram/gram_certificates.json": {
    "bytes": 11040,
    "sha256": "0929e9b3f63a4ba651d53338cbe9ea63e915b2185e9d93d599e7dd67dd425178"
  },
  "evidence/reproduction_fresh/extension/gram/gram_certificates.py": {
    "bytes": 3286,
    "sha256": "b350e7e2d2e1c07d53c6c55c7474061c7ed09e3e44c3244588951a0f94d9c7be"
  },
  "evidence/reproduction_fresh/extension/gram/interval_engine.py": {
    "bytes": 4381,
    "sha256": "bcc2f1fe0d650cfa204303ec373950f2e549d6bc06e3900a4b7ef94bacb572ff"
  },
  "evidence/reproduction_fresh/extension/gram/replay_gram.py": {
    "bytes": 1969,
    "sha256": "6b4b2aeff92c80ac7d088e831f12375ba95c930ebf76a212c20732bc4c919d1c"
  },
  "evidence/reproduction_fresh/extension/gram/replay_receipt.json": {
    "bytes": 9754,
    "sha256": "0d32714ae5d261966cd62e327ab8f511196c1aa5a2ac76c8479a88d92f68afe2"
  },
  "evidence/reproduction_fresh/extension/gram/robust_gram_certificates.json": {
    "bytes": 10566,
    "sha256": "f28e1dae907504fc10c284b3ac42e8976e52521355572e5d8a435b9d5b4cfc99"
  },
  "evidence/reproduction_fresh/extension/gram/short_gram_certificates.json": {
    "bytes": 5527,
    "sha256": "696bf1b1b0af1d02c311486aa6bff1c74b021a5631ff731bd7e526d013311b6e"
  },
  "evidence/reproduction_fresh/extension/review/exact_lemma_controls.json": {
    "bytes": 186,
    "sha256": "dc23773800b6213cd80f936a942e3ecf589153d6f360dbc6e84eddcb2cb0eeed"
  },
  "evidence/reproduction_fresh/extension/review/exact_lemma_controls.py": {
    "bytes": 3358,
    "sha256": "5cd5d0501d6a037be2a9a2bbada52557ceb4aa622f47013d5ef90de9596d5bdc"
  },
  "evidence/reproduction_fresh/extension/review/gram_controls.json": {
    "bytes": 724,
    "sha256": "1a1752d95346fbb13cbd158418d24b7edf080280f83201761a23a3f8a003cc3b"
  },
  "evidence/reproduction_fresh/extension/review/gram_controls.py": {
    "bytes": 1401,
    "sha256": "5c1095d2ff660f1ea77f4af12510274c74d9f3aa6aa862551c5f4079e3e95249"
  },
  "evidence/reproduction_fresh/extension/review/rational_arithmetic.py": {
    "bytes": 7337,
    "sha256": "f5f8f713f07ea4e670432574c43d5f81144d78fedaeea736ce01e1049592fc92"
  },
  "evidence/reproduction_fresh/extension/review/rational_extension_roots.json": {
    "bytes": 6469,
    "sha256": "07aa92830d2efc23822164d3b56b5f4909ad29933ac1849b1bbf1a795844bf57"
  },
  "evidence/reproduction_fresh/extension/review/rational_gram.py": {
    "bytes": 3911,
    "sha256": "47e89528452265da78225e153965dfcd2405f846451ff36c2f1f50ee2559eeee"
  },
  "evidence/reproduction_fresh/extension/review/rational_gram_extension.json": {
    "bytes": 1478,
    "sha256": "9e61c1033328b9faa6186480099b06939fcea88038e9fa720d34f7661ebe14ab"
  },
  "evidence/reproduction_fresh/extension/review/rational_gram_polynomial.json": {
    "bytes": 7568,
    "sha256": "b1495b72b152ecdf49f7094f79fffe41dd9973735f7cd1a0f1bc1557b4a33616"
  },
  "evidence/reproduction_fresh/extension/review/rational_gram_robust.json": {
    "bytes": 7256,
    "sha256": "626928f4389b87a420bf5b23bc9b3a4f071ce64787165572e3b2baacca2287a0"
  },
  "evidence/reproduction_fresh/extension/review/rational_gram_short.json": {
    "bytes": 6136,
    "sha256": "b0b2af29636cc721f118647580928060d486433680c03a54d1ff9a0c748ebff3"
  },
  "evidence/reproduction_fresh/extension/review/rational_transitions.py": {
    "bytes": 5400,
    "sha256": "757a67db09350cc57331f76ca4a4f25599eeae86e11a9f2d60a91e6229f47e45"
  },
  "evidence/reproduction_fresh/extension/review/rational_transitions_extension_N2.json": {
    "bytes": 12904,
    "sha256": "b0c50061d4d1140300300733433f69b8b387b011b956783131ceaca25e546f61"
  },
  "evidence/reproduction_fresh/extension/review/rational_transitions_extension_N3.json": {
    "bytes": 12777,
    "sha256": "06c753632a18f6a8aee14970ca635b9f35900e72f30d55f613607d7834f9c32b"
  },
  "evidence/reproduction_fresh/extension/review/rational_transitions_N2.json": {
    "bytes": 43840,
    "sha256": "a424ba194ff1d45c1c43a0de9231304d367d1977db328ed662895ed7379970ef"
  },
  "evidence/reproduction_fresh/extension/review/rational_transitions_N3.json": {
    "bytes": 43578,
    "sha256": "5a4623dd330fb75a24be62255d5b41fb031a6df6ee37f3c579adc533ec5984ab"
  },
  "evidence/reproduction_fresh/extension/transition/baseline_supplement/explore.py": {
    "bytes": 1920,
    "sha256": "d2322cc7fff1981f6dcdbd778b1d78ab815a9b0675e17fee6ff4e799ee5fed35"
  },
  "evidence/reproduction_fresh/extension/transition/baseline_supplement/interval_engine.py": {
    "bytes": 4381,
    "sha256": "bcc2f1fe0d650cfa204303ec373950f2e549d6bc06e3900a4b7ef94bacb572ff"
  },
  "evidence/reproduction_fresh/extension/transition/baseline_supplement/taylor_cover.py": {
    "bytes": 5845,
    "sha256": "2a49efde1b6bb8d8fd99ddd8a714515f6d4012d143734e86f298e15a14c04dfe"
  },
  "evidence/reproduction_fresh/extension/transition/baseline_supplement/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "evidence/reproduction_fresh/extension/transition/extension_transition_bounds.py": {
    "bytes": 3256,
    "sha256": "aa75b0ea3065dc7ede0a0aef184e4c7af556fe5389539044bdf5746409077f65"
  },
  "evidence/reproduction_fresh/extension/transition/summand_transition_bounds.py": {
    "bytes": 7531,
    "sha256": "953b8c2feb66d8bc849f087931cf54937462847e2372507da3579dd4da879240"
  },
  "evidence/reproduction_fresh/extension/transition/transition_bounds_extension_N2.json": {
    "bytes": 126002,
    "sha256": "1904976aa84a67e0e9300e60dce55853406933196042d6c4c2ea509839486899"
  },
  "evidence/reproduction_fresh/extension/transition/transition_bounds_extension_N3.json": {
    "bytes": 125790,
    "sha256": "90338edab47e4f1dba0b37283850ee86a26e38d1a71ca88cd7307e4f9015c35e"
  },
  "evidence/reproduction_fresh/extension/transition/transition_bounds_N2.json": {
    "bytes": 326535,
    "sha256": "8867893445c2b0e79ade634d51af87cb607400778dba769afd37bf7187281f38"
  },
  "evidence/reproduction_fresh/extension/transition/transition_bounds_N3.json": {
    "bytes": 326166,
    "sha256": "a267a8356c3e4a7bfcd9d92776e83a86524e4bf42a8901ee0c84a5ffa35f2e5f"
  },
  "evidence/reproduction_fresh/reproduce_all.py": {
    "bytes": 3483,
    "sha256": "f1aa5f409cf5443f81edcb919ac1c37fbd965d534d3ce589097ed620dc1eb47b"
  },
  "evidence/reproduction_fresh/reproduction_receipt.json": {
    "bytes": 16657,
    "sha256": "88dfc23f3945ea6e071c59fbeafd9b692e02cd59f8e974985ff230d83d7da547"
  },
  "main.tex": {
    "bytes": 37338,
    "sha256": "c7f64f1248f43acc338189fdb63296354f13dbefee76a547bdb97160331e082c"
  },
  "Minimum_Degree_Obstructions_Theta_Product_Consolidated.pdf": {
    "bytes": 122543,
    "sha256": "2b320b1be94bc73005a01cb2c94ab571b3fde823495ec44324091707f02f3a3a"
  },
  "provenance/baseline_release_20261018/CITATION.cff": {
    "bytes": 558,
    "sha256": "6bcfe43a0ae4be74b3b55c9b54e6764925deda04899223713e25e574ab22563e"
  },
  "provenance/baseline_release_20261018/evidence/latex_compile.log": {
    "bytes": 39292,
    "sha256": "2378d0d6fd3525bc999a17edd4593a062ff2077427fb005beefee9274598c937"
  },
  "provenance/baseline_release_20261018/evidence/manuscript_check.json": {
    "bytes": 1172,
    "sha256": "3c117e07e6dde9a613ea696cdbc0d9313855af5ebc6b46e7abb104543d1945c2"
  },
  "provenance/baseline_release_20261018/evidence/pdf_quality.json": {
    "bytes": 1230,
    "sha256": "75ea6373dad1d9745a16e1c4eb483a5f7b6e12d6b06b7906bf0e7fd92478ac5d"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/01_adaptive_map.log": {
    "bytes": 9447,
    "sha256": "26f7341b7b0d7a5e75702b8294021f61091fc7f924f98822d0825b3cc3a3384d"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/02_transition_windows.log": {
    "bytes": 800,
    "sha256": "69630827268e4a3542b945e70a47d17efcaeecc6d07334a693729186d5a426d0"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/03_classify_windows.log": {
    "bytes": 392,
    "sha256": "16a24225682483c52e5f0901d6e33c5c87d7a54ca012dc6d0572bbb6e647d27e"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/04_verify_root_inputs.log": {
    "bytes": 741,
    "sha256": "abd2cda7cf3515905c1da3afde8a3ac72a14e373c5539b3025b49ebc65a54d0c"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/05_one_summand.log": {
    "bytes": 1799,
    "sha256": "4fae7430626cf98588b78af849a12e7a97adda77c2078a013e9a3321a314d5f2"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/06_finite_summand_mechanism.log": {
    "bytes": 5867,
    "sha256": "441dd145f979c550c1c2185f7bc799fa0ed6362da3f44dd762f262230f789adf"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/07_mechanism_review.log": {
    "bytes": 88,
    "sha256": "95b7b4b5b16bb891b483a14428c99052282f4ad2a38238302700f1387525c430"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/08_check_evidence.log": {
    "bytes": 128,
    "sha256": "2d6c0e08940455e11aef721fab8e41ecf03c38b1db2c886cce5ec5ef364d3d76"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/09_adaptive_map.log": {
    "bytes": 3280,
    "sha256": "c1270ff9bb4ccbe888f31b78ef310c473ca22cb3e2bc4442dc9d7c46c9fc0ae2"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/10_transition_windows.log": {
    "bytes": 237,
    "sha256": "603abeb556052b80ef75c32a16af533bd25327ad549cac18c1e817cf3d3bb973"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/11_classify_windows.log": {
    "bytes": 111,
    "sha256": "923076129c384255c919f38702e05ed65bef44c661093614882b2e7c0a8448b1"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/12_check_coverage.log": {
    "bytes": 667,
    "sha256": "ef88f08cf762a175be2d7dc739f3670a937be1b08e8c6499acf286fe6c9020e7"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/13_negative_controls.log": {
    "bytes": 27,
    "sha256": "a1387739099cbf45b2451c82f6877af203f7020cfbe86d6699d57300fd590680"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/14_replay_gram.log": {
    "bytes": 61,
    "sha256": "6010d3f61d6ab7dda31ef1776aece835232df2fe519bf9dce656113413a7d1c4"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/15_rational_gram.log": {
    "bytes": 43,
    "sha256": "613b62683f9a000cd5c9fe0d98f37e7bed4b7220231abad010873b42b7b4359f"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/16_rational_gram.log": {
    "bytes": 43,
    "sha256": "613b62683f9a000cd5c9fe0d98f37e7bed4b7220231abad010873b42b7b4359f"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/17_rational_gram.log": {
    "bytes": 43,
    "sha256": "96951eed94ca10d42b6463f1e6d3a5de495b8121268881e341bee85a65a7201e"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/18_rational_gram.log": {
    "bytes": 43,
    "sha256": "e2482bf05427d60d94114b7f4c2eeecefe2740c96219fcf915d10b500be023f1"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/19_gram_controls.log": {
    "bytes": 50,
    "sha256": "18f5d858116e6720fec41006723340f5f96021a7f25220918ec689a1b9e9a6a1"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/20_exact_lemma_controls.log": {
    "bytes": 176,
    "sha256": "46419cf7887f85a3d6bcb621404c8c480082d0bffe81fe05d5e329b0eb21d6ea"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/21_summand_transition_bounds.log": {
    "bytes": 2745,
    "sha256": "1b23722979d46801f249cbc26fa05d60c82e109bc08ec670dd2bc6214fd7285e"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/22_extension_transition_bounds.log": {
    "bytes": 390,
    "sha256": "f265b034f1500d557b26cf93cb79567cf50e9401ebfabc8e38d8d36bf4b41c47"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/23_rational_transitions.log": {
    "bytes": 321,
    "sha256": "c61824160e2602f7bdfa29f8b6b23bd972628afcc18aa4b62588936e94d4e538"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/24_rational_transitions.log": {
    "bytes": 90,
    "sha256": "cd1e66e2ead38a066348e8db8ad0212f2f17e1d3de6542b1195bd8c352c16921"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/25_summand_transition_bounds.log": {
    "bytes": 2529,
    "sha256": "7c92d0cee017696e6b93813ea093379d0f11ef97b4f3180b27e44bc0bb34c511"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/26_extension_transition_bounds.log": {
    "bytes": 390,
    "sha256": "74b085470f40b5b99b54671721fb8e920378e12ba43a59af27aab6cbd49caff2"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/27_rational_transitions.log": {
    "bytes": 321,
    "sha256": "9624fbef56246eb5ea9f96a892fda79162ad4c2091278dc1a209879dfd0ab433"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/28_rational_transitions.log": {
    "bytes": 90,
    "sha256": "1062f4e04e2d50c96c66234035c69efe8f9c04322f45c5c3a70ff7a442350de7"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/29_rational_transitions.log": {
    "bytes": 72,
    "sha256": "9266bcd4b80ad18b5981ab61588a2b8dfc3317cc22afeadeae74b8ac092a9a96"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/30_check_evidence.log": {
    "bytes": 872,
    "sha256": "9e8dc8bb17ff406d7866c3118103a33778d01373c5e4379fd48f84097c405629"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/arithmetic_controls.py": {
    "bytes": 1749,
    "sha256": "fe3fb70c81c36aff364bdfc6db225fd21547ccaf32e7c2bbdf3e464ae18011c1"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/adaptive_map.json": {
    "bytes": 348387,
    "sha256": "2cfa87aad34c18de18ebec1e6aaaefb3524459c93f79e4f11f9a0d56046d9f1d"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/adaptive_map.py": {
    "bytes": 1192,
    "sha256": "56eb076417b020c38e8ae79ba3f44619c7557049bbc818a9f75f4e46f3357b23"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/check_evidence.py": {
    "bytes": 3250,
    "sha256": "41471c4b425ad9102d477736958639a4f2c745e63d2d67724613758c97401464"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/check_manuscript.py": {
    "bytes": 5945,
    "sha256": "cdf3871631e13515d42635de82ea2111bde9936b0b803b69d12bdf1a08421d64"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/claim_validation.json": {
    "bytes": 162,
    "sha256": "cbbd0abca06eaf2a2e1189ff9d90f300f712907de3e8829d2859073b83ba78ba"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/classify_windows.py": {
    "bytes": 3063,
    "sha256": "5a76d18578464201eaa32e0ab6ce7463e71161ddd35c9eeec0836e30dba988cf"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/explore.py": {
    "bytes": 1920,
    "sha256": "d2322cc7fff1981f6dcdbd778b1d78ab815a9b0675e17fee6ff4e799ee5fed35"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/finite_summand_mechanism.json": {
    "bytes": 5865,
    "sha256": "80f8ff82b00b1ef312e872c83d3900914b3d98e59d9dbedeee237c0f9e3eff30"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/finite_summand_mechanism.py": {
    "bytes": 1714,
    "sha256": "02b5bd51dc489aeb4ceb45a26d1fa5852ac04d2561b0c65b32c19df3450dc982"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/interval_engine.py": {
    "bytes": 4381,
    "sha256": "bcc2f1fe0d650cfa204303ec373950f2e549d6bc06e3900a4b7ef94bacb572ff"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/mechanism_review.json": {
    "bytes": 7813,
    "sha256": "6d0952c313cf59e4acb5817e6a03d7b895092a9ee0766d53781e635c5ef6d30c"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/mechanism_review.py": {
    "bytes": 3203,
    "sha256": "bfce354d520ca81fd9cfb733d51c7beb0b9ffa74209a9549826b32206406f35e"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/one_summand.py": {
    "bytes": 5187,
    "sha256": "72ee0d667e4f2d356ffbd38e15ba55df46823a113ad3a62e53e0720626c42d03"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/one_summand_exact.json": {
    "bytes": 7808,
    "sha256": "c0afa61e29beb87e7ba9faf1632341b4c0fb406f110f1dce18eee646179f6669"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/one_summand_verification.json": {
    "bytes": 1720,
    "sha256": "dcadc1ff7dc3a82f35d3a6f886de13d61f8b299f6107b825a16e1b685094ec7e"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/rational_check.py": {
    "bytes": 7337,
    "sha256": "f5f8f713f07ea4e670432574c43d5f81144d78fedaeea736ce01e1049592fc92"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/rational_roots.json": {
    "bytes": 47400,
    "sha256": "7239c9669a60a2d96d6823a15c7de26cf4f76cb4c27d6668ce26089c6b1deb83"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/reproduce_all.py": {
    "bytes": 1852,
    "sha256": "d26b65f57801bb98496ba769bfec03826516e7c741084d3c3195972f73be67cb"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/scan.py": {
    "bytes": 1729,
    "sha256": "a9d4dd4f32c9211961b2870fcf915f6cd27923e122304ca5e69fff1c9fe8f5c9"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/taylor_cover.py": {
    "bytes": 5845,
    "sha256": "2a49efde1b6bb8d8fd99ddd8a714515f6d4012d143734e86f298e15a14c04dfe"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/transition_windows.json": {
    "bytes": 98610,
    "sha256": "9101c9140d8573da67bd2a980875793b9ba2bfaf9b643fad66492b1661edc99b"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/transition_windows.py": {
    "bytes": 2138,
    "sha256": "2ac01cf7979ecedc932e0084cb2dfaeb21bb0e19da66a8d2770fe364a17f5fe3"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/verify_root_inputs.py": {
    "bytes": 797,
    "sha256": "9cfbd60142ec15b8950e9e67e4f9798e1449129da7e216a60454886667203624"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/baseline/window_classification.json": {
    "bytes": 30302,
    "sha256": "1b6232eac122117069c7cc110db8cadc83430005f1cc9c3e0e9c2c3fd8a0ee16"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/check_evidence.py": {
    "bytes": 2865,
    "sha256": "d2c46460a33f660add345b95462617874fa3f4efa4080b11dfd5f71283c07d5a"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/check_manuscript.py": {
    "bytes": 6372,
    "sha256": "c0da6a0158fd4d4d8caafe41e2d698b41ae0c7351ed9e6f377a8bdb33be214a7"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/checker_controls.py": {
    "bytes": 3163,
    "sha256": "aef28d0981ec2c68f15a03745d3da09b6af39f12aa37d57d67288b42c6194a57"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/consolidated_check.json": {
    "bytes": 870,
    "sha256": "ad472b53a970d74bd6f904f6e880de5cca6dad194d7a00d056c7fe86913a31fa"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/adaptive_map.json": {
    "bytes": 211402,
    "sha256": "dc74d62437654a2334576251b9253b3d56b90f0d9c58ebc6231520e5e438533a"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/adaptive_map.py": {
    "bytes": 1194,
    "sha256": "45a02f3202d6a5832a567140e73022dfdad8e53b67db242d84b298f5fa104d8c"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/check_coverage.py": {
    "bytes": 3944,
    "sha256": "e340fc287440df3acb1738b1f05468fa362e23d372cd5f1a59a4693c18d0091c"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/classify_windows.py": {
    "bytes": 3065,
    "sha256": "aa7f4d2aa49c4eb194c5edc12ed47bc59b25ea03b06fbb4e09d2066bee1571e7"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/coverage_check.json": {
    "bytes": 665,
    "sha256": "0334aa1553dd29b72e64b6443bc0d202331a125964e744e86ea0bc72a670d1b8"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/finalize.py": {
    "bytes": 1047,
    "sha256": "80013441330f00500b7fa3c7dfbc46c8a24e0353d82908f0772ecc62b3cb4dc0"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/interval_engine.py": {
    "bytes": 4372,
    "sha256": "ba56411f08b1935144caa02bbd47ccb816f40288f11beee52f86c7def26d762d"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/negative_controls.json": {
    "bytes": 2343,
    "sha256": "6645fb74a0184871e9b2a2797c82360bce5b778cfeecd556b20a907a5bc5547b"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/negative_controls.py": {
    "bytes": 2866,
    "sha256": "b3fa3a8ad02d96adf6d9056c83a7604b9f3ccb4991db549cdffb4b1546aa6dd3"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/point_scan.py": {
    "bytes": 403,
    "sha256": "d60dfb9e76d7adc84c2681d416e3a1d387003b58e15756a3944d26e64cfae263"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/reproduce.py": {
    "bytes": 353,
    "sha256": "125b4d8960a0f296751b1f3ac9a1332228d3d1b555a857527452235eff79a863"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/scan.py": {
    "bytes": 1729,
    "sha256": "250267bd339a39628602727135ba0eb881729c952a22b0d1a8ccfe10027c70b7"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/taylor_cover.py": {
    "bytes": 5845,
    "sha256": "65db2dfa40ed56478f45465907e6406acb4d9f00de0299ef9e7c113751f0ca2d"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/transition_windows.json": {
    "bytes": 76305,
    "sha256": "c9dd7228328d401d403c56e7316f7d6b171bfc1cd6a505492bc92d8e64f93128"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/transition_windows.py": {
    "bytes": 2978,
    "sha256": "f9c7d47cb8d758c308810f2c0986efefad667deeba25bc3df8461fb7e201af3d"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/classification/window_classification.json": {
    "bytes": 13202,
    "sha256": "a066975dc2e1e7d53bbaec25079a49c7e3abcb527910fe79166cf213f37668b1"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/gram/explore.py": {
    "bytes": 1920,
    "sha256": "d2322cc7fff1981f6dcdbd778b1d78ab815a9b0675e17fee6ff4e799ee5fed35"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/gram/extension_gram_certificates.json": {
    "bytes": 2194,
    "sha256": "a6517c51e02a54e3b2df4eb43a225d0a70ca4aeee313cbe82186acdd9ad7ee3a"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/gram/gram_certificates.json": {
    "bytes": 11040,
    "sha256": "0929e9b3f63a4ba651d53338cbe9ea63e915b2185e9d93d599e7dd67dd425178"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/gram/gram_certificates.py": {
    "bytes": 3286,
    "sha256": "b350e7e2d2e1c07d53c6c55c7474061c7ed09e3e44c3244588951a0f94d9c7be"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/gram/interval_engine.py": {
    "bytes": 4381,
    "sha256": "bcc2f1fe0d650cfa204303ec373950f2e549d6bc06e3900a4b7ef94bacb572ff"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/gram/replay_gram.py": {
    "bytes": 1969,
    "sha256": "6b4b2aeff92c80ac7d088e831f12375ba95c930ebf76a212c20732bc4c919d1c"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/gram/replay_receipt.json": {
    "bytes": 9754,
    "sha256": "2a6dd4ca83d4e7c3873d0f23c625c0ad855d110e2f52cb7ae149a1d7a5402bfd"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/gram/robust_gram_certificates.json": {
    "bytes": 10566,
    "sha256": "f28e1dae907504fc10c284b3ac42e8976e52521355572e5d8a435b9d5b4cfc99"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/gram/short_gram_certificates.json": {
    "bytes": 5527,
    "sha256": "696bf1b1b0af1d02c311486aa6bff1c74b021a5631ff731bd7e526d013311b6e"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/exact_lemma_controls.json": {
    "bytes": 186,
    "sha256": "dc23773800b6213cd80f936a942e3ecf589153d6f360dbc6e84eddcb2cb0eeed"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/exact_lemma_controls.py": {
    "bytes": 3358,
    "sha256": "5cd5d0501d6a037be2a9a2bbada52557ceb4aa622f47013d5ef90de9596d5bdc"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/gram_controls.json": {
    "bytes": 724,
    "sha256": "1a1752d95346fbb13cbd158418d24b7edf080280f83201761a23a3f8a003cc3b"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/gram_controls.py": {
    "bytes": 1401,
    "sha256": "5c1095d2ff660f1ea77f4af12510274c74d9f3aa6aa862551c5f4079e3e95249"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/rational_arithmetic.py": {
    "bytes": 7337,
    "sha256": "f5f8f713f07ea4e670432574c43d5f81144d78fedaeea736ce01e1049592fc92"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/rational_centers.json": {
    "bytes": 260651,
    "sha256": "bd3be2646b820afb87dcaae173a0b09dd9db757d34a304153d63a27631cb19f5"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/rational_extension_roots.json": {
    "bytes": 6469,
    "sha256": "aefb8dece3def7a2dec2accae14d69b5a0e5db8b68cce09f331b6cc376250282"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/rational_gram.py": {
    "bytes": 3911,
    "sha256": "47e89528452265da78225e153965dfcd2405f846451ff36c2f1f50ee2559eeee"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/rational_gram_extension.json": {
    "bytes": 1477,
    "sha256": "40f9e3157857ab369b8fb73cd8b447e8e31748ff60008db5165d3b9567360434"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/rational_gram_polynomial.json": {
    "bytes": 7567,
    "sha256": "6c4bad10bda7f24727a3c62b45e966c3326dec2de5b4899493be2bf13b55449e"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/rational_gram_robust.json": {
    "bytes": 7256,
    "sha256": "4b3c4137d2cf3ecadc3077d6e3b8925e2e318645d3849342a415237f6fcb08ef"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/rational_gram_short.json": {
    "bytes": 6135,
    "sha256": "672a6d0280824ae94d640ab3d815fe3cf7f2d3a762573654f5fa28c0da45e499"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/rational_transitions.py": {
    "bytes": 5400,
    "sha256": "757a67db09350cc57331f76ca4a4f25599eeae86e11a9f2d60a91e6229f47e45"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/rational_transitions_extension_N2.json": {
    "bytes": 12904,
    "sha256": "9f27dc8e957089c8f5a6ac1d91a9ede81efbc5cf433e264f7eecff7634bafa21"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/rational_transitions_extension_N3.json": {
    "bytes": 12776,
    "sha256": "a159910d06bbf931ece8df43ad72d37498865a89559ede002105f3173305f6b0"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/rational_transitions_N2.json": {
    "bytes": 43841,
    "sha256": "7989067a9f5271aeb8733d85dae66a2c5dde8fbf487db9b32c474bbe2920babe"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/review/rational_transitions_N3.json": {
    "bytes": 43577,
    "sha256": "bce09120a20493f7b50cca243788e0b6c1dde67550263c577437686a718395bc"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/transition/baseline_supplement/explore.py": {
    "bytes": 1920,
    "sha256": "d2322cc7fff1981f6dcdbd778b1d78ab815a9b0675e17fee6ff4e799ee5fed35"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/transition/baseline_supplement/interval_engine.py": {
    "bytes": 4381,
    "sha256": "bcc2f1fe0d650cfa204303ec373950f2e549d6bc06e3900a4b7ef94bacb572ff"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/transition/baseline_supplement/taylor_cover.py": {
    "bytes": 5845,
    "sha256": "2a49efde1b6bb8d8fd99ddd8a714515f6d4012d143734e86f298e15a14c04dfe"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/transition/baseline_supplement/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/transition/extension_transition_bounds.py": {
    "bytes": 3256,
    "sha256": "aa75b0ea3065dc7ede0a0aef184e4c7af556fe5389539044bdf5746409077f65"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/transition/summand_transition_bounds.py": {
    "bytes": 7531,
    "sha256": "953b8c2feb66d8bc849f087931cf54937462847e2372507da3579dd4da879240"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/transition/transition_bounds_extension_N2.json": {
    "bytes": 126002,
    "sha256": "fe92315494ed50816c9d242dd3bbe80754060ff36cf6fb6cf4bc6fb40376a79f"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/transition/transition_bounds_extension_N3.json": {
    "bytes": 125790,
    "sha256": "435a25b06df503f7381b9b7501d9be4b9c98bdd2b31bdbc8ab3ea769c638082a"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/transition/transition_bounds_N2.json": {
    "bytes": 326537,
    "sha256": "ded817614d26fa53b77522ecf95a01737061ba8e11e0e47d9b927ba35815fcb1"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/extension/transition/transition_bounds_N3.json": {
    "bytes": 326167,
    "sha256": "f3978ea106b02f063ada75ec0cfc1b7b23e0cea2dce25712150bfe31bb02d952"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/reproduce_all.py": {
    "bytes": 3483,
    "sha256": "f1aa5f409cf5443f81edcb919ac1c37fbd965d534d3ce589097ed620dc1eb47b"
  },
  "provenance/baseline_release_20261018/evidence/reproduction_fresh/reproduction_receipt.json": {
    "bytes": 27942,
    "sha256": "241e9776c24ed4c42fe2e930a567e74370f310f85da306d80c7ee71c99ab68b1"
  },
  "provenance/baseline_release_20261018/README.txt": {
    "bytes": 4665,
    "sha256": "af94dee5e5d8f7e31a6ac3d7282ad16d4a4f0ac5403e300bb98adbdfb3ac3696"
  },
  "provenance/baseline_release_20261018/RELEASE_STATUS.json": {
    "bytes": 1368,
    "sha256": "33326fe449a77b1f1a1beb769670d0280ed047c50eaf009ef0cca6cc792b3c4d"
  },
  "provenance/baseline_release_20261018/review/analytic_one_term_check.json": {
    "bytes": 1169,
    "sha256": "a01519a24b90c90cfca17b08c13496d06ef9561ae69dd1040ffdafc864c686f7"
  },
  "provenance/baseline_release_20261018/review/analytic_one_term_check.py": {
    "bytes": 2683,
    "sha256": "fc797e05d3275548057a0c5b8bcdfa2ee67ec274709fd45a19dbdceb7ef0959d"
  },
  "provenance/baseline_release_20261018/review/code/additional_checks.json": {
    "bytes": 764,
    "sha256": "f1711c3ca42ce22570eb0970ef81e42719b53cb7035a6070f0e4b086c8d92b51"
  },
  "provenance/baseline_release_20261018/review/code/arithmetic_controls.json": {
    "bytes": 973,
    "sha256": "22b17c76a5597d5a0e7c6419f05533976bb3cd3ac8aebe787fccaffced59b805"
  },
  "provenance/baseline_release_20261018/review/code/checker_controls.json": {
    "bytes": 2780,
    "sha256": "42bbff4ffc4cb8d51a5f6f02ab02fee2a9cf273728023963c08071a81e0f7b54"
  },
  "provenance/baseline_release_20261018/review/code/checker_preparation.json": {
    "bytes": 310,
    "sha256": "2ad114b1405eabdcbe724c5f7e7785ad07e5a17c53ed7ef726e07db1f86898e3"
  },
  "provenance/baseline_release_20261018/review/code/development_record.txt": {
    "bytes": 372,
    "sha256": "2e9f7f5e704a9d7fbd85514ab3ae1cbf4b2e06f671e0d70d1c5683aa385b8487"
  },
  "provenance/baseline_release_20261018/review/code/final_code_audit.py": {
    "bytes": 5389,
    "sha256": "20d3221eb0004e6b427fbd3d98dd2c1663a36749a1ffa1549cd5d83a12027329"
  },
  "provenance/baseline_release_20261018/review/code/FINAL_CODE_REVIEW.json": {
    "bytes": 16928,
    "sha256": "a74d8dc0cec9ae97b34d816ffad2d53fde2e5922d617e0af5bc94886153c1c8b"
  },
  "provenance/baseline_release_20261018/review/code/interrupted_receipt_after_stage9.json": {
    "bytes": 7234,
    "sha256": "a425edbdbfdf87cc2cd4cf3e2e4f3b26fab338ad279c68a5108862b5b67d98b4"
  },
  "provenance/baseline_release_20261018/review/code/late_source_identity.json": {
    "bytes": 1149,
    "sha256": "f22b38a0f3e4ccdeb7fe23703fff86b670788793924947e3a52c21310ae44a38"
  },
  "provenance/baseline_release_20261018/review/code/resume_fresh.py": {
    "bytes": 4757,
    "sha256": "1fcf497b98a7d51625b87119f377156be30a24deb31f0de39ef39c0864df9b14"
  },
  "provenance/baseline_release_20261018/review/code/resume_source_audit.json": {
    "bytes": 18574,
    "sha256": "5bc4033a71fcb0fe45cc5b50df0c3859a4f5b83e9d70a47fd2df775c201cfea1"
  },
  "provenance/baseline_release_20261018/review/code/resumption_record.json": {
    "bytes": 8252,
    "sha256": "272460ea3d4f2d1f313912c4f0d59ef213f5993e6067fa47f9eb590ba40bbd06"
  },
  "provenance/baseline_release_20261018/review/code/review_notes.txt": {
    "bytes": 6247,
    "sha256": "6f8f78bc0229d48fa9c2363c493dff08e9acf4b8d2c30d4f830ac08e733b1ef5"
  },
  "provenance/baseline_release_20261018/review/code/source_audit.json": {
    "bytes": 8241,
    "sha256": "d07a314e7ea7d4a0937d60adbef17f056145e9026d16802b7de0c161f2a46d5b"
  },
  "provenance/baseline_release_20261018/review/originality_review.txt": {
    "bytes": 8867,
    "sha256": "508d9861466ee7ca7e40261f0dfd523da69061776fe4a1dc85fade7173af2786"
  },
  "provenance/baseline_release_20261018/review/pdf_review.txt": {
    "bytes": 2467,
    "sha256": "ebcb51e8af07f73a4a0f55881aacef285c5fee1232b5e1e8dc993efdb577c185"
  },
  "provenance/baseline_release_20261018/review/proof_algebra_check.json": {
    "bytes": 248,
    "sha256": "d165fc32936abfa32d743d894d431f00139779b788940105a459ddd68e2ac79d"
  },
  "provenance/baseline_release_20261018/review/proof_algebra_check.py": {
    "bytes": 1905,
    "sha256": "eb06bfce1854b20156554f30f5f5de0cae5017c5e1dc7e6699e8f16e9b319123"
  },
  "provenance/baseline_release_20261018/review/proof_review.txt": {
    "bytes": 8743,
    "sha256": "7751d2757771519a000e86c506d720f6f4b37b3bdd3ea069e7ca2027c17d7146"
  },
  "provenance/baseline_release_20261018/review/publisher_prior_critique.txt": {
    "bytes": 6570,
    "sha256": "2c842840148e222815c2d6fcf684895574267a69b64d5ef2ff79a8aaa1ab4c8d"
  },
  "provenance/baseline_release_20261018/review/publisher_prior_decision.json": {
    "bytes": 1733,
    "sha256": "331ab0e7f518c81033e85beb52c17269da3dedf7f20e9fdf2682ed7cfd9b388b"
  },
  "provenance/baseline_release_20261018/review/REVIEW_DISPOSITION.json": {
    "bytes": 2730,
    "sha256": "22790e999b5a438f2f981f563bb9eabf0fced9a7694a39e85f64b0e1f845785d"
  },
  "provenance/baseline_release_20261018/SHA256SUMS.json": {
    "bytes": 36693,
    "sha256": "4886bfd5ea1a406d04c8502ba693a438c1d60c0572a88480ba2861ff31296365"
  },
  "provenance/EDITORIAL_REVISION.json": {
    "bytes": 1938,
    "sha256": "bf574cbc30c6a85902d7c8a26ce2057ac2f0d4309adaa6eea75030f2bb705d32"
  },
  "provenance/expanded_classification_SHA256SUMS.json": {
    "bytes": 12995,
    "sha256": "7b9056c295e4207652041442d366f135c1d1bedbd402d6e42f4fc1442fb4b821"
  },
  "provenance/gram_transition_research_SHA256SUMS.json": {
    "bytes": 13440,
    "sha256": "644f83895e3eaf544c4a64bbdeb774a185e8b450d835e6768224c19a5bb3771d"
  },
  "provenance/historical_150_digit_extension_review/gram/classification_fresh_cells.json": {
    "bytes": 49449,
    "sha256": "1a49c73a9a5270a6de1994ca4eb5bc76b9d2ce255f313f21a5748211ae687add"
  },
  "provenance/historical_150_digit_extension_review/gram/classification_fresh_windows.json": {
    "bytes": 10549,
    "sha256": "e29f6217c4e6df8fa041a05162cd9568de7bf23a10fa52d18427e5f5d55b2e23"
  },
  "provenance/historical_150_digit_extension_review/gram/classification_review.txt": {
    "bytes": 4061,
    "sha256": "aaaeb32cee12ac20210c92c6e81e2540f62b61d64dcafb343bfb6abe5824c180"
  },
  "provenance/historical_150_digit_extension_review/gram/FINAL_INDEPENDENT_REVIEW.json": {
    "bytes": 2938,
    "sha256": "75f93cf71ed157317304ea558acb4d6d6fb5bb6121058c1c6cb9d6029371358f"
  },
  "provenance/historical_150_digit_extension_review/gram/review_classification_cells.py": {
    "bytes": 1532,
    "sha256": "f6fd6004d857c9e336340055790b8af15190f2e3c639a8e83286daab1dba7c7d"
  },
  "provenance/historical_150_digit_extension_review/gram/review_classification_windows.py": {
    "bytes": 2191,
    "sha256": "2faafc6a145357bd475b799141bd6cbf4153b43533aa4d1a813f57a5a4ee1a7b"
  },
  "provenance/historical_150_digit_extension_review/README.txt": {
    "bytes": 394,
    "sha256": "4e74f5cb8b19814366dc987ddde0be02004fb8a7a92c8b51de7871a6d4015d43"
  },
  "provenance/historical_150_digit_extension_review/review/final_independent_review.txt": {
    "bytes": 6257,
    "sha256": "3bb22054dd004fac56f0897837b166f6b7274a02ec2e9d888eb695c7a7f4311f"
  },
  "provenance/historical_150_digit_extension_review/review/FINAL_STATUS.json": {
    "bytes": 1545,
    "sha256": "f5421c7edca731587f0b4e65fbc67de21212c482e906df6df3cf910d8cede8e3"
  },
  "provenance/local_quintic_SHA256SUMS.json": {
    "bytes": 9313,
    "sha256": "a322064cb62f2a1340783fcfcf56e50f2ba1c7f6658acb23fd7d20c9678a6486"
  },
  "provenance/manuscript-editorial.diff": {
    "bytes": 4603,
    "sha256": "fa431b84844bc8357b5c3facfea5165c7f1ffdc4e5a009aa5acfdbd32eb8c459"
  },
  "provenance/manuscript_revision_source.json": {
    "bytes": 937,
    "sha256": "2a99231b1f05e0edfb2830a97f101faf9bcaf2b08bc3d1aa23fa1a7009264068"
  },
  "provenance/original-package-snapshot.json": {
    "bytes": 38980,
    "sha256": "375cdab6261e4eafbe3b457e7e765995b14be4bec2e9f06e7eaff0520cd564af"
  },
  "provenance/prior_versions.json": {
    "bytes": 1920,
    "sha256": "8218242ff71e8254dd7c9fdf781cb5a15f63bd1698c71fda976f16629d299c3b"
  },
  "provenance/research_literature_record.txt": {
    "bytes": 3633,
    "sha256": "e2d463fc20ef08278c1c77f3ffda0e5b01bbf04c01c1ee16891d6f9d78042ba5"
  },
  "README.txt": {
    "bytes": 5500,
    "sha256": "50a2d99edaf3d1c0d6ba942b663a65e7ad0d8731c822e1ceef99480a7dc7ef10"
  },
  "RELEASE_STATUS.json": {
    "bytes": 1944,
    "sha256": "9b7a758d36ee2f777a9910b8d06e31dbd29645acb5425a1add1540e66e30b1de"
  },
  "review/current-revision-review.txt": {
    "bytes": 2479,
    "sha256": "413c31730bf479673410837b8804f36c7079d13c80ca5ebbeefc168482a4f39b"
  },
  "review/editorial-source-check.txt": {
    "bytes": 1727,
    "sha256": "aeb8968e25fd7167def7ca2ab999be0b6100f7ab95c753afc7239dca324794aa"
  },
  "review/original-preservation.json": {
    "bytes": 224,
    "sha256": "ea56d8652ef67c2a29eb7e5562cd08714f3f3fac1ec697edd0de4205a9749b12"
  },
  "review/pdf-review.json": {
    "bytes": 12058,
    "sha256": "f4e14c871e2f04f67ee5fdee00dc47c0577cf08eba1d82c234c5a21964dd6379"
  },
  "review/REVIEW_DISPOSITION.json": {
    "bytes": 820,
    "sha256": "955c690a4441db98db35fc19d3770d09e95d58ca8ec0d38584c55b46b790b437"
  },
  "review/source-change-audit.json": {
    "bytes": 750,
    "sha256": "7b1110627c51293631dee4d573377068ebafc011659bbb307021471fa68cea00"
  },
  "review/strict-packaging-controls.json": {
    "bytes": 994,
    "sha256": "5122134c823eb3af1def35855db81f4dc2ed52ba831c7e8b83a870091b086c83"
  },
  "REVISION_NOTES.txt": {
    "bytes": 1762,
    "sha256": "a96f97b1f7714067769252cad756e403b0d3ea866cfab9318a341547aff07e20"
  },
  "supplement/arithmetic_controls.py": {
    "bytes": 1749,
    "sha256": "fe3fb70c81c36aff364bdfc6db225fd21547ccaf32e7c2bbdf3e464ae18011c1"
  },
  "supplement/baseline/adaptive_map.py": {
    "bytes": 1192,
    "sha256": "56eb076417b020c38e8ae79ba3f44619c7557049bbc818a9f75f4e46f3357b23"
  },
  "supplement/baseline/check_evidence.py": {
    "bytes": 3250,
    "sha256": "41471c4b425ad9102d477736958639a4f2c745e63d2d67724613758c97401464"
  },
  "supplement/baseline/check_manuscript.py": {
    "bytes": 5945,
    "sha256": "cdf3871631e13515d42635de82ea2111bde9936b0b803b69d12bdf1a08421d64"
  },
  "supplement/baseline/classify_windows.py": {
    "bytes": 3063,
    "sha256": "5a76d18578464201eaa32e0ab6ce7463e71161ddd35c9eeec0836e30dba988cf"
  },
  "supplement/baseline/explore.py": {
    "bytes": 1920,
    "sha256": "d2322cc7fff1981f6dcdbd778b1d78ab815a9b0675e17fee6ff4e799ee5fed35"
  },
  "supplement/baseline/finite_summand_mechanism.py": {
    "bytes": 1714,
    "sha256": "02b5bd51dc489aeb4ceb45a26d1fa5852ac04d2561b0c65b32c19df3450dc982"
  },
  "supplement/baseline/interval_engine.py": {
    "bytes": 4381,
    "sha256": "bcc2f1fe0d650cfa204303ec373950f2e549d6bc06e3900a4b7ef94bacb572ff"
  },
  "supplement/baseline/mechanism_review.py": {
    "bytes": 3203,
    "sha256": "bfce354d520ca81fd9cfb733d51c7beb0b9ffa74209a9549826b32206406f35e"
  },
  "supplement/baseline/one_summand.py": {
    "bytes": 5187,
    "sha256": "72ee0d667e4f2d356ffbd38e15ba55df46823a113ad3a62e53e0720626c42d03"
  },
  "supplement/baseline/rational_check.py": {
    "bytes": 7337,
    "sha256": "f5f8f713f07ea4e670432574c43d5f81144d78fedaeea736ce01e1049592fc92"
  },
  "supplement/baseline/reproduce_all.py": {
    "bytes": 1852,
    "sha256": "d26b65f57801bb98496ba769bfec03826516e7c741084d3c3195972f73be67cb"
  },
  "supplement/baseline/scan.py": {
    "bytes": 1729,
    "sha256": "a9d4dd4f32c9211961b2870fcf915f6cd27923e122304ca5e69fff1c9fe8f5c9"
  },
  "supplement/baseline/taylor_cover.py": {
    "bytes": 5845,
    "sha256": "2a49efde1b6bb8d8fd99ddd8a714515f6d4012d143734e86f298e15a14c04dfe"
  },
  "supplement/baseline/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "supplement/baseline/transition_windows.py": {
    "bytes": 2138,
    "sha256": "2ac01cf7979ecedc932e0084cb2dfaeb21bb0e19da66a8d2770fe364a17f5fe3"
  },
  "supplement/baseline/verify_root_inputs.py": {
    "bytes": 797,
    "sha256": "9cfbd60142ec15b8950e9e67e4f9798e1449129da7e216a60454886667203624"
  },
  "supplement/check_evidence.py": {
    "bytes": 2865,
    "sha256": "d2c46460a33f660add345b95462617874fa3f4efa4080b11dfd5f71283c07d5a"
  },
  "supplement/check_manuscript.py": {
    "bytes": 6372,
    "sha256": "c0da6a0158fd4d4d8caafe41e2d698b41ae0c7351ed9e6f377a8bdb33be214a7"
  },
  "supplement/checker_controls.py": {
    "bytes": 3163,
    "sha256": "aef28d0981ec2c68f15a03745d3da09b6af39f12aa37d57d67288b42c6194a57"
  },
  "supplement/extension/classification/adaptive_map.py": {
    "bytes": 1194,
    "sha256": "45a02f3202d6a5832a567140e73022dfdad8e53b67db242d84b298f5fa104d8c"
  },
  "supplement/extension/classification/check_coverage.py": {
    "bytes": 3944,
    "sha256": "e340fc287440df3acb1738b1f05468fa362e23d372cd5f1a59a4693c18d0091c"
  },
  "supplement/extension/classification/classify_windows.py": {
    "bytes": 3065,
    "sha256": "aa7f4d2aa49c4eb194c5edc12ed47bc59b25ea03b06fbb4e09d2066bee1571e7"
  },
  "supplement/extension/classification/finalize.py": {
    "bytes": 1047,
    "sha256": "80013441330f00500b7fa3c7dfbc46c8a24e0353d82908f0772ecc62b3cb4dc0"
  },
  "supplement/extension/classification/interval_engine.py": {
    "bytes": 4372,
    "sha256": "ba56411f08b1935144caa02bbd47ccb816f40288f11beee52f86c7def26d762d"
  },
  "supplement/extension/classification/negative_controls.py": {
    "bytes": 2866,
    "sha256": "b3fa3a8ad02d96adf6d9056c83a7604b9f3ccb4991db549cdffb4b1546aa6dd3"
  },
  "supplement/extension/classification/point_scan.py": {
    "bytes": 403,
    "sha256": "d60dfb9e76d7adc84c2681d416e3a1d387003b58e15756a3944d26e64cfae263"
  },
  "supplement/extension/classification/reproduce.py": {
    "bytes": 353,
    "sha256": "125b4d8960a0f296751b1f3ac9a1332228d3d1b555a857527452235eff79a863"
  },
  "supplement/extension/classification/scan.py": {
    "bytes": 1729,
    "sha256": "250267bd339a39628602727135ba0eb881729c952a22b0d1a8ccfe10027c70b7"
  },
  "supplement/extension/classification/taylor_cover.py": {
    "bytes": 5845,
    "sha256": "65db2dfa40ed56478f45465907e6406acb4d9f00de0299ef9e7c113751f0ca2d"
  },
  "supplement/extension/classification/transition_windows.py": {
    "bytes": 2978,
    "sha256": "f9c7d47cb8d758c308810f2c0986efefad667deeba25bc3df8461fb7e201af3d"
  },
  "supplement/extension/gram/explore.py": {
    "bytes": 1920,
    "sha256": "d2322cc7fff1981f6dcdbd778b1d78ab815a9b0675e17fee6ff4e799ee5fed35"
  },
  "supplement/extension/gram/extension_gram_certificates.json": {
    "bytes": 2194,
    "sha256": "a6517c51e02a54e3b2df4eb43a225d0a70ca4aeee313cbe82186acdd9ad7ee3a"
  },
  "supplement/extension/gram/gram_certificates.json": {
    "bytes": 11040,
    "sha256": "0929e9b3f63a4ba651d53338cbe9ea63e915b2185e9d93d599e7dd67dd425178"
  },
  "supplement/extension/gram/gram_certificates.py": {
    "bytes": 3286,
    "sha256": "b350e7e2d2e1c07d53c6c55c7474061c7ed09e3e44c3244588951a0f94d9c7be"
  },
  "supplement/extension/gram/interval_engine.py": {
    "bytes": 4381,
    "sha256": "bcc2f1fe0d650cfa204303ec373950f2e549d6bc06e3900a4b7ef94bacb572ff"
  },
  "supplement/extension/gram/replay_gram.py": {
    "bytes": 1969,
    "sha256": "6b4b2aeff92c80ac7d088e831f12375ba95c930ebf76a212c20732bc4c919d1c"
  },
  "supplement/extension/gram/robust_gram_certificates.json": {
    "bytes": 10566,
    "sha256": "f28e1dae907504fc10c284b3ac42e8976e52521355572e5d8a435b9d5b4cfc99"
  },
  "supplement/extension/gram/short_gram_certificates.json": {
    "bytes": 5527,
    "sha256": "696bf1b1b0af1d02c311486aa6bff1c74b021a5631ff731bd7e526d013311b6e"
  },
  "supplement/extension/review/exact_lemma_controls.py": {
    "bytes": 3358,
    "sha256": "5cd5d0501d6a037be2a9a2bbada52557ceb4aa622f47013d5ef90de9596d5bdc"
  },
  "supplement/extension/review/gram_controls.py": {
    "bytes": 1401,
    "sha256": "5c1095d2ff660f1ea77f4af12510274c74d9f3aa6aa862551c5f4079e3e95249"
  },
  "supplement/extension/review/rational_arithmetic.py": {
    "bytes": 7337,
    "sha256": "f5f8f713f07ea4e670432574c43d5f81144d78fedaeea736ce01e1049592fc92"
  },
  "supplement/extension/review/rational_gram.py": {
    "bytes": 3911,
    "sha256": "47e89528452265da78225e153965dfcd2405f846451ff36c2f1f50ee2559eeee"
  },
  "supplement/extension/review/rational_transitions.py": {
    "bytes": 5400,
    "sha256": "757a67db09350cc57331f76ca4a4f25599eeae86e11a9f2d60a91e6229f47e45"
  },
  "supplement/extension/transition/baseline_supplement/explore.py": {
    "bytes": 1920,
    "sha256": "d2322cc7fff1981f6dcdbd778b1d78ab815a9b0675e17fee6ff4e799ee5fed35"
  },
  "supplement/extension/transition/baseline_supplement/interval_engine.py": {
    "bytes": 4381,
    "sha256": "bcc2f1fe0d650cfa204303ec373950f2e549d6bc06e3900a4b7ef94bacb572ff"
  },
  "supplement/extension/transition/baseline_supplement/PROVENANCE.json": {
    "bytes": 1281,
    "sha256": "45dbbcaf3c8f5c664c0c69de60ff76153e4689ab24ba3a3b14fff31c6675ad03"
  },
  "supplement/extension/transition/baseline_supplement/taylor_cover.py": {
    "bytes": 5845,
    "sha256": "2a49efde1b6bb8d8fd99ddd8a714515f6d4012d143734e86f298e15a14c04dfe"
  },
  "supplement/extension/transition/baseline_supplement/transition_inputs.json": {
    "bytes": 1673,
    "sha256": "1c12667535d751b4530358e11615ff2e8445c1b6c4f8670db5409ff86a006f9b"
  },
  "supplement/extension/transition/extension_transition_bounds.py": {
    "bytes": 3256,
    "sha256": "aa75b0ea3065dc7ede0a0aef184e4c7af556fe5389539044bdf5746409077f65"
  },
  "supplement/extension/transition/summand_transition_bounds.py": {
    "bytes": 7531,
    "sha256": "953b8c2feb66d8bc849f087931cf54937462847e2372507da3579dd4da879240"
  },
  "supplement/README.txt": {
    "bytes": 3398,
    "sha256": "d75c925bbc464a8bb3cca4d957ca872b1d3da380392bdb10245e0bc450420c88"
  },
  "supplement/reproduce_all.py": {
    "bytes": 3483,
    "sha256": "f1aa5f409cf5443f81edcb919ac1c37fbd965d534d3ce589097ed620dc1eb47b"
  },
  "supplement/SOURCE_PROVENANCE.json": {
    "bytes": 10811,
    "sha256": "478e540563eadf2a07bccd6bfa2611ed91c016e58c5e5968fd2a45a1c9d6f730"
  },
  "verify_integrity.py": {
    "bytes": 548,
    "sha256": "efce7644e5a834ff29abce9c41b2551f5b7d4a5b17576a0be93d3add8610fd92"
  }
}