(DEFINE (PROBLEM STRIPS-MYSTY-12) (:DOMAIN MYSTERY-STRIPS) (:OBJECTS TUNA BROCCOLI LETTUCE SWEETROLL KALE LAMB SCALLOP TOMATO CANTELOPE MARZIPAN HAROSET APPLE FLOUNDER CHICKEN UNDERSTANDING INTOXICATION SATISFACTION CURIOSITY ACHIEVEMENT REST SATIETY TRIUMPH LEARNING EXCITEMENT ENTERTAINMENT ABRASION BOILS LACERATION GRIEF JEALOUSY DREAD LONELINESS ANGER ANGINA SCIATICA ANXIETY DEPRESSION HANGOVER JEALOUSY-1 HANGOVER-2 PROSTATITIS ANXIETY-7 ANGINA-8 DEPRESSION-3 ANGER-4 LONELINESS-15 LACERATION-16 BOILS-5 GRIEF-6 PROSTATITIS-11 DREAD-12 ABRASION-13 SCIATICA-14 DEPRESSION-31 ANGER-32 JEALOUSY-9 ABRASION-10 GRIEF-29 HANGOVER-30 DREAD-26 ANGINA-27 BOILS-28 LONELINESS-22 ANXIETY-23 PROSTATITIS-24 LACERATION-25 MANITOBA BAVARIA ARIZONA EARTH URANUS VULCAN VENUS) (:INIT (FOOD TUNA) (FOOD BROCCOLI) (FOOD LETTUCE) (FOOD SWEETROLL) (FOOD KALE) (FOOD LAMB) (FOOD SCALLOP) (FOOD TOMATO) (FOOD CANTELOPE) (FOOD MARZIPAN) (FOOD HAROSET) (FOOD APPLE) (FOOD FLOUNDER) (FOOD CHICKEN) (PLEASURE UNDERSTANDING) (PLEASURE INTOXICATION) (PLEASURE SATISFACTION) (PLEASURE CURIOSITY) (PLEASURE ACHIEVEMENT) (PLEASURE REST) (PLEASURE SATIETY) (PLEASURE TRIUMPH) (PLEASURE LEARNING) (PLEASURE EXCITEMENT) (PLEASURE ENTERTAINMENT) (PAIN ABRASION) (PAIN BOILS) (PAIN LACERATION) (PAIN GRIEF) (PAIN JEALOUSY) (PAIN DREAD) (PAIN LONELINESS) (PAIN ANGER) (PAIN ANGINA) (PAIN SCIATICA) (PAIN ANXIETY) (PAIN DEPRESSION) (PAIN HANGOVER) (PAIN JEALOUSY-1) (PAIN HANGOVER-2) (PAIN PROSTATITIS) (PAIN ANXIETY-7) (PAIN ANGINA-8) (PAIN DEPRESSION-3) (PAIN ANGER-4) (PAIN LONELINESS-15) (PAIN LACERATION-16) (PAIN BOILS-5) (PAIN GRIEF-6) (PAIN PROSTATITIS-11) (PAIN DREAD-12) (PAIN ABRASION-13) (PAIN SCIATICA-14) (PAIN DEPRESSION-31) (PAIN ANGER-32) (PAIN JEALOUSY-9) (PAIN ABRASION-10) (PAIN GRIEF-29) (PAIN HANGOVER-30) (PAIN DREAD-26) (PAIN ANGINA-27) (PAIN BOILS-28) (PAIN LONELINESS-22) (PAIN ANXIETY-23) (PAIN PROSTATITIS-24) (PAIN LACERATION-25) (PROVINCE MANITOBA) (PROVINCE BAVARIA) (PROVINCE ARIZONA) (PLANET EARTH) (PLANET URANUS) (PLANET VULCAN) (PLANET VENUS) (CRAVES INTOXICATION LETTUCE) (EATS TUNA SCALLOP) (EATS LETTUCE BROCCOLI) (CRAVES DREAD-26 FLOUNDER) (CRAVES DEPRESSION-3 TOMATO) (HARMONY INTOXICATION URANUS) (HARMONY SATISFACTION VULCAN) (HARMONY CURIOSITY URANUS) (CRAVES SCIATICA-14 MARZIPAN) (HARMONY REST VENUS) (CRAVES PROSTATITIS-11 MARZIPAN) (CRAVES ABRASION-10 HAROSET) (CRAVES SCIATICA SWEETROLL) (LOCALE APPLE BAVARIA) (CRAVES BOILS BROCCOLI) (LOCALE BROCCOLI BAVARIA) (CRAVES SATIETY CANTELOPE) (CRAVES ANGER SWEETROLL) (CRAVES ABRASION-13 MARZIPAN) (ATTACKS BAVARIA ARIZONA) (LOCALE FLOUNDER BAVARIA) (EATS HAROSET APPLE) (EATS APPLE HAROSET) (EATS SCALLOP TUNA) (HARMONY ACHIEVEMENT VENUS) (EATS KALE APPLE) (EATS HAROSET CHICKEN) (EATS TUNA BROCCOLI) (CRAVES ANGER-32 HAROSET) (CRAVES ANGINA-8 TOMATO) (CRAVES HANGOVER-2 SCALLOP) (LOCALE TOMATO ARIZONA) (LOCALE LAMB MANITOBA) (EATS KALE TOMATO) (CRAVES UNDERSTANDING TUNA) (CRAVES REST TOMATO) (EATS BROCCOLI LETTUCE) (CRAVES CURIOSITY LAMB) (EATS SCALLOP LAMB) (LOCALE SCALLOP ARIZONA) (CRAVES ANXIETY-7 TOMATO) (CRAVES ABRASION TUNA) (LOCALE SWEETROLL ARIZONA) (CRAVES ANXIETY-23 CHICKEN) (CRAVES PROSTATITIS-24 CHICKEN) (CRAVES LONELINESS LETTUCE) (LOCALE TUNA BAVARIA) (EATS TOMATO LAMB) (EATS TOMATO KALE) (EATS APPLE KALE) (LOCALE LETTUCE MANITOBA) (EATS FLOUNDER MARZIPAN) (ORBITS VULCAN VENUS) (CRAVES ANXIETY SWEETROLL) (CRAVES ACHIEVEMENT SCALLOP) (EATS MARZIPAN FLOUNDER) (EATS LAMB TOMATO) (CRAVES HANGOVER-30 APPLE) (CRAVES ANGINA SWEETROLL) (EATS CANTELOPE TOMATO) (EATS CHICKEN HAROSET) (ORBITS EARTH URANUS) (EATS LAMB SCALLOP) (HARMONY ENTERTAINMENT VENUS) (CRAVES JEALOUSY-9 HAROSET) (EATS APPLE SWEETROLL) (CRAVES GRIEF LETTUCE) (EATS SWEETROLL APPLE) (ORBITS URANUS VULCAN) (EATS CANTELOPE LAMB) (LOCALE CANTELOPE MANITOBA) (CRAVES BOILS-28 FLOUNDER) (EATS TUNA SWEETROLL) (EATS SWEETROLL LETTUCE) (EATS SWEETROLL TUNA) (EATS FLOUNDER APPLE) (CRAVES LONELINESS-15 CANTELOPE) (CRAVES EXCITEMENT APPLE) (EATS BROCCOLI TUNA) (CRAVES DREAD LETTUCE) (CRAVES HANGOVER LAMB) (HARMONY EXCITEMENT URANUS) (LOCALE MARZIPAN MANITOBA) (CRAVES PROSTATITIS SCALLOP) (LOCALE HAROSET MANITOBA) (HARMONY LEARNING URANUS) (CRAVES ANGER-4 TOMATO) (EATS LETTUCE SWEETROLL) (CRAVES TRIUMPH MARZIPAN) (ATTACKS MANITOBA BAVARIA) (CRAVES LEARNING HAROSET) (CRAVES JEALOUSY LETTUCE) (EATS APPLE FLOUNDER) (CRAVES DEPRESSION-31 HAROSET) (CRAVES LONELINESS-22 CHICKEN) (CRAVES DREAD-12 MARZIPAN) (CRAVES LACERATION-16 CANTELOPE) (EATS SCALLOP KALE) (CRAVES DEPRESSION KALE) (HARMONY UNDERSTANDING VULCAN) (HARMONY TRIUMPH VULCAN) (EATS KALE SCALLOP) (CRAVES SATISFACTION KALE) (HARMONY SATIETY VENUS) (CRAVES BOILS-5 CANTELOPE) (EATS CHICKEN MARZIPAN) (LOCALE CHICKEN BAVARIA) (CRAVES GRIEF-29 APPLE) (CRAVES LACERATION BROCCOLI) (CRAVES GRIEF-6 CANTELOPE) (CRAVES ENTERTAINMENT CHICKEN) (EATS MARZIPAN CHICKEN) (CRAVES ANGINA-27 FLOUNDER) (EATS LAMB CANTELOPE) (CRAVES JEALOUSY-1 SCALLOP) (CRAVES LACERATION-25 CHICKEN) (LOCALE KALE MANITOBA) (EATS TOMATO CANTELOPE)) (:GOAL (AND (CRAVES JEALOUSY LAMB))))