Checking bdd with   32 assignments:   Sum-OK. Sub-OK.
Checking bdd with    0 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   14 assignments:   Sum-OK. Sub-OK.
Checking bdd with   14 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   24 assignments:   Sum-OK. Sub-OK.
Checking bdd with   28 assignments:   Sum-OK. Sub-OK.
Checking bdd with   30 assignments:   Sum-OK. Sub-OK.
Checking bdd with   31 assignments:   Sum-OK. Sub-OK.
Checking bdd with   15 assignments:   Sum-OK. Sub-OK.
Checking bdd with    0 assignments:   Sum-OK. Sub-OK.
Checking bdd with    0 assignments:   Sum-OK. Sub-OK.
Checking bdd with    0 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   24 assignments:   Sum-OK. Sub-OK.
Checking bdd with   12 assignments:   Sum-OK. Sub-OK.
Checking bdd with   22 assignments:   Sum-OK. Sub-OK.
Checking bdd with   12 assignments:   Sum-OK. Sub-OK.
Checking bdd with    6 assignments:   Sum-OK. Sub-OK.
Checking bdd with    3 assignments:   Sum-OK. Sub-OK.
Checking bdd with    3 assignments:   Sum-OK. Sub-OK.
Checking bdd with   19 assignments:   Sum-OK. Sub-OK.
Checking bdd with    9 assignments:   Sum-OK. Sub-OK.
Checking bdd with    9 assignments:   Sum-OK. Sub-OK.
Checking bdd with    0 assignments:   Sum-OK. Sub-OK.
Checking bdd with    0 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   24 assignments:   Sum-OK. Sub-OK.
Checking bdd with   28 assignments:   Sum-OK. Sub-OK.
Checking bdd with   30 assignments:   Sum-OK. Sub-OK.
Checking bdd with   30 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with    8 assignments:   Sum-OK. Sub-OK.
Checking bdd with    4 assignments:   Sum-OK. Sub-OK.
Checking bdd with   20 assignments:   Sum-OK. Sub-OK.
Checking bdd with   26 assignments:   Sum-OK. Sub-OK.
Checking bdd with   10 assignments:   Sum-OK. Sub-OK.
Checking bdd with   22 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with    8 assignments:   Sum-OK. Sub-OK.
Checking bdd with    4 assignments:   Sum-OK. Sub-OK.
Checking bdd with    2 assignments:   Sum-OK. Sub-OK.
Checking bdd with    2 assignments:   Sum-OK. Sub-OK.
Checking bdd with   17 assignments:   Sum-OK. Sub-OK.
Checking bdd with   24 assignments:   Sum-OK. Sub-OK.
Checking bdd with   12 assignments:   Sum-OK. Sub-OK.
Checking bdd with   22 assignments:   Sum-OK. Sub-OK.
Checking bdd with   22 assignments:   Sum-OK. Sub-OK.
Checking bdd with   12 assignments:   Sum-OK. Sub-OK.
Checking bdd with   24 assignments:   Sum-OK. Sub-OK.
Checking bdd with    8 assignments:   Sum-OK. Sub-OK.
Checking bdd with   16 assignments:   Sum-OK. Sub-OK.
Checking bdd with    8 assignments:   Sum-OK. Sub-OK.
