there is a tiny inconsistency in man genaut. For the families from Löding's paper there is 

... 4N states ... less than n! states.

I guess the n and N should share their case.

Best,

Fanda