Речник на българския език
биха зачудили е производна форма на зачудя се (условно наклонение, 3 л., мн. ч.).