#include <stdio.h>
#include <stdlib.h>

int main(void) {
	int a;
	long unsigned result = 0;
	while ((scanf("%d\n", &a) > 0)) {
		result += (a / 3) - 2;
	}
	printf("%lu\n", result);
	return 0;
}