そうですね。Existential１個で見ると増えると思います。

3:14 AM

１回でもコピーして共有が生成されれば、25バイト以上あるときのはなしだから、 (edited)

3:15 AM

25 - 8で17バイト以上得しそう