for(;n=readline(a=[j=s=1]);print(n+':',s))for(m=i=2;i++m&&(z=y,m=l))for(y=x;l=x+++~y>>1,!a[x];);