sizesize

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

1	3. b: sizesize 4. m1(1of(b),2of(b)) 5. m1(1of(b),2of(b)) a:(x:size||filter(j.m1(x,j);upto(0;size))||). (a/x,i. < x,filter(j.m1(x,j);upto(0;size))[i] > ) = b {p:(sizesize)| m1(1of(p),2of(p)) }	24 steps
2	3. b: sizesize 4. m1(1of(b),2of(b)) 5. m1(1of(b),2of(b)) a:(x:size||filter(j.m1(x,j);upto(0;size))||). (a/x,i. < x,filter(j.m1(x,j);upto(0;size))[i] > ) = b {p:(sizesize)| m1(1of(p),2of(p)) }	1 step

About: