1: \begin{abstract}
2: We consider the free nilpotent Lie algebra
3: $L$ with 2 generators, of step~4, and the corresponding connected simply connected Lie group $G$. We study the left-invariant sub-Riemannian structure on $G$ defined by the generators of $L$ as an orthonormal frame.
4:
5: We compute two vector field models of $L$ by polynomial vector fields in~$\R^8$, and find an infinitesimal symmetry of the \sR structure. Further,
6: we compute explicitly
7: the product rule in~$G$,
8: the right-invariant frame on $G$,
9: linear on fibers Hamiltonians corresponding to the left-invariant and right-invariant frames on $G$,
10: Casimir functions and co-adjoint orbits on $L^*$.
11:
12:
13: Via Pontryagin maximum principle, we describe abnormal extremals and derive a Hamiltonian system $\dlam = \vH(\lam)$, $\lam \in T^*G$, for normal extremals.
14: We compute 10 independent integrals of $\vH$, of which only 7 are in involution. After reduction by 4 Casimir functions, the vertical subsystem of $\vH$ on $L^*$ shows numerically a chaotic dynamics, which leads to a conjecture on non-integrability of~$\vH$ in the Liouville sense.
15: \end{abstract}