From flash, u can export to AVI or MPG. then u can play it with lite-c using "media_play" function. check manual on "media_play"
media_play function can render the following files: avi, .mpg, .wmv, .wma, .wav, .mid, .mp3, .ogg and so on, even some still image formats like .bmp or .jpg..