Convert divx to pgm

What is the difference between .divx and .pgm?

Description: A DivX-Encoded Movie File, designated with the .divx file extension, is a digital video format that offers a high-quality, highly compressed viewing experience. Developed by DivX, LLC, this format is designed to compress lengthy video segments into smaller sizes without significantly sacrificing visual quality. This enables users to store and distribute high-definition videos more efficiently over limited bandwidth or storage capacities. The DivX codec, which is required to play these files, supports advanced multimedia features such as multiple video streams.; A PGM file is a grayscale image file saved in the portable gray map (PGM) format and encoded with one or two bytes (8 or 16 bits) per pixel. It contains header information and a grid of numbers that represent different shades of gray from black (0) to white (up to 65,536). PGM files are typically stored in ASCII text format, but also have a binary representation.