sizesize

(e.e/x,i. < x,filter(j.m1(x,j);upto(0;size))[i] > ) (x:size||filter(j.m1(x,j);upto(0;size))||){p:(sizesize)| m1(1of(p),2of(p)) }

1

3. e: x:size||filter(j.m1(x,j);upto(0;size))|| 4. x: size 5. i: ||filter(j.m1(x,j);upto(0;size))|| 6. e = < x,i > x:size||filter(j.m1(x,j);upto(0;size))|| m1(x,filter(j.m1(x,j);upto(0;size))[i])

6 steps

About: