What base is used in the summation formula to convert octal to decimal?