Videos have been aggressively sub-sampled to keep size down. Some
video players had difficulty replaying low FPS videos, so I kept the
FPS at 15. Your player should have a slow motion
option... here inconvenience is the price we pay for compatibility.
For shorter videos I took every 5th frame. For longer videos, every
50th frame. 

The videos are encoded as DIVX MPEG4 sequences in the avi container
format. Almost any video player should work, but I've tested with VLC
(http://www.videolan.org/), ffmpeg (http://ffmpeg.org/), and Windows
Media Player. 

Good Luck!

