1: \begin{abstract}

2: We extend the computations in \cite{AGM1, AGM2, AGM3,AGM4,AGM7} to find the

3: cohomology in degree five of a congruence subgroup~$\Gamma$ of

4: $\SL_4(\Z)$ with coefficients in~$\Sym^g(K^4)$, twisted by a nebentype

5: character~$\eta$, along with the action of the Hecke algebra.  This is

6: the top cuspidal degree. 

7: In this paper we take $K=\F$, a finite field of

8: large characteristic, as a proxy for~$\C$.  

9: For each Hecke eigenclass

10: found, we produce the unique Galois representation that appears to be

11: attached to it.  

12: %Our  computations show that in every case this Galois representation is the only one that could be attached to it.

13: %The existence of the attached Galois representations agrees with a theorem of Scholze \cite{scholze} (see also \cite{HLTT})

14: %and sheds light on the Borel-Serre boundary for~$\Gamma$.

15: 

16: The computations require modifications to our previous

17: algorithms to accommodate the fact that the coefficients are not one-dimensional.  %Nontrivialcoefficients add a layer of complication to our data structures, and

18: Types of attached Galois representations arise that were not found in our previous papers, and we must modify the Galois

19: Finder accordingly.

20: %We have also

21: %improved the Galois Finder so that it reports when the attached Galois

22: %representation is uniquely determined by our data.

23: \end{abstract}

24: