IPv6アドレス「2001:0db8:0001:0000:0000:0000:0000:0001」を正しく圧縮した表記はどれか。

連続する0のブロックは一度だけ「::」で省略でき、各ブロックの先頭の0も省略できる。