what holiday is on 10th day of dhul hijja and is part of the eid al-adha?
(AND time.holiday (AND (JOIN time.holiday.day_of_year m.02h7b67) (JOIN time.holiday.holiday_period m.01_403)))