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