Background

题目来源于古寨中学

Description

炎炎夏日，小明买来了一大块西瓜！他现在要把这块西瓜分给k个人，西瓜的总体积为V，每个人会分到体积为v（v为正整数）的西瓜，小明想知道有几种不同的分法（我们把1 1 2、1 2 1、2 1 1看作一种分法）

Format

Input

两个整数V、k（6< V ≤200,2≤ k ≤6,V≥k）

Output

一个整数，表示有几种不同的分法。

Samples

input1

7 3

output1

4

Limitation

1s, 1024KiB for each test case.