C(128,64)/2^128