Christmas Tree Automata STL

(3)

(28)

(8)

(1)

(5)

(2)

(2)

(756)

(43)

(63)

(35)

(95)

(113)

(28)

(16)

(24)

(28)

(37)

(151)

(1.2K)

(580)

(627)

(73)

(111)

(100)

(81)

(157)

(135)

(338)

(66)

(98)

(238)

(101)

(122)

(147)

(35)

(26)

(3)

(10)

(3)

(3)

(6)

(10)

(227)

(278)

(150)

(99)

(78)

(70)

(119)

(59)

(108)

(87)

(25)