(DEFINE (PROBLEM STRIPS-MYSTY-24) (:DOMAIN MYSTERY-STRIPS) (:OBJECTS LEMON PEPPER HAMBURGER HAM CHOCOLATE POPOVER ONION OKRA LETTUCE SCALLION SWEETROLL ORANGE MUFFIN PAPAYA TUNA PEAR POTATO HOTDOG MELON HAROSET SCALLOP SNICKERS BACON GRAPEFRUIT PISTACHIO PEA ENDIVE TOMATO LAMB CHICKEN RICE CANTELOPE CUCUMBER KALE BAGUETTE TOFU LOBSTER BROCCOLI MARZIPAN TURKEY PORK COD UNDERSTANDING ACHIEVEMENT ENTERTAINMENT EMPATHY LEARNING STIMULATION CURIOSITY SATISFACTION SATIETY LOVE AESTHETICS LUBRICITY REST INTOXICATION EXPECTATION SCIATICA LONELINESS DEPRESSION ANGER LACERATION PROSTATITIS BOILS GRIEF DREAD HANGOVER ANGINA ANXIETY JEALOUSY ABRASION DREAD-2 ANGINA-1 GRIEF-4 LONELINESS-8 HANGOVER-3 BOILS-7 ANGER-6 ANXIETY-16 LACERATION-5 JEALOUSY-15 PROSTATITIS-14 SCIATICA-13 DEPRESSION-11 ABRASION-12 DEPRESSION-9 ANGINA-10 JEALOUSY-31 LONELINESS-32 GRIEF-29 PROSTATITIS-30 SCIATICA-28 ANXIETY-26 BOILS-27 DREAD-25 ABRASION-24 LACERATION-22 HANGOVER-23 ANGER-21 BOILS-20 LACERATION-19 JEALOUSY-18 ANGER-64 HANGOVER-17 ANGINA-62 ABRASION-63 ANXIETY-61 PROSTATITIS-59 DREAD-60 DEPRESSION-58 SCIATICA-57 LONELINESS-55 GRIEF-56 DREAD-53 JEALOUSY-54 MORAVIA QUEBEC BAVARIA OREGON ARIZONA SURREY MARS NEPTUNE MERCURY JUPITER) (:INIT (FOOD LEMON) (FOOD PEPPER) (FOOD HAMBURGER) (FOOD HAM) (FOOD CHOCOLATE) (FOOD POPOVER) (FOOD ONION) (FOOD OKRA) (FOOD LETTUCE) (FOOD SCALLION) (FOOD SWEETROLL) (FOOD ORANGE) (FOOD MUFFIN) (FOOD PAPAYA) (FOOD TUNA) (FOOD PEAR) (FOOD POTATO) (FOOD HOTDOG) (FOOD MELON) (FOOD HAROSET) (FOOD SCALLOP) (FOOD SNICKERS) (FOOD BACON) (FOOD GRAPEFRUIT) (FOOD PISTACHIO) (FOOD PEA) (FOOD ENDIVE) (FOOD TOMATO) (FOOD LAMB) (FOOD CHICKEN) (FOOD RICE) (FOOD CANTELOPE) (FOOD CUCUMBER) (FOOD KALE) (FOOD BAGUETTE) (FOOD TOFU) (FOOD LOBSTER) (FOOD BROCCOLI) (FOOD MARZIPAN) (FOOD TURKEY) (FOOD PORK) (FOOD COD) (PLEASURE UNDERSTANDING) (PLEASURE ACHIEVEMENT) (PLEASURE ENTERTAINMENT) (PLEASURE EMPATHY) (PLEASURE LEARNING) (PLEASURE STIMULATION) (PLEASURE CURIOSITY) (PLEASURE SATISFACTION) (PLEASURE SATIETY) (PLEASURE LOVE) (PLEASURE AESTHETICS) (PLEASURE LUBRICITY) (PLEASURE REST) (PLEASURE INTOXICATION) (PLEASURE EXPECTATION) (PAIN SCIATICA) (PAIN LONELINESS) (PAIN DEPRESSION) (PAIN ANGER) (PAIN LACERATION) (PAIN PROSTATITIS) (PAIN BOILS) (PAIN GRIEF) (PAIN DREAD) (PAIN HANGOVER) (PAIN ANGINA) (PAIN ANXIETY) (PAIN JEALOUSY) (PAIN ABRASION) (PAIN DREAD-2) (PAIN ANGINA-1) (PAIN GRIEF-4) (PAIN LONELINESS-8) (PAIN HANGOVER-3) (PAIN BOILS-7) (PAIN ANGER-6) (PAIN ANXIETY-16) (PAIN LACERATION-5) (PAIN JEALOUSY-15) (PAIN PROSTATITIS-14) (PAIN SCIATICA-13) (PAIN DEPRESSION-11) (PAIN ABRASION-12) (PAIN DEPRESSION-9) (PAIN ANGINA-10) (PAIN JEALOUSY-31) (PAIN LONELINESS-32) (PAIN GRIEF-29) (PAIN PROSTATITIS-30) (PAIN SCIATICA-28) (PAIN ANXIETY-26) (PAIN BOILS-27) (PAIN DREAD-25) (PAIN ABRASION-24) (PAIN LACERATION-22) (PAIN HANGOVER-23) (PAIN ANGER-21) (PAIN BOILS-20) (PAIN LACERATION-19) (PAIN JEALOUSY-18) (PAIN ANGER-64) (PAIN HANGOVER-17) (PAIN ANGINA-62) (PAIN ABRASION-63) (PAIN ANXIETY-61) (PAIN PROSTATITIS-59) (PAIN DREAD-60) (PAIN DEPRESSION-58) (PAIN SCIATICA-57) (PAIN LONELINESS-55) (PAIN GRIEF-56) (PAIN DREAD-53) (PAIN JEALOUSY-54) (PROVINCE MORAVIA) (PROVINCE QUEBEC) (PROVINCE BAVARIA) (PROVINCE OREGON) (PROVINCE ARIZONA) (PROVINCE SURREY) (PLANET MARS) (PLANET NEPTUNE) (PLANET MERCURY) (PLANET JUPITER) (EATS TOMATO KALE) (EATS BROCCOLI ENDIVE) (CRAVES ANGINA ONION) (EATS MELON TURKEY) (EATS CHICKEN LOBSTER) (EATS HOTDOG SCALLOP) (CRAVES ANXIETY-16 POTATO) (CRAVES SATISFACTION ENDIVE) (EATS RICE LAMB) (EATS PAPAYA GRAPEFRUIT) (LOCALE KALE BAVARIA) (EATS SCALLOP SCALLION) (HARMONY SATISFACTION NEPTUNE) (LOCALE ONION MORAVIA) (CRAVES LONELINESS-32 BACON) (LOCALE BROCCOLI OREGON) (EATS RICE BAGUETTE) (LOCALE RICE SURREY) (CRAVES DEPRESSION-11 SCALLOP) (EATS HAROSET POPOVER) (EATS HAMBURGER TUNA) (LOCALE HAM QUEBEC) (EATS HAROSET TUNA) (EATS TOFU BROCCOLI) (HARMONY CURIOSITY NEPTUNE) (LOCALE PEPPER MORAVIA) (CRAVES GRIEF-56 PORK) (EATS LAMB LOBSTER) (LOCALE BACON SURREY) (EATS TURKEY PORK) (LOCALE HOTDOG QUEBEC) (CRAVES SCIATICA-57 TURKEY) (EATS PISTACHIO TURKEY) (EATS MELON HAM) (EATS SCALLOP HOTDOG) (CRAVES ANGER-21 CHICKEN) (CRAVES HANGOVER ONION) (EATS ORANGE HAROSET) (CRAVES DREAD-53 COD) (EATS PEPPER HAROSET) (CRAVES SCIATICA-13 HAROSET) (EATS HAM ORANGE) (CRAVES ENTERTAINMENT TUNA) (CRAVES GRIEF-4 ORANGE) (EATS GRAPEFRUIT ONION) (EATS PORK TOFU) (EATS SCALLION ORANGE) (ORBITS MARS NEPTUNE) (EATS TOMATO BAGUETTE) (EATS LETTUCE TUNA) (CRAVES BOILS-27 PEA) (EATS SCALLION SCALLOP) (CRAVES SATIETY CHICKEN) (LOCALE GRAPEFRUIT BAVARIA) (EATS OKRA PAPAYA) (EATS MUFFIN PEAR) (LOCALE PEAR BAVARIA) (EATS ORANGE SCALLION) (EATS TOFU PORK) (EATS SNICKERS POTATO) (EATS PEAR MUFFIN) (CRAVES ANGER-6 TUNA) (EATS POPOVER HOTDOG) (ATTACKS BAVARIA OREGON) (LOCALE SCALLOP BAVARIA) (CRAVES ANGINA-62 TOFU) (LOCALE ENDIVE QUEBEC) (EATS SCALLOP PEPPER) (LOCALE PORK ARIZONA) (LOCALE SCALLION MORAVIA) (LOCALE MELON MORAVIA) (CRAVES PROSTATITIS-14 MELON) (LOCALE LEMON SURREY) (LOCALE SNICKERS MORAVIA) (HARMONY REST NEPTUNE) (EATS ONION TUNA) (EATS GRAPEFRUIT MELON) (CRAVES ANGER-64 BAGUETTE) (EATS PEA BAGUETTE) (EATS RICE LOBSTER) (HARMONY ACHIEVEMENT MERCURY) (EATS PEA RICE) (EATS CHICKEN CANTELOPE) (EATS MARZIPAN KALE) (EATS LEMON PEAR) (LOCALE BAGUETTE MORAVIA) (LOCALE POPOVER SURREY) (EATS TURKEY MELON) (ATTACKS ARIZONA SURREY) (EATS ENDIVE BROCCOLI) (EATS SWEETROLL BACON) (ORBITS NEPTUNE MERCURY) (ATTACKS QUEBEC BAVARIA) (EATS BAGUETTE TOMATO) (EATS POTATO HAROSET) (CRAVES HANGOVER-23 LAMB) (CRAVES DREAD-25 ENDIVE) (CRAVES ANGINA-10 SNICKERS) (EATS ENDIVE CUCUMBER) (CRAVES ABRASION-63 TOFU) (CRAVES LACERATION HAM) (LOCALE TOMATO MORAVIA) (EATS PEAR HAMBURGER) (LOCALE OKRA ARIZONA) (CRAVES AESTHETICS CUCUMBER) (HARMONY ENTERTAINMENT JUPITER) (EATS CANTELOPE RICE) (LOCALE CHOCOLATE QUEBEC) (CRAVES CURIOSITY PEA) (EATS HAM MELON) (LOCALE LAMB SURREY) (LOCALE HAROSET SURREY) (EATS CUCUMBER PISTACHIO) (EATS PISTACHIO CUCUMBER) (EATS HAROSET PEPPER) (EATS PEA COD) (EATS LAMB TOFU) (CRAVES ABRASION-24 TOMATO) (CRAVES PROSTATITIS-30 GRAPEFRUIT) (EATS LEMON CHOCOLATE) (EATS CHOCOLATE LEMON) (CRAVES ANGINA-1 SWEETROLL) (CRAVES JEALOUSY-18 KALE) (EATS POPOVER HAROSET) (CRAVES EXPECTATION COD) (CRAVES GRIEF-29 GRAPEFRUIT) (CRAVES ABRASION-12 SCALLOP) (HARMONY AESTHETICS JUPITER) (EATS CHOCOLATE GRAPEFRUIT) (LOCALE TOFU BAVARIA) (EATS BACON SWEETROLL) (CRAVES ANGER HAMBURGER) (CRAVES DREAD-2 SCALLION) (LOCALE TUNA MORAVIA) (EATS BAGUETTE CANTELOPE) (LOCALE POTATO QUEBEC) (CRAVES PROSTATITIS-59 BROCCOLI) (LOCALE PEA SURREY) (EATS TURKEY TOFU) (CRAVES SCIATICA LEMON) (ATTACKS MORAVIA QUEBEC) (CRAVES ABRASION LETTUCE) (EATS HAMBURGER PEAR) (LOCALE CHICKEN BAVARIA) (EATS POTATO SNICKERS) (EATS TURKEY PISTACHIO) (HARMONY STIMULATION JUPITER) (LOCALE HAMBURGER ARIZONA) (HARMONY SATIETY NEPTUNE) (EATS TUNA ONION) (EATS TOFU TURKEY) (EATS CANTELOPE CHICKEN) (CRAVES LONELINESS LEMON) (CRAVES ANXIETY-26 PEA) (EATS LOBSTER LAMB) (EATS LOBSTER RICE) (CRAVES DREAD POPOVER) (CRAVES ANXIETY OKRA) (LOCALE LOBSTER QUEBEC) (EATS PAPAYA OKRA) (CRAVES DEPRESSION-9 SNICKERS) (EATS MUFFIN SWEETROLL) (LOCALE COD MORAVIA) (EATS BROCCOLI LOBSTER) (CRAVES PROSTATITIS HAM) (EATS LOBSTER CHICKEN) (EATS LETTUCE POTATO) (EATS GRAPEFRUIT SCALLION) (CRAVES BOILS CHOCOLATE) (ATTACKS OREGON ARIZONA) (HARMONY LUBRICITY NEPTUNE) (EATS HOTDOG POPOVER) (CRAVES ANXIETY-61 LOBSTER) (CRAVES ACHIEVEMENT SWEETROLL) (EATS POTATO BACON) (HARMONY UNDERSTANDING JUPITER) (EATS LOBSTER BROCCOLI) (CRAVES LEARNING SCALLOP) (CRAVES SCIATICA-28 PISTACHIO) (CRAVES JEALOUSY-54 COD) (CRAVES DEPRESSION PEPPER) (CRAVES BOILS-20 RICE) (CRAVES JEALOUSY-15 HOTDOG) (EATS HAROSET POTATO) (EATS KALE MARZIPAN) (EATS TUNA HAMBURGER) (CRAVES LUBRICITY KALE) (LOCALE ORANGE QUEBEC) (EATS TUNA LETTUCE) (EATS CANTELOPE BAGUETTE) (EATS PEPPER SCALLOP) (EATS BACON POTATO) (EATS GRAPEFRUIT PAPAYA) (EATS BAGUETTE RICE) (LOCALE MUFFIN MORAVIA) (CRAVES JEALOUSY-31 BACON) (EATS BAGUETTE PEA) (EATS RICE CANTELOPE) (EATS KALE TOMATO) (EATS HAROSET ORANGE) (EATS PEAR LEMON) (LOCALE MARZIPAN MORAVIA) (LOCALE TURKEY MORAVIA) (LOCALE PISTACHIO MORAVIA) (LOCALE CANTELOPE MORAVIA) (CRAVES INTOXICATION LOBSTER) (CRAVES HANGOVER-3 MUFFIN) (EATS COD MARZIPAN) (EATS ORANGE HAM) (CRAVES EMPATHY HAROSET) (EATS POTATO LETTUCE) (EATS OKRA BACON) (CRAVES DREAD-60 BROCCOLI) (CRAVES LOVE CANTELOPE) (EATS SWEETROLL MUFFIN) (EATS GRAPEFRUIT HAMBURGER) (EATS SNICKERS PEPPER) (EATS TUNA HAROSET) (EATS RICE PEA) (ORBITS MERCURY JUPITER) (CRAVES REST TOFU) (EATS PORK TURKEY) (CRAVES UNDERSTANDING OKRA) (HARMONY EXPECTATION JUPITER) (CRAVES JEALOUSY LETTUCE) (CRAVES STIMULATION BACON) (EATS BACON OKRA) (CRAVES LACERATION-19 CANTELOPE) (HARMONY LOVE NEPTUNE) (EATS COD PEA) (EATS LAMB RICE) (CRAVES BOILS-7 PAPAYA) (CRAVES LONELINESS-55 PORK) (CRAVES DEPRESSION-58 MARZIPAN) (EATS CUCUMBER ENDIVE) (EATS PEPPER SNICKERS) (EATS HAMBURGER GRAPEFRUIT) (EATS MARZIPAN COD) (HARMONY LEARNING NEPTUNE) (LOCALE LETTUCE MORAVIA) (EATS ONION GRAPEFRUIT) (CRAVES LACERATION-5 POTATO) (EATS GRAPEFRUIT CHOCOLATE) (LOCALE SWEETROLL MORAVIA) (HARMONY EMPATHY MERCURY) (EATS TOFU LAMB) (CRAVES GRIEF CHOCOLATE) (LOCALE CUCUMBER QUEBEC) (HARMONY INTOXICATION NEPTUNE) (CRAVES LONELINESS-8 MUFFIN) (CRAVES HANGOVER-17 BAGUETTE) (LOCALE PAPAYA QUEBEC) (EATS MELON GRAPEFRUIT) (CRAVES LACERATION-22 LAMB) (EATS SCALLION GRAPEFRUIT) (EATS BROCCOLI TOFU)) (:GOAL (AND (CRAVES ANXIETY-16 CANTELOPE) (CRAVES LACERATION-5 HAM) (CRAVES ANGINA-62 SCALLION) (CRAVES ABRASION-63 HAROSET))))