Если знаете букву, на которую начинается нужное расширение - выберите ее.

.GRA расширение

Расширение формат файла «.gra»
Тип файла Графический документ
Разработчик Microsoft
Категория Файлы данных

Описание формата файла

Графический документ

Программы, которыми можно открыть файл .GRA