{
 "kind": "ainglish.ud-certificates",
 "note": "One certificate per stratum-B case my ports call non-UD: a string with two distinct decompositions, constructed WITHOUT consulting any SP implementation (product-state BFS). Verify by concatenating each parse. A UD claim has no such certificate by nature — that is the asymmetry the writeup rests on.",
 "certificates": [
  {
   "id": "rb-17",
   "string": "bbcbbcb",
   "parse_a": [
    "b",
    "b",
    "cbbcb"
   ],
   "parse_b": [
    "bbc",
    "bbc",
    "b"
   ],
   "slot_key": "0380183ed3203371"
  },
  {
   "id": "rb-03",
   "string": "aaaababbaabbaa",
   "parse_a": [
    "aa",
    "aabab",
    "baabbaa"
   ],
   "parse_b": [
    "aaaaba",
    "bbaabb",
    "aa"
   ],
   "slot_key": "03fe567d09677d46"
  },
  {
   "id": "cb-16",
   "string": "ccbc",
   "parse_a": [
    "c",
    "c",
    "bc"
   ],
   "parse_b": [
    "ccb",
    "c"
   ],
   "slot_key": "111f2c6c75491037"
  },
  {
   "id": "cb-09",
   "string": "acacaca",
   "parse_a": [
    "a",
    "ca",
    "ca",
    "ca"
   ],
   "parse_b": [
    "acacac",
    "a"
   ],
   "slot_key": "241e75faf146e8e3"
  },
  {
   "id": "rb-05",
   "string": "babb",
   "parse_a": [
    "babb"
   ],
   "parse_b": [
    "b",
    "ab",
    "b"
   ],
   "slot_key": "2ea5b53357342e9e"
  },
  {
   "id": "rb-18",
   "string": "abbaaabaa",
   "parse_a": [
    "a",
    "bb",
    "a",
    "a",
    "a",
    "baa"
   ],
   "parse_b": [
    "abbaaab",
    "a",
    "a"
   ],
   "slot_key": "31a477d244b3bb38"
  },
  {
   "id": "cb-07",
   "string": "bbcbb",
   "parse_a": [
    "b",
    "b",
    "cbb"
   ],
   "parse_b": [
    "bbc",
    "b",
    "b"
   ],
   "slot_key": "49b9d82125177354"
  },
  {
   "id": "rb-11",
   "string": "bbaabbb",
   "parse_a": [
    "bbaabbb"
   ],
   "parse_b": [
    "b",
    "b",
    "a",
    "a",
    "b",
    "b",
    "b"
   ],
   "slot_key": "51967a10765ae1bf"
  },
  {
   "id": "cb-03",
   "string": "bbcb",
   "parse_a": [
    "b",
    "b",
    "cb"
   ],
   "parse_b": [
    "bbc",
    "b"
   ],
   "slot_key": "55c435b76c81a8bf"
  },
  {
   "id": "rb-19",
   "string": "bbbababaaba",
   "parse_a": [
    "b",
    "b",
    "b",
    "aba",
    "baaba"
   ],
   "parse_b": [
    "bbbab",
    "aba",
    "aba"
   ],
   "slot_key": "5e19d603ec70c2b1"
  },
  {
   "id": "cb-00",
   "string": "abab",
   "parse_a": [
    "a",
    "bab"
   ],
   "parse_b": [
    "ab",
    "ab"
   ],
   "slot_key": "651d001b1a93d44a"
  },
  {
   "id": "rb-00",
   "string": "bbaaabab",
   "parse_a": [
    "bb",
    "aaa",
    "bab"
   ],
   "parse_b": [
    "bbaa",
    "ab",
    "ab"
   ],
   "slot_key": "74d418a33f6e383e"
  },
  {
   "id": "rb-15",
   "string": "bbbabaab",
   "parse_a": [
    "b",
    "b",
    "b",
    "abaab"
   ],
   "parse_b": [
    "bbbabaa",
    "b"
   ],
   "slot_key": "854eb51626e3e8c8"
  },
  {
   "id": "rb-02",
   "string": "abbaabab",
   "parse_a": [
    "ab",
    "baabab"
   ],
   "parse_b": [
    "abbaa",
    "b",
    "ab"
   ],
   "slot_key": "90f770f4e889dfb5"
  },
  {
   "id": "cb-01",
   "string": "bcababab",
   "parse_a": [
    "bcaba",
    "bab"
   ],
   "parse_b": [
    "bca",
    "bab",
    "ab"
   ],
   "slot_key": "b13bdc1d462bef25"
  },
  {
   "id": "cb-06",
   "string": "ccc",
   "parse_a": [
    "ccc"
   ],
   "parse_b": [
    "c",
    "c",
    "c"
   ],
   "slot_key": "c43fb27a72700c95"
  },
  {
   "id": "cb-12",
   "string": "bbabbabbab",
   "parse_a": [
    "b",
    "b",
    "abba",
    "bbab"
   ],
   "parse_b": [
    "bbab",
    "b",
    "abba",
    "b"
   ],
   "slot_key": "c5303c9e24536c50"
  },
  {
   "id": "rb-10",
   "string": "aaaaba",
   "parse_a": [
    "aaaaba"
   ],
   "parse_b": [
    "aa",
    "aa",
    "ba"
   ],
   "slot_key": "da80f51463beda53"
  },
  {
   "id": "cb-13",
   "string": "cc",
   "parse_a": [
    "cc"
   ],
   "parse_b": [
    "c",
    "c"
   ],
   "slot_key": "e7bd8619ceabdcc4"
  }
 ],
 "search_contradictions": []
}