pub const MK_REGULAR_CONST: u128 = 0x1062435f91072fa5c;
Top 65 bits of SHA-256(NUMS_DOMAIN). Regular-code target residue.
SHA-256(NUMS_DOMAIN)