\{ a_1, a_2, a_3, b_2 \}