Douglas Lenat's Automated Mathematician Source Code