Man(b1-2)[2)Man(b1-]n[3)Man(a1-]n[Man(a1-2)[2)Man(a1-]n[6)Man(a1-6)]Man(a1-6)Man(a1-]n