what is the holiday on 1 shawwal from islam called?
(AND time.holiday (AND (JOIN (R religion.religion.holidays) m.0flw86) (JOIN time.holiday.day_of_year m.0plzg7d)))