Man(a1-2)[Man(a1-3)[Man(a1-2)[Man(a1-3)[Man(a1-2)[Man(a1-3)[Man(a1-2)[Man(a1-3)[Man(a1-2)[Man(a1-3)[Man(a1-5)Ara(a1-2)Ara(a1-3)[Man(a1-5)Ara(a1-2)Ara(a1-5)]Ara(a1-5)Ara(a1-5)Ara(a1-5)Ara(a1-3)[Man(a1-5)Ara(a1-2)Ara(a1-3)[Man(a1-5)Ara(a1-2)Ara(a1-5)]Ara(a1-5)Ara(a1-5)Ara(a1-5)Ara(a1-3)[Man(a1-5)Ara(a1-2)Ara(a1-3)[Man(a1-5)Ara(a1-2)Ara(a1-5)]Ara(a1-5)Ara(a1-5)Ara(a1-5)Ara(a1-3)[Man(a1-5)Ara(a1-2)Ara(a1-3)[Man(a1-5)Ara(a1-2)Ara(a1-5)]Ara(a1-5)Ara(a1-5)Ara(a1-5)Ara(a1-3)[Man(a1-5)Ara(a1-2)Ara(a1-3)[Man(a1-5)Ara(a1-2)Ara(a1-5)]Ara(a1-5)Ara(a1-5)Ara(a1-5)Ara(a1-3)[Ara(b1-2)Ara(a1-5)Ara(a1-5)Ara(a1-3)[Ara(b1-2)Ara(a1-5)Ara(a1-5)Ara(a1-5)]Ara(a1-5)Ara(a1-5)]Ara(a1-5)Ara(a1-5)Ara(a1-5)]Ara(a1-5)Ara(a1-5)Ara(a1-5)]Ara(a1-5)Ara(a1-5)Ara(a1-5)]Ara(a1-5)Ara(a1-5)Ara(a1-5)]Ara(a1-5)Ara(a1-5)Ara(a1-5)Ara(a1-?)Man(a1-6)]Man(a1-6)Man(a1-6)]Man(a1-6)]Man(a1-6)Man(a1-6)]Man(a1-6)]Man(a1-6)Man(a1-6)]Man(a1-6)]Man(a1-6)Man(a1-6)]Man(a1-6)]Man(a1-6)Man(a1-6)]Man(a1-6)Man(a1-