(define (problem btc70)
(: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 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 - 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)
(in p40 b0)
(in p41 b0)
(in p42 b0)
(in p43 b0)
(in p44 b0)
(in p45 b0)
(in p46 b0)
(in p47 b0)
(in p48 b0)
(in p49 b0)
(in p50 b0)
(in p51 b0)
(in p52 b0)
(in p53 b0)
(in p54 b0)
(in p55 b0)
(in p56 b0)
(in p57 b0)
(in p58 b0)
(in p59 b0)
(in p60 b0)
(in p61 b0)
(in p62 b0)
(in p63 b0)
(in p64 b0)
(in p65 b0)
(in p66 b0)
(in p67 b0)
(in p68 b0)
(in p69 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))
(unknown (in p40 b0))
(unknown (in p41 b0))
(unknown (in p42 b0))
(unknown (in p43 b0))
(unknown (in p44 b0))
(unknown (in p45 b0))
(unknown (in p46 b0))
(unknown (in p47 b0))
(unknown (in p48 b0))
(unknown (in p49 b0))
(unknown (in p50 b0))
(unknown (in p51 b0))
(unknown (in p52 b0))
(unknown (in p53 b0))
(unknown (in p54 b0))
(unknown (in p55 b0))
(unknown (in p56 b0))
(unknown (in p57 b0))
(unknown (in p58 b0))
(unknown (in p59 b0))
(unknown (in p60 b0))
(unknown (in p61 b0))
(unknown (in p62 b0))
(unknown (in p63 b0))
(unknown (in p64 b0))
(unknown (in p65 b0))
(unknown (in p66 b0))
(unknown (in p67 b0))
(unknown (in p68 b0))
(unknown (in p69 b0))
 )
 (:goal (defused b0)))
