%------------------------------------------------------------------------------
% Non-joinable Critical Pairs of ufd_basic with additional rules/laws

% consulted /home/fruehwir/chr/union-find/confl5.pl in module user, 70 msec 297364 bytes
yes
| ?- confl(R1,R2,ST,ST1-ST2,SZ1,SZ2,SZZ).

R1 = findRoot,[root(B),find(B,A)],
R2 = link,[link(C,B),root(C),root(B)],
ST = [find(B,A)],[root(B)],[link(C,B),root(C)],
ST1 = [root(B),bi(A=B)],[link(C,B),root(C)],
ST2 = [find(B,A)],[B~>C,root(C)],
SZ1 = [root(C),A~>C]-[A=B],
SZ2 = [root(A),B~>A]-[A=C],
SZZ = [root(C),A~>C,A=B]-[root(A),B~>A,A=C] ? ;

R1 = link,[link(A,B),root(A),root(B)],
R2 = link2,[B~>C,link(A,B)],
ST = [root(A),root(B)],[link(A,B)],[B~>C],
ST1 = [B~>A,root(A)],[B~>C],
ST2 = [root(A),root(B)],[B~>C,link(A,C)],
SZ1 = [root(A),B~>A]-[A=C],
SZ2 = [root(A),B~>A]-[B=C],
SZZ = [A=C]-[B=C] ? ;

R1 = link,[link(A,B),root(A),root(B)],
R2 = link,[link(C,A),root(C),root(A)],
ST = [link(A,B),root(B)],[root(A)],[link(C,A),root(C)],
ST1 = [B~>A,root(A)],[link(C,A),root(C)],
ST2 = [link(A,B),root(B)],[A~>C,root(C)],
SZ1 = [root(C),A~>C,B~>A]-[],
SZ2 = [root(C),A~>C,B~>C]-[],
SZZ = [B~>A]-[B~>C] ? ;

R1 = link,[link(A,B),root(A),root(B)],
R2 = link,[link(B,A),root(B),root(A)],
ST = [link(A,B)],[root(A),root(B)],[link(B,A)],
ST1 = [B~>A,root(A)],[link(B,A)],
ST2 = [link(A,B)],[A~>B,root(B)],
SZ1 = [root(A),B~>A]-[],
SZ2 = [root(B),A~>B]-[],
SZZ = [root(A),B~>A]-[root(B),A~>B] ? ;

R1 = link,[link(A,B),root(A),root(B)],
R2 = link,[link(B,C),root(B),root(C)],
ST = [link(A,B),root(A)],[root(B)],[link(B,C),root(C)],
ST1 = [B~>A,root(A)],[link(B,C),root(C)],
ST2 = [link(A,B),root(A)],[C~>B,root(B)],
SZ1 = [root(A),B~>A,C~>A]-[],
SZ2 = [root(A),B~>A,C~>B]-[],
SZZ = [C~>A]-[C~>B] ? ;

R1 = link,[link(A,B),root(A),root(B)],
R2 = link,[link(C,B),root(C),root(B)],
ST = [link(A,B),root(A)],[root(B)],[link(C,B),root(C)],
ST1 = [B~>A,root(A)],[link(C,B),root(C)],
ST2 = [link(A,B),root(A)],[B~>C,root(C)],
SZ1 = [root(C),A~>C,B~>A]-[],
SZ2 = [root(A),C~>A,B~>C]-[],
SZZ = [root(C),A~>C,B~>A]-[root(A),C~>A,B~>C] ? ;
no

%------------------------------------------------------------------------------
% Non-joinable Critical Pairs of ufd_rank without any additional rules/laws

% consulted /home/fruehwir/chr/union-find/confl4.pl in module user, 70 msec 301540 bytes
yes
| ?- confl(R1,R2,ST,ST1-ST2,SZ1,SZ2,SZZ).

R1 = findNode,[B~>C,find(B,A)],
R2 = findNode,[B~>C,find(B,D)],
ST = [find(B,A)],[B~>C],[find(B,D)],
ST1 = [find(C,A),B~>A],[find(B,D)],
ST2 = [find(B,A)],[find(C,D),B~>D],
SZ1 = [find(A,D),find(C,A),B~>D]-[],
SZ2 = [find(C,D),find(D,A),B~>A]-[],
SZZ = [find(A,D),find(C,A),B~>D]-[find(C,D),find(D,A),B~>A] ? ;

R1 = findNode,[B~>C,find(B,A)],
R2 = findNode,[B~>D,find(B,A)],
ST = [B~>C],[find(B,A)],[B~>D],
ST1 = [find(C,A),B~>A],[B~>D],
ST2 = [B~>C],[find(D,A),B~>A],
SZ1 = [find(C,A),B~>A,B~>D]-[],
SZ2 = [find(D,A),B~>C,B~>A]-[],
SZZ = [find(C,A),B~>D]-[find(D,A),B~>C] ? ;

R1 = findNode,[B~>C,find(B,A)],
R2 = findRoot,[root(B,D),find(B,A)],
ST = [B~>C],[find(B,A)],[root(B,D)],
ST1 = [find(C,A),B~>A],[root(B,D)],
ST2 = [B~>C],[root(B,D),bi(A=B)],
SZ1 = [find(C,A),root(B,D),B~>A]-[],
SZ2 = [root(A,D),A~>C]-[A=B],
SZZ = [find(C,A),root(B,D),B~>A]-[root(A,D),A~>C,A=B] ? ;

R1 = findRoot,[root(B,C),find(B,A)],
R2 = linkLeft,[link(E,B),root(E,D),root(B,C),bi(D>=C)],
ST = [find(B,A)],[root(B,C)],[link(E,B),root(E,D),bi(D>=C)],
ST1 = [root(B,C),bi(A=B)],[link(E,B),root(E,D),bi(D>=C)],
ST2 = [find(B,A)],[B~>E,bi(_A is max(D,C+1)),root(E,_A),bi(D>=C)],
SZ1 = [D>=C,_B is max(D,C+1),root(E,_B),A~>E]-[A=B],
SZ2 = [D>=C,_C is max(D,C+1),root(A,_C),B~>A]-[A=E],
SZZ = [_B is max(D,C+1),root(E,_B),A~>E,A=B]-[_C is max(D,C+1),root(A,_C),B~>A,A=E] ? ;

R1 = findRoot,[root(B,C),find(B,A)],
R2 = linkRight,[link(B,E),root(E,D),root(B,C),bi(D>=C)],
ST = [find(B,A)],[root(B,C)],[link(B,E),root(E,D),bi(D>=C)],
ST1 = [root(B,C),bi(A=B)],[link(B,E),root(E,D),bi(D>=C)],
ST2 = [find(B,A)],[B~>E,bi(_A is max(D,C+1)),root(E,_A),bi(D>=C)],
SZ1 = [D>=C,_B is max(D,C+1),root(E,_B),A~>E]-[A=B],
SZ2 = [D>=C,_C is max(D,C+1),root(A,_C),B~>A]-[A=E],
SZZ = [_B is max(D,C+1),root(E,_B),A~>E,A=B]-[_C is max(D,C+1),root(A,_C),B~>A,A=E] ? ;

R1 = linkEq,[link(A,A)],
R2 = linkLeft,[link(A,A),root(A,C),root(A,B),bi(C>=B)],
ST = [],[link(A,A)],[root(A,C),root(A,B),bi(C>=B)],
ST1 = [true],[root(A,C),root(A,B),bi(C>=B)],
ST2 = [],[A~>A,bi(_A is max(C,B+1)),root(A,_A),bi(C>=B)],
SZ1 = [C>=B,root(A,C),root(A,B)]-[],
SZ2 = [C>=B,_B is max(C,B+1),root(A,_B),A~>A]-[],
SZZ = [root(A,C),root(A,B)]-[_B is max(C,B+1),root(A,_B),A~>A] ? ;

