/// Proof Skipped: CouncilCollective Members (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Proposals (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Members (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: MaintenanceMode MaintenanceMode (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Members (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective ProposalOf (max_values: None, max_size: None, mode: Measured)
/// Proof Skipped: MaintenanceMode MaintenanceMode (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Members (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective ProposalOf (max_values: None, max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Proposals (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective ProposalCount (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Members (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Members (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Proposals (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective ProposalOf (max_values: None, max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Members (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective ProposalOf (max_values: None, max_size: None, mode: Measured)
/// Proof Skipped: MaintenanceMode MaintenanceMode (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Proposals (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Members (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Prime (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Proposals (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective ProposalOf (max_values: None, max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Members (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Prime (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective ProposalOf (max_values: None, max_size: None, mode: Measured)
/// Proof Skipped: MaintenanceMode MaintenanceMode (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Proposals (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective Proposals (max_values: Some(1), max_size: None, mode: Measured)
/// Proof Skipped: CouncilCollective ProposalOf (max_values: None, max_size: None, mode: Measured)