#include<stdio.h>
#include<stdlib.h>
#include<string.h>

void main(int argc,char *argv[])
{
   int i,j,found;
   char riga[151],*cognome,*nome,*mail,*keyword;
   FILE *fp;
   if((fp=fopen("revisori.txt","r"))==NULL)
   {
   	printf("File not found\n");
   	exit(1);
   }
   while(fgets(riga,151,fp)!=NULL)
   {
   	if(riga[strlen(riga)-1]=='\n')
			riga[strlen(riga)-1]='\0';
		cognome=strtok(riga," ");
		nome=strtok(NULL," ");
		mail=strtok(NULL," ");
      j=0;
      while((keyword=strtok(NULL," "))!=NULL && j<2)
      {
         found=0;
      	for(i=1;i<argc && !found; i++)
         {
         	if(strcmp(argv[i],keyword)==0)
            {
            	j++;
               found=1;
            }
         }
      }
      if(j==2)
      	printf("%s %s %s",cognome,nome,mail);
    }
    fclose(fp);
}