Input
6 5
Output
6
7
Input
8 16
Output
35
53