CREATE TABLE table_16425614_4 (official__number INTEGER, tf1__number VARCHAR(255))
Name the most official number for tf1 # being 42
    
SQL: SELECT MAX(official__number) FROM table_16425614_4 WHERE tf1__number = 42