Constant PRESENT2

pub const PRESENT2: u64 = 0x5d307d6198d76a65; // 6_715_004_902_538_963_557u64