(f3) (f) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (f) (h) (h) (h) (h) (g) (f) (g) (g) (g) (;) (f) (g) (g) (g) (g) (g) (g) (h) (g) (g) (;) (g) (g) (g) (f) (f) (e) (f) (f) (f) (:) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (g) (;) (f) (f) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (f) (g) (g) (g) (g) (g) (h) (g) (g) (g) (g) (g) (f) (e) (f) (f) (f) (:) (f) (h) (h) (h) (h) (h) (h) (h) (h) (h) (,) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (g) (;) (f) (g) (g) (g) (g) (g) (g) (h) (g) (g) (;) (g) (g) (f) (e) (f) (f) (:) (Qua(f) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (;) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (f) (h) (h) (h) (h) (h) (,) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (:) (f) (f) (h) (h) (h) (h) (h) (h) (h) (,) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (f) (f) (f) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (f) (g) (g) (g) (g) (h) (g) (,) (g) (g) (f) (e) (f) (f) (f) (::Z) (e) (f) (f) (ef) (fe) (e) (::) (e) (f) (f) (e) (e) (f) (f) (::Z) (efh) (fe) (fg) (f) (::) (f) (fh) (g) (g) (fg) (f) (fe) (::Z) (g) (g) (g) (g) (h) (g) (g) (f) (e) (f) (g) (g) (f) (::) (fgh) (g) (g) (fg) (f) (fe) (::Z) (h) (h) (h) (g) (f) (g) (g) (g) (;) (f) (f) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (;) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (,) (h) (h) (h) (h) (h) (h) (h) (h) (h) (;) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (g) (h) (g) (g) (g) (g) (f) (e) (f) (g) (g) (f) (:) (f) (f) (h) (h) (h) (h) (h) (h) (h) (,) (h) (h) (h) (g) (f) (g) (g) (;) (f) (g) (g) (g) (g) (g) (g) (g) (g) (g) (h) (g) (;) (g) (g) (f) (e) (f) (g) (g) (f) (:) (f) (h) (h) (h) (h) (g) (f) (g) (g) (g) (;) (f) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (g) (;) (f) (g) (h) (g) (g) (g) (g) (g) (g) (f) (e) (f) (g) (g) (f) (:) (h) (f) (g) (;) (f) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (,) (h) (h) (h) (g) (f) (g) (g) (;) (f) (g) (g) (g) (g) (g) (g) (h) (g) (g) (f) (e) (f) (g) (g) (f) (:) (h) (h) (g) (g) (f) (g) (;) (f) (g) (g) (g) (g) (h) (g) (g) (;) (g) (g) (g) (g) (g) (g) (g) (g) (f) (e) (f) (g) (g) (f) (:) (h) (f) (g) (;) (f) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (;) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (h) (f) (g) (g) (g) (;) (g) (f) (e) (f) (g) (g) (f) (:) (h) (f) (g) (;) (f) (g) (g) (g) (g) (g) (g) (g) (h) (g) (;) (g) (g) (g) (g) (f) (f) (e) (f) (g) (g) (f) (:) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (g) (;) (g) (g) (g) (f) (e) (f) (g) (g) (f) (:) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (g) (:) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (f) (g) (g) (g) (h) (g) (g) (;) (g) (f) (e) (f) (g) (g) (f) (:) (h) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (g) (g) (f) (e) (f) (g) (g) (f) (f) (:) (h) (g) (f) (g) (g) (;) (f) (g) (g) (g) (h) (g) (;) (g) (g) (g) (g) (f) (e) (f) (g) (g) (f) (:) (h) (h) (g) (f) (g) (g) (g) (;) (f) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (f) (g) (h) (g) (g) (g) (f) (e) (f) (g) (g) (f) (:) (h) (f) (g) (;) (h) (f) (g) (g) (g) (:) (f) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (g) (;) (f) (g) (g) (g) (g) (g) (g) (g) (h) (g) (g) (f) (e) (f) (g) (g) (f) (:) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (g) (;) (h) (f) (g) (g) (;) (f) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (f) (e) (f) (g) (g) (f) (f) (:) (h) (f) (g) (g) (g) (;) (h) (h) (g) (f) (g) (g) (;) (f) (e) (f) (g) (g) (f) (f) (:) (f) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (,) (h) (h) (h) (h) (h) (h) (h) (,) (h) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (f) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (f) (g) (g) (g) (g) (g) (g) (g) (g) (g) (g) (g) (h) (g) (;) (g) (g) (g) (f) (e) (f) (g) (g) (f) (f) (:) (f) (h) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (g) (;) (f) (g) (g) (g) (g) (h) (g) (;) (g) (f) (f) (e) (f) (g) (g) (f) (:) (f) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (g) (g) (g) (g) (g) (g) (h) (g) (g) (;) (g) (f) (e) (f) (g) (g) (f) (:) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (f) (g) (g) (g) (g) (g) (g) (g) (g) (g) (g) (g) (h) (g) (g) (;) (g) (f) (e) (f) (g) (g) (f) (:) (h) (h) (g) (f) (g) (g) (g) (;) (f) (h) (h) (h) (g) (f) (g) (g) (g) (;) (g) (h) (g) (f) (e) (f) (g) (g) (f) (:) (h) (h) (h) (h) (g) (f) (g) (g) (g) (;) (h) (h) (h) (h) (h) (h) (,) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (;) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (;) (h) (h) (h) (h) (h) (g) (f) (g) (g) (:) (f) (g) (g) (g) (g) (g) (g) (g) (g) (g) (h) (h) (g) (;) (g) (g) (g) (g) (g) (g) (f) (e) (f) (g) (g) (f) (:) (h) (f) (g) (g) (,) (h) (g) (g) (g) (f) (e) (f) (g) (g) (f) (f) (:) (h) (h) (g) (f) (g) (g) (g) (;) (f) (e) (f) (g) (g) (f) (:) (h) (h) (h) (g) (f) (g) (g) (;) (f) (f) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (h) (g) (f) (g) (g) (;) (f) (g) (g) (g) (h) (g) (;) (g) (g) (f) (e) (f) (g) (g) (f) (:) (f) (h) (::)