{-# htermination group :: [Bool] -> [[Bool]] #-}
import List