(1) Cons

(1) Consider the following algorithm. Preconditions: X={x1,x2,,xn}N i1t1 while in do for j{1,2,,i} do ttxi ii+1 (a) Trace through this algorithm given X={3,4,6,7,9}. (b) Give a good post condition that accurately describes the value of t