Constant pocket_prover::P5

pub const P5: u64 = 0b11111111_11111111_11111111_11111111_00000000_00000000_00000000_00000000;

0xffff_ffff_0000_0000