K 0 while k n (31/48)

K 0 while k n