^ Presentation blif-ver a^lu dag^r(