#include<stdio.h> int main(){ printf("11\n13\n17\n31\n37\n71\n73\n79\n97"); return 0; }