(DEFINE (PROBLEM STRIPS-MYSTY-A-13) (:DOMAIN MYSTERY-STRIPS) (:OBJECTS TUNA CHOCOLATE WONDERBREAD PEAR LOBSTER GUAVA CHICKEN BROCCOLI MUFFIN SNICKERS SCALLOP LEMON PAPAYA KALE REST EXCITEMENT PROSTATITIS ANGINA ANGER GRIEF LACERATION LONELINESS ABRASION DREAD ANXIETY SCIATICA HANGOVER JEALOUSY BOILS DEPRESSION GRIEF-8 ABRASION-3 HANGOVER-4 LACERATION-1 ANXIETY-2 SCIATICA-15 ANGER-16 JEALOUSY-5 LONELINESS-6 DREAD-7 PROSTATITIS-13 DEPRESSION-14 DEPRESSION-32 SCIATICA-9 LONELINESS-10 ANGINA-11 BOILS-12 MANITOBA BAVARIA ARIZONA KENTUCKY VENUS MARS NEPTUNE URANUS) (:INIT (FOOD TUNA) (FOOD CHOCOLATE) (FOOD WONDERBREAD) (FOOD PEAR) (FOOD LOBSTER) (FOOD GUAVA) (FOOD CHICKEN) (FOOD BROCCOLI) (FOOD MUFFIN) (FOOD SNICKERS) (FOOD SCALLOP) (FOOD LEMON) (FOOD PAPAYA) (FOOD KALE) (PLEASURE REST) (PLEASURE EXCITEMENT) (PAIN PROSTATITIS) (PAIN ANGINA) (PAIN ANGER) (PAIN GRIEF) (PAIN LACERATION) (PAIN LONELINESS) (PAIN ABRASION) (PAIN DREAD) (PAIN ANXIETY) (PAIN SCIATICA) (PAIN HANGOVER) (PAIN JEALOUSY) (PAIN BOILS) (PAIN DEPRESSION) (PAIN GRIEF-8) (PAIN ABRASION-3) (PAIN HANGOVER-4) (PAIN LACERATION-1) (PAIN ANXIETY-2) (PAIN SCIATICA-15) (PAIN ANGER-16) (PAIN JEALOUSY-5) (PAIN LONELINESS-6) (PAIN DREAD-7) (PAIN PROSTATITIS-13) (PAIN DEPRESSION-14) (PAIN DEPRESSION-32) (PAIN SCIATICA-9) (PAIN LONELINESS-10) (PAIN ANGINA-11) (PAIN BOILS-12) (PROVINCE MANITOBA) (PROVINCE BAVARIA) (PROVINCE ARIZONA) (PROVINCE KENTUCKY) (PLANET VENUS) (PLANET MARS) (PLANET NEPTUNE) (PLANET URANUS) (EATS TUNA GUAVA) (LOCALE SCALLOP KENTUCKY) (EATS SCALLOP KALE) (LOCALE GUAVA KENTUCKY) (CRAVES LONELINESS-6 BROCCOLI) (ATTACKS MANITOBA BAVARIA) (EATS SCALLOP LEMON) (EATS SCALLOP MUFFIN) (CRAVES PROSTATITIS-13 MUFFIN) (EATS SNICKERS BROCCOLI) (EATS GUAVA TUNA) (EATS KALE SCALLOP) (ATTACKS ARIZONA KENTUCKY) (EATS BROCCOLI SNICKERS) (EATS LEMON PAPAYA) (LOCALE SNICKERS BAVARIA) (EATS MUFFIN SNICKERS) (CRAVES DREAD-7 BROCCOLI) (EATS PAPAYA LEMON) (CRAVES HANGOVER PEAR) (ORBITS MARS NEPTUNE) (LOCALE CHICKEN BAVARIA) (CRAVES DEPRESSION-14 MUFFIN) (HARMONY EXCITEMENT MARS) (CRAVES ABRASION-3 CHICKEN) (CRAVES ANXIETY-2 CHICKEN) (CRAVES LACERATION WONDERBREAD) (EATS LOBSTER TUNA) (CRAVES SCIATICA-9 LEMON) (EATS PEAR WONDERBREAD) (ORBITS NEPTUNE URANUS) (CRAVES JEALOUSY LOBSTER) (EATS LEMON SCALLOP) (EATS PEAR BROCCOLI) (CRAVES EXCITEMENT PAPAYA) (CRAVES HANGOVER-4 CHICKEN) (CRAVES DEPRESSION LOBSTER) (CRAVES ANGER-16 BROCCOLI) (EATS WONDERBREAD CHICKEN) (EATS MUFFIN KALE) (CRAVES LONELINESS WONDERBREAD) (EATS CHOCOLATE LOBSTER) (EATS GUAVA CHICKEN) (CRAVES GRIEF WONDERBREAD) (LOCALE PEAR ARIZONA) (EATS CHICKEN WONDERBREAD) (LOCALE BROCCOLI MANITOBA) (EATS PAPAYA BROCCOLI) (CRAVES GRIEF-8 CHICKEN) (EATS SNICKERS MUFFIN) (CRAVES BOILS LOBSTER) (HARMONY REST URANUS) (LOCALE LEMON BAVARIA) (EATS CHOCOLATE PEAR) (CRAVES ANGINA TUNA) (CRAVES SCIATICA PEAR) (LOCALE PAPAYA MANITOBA) (CRAVES SCIATICA-15 BROCCOLI) (EATS TUNA LOBSTER) (EATS BROCCOLI PAPAYA) (CRAVES BOILS-12 LEMON) (EATS GUAVA LEMON) (CRAVES DEPRESSION-32 LEMON) (CRAVES ANXIETY PEAR) (CRAVES LONELINESS-10 LEMON) (EATS PEAR CHOCOLATE) (LOCALE MUFFIN MANITOBA) (EATS KALE MUFFIN) (LOCALE CHOCOLATE ARIZONA) (EATS MUFFIN SCALLOP) (CRAVES ANGER TUNA) (CRAVES DREAD WONDERBREAD) (LOCALE LOBSTER MANITOBA) (ATTACKS BAVARIA ARIZONA) (EATS BROCCOLI PEAR) (LOCALE KALE KENTUCKY) (LOCALE WONDERBREAD KENTUCKY) (CRAVES ANGINA-11 LEMON) (EATS LEMON GUAVA) (ORBITS VENUS MARS) (CRAVES LACERATION-1 CHICKEN) (EATS WONDERBREAD PEAR) (LOCALE TUNA MANITOBA) (CRAVES REST LEMON) (CRAVES JEALOUSY-5 BROCCOLI) (CRAVES ABRASION WONDERBREAD) (EATS LOBSTER CHOCOLATE) (CRAVES PROSTATITIS TUNA) (EATS CHICKEN GUAVA)) (:GOAL (AND (CRAVES ABRASION-3 WONDERBREAD) (CRAVES ANXIETY-2 WONDERBREAD))))