"3"^^ . . . . . . . "punched-card method"@en . .