Converting .mp4 videos to .trec format.
As far as we know, converting MPEG-4 Videos directly to Camtasia Studio Recorded Sessions (.mp4 to .trec conversion) is not possible, and not even the original software, Camtasia, is capable of such conversion.
All you can do is play your MP4 video using any available media player, and record your screen using Camtasia in order to obtain a TREC recording.
The database currently does not contain any mp4 software converter.