Myrmica smythiesi exigua

This taxon is a junior homonym and has been replaced by Myrmica ruzskyana.