1;
a(l(x 1, l(x 2, a(v(x 1), v(x 2)))),v (x 2));
beta(a(l(x 1, l(x 2, a(v(x 1), v(x 2)))),v (x 2)));
betaster(a(l(x 1, l(x 2, a(v(x 1), v(x 2)))),v (x 2)));
2;
a(l(x 1, a(v(x 1), l(x 2, a(v(x 1), v(x 2))))), v (x 2));
beta(a(l(x 1, a(v(x 1), l(x 2, a(v(x 1), v(x 2))))), v (x 2)));
betaster(a(l(x 1, a(v(x 1), l(x 2, a(v(x 1), v(x 2))))), v (x 2)));
3;
a(l(x 1, a(v(x 1), l(x 2, a(v(x 1), v(x 2))))), v (x 3));
beta(a(l(x 1, a(v(x 1), l(x 2, a(v(x 1), v(x 2))))), v (x 3)));
betaster(a(l(x 1, a(v(x 1), l(x 2, a(v(x 1), v(x 2))))), v (x 3)));
4;
a(l(x 2, v(x 2)),l(x 1, v(x 1)));
beta(a(l(x 2, v(x 2)),l(x 1, v(x 1))));
betaster(a(l(x 2, v(x 2)),l(x 1, v(x 1))));
5;
a(l(x 1, v(x 1)),v(x 3));
beta(a(l(x 1, v(x 1)),v(x 3)));
betaster(a(l(x 1, v(x 1)),v(x 3)));
6;
a(l(x 1, a(v(x 1), v(x 1))), l(x 1, v(x 1)));
beta(a(l(x 1, a(v(x 1), v(x 1))), l(x 1, v(x 1))));
betaster(a(l(x 1, a(v(x 1), v(x 1))), l(x 1, v(x 1))));
7;
a(l(x 1,l(x 2, l(x 3, a(v(x 2), a(a(v(x 1), v(x 2)), v(x 3)))))), l(x 4, l(x 5, a(v(x 4), v(x 5)))));
beta(a(l(x 1,l(x 2, l(x 3, a(v(x 2), a(a(v(x 1), v(x 2)), v(x 3)))))), l(x 4, l(x 5, a(v(x 4), v(x 5))))));
betaster(a(l(x 1,l(x 2, l(x 3, a(v(x 2), a(a(v(x 1), v(x 2)), v(x 3)))))), l(x 4, l(x 5, a(v(x 4), v(x 5))))));
8;
a(a(l(x 2, v(x 2)), l(x 1, v(x 1))), v(x 3));
beta(a(a(l(x 2, v(x 2)), l(x 1, v(x 1))), v(x 3)));
betaster(a(a(l(x 2, v(x 2)), l(x 1, v(x 1))), v(x 3)));
9;
a(l(x 1, a(v(x 1), v(x 1))),a(l(x 2, v(x 2)), v(x 3)));
beta(a(l(x 1, a(v(x 1), v(x 1))),a(l(x 2, v(x 2)), v(x 3))));
betaster(a(l(x 1, a(v(x 1), v(x 1))),a(l(x 2, v(x 2)), v(x 3))));
10;
a(l(x 1, a(v(x 1), v(x 1))), l(x 1, a(v(x 1), v(x 1))));
beta(a(l(x 1, a(v(x 1), v(x 1))), l(x 1, a(v(x 1), v(x 1)))));
betaster(a(l(x 1, a(v(x 1), v(x 1))), l(x 1, a(v(x 1), v(x 1)))));