https://5dok.net/document/myj5v42q-height-bounds-for-mordell-equations-using-modularity.html