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