https://5dok.net/document/rz3nwjmq-curves-with-sharp-chabauty-coleman-bound.html