401616.fig.003
Figure 3: Decomposed MTBDD corresponding to Example 21.