(? x x x)

(? x T F)

(& x (! x))

(| x (! x))

(? y z z)

(& x y)

(| x y)

(> x y)

(> (& x y) x)

(> (| x y) x)

(> x x)

(> z (| y z))

(> (| (! a) b) (> a b))

(& (| x y)
   (& (| x (! y))
      (& (| (! x) y)
         (| (! x) (! y)))))

(& (| x y)
   (& (| x (! y))
      (| (! x) (! y))))

(| (& x y)
   (| (& x (! y))
      (| (& (! x) y)
         (& (! x) (! y)))))


(& (| x (| y z))
   (& (| x (| y (! z)))
      (& (| x (| (! y) z))
         (& (| x (| (! y) (! z)))
            (& (| (! x) (| y z))
              (& (| (! x) (| y (! z)))
                 (& (| (! x) (| (! y) z))
                    (| (! x) (| (! y) (! z))))))))))

(& (| x (| y z))
   (& (| x (| y (! z)))
      (& (| x (| (! y) z))
         (& (| (! x) (| y z))
            (& (| (! x) (| y (! z)))
               (& (| (! x) (| (! y) z))
                  (| (! x) (| (! y) (! z)))))))))



(& (| w (| x (| y z)))
  (& (| w (| x (| y (! z))))
    (& (| w (| x (| (! y) z)))
      (& (| w (| x (| (! y) (! z))))
        (& (| w (| (! x) (| y z)))
          (& (| w (| (! x) (| y (! z))))
            (& (| w (| (! x) (| (! y) z)))
              (& (| w (| (! x) (| (! y) (! z))))
                (& (| (! w) (| x (| y z)))
                  (& (| (! w) (| x (| y (! z))))
                    (& (| (! w) (| x (| (! y) z)))
                      (& (| (! w) (| x (| (! y) (! z))))
                        (& (| (! w) (| (! x) (| y z)))
                          (& (| (! w) (| (! x) (| y (! z))))
                            (& (| (! w) (| (! x) (| (! y) z)))
                              (| (! w) (| (! x) (| (! y) (! z)))))))))))))))))))

(& (| w (| x (| y z)))
  (& (| w (| x (| y (! z))))
    (& (| w (| x (| (! y) z)))
      (& (| w (| x (| (! y) (! z))))
        (& (| w (| (! x) (| y z)))
          (& (| w (| (! x) (| (! y) z)))
            (& (| w (| (! x) (| (! y) (! z))))
              (& (| (! w) (| x (| y z)))
                (& (| (! w) (| x (| y (! z))))
                  (& (| (! w) (| x (| (! y) z)))
                    (& (| (! w) (| x (| (! y) (! z))))
                      (& (| (! w) (| (! x) (| y z)))
                        (& (| (! w) (| (! x) (| y (! z))))
                          (& (| (! w) (| (! x) (| (! y) z)))
                            (| (! w) (| (! x) (| (! y) (! z))))))))))))))))))


(| (& w (& x (& y z)))
  (| (& w (& x (& y (! z))))
    (| (& w (& x (& (! y) z)))
      (| (& w (& x (& (! y) (! z))))
        (| (& w (& (! x) (& y z)))
          (| (& w (& (! x) (& y (! z))))
            (| (& w (& (! x) (& (! y) z)))
              (| (& w (& (! x) (& (! y) (! z))))
                (| (& (! w) (& x (& y z)))
                  (| (& (! w) (& x (& y (! z))))
                    (| (& (! w) (& x (& (! y) z)))
                      (| (& (! w) (& x (& (! y) (! z))))
                        (| (& (! w) (& (! x) (& y z)))
                          (| (& (! w) (& (! x) (& y (! z))))
                            (| (& (! w) (& (! x) (& (! y) z)))
                              (& (! w) (& (! x) (& (! y) (! z)))))))))))))))))))

