Explanation of the proof by the person who implemented it:

http://www.cecm.sfu.ca/organics/papers/lam/paper/html/paper....