R1 = linkEq,[link(A,A)],
R2 = linkRight,[link(A,A),root(A,C),root(A,B),bi(C>=B)],
ST = [],[link(A,A)],[root(A,C),root(A,B),bi(C>=B)],
ST1 = [true],[root(A,C),root(A,B),bi(C>=B)],
ST2 = [],[A~>A,bi(_A is max(C,B+1)),root(A,_A),bi(C>=B)],
SZ1 = [C>=B,root(A,C),root(A,B)]-[],
SZ2 = [C>=B,_B is max(C,B+1),root(A,_B),A~>A]-[],
SZZ = [root(A,C),root(A,B)]-[_B is max(C,B+1),root(A,_B),A~>A] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkLeft,[link(C,D),root(C,F),root(D,E),bi(F>=E)],
ST = [root(C,B),root(D,A),bi(B>=A)],[link(C,D)],[root(C,F),root(D,E),bi(F>=E)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(C,F),root(D,E),bi(F>=E)],
ST2 = [root(C,B),root(D,A),bi(B>=A)],[D~>C,bi(_B is max(F,E+1)),root(C,_B),bi(F>=E)],
SZ1 = [B>=A,F>=E,_C is max(B,A+1),root(C,_C),root(C,F),root(D,E),D~>C]-[],
SZ2 = [B>=A,F>=E,_D is max(F,E+1),root(C,B),root(C,_D),root(D,A),D~>C]-[],
SZZ = [_C is max(B,A+1),root(C,_C),root(C,F),root(D,E)]-[_D is max(F,E+1),root(C,B),root(C,_D),root(D,A)] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkLeft,[link(C,D),root(C,B),root(D,E),bi(B>=E)],
ST = [root(D,A),bi(B>=A)],[link(C,D),root(C,B)],[root(D,E),bi(B>=E)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(D,E),bi(B>=E)],
ST2 = [root(D,A),bi(B>=A)],[D~>C,bi(_B is max(B,E+1)),root(C,_B),bi(B>=E)],
SZ1 = [B>=A,B>=E,_C is max(B,A+1),root(C,_C),root(D,E),D~>C]-[],
SZ2 = [B>=A,B>=E,_D is max(B,E+1),root(D,A),root(C,_D),D~>C]-[],
SZZ = [_C is max(B,A+1),root(C,_C),root(D,E)]-[_D is max(B,E+1),root(D,A),root(C,_D)] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
ST = [root(D,A)],[link(C,D),root(C,B),bi(B>=A)],[root(D,A)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(D,A)],
ST2 = [root(D,A)],[D~>C,bi(_B is max(B,A+1)),root(C,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),root(C,_C),root(D,A),D~>C]-[],
SZ2 = [B>=A,_D is max(B,A+1),root(D,A),root(C,_D),D~>C]-[],
SZZ = [_C is max(B,A+1),root(C,_C)]-[_D is max(B,A+1),root(C,_D)] ? ;

R1 = linkLeft,[link(C,C),root(C,B),root(C,A),bi(B>=A)],
R2 = linkLeft,[link(C,C),root(C,D),root(C,B),bi(D>=B)],
ST = [root(C,A),bi(B>=A)],[link(C,C),root(C,B)],[root(C,D),bi(D>=B)],
ST1 = [C~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(C,D),bi(D>=B)],
ST2 = [root(C,A),bi(B>=A)],[C~>C,bi(_B is max(D,B+1)),root(C,_B),bi(D>=B)],
SZ1 = [B>=A,D>=B,_C is max(B,A+1),root(C,_C),root(C,D),C~>C]-[],
SZ2 = [B>=A,D>=B,_D is max(D,B+1),root(C,A),root(C,_D),C~>C]-[],
SZZ = [_C is max(B,A+1),root(C,_C),root(C,D)]-[_D is max(D,B+1),root(C,A),root(C,_D)] ? ;

R1 = linkLeft,[link(B,B),root(B,A),root(B,A),bi(A>=A)],
R2 = linkLeft,[link(B,B),root(B,A),root(B,A),bi(A>=A)],
ST = [root(B,A)],[link(B,B),root(B,A),bi(A>=A)],[root(B,A)],
ST1 = [B~>B,bi(_A is max(A,A+1)),root(B,_A),bi(A>=A)],[root(B,A)],
ST2 = [root(B,A)],[B~>B,bi(_B is max(A,A+1)),root(B,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),root(B,_C),root(B,A),B~>B]-[],
SZ2 = [_D is max(A,A+1),root(B,A),root(B,_D),B~>B]-[],
SZZ = [_C is max(A,A+1),root(B,_C)]-[_D is max(A,A+1),root(B,_D)] ? ;

R1 = linkLeft,[link(C,C),root(C,B),root(C,A),bi(B>=A)],
R2 = linkLeft,[link(C,C),root(C,A),root(C,D),bi(A>=D)],
ST = [root(C,B),bi(B>=A)],[link(C,C),root(C,A)],[root(C,D),bi(A>=D)],
ST1 = [C~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(C,D),bi(A>=D)],
ST2 = [root(C,B),bi(B>=A)],[C~>C,bi(_B is max(A,D+1)),root(C,_B),bi(A>=D)],
SZ1 = [A>=D,B>=A,_C is max(B,A+1),root(C,_C),root(C,D),C~>C]-[],
SZ2 = [B>=A,A>=D,_D is max(A,D+1),root(C,B),root(C,_D),C~>C]-[],
SZZ = [_C is max(B,A+1),root(C,_C),root(C,D)]-[_D is max(A,D+1),root(C,B),root(C,_D)] ? ;

R1 = linkLeft,[link(B,B),root(B,A),root(B,A),bi(A>=A)],
R2 = linkLeft,[link(B,B),root(B,A),root(B,A),bi(A>=A)],
ST = [root(B,A)],[link(B,B),root(B,A),bi(A>=A)],[root(B,A)],
ST1 = [B~>B,bi(_A is max(A,A+1)),root(B,_A),bi(A>=A)],[root(B,A)],
ST2 = [root(B,A)],[B~>B,bi(_B is max(A,A+1)),root(B,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),root(B,_C),root(B,A),B~>B]-[],
SZ2 = [_D is max(A,A+1),root(B,A),root(B,_D),B~>B]-[],
SZZ = [_C is max(A,A+1),root(B,_C)]-[_D is max(A,A+1),root(B,_D)] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkLeft,[link(C,D),root(C,E),root(D,A),bi(E>=A)],
ST = [root(C,B),bi(B>=A)],[link(C,D),root(D,A)],[root(C,E),bi(E>=A)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(C,E),bi(E>=A)],
ST2 = [root(C,B),bi(B>=A)],[D~>C,bi(_B is max(E,A+1)),root(C,_B),bi(E>=A)],
SZ1 = [B>=A,E>=A,_C is max(B,A+1),root(C,_C),root(C,E),D~>C]-[],
SZ2 = [B>=A,E>=A,_D is max(E,A+1),root(C,B),root(C,_D),D~>C]-[],
SZZ = [_C is max(B,A+1),root(C,_C),root(C,E)]-[_D is max(E,A+1),root(C,B),root(C,_D)] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
ST = [root(C,B)],[link(C,D),root(D,A),bi(B>=A)],[root(C,B)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(C,B)],
ST2 = [root(C,B)],[D~>C,bi(_B is max(B,A+1)),root(C,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),root(C,_C),root(C,B),D~>C]-[],
SZ2 = [B>=A,_D is max(B,A+1),root(C,B),root(C,_D),D~>C]-[],
SZZ = [_C is max(B,A+1),root(C,_C)]-[_D is max(B,A+1),root(C,_D)] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
ST = [root(C,B),root(D,A)],[link(C,D),bi(B>=A)],[root(C,B),root(D,A)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(C,B),root(D,A)],
ST2 = [root(C,B),root(D,A)],[D~>C,bi(_B is max(B,A+1)),root(C,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),root(C,_C),root(C,B),root(D,A),D~>C]-[],
SZ2 = [B>=A,_D is max(B,A+1),root(C,B),root(C,_D),root(D,A),D~>C]-[],
SZZ = [_C is max(B,A+1),root(C,_C)]-[_D is max(B,A+1),root(C,_D)] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkLeft,[link(C,F),root(C,B),root(F,E),bi(B>=E)],
ST = [link(C,D),root(D,A),bi(B>=A)],[root(C,B)],[link(C,F),root(F,E),bi(B>=E)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(C,F),root(F,E),bi(B>=E)],
ST2 = [link(C,D),root(D,A),bi(B>=A)],[F~>C,bi(_B is max(B,E+1)),root(C,_B),bi(B>=E)],
SZ1 = [B>=A,B>=E,_C is max(B,A+1),link(C,F),root(C,_C),root(F,E),D~>C]-[],
SZ2 = [B>=A,B>=E,_D is max(B,E+1),link(C,D),root(C,_D),root(D,A),F~>C]-[],
SZZ = [_C is max(B,A+1),link(C,F),root(C,_C),root(F,E),D~>C]-[_D is max(B,E+1),link(C,D),root(C,_D),root(D,A),F~>C] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkLeft,[link(C,E),root(C,B),root(E,A),bi(B>=A)],
ST = [link(C,D),root(D,A)],[root(C,B),bi(B>=A)],[link(C,E),root(E,A)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(C,E),root(E,A)],
ST2 = [link(C,D),root(D,A)],[E~>C,bi(_B is max(B,A+1)),root(C,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),link(C,E),root(C,_C),root(E,A),D~>C]-[],
SZ2 = [B>=A,_D is max(B,A+1),link(C,D),root(C,_D),root(D,A),E~>C]-[],
SZZ = [_C is max(B,A+1),link(C,E),root(C,_C),root(E,A),D~>C]-[_D is max(B,A+1),link(C,D),root(C,_D),root(D,A),E~>C] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkLeft,[link(F,C),root(F,E),root(C,B),bi(E>=B)],
ST = [link(C,D),root(D,A),bi(B>=A)],[root(C,B)],[link(F,C),root(F,E),bi(E>=B)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(F,C),root(F,E),bi(E>=B)],
ST2 = [link(C,D),root(D,A),bi(B>=A)],[C~>F,bi(_B is max(E,B+1)),root(F,_B),bi(E>=B)],
SZ1 = [B>=A,E>=B,_C is max(B,A+1),link(F,C),root(C,_C),root(F,E),D~>C]-[],
SZ2 = [B>=A,E>=B,_D is max(E,B+1),link(C,D),root(D,A),root(F,_D),C~>F]-[],
SZZ = [_C is max(B,A+1),link(F,C),root(C,_C),root(F,E),D~>C]-[_D is max(E,B+1),link(C,D),root(D,A),root(F,_D),C~>F] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkLeft,[link(D,C),root(D,A),root(C,B),bi(A>=B)],
ST = [link(C,D),bi(B>=A)],[root(C,B),root(D,A)],[link(D,C),bi(A>=B)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(D,C),bi(A>=B)],
ST2 = [link(C,D),bi(B>=A)],[C~>D,bi(_B is max(A,B+1)),root(D,_B),bi(A>=B)],
SZ1 = [_C is max(A,A+1),link(D,C),root(C,_C),D~>C]-[A=B],
SZ2 = [_D is max(A,A+1),link(C,D),root(D,_D),C~>D]-[A=B],
SZZ = [_C is max(A,A+1),link(D,C),root(C,_C),D~>C]-[_D is max(A,A+1),link(C,D),root(D,_D),C~>D] ? ;

R1 = linkLeft,[link(B,C),root(B,A),root(C,A),bi(A>=A)],
R2 = linkLeft,[link(C,B),root(C,A),root(B,A),bi(A>=A)],
ST = [link(B,C)],[root(B,A),root(C,A),bi(A>=A)],[link(C,B)],
ST1 = [C~>B,bi(_A is max(A,A+1)),root(B,_A),bi(A>=A)],[link(C,B)],
ST2 = [link(B,C)],[B~>C,bi(_B is max(A,A+1)),root(C,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),link(C,B),root(B,_C),C~>B]-[],
SZ2 = [_D is max(A,A+1),link(B,C),root(C,_D),B~>C]-[],
SZZ = [_C is max(A,A+1),link(C,B),root(B,_C),C~>B]-[_D is max(A,A+1),link(B,C),root(C,_D),B~>C] ? ;

R1 = linkLeft,[link(B,C),root(B,A),root(C,A),bi(A>=A)],
R2 = linkLeft,[link(D,B),root(D,A),root(B,A),bi(A>=A)],
ST = [link(B,C),root(C,A)],[root(B,A),bi(A>=A)],[link(D,B),root(D,A)],
ST1 = [C~>B,bi(_A is max(A,A+1)),root(B,_A),bi(A>=A)],[link(D,B),root(D,A)],
ST2 = [link(B,C),root(C,A)],[B~>D,bi(_B is max(A,A+1)),root(D,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),link(D,B),root(B,_C),root(D,A),C~>B]-[],
SZ2 = [_D is max(A,A+1),link(B,C),root(C,A),root(D,_D),B~>D]-[],
SZZ = [_C is max(A,A+1),link(D,B),root(B,_C),root(D,A),C~>B]-[_D is max(A,A+1),link(B,C),root(C,A),root(D,_D),B~>D] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkLeft,[link(D,F),root(D,A),root(F,E),bi(A>=E)],
ST = [link(C,D),root(C,B),bi(B>=A)],[root(D,A)],[link(D,F),root(F,E),bi(A>=E)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(D,F),root(F,E),bi(A>=E)],
ST2 = [link(C,D),root(C,B),bi(B>=A)],[F~>D,bi(_B is max(A,E+1)),root(D,_B),bi(A>=E)],
SZ1 = [A>=E,B>=A,_C is max(B,A+1),link(D,F),root(C,_C),root(F,E),D~>C]-[],
SZ2 = [B>=A,A>=E,_D is max(A,E+1),link(C,D),root(C,B),root(D,_D),F~>D]-[],
SZZ = [_C is max(B,A+1),link(D,F),root(C,_C),root(F,E),D~>C]-[_D is max(A,E+1),link(C,D),root(C,B),root(D,_D),F~>D] ? ;

