split:=proc(L,R)
local n,m:
if nops(L)=0 or nops(R)=0 then
 RETURN(1):
fi:
 
n:=op(nops(L),L):
m:=op(1,R):
 
if n=m then
 RETURN(false):
fi:
 
if n>=4 and m<=3 then
RETURN(true):
fi:
 
if n=2 then
 if m=1 and nops(R)>2 and op(2,R)<>1 and op(3,R)<>op(2,R) then 
   RETURN(true):
 fi:
 if m=1 and nops(R)=2 and op(2,R)<>1 then 
   RETURN(true):
 fi:
 
 if m=1 and nops(R)>=3 and op(2,R)=1 and op(3,R)=1 then 
   RETURN(true):
 fi:
 
 if m=3 and nops(R)>=2 and op(2,R)<>3
and not(nops(R)>=4 and op(2,R)=op(3,R) and op(3,R)=op(4,R))
 then
        RETURN(true):
 fi:
 
 if m=3 and nops(R)=1 
 then
        RETURN(true):
 fi:
 
 if m>=4 then
  RETURN(true):
 fi:
fi:
 
if n<>2 then
  if nops(R)>=5 and op(1,R)=2 and op(2,R)=2 and op(3,R)=1 and op(4,R)<>1
     and op(5,R)<>op(4,R)  then
      RETURN(true):
  fi:
 
  if nops(R)=4 and op(1,R)=2 and op(2,R)=2 and op(3,R)=1 and op(4,R)<>1 then
      RETURN(true):
  fi:
 
 if nops(R)>=5 and op(1,R)=2 and op(2,R)=2 and op(3,R)=1 and op(4,R)=1
              and op(5,R)=1 then
    RETURN(true):
 fi:
 
 if nops(true)>=4 and op(1,R)=2 and op(2,R)=2 and op(3,R)=3 and op(4,R)<>op(3,R)
              and not(nops(R)>=6 and op(4,R)=op(5,R) and op(5,R)=op(6,R))
                 then
    RETURN(true):
 fi:
 
 if nops(R)=2 and op(1,R)=2 and op(2,R)=2 then
  RETURN(true):
 fi:
 
 if nops(R)=3 and op(1,R)=2 and op(2,R)=2 and op(3,R)>=4 then
  RETURN(true):
 fi:
 
 if nops(R)>=3 and op(1,R)=2 and op(2,R)=2 and op(3,R)>=4 and
                     op(4,R)<>op(3,R)    then
                   
  RETURN(true):
 fi:
fi:
false:
end: