function Main(input) {
    // inputにはすべての入力の文字列が与えられるので必要に応じて input.split("\n") などで分割する。

    var data = input.split("\n");
    var n = parseInt(data[0], 10);
    var k = parseInt(data[1], 10);
    
    var returner = 0;
    
    for(var i=1; i<k; i++){
        if( n%i === 0 ){
            returner += i;
            returner += n/i;
        }
    }
    
    
    
    console.log( returner );
}

// Don't edit this line!
Main(require("fs").readFileSync("/dev/stdin", "utf8"));