Example

Let $E$ be the rank $2$ curve 389A. The prime $p=3$ is rigid, and $\ell=7$ satisfies 3.1. We have

$$(\mathbb{Z}/3\mathbb{Z})^2 \cong E(\mathbb{Q})/3 E(\mathbb{Q}) \c... ...ontfamily{wncyr}\fontseries{m}\fontshape{n}\selectfont Sh}}}(A/\mathbb{Q})[3])$$

for $A\subset \Res_{K/\mathbb{Q}}(E_K)$ of rank zero.