Symbol: create_prt_sequence_list