Key punching a program for the EDSAC