Red trees

(5)

(35)

(2)

(24)

(2)

(3)

(514)

(764)

(107)

(293)

(177)

(160)

(146)

(322)

(71)

(224)

(336)

(9)

(855)

(1.2K)

(429)

(40)

(46)

(49)

(74)

(130)

(76)

(370)

(255)

(21)

(303)

(3)

(18)

(16)

(21)

(16)

(1)

(19)

(19)

(1)

(8)

(3)

(1)

(4)

(12)

(2)

(5)

(4)

(7)

(4)

(1)

(2)