(DEFINE (PROBLEM STRIPS-MYSTY-5) (:DOMAIN MYSTERY-STRIPS) (:OBJECTS MUFFIN YOGURT HAROSET ENDIVE KALE TUNA CHOCOLATE SNICKERS PAPAYA MUTTON PEAR BROCCOLI POTATO BACON SCALLOP TOMATO SATISFACTION AESTHETICS UNDERSTANDING ANGER HANGOVER JEALOUSY DREAD SCIATICA LONELINESS GRIEF ANGINA ABRASION BOILS DEPRESSION ANXIETY ANGER-2 LACERATION PROSTATITIS GRIEF-3 ANXIETY-4 ABRASION-1 ANGINA-8 HANGOVER-5 LONELINESS-6 DREAD-7 DEPRESSION-14 SCIATICA-15 LACERATION-16 PROSTATITIS-13 JEALOUSY-12 GRIEF-10 BOILS-11 PROSTATITIS-31 DEPRESSION-32 HANGOVER-9 ABRASION-29 SCIATICA-30 ANXIETY-26 DREAD-27 LONELINESS-28 QUEBEC VENUS NEPTUNE VULCAN SATURN) (:INIT (FOOD MUFFIN) (FOOD YOGURT) (FOOD HAROSET) (FOOD ENDIVE) (FOOD KALE) (FOOD TUNA) (FOOD CHOCOLATE) (FOOD SNICKERS) (FOOD PAPAYA) (FOOD MUTTON) (FOOD PEAR) (FOOD BROCCOLI) (FOOD POTATO) (FOOD BACON) (FOOD SCALLOP) (FOOD TOMATO) (PLEASURE SATISFACTION) (PLEASURE AESTHETICS) (PLEASURE UNDERSTANDING) (PAIN ANGER) (PAIN HANGOVER) (PAIN JEALOUSY) (PAIN DREAD) (PAIN SCIATICA) (PAIN LONELINESS) (PAIN GRIEF) (PAIN ANGINA) (PAIN ABRASION) (PAIN BOILS) (PAIN DEPRESSION) (PAIN ANXIETY) (PAIN ANGER-2) (PAIN LACERATION) (PAIN PROSTATITIS) (PAIN GRIEF-3) (PAIN ANXIETY-4) (PAIN ABRASION-1) (PAIN ANGINA-8) (PAIN HANGOVER-5) (PAIN LONELINESS-6) (PAIN DREAD-7) (PAIN DEPRESSION-14) (PAIN SCIATICA-15) (PAIN LACERATION-16) (PAIN PROSTATITIS-13) (PAIN JEALOUSY-12) (PAIN GRIEF-10) (PAIN BOILS-11) (PAIN PROSTATITIS-31) (PAIN DEPRESSION-32) (PAIN HANGOVER-9) (PAIN ABRASION-29) (PAIN SCIATICA-30) (PAIN ANXIETY-26) (PAIN DREAD-27) (PAIN LONELINESS-28) (PROVINCE QUEBEC) (PLANET VENUS) (PLANET NEPTUNE) (PLANET VULCAN) (PLANET SATURN) (EATS TUNA HAROSET) (EATS CHOCOLATE BROCCOLI) (CRAVES LONELINESS YOGURT) (LOCALE PAPAYA QUEBEC) (CRAVES HANGOVER-5 PAPAYA) (LOCALE TUNA QUEBEC) (CRAVES ANGINA-8 SNICKERS) (EATS SNICKERS PAPAYA) (EATS HAROSET TUNA) (CRAVES DEPRESSION-32 BACON) (CRAVES LACERATION-16 MUTTON) (EATS POTATO BACON) (CRAVES ANXIETY KALE) (LOCALE POTATO QUEBEC) (EATS SNICKERS BROCCOLI) (CRAVES PROSTATITIS-13 PEAR) (EATS MUTTON PAPAYA) (CRAVES ANXIETY-4 CHOCOLATE) (CRAVES BOILS-11 POTATO) (CRAVES SCIATICA YOGURT) (CRAVES DREAD-7 PAPAYA) (EATS TUNA MUFFIN) (LOCALE SCALLOP QUEBEC) (CRAVES JEALOUSY-12 BROCCOLI) (LOCALE CHOCOLATE QUEBEC) (EATS BROCCOLI SNICKERS) (EATS BROCCOLI BACON) (EATS TOMATO POTATO) (EATS PAPAYA CHOCOLATE) (EATS POTATO TOMATO) (EATS BACON BROCCOLI) (ORBITS NEPTUNE VULCAN) (EATS SCALLOP TOMATO) (LOCALE SNICKERS QUEBEC) (EATS SNICKERS PEAR) (CRAVES DEPRESSION-14 MUTTON) (EATS PEAR PAPAYA) (CRAVES UNDERSTANDING BROCCOLI) (EATS MUFFIN TUNA) (CRAVES ANGINA HAROSET) (EATS PEAR SNICKERS) (CRAVES ABRASION ENDIVE) (CRAVES PROSTATITIS-31 BACON) (CRAVES HANGOVER MUFFIN) (CRAVES ABRASION-29 SCALLOP) (LOCALE HAROSET QUEBEC) (CRAVES ANXIETY-26 TOMATO) (CRAVES PROSTATITIS TUNA) (LOCALE BACON QUEBEC) (EATS MUFFIN YOGURT) (EATS ENDIVE SNICKERS) (CRAVES AESTHETICS HAROSET) (CRAVES LACERATION TUNA) (CRAVES DREAD YOGURT) (LOCALE TOMATO QUEBEC) (CRAVES LONELINESS-28 TOMATO) (CRAVES ABRASION-1 CHOCOLATE) (CRAVES JEALOUSY MUFFIN) (EATS ENDIVE KALE) (HARMONY AESTHETICS NEPTUNE) (LOCALE KALE QUEBEC) (EATS YOGURT KALE) (EATS CHOCOLATE PAPAYA) (LOCALE ENDIVE QUEBEC) (CRAVES GRIEF-3 CHOCOLATE) (CRAVES SATISFACTION YOGURT) (LOCALE MUTTON QUEBEC) (CRAVES GRIEF HAROSET) (LOCALE PEAR QUEBEC) (EATS BROCCOLI CHOCOLATE) (HARMONY SATISFACTION SATURN) (CRAVES SCIATICA-30 SCALLOP) (EATS KALE ENDIVE) (EATS PAPAYA PEAR) (CRAVES ANGER MUFFIN) (EATS PAPAYA SNICKERS) (CRAVES GRIEF-10 POTATO) (EATS TOMATO SCALLOP) (HARMONY UNDERSTANDING VULCAN) (EATS BACON POTATO) (CRAVES DREAD-27 TOMATO) (CRAVES BOILS ENDIVE) (ORBITS VENUS NEPTUNE) (EATS PAPAYA MUTTON) (CRAVES SCIATICA-15 MUTTON) (EATS BACON SCALLOP) (CRAVES ANGER-2 TUNA) (EATS PEAR MUTTON) (EATS YOGURT MUFFIN) (EATS MUTTON PEAR) (LOCALE BROCCOLI QUEBEC) (EATS SCALLOP BACON) (EATS ENDIVE HAROSET) (EATS KALE YOGURT) (EATS SNICKERS ENDIVE) (EATS HAROSET ENDIVE) (LOCALE MUFFIN QUEBEC) (CRAVES LONELINESS-6 PAPAYA) (ORBITS VULCAN SATURN) (LOCALE YOGURT QUEBEC) (CRAVES DEPRESSION KALE) (CRAVES HANGOVER-9 BACON)) (:GOAL (AND (CRAVES ANGER CHOCOLATE))))