Hmm. They used a surprisingly tricky algorithm. This might take a few moments.