The system managed to rediscover both Goldbach's conjecture and the Unique Prime Factorization[?] Theorem.
AM was succeeded by Eurisco[?].
... Indian Reservation[?] Fort Yuma Indian Reservation[?] Cocopah Indian Reservation[?] San Xavier Indian Reservation[?] Tohono O'Odham ...