“The 1890 US census was the first production use of punch cards, as a manual count was projected to take over 10 years.”