#facts
(a)

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

//Move action
(
(op op1
	(a)
	(b, c)
	(a))
	
(op op2
	(a)
	(b)
	())
	
(op op3
	(b)
	(c)
	(b))	
)

#goal
()