$symbol_list_hash{$1}= [split(' ',substr $2, 0, (index($2, ")")))]