Convert divx to ppm

What is the difference between .divx and .ppm?

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 PPM file is a 24-bit color image formatted using a text format. It stores each pixel with a number from 0 to 65536, which specifies the color of the pixel. PPM files also store the image height and width, whitespace data, and the maximum color value.