{
  "CITATION.cff": {
    "bytes": 555,
    "sha256": "11a95b9ee85331e1e17e388798eb2fcf400d5134d1c0e3d6014d4d96b4f7f2dd"
  },
  "main.tex": {
    "bytes": 37856,
    "sha256": "b43e8f2412a0181b10a4c8c2db4dfd2fd3e9724c22dde126e70c1a3195d4d224"
  },
  "Minimum_Degree_Obstructions_Theta_Product_Consolidated.pdf": {
    "bytes": 122241,
    "sha256": "b1899c7ec5030e21b8c8ae84feaec884a0ebd8a618b2422e7c304aad813314e9"
  },
  "Public file hashes.json": {
    "bytes": 9998,
    "sha256": "63169d1da85104589085483c8ba98b16e9f9b4c9d86d4504bdbc3f4fff1d687c"
  },
  "Publication instructions.txt": {
    "bytes": 726,
    "sha256": "af8fd77cb97ce3633c2c1b53c07c371c8bfc01859e537526593fd039f47d051f"
  },
  "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/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/reproduce_all.py": {
    "bytes": 3483,
    "sha256": "f1aa5f409cf5443f81edcb919ac1c37fbd965d534d3ce589097ed620dc1eb47b"
  }
}