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