The first of three programs written for the machine calculated the highest proper divisor of 2 (262,144), an algorithm that would take a long time to execute—and so prove the computer's reliability—by testing every integer from 2 downwards, as division was implemented by repeated subtraction of the divisor.