{
  "source_cores": [
    917,
    343
  ],
  "aggregate": [
    12,
    5,
    10
  ],
  "unit_carry": 1,
  "tens_to_hundreds_carry": 0,
  "necessary_sufficient_in_fixed_domain": "T=5, equivalently no tens-to-hundreds carry",
  "other_branch": "T=15 gives one additional carry and transformed total11610"
}