#include <stdio.h>
#define STANDARD 42
int main(void) {
int remain[STANDARD] = {0, };
int num, temp, count = 0;
for (int i = 0; i < STANDARD; i++) {
remain[i] = -1;
}
for (int i = 0; i < 10; i++) {
scanf("%d", &num);
temp = num % STANDARD;
for (int j = 0; j < STANDARD; j++) {
if (remain[j] == -1) {
remain[j] = temp;
j = STANDARD;
}
else if (remain[j] == temp) {
j = STANDARD;
}
}
}
for (int i = 0; i < STANDARD; i++) {
if(remain[i] != -1) {
count++;
}
else break;
}
printf("%d", count);
return 0;
}