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