3 Removed some questions and examples for the sake of brevity. Also added an explanation of how the elliptic curve arises.

Let $r>2$ and let $b_1,b_2,\ldots,b_r$ be in $\mathbf{P}^1(\mathbf{Q})$. Let $B$ be the divisor $$B:= \sum [b_i].$$ We consider this data to be fixed. For $d>1$, we define $\textrm{Ell}(b_1,b_2,\ldots,b_r,d)$ as the set of (isomorphism classes of) elliptic curves $E$ over $\mathbf{Q}$ that admit a finite morphism $f:E\longrightarrow \mathbf{P}^1_\mathbf{Q}$ of degree $d$ which is etale outside $\{b_1,b_2,\ldots,b_r\} \subset \mathbf{P}^1(\mathbf{Q})$.

Question 1. Let $E$ be in $\textrm{Ell}(b_1,b_2,\ldots,b_r,d)$ and choose a finite morphism $f:E\longrightarrow \mathbf{P}^1_\mathbf{Q}$ of degree $d$ which is etale outside $\{b_1,b_2,\ldots,b_r\} \subset \mathbf{P}^1(\mathbf{Q})$. Let $X$ be the analytification of $E_\mathbf{C}$. There exists a $\tau$ in the complex upper half plane such that $X = \mathbf{C}/\mathbf{Z}+\tau\mathbf{Z}$. Can we choose $\tau$ (or $q=e^{2\pi i \tau}$) using the data $(b_1,b_2,\ldots,b_r,d,f)$?

Question 2. It follows from Faltings's theorem that the set $\textrm{Ell}(b_1,b_2,\ldots,b_r,d)$ is finite. Is there a more elementary proof of this? (One could look for a bound on the height of

EDIT: Let me describe how the j-invariant for example. This elliptic curve is related given (in a sense to the first question)

Exampleset-up I have in mind). We take

Let $r=3$ and U$be an open subscheme of $(b_1,b_2,b_3) = (0,1,\infty)$. So \mathbf{P}^1_\mathbf{Z}$ with complement $\textrm{Ell}(b_1,b_2,\ldots,b_r,d)$D$. We suppose that the closed subscheme$D$is finite by (for example) a horizontal divisor on $\mathbf{P}^1_\mathbf{Z}$ such that the theory of dessins d'enfantsbase change $D_\mathbf{Q}$ equals$B$defined above. For Let $d=2$this set is emptyV\longrightarrow U$ be a finite etale morphism, with $V$ connected. For Let $d=3$ it consists g:Y\longrightarrow \mathbf{P}^1_\mathbf{Q}$ be the normalization of $\mathbf{P}^1_\mathbf{Q}$ in the (isomorphism class function field of )$V$. We make the elliptic curve with j-invariant 0following extra assumptions: 1.For$d=4$we get the elliptic curves with Y$ has a $j=1728$ and \mathbf{Q}$-rational point. 2. The genus of$j=207647/6561$(and Y$ equals 1.