w(1,2,3,4,6, 12);
	w(1,2,3,4, 6);
		w(1,2,3, 2);
			w(1,2, 2);
				die (2 == 2), therefore 12 is semiperfect