R1 = linkLeft,[link(B,C),root(B,A),root(C,A),bi(A>=A)],
R2 = linkLeft,[link(C,D),root(C,A),root(D,A),bi(A>=A)],
ST = [link(B,C),root(B,A)],[root(C,A),bi(A>=A)],[link(C,D),root(D,A)],
ST1 = [C~>B,bi(_A is max(A,A+1)),root(B,_A),bi(A>=A)],[link(C,D),root(D,A)],
ST2 = [link(B,C),root(B,A)],[D~>C,bi(_B is max(A,A+1)),root(C,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),link(C,D),root(B,_C),root(D,A),C~>B]-[],
SZ2 = [_D is max(A,A+1),link(B,C),root(B,A),root(C,_D),D~>C]-[],
SZZ = [_C is max(A,A+1),link(C,D),root(B,_C),root(D,A),C~>B]-[_D is max(A,A+1),link(B,C),root(B,A),root(C,_D),D~>C] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkLeft,[link(F,D),root(F,E),root(D,A),bi(E>=A)],
ST = [link(C,D),root(C,B),bi(B>=A)],[root(D,A)],[link(F,D),root(F,E),bi(E>=A)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(F,D),root(F,E),bi(E>=A)],
ST2 = [link(C,D),root(C,B),bi(B>=A)],[D~>F,bi(_B is max(E,A+1)),root(F,_B),bi(E>=A)],
SZ1 = [B>=A,E>=A,_C is max(B,A+1),link(F,D),root(C,_C),root(F,E),D~>C]-[],
SZ2 = [B>=A,E>=A,_D is max(E,A+1),link(C,D),root(C,B),root(F,_D),D~>F]-[],
SZZ = [_C is max(B,A+1),link(F,D),root(C,_C),root(F,E),D~>C]-[_D is max(E,A+1),link(C,D),root(C,B),root(F,_D),D~>F] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkLeft,[link(E,D),root(E,B),root(D,A),bi(B>=A)],
ST = [link(C,D),root(C,B)],[root(D,A),bi(B>=A)],[link(E,D),root(E,B)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(E,D),root(E,B)],
ST2 = [link(C,D),root(C,B)],[D~>E,bi(_B is max(B,A+1)),root(E,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),link(E,D),root(C,_C),root(E,B),D~>C]-[],
SZ2 = [B>=A,_D is max(B,A+1),link(C,D),root(C,B),root(E,_D),D~>E]-[],
SZZ = [_C is max(B,A+1),link(E,D),root(C,_C),root(E,B),D~>C]-[_D is max(B,A+1),link(C,D),root(C,B),root(E,_D),D~>E] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkLeft,[link(E,F),root(E,B),root(F,A),bi(B>=A)],
ST = [link(C,D),root(C,B),root(D,A)],[bi(B>=A)],[link(E,F),root(E,B),root(F,A)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(E,F),root(E,B),root(F,A)],
ST2 = [link(C,D),root(C,B),root(D,A)],[F~>E,bi(_B is max(B,A+1)),root(E,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),_D is max(B,A+1),root(C,_C),root(E,_D),D~>C,F~>E]-[],
SZ2 = [B>=A,_E is max(B,A+1),_F is max(B,A+1),root(E,_E),root(C,_F),F~>E,D~>C]-[],
SZZ = [_C is max(B,A+1),_D is max(B,A+1),root(C,_C),root(E,_D)]-[_E is max(B,A+1),_F is max(B,A+1),root(E,_E),root(C,_F)] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(C,D),root(D,F),root(C,E),bi(F>=E)],
ST = [root(C,B),root(D,A),bi(B>=A)],[link(C,D)],[root(D,F),root(C,E),bi(F>=E)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(D,F),root(C,E),bi(F>=E)],
ST2 = [root(C,B),root(D,A),bi(B>=A)],[C~>D,bi(_B is max(F,E+1)),root(D,_B),bi(F>=E)],
SZ1 = [B>=A,F>=E,_C is max(B,A+1),root(C,_C),root(C,E),root(D,F),D~>C]-[],
SZ2 = [B>=A,F>=E,_D is max(F,E+1),root(C,B),root(D,A),root(D,_D),C~>D]-[],
SZZ = [_C is max(B,A+1),root(C,_C),root(C,E),root(D,F),D~>C]-[_D is max(F,E+1),root(C,B),root(D,A),root(D,_D),C~>D] ? ;

R1 = linkLeft,[link(C,C),root(C,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(C,C),root(C,B),root(C,D),bi(B>=D)],
ST = [root(C,A),bi(B>=A)],[link(C,C),root(C,B)],[root(C,D),bi(B>=D)],
ST1 = [C~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(C,D),bi(B>=D)],
ST2 = [root(C,A),bi(B>=A)],[C~>C,bi(_B is max(B,D+1)),root(C,_B),bi(B>=D)],
SZ1 = [B>=A,B>=D,_C is max(B,A+1),root(C,_C),root(C,D),C~>C]-[],
SZ2 = [B>=A,B>=D,_D is max(B,D+1),root(C,A),root(C,_D),C~>C]-[],
SZZ = [_C is max(B,A+1),root(C,_C),root(C,D)]-[_D is max(B,D+1),root(C,A),root(C,_D)] ? ;

R1 = linkLeft,[link(C,C),root(C,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(C,C),root(C,B),root(C,A),bi(B>=A)],
ST = [root(C,A)],[link(C,C),root(C,B),bi(B>=A)],[root(C,A)],
ST1 = [C~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(C,A)],
ST2 = [root(C,A)],[C~>C,bi(_B is max(B,A+1)),root(C,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),root(C,_C),root(C,A),C~>C]-[],
SZ2 = [B>=A,_D is max(B,A+1),root(C,A),root(C,_D),C~>C]-[],
SZZ = [_C is max(B,A+1),root(C,_C)]-[_D is max(B,A+1),root(C,_D)] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(C,D),root(D,E),root(C,B),bi(E>=B)],
ST = [root(D,A),bi(B>=A)],[link(C,D),root(C,B)],[root(D,E),bi(E>=B)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(D,E),bi(E>=B)],
ST2 = [root(D,A),bi(B>=A)],[C~>D,bi(_B is max(E,B+1)),root(D,_B),bi(E>=B)],
SZ1 = [B>=A,E>=B,_C is max(B,A+1),root(C,_C),root(D,E),D~>C]-[],
SZ2 = [B>=A,E>=B,_D is max(E,B+1),root(D,A),root(D,_D),C~>D]-[],
SZZ = [_C is max(B,A+1),root(C,_C),root(D,E),D~>C]-[_D is max(E,B+1),root(D,A),root(D,_D),C~>D] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(C,D),root(D,A),root(C,B),bi(A>=B)],
ST = [bi(B>=A)],[link(C,D),root(C,B),root(D,A)],[bi(A>=B)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[bi(A>=B)],
ST2 = [bi(B>=A)],[C~>D,bi(_B is max(A,B+1)),root(D,_B),bi(A>=B)],
SZ1 = [_C is max(A,A+1),root(C,_C),D~>C]-[A=B],
SZ2 = [_D is max(A,A+1),root(D,_D),C~>D]-[A=B],
SZZ = [_C is max(A,A+1),root(C,_C),D~>C]-[_D is max(A,A+1),root(D,_D),C~>D] ? ;

R1 = linkLeft,[link(B,C),root(B,A),root(C,A),bi(A>=A)],
R2 = linkRight,[link(B,C),root(C,A),root(B,A),bi(A>=A)],
ST = [],[link(B,C),root(B,A),root(C,A),bi(A>=A)],[],
ST1 = [C~>B,bi(_A is max(A,A+1)),root(B,_A),bi(A>=A)],[],
ST2 = [],[B~>C,bi(_B is max(A,A+1)),root(C,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),root(B,_C),C~>B]-[],
SZ2 = [_D is max(A,A+1),root(C,_D),B~>C]-[],
SZZ = [_C is max(A,A+1),root(B,_C),C~>B]-[_D is max(A,A+1),root(C,_D),B~>C] ? ;

R1 = linkLeft,[link(B,C),root(B,A),root(C,A),bi(A>=A)],
R2 = linkRight,[link(B,C),root(C,A),root(B,A),bi(A>=A)],
ST = [root(C,A)],[link(B,C),root(B,A),bi(A>=A)],[root(C,A)],
ST1 = [C~>B,bi(_A is max(A,A+1)),root(B,_A),bi(A>=A)],[root(C,A)],
ST2 = [root(C,A)],[B~>C,bi(_B is max(A,A+1)),root(C,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),root(B,_C),root(C,A),C~>B]-[],
SZ2 = [_D is max(A,A+1),root(C,A),root(C,_D),B~>C]-[],
SZZ = [_C is max(A,A+1),root(B,_C),C~>B]-[_D is max(A,A+1),root(C,_D),B~>C] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(C,D),root(D,A),root(C,E),bi(A>=E)],
ST = [root(C,B),bi(B>=A)],[link(C,D),root(D,A)],[root(C,E),bi(A>=E)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(C,E),bi(A>=E)],
ST2 = [root(C,B),bi(B>=A)],[C~>D,bi(_B is max(A,E+1)),root(D,_B),bi(A>=E)],
SZ1 = [A>=E,B>=A,_C is max(B,A+1),root(C,_C),root(C,E),D~>C]-[],
SZ2 = [B>=A,A>=E,_D is max(A,E+1),root(C,B),root(D,_D),C~>D]-[],
SZZ = [_C is max(B,A+1),root(C,_C),root(C,E),D~>C]-[_D is max(A,E+1),root(C,B),root(D,_D),C~>D] ? ;

