https://123dok.net/document/ky6wr75z-binary-elligator-squared.html