(DEFINE (PROBLEM STRIPS-MYSTY-15) (:DOMAIN MYSTERY-STRIPS) (:OBJECTS LAMB SCALLION CANTELOPE TOMATO POTATO KALE HAMBURGER PEAR BAGUETTE CHERRY PAPAYA TUNA BEEF CHOCOLATE LETTUCE COD HAM PEPPER TURKEY GUAVA SCALLOP POPOVER HOTDOG LEMON OKRA BROCCOLI CUCUMBER PEA APPLE MUTTON SNICKERS FLOUNDER MUFFIN TOFU SHRIMP EXPECTATION AESTHETICS UNDERSTANDING STIMULATION LOVE CURIOSITY INTOXICATION SATIETY EXCITEMENT LUBRICITY EMPATHY SATISFACTION ENTERTAINMENT ANGINA LACERATION ABRASION DEPRESSION ANXIETY GRIEF HANGOVER PROSTATITIS DREAD JEALOUSY LONELINESS SCIATICA HANGOVER-2 BOILS ANGER ANGER-3 ABRASION-4 GRIEF-1 ANXIETY-6 BOILS-7 JEALOUSY-8 LONELINESS-15 ANGINA-16 LACERATION-5 DREAD-12 SCIATICA-13 PROSTATITIS-14 ANGINA-10 DEPRESSION-11 SCIATICA-32 ANGER-9 LONELINESS-31 BOILS-29 ANXIETY-30 GRIEF-26 JEALOUSY-27 ABRASION-28 PROSTATITIS-23 LACERATION-24 HANGOVER-25 DEPRESSION-21 DREAD-22 ANXIETY-18 DEPRESSION-19 ABRASION-20 HANGOVER-17 ANGINA-64 LONELINESS-61 SCIATICA-62 DREAD-63 ANGER-60 PROSTATITIS-59 GRIEF-57 JEALOUSY-58 BOILS-55 LACERATION-56 SCIATICA-53 HANGOVER-54 ANGINA-51 BOILS-52 ANGER-49 GRIEF-50 PROSTATITIS-47 DEPRESSION-48 LONELINESS-46 ABRASION-44 DREAD-45 ANXIETY-41 LACERATION-42 JEALOUSY-43 DEPRESSION-39 ABRASION-40 ANGER-37 HANGOVER-38 ARIZONA BAVARIA ALSACE KENTUCKY MANITOBA PENNSYLVANIA SATURN URANUS NEPTUNE MARS) (:INIT (FOOD LAMB) (FOOD SCALLION) (FOOD CANTELOPE) (FOOD TOMATO) (FOOD POTATO) (FOOD KALE) (FOOD HAMBURGER) (FOOD PEAR) (FOOD BAGUETTE) (FOOD CHERRY) (FOOD PAPAYA) (FOOD TUNA) (FOOD BEEF) (FOOD CHOCOLATE) (FOOD LETTUCE) (FOOD COD) (FOOD HAM) (FOOD PEPPER) (FOOD TURKEY) (FOOD GUAVA) (FOOD SCALLOP) (FOOD POPOVER) (FOOD HOTDOG) (FOOD LEMON) (FOOD OKRA) (FOOD BROCCOLI) (FOOD CUCUMBER) (FOOD PEA) (FOOD APPLE) (FOOD MUTTON) (FOOD SNICKERS) (FOOD FLOUNDER) (FOOD MUFFIN) (FOOD TOFU) (FOOD SHRIMP) (PLEASURE EXPECTATION) (PLEASURE AESTHETICS) (PLEASURE UNDERSTANDING) (PLEASURE STIMULATION) (PLEASURE LOVE) (PLEASURE CURIOSITY) (PLEASURE INTOXICATION) (PLEASURE SATIETY) (PLEASURE EXCITEMENT) (PLEASURE LUBRICITY) (PLEASURE EMPATHY) (PLEASURE SATISFACTION) (PLEASURE ENTERTAINMENT) (PAIN ANGINA) (PAIN LACERATION) (PAIN ABRASION) (PAIN DEPRESSION) (PAIN ANXIETY) (PAIN GRIEF) (PAIN HANGOVER) (PAIN PROSTATITIS) (PAIN DREAD) (PAIN JEALOUSY) (PAIN LONELINESS) (PAIN SCIATICA) (PAIN HANGOVER-2) (PAIN BOILS) (PAIN ANGER) (PAIN ANGER-3) (PAIN ABRASION-4) (PAIN GRIEF-1) (PAIN ANXIETY-6) (PAIN BOILS-7) (PAIN JEALOUSY-8) (PAIN LONELINESS-15) (PAIN ANGINA-16) (PAIN LACERATION-5) (PAIN DREAD-12) (PAIN SCIATICA-13) (PAIN PROSTATITIS-14) (PAIN ANGINA-10) (PAIN DEPRESSION-11) (PAIN SCIATICA-32) (PAIN ANGER-9) (PAIN LONELINESS-31) (PAIN BOILS-29) (PAIN ANXIETY-30) (PAIN GRIEF-26) (PAIN JEALOUSY-27) (PAIN ABRASION-28) (PAIN PROSTATITIS-23) (PAIN LACERATION-24) (PAIN HANGOVER-25) (PAIN DEPRESSION-21) (PAIN DREAD-22) (PAIN ANXIETY-18) (PAIN DEPRESSION-19) (PAIN ABRASION-20) (PAIN HANGOVER-17) (PAIN ANGINA-64) (PAIN LONELINESS-61) (PAIN SCIATICA-62) (PAIN DREAD-63) (PAIN ANGER-60) (PAIN PROSTATITIS-59) (PAIN GRIEF-57) (PAIN JEALOUSY-58) (PAIN BOILS-55) (PAIN LACERATION-56) (PAIN SCIATICA-53) (PAIN HANGOVER-54) (PAIN ANGINA-51) (PAIN BOILS-52) (PAIN ANGER-49) (PAIN GRIEF-50) (PAIN PROSTATITIS-47) (PAIN DEPRESSION-48) (PAIN LONELINESS-46) (PAIN ABRASION-44) (PAIN DREAD-45) (PAIN ANXIETY-41) (PAIN LACERATION-42) (PAIN JEALOUSY-43) (PAIN DEPRESSION-39) (PAIN ABRASION-40) (PAIN ANGER-37) (PAIN HANGOVER-38) (PROVINCE ARIZONA) (PROVINCE BAVARIA) (PROVINCE ALSACE) (PROVINCE KENTUCKY) (PROVINCE MANITOBA) (PROVINCE PENNSYLVANIA) (PLANET SATURN) (PLANET URANUS) (PLANET NEPTUNE) (PLANET MARS) (EATS LETTUCE OKRA) (EATS GUAVA APPLE) (EATS HAM CHOCOLATE) (CRAVES ANXIETY-41 MUFFIN) (LOCALE KALE MANITOBA) (CRAVES HANGOVER-2 HAMBURGER) (CRAVES BOILS-7 BAGUETTE) (HARMONY ENTERTAINMENT MARS) (LOCALE HAM ARIZONA) (HARMONY LUBRICITY URANUS) (EATS CHOCOLATE HAM) (CRAVES LONELINESS-31 CHOCOLATE) (LOCALE FLOUNDER BAVARIA) (HARMONY EXCITEMENT URANUS) (EATS CANTELOPE POTATO) (CRAVES JEALOUSY-58 OKRA) (ORBITS NEPTUNE MARS) (EATS MUTTON PEPPER) (EATS HOTDOG MUFFIN) (EATS BROCCOLI SCALLOP) (ATTACKS BAVARIA ALSACE) (CRAVES LONELINESS POTATO) (LOCALE CUCUMBER ARIZONA) (HARMONY INTOXICATION URANUS) (CRAVES LONELINESS-15 CHERRY) (EATS HAM MUTTON) (CRAVES GRIEF-57 OKRA) (CRAVES ABRASION LAMB) (CRAVES ANXIETY-6 BAGUETTE) (LOCALE OKRA ALSACE) (CRAVES JEALOUSY TOMATO) (CRAVES GRIEF SCALLION) (CRAVES DEPRESSION-39 TOFU) (EATS POTATO CANTELOPE) (EATS PAPAYA CHERRY) (EATS MUTTON HAM) (EATS PEPPER MUTTON) (HARMONY CURIOSITY NEPTUNE) (EATS HAM COD) (EATS SCALLION KALE) (LOCALE BROCCOLI BAVARIA) (EATS BROCCOLI LEMON) (EATS GUAVA CUCUMBER) (CRAVES SCIATICA-13 PAPAYA) (CRAVES ABRASION-28 COD) (CRAVES GRIEF-26 COD) (EATS APPLE HOTDOG) (CRAVES LACERATION-56 BROCCOLI) (CRAVES GRIEF-1 PEAR) (EATS CUCUMBER GUAVA) (CRAVES ANGER-3 PEAR) (LOCALE CHOCOLATE ARIZONA) (CRAVES ANGER-49 APPLE) (LOCALE POPOVER ARIZONA) (EATS POTATO PEAR) (CRAVES LONELINESS-46 SNICKERS) (EATS LAMB HAMBURGER) (CRAVES EXCITEMENT MUTTON) (EATS TOFU PEPPER) (CRAVES JEALOUSY-27 COD) (EATS KALE LAMB) (EATS PEPPER TOFU) (CRAVES GRIEF-50 APPLE) (EATS SHRIMP SNICKERS) (LOCALE PEA ARIZONA) (EATS HAM OKRA) (EATS HAMBURGER TOMATO) (CRAVES PROSTATITIS-59 LEMON) (HARMONY EMPATHY NEPTUNE) (EATS GUAVA OKRA) (CRAVES ANGER-60 HOTDOG) (EATS OKRA LETTUCE) (LOCALE SNICKERS ALSACE) (CRAVES HANGOVER-54 CUCUMBER) (CRAVES LONELINESS-61 POPOVER) (EATS CUCUMBER KALE) (LOCALE TURKEY ARIZONA) (LOCALE CHERRY ALSACE) (EATS SCALLOP BROCCOLI) (EATS COD HAM) (LOCALE HAMBURGER MANITOBA) (LOCALE SHRIMP PENNSYLVANIA) (LOCALE PEPPER ARIZONA) (CRAVES ANGINA-51 PEA) (EATS TURKEY SHRIMP) (EATS LEMON SNICKERS) (CRAVES ANGER-9 BEEF) (CRAVES UNDERSTANDING HAMBURGER) (EATS TUNA BEEF) (CRAVES EXPECTATION SCALLION) (CRAVES PROSTATITIS CANTELOPE) (EATS PEA SNICKERS) (CRAVES SCIATICA-53 CUCUMBER) (LOCALE APPLE ARIZONA) (CRAVES ANGINA-64 SCALLOP) (EATS CUCUMBER SCALLOP) (LOCALE POTATO ALSACE) (CRAVES ANGINA LAMB) (CRAVES ANGINA-10 TUNA) (CRAVES SATISFACTION MUFFIN) (EATS FLOUNDER PEA) (EATS MUFFIN CHERRY) (CRAVES PROSTATITIS-47 MUTTON) (EATS SCALLION TUNA) (CRAVES DEPRESSION-19 TURKEY) (CRAVES DREAD-63 POPOVER) (EATS TUNA SCALLION) (EATS HOTDOG POPOVER) (LOCALE LETTUCE MANITOBA) (LOCALE SCALLOP ARIZONA) (EATS PEAR POTATO) (EATS HOTDOG APPLE) (EATS SHRIMP TURKEY) (EATS SNICKERS SHRIMP) (CRAVES DREAD-12 PAPAYA) (CRAVES EMPATHY FLOUNDER) (LOCALE BAGUETTE KENTUCKY) (ATTACKS ARIZONA BAVARIA) (CRAVES ANGER-37 SHRIMP) (EATS MUFFIN POPOVER) (ATTACKS ALSACE KENTUCKY) (CRAVES ANGINA-16 CHERRY) (EATS POTATO BAGUETTE) (EATS POPOVER HOTDOG) (CRAVES HANGOVER-38 SHRIMP) (CRAVES ABRASION-4 PEAR) (EATS APPLE GUAVA) (EATS FLOUNDER LEMON) (ORBITS SATURN URANUS) (EATS CUCUMBER COD) (CRAVES CURIOSITY TUNA) (EATS KALE CUCUMBER) (EATS PEA FLOUNDER) (CRAVES HANGOVER CANTELOPE) (ATTACKS MANITOBA PENNSYLVANIA) (HARMONY STIMULATION NEPTUNE) (CRAVES BOILS-29 LETTUCE) (HARMONY EXPECTATION MARS) (EATS APPLE FLOUNDER) (EATS SCALLOP CUCUMBER) (CRAVES LUBRICITY SNICKERS) (HARMONY LOVE URANUS) (CRAVES HANGOVER-25 HAM) (EATS LAMB KALE) (EATS BEEF CHERRY) (EATS MUFFIN HOTDOG) (LOCALE TOFU ARIZONA) (ORBITS URANUS NEPTUNE) (CRAVES SCIATICA-62 POPOVER) (CRAVES DREAD-22 PEPPER) (LOCALE SCALLION KENTUCKY) (CRAVES ANXIETY-30 LETTUCE) (CRAVES DREAD TOMATO) (LOCALE LAMB PENNSYLVANIA) (LOCALE CANTELOPE BAVARIA) (CRAVES JEALOUSY-43 MUFFIN) (CRAVES DEPRESSION SCALLION) (HARMONY AESTHETICS URANUS) (EATS TOMATO HAMBURGER) (EATS CHERRY BEEF) (EATS LEMON FLOUNDER) (CRAVES BOILS-55 BROCCOLI) (LOCALE MUFFIN MANITOBA) (CRAVES DEPRESSION-21 PEPPER) (EATS PEAR TOMATO) (CRAVES STIMULATION BAGUETTE) (EATS LEMON BROCCOLI) (CRAVES AESTHETICS KALE) (EATS CHERRY MUFFIN) (HARMONY SATIETY MARS) (LOCALE LEMON KENTUCKY) (LOCALE PEAR PENNSYLVANIA) (CRAVES JEALOUSY-8 BAGUETTE) (CRAVES BOILS-52 PEA) (CRAVES ENTERTAINMENT SHRIMP) (EATS HAMBURGER LAMB) (EATS HAMBURGER CANTELOPE) (LOCALE BEEF ARIZONA) (HARMONY SATISFACTION URANUS) (CRAVES ABRASION-40 TOFU) (EATS TUNA PAPAYA) (EATS SNICKERS LEMON) (LOCALE GUAVA ALSACE) (EATS OKRA HAM) (EATS BAGUETTE SCALLION) (CRAVES LACERATION-5 CHERRY) (CRAVES PROSTATITIS-14 PAPAYA) (LOCALE COD ARIZONA) (CRAVES SCIATICA-32 BEEF) (LOCALE TUNA BAVARIA) (CRAVES ANGER HAMBURGER) (CRAVES ABRASION-20 TURKEY) (CRAVES INTOXICATION CHOCOLATE) (CRAVES ABRASION-44 FLOUNDER) (CRAVES PROSTATITIS-23 HAM) (EATS CANTELOPE HAMBURGER) (EATS KALE SCALLION) (CRAVES LACERATION-24 HAM) (EATS FLOUNDER APPLE) (LOCALE PAPAYA ARIZONA) (CRAVES LACERATION LAMB) (CRAVES LACERATION-42 MUFFIN) (EATS OKRA GUAVA) (CRAVES ANXIETY SCALLION) (EATS CHOCOLATE SNICKERS) (EATS CHERRY PAPAYA) (EATS TOFU LETTUCE) (EATS TURKEY MUTTON) (EATS BAGUETTE POTATO) (EATS POPOVER TOFU) (EATS MUTTON TURKEY) (ATTACKS KENTUCKY MANITOBA) (CRAVES DEPRESSION-11 TUNA) (EATS SNICKERS CHOCOLATE) (EATS COD CUCUMBER) (CRAVES DREAD-45 FLOUNDER) (HARMONY UNDERSTANDING URANUS) (LOCALE MUTTON ARIZONA) (EATS BEEF TUNA) (CRAVES LOVE CHERRY) (EATS TOMATO PEAR) (CRAVES SATIETY OKRA) (CRAVES ANXIETY-18 TURKEY) (CRAVES HANGOVER-17 GUAVA) (EATS SCALLION BAGUETTE) (EATS PAPAYA TUNA) (EATS TOFU POPOVER) (CRAVES BOILS HAMBURGER) (LOCALE HOTDOG ALSACE) (EATS SNICKERS PEA) (EATS LETTUCE TOFU) (EATS POPOVER MUFFIN) (CRAVES SCIATICA KALE) (LOCALE TOMATO ARIZONA) (CRAVES DEPRESSION-48 MUTTON)) (:GOAL (AND (CRAVES LACERATION-56 POPOVER) (CRAVES ABRASION-40 POPOVER) (CRAVES DEPRESSION-39 POTATO))))