Title: Indexing of fuel and lubricant additives by machine-sorted punched cards