+100mil10x2.fp: 100mil.5c
+ nickle 100mil.5c -o $@ 10 2
+
+100mil13x2.fp: 100mil.5c
+ nickle 100mil.5c -o $@ 13 2
+
+100mil17x2.fp: 100mil.5c
+ nickle 100mil.5c -o $@ 17 2
+
+100mil20x2.fp: 100mil.5c
+ nickle 100mil.5c -o $@ 20 2
+
+100mil25x2.fp: 100mil.5c
+ nickle 100mil.5c -o $@ 25 2
+
+100mil26x2.fp: 100mil.5c
+ nickle 100mil.5c -o $@ 26 2
+
+100mil30x2.fp: 100mil.5c
+ nickle 100mil.5c -o $@ 30 2
+