(define (problem assem-x-17) (:domain assembly) (:objects hoozawhatsie socket-23 unit-22 frob-26 connector-24 tube-25 connector-29 device-27 valve-28 foobar-32 widget-30 whatsis-31 bracket-15 hoozawhatsie-9 kludge-10 socket-11 coil-12 unit-13 fastener-14 hack-7 wire-16 doodad-5 plug-6 doodad gimcrack-4 contraption-8 thingumbob-3 device mount-1 sprocket-2 gimcrack hack valve tube frob plug foobar connector fastener unit kludge whatsis mount thingumbob sprocket wire - assembly charger hammer - resource) (:init (available unit-22) (available connector-24) (available tube-25) (available device-27) (available valve-28) (available widget-30) (available whatsis-31) (available hoozawhatsie-9) (available kludge-10) (available socket-11) (available coil-12) (available unit-13) (available fastener-14) (available wire-16) (available doodad-5) (available plug-6) (available contraption-8) (available thingumbob-3) (available mount-1) (available sprocket-2) (available hack) (available valve) (available tube) (available frob) (available plug) (available foobar) (available fastener) (available unit) (available kludge) (available whatsis) (available mount) (available thingumbob) (available wire) (available charger) (available hammer) (requires socket-23 hammer) (requires frob-26 hammer) (requires connector-29 charger) (requires foobar-32 charger) (requires bracket-15 charger) (requires hack-7 hammer) (requires doodad charger) (requires gimcrack-4 hammer) (requires device hammer) (requires gimcrack charger) (requires connector hammer) (requires sprocket charger) (part-of socket-23 hoozawhatsie) (part-of frob-26 hoozawhatsie) (part-of connector-29 hoozawhatsie) (part-of foobar-32 hoozawhatsie) (part-of bracket-15 hoozawhatsie) (part-of hack-7 hoozawhatsie) (part-of doodad hoozawhatsie) (part-of gimcrack hoozawhatsie) (part-of connector hoozawhatsie) (part-of sprocket hoozawhatsie) (part-of fastener-14 socket-23) (part-of unit-22 socket-23) (part-of connector-24 frob-26) (part-of tube-25 frob-26) (part-of device-27 connector-29) (part-of valve-28 connector-29) (part-of widget-30 foobar-32) (part-of whatsis-31 foobar-32) (part-of hoozawhatsie-9 bracket-15) (part-of kludge-10 bracket-15) (part-of socket-11 bracket-15) (part-of coil-12 bracket-15) (part-of unit-13 bracket-15) (transient-part fastener-14 bracket-15) (part-of wire-16 hack-7) (part-of doodad-5 hack-7) (part-of plug-6 hack-7) (part-of gimcrack-4 doodad) (part-of device doodad) (part-of contraption-8 gimcrack-4) (part-of thingumbob-3 gimcrack-4) (part-of mount-1 device) (part-of sprocket-2 device) (part-of hack gimcrack) (part-of valve gimcrack) (part-of tube gimcrack) (part-of frob gimcrack) (part-of plug gimcrack) (transient-part foobar gimcrack) (part-of fastener connector) (part-of unit connector) (part-of kludge connector) (transient-part whatsis connector) (part-of mount connector) (part-of thingumbob connector) (part-of wire sprocket) (part-of foobar sprocket) (part-of whatsis sprocket) (assemble-order fastener-14 unit-13 socket-23) (assemble-order fastener-14 coil-12 socket-23) (assemble-order fastener-14 unit-13 socket-23) (assemble-order device-27 valve-28 connector-29) (assemble-order widget-30 whatsis-31 foobar-32) (assemble-order hoozawhatsie-9 unit-13 bracket-15) (assemble-order hoozawhatsie-9 coil-12 bracket-15) (assemble-order unit-13 socket-11 bracket-15) (assemble-order fastener-14 unit-13 bracket-15) (assemble-order fastener-14 coil-12 bracket-15) (assemble-order fastener-14 unit-13 bracket-15) (remove-order unit-13 fastener-14 bracket-15) (assemble-order device gimcrack-4 doodad) (assemble-order contraption-8 thingumbob-3 gimcrack-4) (assemble-order valve hack gimcrack) (assemble-order frob plug gimcrack) (assemble-order frob foobar gimcrack) (assemble-order foobar plug gimcrack) (assemble-order foobar hack gimcrack) (assemble-order foobar plug gimcrack) (remove-order plug foobar gimcrack) (assemble-order whatsis kludge connector) (remove-order kludge whatsis connector) (assemble-order foobar plug sprocket) (assemble-order foobar hack sprocket) (assemble-order foobar plug sprocket) (assemble-order whatsis kludge sprocket)) (:goal (complete hoozawhatsie)))