(define (problem strips-mprime-x-28) (:domain no-mystery-prime-strips) (:objects lauchringen guendlingen loerrach freiburg sexau daemonenrikscha fleisch kaesefondue apfel flasche-jaegermeister schlagobers neujahrsbrezel zamomin fuel-0 fuel-1 fuel-2 fuel-3 fuel-4 fuel-5 fuel-6 fuel-7 capacity-0 capacity-1 capacity-2) (:init (at apfel guendlingen) (at daemonenrikscha lauchringen) (at flasche-jaegermeister loerrach) (at fleisch lauchringen) (at kaesefondue guendlingen) (at neujahrsbrezel freiburg) (at schlagobers loerrach) (at zamomin sexau) (capacity daemonenrikscha capacity-2) (capacity-number capacity-0) (capacity-number capacity-1) (capacity-number capacity-2) (capacity-predecessor capacity-0 capacity-1) (capacity-predecessor capacity-1 capacity-2) (connected freiburg loerrach) (connected freiburg sexau) (connected guendlingen lauchringen) (connected guendlingen sexau) (connected lauchringen guendlingen) (connected lauchringen loerrach) (connected lauchringen sexau) (connected loerrach freiburg) (connected loerrach lauchringen) (connected sexau freiburg) (connected sexau guendlingen) (connected sexau lauchringen) (fuel freiburg fuel-7) (fuel guendlingen fuel-6) (fuel lauchringen fuel-1) (fuel loerrach fuel-2) (fuel sexau fuel-7) (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-number fuel-6) (fuel-number fuel-7) (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) (fuel-predecessor fuel-5 fuel-6) (fuel-predecessor fuel-6 fuel-7) (location freiburg) (location guendlingen) (location lauchringen) (location loerrach) (location sexau) (package apfel) (package flasche-jaegermeister) (package fleisch) (package kaesefondue) (package neujahrsbrezel) (package schlagobers) (package zamomin) (vehicle daemonenrikscha)) (:goal (and (at flasche-jaegermeister sexau) (at neujahrsbrezel sexau))))