R1 = linkLeft,[link(B,C),root(B,A),root(C,A),bi(A>=A)],
R2 = linkRight,[link(B,C),root(C,A),root(B,A),bi(A>=A)],
ST = [root(B,A)],[link(B,C),root(C,A),bi(A>=A)],[root(B,A)],
ST1 = [C~>B,bi(_A is max(A,A+1)),root(B,_A),bi(A>=A)],[root(B,A)],
ST2 = [root(B,A)],[B~>C,bi(_B is max(A,A+1)),root(C,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),root(B,_C),root(B,A),C~>B]-[],
SZ2 = [_D is max(A,A+1),root(B,A),root(C,_D),B~>C]-[],
SZZ = [_C is max(A,A+1),root(B,_C),C~>B]-[_D is max(A,A+1),root(C,_D),B~>C] ? ;

R1 = linkLeft,[link(C,C),root(C,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(C,C),root(C,D),root(C,A),bi(D>=A)],
ST = [root(C,B),bi(B>=A)],[link(C,C),root(C,A)],[root(C,D),bi(D>=A)],
ST1 = [C~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(C,D),bi(D>=A)],
ST2 = [root(C,B),bi(B>=A)],[C~>C,bi(_B is max(D,A+1)),root(C,_B),bi(D>=A)],
SZ1 = [B>=A,D>=A,_C is max(B,A+1),root(C,_C),root(C,D),C~>C]-[],
SZ2 = [B>=A,D>=A,_D is max(D,A+1),root(C,B),root(C,_D),C~>C]-[],
SZZ = [_C is max(B,A+1),root(C,_C),root(C,D)]-[_D is max(D,A+1),root(C,B),root(C,_D)] ? ;

R1 = linkLeft,[link(C,C),root(C,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(C,C),root(C,B),root(C,A),bi(B>=A)],
ST = [root(C,B)],[link(C,C),root(C,A),bi(B>=A)],[root(C,B)],
ST1 = [C~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(C,B)],
ST2 = [root(C,B)],[C~>C,bi(_B is max(B,A+1)),root(C,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),root(C,_C),root(C,B),C~>C]-[],
SZ2 = [B>=A,_D is max(B,A+1),root(C,B),root(C,_D),C~>C]-[],
SZZ = [_C is max(B,A+1),root(C,_C)]-[_D is max(B,A+1),root(C,_D)] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
ST = [root(C,B),root(D,A)],[link(C,D),bi(B>=A)],[root(D,B),root(C,A)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(D,B),root(C,A)],
ST2 = [root(C,B),root(D,A)],[C~>D,bi(_B is max(B,A+1)),root(D,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),root(C,_C),root(C,A),root(D,B),D~>C]-[],
SZ2 = [B>=A,_D is max(B,A+1),root(C,B),root(D,A),root(D,_D),C~>D]-[],
SZZ = [_C is max(B,A+1),root(C,_C),root(C,A),root(D,B),D~>C]-[_D is max(B,A+1),root(C,B),root(D,A),root(D,_D),C~>D] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(F,C),root(C,B),root(F,E),bi(B>=E)],
ST = [link(C,D),root(D,A),bi(B>=A)],[root(C,B)],[link(F,C),root(F,E),bi(B>=E)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(F,C),root(F,E),bi(B>=E)],
ST2 = [link(C,D),root(D,A),bi(B>=A)],[F~>C,bi(_B is max(B,E+1)),root(C,_B),bi(B>=E)],
SZ1 = [B>=A,B>=E,_C is max(B,A+1),link(F,C),root(C,_C),root(F,E),D~>C]-[],
SZ2 = [B>=A,B>=E,_D is max(B,E+1),link(C,D),root(C,_D),root(D,A),F~>C]-[],
SZZ = [_C is max(B,A+1),link(F,C),root(C,_C),root(F,E),D~>C]-[_D is max(B,E+1),link(C,D),root(C,_D),root(D,A),F~>C] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(D,C),root(C,B),root(D,A),bi(B>=A)],
ST = [link(C,D),bi(B>=A)],[root(C,B),root(D,A)],[link(D,C),bi(B>=A)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(D,C),bi(B>=A)],
ST2 = [link(C,D),bi(B>=A)],[D~>C,bi(_B is max(B,A+1)),root(C,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),link(D,C),root(C,_C),D~>C]-[],
SZ2 = [B>=A,_D is max(B,A+1),link(C,D),root(C,_D),D~>C]-[],
SZZ = [_C is max(B,A+1),link(D,C),root(C,_C)]-[_D is max(B,A+1),link(C,D),root(C,_D)] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(D,C),root(C,B),root(D,A),bi(B>=A)],
ST = [link(C,D)],[root(C,B),root(D,A),bi(B>=A)],[link(D,C)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(D,C)],
ST2 = [link(C,D)],[D~>C,bi(_B is max(B,A+1)),root(C,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),link(D,C),root(C,_C),D~>C]-[],
SZ2 = [B>=A,_D is max(B,A+1),link(C,D),root(C,_D),D~>C]-[],
SZZ = [_C is max(B,A+1),link(D,C),root(C,_C)]-[_D is max(B,A+1),link(C,D),root(C,_D)] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(E,C),root(C,B),root(E,A),bi(B>=A)],
ST = [link(C,D),root(D,A)],[root(C,B),bi(B>=A)],[link(E,C),root(E,A)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(E,C),root(E,A)],
ST2 = [link(C,D),root(D,A)],[E~>C,bi(_B is max(B,A+1)),root(C,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),link(E,C),root(C,_C),root(E,A),D~>C]-[],
SZ2 = [B>=A,_D is max(B,A+1),link(C,D),root(C,_D),root(D,A),E~>C]-[],
SZZ = [_C is max(B,A+1),link(E,C),root(C,_C),root(E,A),D~>C]-[_D is max(B,A+1),link(C,D),root(C,_D),root(D,A),E~>C] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(C,F),root(F,E),root(C,B),bi(E>=B)],
ST = [link(C,D),root(D,A),bi(B>=A)],[root(C,B)],[link(C,F),root(F,E),bi(E>=B)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(C,F),root(F,E),bi(E>=B)],
ST2 = [link(C,D),root(D,A),bi(B>=A)],[C~>F,bi(_B is max(E,B+1)),root(F,_B),bi(E>=B)],
SZ1 = [B>=A,E>=B,_C is max(B,A+1),link(C,F),root(C,_C),root(F,E),D~>C]-[],
SZ2 = [B>=A,E>=B,_D is max(E,B+1),link(C,D),root(D,A),root(F,_D),C~>F]-[],
SZZ = [_C is max(B,A+1),link(C,F),root(C,_C),root(F,E),D~>C]-[_D is max(E,B+1),link(C,D),root(D,A),root(F,_D),C~>F] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(C,D),root(D,A),root(C,B),bi(A>=B)],
ST = [link(C,D),bi(B>=A)],[root(C,B),root(D,A)],[link(C,D),bi(A>=B)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(C,D),bi(A>=B)],
ST2 = [link(C,D),bi(B>=A)],[C~>D,bi(_B is max(A,B+1)),root(D,_B),bi(A>=B)],
SZ1 = [_C is max(A,A+1),link(C,D),root(C,_C),D~>C]-[A=B],
SZ2 = [_D is max(A,A+1),link(C,D),root(D,_D),C~>D]-[A=B],
SZZ = [_C is max(A,A+1),root(C,_C),D~>C]-[_D is max(A,A+1),root(D,_D),C~>D] ? ;

R1 = linkLeft,[link(B,C),root(B,A),root(C,A),bi(A>=A)],
R2 = linkRight,[link(B,C),root(C,A),root(B,A),bi(A>=A)],
ST = [link(B,C)],[root(B,A),root(C,A),bi(A>=A)],[link(B,C)],
ST1 = [C~>B,bi(_A is max(A,A+1)),root(B,_A),bi(A>=A)],[link(B,C)],
ST2 = [link(B,C)],[B~>C,bi(_B is max(A,A+1)),root(C,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),link(B,C),root(B,_C),C~>B]-[],
SZ2 = [_D is max(A,A+1),link(B,C),root(C,_D),B~>C]-[],
SZZ = [_C is max(A,A+1),root(B,_C),C~>B]-[_D is max(A,A+1),root(C,_D),B~>C] ? ;

