570237.fig.005a
(a)
570237.fig.005b
(b)
Figure 5: IBDD versus BDD.