Name the most official number for tf1 # being 42
create table table_16425614_4 (official__number integer, tf1__number varchar, PRIMARY KEY (official__number))
select max(official__number) from table_16425614_4 where tf1__number = 42