<<NCGB.m;

SetNonCommutative[A,B,C,m1,m2,n1,n2,a,b,c,e,f,g,P1];
SetKnowns[A,B,C,P1];
SetUnknowns[{m1,m2,n1,n2},{a,b,c,e,f,g}];

<<FACans1.result;   (* Read in result from previous run *)

discovered = {m1**n1-P1,n1**m1-1,n2**m2-1,m2**n2-1+m1**n1};
relations = Union[FACans1[[2]],FACans1[[3]],discovered];

FACans2=NCProcess[relations,2,"FACans2",UserSelect->discovered,SB->True,
                                        DegreeCap->3,DegreeSumCap->6];

Put[Definition[FACans2],"FACans2.result"];
