The relationship between face cuboids and elliptic curves

A rational face cuboid is a cuboid that all of edges, two of three face diagonals and space diagonal have rational lengths. $$E_{1,s}:y^2=x(x-(2s{)}^2)(x+(s^2-1{)}^2)$$ for a rational number $s\mathrm{\ne }0,\pm 1$, and define $\tilde{A}$ consisting of all pairs of a rational number $s$ and a non-torsion rational point $(\alpha ,\beta )\in E_{1,s}(\mathbb{Q})$. We construct a surjective map from $\tilde{A}$ to the set $\mathcal{F}$ of equivalence classes of rational face cuboids, and prove that this map is a $32:1$-map. In this way, we show that the set $\mathcal{F}$ has infinite elements. Also, we prove that there are infinitely many $s\in \mathbb{Q}\setminus \{0,\pm 1\}$ with $\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}{E}_{1,s}(\mathbb{Q})>0$. In this proof, we construct pairs of $s$ and $(\alpha ,\beta )\in E_{1,s}(\mathbb{Q})$ which are not parametric solutions.