-- import the calculus rules and transformations
-- import LR-StandardReductions.inp
-- import LR-Answers.inp
-- import LR-Transformations.inp
-- import LR-Unions.inp
-- overlap all right hand sides of each transformation with all left hand sides of each normal
-- order reduction
-- union (abscpcx,0) = {(abs,0),(cpcx,0)}

        
overlap (seq-c,1).r 
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)}
        
overlap (seq-c,2).r 
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)}
        
overlap (seq-c,3).r 
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)}
        
overlap (seq-c,4).r 
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)}
        
overlap (seq-c,5).r 
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)}
    
overlap (seq-c,6).r 
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)}
        
overlap (caselist-c,1).r
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)
               }
        
overlap (caselist-c,2).r
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)}
        
overlap (casebool-c,1).r
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)}
        
overlap (casebool-c,2).r
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)}
        
overlap (casepair-c).r 
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)}

        
overlap (cpx-in).r  
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(caselist-c,0)
               ,(seq-c,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)
               ,(lll,0)
               }

overlap (cpx-e,1).r 
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(caselist-c,0)
               ,(seq-c,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)
               ,(lll,0)
               }
overlap (xch).r     
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(caselist-c,0)
               ,(seq-c,0)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)
               ,(lll,0)
               }