Example :
Exactly one execution of the sample input results in S=8, and the
probability of that execution is not 1/8C4=1/70, but (1/2)^4=1/16,
since the program automatically execute remaining operations.
It is true that there are 70 different executions, but not all of
them have the same probability.