function precompunivker
global KERD STRS PHI
PHI = {};

for n=1:length(KERD)
  n
  PROGstart(length(KERD{n})*length(STRS));
  cnt=0;
  phi = zeros(length(KERD{n}),length(STRS));
  for ai = 1:length(KERD{n})
    for si = 1:length(STRS)
      b = run_dfsa(KERD{n}(ai),STRS{si});
      phi(ai,si) = b;
      cnt = cnt+1;
      PROGupdate(cnt);
    end
  end
  PROGend;
  PHI{n} = phi;
end

return