This page has moved to https://drmaciver.com/notebook/2020/07/an-annoyingly-hard-algorithm-to-beat/.