{-# htermination (\\) :: [Bool] -> [Bool] -> [Bool] #-}
import List