This particular printout was made by Haken in January, 1988. It includes about 200 pages of hand tabulations. This is the second version of the proof. The computer-printed pages are bound in a beige ...