ISP IPv6 Prefix + 6rd Domain ID
/56 prefix for subscriber
24 bits of private subscriber’s IPv4 address
(i.e., drop the “10” of 10.x.x.x and insert the remaining 24 bits)
