import Data.Bits main=putStr$do i<-[31,30..0];i`drop`do{j<-[-i..31-i];["╱╲"," "]!!min(i.&.j)1}++"\n"