import qualified Data.Vector as U
main = print (U.or (U.replicate 100 True))