import Data.Array.Vector main = print (andU (replicateU 100 True))