Matrix manipulation by means of punched cards