a green and red trees