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