Here's an updated version that goes all the way until the brute force solution. You can really see the part where the community pulled together at the end.