#include<iostream>
#include<stdlib.h>
#include<time.h>
#include<string.h>
#include<ctype.h>
using namespace std;
int main()
{
char Arr[] = "int float char double if else";
char temp[1000] = " ";
char A[1000] = "";
char *r = " ,.!?;:(){}[]|\/<>";
char *d = "~@#$%^&*'\'''\"'=-";
char * path;
cout << Arr << endl;
gets(temp); //fgets(temp, 1000, stdin);
path = strtok(temp, r);
while(path != NULL)
{
if (isdigit(*path) || strpbrk(path, d))
strcat(strcat(A, path), " ");
path = strtok(NULL, r);
}
cout << A;
return 0;
}