(DEFINE (PROBLEM STRIPS-MYSTY-17) (:DOMAIN MYSTERY-STRIPS) (:OBJECTS ARUGULA ORANGE FLOUNDER TUNA TOFU BACON SCALLOP LETTUCE RICE CHOCOLATE HOTDOG PEPPER WURST CHICKEN SWEETROLL PAPAYA LOBSTER TURKEY SHRIMP HAM APPLE MARZIPAN ONION PISTACHIO LEMON SCALLION SNICKERS CUCUMBER UNDERSTANDING CURIOSITY ACHIEVEMENT LUBRICITY EMPATHY EXPECTATION GRIEF PROSTATITIS HANGOVER ANGER JEALOUSY LACERATION ANGINA DEPRESSION DREAD ABRASION LONELINESS BOILS ANXIETY SCIATICA PROSTATITIS-4 ANXIETY-1 HANGOVER-2 ANGER-8 DREAD-3 DEPRESSION-7 JEALOUSY-6 LONELINESS-15 LACERATION-16 ANGINA-5 BOILS-14 ABRASION-12 GRIEF-13 SCIATICA-11 BOILS-32 HANGOVER-9 ANGER-10 ANGINA-31 GRIEF-29 SCIATICA-30 LACERATION-26 PROSTATITIS-27 DREAD-28 JEALOUSY-24 DEPRESSION-25 LONELINESS-22 ABRASION-23 GRIEF-20 ANXIETY-21 ANGER-17 LONELINESS-18 LACERATION-19 JEALOUSY-64 BOILS-61 SCIATICA-62 PROSTATITIS-63 DREAD-60 ABRASION-58 HANGOVER-59 BOSNIA ALSACE GUANABARA MORAVIA OREGON QUEBEC SURREY KENTUCKY PLUTO MARS SATURN MERCURY) (:INIT (FOOD ARUGULA) (FOOD ORANGE) (FOOD FLOUNDER) (FOOD TUNA) (FOOD TOFU) (FOOD BACON) (FOOD SCALLOP) (FOOD LETTUCE) (FOOD RICE) (FOOD CHOCOLATE) (FOOD HOTDOG) (FOOD PEPPER) (FOOD WURST) (FOOD CHICKEN) (FOOD SWEETROLL) (FOOD PAPAYA) (FOOD LOBSTER) (FOOD TURKEY) (FOOD SHRIMP) (FOOD HAM) (FOOD APPLE) (FOOD MARZIPAN) (FOOD ONION) (FOOD PISTACHIO) (FOOD LEMON) (FOOD SCALLION) (FOOD SNICKERS) (FOOD CUCUMBER) (PLEASURE UNDERSTANDING) (PLEASURE CURIOSITY) (PLEASURE ACHIEVEMENT) (PLEASURE LUBRICITY) (PLEASURE EMPATHY) (PLEASURE EXPECTATION) (PAIN GRIEF) (PAIN PROSTATITIS) (PAIN HANGOVER) (PAIN ANGER) (PAIN JEALOUSY) (PAIN LACERATION) (PAIN ANGINA) (PAIN DEPRESSION) (PAIN DREAD) (PAIN ABRASION) (PAIN LONELINESS) (PAIN BOILS) (PAIN ANXIETY) (PAIN SCIATICA) (PAIN PROSTATITIS-4) (PAIN ANXIETY-1) (PAIN HANGOVER-2) (PAIN ANGER-8) (PAIN DREAD-3) (PAIN DEPRESSION-7) (PAIN JEALOUSY-6) (PAIN LONELINESS-15) (PAIN LACERATION-16) (PAIN ANGINA-5) (PAIN BOILS-14) (PAIN ABRASION-12) (PAIN GRIEF-13) (PAIN SCIATICA-11) (PAIN BOILS-32) (PAIN HANGOVER-9) (PAIN ANGER-10) (PAIN ANGINA-31) (PAIN GRIEF-29) (PAIN SCIATICA-30) (PAIN LACERATION-26) (PAIN PROSTATITIS-27) (PAIN DREAD-28) (PAIN JEALOUSY-24) (PAIN DEPRESSION-25) (PAIN LONELINESS-22) (PAIN ABRASION-23) (PAIN GRIEF-20) (PAIN ANXIETY-21) (PAIN ANGER-17) (PAIN LONELINESS-18) (PAIN LACERATION-19) (PAIN JEALOUSY-64) (PAIN BOILS-61) (PAIN SCIATICA-62) (PAIN PROSTATITIS-63) (PAIN DREAD-60) (PAIN ABRASION-58) (PAIN HANGOVER-59) (PROVINCE BOSNIA) (PROVINCE ALSACE) (PROVINCE GUANABARA) (PROVINCE MORAVIA) (PROVINCE OREGON) (PROVINCE QUEBEC) (PROVINCE SURREY) (PROVINCE KENTUCKY) (PLANET PLUTO) (PLANET MARS) (PLANET SATURN) (PLANET MERCURY) (CRAVES ANGER-10 LOBSTER) (EATS PISTACHIO ONION) (CRAVES PROSTATITIS ARUGULA) (EATS SCALLION APPLE) (LOCALE HAM ALSACE) (CRAVES GRIEF-20 ONION) (ORBITS MARS SATURN) (EATS HAM LOBSTER) (LOCALE SWEETROLL QUEBEC) (EATS APPLE SCALLION) (LOCALE LOBSTER MORAVIA) (EATS MARZIPAN LETTUCE) (EATS TUNA TOFU) (EATS SHRIMP HOTDOG) (EATS ARUGULA BACON) (CRAVES DREAD-3 CHOCOLATE) (EATS CHOCOLATE ONION) (EATS SNICKERS RICE) (EATS SWEETROLL SHRIMP) (EATS SHRIMP CUCUMBER) (LOCALE LETTUCE ALSACE) (EATS FLOUNDER ORANGE) (ATTACKS ALSACE GUANABARA) (CRAVES CURIOSITY RICE) (EATS WURST LEMON) (CRAVES ANGER-8 CHOCOLATE) (EATS PAPAYA CUCUMBER) (ATTACKS MORAVIA OREGON) (LOCALE SHRIMP KENTUCKY) (LOCALE CUCUMBER GUANABARA) (LOCALE ONION MORAVIA) (CRAVES DEPRESSION-7 HOTDOG) (CRAVES GRIEF ARUGULA) (LOCALE ORANGE KENTUCKY) (HARMONY LUBRICITY MERCURY) (CRAVES BOILS-14 CHICKEN) (ATTACKS BOSNIA ALSACE) (CRAVES PROSTATITIS-63 SCALLION) (CRAVES LONELINESS-15 WURST) (LOCALE BACON ALSACE) (CRAVES BOILS-61 SCALLION) (EATS PEPPER PISTACHIO) (CRAVES BOILS-32 LOBSTER) (EATS TURKEY SHRIMP) (CRAVES ACHIEVEMENT CHOCOLATE) (CRAVES GRIEF-13 SWEETROLL) (CRAVES PROSTATITIS-27 HAM) (CRAVES EMPATHY HAM) (EATS HAM RICE) (ORBITS PLUTO MARS) (HARMONY ACHIEVEMENT MARS) (CRAVES ABRASION-23 MARZIPAN) (EATS HOTDOG FLOUNDER) (EATS PEPPER LOBSTER) (CRAVES JEALOUSY-64 LEMON) (CRAVES PROSTATITIS-4 RICE) (EATS LEMON SCALLOP) (EATS TOFU TUNA) (CRAVES LACERATION-16 WURST) (EATS ONION BACON) (CRAVES SCIATICA LETTUCE) (CRAVES DREAD-28 HAM) (EATS SCALLION SNICKERS) (EATS APPLE LETTUCE) (CRAVES ABRASION TOFU) (LOCALE TUNA BOSNIA) (HARMONY EMPATHY MARS) (CRAVES LACERATION-26 HAM) (EATS MARZIPAN LOBSTER) (CRAVES DEPRESSION TOFU) (CRAVES ANGINA TUNA) (CRAVES LONELINESS-22 MARZIPAN) (EATS WURST CHICKEN) (EATS SWEETROLL ONION) (CRAVES HANGOVER-2 RICE) (EATS BACON ONION) (HARMONY CURIOSITY MARS) (EATS MARZIPAN TUNA) (EATS ORANGE FLOUNDER) (LOCALE SNICKERS GUANABARA) (EATS ONION CHOCOLATE) (LOCALE TURKEY SURREY) (EATS TOFU SCALLION) (CRAVES JEALOUSY-24 APPLE) (EATS RICE SNICKERS) (CRAVES ANGER FLOUNDER) (CRAVES ABRASION-58 CUCUMBER) (CRAVES ANGER-17 PISTACHIO) (LOCALE CHICKEN BOSNIA) (CRAVES LONELINESS BACON) (EATS APPLE TURKEY) (CRAVES LONELINESS-18 PISTACHIO) (EATS BACON LETTUCE) (LOCALE APPLE GUANABARA) (LOCALE RICE MORAVIA) (EATS PISTACHIO SWEETROLL) (CRAVES ANXIETY-21 ONION) (EATS LOBSTER PEPPER) (EATS CUCUMBER PAPAYA) (CRAVES ABRASION-12 SWEETROLL) (CRAVES SCIATICA-30 SHRIMP) (EATS LETTUCE ARUGULA) (EATS SHRIMP TURKEY) (CRAVES ANXIETY-1 RICE) (EATS SWEETROLL CUCUMBER) (EATS APPLE ONION) (CRAVES BOILS SCALLOP) (CRAVES ANXIETY LETTUCE) (LOCALE HOTDOG MORAVIA) (CRAVES GRIEF-29 SHRIMP) (EATS PAPAYA CHICKEN) (EATS TUNA MARZIPAN) (CRAVES LACERATION TUNA) (ATTACKS OREGON QUEBEC) (EATS CHICKEN PAPAYA) (LOCALE CHOCOLATE MORAVIA) (EATS LETTUCE BACON) (EATS SWEETROLL PISTACHIO) (LOCALE PISTACHIO SURREY) (LOCALE SCALLOP GUANABARA) (LOCALE FLOUNDER MORAVIA) (ATTACKS QUEBEC SURREY) (ORBITS SATURN MERCURY) (EATS CHICKEN WURST) (LOCALE SCALLION QUEBEC) (CRAVES JEALOUSY-6 PEPPER) (LOCALE PAPAYA GUANABARA) (EATS SCALLION TOFU) (ATTACKS GUANABARA MORAVIA) (EATS SCALLOP LEMON) (EATS BACON ARUGULA) (EATS TURKEY APPLE) (EATS ARUGULA LETTUCE) (EATS HOTDOG SWEETROLL) (CRAVES HANGOVER ORANGE) (LOCALE WURST OREGON) (EATS RICE HAM) (EATS BACON LOBSTER) (EATS SNICKERS SCALLION) (EATS HOTDOG SHRIMP) (EATS FLOUNDER HOTDOG) (EATS LOBSTER MARZIPAN) (EATS PISTACHIO PEPPER) (LOCALE PEPPER ALSACE) (EATS SHRIMP SWEETROLL) (CRAVES UNDERSTANDING SCALLOP) (EATS ONION ARUGULA) (CRAVES ANGINA-31 TURKEY) (EATS ONION APPLE) (EATS LETTUCE APPLE) (EATS LEMON WURST) (EATS SCALLOP TURKEY) (EATS CUCUMBER SHRIMP) (EATS SWEETROLL HOTDOG) (EATS LOBSTER BACON) (CRAVES DREAD TOFU) (CRAVES JEALOUSY FLOUNDER) (CRAVES LUBRICITY WURST) (LOCALE MARZIPAN ALSACE) (EATS ONION PISTACHIO) (CRAVES DEPRESSION-25 APPLE) (CRAVES HANGOVER-59 CUCUMBER) (EATS LOBSTER HAM) (CRAVES HANGOVER-9 LOBSTER) (CRAVES SCIATICA-62 SCALLION) (EATS ARUGULA ONION) (CRAVES EXPECTATION CUCUMBER) (EATS TURKEY SCALLOP) (EATS ORANGE CHOCOLATE) (LOCALE ARUGULA BOSNIA) (HARMONY EXPECTATION MERCURY) (CRAVES LACERATION-19 PISTACHIO) (CRAVES DREAD-60 SNICKERS) (EATS ONION SWEETROLL) (ATTACKS SURREY KENTUCKY) (LOCALE LEMON SURREY) (CRAVES ANGINA-5 WURST) (HARMONY UNDERSTANDING MERCURY) (EATS CHOCOLATE ORANGE) (EATS CUCUMBER SWEETROLL) (EATS LETTUCE MARZIPAN) (LOCALE TOFU SURREY) (CRAVES SCIATICA-11 PAPAYA)) (:GOAL (AND (CRAVES PROSTATITIS-4 TUNA) (CRAVES BOILS-32 TUNA) (CRAVES ANGER-10 TUNA))))