<?php
fscanf(STDIN, "%d%d", $N, $K);
if($N%$K){
	echo -1;
}else{
	for($i = 0; $i < $N; $i++){
		if($i < $N/$K){
			$ans[] = 1;
		}else{
			$ans[] = 2;
		}
	}
	echo implode(" ", $ans);
}