theorem HumanpowerExternalOutcomeCandidate.mk.sizeOf_spec
theorem HumanpowerExternalOutcomeCandidate.mk.sizeOf_spec
: ∀
  (candidateId outcomeClass validationStatus distributionStatus externalAdoptionStatus causalStatus rewardStatus :
    String),
  sizeOf
      (xgh0dd28.HumanpowerExternalOutcomeCandidate.mk candidateId outcomeClass validationStatus distributionStatus
        externalAdoptionStatus causalStatus rewardStatus) =
    1 + sizeOf candidateId + sizeOf outcomeClass + sizeOf validationStatus + sizeOf distributionStatus +
          sizeOf externalAdoptionStatus +
        sizeOf causalStatus +
      sizeOf rewardStatus