(define (problem strips-mprime-x-19) (:domain no-mystery-prime-strips) (:objects freiburg waldkirch kleinkems muellheim sexau bad-bellingen boetzingen bahlingen riedlingen haltingen denzlingen hugstetten schallstadt loerrach emmendingen betonmischer droschke auto elfenrad motorrad motorroller moped muellabfuhr ochsencremesuppe kiste-bier weihnachtsbaum saumagen tuete-pommes kuechenmaschine nichts donnerkiesel pinkel eisbein halbgefrorenes gruenkohl apfel snickers fuel-0 fuel-1 fuel-2 fuel-3 fuel-4 fuel-5 capacity-0 capacity-1 capacity-2 capacity-3) (:init (at apfel loerrach) (at auto muellheim) (at betonmischer freiburg) (at donnerkiesel riedlingen) (at droschke kleinkems) (at eisbein denzlingen) (at elfenrad bahlingen) (at gruenkohl schallstadt) (at halbgefrorenes hugstetten) (at kiste-bier waldkirch) (at kuechenmaschine boetzingen) (at moped schallstadt) (at motorrad riedlingen) (at motorroller haltingen) (at muellabfuhr loerrach) (at nichts bahlingen) (at ochsencremesuppe freiburg) (at pinkel haltingen) (at saumagen muellheim) (at snickers emmendingen) (at tuete-pommes sexau) (at weihnachtsbaum kleinkems) (capacity auto capacity-1) (capacity betonmischer capacity-3) (capacity droschke capacity-3) (capacity elfenrad capacity-2) (capacity moped capacity-2) (capacity motorrad capacity-3) (capacity motorroller capacity-1) (capacity muellabfuhr capacity-2) (capacity-number capacity-0) (capacity-number capacity-1) (capacity-number capacity-2) (capacity-number capacity-3) (capacity-predecessor capacity-0 capacity-1) (capacity-predecessor capacity-1 capacity-2) (capacity-predecessor capacity-2 capacity-3) (connected bad-bellingen denzlingen) (connected bad-bellingen riedlingen) (connected bahlingen denzlingen) (connected bahlingen freiburg) (connected bahlingen loerrach) (connected bahlingen schallstadt) (connected boetzingen loerrach) (connected boetzingen waldkirch) (connected denzlingen bad-bellingen) (connected denzlingen bahlingen) (connected denzlingen sexau) (connected denzlingen waldkirch) (connected emmendingen hugstetten) (connected emmendingen riedlingen) (connected freiburg bahlingen) (connected freiburg muellheim) (connected haltingen hugstetten) (connected haltingen kleinkems) (connected haltingen muellheim) (connected hugstetten emmendingen) (connected hugstetten haltingen) (connected kleinkems haltingen) (connected kleinkems sexau) (connected loerrach bahlingen) (connected loerrach boetzingen) (connected loerrach schallstadt) (connected muellheim freiburg) (connected muellheim haltingen) (connected riedlingen bad-bellingen) (connected riedlingen emmendingen) (connected riedlingen sexau) (connected schallstadt bahlingen) (connected schallstadt loerrach) (connected sexau denzlingen) (connected sexau kleinkems) (connected sexau riedlingen) (connected waldkirch boetzingen) (connected waldkirch denzlingen) (fuel bad-bellingen fuel-0) (fuel bahlingen fuel-0) (fuel boetzingen fuel-0) (fuel denzlingen fuel-3) (fuel emmendingen fuel-5) (fuel freiburg fuel-1) (fuel haltingen fuel-1) (fuel hugstetten fuel-3) (fuel kleinkems fuel-5) (fuel loerrach fuel-1) (fuel muellheim fuel-1) (fuel riedlingen fuel-1) (fuel schallstadt fuel-1) (fuel sexau fuel-3) (fuel waldkirch fuel-1) (fuel-number fuel-0) (fuel-number fuel-1) (fuel-number fuel-2) (fuel-number fuel-3) (fuel-number fuel-4) (fuel-number fuel-5) (fuel-predecessor fuel-0 fuel-1) (fuel-predecessor fuel-1 fuel-2) (fuel-predecessor fuel-2 fuel-3) (fuel-predecessor fuel-3 fuel-4) (fuel-predecessor fuel-4 fuel-5) (location bad-bellingen) (location bahlingen) (location boetzingen) (location denzlingen) (location emmendingen) (location freiburg) (location haltingen) (location hugstetten) (location kleinkems) (location loerrach) (location muellheim) (location riedlingen) (location schallstadt) (location sexau) (location waldkirch) (package apfel) (package donnerkiesel) (package eisbein) (package gruenkohl) (package halbgefrorenes) (package kiste-bier) (package kuechenmaschine) (package nichts) (package ochsencremesuppe) (package pinkel) (package saumagen) (package snickers) (package tuete-pommes) (package weihnachtsbaum) (vehicle auto) (vehicle betonmischer) (vehicle droschke) (vehicle elfenrad) (vehicle moped) (vehicle motorrad) (vehicle motorroller) (vehicle muellabfuhr)) (:goal (and (at tuete-pommes muellheim))))