i = p + n1In; carry = checkForCarry(ca3, i); if (carry) { carry = startSymbolicCarry(ca3, i - 1, 0);
i = p + n1In; carry = checkForCarry(ca3, i); if (carry) { carry = startSymbolicCarry(ca3, i - 1, 0);
carry = checkForCarry(ca1, i0 + p + 1); if (carry) { carry = startSymbolicCarry(ca1, i0 + p, i0);
carry = checkForCarry(ca1, i0 + p + 1); if (carry) { carry = startSymbolicCarry(ca1, i0 + p, i0);