Not sure if it answers your question but the format is .avi
You could try the K-Lite codec pack? I think most people convert their files when having trouble importing into video editing software.
Not always the best solution as quality will decrease when you convert..