use crate::shortint::parameters::ClassicPBSParameters;
/// p-fail = 2^-144.322, algorithmic cost ~ 67, 2-norm = 3
pub const V1_5_PARAM_MESSAGE_1_CARRY_1_KS_PBS_TUNIFORM_2M128: ClassicPBSParameters =
    crate::shortint::parameters::v1_4::V1_4_PARAM_MESSAGE_1_CARRY_1_KS_PBS_TUNIFORM_2M128;
/// p-fail = 2^-129.581, algorithmic cost ~ 113, 2-norm = 5
pub const V1_5_PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128: ClassicPBSParameters =
    crate::shortint::parameters::v1_4::V1_4_PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128;
/// p-fail = 2^-128.992, algorithmic cost ~ 900, 2-norm = 9
pub const V1_5_PARAM_MESSAGE_3_CARRY_3_KS_PBS_TUNIFORM_2M128: ClassicPBSParameters =
    crate::shortint::parameters::v1_4::V1_4_PARAM_MESSAGE_3_CARRY_3_KS_PBS_TUNIFORM_2M128;
/// p-fail = 2^-141.559, algorithmic cost ~ 11860, 2-norm = 17
pub const V1_5_PARAM_MESSAGE_4_CARRY_4_KS_PBS_TUNIFORM_2M128: ClassicPBSParameters =
    crate::shortint::parameters::v1_4::V1_4_PARAM_MESSAGE_4_CARRY_4_KS_PBS_TUNIFORM_2M128;
