K 0 while k n (13/48)

K 0 while k n