R1 = linkLeft,[link(B,C),root(B,A),root(C,A),bi(A>=A)],
R2 = linkRight,[link(B,D),root(D,A),root(B,A),bi(A>=A)],
ST = [link(B,C),root(C,A)],[root(B,A),bi(A>=A)],[link(B,D),root(D,A)],
ST1 = [C~>B,bi(_A is max(A,A+1)),root(B,_A),bi(A>=A)],[link(B,D),root(D,A)],
ST2 = [link(B,C),root(C,A)],[B~>D,bi(_B is max(A,A+1)),root(D,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),link(B,D),root(B,_C),root(D,A),C~>B]-[],
SZ2 = [_D is max(A,A+1),link(B,C),root(C,A),root(D,_D),B~>D]-[],
SZZ = [_C is max(A,A+1),link(B,D),root(B,_C),root(D,A),C~>B]-[_D is max(A,A+1),link(B,C),root(C,A),root(D,_D),B~>D] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(F,D),root(D,A),root(F,E),bi(A>=E)],
ST = [link(C,D),root(C,B),bi(B>=A)],[root(D,A)],[link(F,D),root(F,E),bi(A>=E)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(F,D),root(F,E),bi(A>=E)],
ST2 = [link(C,D),root(C,B),bi(B>=A)],[F~>D,bi(_B is max(A,E+1)),root(D,_B),bi(A>=E)],
SZ1 = [A>=E,B>=A,_C is max(B,A+1),link(F,D),root(C,_C),root(F,E),D~>C]-[],
SZ2 = [B>=A,A>=E,_D is max(A,E+1),link(C,D),root(C,B),root(D,_D),F~>D]-[],
SZZ = [_C is max(B,A+1),link(F,D),root(C,_C),root(F,E),D~>C]-[_D is max(A,E+1),link(C,D),root(C,B),root(D,_D),F~>D] ? ;

R1 = linkLeft,[link(B,C),root(B,A),root(C,A),bi(A>=A)],
R2 = linkRight,[link(D,C),root(C,A),root(D,A),bi(A>=A)],
ST = [link(B,C),root(B,A)],[root(C,A),bi(A>=A)],[link(D,C),root(D,A)],
ST1 = [C~>B,bi(_A is max(A,A+1)),root(B,_A),bi(A>=A)],[link(D,C),root(D,A)],
ST2 = [link(B,C),root(B,A)],[D~>C,bi(_B is max(A,A+1)),root(C,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),link(D,C),root(B,_C),root(D,A),C~>B]-[],
SZ2 = [_D is max(A,A+1),link(B,C),root(B,A),root(C,_D),D~>C]-[],
SZZ = [_C is max(A,A+1),link(D,C),root(B,_C),root(D,A),C~>B]-[_D is max(A,A+1),link(B,C),root(B,A),root(C,_D),D~>C] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(D,F),root(F,E),root(D,A),bi(E>=A)],
ST = [link(C,D),root(C,B),bi(B>=A)],[root(D,A)],[link(D,F),root(F,E),bi(E>=A)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(D,F),root(F,E),bi(E>=A)],
ST2 = [link(C,D),root(C,B),bi(B>=A)],[D~>F,bi(_B is max(E,A+1)),root(F,_B),bi(E>=A)],
SZ1 = [B>=A,E>=A,_C is max(B,A+1),link(D,F),root(C,_C),root(F,E),D~>C]-[],
SZ2 = [B>=A,E>=A,_D is max(E,A+1),link(C,D),root(C,B),root(F,_D),D~>F]-[],
SZZ = [_C is max(B,A+1),link(D,F),root(C,_C),root(F,E),D~>C]-[_D is max(E,A+1),link(C,D),root(C,B),root(F,_D),D~>F] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(D,E),root(E,B),root(D,A),bi(B>=A)],
ST = [link(C,D),root(C,B)],[root(D,A),bi(B>=A)],[link(D,E),root(E,B)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(D,E),root(E,B)],
ST2 = [link(C,D),root(C,B)],[D~>E,bi(_B is max(B,A+1)),root(E,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),link(D,E),root(C,_C),root(E,B),D~>C]-[],
SZ2 = [B>=A,_D is max(B,A+1),link(C,D),root(C,B),root(E,_D),D~>E]-[],
SZZ = [_C is max(B,A+1),link(D,E),root(C,_C),root(E,B),D~>C]-[_D is max(B,A+1),link(C,D),root(C,B),root(E,_D),D~>E] ? ;

R1 = linkLeft,[link(C,D),root(C,B),root(D,A),bi(B>=A)],
R2 = linkRight,[link(E,F),root(F,B),root(E,A),bi(B>=A)],
ST = [link(C,D),root(C,B),root(D,A)],[bi(B>=A)],[link(E,F),root(F,B),root(E,A)],
ST1 = [D~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[link(E,F),root(F,B),root(E,A)],
ST2 = [link(C,D),root(C,B),root(D,A)],[E~>F,bi(_B is max(B,A+1)),root(F,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),_D is max(B,A+1),root(C,_C),root(F,_D),D~>C,E~>F]-[],
SZ2 = [B>=A,_E is max(B,A+1),_F is max(B,A+1),root(F,_E),root(C,_F),E~>F,D~>C]-[],
SZZ = [_C is max(B,A+1),_D is max(B,A+1),root(C,_C),root(F,_D)]-[_E is max(B,A+1),_F is max(B,A+1),root(F,_E),root(C,_F)] ? ;

R1 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(C,D),root(D,F),root(C,E),bi(F>=E)],
ST = [root(D,B),root(C,A),bi(B>=A)],[link(C,D)],[root(D,F),root(C,E),bi(F>=E)],
ST1 = [C~>D,bi(_A is max(B,A+1)),root(D,_A),bi(B>=A)],[root(D,F),root(C,E),bi(F>=E)],
ST2 = [root(D,B),root(C,A),bi(B>=A)],[C~>D,bi(_B is max(F,E+1)),root(D,_B),bi(F>=E)],
SZ1 = [B>=A,F>=E,_C is max(B,A+1),root(C,E),root(D,_C),root(D,F),C~>D]-[],
SZ2 = [B>=A,F>=E,_D is max(F,E+1),root(D,B),root(D,_D),root(C,A),C~>D]-[],
SZZ = [_C is max(B,A+1),root(C,E),root(D,_C),root(D,F)]-[_D is max(F,E+1),root(D,B),root(D,_D),root(C,A)] ? ;

R1 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(C,D),root(D,B),root(C,E),bi(B>=E)],
ST = [root(C,A),bi(B>=A)],[link(C,D),root(D,B)],[root(C,E),bi(B>=E)],
ST1 = [C~>D,bi(_A is max(B,A+1)),root(D,_A),bi(B>=A)],[root(C,E),bi(B>=E)],
ST2 = [root(C,A),bi(B>=A)],[C~>D,bi(_B is max(B,E+1)),root(D,_B),bi(B>=E)],
SZ1 = [B>=A,B>=E,_C is max(B,A+1),root(C,E),root(D,_C),C~>D]-[],
SZ2 = [B>=A,B>=E,_D is max(B,E+1),root(C,A),root(D,_D),C~>D]-[],
SZZ = [_C is max(B,A+1),root(C,E),root(D,_C)]-[_D is max(B,E+1),root(C,A),root(D,_D)] ? ;

