Int main(void){

FILE *in=fopen("input.txt","r");

FILE *out=fopen("output.txt","w");

int n,i;

Int *a; //массив

a=(int*) malloc(MAXN*sizeof(int));//выделение памяти под массив

n=0;

while(fscanf(in,"%d",&a[n])==1)

if(ok(a[n])) n++;

sort(a,0,n-1);

fprintf(out,"%d\n",n);

for(i=0;i<n;i++)

fprintf(out,"%d ",a[i]);

fprintf(out,"\n");

fclose(out);

return 0;

}