1: \begin{abstract}

2: We develop methods to study $2$-dimensional $2$-adic Galois

3: representations $\rho$ of the absolute Galois group of a number

4: field~$K$, unramified outside a known finite set of primes $S$ of $K$,

5: which are presented as \textit{Black Box} representations, where we

6: only have access to the characteristic polynomials of Frobenius

7: automorphisms at a finite set of primes.  Using suitable finite test

8: sets of primes, depending only on $K$ and~$S$, we show how to

9: determine the determinant $\det\rho$, whether or not $\rho$ is

10: residually reducible, and further information about the size of the

11: \textit{isogeny graph} of $\rho$ whose vertices are homothety classes

12: of stable lattices.  The methods are illustrated with examples for

13: $K=\Q$, and for $K$ imaginary quadratic, $\rho$ being the

14: representation attached to a Bianchi modular form.

15: 

16: These results form part of the first author's thesis $\cite{argaez01}$.

17: \end{abstract}

18: