{
"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"
}
Evidence
cumulative branch condition.json
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