I don't have time for tracing your original address. You can do it for yourself or hire someone to do it for you if you're interested. You can't expect that some random people on the internet will do work for you for free.

Sorry, but my math is too simple to be "proven". My math works because of this simple principle: if the mixer is not stealing your coins, then the amount of the coins you send to the mixer must be equal to the amount of coins that mixer sends to the recipient and to the change addresses. If this is not true and the mixer operators are rational, then they're stealing your coins.