Title: Data processing codes for punched tape