A . Siaj * ‘ tttl * OBDD.