This was long ago obsoleted by an appendix of the whitepaper