(| (& v (& w (& x (& y z))))
 (| (& v (& w (& x (& y (! z)))))
  (| (& v (& w (& x (& (! y) z))))
   (| (& v (& w (& x (& (! y) (! z)))))
    (| (& v (& w (& (! x) (& y z))))
     (| (& v (& w (& (! x) (& y (! z)))))
      (| (& v (& w (& (! x) (& (! y) z))))
       (| (& v (& w (& (! x) (& (! y) (! z)))))
        (| (& v (& (! w) (& x (& y z))))
         (| (& v (& (! w) (& x (& y (! z)))))
          (| (& v (& (! w) (& x (& (! y) z))))
           (| (& v (& (! w) (& x (& (! y) (! z)))))
            (| (& v (& (! w) (& (! x) (& y z))))
             (| (& v (& (! w) (& (! x) (& y (! z)))))
              (| (& v (& (! w) (& (! x) (& (! y) z))))
               (| (& v (& (! w) (& (! x) (& (! y) (! z)))))
                (| (& (! v) (& w (& x (& y z))))
                 (| (& (! v) (& w (& x (& y (! z)))))
                  (| (& (! v) (& w (& x (& (! y) z))))
                   (| (& (! v) (& w (& x (& (! y) (! z)))))
                    (| (& (! v) (& w (& (! x) (& y z))))
                     (| (& (! v) (& w (& (! x) (& y (! z)))))
                      (| (& (! v) (& w (& (! x) (& (! y) z))))
                       (| (& (! v) (& w (& (! x) (& (! y) (! z)))))
                        (| (& (! v) (& (! w) (& x (& y z))))
                         (| (& (! v) (& (! w) (& x (& y (! z)))))
                          (| (& (! v) (& (! w) (& x (& (! y) z))))
                           (| (& (! v) (& (! w) (& x (& (! y) (! z)))))
                            (| (& (! v) (& (! w) (& (! x) (& y z))))
                             (| (& (! v) (& (! w) (& (! x) (& y (! z)))))
                              (| (& (! v) (& (! w) (& (! x) (& (! y) z))))
                               (& (! v) (& (! w) (& (! x) (& (! y) (! z))))))))))))))))))))))))))))))))))))

(| (& v (& w (& x (& y z))))
 (| (& v (& w (& x (& y (! z)))))
  (| (& v (& w (& x (& (! y) z))))
   (| (& v (& w (& x (& (! y) (! z)))))
    (| (& v (& w (& (! x) (& y z))))
     (| (& v (& w (& (! x) (& y (! z)))))
      (| (& v (& w (& (! x) (& (! y) z))))
       (| (& v (& w (& (! x) (& (! y) (! z)))))
        (| (& v (& (! w) (& x (& y z))))
         (| (& v (& (! w) (& x (& y (! z)))))
          (| (& v (& (! w) (& x (& (! y) z))))
           (| (& v (& (! w) (& x (& (! y) (! z)))))
            (| (& v (& (! w) (& (! x) (& y z))))
             (| (& v (& (! w) (& (! x) (& y (! z)))))
              (| (& v (& (! w) (& (! x) (& (! y) z))))
                (& v (& (! w) (& (! x) (& (! y) (! z))))))))))))))))))))

(| (& v (& w (& x (& y z))))
 (| (& v (& w (& x (& y (! z)))))
  (| (& v (& w (& x (& (! y) z))))
   (| (& v (& w (& x (& (! y) (! z)))))
    (| (& v (& w (& (! x) (& y z))))
     (| (& v (& w (& (! x) (& y (! z)))))
      (| (& v (& w (& (! x) (& (! y) z))))
       (| (& v (& w (& (! x) (& (! y) (! z)))))
        (| (& v (& (! w) (& x (& y z))))
         (| (& v (& (! w) (& x (& y (! z)))))
          (| (& v (& (! w) (& x (& (! y) z))))
           (| (& v (& (! w) (& x (& (! y) (! z)))))
            (| (& v (& (! w) (& (! x) (& y z))))
             (| (& v (& (! w) (& (! x) (& y (! z)))))
              (| (& v (& (! w) (& (! x) (& (! y) z))))
               (| (& v (& (! w) (& (! x) (& (! y) (! z)))))
                (| (& (! v) (& w (& x (& y z))))
                 (| (& (! v) (& w (& x (& y (! z)))))
                  (| (& (! v) (& w (& x (& (! y) z))))
                   (| (& (! v) (& w (& x (& (! y) (! z)))))
                    (| (& (! v) (& w (& (! x) (& y z))))
                     (| (& (! v) (& w (& (! x) (& y (! z)))))
                      (| (& (! v) (& w (& (! x) (& (! y) z))))
                       (| (& (! v) (& w (& (! x) (& (! y) (! z)))))
                        (| (& (! v) (& (! w) (& x (& y z))))
                         (| (& (! v) (& (! w) (& x (& y (! z)))))
                          (| (& (! v) (& (! w) (& x (& (! y) z))))
                           (| (& (! v) (& (! w) (& x (& (! y) (! z)))))
                            (| (& (! v) (& (! w) (& (! x) (& y z))))
                             (| (& (! v) (& (! w) (& (! x) (& y (! z)))))
                               (& (! v) (& (! w) (& (! x) (& (! y) z))))))))))))))))))))))))))))))))))