R1 = linkRight,[link(C,C),root(C,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(C,C),root(C,D),root(C,B),bi(D>=B)],
ST = [root(C,A),bi(B>=A)],[link(C,C),root(C,B)],[root(C,D),bi(D>=B)],
ST1 = [C~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(C,D),bi(D>=B)],
ST2 = [root(C,A),bi(B>=A)],[C~>C,bi(_B is max(D,B+1)),root(C,_B),bi(D>=B)],
SZ1 = [B>=A,D>=B,_C is max(B,A+1),root(C,_C),root(C,D),C~>C]-[],
SZ2 = [B>=A,D>=B,_D is max(D,B+1),root(C,A),root(C,_D),C~>C]-[],
SZZ = [_C is max(B,A+1),root(C,_C),root(C,D)]-[_D is max(D,B+1),root(C,A),root(C,_D)] ? ;

R1 = linkRight,[link(B,B),root(B,A),root(B,A),bi(A>=A)],
R2 = linkRight,[link(B,B),root(B,A),root(B,A),bi(A>=A)],
ST = [root(B,A)],[link(B,B),root(B,A),bi(A>=A)],[root(B,A)],
ST1 = [B~>B,bi(_A is max(A,A+1)),root(B,_A),bi(A>=A)],[root(B,A)],
ST2 = [root(B,A)],[B~>B,bi(_B is max(A,A+1)),root(B,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),root(B,_C),root(B,A),B~>B]-[],
SZ2 = [_D is max(A,A+1),root(B,A),root(B,_D),B~>B]-[],
SZZ = [_C is max(A,A+1),root(B,_C)]-[_D is max(A,A+1),root(B,_D)] ? ;

R1 = linkRight,[link(C,C),root(C,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(C,C),root(C,A),root(C,D),bi(A>=D)],
ST = [root(C,B),bi(B>=A)],[link(C,C),root(C,A)],[root(C,D),bi(A>=D)],
ST1 = [C~>C,bi(_A is max(B,A+1)),root(C,_A),bi(B>=A)],[root(C,D),bi(A>=D)],
ST2 = [root(C,B),bi(B>=A)],[C~>C,bi(_B is max(A,D+1)),root(C,_B),bi(A>=D)],
SZ1 = [A>=D,B>=A,_C is max(B,A+1),root(C,_C),root(C,D),C~>C]-[],
SZ2 = [B>=A,A>=D,_D is max(A,D+1),root(C,B),root(C,_D),C~>C]-[],
SZZ = [_C is max(B,A+1),root(C,_C),root(C,D)]-[_D is max(A,D+1),root(C,B),root(C,_D)] ? ;

R1 = linkRight,[link(B,B),root(B,A),root(B,A),bi(A>=A)],
R2 = linkRight,[link(B,B),root(B,A),root(B,A),bi(A>=A)],
ST = [root(B,A)],[link(B,B),root(B,A),bi(A>=A)],[root(B,A)],
ST1 = [B~>B,bi(_A is max(A,A+1)),root(B,_A),bi(A>=A)],[root(B,A)],
ST2 = [root(B,A)],[B~>B,bi(_B is max(A,A+1)),root(B,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),root(B,_C),root(B,A),B~>B]-[],
SZ2 = [_D is max(A,A+1),root(B,A),root(B,_D),B~>B]-[],
SZZ = [_C is max(A,A+1),root(B,_C)]-[_D is max(A,A+1),root(B,_D)] ? ;

R1 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(C,D),root(D,E),root(C,A),bi(E>=A)],
ST = [root(D,B),bi(B>=A)],[link(C,D),root(C,A)],[root(D,E),bi(E>=A)],
ST1 = [C~>D,bi(_A is max(B,A+1)),root(D,_A),bi(B>=A)],[root(D,E),bi(E>=A)],
ST2 = [root(D,B),bi(B>=A)],[C~>D,bi(_B is max(E,A+1)),root(D,_B),bi(E>=A)],
SZ1 = [B>=A,E>=A,_C is max(B,A+1),root(D,_C),root(D,E),C~>D]-[],
SZ2 = [B>=A,E>=A,_D is max(E,A+1),root(D,B),root(D,_D),C~>D]-[],
SZZ = [_C is max(B,A+1),root(D,_C),root(D,E)]-[_D is max(E,A+1),root(D,B),root(D,_D)] ? ;

R1 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
ST = [root(D,B)],[link(C,D),root(C,A),bi(B>=A)],[root(D,B)],
ST1 = [C~>D,bi(_A is max(B,A+1)),root(D,_A),bi(B>=A)],[root(D,B)],
ST2 = [root(D,B)],[C~>D,bi(_B is max(B,A+1)),root(D,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),root(D,_C),root(D,B),C~>D]-[],
SZ2 = [B>=A,_D is max(B,A+1),root(D,B),root(D,_D),C~>D]-[],
SZZ = [_C is max(B,A+1),root(D,_C)]-[_D is max(B,A+1),root(D,_D)] ? ;

R1 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
ST = [root(D,B),root(C,A)],[link(C,D),bi(B>=A)],[root(D,B),root(C,A)],
ST1 = [C~>D,bi(_A is max(B,A+1)),root(D,_A),bi(B>=A)],[root(D,B),root(C,A)],
ST2 = [root(D,B),root(C,A)],[C~>D,bi(_B is max(B,A+1)),root(D,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),root(C,A),root(D,_C),root(D,B),C~>D]-[],
SZ2 = [B>=A,_D is max(B,A+1),root(D,B),root(D,_D),root(C,A),C~>D]-[],
SZZ = [_C is max(B,A+1),root(D,_C)]-[_D is max(B,A+1),root(D,_D)] ? ;

R1 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(F,D),root(D,B),root(F,E),bi(B>=E)],
ST = [link(C,D),root(C,A),bi(B>=A)],[root(D,B)],[link(F,D),root(F,E),bi(B>=E)],
ST1 = [C~>D,bi(_A is max(B,A+1)),root(D,_A),bi(B>=A)],[link(F,D),root(F,E),bi(B>=E)],
ST2 = [link(C,D),root(C,A),bi(B>=A)],[F~>D,bi(_B is max(B,E+1)),root(D,_B),bi(B>=E)],
SZ1 = [B>=A,B>=E,_C is max(B,A+1),link(F,D),root(D,_C),root(F,E),C~>D]-[],
SZ2 = [B>=A,B>=E,_D is max(B,E+1),link(C,D),root(C,A),root(D,_D),F~>D]-[],
SZZ = [_C is max(B,A+1),link(F,D),root(D,_C),root(F,E),C~>D]-[_D is max(B,E+1),link(C,D),root(C,A),root(D,_D),F~>D] ? ;

R1 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(E,D),root(D,B),root(E,A),bi(B>=A)],
ST = [link(C,D),root(C,A)],[root(D,B),bi(B>=A)],[link(E,D),root(E,A)],
ST1 = [C~>D,bi(_A is max(B,A+1)),root(D,_A),bi(B>=A)],[link(E,D),root(E,A)],
ST2 = [link(C,D),root(C,A)],[E~>D,bi(_B is max(B,A+1)),root(D,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),link(E,D),root(D,_C),root(E,A),C~>D]-[],
SZ2 = [B>=A,_D is max(B,A+1),link(C,D),root(C,A),root(D,_D),E~>D]-[],
SZZ = [_C is max(B,A+1),link(E,D),root(D,_C),root(E,A),C~>D]-[_D is max(B,A+1),link(C,D),root(C,A),root(D,_D),E~>D] ? ;

R1 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(D,F),root(F,E),root(D,B),bi(E>=B)],
ST = [link(C,D),root(C,A),bi(B>=A)],[root(D,B)],[link(D,F),root(F,E),bi(E>=B)],
ST1 = [C~>D,bi(_A is max(B,A+1)),root(D,_A),bi(B>=A)],[link(D,F),root(F,E),bi(E>=B)],
ST2 = [link(C,D),root(C,A),bi(B>=A)],[D~>F,bi(_B is max(E,B+1)),root(F,_B),bi(E>=B)],
SZ1 = [B>=A,E>=B,_C is max(B,A+1),link(D,F),root(D,_C),root(F,E),C~>D]-[],
SZ2 = [B>=A,E>=B,_D is max(E,B+1),link(C,D),root(C,A),root(F,_D),D~>F]-[],
SZZ = [_C is max(B,A+1),link(D,F),root(D,_C),root(F,E),C~>D]-[_D is max(E,B+1),link(C,D),root(C,A),root(F,_D),D~>F] ? ;

