2lt(A,B):- A < B.
    3type_restriction(lt(A,B),[number(A),number(B)]).
    4
    5
    6ex(merge([],[],[]),'+').
    7ex(merge([],[2],[2]),'+'). 
    8ex(merge([],[3,4],[3,4]),'+'). 
    9ex(merge([5],[],[5]),'+'). 
   10ex(merge([2,3],[],[2,3]),'+'). 
   11
   12
   13
   14ex(merge([1],[2],[1,2]),'+').
   15ex(merge([0,1],[3,4],[0,1,3,4]),'+').
   16ex(merge([1],[3,4],[1,3,4]),'+').
   17
   18ex(merge([5],[4],[4,5]),'+').
   19ex(merge([6,7],[3,4],[3,4,6,7]),'+').
   20ex(merge([6,7],[4],[4,6,7]),'+').
   21
   22
   23ex(merge([2,3,4,6],[5,7],[2,3,4,5,6,7]),'+'). 
   24ex(merge([43,55,63],[22,33,44,53],[22,33,43,44,53,55,63]),'+'). 
   25ex(merge([29,39,49,59],[37,79,99],[29,37,39,49,59,79,99]),'+').
   26ex(merge([2],[4,7],[2,4,7]),'+').
   27
   28
   29
   30ex(merge([],[],[3]),'-').
   31ex(merge([],[2],[1,2]),'-'). 
   32ex(merge([],[3,4],[4,3]),'-'). 
   33ex(merge([5,6],[],[5]),'-'). 
   34ex(merge([2,3],[],[1,2,3]),'-'). 
   35
   36
   37
   38ex(merge([1],[2],[2,1]),'-').
   39ex(merge([0,1],[3,4],[0,1,4]),'-').
   40ex(merge([1],[3,4],[4,1,1,3]),'-').
   41
   42ex(merge([5],[1,4],[4,1,5]),'-').
   43ex(merge([6,7],[3,4],[3,6,4,7]),'-').
   44ex(merge([6,7],[4],[6,7,4]),'-')