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