what holiday is of the date 1 shawwal and is a holiday of islam?
(AND time.holiday (AND (JOIN (R religion.religion.holidays) m.0flw86) (JOIN time.holiday.day_of_year m.0plzg7d)))