#include<stdio.h>
int main()
{
    int n[1001], ants, a;
    scanf("%d", &a);
    for (int i = 0; i < a; i++)
    {
        scanf("%d", &ants);
        n[ants] = 1;
        ants = -1;
    }
    int cot = 0;
    for (int i = 0; i < 1001; i++)
    {
        n[i] == 1 ? cot++ : ' ';
    }
    printf("%d\n", cot);
    for (int i = 0; i < 1001; i++)
    {
        if (n[i] == 1)
        {
            printf("%d ", i);
        }
    }
    return 0;
}