(define (problem strips-mprime-x-7) (:domain no-mystery-prime-strips) (:objects muellheim hugstetten wollbach brombach schopfheim waldkirch waldhaus haltingen tumringen endingen segway kuebelwagen fernseher donnerkiesel kaesebaellchen snickers kaesefondue radio aschenbecher tuete-pommes kuechenmaschine zamomin pinkel taschenrechner saumagen karfiol feine-bratwurst martinsgans terrorist osterei zuckerstange weihnachtsbaum pfingstochse halbgefrorenes feinkost-bratling flasche-jaegermeister fuel-0 fuel-1 fuel-2 fuel-3 capacity-0 capacity-1) (:init (at aschenbecher brombach) (at donnerkiesel muellheim) (at feine-bratwurst waldhaus) (at feinkost-bratling tumringen) (at fernseher muellheim) (at flasche-jaegermeister endingen) (at halbgefrorenes tumringen) (at kaesebaellchen muellheim) (at kaesefondue hugstetten) (at karfiol waldkirch) (at kuebelwagen waldhaus) (at kuechenmaschine schopfheim) (at martinsgans waldhaus) (at osterei waldhaus) (at pfingstochse tumringen) (at pinkel schopfheim) (at radio wollbach) (at saumagen waldkirch) (at segway schopfheim) (at snickers hugstetten) (at taschenrechner schopfheim) (at terrorist waldhaus) (at tuete-pommes brombach) (at weihnachtsbaum tumringen) (at zamomin schopfheim) (at zuckerstange haltingen) (capacity kuebelwagen capacity-1) (capacity segway capacity-1) (capacity-number capacity-0) (capacity-number capacity-1) (capacity-predecessor capacity-0 capacity-1) (connected brombach hugstetten) (connected brombach schopfheim) (connected brombach waldkirch) (connected endingen tumringen) (connected endingen waldkirch) (connected haltingen muellheim) (connected haltingen tumringen) (connected haltingen wollbach) (connected hugstetten brombach) (connected hugstetten tumringen) (connected muellheim haltingen) (connected muellheim waldhaus) (connected schopfheim brombach) (connected schopfheim waldhaus) (connected schopfheim wollbach) (connected tumringen endingen) (connected tumringen haltingen) (connected tumringen hugstetten) (connected tumringen wollbach) (connected waldhaus muellheim) (connected waldhaus schopfheim) (connected waldhaus waldkirch) (connected waldkirch brombach) (connected waldkirch endingen) (connected waldkirch waldhaus) (connected wollbach haltingen) (connected wollbach schopfheim) (connected wollbach tumringen) (fuel brombach fuel-2) (fuel endingen fuel-0) (fuel haltingen fuel-0) (fuel hugstetten fuel-0) (fuel muellheim fuel-0) (fuel schopfheim fuel-0) (fuel tumringen fuel-3) (fuel waldhaus fuel-2) (fuel waldkirch fuel-1) (fuel wollbach fuel-1) (fuel-number fuel-0) (fuel-number fuel-1) (fuel-number fuel-2) (fuel-number fuel-3) (fuel-predecessor fuel-0 fuel-1) (fuel-predecessor fuel-1 fuel-2) (fuel-predecessor fuel-2 fuel-3) (location brombach) (location endingen) (location haltingen) (location hugstetten) (location muellheim) (location schopfheim) (location tumringen) (location waldhaus) (location waldkirch) (location wollbach) (package aschenbecher) (package donnerkiesel) (package feine-bratwurst) (package feinkost-bratling) (package fernseher) (package flasche-jaegermeister) (package halbgefrorenes) (package kaesebaellchen) (package kaesefondue) (package karfiol) (package kuechenmaschine) (package martinsgans) (package osterei) (package pfingstochse) (package pinkel) (package radio) (package saumagen) (package snickers) (package taschenrechner) (package terrorist) (package tuete-pommes) (package weihnachtsbaum) (package zamomin) (package zuckerstange) (vehicle kuebelwagen) (vehicle segway)) (:goal (and (at radio haltingen))))