I'm confused - does this mean that for the best result, it should be decompiled into Adobe Flash CS3(v9)?