Evidence

cumulative branch condition.json

Download source fileOpen in research workspace
{
  "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"
}
Edition and provenance

cumulative_branch_condition.json

SHA-256 3f78df424cb42b90e957a9442344a88de8b55ec16066738f53b2274a6e0d4c70

C480–C1634/Research_Cycles/C0932_C1131/model/cumulative_branch_condition.json

C480–C1634/Research_Cycles/C1132_C1431_Recovered/inherited/model/cumulative_branch_condition.json