I'm pretty sure this guy solved (part of) it: https://www.youtube.com/watch?v=4cRlqE3D3RQ https://www.youtube.com/watch?v=4cRlqE3D3RQ if you want to skip the

I'm pretty sure this guy solved (part of) it: https://www.youtube.com/watch?v=4cRlqE3D3RQ https://www.youtube.com/watch?v=4cRlqE3D3RQ if you want to skip the basics jump right in to part 2: https://www.youtube.com/watch?v=8nHbImkFKE4 https://www.youtube.com/watch?v=8nHbImkFKE4 He kinda takes off where Stephen Bax left it, but also uncovers some methodical errors of Bax. I'd be very interested in what someone who knows a bit more about this than me thinks of this. edit: short version in his update: https://www.youtube.com/watch?v=lhtZc-nFNt0 https://www.youtube.com/watch?v=lhtZc-nFNt0