(DEFINE (PROBLEM STRIPS-MYSTY-37) (:DOMAIN MYSTERY-STRIPS) (:OBJECTS HAROSET KALE LETTUCE TOMATO SHRIMP HOTDOG LEMON BROCCOLI TUNA TOFU HAM SWEETROLL BACON BEEF SCALLOP MARZIPAN CUCUMBER WONDERBREAD FLOUNDER SATISFACTION INTOXICATION LUBRICITY EMPATHY AESTHETICS CURIOSITY EXPECTATION STIMULATION ENTERTAINMENT ANGINA DEPRESSION HANGOVER ANGER JEALOUSY PROSTATITIS GRIEF DREAD LACERATION SCIATICA ABRASION ANXIETY BOILS ANXIETY-2 LONELINESS ANGINA-4 HANGOVER-1 ANGER-8 LACERATION-3 SCIATICA-7 JEALOUSY-6 PROSTATITIS-15 DREAD-16 ABRASION-5 ARIZONA MANITOBA GUANABARA ALSACE URANUS JUPITER PLUTO VULCAN) (:INIT (FOOD HAROSET) (FOOD KALE) (FOOD LETTUCE) (FOOD TOMATO) (FOOD SHRIMP) (FOOD HOTDOG) (FOOD LEMON) (FOOD BROCCOLI) (FOOD TUNA) (FOOD TOFU) (FOOD HAM) (FOOD SWEETROLL) (FOOD BACON) (FOOD BEEF) (FOOD SCALLOP) (FOOD MARZIPAN) (FOOD CUCUMBER) (FOOD WONDERBREAD) (FOOD FLOUNDER) (PLEASURE SATISFACTION) (PLEASURE INTOXICATION) (PLEASURE LUBRICITY) (PLEASURE EMPATHY) (PLEASURE AESTHETICS) (PLEASURE CURIOSITY) (PLEASURE EXPECTATION) (PLEASURE STIMULATION) (PLEASURE ENTERTAINMENT) (PAIN ANGINA) (PAIN DEPRESSION) (PAIN HANGOVER) (PAIN ANGER) (PAIN JEALOUSY) (PAIN PROSTATITIS) (PAIN GRIEF) (PAIN DREAD) (PAIN LACERATION) (PAIN SCIATICA) (PAIN ABRASION) (PAIN ANXIETY) (PAIN BOILS) (PAIN ANXIETY-2) (PAIN LONELINESS) (PAIN ANGINA-4) (PAIN HANGOVER-1) (PAIN ANGER-8) (PAIN LACERATION-3) (PAIN SCIATICA-7) (PAIN JEALOUSY-6) (PAIN PROSTATITIS-15) (PAIN DREAD-16) (PAIN ABRASION-5) (PROVINCE ARIZONA) (PROVINCE MANITOBA) (PROVINCE GUANABARA) (PROVINCE ALSACE) (PLANET URANUS) (PLANET JUPITER) (PLANET PLUTO) (PLANET VULCAN) (HARMONY SATISFACTION JUPITER) (EATS TOFU SCALLOP) (EATS SWEETROLL MARZIPAN) (EATS WONDERBREAD KALE) (HARMONY ENTERTAINMENT JUPITER) (EATS BACON HOTDOG) (CRAVES ANGINA-4 HAM) (CRAVES INTOXICATION SHRIMP) (CRAVES CURIOSITY BEEF) (LOCALE SCALLOP ARIZONA) (LOCALE BEEF ARIZONA) (LOCALE BACON MANITOBA) (LOCALE FLOUNDER ARIZONA) (ATTACKS MANITOBA GUANABARA) (HARMONY INTOXICATION JUPITER) (EATS BROCCOLI MARZIPAN) (LOCALE TUNA ALSACE) (EATS KALE WONDERBREAD) (CRAVES LACERATION-3 SWEETROLL) (CRAVES EMPATHY BROCCOLI) (CRAVES ENTERTAINMENT WONDERBREAD) (EATS TUNA FLOUNDER) (HARMONY AESTHETICS PLUTO) (CRAVES BOILS HOTDOG) (LOCALE LEMON ARIZONA) (LOCALE KALE ARIZONA) (CRAVES STIMULATION MARZIPAN) (EATS TOMATO HAROSET) (LOCALE BROCCOLI ARIZONA) (EATS BROCCOLI TOFU) (CRAVES ANGER-8 SWEETROLL) (EATS HAROSET TOMATO) (EATS HAROSET TOFU) (CRAVES LACERATION SHRIMP) (EATS WONDERBREAD CUCUMBER) (CRAVES PROSTATITIS-15 WONDERBREAD) (HARMONY EMPATHY PLUTO) (CRAVES GRIEF TOMATO) (EATS HOTDOG HAM) (EATS WONDERBREAD HAROSET) (HARMONY CURIOSITY JUPITER) (CRAVES ANGINA KALE) (EATS TOMATO LEMON) (CRAVES EXPECTATION SCALLOP) (CRAVES PROSTATITIS TOMATO) (CRAVES JEALOUSY-6 SCALLOP) (LOCALE SHRIMP GUANABARA) (EATS MARZIPAN BROCCOLI) (EATS WONDERBREAD SHRIMP) (ORBITS PLUTO VULCAN) (EATS KALE LEMON) (EATS FLOUNDER MARZIPAN) (HARMONY LUBRICITY VULCAN) (CRAVES HANGOVER-1 HAM) (EATS HOTDOG LEMON) (LOCALE LETTUCE MANITOBA) (ORBITS URANUS JUPITER) (LOCALE SWEETROLL ARIZONA) (EATS HAM HOTDOG) (EATS LEMON HOTDOG) (CRAVES SCIATICA HOTDOG) (EATS HAM WONDERBREAD) (CRAVES LONELINESS BROCCOLI) (CRAVES AESTHETICS BACON) (EATS HAROSET WONDERBREAD) (EATS HAM BACON) (CRAVES ABRASION-5 WONDERBREAD) (CRAVES JEALOUSY TOMATO) (LOCALE HOTDOG ALSACE) (EATS BEEF CUCUMBER) (EATS LEMON KALE) (EATS SWEETROLL LETTUCE) (CRAVES SCIATICA-7 BACON) (EATS SCALLOP SHRIMP) (CRAVES LUBRICITY LEMON) (CRAVES SATISFACTION LETTUCE) (EATS BACON HAM) (CRAVES DREAD-16 WONDERBREAD) (EATS BACON LETTUCE) (EATS SCALLOP TOFU) (CRAVES HANGOVER KALE) (EATS TOFU HAROSET) (EATS CUCUMBER BEEF) (EATS WONDERBREAD BEEF) (LOCALE CUCUMBER ARIZONA) (CRAVES DEPRESSION KALE) (LOCALE TOFU ARIZONA) (CRAVES DREAD SHRIMP) (CRAVES ANXIETY-2 BROCCOLI) (EATS MARZIPAN FLOUNDER) (HARMONY EXPECTATION VULCAN) (EATS SHRIMP WONDERBREAD) (EATS BEEF SCALLOP) (EATS LETTUCE BACON) (CRAVES ANGER KALE) (LOCALE MARZIPAN ARIZONA) (CRAVES ABRASION HOTDOG) (HARMONY STIMULATION VULCAN) (EATS LEMON TOMATO) (EATS TOFU BROCCOLI) (EATS SCALLOP BEEF) (EATS MARZIPAN SWEETROLL) (CRAVES ANXIETY HOTDOG) (LOCALE HAM MANITOBA) (LOCALE TOMATO ARIZONA) (ATTACKS GUANABARA ALSACE) (EATS LETTUCE SWEETROLL) (LOCALE WONDERBREAD GUANABARA) (EATS FLOUNDER TUNA) (EATS HOTDOG BACON) (EATS WONDERBREAD HAM) (EATS BEEF WONDERBREAD) (EATS TUNA HAM) (EATS CUCUMBER WONDERBREAD) (ATTACKS ARIZONA MANITOBA) (LOCALE HAROSET ARIZONA) (EATS SHRIMP SCALLOP) (EATS HAM TUNA) (ORBITS JUPITER PLUTO)) (:GOAL (AND (CRAVES PROSTATITIS-15 MARZIPAN) (CRAVES DREAD-16 KALE) (CRAVES LACERATION HAM) (CRAVES LACERATION-3 LEMON) (CRAVES PROSTATITIS SHRIMP) (CRAVES JEALOUSY TOMATO) (CRAVES ANXIETY BACON) (CRAVES ANXIETY-2 TOFU) (CRAVES GRIEF WONDERBREAD) (CRAVES JEALOUSY-6 TOMATO))))