Как именно GIMP преобразует jpg в ppm? Я пытаюсь конвертировать JPG в ppm на Android. В Android я использую API для создания растрового изображения jpg ARGB_8888, затем отбрасываю альфа-канал и выбрасываю значения RGB в ppm. Но я получаю разные значения для RGB из GIMP.