677a40008f3b5b3048bb28a869a04de71beade71
14 mkds5n-4.fp: mkds5n.5c
15 nickle mkds5n.5c 4 > $@
17 mkds5n-5.fp: mkds5n.5c
18 nickle mkds5n.5c 5 > $@
20 mkds5n-6.fp: mkds5n.5c
21 nickle mkds5n.5c 6 > $@
23 mkds5n-7.fp: mkds5n.5c
24 nickle mkds5n.5c 7 > $@
26 mkds5n-8.fp: mkds5n.5c
27 nickle mkds5n.5c 8 > $@
29 mkds5n-9.fp: mkds5n.5c
30 nickle mkds5n.5c 9 > $@
32 mkds5n-10.fp: mkds5n.5c
33 nickle mkds5n.5c 10 > $@
35 mkds5n-11.fp: mkds5n.5c
36 nickle mkds5n.5c 11 > $@
38 mkds5n-12.fp: mkds5n.5c
39 nickle mkds5n.5c 12 > $@