Sort color July, 01 in left, 2 in right loop invariant