(define (problem strips-mprime-y-4) (:domain no-mystery-prime-strips) (:objects riedlingen haltingen kandern guendlingen tumringen bad-bellingen endingen wollbach sulki daemonenrikscha motorrad droschke bollerwagen feine-bratwurst ochsencremesuppe eisbein fussball broiler zehn-nackte-friseusen terrorist halber-hirsch doener-mit-scharf kapselheber aschenbecher donnerkiesel fernseher wensleydale nichts flasche-jaegermeister feinkost-bratling pfingstochse tuete-pommes snickers kiste-bier kuechenmaschine fuel-0 fuel-1 fuel-2 capacity-0 capacity-1 capacity-2 capacity-3) (:init (at aschenbecher guendlingen) (at bollerwagen wollbach) (at broiler haltingen) (at daemonenrikscha kandern) (at doener-mit-scharf kandern) (at donnerkiesel tumringen) (at droschke tumringen) (at eisbein riedlingen) (at feine-bratwurst riedlingen) (at feinkost-bratling bad-bellingen) (at fernseher tumringen) (at flasche-jaegermeister bad-bellingen) (at fussball haltingen) (at halber-hirsch kandern) (at kapselheber kandern) (at kiste-bier endingen) (at kuechenmaschine wollbach) (at motorrad guendlingen) (at nichts tumringen) (at ochsencremesuppe riedlingen) (at pfingstochse bad-bellingen) (at snickers endingen) (at sulki riedlingen) (at terrorist kandern) (at tuete-pommes bad-bellingen) (at wensleydale tumringen) (at zehn-nackte-friseusen haltingen) (capacity bollerwagen capacity-3) (capacity daemonenrikscha capacity-1) (capacity droschke capacity-3) (capacity motorrad capacity-2) (capacity sulki capacity-3) (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 endingen) (connected bad-bellingen kandern) (connected bad-bellingen riedlingen) (connected endingen bad-bellingen) (connected endingen riedlingen) (connected guendlingen haltingen) (connected guendlingen riedlingen) (connected haltingen guendlingen) (connected haltingen kandern) (connected haltingen wollbach) (connected kandern bad-bellingen) (connected kandern haltingen) (connected kandern riedlingen) (connected kandern tumringen) (connected riedlingen bad-bellingen) (connected riedlingen endingen) (connected riedlingen guendlingen) (connected riedlingen kandern) (connected riedlingen wollbach) (connected tumringen kandern) (connected tumringen wollbach) (connected wollbach haltingen) (connected wollbach riedlingen) (connected wollbach tumringen) (fuel bad-bellingen fuel-0) (fuel endingen fuel-1) (fuel guendlingen fuel-1) (fuel haltingen fuel-2) (fuel kandern fuel-0) (fuel riedlingen fuel-2) (fuel tumringen fuel-0) (fuel wollbach fuel-1) (fuel-number fuel-0) (fuel-number fuel-1) (fuel-number fuel-2) (fuel-predecessor fuel-0 fuel-1) (fuel-predecessor fuel-1 fuel-2) (location bad-bellingen) (location endingen) (location guendlingen) (location haltingen) (location kandern) (location riedlingen) (location tumringen) (location wollbach) (package aschenbecher) (package broiler) (package doener-mit-scharf) (package donnerkiesel) (package eisbein) (package feine-bratwurst) (package feinkost-bratling) (package fernseher) (package flasche-jaegermeister) (package fussball) (package halber-hirsch) (package kapselheber) (package kiste-bier) (package kuechenmaschine) (package nichts) (package ochsencremesuppe) (package pfingstochse) (package snickers) (package terrorist) (package tuete-pommes) (package wensleydale) (package zehn-nackte-friseusen) (vehicle bollerwagen) (vehicle daemonenrikscha) (vehicle droschke) (vehicle motorrad) (vehicle sulki)) (:goal (and (at aschenbecher endingen))))