1: \begin{abstract}

2: In this paper we derive a generating series for the number of cellular complexes known as pavings or three-dimensional maps, on $n$ darts, thus solving an analogue of Tutte's problem in dimension three. The generating series we derive also counts free subgroups of index $n$ in $\Delta^+ = \mathbb{Z}_2*\mathbb{Z}_2*\mathbb{Z}_2$ via a simple bijection between pavings and finite index subgroups which can be deduced from the action of $\Delta^+$ on the cosets of a given subgroup. We then show that this generating series is non-holonomic.

3: 

4: Furthermore, we provide and study the generating series for isomorphism classes of pavings, which correspond to conjugacy classes of free subgroups of finite index in $\Delta^+$. Asymptotic formulas are provided for the numbers of pavings and their isomorphism classes or, equivalently, for the number of free subgroups of given finite index in $\Delta^+$, and conjugacy classes of such subgroups. 

5: 

6: \medskip

7: 

8: \noindent 2010 Mathematics Subject Classification: 14N10, 20E07, 20H10, 05E45, 33C20.

9: 

10: \medskip

11: 

12: \noindent Key words: map, paving, growth series, subgroup growth, free product, free group.

13: \end{abstract}

14: