This page is available for historical purposes only. It is a copy from www.math.lsa.umich.edu/~hales/countdown. It has not been maintained since 1998.