p:printf;a:"";p(?t,"[");sum((if fix(i^.5)