import Data.Time
import Data.List
import Data.Function
 
solve nums maxlen = nub $ concat $ concatMap (mkPair . map snd) $ filter noOne $
                    groupBy ((==) `on` fst) $ sortBy (compare `on` fst) $ 
                    map (\a -> (sum a,a)) $
                    filter ((<=maxlen).length) $ tail $ subsequences nums
    where noOne [x] = False
          noOne _ = True
          mkPair [x,y] = [[(x,y)]]
          mkPair (x:xs) = map ((,)x) xs : mkPair xs
 
main:: IO () 
main = do
       begT <- getCurrentTime
       print $ take 1 $ reverse $ solve [1..12] 6
       endT <- getCurrentTime
       print $ diffUTCTime endT begT 

aW1wb3J0IERhdGEuVGltZQppbXBvcnQgRGF0YS5MaXN0CmltcG9ydCBEYXRhLkZ1bmN0aW9uCiAKc29sdmUgbnVtcyBtYXhsZW4gPSBudWIgJCBjb25jYXQgJCBjb25jYXRNYXAgKG1rUGFpciAuIG1hcCBzbmQpICQgZmlsdGVyIG5vT25lICQKICAgICAgICAgICAgICAgICAgICBncm91cEJ5ICgoPT0pIGBvbmAgZnN0KSAkIHNvcnRCeSAoY29tcGFyZSBgb25gIGZzdCkgJCAKICAgICAgICAgICAgICAgICAgICBtYXAgKFxhIC0+IChzdW0gYSxhKSkgJAogICAgICAgICAgICAgICAgICAgIGZpbHRlciAoKDw9bWF4bGVuKS5sZW5ndGgpICQgdGFpbCAkIHN1YnNlcXVlbmNlcyBudW1zCiAgICB3aGVyZSBub09uZSBbeF0gPSBGYWxzZQogICAgICAgICAgbm9PbmUgXyA9IFRydWUKICAgICAgICAgIG1rUGFpciBbeCx5XSA9IFtbKHgseSldXQogICAgICAgICAgbWtQYWlyICh4OnhzKSA9IG1hcCAoKCwpeCkgeHMgOiBta1BhaXIgeHMKICAgICAgICAgIAptYWluOjogSU8gKCkgCm1haW4gPSBkbwogICAgICAgYmVnVCA8LSBnZXRDdXJyZW50VGltZQogICAgICAgcHJpbnQgJCB0YWtlIDEgJCByZXZlcnNlICQgc29sdmUgWzEuLjEyXSA2CiAgICAgICBlbmRUIDwtIGdldEN1cnJlbnRUaW1lCiAgICAgICBwcmludCAkIGRpZmZVVENUaW1lIGVuZFQgYmVnVCA=