R1 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(D,C),root(C,A),root(D,B),bi(A>=B)],
ST = [link(C,D),bi(B>=A)],[root(D,B),root(C,A)],[link(D,C),bi(A>=B)],
ST1 = [C~>D,bi(_A is max(B,A+1)),root(D,_A),bi(B>=A)],[link(D,C),bi(A>=B)],
ST2 = [link(C,D),bi(B>=A)],[D~>C,bi(_B is max(A,B+1)),root(C,_B),bi(A>=B)],
SZ1 = [_C is max(A,A+1),link(D,C),root(D,_C),C~>D]-[A=B],
SZ2 = [_D is max(A,A+1),link(C,D),root(C,_D),D~>C]-[A=B],
SZZ = [_C is max(A,A+1),link(D,C),root(D,_C),C~>D]-[_D is max(A,A+1),link(C,D),root(C,_D),D~>C] ? ;

R1 = linkRight,[link(B,C),root(C,A),root(B,A),bi(A>=A)],
R2 = linkRight,[link(C,B),root(B,A),root(C,A),bi(A>=A)],
ST = [link(B,C)],[root(C,A),root(B,A),bi(A>=A)],[link(C,B)],
ST1 = [B~>C,bi(_A is max(A,A+1)),root(C,_A),bi(A>=A)],[link(C,B)],
ST2 = [link(B,C)],[C~>B,bi(_B is max(A,A+1)),root(B,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),link(C,B),root(C,_C),B~>C]-[],
SZ2 = [_D is max(A,A+1),link(B,C),root(B,_D),C~>B]-[],
SZZ = [_C is max(A,A+1),link(C,B),root(C,_C),B~>C]-[_D is max(A,A+1),link(B,C),root(B,_D),C~>B] ? ;

R1 = linkRight,[link(B,C),root(C,A),root(B,A),bi(A>=A)],
R2 = linkRight,[link(C,D),root(D,A),root(C,A),bi(A>=A)],
ST = [link(B,C),root(B,A)],[root(C,A),bi(A>=A)],[link(C,D),root(D,A)],
ST1 = [B~>C,bi(_A is max(A,A+1)),root(C,_A),bi(A>=A)],[link(C,D),root(D,A)],
ST2 = [link(B,C),root(B,A)],[C~>D,bi(_B is max(A,A+1)),root(D,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),link(C,D),root(C,_C),root(D,A),B~>C]-[],
SZ2 = [_D is max(A,A+1),link(B,C),root(B,A),root(D,_D),C~>D]-[],
SZZ = [_C is max(A,A+1),link(C,D),root(C,_C),root(D,A),B~>C]-[_D is max(A,A+1),link(B,C),root(B,A),root(D,_D),C~>D] ? ;

R1 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(F,C),root(C,A),root(F,E),bi(A>=E)],
ST = [link(C,D),root(D,B),bi(B>=A)],[root(C,A)],[link(F,C),root(F,E),bi(A>=E)],
ST1 = [C~>D,bi(_A is max(B,A+1)),root(D,_A),bi(B>=A)],[link(F,C),root(F,E),bi(A>=E)],
ST2 = [link(C,D),root(D,B),bi(B>=A)],[F~>C,bi(_B is max(A,E+1)),root(C,_B),bi(A>=E)],
SZ1 = [A>=E,B>=A,_C is max(B,A+1),link(F,C),root(D,_C),root(F,E),C~>D]-[],
SZ2 = [B>=A,A>=E,_D is max(A,E+1),link(C,D),root(C,_D),root(D,B),F~>C]-[],
SZZ = [_C is max(B,A+1),link(F,C),root(D,_C),root(F,E),C~>D]-[_D is max(A,E+1),link(C,D),root(C,_D),root(D,B),F~>C] ? ;

R1 = linkRight,[link(B,C),root(C,A),root(B,A),bi(A>=A)],
R2 = linkRight,[link(D,B),root(B,A),root(D,A),bi(A>=A)],
ST = [link(B,C),root(C,A)],[root(B,A),bi(A>=A)],[link(D,B),root(D,A)],
ST1 = [B~>C,bi(_A is max(A,A+1)),root(C,_A),bi(A>=A)],[link(D,B),root(D,A)],
ST2 = [link(B,C),root(C,A)],[D~>B,bi(_B is max(A,A+1)),root(B,_B),bi(A>=A)],
SZ1 = [_C is max(A,A+1),link(D,B),root(C,_C),root(D,A),B~>C]-[],
SZ2 = [_D is max(A,A+1),link(B,C),root(B,_D),root(C,A),D~>B]-[],
SZZ = [_C is max(A,A+1),link(D,B),root(C,_C),root(D,A),B~>C]-[_D is max(A,A+1),link(B,C),root(B,_D),root(C,A),D~>B] ? ;

R1 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(C,F),root(F,E),root(C,A),bi(E>=A)],
ST = [link(C,D),root(D,B),bi(B>=A)],[root(C,A)],[link(C,F),root(F,E),bi(E>=A)],
ST1 = [C~>D,bi(_A is max(B,A+1)),root(D,_A),bi(B>=A)],[link(C,F),root(F,E),bi(E>=A)],
ST2 = [link(C,D),root(D,B),bi(B>=A)],[C~>F,bi(_B is max(E,A+1)),root(F,_B),bi(E>=A)],
SZ1 = [B>=A,E>=A,_C is max(B,A+1),link(C,F),root(D,_C),root(F,E),C~>D]-[],
SZ2 = [B>=A,E>=A,_D is max(E,A+1),link(C,D),root(D,B),root(F,_D),C~>F]-[],
SZZ = [_C is max(B,A+1),link(C,F),root(D,_C),root(F,E),C~>D]-[_D is max(E,A+1),link(C,D),root(D,B),root(F,_D),C~>F] ? ;

R1 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(C,E),root(E,B),root(C,A),bi(B>=A)],
ST = [link(C,D),root(D,B)],[root(C,A),bi(B>=A)],[link(C,E),root(E,B)],
ST1 = [C~>D,bi(_A is max(B,A+1)),root(D,_A),bi(B>=A)],[link(C,E),root(E,B)],
ST2 = [link(C,D),root(D,B)],[C~>E,bi(_B is max(B,A+1)),root(E,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),link(C,E),root(D,_C),root(E,B),C~>D]-[],
SZ2 = [B>=A,_D is max(B,A+1),link(C,D),root(D,B),root(E,_D),C~>E]-[],
SZZ = [_C is max(B,A+1),link(C,E),root(D,_C),root(E,B),C~>D]-[_D is max(B,A+1),link(C,D),root(D,B),root(E,_D),C~>E] ? ;

R1 = linkRight,[link(C,D),root(D,B),root(C,A),bi(B>=A)],
R2 = linkRight,[link(E,F),root(F,B),root(E,A),bi(B>=A)],
ST = [link(C,D),root(D,B),root(C,A)],[bi(B>=A)],[link(E,F),root(F,B),root(E,A)],
ST1 = [C~>D,bi(_A is max(B,A+1)),root(D,_A),bi(B>=A)],[link(E,F),root(F,B),root(E,A)],
ST2 = [link(C,D),root(D,B),root(C,A)],[E~>F,bi(_B is max(B,A+1)),root(F,_B),bi(B>=A)],
SZ1 = [B>=A,_C is max(B,A+1),_D is max(B,A+1),root(D,_C),root(F,_D),C~>D,E~>F]-[],
SZ2 = [B>=A,_E is max(B,A+1),_F is max(B,A+1),root(F,_E),root(D,_F),E~>F,C~>D]-[],
SZZ = [_C is max(B,A+1),_D is max(B,A+1),root(D,_C),root(F,_D)]-[_E is max(B,A+1),_F is max(B,A+1),root(F,_E),root(D,_F)] ? ;
no

%-------------------------------------------------------------------------------