3. Consider the following Hoare triple in which variable a is an array of integers, and len, max, i, n, j and m are integer-valued variables. {0 < len} i = 0; n = 1; j = 0; a (i+n-1)] max) { m = 1; while (i+n