sum strilings2(12,x) for x from x=1 to 12