#include<bits/stdc++.h>
using namespace std;
const long long mod=1e9+7;
long long T,a,b,c,d[1000001],v[1000001],o,h[1000001],fa[1000001],q,w,e,an,cn,fac[1000001],inv[1000001],st[1000001],u[1000001],g[1000001];
char s[1000001];
struct p{long long q,w;}l[1000001];
long long pow_(long long qq,long long ww){long long ee=1;while(ww){if(ww&1) ee*=qq,ee%=mod;qq*=qq,qq%=mod,ww>>=1;}return ee%mod;}
inline int read(){int x=0,f=1;char c=getchar();while(c<'0'||c>'9'){if(c=='-')f=-1;c=getchar();}while(c>='0'&&c<='9'){x=(x<<3)+(x<<1)+c-'0';c=getchar();}return x*f;}
void add(long long qq,long long ww){l[++o].q=ww,l[o].w=h[qq],h[qq]=o;}
long long gcd(long long qq,long long ww){return !ww?qq:gcd(ww,qq%ww);}
long long find(long long qq){return qq==fa[qq]?qq:fa[qq]=find(fa[qq]);}
void merge(long long qq,long long ww){long long f1=find(qq),f2=find(ww);if(f1==f2) return;fa[f1]=f2;}
long long C(long long qq,long long ww){return fac[qq]*inv[ww]%mod*inv[qq-ww]%mod;}
vector<long long> qu[1000001];
int main()
{
//	freopen("1.in","r",stdin);
	srand((unsigned)(time(0)^(*new int)));
	fac[0]=1;for(int i=1;i<=1000000;i++) fac[i]=fac[i-1]*i%mod;
	inv[1000000]=pow_(fac[1000000],mod-2);for(int i=999999;i>=0;i--) inv[i]=inv[i+1]*(i+1)%mod;
	d[1]=2;g[1]=2;
	for(int i=2;i<=6000;i++)
	{
		d[i]=g[i]=1e9;
		for(int j=1;j<=i/2;j++)
		{
			g[i]=min(g[i],g[j]+g[i-j]);
		}
		for(int j=1;j<=i/2;j++)
		{
			for(int k=0;k<qu[j].size();k++)
			{
				for(int m=0;m<qu[i-j].size();m++)
				{
					v[qu[j][k]+qu[i-j][m]]=1;
				}
			}
		}
		for(int j=1;j<i;j++)
		{
			for(int k=0;k<qu[i-j].size();k++)
			{
				for(int m=g[j];m<=j*2&&m+qu[i-j][k]<g[i];m++)
				{
					v[m+qu[i-j][k]]=1;
				}
			}
		}
		for(int j=sqrt(i);j>=1;j--)
		{
			if(i%j==0)
			{
				if(j+i/j<g[i]) v[j+i/j]=1;
			}
		}
		while(v[g[i]-1])
		{
			--g[i];v[g[i]]=0;
		}
		for(int j=1;j<g[i];j++) if(v[j]) qu[i].push_back(j);
		for(int j=0;j<qu[i].size();j++) v[qu[i][j]]=0;
		for(int j=1;j<=i/2;j++)
		{
			for(int k=0;k<qu[j].size();k++)
			{
				for(int m=0;m<qu[i-j].size();m++)
				{
					v[qu[j][k]+qu[i-j][m]]=0;
				}
			}
		}
		for(int j=1;j<i;j++)
		{
			for(int k=0;k<qu[i-j].size();k++)
			{
				for(int m=g[j];m<=j*2&&m+qu[i-j][k]<=g[i];m++)
				{
					v[m+qu[i-j][k]]=0;
				}
			}
		}
	}
	scanf("%lld%lld",&a,&b);b/=2;
	for(int i=1;i<=a;i++)
	{
		long long gg=min((long long)(i*2),b);
		if(gg>=g[i]) an+=gg-g[i]+1;
		for(int j=0;j<qu[i].size();j++)
		{
			if(qu[i][j]<=gg&&qu[i][j]<g[i]) ++an;
		}
	}
	printf("%lld",an);
	return 0;
}