Stamps

The government of Nova Mareterrania requires that various legal documents have stamps attached to them so that the government can derive revenue from them. In terms of recent legislation, each class of document is limited in the number of stamps that may be attached to it. The government wishes to know how many different stamps, and of what values, they need to print to allow the widest choice of values to be made up under these conditions. Stamps are always valued in units of $1.

This has been analysed by government mathematicians who have derived a formula for n(h,k), where h is the number of stamps that may be attached to a document, k is the number of denominations of stamps available, and n is the largest attainable value in a continuous sequence starting from $1. For instance, if h=3, k=2 and the denominations are $1 and $4, we can make all the values from $1 to $6 (as well as $8, $9 and $12). However with the same values of h and k, but using $1 and $3 stamps we can make all the values from $1 to $7 (as well as $9). This is maximal, so n(3,2) = 7.

Unfortunately the formula relating n(h,k) to h, k and the values of the stamps has been lost--it was published in one of the government reports but no-one can remember which one, and of the three researchers who started to search for the formula, two died of boredom and the third took a job as a lighthouse keeper because it provided more social stimulation.

The task has now been passed on to you. You doubt the existence of a formula in the first place so you decide to write a program that, for given values of h and k, will determine an optimum set of stamps and the value of n(h,k).

Input

Input will consist of several lines, each containing a value for h and k. The file will be terminated by two zeroes (0 0). For technical reasons the sum of h and k is limited to 9. (The President lost his little finger in a shooting accident and cannot count past 9).

Output

Output will consist of a line for each value of h and k consisting of the k stamp values in ascending order right justified in fields 3 characters wide, followed by a space and an arrow (->) and the value of n(h,k) right justified in a field 3 characters wide.

Sample input

3 2
0 0

Sample output

  1  3 ->  7

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int ans = 0, astamp[10];
int H, K, use[10];
int dp[200][10] = {};
void dfs(int idx, int last, int lastcan) {
    int can = 0, i, j, k;
    for(i = lastcan; ; i++) {
        for(j = 0; j <= H; j++) {
            if(dp[i][j] != 0) {
                break;
            }
        }
        if(j == H+1) {
            can = i-1;
            break;
        }
    }
    if(idx == K) {
        if(can >= ans) {
            ans = can;
            for(i = 0; i < K; i++)
                astamp[i] = use[i];
        }
        return;
    }
    int step[10000][2], re;
    for(i = last+1; i <= can+1; i++) {
        re = 0;
        for(j = 0; j <= 100; j++) {
            for(k = 0; k < H; k++) {
                if(dp[j+i][k+1] == 0 && dp[j][k] != 0) {
                    step[re][0] = j+i;
                    step[re][1] = k+1;
                    re++;
                    dp[j+i][k+1] = 1;
                }
            }
        }
        use[idx] = i;
        dfs(idx+1, i, can);
        for(j = 0; j < re; j++)
            dp[step[j][0]][step[j][1]] = 0;
    }
}
int main() {
    while(scanf("%d %d", &H, &K) == 2) {
        if(H == 0 && K == 0)
            break;
        memset(dp, 0, sizeof(dp));
        dp[0][0] = 1;
        ans = 0;
        dfs(0, 0, 0);
        int i;
        for(i = 0; i < K; i++) {
            printf("%3d", astamp[i]);
        }
        printf(" ->%3d\n", ans);
    }
    return 0;
}