(DEFINE (PROBLEM STRIPS-MYSTY-8) (:DOMAIN MYSTERY-STRIPS) (:OBJECTS BACON PEAR HAMBURGER SCALLION ARUGULA CANTELOPE TOFU LAMB BEEF TURKEY MUFFIN HOTDOG SWEETROLL PEPPER FLOUNDER COD BAGUETTE SNICKERS ENDIVE RICE HAM PAPAYA WONDERBREAD PORK CHICKEN YOGURT SHRIMP LOBSTER CHOCOLATE LEMON HAROSET SATISFACTION AESTHETICS ENTERTAINMENT PROSTATITIS JEALOUSY BOILS SCIATICA ABRASION GRIEF LONELINESS ANGINA DEPRESSION ANXIETY DREAD ABRASION-1 SCIATICA-2 ANGER LACERATION HANGOVER DREAD-3 LONELINESS-4 LACERATION-6 GRIEF-7 JEALOUSY-8 DEPRESSION-16 BOILS-5 ANGER-14 ANXIETY-15 ABRASION-9 GRIEF-10 ANGINA-11 HANGOVER-12 PROSTATITIS-13 PROSTATITIS-30 JEALOUSY-31 BOILS-32 DEPRESSION-28 DREAD-29 HANGOVER-23 SCIATICA-24 LACERATION-25 ANGINA-26 ANGER-27 ANXIETY-21 LONELINESS-22 DEPRESSION-64 DREAD-17 LONELINESS-18 PROSTATITIS-19 ANGER-20 GRIEF-63 ABRASION-59 ANGINA-60 HANGOVER-61 SCIATICA-62 LACERATION-58 ANGINA-54 BOILS-55 JEALOUSY-56 ANXIETY-57 BOILS-50 GRIEF-51 HANGOVER-52 LACERATION-53 ANGER-48 PROSTATITIS-49 LONELINESS-43 ABRASION-44 DEPRESSION-45 JEALOUSY-46 ANXIETY-47 DEPRESSION-38 GRIEF-39 ANGINA-40 DREAD-41 SCIATICA-42 BOILS-33 ANXIETY-34 LACERATION-35 ABRASION-36 HANGOVER-37 DREAD-125 PROSTATITIS-126 ANGER-127 JEALOUSY-128 SCIATICA-123 LONELINESS-124 PROSTATITIS-119 ABRASION-120 ANGINA-121 ANGER-122 DREAD-116 ANXIETY-117 BOILS-118 HANGOVER-113 LACERATION-114 JEALOUSY-115 SCIATICA-110 LONELINESS-111 DEPRESSION-112 GOIAS VENUS SATURN JUPITER) (:INIT (FOOD BACON) (FOOD PEAR) (FOOD HAMBURGER) (FOOD SCALLION) (FOOD ARUGULA) (FOOD CANTELOPE) (FOOD TOFU) (FOOD LAMB) (FOOD BEEF) (FOOD TURKEY) (FOOD MUFFIN) (FOOD HOTDOG) (FOOD SWEETROLL) (FOOD PEPPER) (FOOD FLOUNDER) (FOOD COD) (FOOD BAGUETTE) (FOOD SNICKERS) (FOOD ENDIVE) (FOOD RICE) (FOOD HAM) (FOOD PAPAYA) (FOOD WONDERBREAD) (FOOD PORK) (FOOD CHICKEN) (FOOD YOGURT) (FOOD SHRIMP) (FOOD LOBSTER) (FOOD CHOCOLATE) (FOOD LEMON) (FOOD HAROSET) (PLEASURE SATISFACTION) (PLEASURE AESTHETICS) (PLEASURE ENTERTAINMENT) (PAIN PROSTATITIS) (PAIN JEALOUSY) (PAIN BOILS) (PAIN SCIATICA) (PAIN ABRASION) (PAIN GRIEF) (PAIN LONELINESS) (PAIN ANGINA) (PAIN DEPRESSION) (PAIN ANXIETY) (PAIN DREAD) (PAIN ABRASION-1) (PAIN SCIATICA-2) (PAIN ANGER) (PAIN LACERATION) (PAIN HANGOVER) (PAIN DREAD-3) (PAIN LONELINESS-4) (PAIN LACERATION-6) (PAIN GRIEF-7) (PAIN JEALOUSY-8) (PAIN DEPRESSION-16) (PAIN BOILS-5) (PAIN ANGER-14) (PAIN ANXIETY-15) (PAIN ABRASION-9) (PAIN GRIEF-10) (PAIN ANGINA-11) (PAIN HANGOVER-12) (PAIN PROSTATITIS-13) (PAIN PROSTATITIS-30) (PAIN JEALOUSY-31) (PAIN BOILS-32) (PAIN DEPRESSION-28) (PAIN DREAD-29) (PAIN HANGOVER-23) (PAIN SCIATICA-24) (PAIN LACERATION-25) (PAIN ANGINA-26) (PAIN ANGER-27) (PAIN ANXIETY-21) (PAIN LONELINESS-22) (PAIN DEPRESSION-64) (PAIN DREAD-17) (PAIN LONELINESS-18) (PAIN PROSTATITIS-19) (PAIN ANGER-20) (PAIN GRIEF-63) (PAIN ABRASION-59) (PAIN ANGINA-60) (PAIN HANGOVER-61) (PAIN SCIATICA-62) (PAIN LACERATION-58) (PAIN ANGINA-54) (PAIN BOILS-55) (PAIN JEALOUSY-56) (PAIN ANXIETY-57) (PAIN BOILS-50) (PAIN GRIEF-51) (PAIN HANGOVER-52) (PAIN LACERATION-53) (PAIN ANGER-48) (PAIN PROSTATITIS-49) (PAIN LONELINESS-43) (PAIN ABRASION-44) (PAIN DEPRESSION-45) (PAIN JEALOUSY-46) (PAIN ANXIETY-47) (PAIN DEPRESSION-38) (PAIN GRIEF-39) (PAIN ANGINA-40) (PAIN DREAD-41) (PAIN SCIATICA-42) (PAIN BOILS-33) (PAIN ANXIETY-34) (PAIN LACERATION-35) (PAIN ABRASION-36) (PAIN HANGOVER-37) (PAIN DREAD-125) (PAIN PROSTATITIS-126) (PAIN ANGER-127) (PAIN JEALOUSY-128) (PAIN SCIATICA-123) (PAIN LONELINESS-124) (PAIN PROSTATITIS-119) (PAIN ABRASION-120) (PAIN ANGINA-121) (PAIN ANGER-122) (PAIN DREAD-116) (PAIN ANXIETY-117) (PAIN BOILS-118) (PAIN HANGOVER-113) (PAIN LACERATION-114) (PAIN JEALOUSY-115) (PAIN SCIATICA-110) (PAIN LONELINESS-111) (PAIN DEPRESSION-112) (PROVINCE GOIAS) (PLANET VENUS) (PLANET SATURN) (PLANET JUPITER) (EATS LOBSTER YOGURT) (EATS MUFFIN HOTDOG) (CRAVES ANGER-27 PEPPER) (CRAVES ANXIETY-21 FLOUNDER) (CRAVES LONELINESS-22 FLOUNDER) (CRAVES DEPRESSION SCALLION) (LOCALE BACON GOIAS) (EATS PEPPER MUFFIN) (CRAVES DREAD-116 CHOCOLATE) (EATS COD SWEETROLL) (CRAVES HANGOVER-61 SNICKERS) (LOCALE SCALLION GOIAS) (LOCALE LAMB GOIAS) (EATS HAMBURGER SCALLION) (EATS BEEF PEPPER) (LOCALE RICE GOIAS) (LOCALE PAPAYA GOIAS) (LOCALE CHICKEN GOIAS) (CRAVES GRIEF-10 MUFFIN) (CRAVES ANXIETY-117 CHOCOLATE) (EATS ARUGULA CANTELOPE) (CRAVES AESTHETICS CHICKEN) (CRAVES DREAD-3 TOFU) (EATS LAMB SWEETROLL) (ORBITS VENUS SATURN) (CRAVES ENTERTAINMENT LEMON) (CRAVES ANGER CANTELOPE) (EATS HAM LEMON) (EATS TURKEY FLOUNDER) (CRAVES PROSTATITIS-19 COD) (EATS SHRIMP YOGURT) (LOCALE BAGUETTE GOIAS) (CRAVES BOILS-50 HAM) (EATS YOGURT ENDIVE) (CRAVES GRIEF-63 BAGUETTE) (CRAVES HANGOVER-113 LEMON) (LOCALE PEAR GOIAS) (CRAVES ABRASION-1 CANTELOPE) (EATS TOFU BEEF) (CRAVES ANGINA-11 MUFFIN) (CRAVES SCIATICA-42 PORK) (LOCALE LOBSTER GOIAS) (EATS LAMB HOTDOG) (EATS PORK BAGUETTE) (EATS SNICKERS LEMON) (EATS ARUGULA BACON) (CRAVES JEALOUSY-128 YOGURT) (EATS CHOCOLATE HAM) (EATS HAM CHICKEN) (CRAVES JEALOUSY BACON) (EATS HAM CHOCOLATE) (CRAVES PROSTATITIS-13 MUFFIN) (EATS CHICKEN YOGURT) (CRAVES SCIATICA-24 PEPPER) (EATS BAGUETTE RICE) (EATS SWEETROLL MUFFIN) (CRAVES SCIATICA-123 SHRIMP) (EATS LEMON SNICKERS) (CRAVES DREAD-125 YOGURT) (CRAVES SATISFACTION SCALLION) (EATS YOGURT CHICKEN) (CRAVES DREAD-17 COD) (CRAVES ANGINA-60 SNICKERS) (CRAVES PROSTATITIS-30 HOTDOG) (EATS FLOUNDER TOFU) (EATS CANTELOPE ARUGULA) (EATS ENDIVE SNICKERS) (EATS CANTELOPE HAMBURGER) (CRAVES GRIEF HAMBURGER) (CRAVES PROSTATITIS-49 PAPAYA) (LOCALE HAROSET GOIAS) (LOCALE COD GOIAS) (LOCALE FLOUNDER GOIAS) (CRAVES ANGER-127 YOGURT) (LOCALE TOFU GOIAS) (LOCALE SHRIMP GOIAS) (CRAVES HANGOVER-52 HAM) (EATS TOFU FLOUNDER) (LOCALE HAM GOIAS) (CRAVES ANXIETY ARUGULA) (CRAVES HANGOVER CANTELOPE) (EATS RICE HAROSET) (CRAVES BOILS PEAR) (CRAVES DEPRESSION-16 BEEF) (EATS LEMON HAM) (EATS CHICKEN HAM) (CRAVES LONELINESS-43 WONDERBREAD) (LOCALE CANTELOPE GOIAS) (EATS CHICKEN LEMON) (LOCALE HOTDOG GOIAS) (CRAVES ANGER-48 PAPAYA) (EATS BACON PEAR) (LOCALE ARUGULA GOIAS) (CRAVES ANGINA-40 PORK) (EATS COD HOTDOG) (CRAVES ANGINA-54 RICE) (EATS RICE BAGUETTE) (CRAVES ANXIETY-34 CHICKEN) (CRAVES LACERATION CANTELOPE) (CRAVES ABRASION-36 CHICKEN) (LOCALE SWEETROLL GOIAS) (CRAVES LACERATION-58 ENDIVE) (CRAVES HANGOVER-23 PEPPER) (LOCALE TURKEY GOIAS) (CRAVES LACERATION-53 HAM) (EATS WONDERBREAD LOBSTER) (CRAVES DEPRESSION-28 SWEETROLL) (EATS CHOCOLATE CHICKEN) (EATS FLOUNDER PEAR) (EATS PAPAYA SHRIMP) (EATS TURKEY HOTDOG) (LOCALE CHOCOLATE GOIAS) (LOCALE BEEF GOIAS) (EATS LOBSTER WONDERBREAD) (EATS YOGURT SHRIMP) (CRAVES BOILS-32 HOTDOG) (EATS PEPPER BEEF) (CRAVES LACERATION-25 PEPPER) (EATS CHICKEN CHOCOLATE) (CRAVES LACERATION-114 LEMON) (CRAVES ABRASION HAMBURGER) (CRAVES ABRASION-59 SNICKERS) (CRAVES JEALOUSY-8 LAMB) (CRAVES DEPRESSION-112 HAROSET) (CRAVES SCIATICA-62 SNICKERS) (HARMONY ENTERTAINMENT JUPITER) (CRAVES DEPRESSION-38 PORK) (EATS LAMB SNICKERS) (LOCALE MUFFIN GOIAS) (CRAVES LONELINESS-111 HAROSET) (EATS YOGURT LOBSTER) (CRAVES ABRASION-44 WONDERBREAD) (CRAVES BOILS-55 RICE) (EATS HAROSET RICE) (CRAVES JEALOUSY-31 HOTDOG) (EATS HOTDOG LAMB) (LOCALE SNICKERS GOIAS) (EATS HOTDOG TURKEY) (CRAVES ANGER-20 COD) (EATS MUFFIN PEPPER) (EATS MUFFIN SWEETROLL) (CRAVES BOILS-33 CHICKEN) (CRAVES DREAD-41 PORK) (LOCALE YOGURT GOIAS) (EATS SHRIMP LEMON) (CRAVES ANGER-14 TURKEY) (EATS SCALLION HAMBURGER) (LOCALE HAMBURGER GOIAS) (EATS HAROSET PAPAYA) (LOCALE PEPPER GOIAS) (CRAVES PROSTATITIS BACON) (EATS SWEETROLL LAMB) (CRAVES DREAD ARUGULA) (CRAVES SCIATICA-2 CANTELOPE) (EATS FLOUNDER TURKEY) (EATS PEAR BACON) (CRAVES GRIEF-39 PORK) (CRAVES ABRASION-120 LOBSTER) (CRAVES ANGER-122 LOBSTER) (ORBITS SATURN JUPITER) (CRAVES SCIATICA PEAR) (EATS SNICKERS LAMB) (CRAVES LONELINESS-4 TOFU) (CRAVES ANGINA-121 LOBSTER) (EATS ENDIVE YOGURT) (EATS HOTDOG MUFFIN) (EATS PORK WONDERBREAD) (EATS SCALLION PEAR) (EATS PEAR FLOUNDER) (CRAVES JEALOUSY-115 LEMON) (EATS PAPAYA HAROSET) (CRAVES HANGOVER-12 MUFFIN) (CRAVES BOILS-118 CHOCOLATE) (EATS HAMBURGER CANTELOPE) (CRAVES DREAD-29 SWEETROLL) (CRAVES PROSTATITIS-126 YOGURT) (CRAVES JEALOUSY-56 RICE) (CRAVES LACERATION-6 LAMB) (CRAVES DEPRESSION-45 WONDERBREAD) (CRAVES JEALOUSY-46 WONDERBREAD) (EATS SWEETROLL COD) (EATS WONDERBREAD PORK) (CRAVES ANXIETY-15 TURKEY) (EATS BAGUETTE PORK) (CRAVES ANXIETY-47 WONDERBREAD) (EATS SNICKERS ENDIVE) (CRAVES ANGINA-26 PEPPER) (CRAVES PROSTATITIS-119 LOBSTER) (LOCALE ENDIVE GOIAS) (CRAVES GRIEF-51 HAM) (EATS PEAR SCALLION) (CRAVES DEPRESSION-64 COD) (EATS LEMON SHRIMP) (LOCALE WONDERBREAD GOIAS) (CRAVES SCIATICA-110 HAROSET) (EATS HOTDOG COD) (CRAVES GRIEF-7 LAMB) (CRAVES BOILS-5 BEEF) (CRAVES LONELINESS HAMBURGER) (HARMONY AESTHETICS JUPITER) (HARMONY SATISFACTION JUPITER) (CRAVES HANGOVER-37 CHICKEN) (CRAVES LACERATION-35 CHICKEN) (LOCALE LEMON GOIAS) (CRAVES LONELINESS-18 COD) (CRAVES ABRASION-9 MUFFIN) (CRAVES LONELINESS-124 SHRIMP) (EATS BACON ARUGULA) (EATS SHRIMP PAPAYA) (EATS BEEF TOFU) (CRAVES ANGINA SCALLION) (CRAVES ANXIETY-57 RICE) (LOCALE PORK GOIAS) (EATS LEMON CHICKEN)) (:GOAL (AND (CRAVES HANGOVER-12 HOTDOG) (CRAVES GRIEF-10 CHICKEN))))