当在IS-IS 中配置了区域验证和域验证后，被验证的IS-IS消息类型包括_______。