{
  "_meta": {
    "locale": "en",
    "area": "dom",
    "translation": "source"
  },
  "dom.not_checked": "not checked",
  "dom.how_tableau": "equal tableaus",
  "dom.how_exact": "on every basis state",
  "dom.how_rewrites": "by checked rewrites",
  "dom.how_random": "on random inputs",
  "dom.same_circuit": "same circuit · {how}",
  "dom.different_circuit": "a different circuit"
}