Red Planet Divx3 2000 torrent

From the old box.

Well, this can be taken literally: an old box with movies in the attic.
All are DivX or alike encoded. Most of them with the old DivX3 codec.
Didnt rip them myself and dont have the original release nfo.
The filename occasionally credits the group that did the rip.

General #0
Complete name : D:\Movies\OldBox\Red.Planet.Divx3.2000\Red.Planet.DVDRip.DivX-CLaRiTY.avi
Format : AVI
Format/Info : Audio Video Interleave
Format/Family : RIFF
File size : 700 MiB
PlayTime : 1h 46mn
Bit rate : 919 Kbps
StreamSize : 7.17 MiB
Writing library : VirtualDub build 11759/release

Video #0
Codec : div3
PlayTime : 1h 46mn
Bit rate : 782 Kbps
Width : 608 pixels
Height : 256 pixels
Display Aspect ratio : 2.35
Frame rate : 23.976 fps
Resolution : 24 bits
StreamSize : 595 MiB
BitRate_Nominal : 771868.580

Audio #0
Codec : MPEG-1 Audio layer 3
Codec profile : Joint stereo
PlayTime : 1h 46mn
Bit rate : 128 Kbps
Bit rate mode : CBR
Channel(s) : 2 channels
Sampling rate : 44.1 KHz
Resolution : 16 bits
StreamSize : 97.3 MiB
Writing library : Xing (new)