После преобразования растрового 1024-цветного графического файла в 32-цветный формат его размер уменьшился на 25 Кбайт. Каков был размер исходного файла в Кбайтах?