
#include<stdio.h>
int main()
{
int t,sum=0,n;
scanf("%d",&t);
for(int i=1;i<=t;i++)
{
scanf("%d",&n);
for(int x=0;x*3<=n;x++)
{
if((n-x*3)%7==0 )
sum++;
}
}
printf("%d",sum);
return 0;
}