95% done. However, still not sure about whether the result is correct or
not. Hope that you guys go through the details.