1: \begin{abstract}

2: Let $\IA_n$ be the Torelli subgroup of $\Aut(F_n)$.  We give an explicit

3: finite set of generators for $\HH_2(\IA_n)$ as a $\GL_n(\Z)$-module.  Corollaries

4: include a version of surjective representation stability for $\HH_2(\IA_n)$,

5: the vanishing of the $\GL_n(\Z)$-coinvariants of $\HH_2(\IA_n)$, and the vanishing

6: of the second rational homology group of the level $\ell$ congruence subgroup of

7: $\Aut(F_n)$.  Our generating set is derived from a new group presentation for $\IA_n$ which is infinite but which has a simple

8: recursive form.

9: \end{abstract}

10: