Crane Automata STL

(28)

(8)

(1)

(5)

(2)

(2)

(253)

(67)

(6)

(61)

(31)

(6)

(2)

(1)

(13)

(12)

(3)

(1)

(3)

(7)

(5)

(2)

(1)

(1)

(3)

(1)

(1.2K)

(581)

(627)

(73)

(111)

(100)

(157)

(82)

(135)

(340)

(66)

(99)

(41)

(48)

(75)

(10)

(23)

(14)

(8)

(116)

(21)

(4)

(16)

(6)