function k=bruteskel(x,y,n,i,j)
global SKEL
if 0
SKEL{1} = list_all_skel(1,'ab')
SKEL{2} = list_all_skel(2,'ab')
SKEL{3} = list_all_skel(3,'ab')
end

k = 0;
for ai = 1:length(SKEL{n})
  [b,B,QQx] = run_dfsa(SKEL{n}(ai),x);
  [b,B,QQy] = run_dfsa(SKEL{n}(ai),y);
  
  k = k + (QQx(end)==i)*(QQy(end)==j);
end

return