Definition:Emirp/Sequence

Sequence
The sequence of emirps begins:
 * $13, 17, 31, 37, 71, 73, 79, 97, 107, 113, \ldots$