やっと解決したらしい…
http://rio2016.5ch.net/test/read.cgi/math/1532740000/41-42