X=[], instequivclasses(X).

X=[A], instequivclasses(X).

X=[A,B], instequivclasses(X).

X=[A,A], instequivclasses(X).

X=[A,B,C], instequivclasses(X).

X=[A,A,B], instequivclasses(X).

X=[A,B,B], instequivclasses(X).

X=[A,B,A], instequivclasses(X).

X=[A,B,A,C,C,B,D,C,B,A], instequivclasses(X).

trivequiv(4, X), instequivclasses(X).

unitequiv(0, I, J, X), instequivclasses(X).

unitequiv(1, I, J, X), instequivclasses(X).

unitequiv(10, 3, 3, X), instequivclasses(X).

unitequiv(2, 1, 2, X), instequivclasses(X).

unitequiv(4, 1, 4, X), instequivclasses(X).

unitequiv(7, 3, 6, X), instequivclasses(X).

unitequiv(7, 4, 4, X), instequivclasses(X).

unitequiv(7, 3, 6, X), unitequiv(7, 2, 6, Y), join(X, Y), instequivclasses(X).