Explicit 7-torsion in the Tate–Shafarevich groups of genus 2 Jacobians | Synapse