BZOJ 1087

var
  f:array[..,..,..] of int64;
  a:Array[..] of longint;
  count:array[..] of longint;
  ans:int64;
  n,m:longint;

procedure init;
var
  t,i:longint;
begin
  readln(n,m);
  fillchar(count,sizeof(count),);
  for i:= to ( shl n)- do
    if (i and (i shl ) =) and (i and (i shr ) = ) then
       begin
         inc(a[]);
         a[a[]]:=i;
         t:=i;
         while t> do
           begin
             t:=t- (t and -t);
             inc(count[a[]]);
           end;
       end;
end;

procedure main;
var
  i,j,k,l:longint;
begin
  fillchar(f,sizeof(f),);
  for i:= to a[] do
    f[,count[i],a[i]]:=;
  for i:= to n do
    for j:= to m do
      if i*n>=j then
         for k:= to a[] do
           if count[k]<=j then
              for l:= to a[] do

                if ( count[l]<=j) and
                   ( (a[k] shl ) and a[l]= ) and
                   ( (a[k] shr ) and a[l]= ) and
                   ( a[k] and a[l]=) then
                     f[i,j,a[k]]:=f[i-,j-count[k],a[l]]+f[i,j,a[k]];                      

  for i:= to a[] do
    ans:=ans+f[n,m,a[i]];
  writeln(ans);
end;

begin
      init;
      main;
end.