  |         |          |                  |          |
| f_15    | f_1111  | 1 1 1 1 |   (())   | true             |    1     |
|         |         |         |          |                  |          |
o---------o---------o---------o----------o------------------o----------o


The next four Tables expand the expressions of Ef and Df
in two different ways, for each of the sixteen functions.
Notice that the functions are given in a different order,
being here collected into a set of seven natural classes.


Tab