n= 1  kappa_n bijective:True  prefix-compatible:True  conjugacy a,b,c:True  G(B)_n transitive:True  Aleshin=tau*Bellaterra:True  tau-relation:True
n= 2  kappa_n bijective:True  prefix-compatible:True  conjugacy a,b,c:True  G(B)_n transitive:True  Aleshin=tau*Bellaterra:True  tau-relation:True
n= 3  kappa_n bijective:True  prefix-compatible:True  conjugacy a,b,c:True  G(B)_n transitive:True  Aleshin=tau*Bellaterra:True  tau-relation:True
n= 4  kappa_n bijective:True  prefix-compatible:True  conjugacy a,b,c:True  G(B)_n transitive:True  Aleshin=tau*Bellaterra:True  tau-relation:True
n= 5  kappa_n bijective:True  prefix-compatible:True  conjugacy a,b,c:True  G(B)_n transitive:True  Aleshin=tau*Bellaterra:True  tau-relation:True
n= 6  kappa_n bijective:True  prefix-compatible:True  conjugacy a,b,c:True  G(B)_n transitive:True  Aleshin=tau*Bellaterra:True  tau-relation:True
n= 7  kappa_n bijective:True  prefix-compatible:True  conjugacy a,b,c:True  G(B)_n transitive:True  Aleshin=tau*Bellaterra:True  tau-relation:True
n= 8  kappa_n bijective:True  prefix-compatible:True  conjugacy a,b,c:True  G(B)_n transitive:True  Aleshin=tau*Bellaterra:True  tau-relation:True
n= 9  kappa_n bijective:True  prefix-compatible:True  conjugacy a,b,c:True  G(B)_n transitive:True  Aleshin=tau*Bellaterra:True  tau-relation:True
n=10  kappa_n bijective:True  prefix-compatible:True  conjugacy a,b,c:True  G(B)_n transitive:True  Aleshin=tau*Bellaterra:True  tau-relation:True
n=11  kappa_n bijective:True  prefix-compatible:True  conjugacy a,b,c:True  G(B)_n transitive:True  Aleshin=tau*Bellaterra:True  tau-relation:True
n=12  kappa_n bijective:True  prefix-compatible:True  conjugacy a,b,c:True  G(B)_n transitive:True  Aleshin=tau*Bellaterra:True  tau-relation:True
n=13  kappa_n bijective:True  prefix-compatible:True  conjugacy a,b,c:True  G(B)_n transitive:True  Aleshin=tau*Bellaterra:True  tau-relation:True
n=14  kappa_n bijective:True  prefix-compatible:True  conjugacy a,b,c:True  G(B)_n transitive:True  Aleshin=tau*Bellaterra:True  tau-relation:True
ALL LEVELS OK
