However, note that the first part is defined by the two contexts (λ, λ), (a, b) and the second by the two contexts (λ, λ), (a, bb).
it is sufficient to have a set F that includes these four contexts, as well as similar pairs for the other non-terminals in the grammar, and some contexts to define a and b.