A mathematical model of post-canalization thrombolysis.