Distribution maps. 58 Gyrinus japonicus (circle), G. gestroi (triangle), G. pullatus (square) 59 Dineutus orientalis (circle), Orectochilus punctipennis (triangle), O. villosus (square).