Use proper compression of the IPv6 address format