1,100,502 specimens across 6 departments, collected since 1754 — 100,256 names, 42,336 type specimens.
2 specimens
Cocotropus larvatusParatype
BPBM 22297 · J.E. Randall and T. Yoshino, 1977
Okinawa
Cocotropus larvatusHolotype
BPBM 29211 · Scott Johnson, 1983
Kwajalein Atoll