(| (&   u   (&   v   (&   w   (&   x   (&   y     z  )))))
(| (&   u   (&   v   (&   w   (&   x   (&   y   (! z))))))
(| (&   u   (&   v   (&   w   (&   x   (& (! y)   z  )))))
(| (&   u   (&   v   (&   w   (&   x   (& (! y) (! z))))))
(| (&   u   (&   v   (&   w   (& (! x) (&   y     z  )))))
(| (&   u   (&   v   (&   w   (& (! x) (&   y   (! z))))))
(| (&   u   (&   v   (&   w   (& (! x) (& (! y)   z  )))))
(| (&   u   (&   v   (&   w   (& (! x) (& (! y) (! z))))))
(| (&   u   (&   v   (& (! w) (&   x   (&   y     z  )))))
(| (&   u   (&   v   (& (! w) (&   x   (&   y   (! z))))))
(| (&   u   (&   v   (& (! w) (&   x   (& (! y)   z  )))))
(| (&   u   (&   v   (& (! w) (&   x   (& (! y) (! z))))))
(| (&   u   (&   v   (& (! w) (& (! x) (&   y     z  )))))
(| (&   u   (&   v   (& (! w) (& (! x) (&   y   (! z))))))
(| (&   u   (&   v   (& (! w) (& (! x) (& (! y)   z  )))))
(| (&   u   (&   v   (& (! w) (& (! x) (& (! y) (! z))))))
(| (&   u   (& (! v) (&   w   (&   x   (&   y     z  )))))
(| (&   u   (& (! v) (&   w   (&   x   (&   y   (! z))))))
(| (&   u   (& (! v) (&   w   (&   x   (& (! y)   z  )))))
(| (&   u   (& (! v) (&   w   (&   x   (& (! y) (! z))))))
(| (&   u   (& (! v) (&   w   (& (! x) (&   y     z  )))))
(| (&   u   (& (! v) (&   w   (& (! x) (&   y   (! z))))))
(| (&   u   (& (! v) (&   w   (& (! x) (& (! y)   z  )))))
(| (&   u   (& (! v) (&   w   (& (! x) (& (! y) (! z))))))
(| (&   u   (& (! v) (& (! w) (&   x   (&   y     z  )))))
(| (&   u   (& (! v) (& (! w) (&   x   (&   y   (! z))))))
(| (&   u   (& (! v) (& (! w) (&   x   (& (! y)   z  )))))
(| (&   u   (& (! v) (& (! w) (&   x   (& (! y) (! z))))))
(| (&   u   (& (! v) (& (! w) (& (! x) (&   y     z  )))))
(| (&   u   (& (! v) (& (! w) (& (! x) (&   y   (! z))))))
(| (&   u   (& (! v) (& (! w) (& (! x) (& (! y)   z  )))))
(| (&   u   (& (! v) (& (! w) (& (! x) (& (! y) (! z))))))
(| (& (! u) (&   v   (&   w   (&   x   (&   y     z  )))))
(| (& (! u) (&   v   (&   w   (&   x   (&   y   (! z))))))
(| (& (! u) (&   v   (&   w   (&   x   (& (! y)   z  )))))
(| (& (! u) (&   v   (&   w   (&   x   (& (! y) (! z))))))
(| (& (! u) (&   v   (&   w   (& (! x) (&   y     z  )))))
(| (& (! u) (&   v   (&   w   (& (! x) (&   y   (! z))))))
(| (& (! u) (&   v   (&   w   (& (! x) (& (! y)   z  )))))
(| (& (! u) (&   v   (&   w   (& (! x) (& (! y) (! z))))))
(| (& (! u) (&   v   (& (! w) (&   x   (&   y     z  )))))
(| (& (! u) (&   v   (& (! w) (&   x   (&   y   (! z))))))
(| (& (! u) (&   v   (& (! w) (&   x   (& (! y)   z  )))))
(| (& (! u) (&   v   (& (! w) (&   x   (& (! y) (! z))))))
(| (& (! u) (&   v   (& (! w) (& (! x) (&   y     z  )))))
(| (& (! u) (&   v   (& (! w) (& (! x) (&   y   (! z))))))
(| (& (! u) (&   v   (& (! w) (& (! x) (& (! y)   z  )))))
(| (& (! u) (&   v   (& (! w) (& (! x) (& (! y) (! z))))))
(| (& (! u) (& (! v) (&   w   (&   x   (&   y     z  )))))
(| (& (! u) (& (! v) (&   w   (&   x   (&   y   (! z))))))
(| (& (! u) (& (! v) (&   w   (&   x   (& (! y)   z  )))))
(| (& (! u) (& (! v) (&   w   (&   x   (& (! y) (! z))))))
(| (& (! u) (& (! v) (&   w   (& (! x) (&   y     z  )))))
(| (& (! u) (& (! v) (&   w   (& (! x) (&   y   (! z))))))
(| (& (! u) (& (! v) (&   w   (& (! x) (& (! y)   z  )))))
(| (& (! u) (& (! v) (&   w   (& (! x) (& (! y) (! z))))))
(| (& (! u) (& (! v) (& (! w) (&   x   (&   y     z  )))))
(| (& (! u) (& (! v) (& (! w) (&   x   (&   y   (! z))))))
(| (& (! u) (& (! v) (& (! w) (&   x   (& (! y)   z  )))))
(| (& (! u) (& (! v) (& (! w) (&   x   (& (! y) (! z))))))
(| (& (! u) (& (! v) (& (! w) (& (! x) (&   y     z  )))))
(| (& (! u) (& (! v) (& (! w) (& (! x) (&   y   (! z))))))
(| (& (! u) (& (! v) (& (! w) (& (! x) (& (! y)   z  )))))
   (& (! u) (& (! v) (& (! w) (& (! x) (& (! y) (! z))))))
)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

(| (&   u   (&   v   (&   w   (&   x   (&   y     z  )))))
(| (&   u   (&   v   (&   w   (&   x   (&   y   (! z))))))
(| (&   u   (&   v   (&   w   (&   x   (& (! y)   z  )))))
(| (&   u   (&   v   (&   w   (&   x   (& (! y) (! z))))))
(| (&   u   (&   v   (&   w   (& (! x) (&   y     z  )))))
(| (&   u   (&   v   (&   w   (& (! x) (&   y   (! z))))))
(| (&   u   (&   v   (&   w   (& (! x) (& (! y)   z  )))))
(| (&   u   (&   v   (&   w   (& (! x) (& (! y) (! z))))))
(| (&   u   (&   v   (& (! w) (&   x   (&   y     z  )))))
(| (&   u   (&   v   (& (! w) (&   x   (&   y   (! z))))))
(| (&   u   (&   v   (& (! w) (&   x   (& (! y)   z  )))))
(| (&   u   (&   v   (& (! w) (&   x   (& (! y) (! z))))))
(| (&   u   (&   v   (& (! w) (& (! x) (&   y     z  )))))
(| (&   u   (&   v   (& (! w) (& (! x) (&   y   (! z))))))
(| (&   u   (&   v   (& (! w) (& (! x) (& (! y)   z  )))))
(| (&   u   (&   v   (& (! w) (& (! x) (& (! y) (! z))))))
(| (&   u   (& (! v) (&   w   (&   x   (&   y     z  )))))
(| (&   u   (& (! v) (&   w   (&   x   (&   y   (! z))))))
(| (&   u   (& (! v) (&   w   (&   x   (& (! y)   z  )))))
(| (&   u   (& (! v) (&   w   (&   x   (& (! y) (! z))))))
(| (&   u   (& (! v) (&   w   (& (! x) (&   y     z  )))))
(| (&   u   (& (! v) (&   w   (& (! x) (&   y   (! z))))))
(| (&   u   (& (! v) (&   w   (& (! x) (& (! y)   z  )))))
(| (&   u   (& (! v) (&   w   (& (! x) (& (! y) (! z))))))
(| (&   u   (& (! v) (& (! w) (&   x   (&   y     z  )))))
(| (&   u   (& (! v) (& (! w) (&   x   (&   y   (! z))))))
(| (&   u   (& (! v) (& (! w) (&   x   (& (! y)   z  )))))
(| (&   u   (& (! v) (& (! w) (&   x   (& (! y) (! z))))))
(| (&   u   (& (! v) (& (! w) (& (! x) (&   y     z  )))))
(| (&   u   (& (! v) (& (! w) (& (! x) (&   y   (! z))))))
(| (&   u   (& (! v) (& (! w) (& (! x) (& (! y)   z  )))))
(| (&   u   (& (! v) (& (! w) (& (! x) (& (! y) (! z))))))
(| (& (! u) (&   v   (&   w   (&   x   (&   y     z  )))))
(| (& (! u) (&   v   (&   w   (&   x   (&   y   (! z))))))
(| (& (! u) (&   v   (&   w   (&   x   (& (! y)   z  )))))
(| (& (! u) (&   v   (&   w   (&   x   (& (! y) (! z))))))
(| (& (! u) (&   v   (&   w   (& (! x) (&   y     z  )))))
(| (& (! u) (&   v   (&   w   (& (! x) (&   y   (! z))))))
(| (& (! u) (&   v   (&   w   (& (! x) (& (! y)   z  )))))
(| (& (! u) (&   v   (&   w   (& (! x) (& (! y) (! z))))))
(| (& (! u) (&   v   (& (! w) (&   x   (&   y     z  )))))
(| (& (! u) (&   v   (& (! w) (&   x   (&   y   (! z))))))
(| (& (! u) (&   v   (& (! w) (&   x   (& (! y)   z  )))))
(| (& (! u) (&   v   (& (! w) (&   x   (& (! y) (! z))))))
(| (& (! u) (&   v   (& (! w) (& (! x) (&   y     z  )))))
(| (& (! u) (&   v   (& (! w) (& (! x) (&   y   (! z))))))
(| (& (! u) (&   v   (& (! w) (& (! x) (& (! y)   z  )))))
(| (& (! u) (&   v   (& (! w) (& (! x) (& (! y) (! z))))))
(| (& (! u) (& (! v) (&   w   (&   x   (&   y     z  )))))
(| (& (! u) (& (! v) (&   w   (&   x   (&   y   (! z))))))
(| (& (! u) (& (! v) (&   w   (&   x   (& (! y)   z  )))))
(| (& (! u) (& (! v) (&   w   (&   x   (& (! y) (! z))))))
(| (& (! u) (& (! v) (&   w   (& (! x) (&   y     z  )))))
(| (& (! u) (& (! v) (&   w   (& (! x) (&   y   (! z))))))
(| (& (! u) (& (! v) (&   w   (& (! x) (& (! y)   z  )))))
(| (& (! u) (& (! v) (&   w   (& (! x) (& (! y) (! z))))))
(| (& (! u) (& (! v) (& (! w) (&   x   (&   y     z  )))))
(| (& (! u) (& (! v) (& (! w) (&   x   (&   y   (! z))))))
(| (& (! u) (& (! v) (& (! w) (&   x   (& (! y)   z  )))))
(| (& (! u) (& (! v) (& (! w) (&   x   (& (! y) (! z))))))
(| (& (! u) (& (! v) (& (! w) (& (! x) (&   y     z  )))))
(| (& (! u) (& (! v) (& (! w) (& (! x) (&   y   (! z))))))
   (& (! u) (& (! v) (& (! w) (& (! x) (& (! y)   z  )))))
))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
  
(| (& h (& g (& f (& e (& d (& c (& b (& a T)))))))) 
(| (& h (& g (& f (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& f (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& e (& d (& (! c) (& (! b) (& (! a) T))))))))
(| (& h (& g (& f (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& c (& b (& (! a) T))))))))
(| (& h (& g (& f (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& (! c) (& (! b) (& a T))))))))
(| (& h (& g (& f (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& c (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| 
 (& (! h) (& (! g) (& f (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) F))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))   

(| (& h (& g (& f (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& f (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& e (& d (& (! c) (& (! b) (& (! a) T))))))))
(| (& h (& g (& f (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& c (& b (& (! a) T))))))))
(| (& h (& g (& f (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& (! c) (& (! b) (& a T))))))))
(| (& h (& g (& f (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& c (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| 
 (& (! h) (& (! g) (& f (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) F)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))   



(| (& h (& g (& f (& e (& d (& c (& b (& a T)))))))) 
(| (& h (& g (& f (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& f (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& e (& d (& (! c) (& (! b) (& (! a) T))))))))
(| (& h (& g (& f (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& c (& b (& (! a) T))))))))
(| (& h (& g (& f (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& d (& (! c) (& (! b) (& a T))))))))
(| (& h (& g (& f (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& f (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& c (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& g (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& f (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& h (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& f (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& g (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| 
 (& (! h) (& (! g) (& f (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& f (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& e (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& d (& (! c) (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& c (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& c (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& c (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& c (& (! b) (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& b (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& b (& (! a) T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& a T)))))))) 
(| (& (! h) (& (! g) (& (! f) (& (! e) (& (! d) (& (! c) (& (! b) (& (! a) T)))))))) F)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))   
