#include <stdio.h> int main(void) { int table[91] = { 0 }, i, n; for (i = 0; i < 20; ++i) { scanf("%d", &n); ++table[n-10]; } for (i = 0; i < 91; ++i) if (table[i]) printf("%d\n", i + 10); return 0; }