(define (problem strips-mprime-x-30) (:domain no-mystery-prime-strips) (:objects inzlingen sexau boetzingen merdingen koendringen bad-bellingen haltingen riedlingen gottenheim schopfheim loerrach waldhaus muellheim kutsche feuerwehr ICE fahrrad moped haehnchenbein wensleydale zehn-nackte-friseusen aschenbecher halber-hirsch seitenbacher-muesli halbgefrorenes fuel-0 fuel-1 fuel-2 fuel-3 fuel-4 fuel-5 fuel-6 fuel-7 fuel-8 fuel-9 fuel-10 fuel-11 fuel-12 capacity-0 capacity-1 capacity-2 capacity-3) (:init (at ICE gottenheim) (at aschenbecher riedlingen) (at fahrrad schopfheim) (at feuerwehr merdingen) (at haehnchenbein sexau) (at halber-hirsch gottenheim) (at halbgefrorenes muellheim) (at kutsche inzlingen) (at moped muellheim) (at seitenbacher-muesli schopfheim) (at wensleydale boetzingen) (at zehn-nackte-friseusen koendringen) (capacity ICE capacity-3) (capacity fahrrad capacity-3) (capacity feuerwehr capacity-3) (capacity kutsche capacity-1) (capacity moped capacity-1) (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 gottenheim) (connected bad-bellingen haltingen) (connected bad-bellingen merdingen) (connected bad-bellingen riedlingen) (connected bad-bellingen sexau) (connected boetzingen koendringen) (connected boetzingen merdingen) (connected boetzingen sexau) (connected boetzingen waldhaus) (connected gottenheim bad-bellingen) (connected gottenheim merdingen) (connected haltingen bad-bellingen) (connected haltingen riedlingen) (connected inzlingen koendringen) (connected inzlingen riedlingen) (connected inzlingen sexau) (connected koendringen boetzingen) (connected koendringen inzlingen) (connected loerrach schopfheim) (connected loerrach waldhaus) (connected merdingen bad-bellingen) (connected merdingen boetzingen) (connected merdingen gottenheim) (connected muellheim schopfheim) (connected muellheim waldhaus) (connected riedlingen bad-bellingen) (connected riedlingen haltingen) (connected riedlingen inzlingen) (connected schopfheim loerrach) (connected schopfheim muellheim) (connected sexau bad-bellingen) (connected sexau boetzingen) (connected sexau inzlingen) (connected waldhaus boetzingen) (connected waldhaus loerrach) (connected waldhaus muellheim) (fuel bad-bellingen fuel-12) (fuel boetzingen fuel-6) (fuel gottenheim fuel-10) (fuel haltingen fuel-1) (fuel inzlingen fuel-4) (fuel koendringen fuel-8) (fuel loerrach fuel-8) (fuel merdingen fuel-10) (fuel muellheim fuel-8) (fuel riedlingen fuel-3) (fuel schopfheim fuel-9) (fuel sexau fuel-10) (fuel waldhaus fuel-6) (fuel-number fuel-0) (fuel-number fuel-1) (fuel-number fuel-10) (fuel-number fuel-11) (fuel-number fuel-12) (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-number fuel-8) (fuel-number fuel-9) (fuel-predecessor fuel-0 fuel-1) (fuel-predecessor fuel-1 fuel-2) (fuel-predecessor fuel-10 fuel-11) (fuel-predecessor fuel-11 fuel-12) (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) (fuel-predecessor fuel-7 fuel-8) (fuel-predecessor fuel-8 fuel-9) (fuel-predecessor fuel-9 fuel-10) (location bad-bellingen) (location boetzingen) (location gottenheim) (location haltingen) (location inzlingen) (location koendringen) (location loerrach) (location merdingen) (location muellheim) (location riedlingen) (location schopfheim) (location sexau) (location waldhaus) (package aschenbecher) (package haehnchenbein) (package halber-hirsch) (package halbgefrorenes) (package seitenbacher-muesli) (package wensleydale) (package zehn-nackte-friseusen) (vehicle ICE) (vehicle fahrrad) (vehicle feuerwehr) (vehicle kutsche) (vehicle moped)) (:goal (and (at aschenbecher riedlingen) (at halber-hirsch haltingen) (at wensleydale haltingen))))