Undergraduate based.

We have to consider it recursively to find a flormula for the number of saturating and nonsaturating pushes/relabel.

Ordered by distancer label and then the lexcicographic order of the nodes label.