Singular

LIB "crypto.lib";
injective_knapsack(3,9);
==> [1]:
==>    [1]:
==>       9
==>    [2]:
==>       1
==>    [3]:
==>       3
==> [2]:
==>    [1]:
==>       9
==>    [2]:
==>       1
==>    [3]:
==>       4
==> [3]:
==>    [1]:
==>       9
==>    [2]:
==>       1
==>    [3]:
==>       5
==> [4]:
==>    [1]:
==>       9
==>    [2]:
==>       1
==>    [3]:
==>       6
==> [5]:
==>    [1]:
==>       9
==>    [2]:
==>       1
==>    [3]:
==>       7
==> [6]:
==>    [1]:
==>       9
==>    [2]:
==>       2
==>    [3]:
==>       1
==> [7]:
==>    [1]:
==>       9
==>    [2]:
==>       2
==>    [3]:
==>       3
==> [8]:
==>    [1]:
==>       9
==>    [2]:
==>       2
==>    [3]:
==>       4
==> [9]:
==>    [1]:
==>       9
==>    [2]:
==>       2
==>    [3]:
==>       5
==> [10]:
==>    [1]:
==>       9
==>    [2]:
==>       2
==>    [3]:
==>       6
==> [11]:
==>    [1]:
==>       9
==>    [2]:
==>       3
==>    [3]:
==>       4
==> [12]:
==>    [1]:
==>       9
==>    [2]:
==>       3
==>    [3]:
==>       5
==> [13]:
==>    [1]:
==>       9
==>    [2]:
==>       3
==>    [3]:
==>       7
==> [14]:
==>    [1]:
==>       9
==>    [2]:
==>       4
==>    [3]:
==>       6
==> [15]:
==>    [1]:
==>       9
==>    [2]:
==>       4
==>    [3]:
==>       7
==> [16]:
==>    [1]:
==>       9
==>    [2]:
==>       5
==>    [3]:
==>       6
==> [17]:
==>    [1]:
==>       9
==>    [2]:
==>       5
==>    [3]:
==>       7
==> [18]:
==>    [1]:
==>       9
==>    [2]:
==>       6
==>    [3]:
==>       7
==> [19]:
==>    [1]:
==>       9
==>    [2]:
==>       8
==>    [3]:
==>       2
==> [20]:
==>    [1]:
==>       9
==>    [2]:
==>       8
==>    [3]:
==>       3
==> [21]:
==>    [1]:
==>       9
==>    [2]:
==>       8
==>    [3]:
==>       4
==> [22]:
==>    [1]:
==>       9
==>    [2]:
==>       8
==>    [3]:
==>       5
==> [23]:
==>    [1]:
==>       9
==>    [2]:
==>       8
==>    [3]:
==>       6
==> [24]:
==>    [1]:
==>       9
==>    [2]:
==>       8
==>    [3]:
==>       7