use crate::shortint::parameters::ClassicPBSParameters;
/// p-fail = 2^-40.525, algorithmic cost ~ 49, 2-norm = 3
pub const V1_3_PARAM_MESSAGE_1_CARRY_1_KS_PBS_TUNIFORM_2M40: ClassicPBSParameters =
    crate::shortint::parameters::v1_1::V1_1_PARAM_MESSAGE_1_CARRY_1_KS_PBS_TUNIFORM_2M40;
/// p-fail = 2^-57.015, algorithmic cost ~ 107, 2-norm = 5
pub const V1_3_PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M40: ClassicPBSParameters =
    crate::shortint::parameters::v1_1::V1_1_PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M40;
/// p-fail = 2^-50.002, algorithmic cost ~ 816, 2-norm = 9
pub const V1_3_PARAM_MESSAGE_3_CARRY_3_KS_PBS_TUNIFORM_2M40: ClassicPBSParameters =
    crate::shortint::parameters::v1_1::V1_1_PARAM_MESSAGE_3_CARRY_3_KS_PBS_TUNIFORM_2M40;
/// p-fail = 2^-41.009, algorithmic cost ~ 4165, 2-norm = 17
pub const V1_3_PARAM_MESSAGE_4_CARRY_4_KS_PBS_TUNIFORM_2M40: ClassicPBSParameters =
    crate::shortint::parameters::v1_1::V1_1_PARAM_MESSAGE_4_CARRY_4_KS_PBS_TUNIFORM_2M40;
