{
  "title": "Critical edges in labelled complete graphs",
  "entry_point": "main.tex",
  "verification_command": "python3 anc/verify_all.py",
  "python_requires": ">=3.9; standard library only; assertions enabled",
  "files": [
    {
      "path": "anc/ab-boundary-certificate.json",
      "bytes": 962,
      "sha256": "5ae28dc8cd75e22fddc40a9961ba2824f8d7d190ea8c69f502333d2d192e05d3"
    },
    {
      "path": "anc/ab-good-domains-certificate.json",
      "bytes": 746,
      "sha256": "91e16b41411da5d7704c21028e3af237b1b16aeffe374e1e36e3a3484a46ade4"
    },
    {
      "path": "anc/boundary_base.py",
      "bytes": 2367,
      "sha256": "d0db0646df05fca99045e172b9809c5d5db1927efe1966e74585b49f7330facc"
    },
    {
      "path": "anc/cd-boundary-certificate.json",
      "bytes": 4213,
      "sha256": "5e49847e469f9343f8b8e9d5c7688b539b0dd2188b120a7f6d856615aa7ac916"
    },
    {
      "path": "anc/cd-domain-certificate.json",
      "bytes": 100848,
      "sha256": "d1f876a1dcadc7857b0c22dedc5cedeca662762b9616dec99dd6d503950a5022"
    },
    {
      "path": "anc/check_package.py",
      "bytes": 1027,
      "sha256": "1047535970ca80a5ca5cb85813d6b96eabc5a9ef220828c2b0ad858ee43dc335"
    },
    {
      "path": "anc/cp-large-certificate.json",
      "bytes": 106132,
      "sha256": "e2e6e071478fab083036a4e2f290e4c525cbd4960eec919e2d5162e01c09484a"
    },
    {
      "path": "anc/cp-small-certificate.json",
      "bytes": 124384,
      "sha256": "ac89f92acc3952e39d68119b0ed44a3f98453f1081e961cd79dd14cb96db6a12"
    },
    {
      "path": "anc/exclusion-certificate.json",
      "bytes": 1570,
      "sha256": "74544be074ec957e956b95482eb4183e7a499f47d2be4bd45fbe108eefd3e666"
    },
    {
      "path": "anc/general-certificate/cleanup-certificates.json",
      "bytes": 1329,
      "sha256": "edd67b046f0764b8be9a99a87e42ee77158ae077ab92910e26abf6dff2c53561"
    },
    {
      "path": "anc/general-certificate/path-budget-certificates.json",
      "bytes": 7980,
      "sha256": "5cffb2a83b7e38dc717a697f4a481bf382686cab70b8fb7b311298bc0cd77878"
    },
    {
      "path": "anc/general-certificate/verified-general-table.json",
      "bytes": 9777,
      "sha256": "9e48eeafcda6f8263b78e37bcf8f6126b460a24771a954024af4dcad41587706"
    },
    {
      "path": "anc/general-certificate/verify_general.py",
      "bytes": 8300,
      "sha256": "875f553982209c3f2ece0c7a7d3efdc9c8429167f132324eefc643828a9879f2"
    },
    {
      "path": "anc/good-domain-new-certificate.json",
      "bytes": 4528,
      "sha256": "bf88d9908d4b1b438e7172395b5dfa8cfa6e4e25b22ec028e855222046088a56"
    },
    {
      "path": "anc/localize.py",
      "bytes": 1907,
      "sha256": "d79d0cbeacfa4d34e9594ac8fbaa599c40162fafb1dc68411916cdb4a62f19f6"
    },
    {
      "path": "anc/lower-certificate/atom-certificate.json",
      "bytes": 1092652,
      "sha256": "9a94929442d1162697bbc0b27aa684ba42ff6e38102f513884aa3dc9e44681f6"
    },
    {
      "path": "anc/lower-certificate/check_neutral_pairs_exact.py",
      "bytes": 3203,
      "sha256": "14e73d13fdb83784d068ce0c8d83d93bfb06e61c4e7ba0b83ed88841da1042d6"
    },
    {
      "path": "anc/lower-certificate/neutral-pair-exact-results.json",
      "bytes": 9551,
      "sha256": "7dda0ab47c69d7816fbcdfe4475b05138a6a88ea86c72b2b447037df15893cfe"
    },
    {
      "path": "anc/lower-certificate/root-intervals.json",
      "bytes": 665,
      "sha256": "3f1aefc042a33e2eeec35b2027bd5dc6a0eb9c6ee6effd423cc74dc773132c14"
    },
    {
      "path": "anc/lower-certificate/stationarity-input.json",
      "bytes": 7482,
      "sha256": "3f55e6988b237528e0b736d68facae6ade5ec512abd3b5330ab07990569d5852"
    },
    {
      "path": "anc/lower-certificate/verify_algebraic.py",
      "bytes": 6356,
      "sha256": "2967b2e00c40c82da951147d82888cee2ce434fb503c48f8b289739f574c8a4b"
    },
    {
      "path": "anc/lower-certificate/verify_atom_stability.py",
      "bytes": 4126,
      "sha256": "382396168a312ad6396aca85eee9b290adab1da411ec0788cf061b59d2dc4faa"
    },
    {
      "path": "anc/lower-certificate/verify_elimination_independent.py",
      "bytes": 4455,
      "sha256": "3a5cd3925d262680b6d4a5f0e2623340f152577da40af599f1b3335c7c6d09c4"
    },
    {
      "path": "anc/lower-certificate/verify_flow_bound.py",
      "bytes": 6020,
      "sha256": "1c1b5a4dc3b058c7223d0f2c8fc32f182f585fe8fa34c646abb5d90c12d39887"
    },
    {
      "path": "anc/lower-certificate/verify_stationarity.py",
      "bytes": 9021,
      "sha256": "a19181340786564d33ee8bc2d1e044a1842c284938afbea5b56ffb35c7daf414"
    },
    {
      "path": "anc/previous_certificate.py",
      "bytes": 1963,
      "sha256": "1cfb47272edc4a1a06f133c5cc9c76d590a1ccfebc8e572aca65c21d6168821d"
    },
    {
      "path": "anc/small-imbalance-certificate.json",
      "bytes": 2046,
      "sha256": "2165ebae93280efc1d7a0a7043e03b0cc945d663996ef107e98090a9c9d3fa6b"
    },
    {
      "path": "anc/swap-cap-certificate.json",
      "bytes": 4144209,
      "sha256": "fe0f15d5268ac98187dd45253ab26d98402a840b8e032b54b204e9181750bcee"
    },
    {
      "path": "anc/verify_ab_boundary.py",
      "bytes": 2682,
      "sha256": "4b769e6b254279c57450086ea5ada4269125cf03a4692e08b39727e15528ce78"
    },
    {
      "path": "anc/verify_ab_cover.py",
      "bytes": 1445,
      "sha256": "cad5679a5cf3a326d4aef07547f005a436918d43a5d609f9276862de3d894ca1"
    },
    {
      "path": "anc/verify_ab_good_domains.py",
      "bytes": 1336,
      "sha256": "4231e57592a192d99035bdbb71e2d2f2f489a5c27900201e662df2a89c175fe9"
    },
    {
      "path": "anc/verify_all.py",
      "bytes": 936,
      "sha256": "13609ea73c874bf289ee2e57fcbdcf64d3b1d321fbb82f5f04de93390a882e8c"
    },
    {
      "path": "anc/verify_cd_boundary.py",
      "bytes": 2953,
      "sha256": "ce9802bd59524b3bd722f953821f672246bf0f5aa97d28d19534530655f8d941"
    },
    {
      "path": "anc/verify_cd_domain.py",
      "bytes": 2884,
      "sha256": "850e35bcfd4e6ef80e4d827c58ef036d82302e5ebd72ed7c24138bab4f3c99e0"
    },
    {
      "path": "anc/verify_cp_large.py",
      "bytes": 4625,
      "sha256": "2f83c570af4e7ffd6e12532e38ab29f72b546e76e5c2639462ddc584cad57247"
    },
    {
      "path": "anc/verify_cp_small.py",
      "bytes": 4641,
      "sha256": "498e2c8bf63add3cce49caf3d29ed91f14eee6fa9948d8df0d6a3c6f34234867"
    },
    {
      "path": "anc/verify_exclusions.py",
      "bytes": 2530,
      "sha256": "09597730e661049f857c9b2f1367a9aa0a5923e6598c94f6f416366cf3c2fc28"
    },
    {
      "path": "anc/verify_global.py",
      "bytes": 4559,
      "sha256": "42e808db943c06cd3c950f830825ba66cdba0ad46b88a68c4e66e6f775577126"
    },
    {
      "path": "anc/verify_good_domain_new.py",
      "bytes": 3079,
      "sha256": "6dcef9b4043b29133644b20c8110cc696a03f13a2b3b327d9dcd2ac3ae7290c2"
    },
    {
      "path": "anc/verify_high_c.py",
      "bytes": 993,
      "sha256": "b06d2087c14f233c0f5562958bbdddffcb599c1265bb8a00dccd1744214be30e"
    },
    {
      "path": "anc/verify_small_imbalance.py",
      "bytes": 2021,
      "sha256": "1daabdb3b865331bb1e22f8e2fc5b12b02cad2db13d11e7200811d87419b176d"
    },
    {
      "path": "anc/verify_swap_cap.py",
      "bytes": 4565,
      "sha256": "8da6b804302ea38b54ecd1513ba3f80ddfe8b6efa4f8b9995552a2d62e6a4deb"
    },
    {
      "path": "anc/verify_z_domain.py",
      "bytes": 3033,
      "sha256": "c297e0a408dd8bf157479526d4700eb8dfbe9ee01444dd4bd49b97411e549e4c"
    },
    {
      "path": "anc/z-domain-certificate.json",
      "bytes": 11065,
      "sha256": "f4b9eb70e00bd77742a240ec40c3047d86f0af338ed48a70df479b6e6d79d020"
    },
    {
      "path": "ap.tex",
      "bytes": 8115,
      "sha256": "9b7d62b6498a9c08ad6fd5ec36f7508f8ffd1e3d3f3079fc9fd828a2447d6853"
    },
    {
      "path": "auxiliary-ledgers.tex",
      "bytes": 4420,
      "sha256": "f54ed7420c3fa7e51cdee8bcbdd3e756d7331560ac32d166c1549ecea314f2b8"
    },
    {
      "path": "base-certificate.tex",
      "bytes": 7437,
      "sha256": "5edc2a03dc6a57d75f834136a18297f90b215416cb2966b7ff8189c1506d76c1"
    },
    {
      "path": "certificate.tex",
      "bytes": 16927,
      "sha256": "d5dda939f83d5a688c49cef8d6f597a809d8c6d6a074641028e05fb1f2f80025"
    },
    {
      "path": "core-derivation.tex",
      "bytes": 5068,
      "sha256": "cb8f2ee9114ee7e28423231f7603f3887d3529a02cec89dda13ee8940570f9ba"
    },
    {
      "path": "dense-tutte.tex",
      "bytes": 3456,
      "sha256": "6bb8ab3507ad0669a872904145178b495f043b9e54d27a92a35fd515c902abe1"
    },
    {
      "path": "foundations.tex",
      "bytes": 8537,
      "sha256": "366711ed2aea7afe5eb32a2e54bd3957e813c4eaff628463b5993a79f2054583"
    },
    {
      "path": "framework.tex",
      "bytes": 4455,
      "sha256": "a9f91e32a478e529d2de57171efe35173b907c551a54c195aae5ecdc0c418fc9"
    },
    {
      "path": "general-budget.tex",
      "bytes": 4683,
      "sha256": "b85aefad0030f66a4c4876985c228006b64e14e8e7f848a0a62882ce400d2172"
    },
    {
      "path": "general-layers.tex",
      "bytes": 9822,
      "sha256": "667c9b60804c0c4de4ecfa215fa13ad53eafc059c3604a9d48f292756f9a50a6"
    },
    {
      "path": "general-lower.tex",
      "bytes": 5823,
      "sha256": "6a4390f7d90cf4004b5c0bc893552215dc3c4b1f881a1566965e148c2d63588f"
    },
    {
      "path": "general-paths.tex",
      "bytes": 10697,
      "sha256": "a712ed974380d169d11e4a1d58f9964d769617e4597412a3abef5e93312dea37"
    },
    {
      "path": "intersection.tex",
      "bytes": 10885,
      "sha256": "3e8c6ffce343c3db618cfbcb0b69708f82e97f8adc63c216e9b6d510dd69beea"
    },
    {
      "path": "introduction.tex",
      "bytes": 9302,
      "sha256": "935d883a0108579c4cdee738e3031b494f3fcf18798db500c5221004514278c6"
    },
    {
      "path": "joint-packing.tex",
      "bytes": 2905,
      "sha256": "2bd9a32ab88acacfa67ac0aa5ed07b575f74154c722c67ac111def506fdf8232"
    },
    {
      "path": "lower-directional.tex",
      "bytes": 5744,
      "sha256": "0b3ff6732d2049b4a5d8c6f20c7d7345a3287fed869afea5aff6f3540dbc63c7"
    },
    {
      "path": "lower-stability.tex",
      "bytes": 7208,
      "sha256": "ac6d93211eb1c6d6d07195fb89aa33c0c0115dc22012ad6751a52c6f4afbc140"
    },
    {
      "path": "lower.tex",
      "bytes": 10811,
      "sha256": "2a6bbb07158df92ff6cf580f1abccb9630df72e7d0773e3ab2ab3750eb2f1193"
    },
    {
      "path": "main.tex",
      "bytes": 2651,
      "sha256": "8c103d5f4f810ec7d676a865287e2e7921ba5d0f2948890aa5aafbf4946f4ae3"
    },
    {
      "path": "packing.tex",
      "bytes": 4062,
      "sha256": "4201d82e3c13009c9bb0b6e7522a3d986064901f3793cbc1ebddcd07f45afadf"
    },
    {
      "path": "proof.tex",
      "bytes": 70,
      "sha256": "c40c97225cfdce8dd5a8da6ed142f21bdc3e12307577253059c15ef412a3be98"
    },
    {
      "path": "rank-coupling.tex",
      "bytes": 6689,
      "sha256": "81dc229c147908a40bea39c8f5fed152739dbeaf49e57f0ad81d92d9a9c6c00a"
    },
    {
      "path": "references.tex",
      "bytes": 2402,
      "sha256": "8b8b9f559b600c86289c6bb156ffbb9c97088a4fb59771455c7e46cbd30d93fb"
    },
    {
      "path": "reproducibility.tex",
      "bytes": 5351,
      "sha256": "37fc715d9a8420acdde9889bdeead395d7d01f71a9739ef23e5cfdef1b194415"
    },
    {
      "path": "reservoir.tex",
      "bytes": 13860,
      "sha256": "5347a561a9f2f5f375337e025c4a107a27bf815ad6bebebddb1172b8ceca3e56"
    },
    {
      "path": "resources.tex",
      "bytes": 5065,
      "sha256": "8bb14d29d85021875dbadca90b8021b0edae6b6f9c1a8492cfdf1aee59fbf6f9"
    },
    {
      "path": "swapped.tex",
      "bytes": 16715,
      "sha256": "141213b287ceb18a3a3d90816496cd88b2ee74f78da6d34cfa2d04355155b69a"
    },
    {
      "path": "top-capacity.tex",
      "bytes": 5364,
      "sha256": "0c8049562478ad960a7cf19cc73cba3bda6e55b8758a91680801b497002d9054"
    }
  ]
}