(1 - (product (27-n)/(31-n), n=1 to 14)) * (1 - (product (29-n)/(31-n), n=2 to 15))