@mathpunk actually, having re-read your tweet: we're only looking at those six sequences mentioned at the end of bracket 4 for the final...