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