Moved to www.cs.utah.edu/~ryan.