  For an elliptic curve over Q of analytic rank 1, we use the level-two Selmer
variety and secondary cohomology products to find explicit analytic defining
equations for global integral points inside the set of p-adic points.
