#include<stdio.h>
int a[16];
int ans[16];
int cnt[16];
int c[4];
int main()
{
	int n = 13, i, j, k;
	for (i = 0; i < n; i++)
		scanf("%d", &a[i]);
	for (i = 0; i < 10; i++)
		cnt[i] = 0;
	for (i = 0; i < n; i++)
		cnt[a[i]]++;
	k = 0;
	for (j = 1; j < 10; j++)
	{
		cnt[j]++;
		c[0] = c[1] = c[2] = 0;
		for (i = 0; i < 10; i++)
		{
			if (cnt[i] == 0)
				continue;
			else if (cnt[i] == 3)
				c[0]++;
			else if (cnt[i] == 2)
				c[1]++;
			else
				c[2]++;
		}
		if (c[0] == 4 && c[1] == 1 && c[2] == 0)
			ans[k++] = j;
		cnt[j]--;
	}
	printf("%d\n", k);
	for (i = 0; i < k - 1; i++)
		printf("%d ", ans[i]);
	if (k > 0)
		printf("%d", ans[i]);
	printf("\n");
	return 0;
}