(define (problem strips-mprime-x-27) (:domain no-mystery-prime-strips) (:objects haltingen denzlingen muellheim weil schallstadt hugstetten lauchringen auto trollwagen kuebelwagen zuckerstange zehn-nackte-friseusen kapselheber saumagen gruenkohl fernseher 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 auto schallstadt) (at fernseher lauchringen) (at gruenkohl lauchringen) (at kapselheber haltingen) (at kuebelwagen lauchringen) (at saumagen lauchringen) (at trollwagen hugstetten) (at zehn-nackte-friseusen haltingen) (at zuckerstange haltingen) (capacity auto capacity-3) (capacity kuebelwagen capacity-2) (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 denzlingen haltingen) (connected denzlingen lauchringen) (connected haltingen denzlingen) (connected haltingen schallstadt) (connected hugstetten lauchringen) (connected hugstetten schallstadt) (connected lauchringen denzlingen) (connected lauchringen hugstetten) (connected lauchringen muellheim) (connected muellheim lauchringen) (connected muellheim schallstadt) (connected muellheim weil) (connected schallstadt haltingen) (connected schallstadt hugstetten) (connected schallstadt muellheim) (connected schallstadt weil) (connected weil muellheim) (connected weil schallstadt) (fuel denzlingen fuel-9) (fuel haltingen fuel-10) (fuel hugstetten fuel-9) (fuel lauchringen fuel-5) (fuel muellheim fuel-2) (fuel schallstadt fuel-12) (fuel weil fuel-5) (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 denzlingen) (location haltingen) (location hugstetten) (location lauchringen) (location muellheim) (location schallstadt) (location weil) (package fernseher) (package gruenkohl) (package kapselheber) (package saumagen) (package zehn-nackte-friseusen) (package zuckerstange) (vehicle auto) (vehicle kuebelwagen) (vehicle trollwagen)) (:goal (and (at fernseher denzlingen) (at gruenkohl denzlingen))))