Symbol: retrieve_seq