Statistical Abduction with Tabulation