(define (domain file-world)
	(:requirements	:disjunctive-preconditions :negative-preconditions
		:conditional-effects
		:probabilistic-effects :universal-preconditions)
	(:predicates	(has-type ?p)
		(goes-in ?p ?f)
		(filed ?p)
		(haveF0)
		(haveF1)
		(haveF2)
		)
	(:constants F0 F1 F2 )

(:action get-type
	:parameters (?p)
	:precondition	(and (not (has-type ?p)))
	:effect	(and (has-type ?p)
		(probabilistic
			0.3333333333333333	(goes-in ?p F0)
			0.3333333333333333	(goes-in ?p F1)
			0.3333333333333333	(goes-in ?p F2)
))
)

(:action get-folder-F0
	:precondition  (and 		(not (haveF0)) 
		(not (haveF1)) 
		(not (haveF2)) 
)
	:effect (haveF0)
)

(:action get-folder-F1
	:precondition  (and 		(not (haveF0)) 
		(not (haveF1)) 
		(not (haveF2)) 
)
	:effect (haveF1)
)

(:action get-folder-F2
	:precondition  (and 		(not (haveF0)) 
		(not (haveF1)) 
		(not (haveF2)) 
)
	:effect (haveF2)
)

(:action file-F0
	:parameters (?p)
	:precondition (and (haveF0) (has-type ?p) (goes-in ?p F0))
	:effect (filed ?p)
)

(:action file-F1
	:parameters (?p)
	:precondition (and (haveF1) (has-type ?p) (goes-in ?p F1))
	:effect (filed ?p)
)

(:action file-F2
	:parameters (?p)
	:precondition (and (haveF2) (has-type ?p) (goes-in ?p F2))
	:effect (filed ?p)
)

(:action return-F0
	:precondition	(haveF0)
	:effect	(not (haveF0))
)

(:action return-F1
	:precondition	(haveF1)
	:effect	(not (haveF1))
)

(:action return-F2
	:precondition	(haveF2)
	:effect	(not (haveF2))
)

)
(define (problem file-prob)
	(:domain file-world)
	(:objects p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 )
	(:goal (and (filed p0) (filed p1) (filed p2) (filed p3) (filed p4) (filed p5) (filed p6) (filed p7) (filed p8) (filed p9) (filed p10) (filed p11) (filed p12) (filed p13) (filed p14) (filed p15) (filed p16) (filed p17) (filed p18) (filed p19) (filed p20) (filed p21) (filed p22) (filed p23) (filed p24) ))
)