The number is pretty arbitrary.  The problem occurred in 1980, so it contained the numbers 1980.  But the actual result requires a size that is much smaller.