New and little known pygmy grasshoppers (Orthoptera: Tetrigidae) from the Philippines

A list of eleven species of the family Tetrigidae found in the Philippines is given, of them Hirrius kitangladensis sp. nov., Cleostratus omelkoi sp. nov., Centrosotettix montanus sp. nov., Bolotettix parvus sp. nov., and B. nanus sp. nov. are described from this country. New synonymy is proposed: Bolotettix Hancock, 1907 = Syzygotettix Gnther, 1938 syn. nov., and new combinations are established: Bolotettix baeri (Bolvar, 1887), comb. nov., Bolotettix boettcheri Gnther, 1938, comb. nov., Bolotettix semperi Gnther, 1938, comb. nov., Bolotettix uncinatus (Stl, 1877), comb. nov., and Bolotettix vicinus Gnther, 1938, comb. nov. Three species are transferred from the genus Teredorus Hancock to Systolederus Bol. and new combinations are proposed: Systolederus longidorsalis (Zheng, 2015), comb. nov., Systolederus jinshaensis (Zha et Ding, 2017), comb. nov., and Systolederus vicinus (Storozhenko, 2019), comb. nov. Thoradonta palawanica Gnther and Scelimena boettcheri Gnther are recorded from the south part of Palawan Island for the first time. Euparatettix personatus (Bol.) is new to the fauna of Mindanao Island. Platygavialidium dentifer (Stl) and Systolederus haani Bol. are recorded from Mindoro Island for the first time. The distribution of Diotarus verrucifer Stl is clarified. Keys to species of the genera Hirrius Bol. and Cleostratus Stl are also provided.