Title: Mechanization of the USAEC library