(TpArr (TpArr (Base 0) (Prop)) (Base 0))
(Prop)
(Prop)
(TpArr (Prop) (Prop))
(TpArr (Prop) (TpArr (Prop) (Prop)))
(TpArr (Prop) (TpArr (Prop) (Prop)))
(TpArr (Prop) (TpArr (Prop) (Prop)))
(TpArr (Base 0) (TpArr (Base 0) (Prop)))
(TpArr (Base 0) (TpArr (Base 0) (Prop)))
(Base 0)
(TpArr (Base 0) (Base 0))
(TpArr (Base 0) (Base 0))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (Base 0)) (Base 0)))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (Prop))
(TpArr (TpArr (Base 0) (Prop)) (Prop))
(TpArr (TpArr (Base 0) (TpArr (Base 0) (Prop))) (Prop))
(TpArr (TpArr (Base 0) (TpArr (Base 0) (Prop))) (Prop))
(TpArr (TpArr (Base 0) (TpArr (Base 0) (Prop))) (Prop))
(TpArr (TpArr (Base 0) (TpArr (Base 0) (Prop))) (Prop))
(TpArr (TpArr (Base 0) (TpArr (Base 0) (Prop))) (Prop))
(TpArr (TpArr (Base 0) (TpArr (Base 0) (Prop))) (Prop))
(TpArr (TpArr (Base 0) (TpArr (Base 0) (Prop))) (Prop))
(TpArr (TpArr (Base 0) (TpArr (Base 0) (Prop))) (Prop))
(TpArr (TpArr (Base 0) (TpArr (Base 0) (Prop))) (Prop))
(TpArr (TpArr (Base 0) (TpArr (Base 0) (Prop))) (Prop))
(TpArr (TpArr (Base 0) (TpArr (Base 0) (Prop))) (Prop))
(TpArr (TpArr (Base 0) (TpArr (Base 0) (Prop))) (Prop))
(TpArr (TpArr (Base 0) (TpArr (Base 0) (Prop))) (Prop))
(TpArr (Prop) (TpArr (Base 0) (TpArr (Base 0) (Base 0))))
(TpArr (Prop) (TpArr (Prop) (Prop)))
(TpArr (Prop) (TpArr (Prop) (TpArr (Prop) (Prop))))
(TpArr (Base 0) (TpArr (Base 0) (Prop)))
(TpArr (Base 0) (TpArr (Base 0) (Prop)))
(TpArr (Base 0) (TpArr (Base 0) (Base 0)))
(TpArr (Base 0) (Base 0))
(TpArr (Base 0) (TpArr (Base 0) (Base 0)))
(TpArr (Base 0) (TpArr (Base 0) (Base 0)))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (Base 0)) (Base 0)))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (Prop)) (Base 0)))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (Prop)) (TpArr (TpArr (Base 0) (Base 0)) (Base 0))))
(TpArr (Base 0) (TpArr (Base 0) (Base 0)))
(TpArr (Base 0) (TpArr (Base 0) (Base 0)))
(TpArr (Base 0) (TpArr (Base 0) (TpArr (TpArr (Base 0) (Base 0)) (Prop))))
(TpArr (Base 0) (TpArr (Base 0) (TpArr (TpArr (Base 0) (Base 0)) (Prop))))
(TpArr (Base 0) (TpArr (Base 0) (Prop)))
(TpArr (Base 0) (TpArr (Base 0) (Prop)))
(TpArr (TpArr (Base 0) (TpArr (TpArr (Base 0) (Base 0)) (Base 0))) (TpArr (Base 0) (TpArr (Base 0) (Prop))))
(TpArr (TpArr (Base 0) (TpArr (TpArr (Base 0) (Base 0)) (Base 0))) (TpArr (Base 0) (Base 0)))
(TpArr (Base 0) (Base 0))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (Base 0) (Base 0))))
(TpArr (Base 0) (TpArr (Base 0) (Base 0)))
(TpArr (Base 0) (TpArr (Base 0) (Base 0)))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (Base 0))
(TpArr (Base 0) (Base 0))
(TpArr (Base 0) (Base 0))
(TpArr (Base 0) (Base 0))
(TpArr (Base 0) (TpArr (Base 0) (TpArr (TpArr (Base 0) (Base 0)) (TpArr (TpArr (Base 0) (Base 0)) (TpArr (Base 0) (Base 0))))))
(TpArr (Base 0) (TpArr (Base 0) (Base 0)))
(TpArr (Base 0) (Base 0))
(TpArr (Base 0) (Base 0))
(TpArr (Base 0) (TpArr (Base 0) (Base 0)))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (Base 0)) (Base 0)))
(TpArr (Base 0) (TpArr (Base 0) (Base 0)))
(TpArr (Base 0) (TpArr (Base 0) (Base 0)))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (TpArr (Base 0) (Prop)))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (Base 0)) (Base 0)))
(TpArr (Base 0) (TpArr (Base 0) (Base 0)))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (Base 0)) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Prop))) (Base 0))))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (Base 0)) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (Base 0))))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (Prop)) (TpArr (TpArr (Base 0) (Prop)) (Prop))))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (Prop)) (TpArr (TpArr (Base 0) (Prop)) (Prop))))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (Prop)) (TpArr (Base 0) (TpArr (TpArr (Base 0) (Prop)) (Prop)))))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (Prop)) (TpArr (Base 0) (TpArr (TpArr (Base 0) (Prop)) (Prop)))))
(TpArr (TpArr (Base 0) (TpArr (TpArr (Base 0) (Prop)) (Prop))) (TpArr (Base 0) (TpArr (TpArr (Base 0) (Prop)) (Prop))))
(TpArr (TpArr (Base 0) (TpArr (TpArr (Base 0) (Prop)) (Prop))) (TpArr (Base 0) (TpArr (TpArr (Base 0) (Prop)) (Prop))))
(TpArr (Base 0) (Base 0))
(TpArr (Base 0) (TpArr (Base 0) (Prop)))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (Prop)) (Base 0)))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (Base 0))
(TpArr (Base 0) (TpArr (Base 0) (TpArr (Base 0) (Prop))))
(TpArr (Base 0) (TpArr (Base 0) (Prop)))
(TpArr (Base 0) (TpArr (Base 0) (Prop)))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (Prop)))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (Base 0) (Prop))))))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (Base 0) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (TpArr (Base 0) (Base 0)))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (TpArr (Base 0) (Base 0)))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (TpArr (Base 0) (Base 0)))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (Prop)))))))))))))))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (Base 0) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (TpArr (Base 0) (Base 0)))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (TpArr (Base 0) (Base 0)))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (TpArr (Base 0) (Base 0)))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (Prop)))))))))))))))
(TpArr (Base 0) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (Base 0) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (TpArr (Base 0) (Base 0)))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (TpArr (Base 0) (Base 0)))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (TpArr (Base 0) (Base 0)))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (TpArr (TpArr (Base 0) (TpArr (Base 0) (Base 0))) (Prop)))))))))))))))
(TpArr (Base 0) (Prop))
(TpArr (Base 0) (TpArr (Base 0) (Prop)))
(TpArr (Base 0) (TpArr (Base 0) (TpArr (Base 0) (Prop))))