contract ContractDefinition is Contract1, Contract2, Contract3, Contract4, Contract5 {
}