RE: Translating seq into Core