)]}'
{
  "HEAD": {
    "value": "c60730422e758ef1cebe7aeddf2dda31c996bf04",
    "target": "refs/heads/main"
  },
  "refs/changes/19/1966319/1": {
    "value": "f8ad19d2b2b5a08fdbf496a6437fae2734b60f93"
  },
  "refs/changes/19/1966319/meta": {
    "value": "7c964b52c5732131589ba2e409bc457eaf921546"
  },
  "refs/heads/main": {
    "value": "c60730422e758ef1cebe7aeddf2dda31c996bf04"
  },
  "refs/heads/upstream/anni-sat-regression": {
    "value": "f8716676c72ff220c2eb16b0fdc2b806e320fc31"
  },
  "refs/heads/upstream/api_contracts": {
    "value": "a16c909beffeedf6dc6e5e6b62e6f93fd908b18a"
  },
  "refs/heads/upstream/assert-as-builtin-unreachable": {
    "value": "9a59b16f00d6fca726e4007f10bb5408f37b2ff1"
  },
  "refs/heads/upstream/autarkies": {
    "value": "af2328eff1190ee559fca90eefb3df97b55f273f"
  },
  "refs/heads/upstream/cadical-2025-mega-merge": {
    "value": "c0274ef37992d4c46258c90ebbfe8cb42da0e112"
  },
  "refs/heads/upstream/ccadical-val-issue-108": {
    "value": "6466809cd5a4ce32fd746250778153a781f41659"
  },
  "refs/heads/upstream/ccc-rewrite-lhs": {
    "value": "b933c906f997faeac9dae40acadbb312e7ef92ed"
  },
  "refs/heads/upstream/conflict-rephasing": {
    "value": "678b23d4c9f87c11289e7454fc5e77e35d98b1ec"
  },
  "refs/heads/upstream/congruence": {
    "value": "4998a4eddea35914ddc4a3e3813bfffada314c3a"
  },
  "refs/heads/upstream/congruence+lrat": {
    "value": "b2725af99437514cd7adc2dc345675a10927047a"
  },
  "refs/heads/upstream/congruence-fam": {
    "value": "2e53248ce9045e679616c969fab7bdae935cfb26"
  },
  "refs/heads/upstream/constraints": {
    "value": "bc806499e59f5ce2852b3df0e95e3091682f3930"
  },
  "refs/heads/upstream/development": {
    "value": "fd9fd9193e2917b4f59fae991d7bd969ee3c63c5"
  },
  "refs/heads/upstream/elim-less": {
    "value": "a0500cdad086d8c276e4d44d85b76770dfdc6813"
  },
  "refs/heads/upstream/encapsulate-literals": {
    "value": "c065d2cf6dd7804da38362841f1c92c4a9d4101d"
  },
  "refs/heads/upstream/explore": {
    "value": "b10be5f53e6fd270f69f5348b9f5d347bc400e96"
  },
  "refs/heads/upstream/fix-witness-copying": {
    "value": "4c5963a1a41594bab5300b8178c784d4b9934b11"
  },
  "refs/heads/upstream/hashmap-for-external-lits": {
    "value": "3f305705e5af7bc9555a4691509f327451f8cf07"
  },
  "refs/heads/upstream/id-on-witness-stack": {
    "value": "d28a284b13b55caf91034cbff44da0c8fc463b91"
  },
  "refs/heads/upstream/ilb-assumptions": {
    "value": "9892b958939383312846a399bc29e54051d3472e"
  },
  "refs/heads/upstream/improve-vivify": {
    "value": "96c6021650e7e8bd0d199035f8cd7a9eb957552e"
  },
  "refs/heads/upstream/improve-walk": {
    "value": "6d8c6547e07fbce7b0dedafca1e2fd6fd17556fb"
  },
  "refs/heads/upstream/ipasirup-for-rc2": {
    "value": "431e290d52f1ab73c8a4b01285a6d140b5afbebd"
  },
  "refs/heads/upstream/ipasirup-lidrup": {
    "value": "34ced3f1f03b7ca6f7ff80f25738846f07d955d1"
  },
  "refs/heads/upstream/ipasirup-refinements": {
    "value": "73873e31be0e577ea86dc3f4b4d91d7298c22642"
  },
  "refs/heads/upstream/kitten": {
    "value": "5acb12a800dd349e9739b338041effe1d059df54"
  },
  "refs/heads/upstream/lazy-reason-extraction": {
    "value": "611d393fb1d538bfa6a7af9f618d11141d3123ad"
  },
  "refs/heads/upstream/master": {
    "value": "c60730422e758ef1cebe7aeddf2dda31c996bf04"
  },
  "refs/heads/upstream/maxsat": {
    "value": "99556cde7fc799e5f525e11eadd3d87a065f18e8"
  },
  "refs/heads/upstream/more-tassat": {
    "value": "061cedaa20650b9a1da808f9ce5df4fbabd611d0"
  },
  "refs/heads/upstream/mstats": {
    "value": "4cdf043d7b22739e5791811b24ddc155783f1bdd"
  },
  "refs/heads/upstream/muumit": {
    "value": "735254a8a97fbb117ff503865c5578075183b775"
  },
  "refs/heads/upstream/no-tify": {
    "value": "3a4a9917bbab46b980026112456eec1ae5bcd5ca"
  },
  "refs/heads/upstream/no-tify-no-hash": {
    "value": "7cdbc3aba824d16b4b443628ecbc0277e7038202"
  },
  "refs/heads/upstream/otfs-fix-bumping": {
    "value": "89f09e82a6deda8a2dd96960efb2c1c902c852f2"
  },
  "refs/heads/upstream/performance-regression-maxhs": {
    "value": "8430daf040b7418ecd6b40c2f82ff4fa8c4960d0"
  },
  "refs/heads/upstream/phase-bava": {
    "value": "607476b4480372bd47722af54bf0ae052564c967"
  },
  "refs/heads/upstream/pick-earliest-conflict": {
    "value": "30235542f07a58df1a14150ce6037cfafaaff8c7"
  },
  "refs/heads/upstream/probe-in-vivify": {
    "value": "e2087e7dbc6c65f59f339427420ba3ed3ebfd765"
  },
  "refs/heads/upstream/propagate": {
    "value": "684d1df2f2037b5a9202452cbdea7f7ae528b1c9"
  },
  "refs/heads/upstream/pushpop": {
    "value": "0776b4ff5d43d6a1815935dbf3cec7c0079d39c7"
  },
  "refs/heads/upstream/randomize-model": {
    "value": "d321ea12f3ea3bc204ea3b867332da6ac206aaf8"
  },
  "refs/heads/upstream/reduce-memory": {
    "value": "4818a55e133d29fdf99f8a5ecb486620fa1e7fd3"
  },
  "refs/heads/upstream/reduce-memory-usage": {
    "value": "89a84269e73cd17f8212fd955f57e9eeb661405a"
  },
  "refs/heads/upstream/reimply": {
    "value": "2f4dd73a6b7879f95efe92c76446d58e127d6f4e"
  },
  "refs/heads/upstream/reimply-branch": {
    "value": "952d82817e1c526e8bb4a1adad35b68e6fb76bd9"
  },
  "refs/heads/upstream/rel-2.1.3-elevate": {
    "value": "a384d221a920d473b770df6a7221f35fc5d99e90"
  },
  "refs/heads/upstream/rel-2.1.3-elevate-inprocess": {
    "value": "a759b4fce2a32c8432eed0e892b4bb71e2ebf986"
  },
  "refs/heads/upstream/rel-2.1.3-elevate-new": {
    "value": "84ee2fb1575f9498b13ab8f7ef43247a87c5a462"
  },
  "refs/heads/upstream/rel-2.2.0-backports": {
    "value": "4198d817d0dcde5b1240eefbff70b555b7df2af9"
  },
  "refs/heads/upstream/rel-2.2.0-rc2+explore-incremental": {
    "value": "9189e047ade4dcc74ed5f0913709b427c6d78c31"
  },
  "refs/heads/upstream/rel-2.2.0-rc2+explore-incremental2": {
    "value": "f717d75a97fa46edf89aaf9f2059fc55184141ef"
  },
  "refs/heads/upstream/rel-2.2.1-elevate": {
    "value": "70336dac3cf7ffd351a5cefa767ca7fd6fa79bcf"
  },
  "refs/heads/upstream/rel-3.0.0-release-branch": {
    "value": "7b99c07f0bcab5824a5a3ce62c7066554017f641"
  },
  "refs/heads/upstream/rel-3.0.0-traverse-redundant-clauses": {
    "value": "55f70a4d8094e4fc32bc5b2e7ed1fbda34fe2e4f"
  },
  "refs/heads/upstream/rel-3.0.1-branch": {
    "value": "c60730422e758ef1cebe7aeddf2dda31c996bf04"
  },
  "refs/heads/upstream/rel3.0-backports": {
    "value": "8a2fdf30560ee3a60d575e75afa9678bfa4f659d"
  },
  "refs/heads/upstream/reserve-not-declaring-vars": {
    "value": "737288dc16ae34d91c000c0e97f771b288385bce"
  },
  "refs/heads/upstream/safe-popen": {
    "value": "b51c53954385a0734920c2aba87abc160822806b"
  },
  "refs/heads/upstream/shrink-glue-max-option": {
    "value": "ca9bff05c11bde5eae4912f9932871d1527e61d8"
  },
  "refs/heads/upstream/sort-last-irredundant-position": {
    "value": "0b7d112f402d52fb6889f29b4ee5570182207e3f"
  },
  "refs/heads/upstream/special-handling-binary-clauses": {
    "value": "3781f6ab9b3852b4584f2728bce0761a86450371"
  },
  "refs/heads/upstream/staged-for-release": {
    "value": "2df7b7fed0f9c522fd4cdf6e88cecad4cac8a2df"
  },
  "refs/heads/upstream/store_unit_clauses_only_when_needed": {
    "value": "6bd4792269ef6429ab56b4908c6cfc72083add06"
  },
  "refs/heads/upstream/strong-backtrack": {
    "value": "5ce2e0a5a676d5682622005d56a50e5266f3e29b"
  },
  "refs/heads/upstream/sweep": {
    "value": "31fc9d48e7faa08088a401f71242c133d34927d8"
  },
  "refs/heads/upstream/symmetries": {
    "value": "15fd18db483b5aaafe8f754a0f51f423835d6c4e"
  },
  "refs/heads/upstream/thread-safe-compressed-file-writing": {
    "value": "02fbc7d282f4ce2e60b1a5c2d93bdab8762eab4e"
  },
  "refs/heads/upstream/tool-paper-branch": {
    "value": "15899ff5ea186babe83895db0a33ea220e4bc612"
  },
  "refs/heads/upstream/transmutation": {
    "value": "31302d16a761cba1c88b179165c3832ea6ae9675"
  },
  "refs/heads/upstream/tumbling-literals": {
    "value": "1581e6c1710d218e88d2df9225d01c49b4397a05"
  },
  "refs/heads/upstream/warmup": {
    "value": "2ee1894c79687660106151c23cfa44949cc985a8"
  },
  "refs/heads/upstream/warmup-reducerate": {
    "value": "cfb238f183e9949124fe92323a7d773e5a2b1dfe"
  },
  "refs/heads/upstream/xfactor": {
    "value": "78d55c1baf34925473d57f6f7e3c7b127bd35918"
  },
  "refs/meta/config": {
    "value": "f8ad19d2b2b5a08fdbf496a6437fae2734b60f93"
  },
  "refs/tags/diff": {
    "value": "1d84fc43cfd911ee1a8845d17eb97d3b0ed3af9a"
  },
  "refs/tags/rel-06w": {
    "value": "b44ce4f0e64aa400358ae3a8adb45b24ae6e742c"
  },
  "refs/tags/rel-1.0.0": {
    "value": "c861e120ff564adb98ff3ed3518b176c29e97f3c"
  },
  "refs/tags/rel-1.0.2": {
    "value": "76624b268429a5a64e1dae66aa7312c4edfbe711"
  },
  "refs/tags/rel-1.0.3": {
    "value": "cb89cbfa16f47cb7bf1ec6ad9855e7b6d5203c18"
  },
  "refs/tags/rel-1.2.0": {
    "value": "18b56ab0749974e975ee1414b0388b1d1ef0fa1a"
  },
  "refs/tags/rel-1.2.1": {
    "value": "92d72896c49b30ad2d50c8e1061ca0681cd23e60"
  },
  "refs/tags/rel-1.3.0": {
    "value": "0b7a2b5764f845cff0b81ec16ebac20cb5cc138c"
  },
  "refs/tags/rel-1.4.0": {
    "value": "f726e9a2eb0a64a48954f6475d55d52a60ccb6be"
  },
  "refs/tags/rel-1.4.1": {
    "value": "7de33e293b64974d588b5e295eac76bae3a49828"
  },
  "refs/tags/rel-1.5.0": {
    "value": "abc09e3733e35fbd96e3b2f48598db10c551f52f"
  },
  "refs/tags/rel-1.5.1": {
    "value": "dae1b750864f54096433e48b8cc0ec9b5ff82cdb"
  },
  "refs/tags/rel-1.5.2": {
    "value": "ca9bff05c11bde5eae4912f9932871d1527e61d8"
  },
  "refs/tags/rel-1.5.3": {
    "value": "84b44398e6346f387182a4ab0fe23ddffd7c8570"
  },
  "refs/tags/rel-1.5.4": {
    "value": "5b1de206b193bcda4e9c865be3f477c26214f821"
  },
  "refs/tags/rel-1.5.5": {
    "value": "7f62bc977dcaac6c618a53042acdba834e7d2373"
  },
  "refs/tags/rel-1.5.6": {
    "value": "acdbaddb6720743b45066a19b0dfd121e9810e07"
  },
  "refs/tags/rel-1.6.0": {
    "value": "307fcab4ee7e4a269755c11f6abfb409cb976cb8"
  },
  "refs/tags/rel-1.7.0": {
    "value": "70f593ae33e96c5fb4257e9efdfe10a9aa637c50"
  },
  "refs/tags/rel-1.7.1": {
    "value": "bc21acf60c8cf38c66a66236863e33404259a8d9"
  },
  "refs/tags/rel-1.7.2": {
    "value": "ca530d752846e39c3a378b92bcc8ba601a46d5f9"
  },
  "refs/tags/rel-1.7.3": {
    "value": "38e073b389a877b0a0d3c91136d2443ab95fdeba"
  },
  "refs/tags/rel-1.7.4": {
    "value": "a9305c2f58e46b7f39fed4e9cf63d61d0dae7ef7"
  },
  "refs/tags/rel-1.7.5": {
    "value": "4b4ff194b1ba7ad05136970e2d9d18e2ca501570"
  },
  "refs/tags/rel-1.8.0": {
    "value": "831669281271639e0f5193380c1ae3a8b18379d2"
  },
  "refs/tags/rel-1.9.0": {
    "value": "1a52055bf10fa336d4498fcfc4e4a10bbcf8d2b7"
  },
  "refs/tags/rel-1.9.1": {
    "value": "24d047563f5f4c9e37a74c04fa30059b2bbc4214"
  },
  "refs/tags/rel-1.9.2": {
    "value": "ac48dd6447f90ef6cca2d953387089941d1b13f4"
  },
  "refs/tags/rel-1.9.3": {
    "value": "3d346f7a73080b276ae26fc2d15845747371fa1e"
  },
  "refs/tags/rel-1.9.4": {
    "value": "e71bd58937e6513f71bd8c93d91578785c592721"
  },
  "refs/tags/rel-1.9.5": {
    "value": "146207318796f094dcded87349a64f0c6927309e"
  },
  "refs/tags/rel-2.0.0": {
    "value": "2df7b7fed0f9c522fd4cdf6e88cecad4cac8a2df"
  },
  "refs/tags/rel-2.0.0-rc.5": {
    "value": "a3ebcea9903f7b71d28fb5133d81d5592b05089a"
  },
  "refs/tags/rel-2.0.0-rc.6": {
    "value": "1d84fc43cfd911ee1a8845d17eb97d3b0ed3af9a"
  },
  "refs/tags/rel-2.1.0": {
    "value": "31f9aae44947c673dc6190c9beb399acb9ffec6a"
  },
  "refs/tags/rel-2.1.1": {
    "value": "ab7e803f4e53224e9a699c54168d602835224d04"
  },
  "refs/tags/rel-2.1.2": {
    "value": "3ff42f04384489916f017acd6d5e7cbfa7257be7"
  },
  "refs/tags/rel-2.1.3": {
    "value": "f13d74439a5b5c963ac5b02d05ce93a8098018b8"
  },
  "refs/tags/rel-2.2.0": {
    "value": "14593f819cb242082b127396218bd60889409737"
  },
  "refs/tags/rel-2.2.0-rc2": {
    "value": "01e33a8aa5b8d615eaaa8ff7e26bab6282f3c6b5"
  },
  "refs/tags/rel-2.2.1": {
    "value": "4198d817d0dcde5b1240eefbff70b555b7df2af9"
  },
  "refs/tags/rel-3.0.0": {
    "value": "7b99c07f0bcab5824a5a3ce62c7066554017f641"
  },
  "refs/tags/rel-3.0.1": {
    "value": "c60730422e758ef1cebe7aeddf2dda31c996bf04"
  },
  "refs/tags/sc17": {
    "value": "7a80db8a54334347b870674d9b4cce6b97c1e503"
  },
  "refs/tags/sc18": {
    "value": "ecb1e3ed59777d1db304795f8bc6b6dd7eea7b9a"
  },
  "refs/tags/sc20": {
    "value": "45029f8fe26c828952c460ab4862ab28d6181484"
  },
  "refs/tags/sc2021": {
    "value": "808dfac53a37a9beb3f28817d1904b22448d4c2e"
  },
  "refs/tags/sr19": {
    "value": "594512134c8379de22c356d3c196c136d2d02427"
  }
}