Constant pocket_prover::P3

pub const P3: u64 = 0b11111111_00000000_11111111_00000000_11111111_00000000_11111111_00000000;

0xff00_ff00_ff00_ff00