// A world where some actions cannot be reversed.

#facts
(a b c)

#operator
//(op <name> <precond-list> <pos-effect-list> <neg-effect-list>)

//Move action
(
(op opInutile1
	(a)
	()
	(a))
	
(op opInutile2
	(a)
	()
	(a))
	
(op opInutile3
	(a)
	()
	(a))

(op opInutile4
	(b)
	()
	(b))
	
(op opInutile5
	(h)
	()
	(h))

(op opInutile6
	(c)
	()
	(c))

(op opD
	()
	(d)
	())


(op opE
	()
	(e)
	())


(op opF
	()
	(f)
	())

(op opG
	()
	(g)
	())
	
(op opDestructionE
	(e)
	()
	(e))
)

#goal
( a b c d e f g)