(define (problem strips-mprime-x-4) (:domain no-mystery-prime-strips) (:objects freiburg waldhaus auggen loerrach muellheim brombach wittlingen kandern kleinkems gottenheim elfenrad bananenkiste kaesebaellchen zuckerstange haehnchenbein ochsencremesuppe fleisch martinsgans fuel-0 fuel-1 fuel-2 fuel-3 fuel-4 capacity-0 capacity-1) (:init (at bananenkiste freiburg) (at elfenrad loerrach) (at fleisch kleinkems) (at haehnchenbein wittlingen) (at kaesebaellchen waldhaus) (at martinsgans gottenheim) (at ochsencremesuppe kandern) (at zuckerstange brombach) (capacity elfenrad capacity-1) (capacity-number capacity-0) (capacity-number capacity-1) (capacity-predecessor capacity-0 capacity-1) (connected auggen freiburg) (connected auggen loerrach) (connected brombach gottenheim) (connected brombach kleinkems) (connected freiburg auggen) (connected freiburg kandern) (connected freiburg muellheim) (connected freiburg waldhaus) (connected gottenheim brombach) (connected gottenheim kandern) (connected gottenheim wittlingen) (connected kandern freiburg) (connected kandern gottenheim) (connected kandern kleinkems) (connected kandern muellheim) (connected kandern wittlingen) (connected kleinkems brombach) (connected kleinkems kandern) (connected loerrach auggen) (connected loerrach muellheim) (connected muellheim freiburg) (connected muellheim kandern) (connected muellheim loerrach) (connected muellheim waldhaus) (connected waldhaus freiburg) (connected waldhaus muellheim) (connected wittlingen gottenheim) (connected wittlingen kandern) (fuel auggen fuel-1) (fuel brombach fuel-0) (fuel freiburg fuel-4) (fuel gottenheim fuel-0) (fuel kandern fuel-4) (fuel kleinkems fuel-3) (fuel loerrach fuel-2) (fuel muellheim fuel-4) (fuel waldhaus fuel-2) (fuel wittlingen fuel-1) (fuel-number fuel-0) (fuel-number fuel-1) (fuel-number fuel-2) (fuel-number fuel-3) (fuel-number fuel-4) (fuel-predecessor fuel-0 fuel-1) (fuel-predecessor fuel-1 fuel-2) (fuel-predecessor fuel-2 fuel-3) (fuel-predecessor fuel-3 fuel-4) (location auggen) (location brombach) (location freiburg) (location gottenheim) (location kandern) (location kleinkems) (location loerrach) (location muellheim) (location waldhaus) (location wittlingen) (package bananenkiste) (package fleisch) (package haehnchenbein) (package kaesebaellchen) (package martinsgans) (package ochsencremesuppe) (package zuckerstange) (vehicle elfenrad)) (:goal (and (at zuckerstange gottenheim))))