Ah! That's because it isn't encoded in ASN.1. That's a different format which is defined in [SEC1](http://www.secg.org/sec1-v2.pdf) \xa72.3.3\u20132.3.4. Here the size is indeed 1 + 2 * B where B is the curve byte size, so 65 is correct.