"Myrmica ruginodis"@cs .