Trealla Prolog (c) Infradig 2020-2023, v2.27.45
?- dif(A,[]),A=B*A.
   A = B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B* ...)))))))))))))))))), dif:dif(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(B*(*())))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))),[]).
?-