
1-S(3).
2-J(1,10,15).
3-S(10).
4-T(7,3).
5-Z(2).
6-Z(4).
7-S(4).
8-S(3).
9-S(2).
10-J(10,4,12).
11-J(1,1,7).
12-S(5).
13-J(7,5,2).
14-J(1,1,6).
15-END.