import qualified Data.Char as C

main :: IO ()
main = do
  [n, k] <- fmap (map read . words) getLine :: IO [Int]
  let ix = take (n-k) $ cycle [1, 3, 0, 2]
      ix' = last . take (k + 1) $ iterate (\a -> 1 : a) ix
  putStrLn $ if length ix' == 0
                then "-1"
                else foldr (\b a -> C.intToDigit b : ' ' : a) [] ix'