(define (problem strips-mprime-y-2) (:domain no-mystery-prime-strips) (:objects bahlingen koendringen muellheim schopfheim gottenheim kandern denzlingen bad-bellingen auggen loerrach elfenrad trollwagen apfel aschenbecher grobe-bratwurst halbgefrorenes neujahrsbrezel feine-bratwurst kaesebaellchen twix kaesefondue donnerkiesel fleisch tuete-pommes fussball fuel-0 fuel-1 fuel-2 capacity-0 capacity-1 capacity-2 capacity-3) (:init (at apfel bahlingen) (at aschenbecher koendringen) (at donnerkiesel denzlingen) (at elfenrad kandern) (at feine-bratwurst gottenheim) (at fleisch bad-bellingen) (at fussball auggen) (at grobe-bratwurst muellheim) (at halbgefrorenes schopfheim) (at kaesebaellchen kandern) (at kaesefondue denzlingen) (at neujahrsbrezel gottenheim) (at trollwagen auggen) (at tuete-pommes bad-bellingen) (at twix kandern) (capacity elfenrad capacity-3) (capacity trollwagen 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 auggen bad-bellingen) (connected auggen bahlingen) (connected auggen gottenheim) (connected bad-bellingen auggen) (connected bad-bellingen denzlingen) (connected bahlingen auggen) (connected bahlingen koendringen) (connected bahlingen muellheim) (connected bahlingen schopfheim) (connected denzlingen bad-bellingen) (connected denzlingen loerrach) (connected gottenheim auggen) (connected gottenheim kandern) (connected kandern gottenheim) (connected kandern loerrach) (connected koendringen bahlingen) (connected koendringen muellheim) (connected loerrach denzlingen) (connected loerrach kandern) (connected muellheim bahlingen) (connected muellheim koendringen) (connected muellheim schopfheim) (connected schopfheim bahlingen) (connected schopfheim muellheim) (fuel auggen fuel-1) (fuel bad-bellingen fuel-1) (fuel bahlingen fuel-0) (fuel denzlingen fuel-2) (fuel gottenheim fuel-1) (fuel kandern fuel-2) (fuel koendringen fuel-1) (fuel loerrach fuel-1) (fuel muellheim fuel-2) (fuel schopfheim 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 auggen) (location bad-bellingen) (location bahlingen) (location denzlingen) (location gottenheim) (location kandern) (location koendringen) (location loerrach) (location muellheim) (location schopfheim) (package apfel) (package aschenbecher) (package donnerkiesel) (package feine-bratwurst) (package fleisch) (package fussball) (package grobe-bratwurst) (package halbgefrorenes) (package kaesebaellchen) (package kaesefondue) (package neujahrsbrezel) (package tuete-pommes) (package twix) (vehicle elfenrad) (vehicle trollwagen)) (:goal (and (at kaesefondue gottenheim))))