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