(define (problem btc40)
(:domain btc)
(:requirements :strips :equality :typing :conditional-effects :disjunctive-preconditions)
(:objects b0 - bomb
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 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 - package
	    t0  - toilet)
 (:init 
;(not (defused b0))

;(not (clog t0))
(oneof (in p0 b0)
(in p1 b0)
(in p2 b0)
(in p3 b0)
(in p4 b0)
(in p5 b0)
(in p6 b0)
(in p7 b0)
(in p8 b0)
(in p9 b0)
(in p10 b0)
(in p11 b0)
(in p12 b0)
(in p13 b0)
(in p14 b0)
(in p15 b0)
(in p16 b0)
(in p17 b0)
(in p18 b0)
(in p19 b0)
(in p20 b0)
(in p21 b0)
(in p22 b0)
(in p23 b0)
(in p24 b0)
(in p25 b0)
(in p26 b0)
(in p27 b0)
(in p28 b0)
(in p29 b0)
(in p30 b0)
(in p31 b0)
(in p32 b0)
(in p33 b0)
(in p34 b0)
(in p35 b0)
(in p36 b0)
(in p37 b0)
(in p38 b0)
(in p39 b0)
)
(unknown (in p0 b0))
(unknown (in p1 b0))
(unknown (in p2 b0))
(unknown (in p3 b0))
(unknown (in p4 b0))
(unknown (in p5 b0))
(unknown (in p6 b0))
(unknown (in p7 b0))
(unknown (in p8 b0))
(unknown (in p9 b0))
(unknown (in p10 b0))
(unknown (in p11 b0))
(unknown (in p12 b0))
(unknown (in p13 b0))
(unknown (in p14 b0))
(unknown (in p15 b0))
(unknown (in p16 b0))
(unknown (in p17 b0))
(unknown (in p18 b0))
(unknown (in p19 b0))
(unknown (in p20 b0))
(unknown (in p21 b0))
(unknown (in p22 b0))
(unknown (in p23 b0))
(unknown (in p24 b0))
(unknown (in p25 b0))
(unknown (in p26 b0))
(unknown (in p27 b0))
(unknown (in p28 b0))
(unknown (in p29 b0))
(unknown (in p30 b0))
(unknown (in p31 b0))
(unknown (in p32 b0))
(unknown (in p33 b0))
(unknown (in p34 b0))
(unknown (in p35 b0))
(unknown (in p36 b0))
(unknown (in p37 b0))
(unknown (in p38 b0))
(unknown (in p39 b0))
 )
 (:goal (defused b0)))
