@ec3be15c @lauren@laurenweinstein.org I have a couple of old punched cards of my Dad's. I should see if they have marks on the edge.
@dfb2c35d I remember in 1984 we could check the order of the Hugo card packet by the color striping - each of the three cards had a different header stripe.