Added construction of phi congruence classes.
drwxr-xr-x - ir