tokens: Для маленьких кратеров используются только имена , без фамилий ( например кратер Борис ) Как правило , официальные названия не присваиваются кратерам размером менее 100 метров , кроме случаев , когда такие кратеры представляют исключительный научный интерес