https://5dok.net/document/zwvr2417-chabauty-computation-curve-genus.html