{
rec(k)=b0=1;b1=y*b0;
        for(n=2,k,
                b=y*b1-(n-1)*(x+2-n)*b0;
                b0=b1;b1=b;
        );b
}
{
polz(d)=lift(subst(rec(2*d),y,mod(y,y^2-t)))
}
{
countz(f,h,r)=r=0;for(n=-h,h,for(m=-h,h,if(subst(subst(f,x,n),t,m)==
0,r=r+1,)));r
}