
(#s(observation :name goto-dr-1 :state
    ((connects door12 room1 room2) (connects door12 room2 room1)
     (inroom robot room1) (inroom box1 room1) (dr-open door12) (arm-empty)
     (next-to robot box1) (pushable box1) (dr-to-rm door12 room1)
     (dr-to-rm door12 room2))
    :adds ((next-to robot door12)) :dels ((next-to robot box1)) :bindings nil
    :op-name goto-dr :plist nil)) 
(#s(observation :name open-dr-2 :state
    ((locked door24) (connects door12 room1 room2)
     (connects door13 room1 room3) (connects door34 room3 room4)
     (connects door24 room2 room4) (connects door24 room4 room2)
     (connects door34 room4 room3) (connects door13 room3 room1)
     (connects door12 room2 room1) (inroom robot room3) (inroom box1 room3)
     (inroom box2 room3) (inroom box3 room4) (dr-open door12) (dr-open door13)
     (dr-open door34) (arm-empty) (next-to robot box3) (pushable box1)
     (pushable box2) (pushable box3) (unlocked door34) (dr-to-rm door12 room1)
     (dr-to-rm door12 room2) (dr-to-rm door13 room1) (dr-to-rm door13 room3)
     (dr-to-rm door34 room3) (dr-to-rm door34 room4) (dr-to-rm door24 room2)
     (dr-to-rm door24 room4) (dr-closed door24))
    :adds ((next-to robot door34)) :dels ((next-to robot box3)) :bindings nil
    :op-name goto-dr :plist nil)
 #s(observation :name open-dr-3 :state
    ((locked door24) (connects door12 room1 room2)
     (connects door13 room1 room3) (connects door34 room3 room4)
     (connects door24 room2 room4) (connects door24 room4 room2)
     (connects door34 room4 room3) (connects door13 room3 room1)
     (connects door12 room2 room1) (inroom robot room3) (inroom box1 room3)
     (inroom box2 room3) (inroom box3 room4) (dr-open door12) (dr-open door13)
     (dr-open door34) (arm-empty) (next-to robot door34) (pushable box1)
     (pushable box2) (pushable box3) (unlocked door34) (dr-to-rm door12 room1)
     (dr-to-rm door12 room2) (dr-to-rm door13 room1) (dr-to-rm door13 room3)
     (dr-to-rm door34 room3) (dr-to-rm door34 room4) (dr-to-rm door24 room2)
     (dr-to-rm door24 room4) (dr-closed door24))
    :adds ((dr-closed door34)) :dels ((dr-open door34)) :bindings nil :op-name
    close-door :plist nil)) 
(#s(observation :name p-4 :state
    ((carriable a) (carriable key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (dr-closed dr12) (inroom b rm1) (inroom a rm2) (inroom key12 rm2)
     (inroom robot rm2) (connects dr12 rm2 rm1) (connects dr12 rm1 rm2)
     (pushable b) (holding a) (is-key dr12 key12) (locked dr12))
    :adds ((arm-empty) (next-to robot a)) :dels ((holding a)) :bindings nil
    :op-name putdown :plist nil)
 #s(observation :name p-5 :state
    ((carriable a) (carriable key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (next-to robot a) (arm-empty) (dr-closed dr12) (inroom b rm1)
     (inroom a rm2) (inroom key12 rm2) (inroom robot rm2)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (pushable b)
     (is-key dr12 key12) (locked dr12))
    :adds ((next-to robot key12)) :dels ((next-to robot a)) :bindings nil
    :op-name goto-obj :plist nil)
 #s(observation :name p-6 :state
    ((carriable a) (carriable key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (next-to robot key12) (arm-empty) (dr-closed dr12) (inroom b rm1)
     (inroom a rm2) (inroom key12 rm2) (inroom robot rm2)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (pushable b)
     (is-key dr12 key12) (locked dr12))
    :adds ((holding key12)) :dels ((arm-empty)) :bindings nil :op-name
    pickup-obj :plist nil)
 #s(observation :name p-7 :state
    ((carriable a) (carriable key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (next-to robot key12) (dr-closed dr12) (inroom b rm1) (inroom a rm2)
     (inroom key12 rm2) (inroom robot rm2) (connects dr12 rm2 rm1)
     (connects dr12 rm1 rm2) (pushable b) (holding key12) (is-key dr12 key12)
     (locked dr12))
    :adds ((next-to robot dr12)) :dels ((next-to robot key12)) :bindings nil
    :op-name goto-dr :plist nil)
 #s(observation :name p-8 :state
    ((carriable a) (carriable key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (next-to robot dr12) (dr-closed dr12) (inroom b rm1) (inroom a rm2)
     (inroom key12 rm2) (inroom robot rm2) (connects dr12 rm2 rm1)
     (connects dr12 rm1 rm2) (pushable b) (holding key12) (is-key dr12 key12)
     (locked dr12))
    :adds ((unlocked dr12)) :dels ((locked dr12)) :bindings nil :op-name unlock
    :plist nil)
 #s(observation :name p-9 :state
    ((carriable a) (carriable key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (next-to robot dr12) (dr-closed dr12) (inroom b rm1) (inroom a rm2)
     (inroom key12 rm2) (inroom robot rm2) (connects dr12 rm2 rm1)
     (connects dr12 rm1 rm2) (unlocked dr12) (pushable b) (holding key12)
     (is-key dr12 key12))
    :adds ((dr-open dr12)) :dels ((dr-closed dr12)) :bindings nil :op-name
    open-door :plist nil)
 #s(observation :name p-10 :state
    ((carriable a) (carriable key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (next-to robot dr12) (inroom b rm1) (inroom a rm2) (inroom key12 rm2)
     (inroom robot rm2) (connects dr12 rm2 rm1) (connects dr12 rm1 rm2)
     (unlocked dr12) (pushable b) (holding key12) (dr-open dr12)
     (is-key dr12 key12))
    :adds ((arm-empty) (next-to robot key12)) :dels ((holding key12)) :bindings
    nil :op-name putdown :plist nil)
 #s(observation :name p-11 :state
    ((carriable a) (carriable key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (next-to robot dr12) (next-to robot key12) (arm-empty) (inroom b rm1)
     (inroom a rm2) (inroom key12 rm2) (inroom robot rm2)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (unlocked dr12)
     (pushable b) (dr-open dr12) (is-key dr12 key12))
    :adds ((inroom robot rm1)) :dels ((inroom robot rm2) (next-to robot key12))
    :bindings nil :op-name go-thru-dr :plist nil)) 
(#s(observation :name p1-12 :state
    ((pushable b1) (pushable b2) (dr-open dr12) (arm-empty) (dr-to-rm dr12 rm1)
     (dr-to-rm dr12 rm2) (inroom robot rm1) (inroom b1 rm1) (inroom b2 rm1)
     (connects dr12 rm1 rm2) (connects dr12 rm2 rm1))
    :adds ((next-to robot dr12)) :dels nil :bindings nil :op-name goto-dr
    :plist nil)
 #s(observation :name p1-13 :state
    ((pushable b1) (pushable b2) (dr-open dr12) (next-to robot dr12)
     (arm-empty) (dr-to-rm dr12 rm1) (dr-to-rm dr12 rm2) (inroom robot rm1)
     (inroom b1 rm1) (inroom b2 rm1) (connects dr12 rm1 rm2)
     (connects dr12 rm2 rm1))
    :adds ((inroom robot rm2)) :dels ((inroom robot rm1)) :bindings nil
    :op-name go-thru-dr :plist nil)) 
(#s(observation :name ss2-1-14 :state
    ((pushable b) (next-to b a) (arm-empty) (is-key dr12 key12) (unlocked dr12)
     (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1) (inroom b rm1) (inroom a rm1)
     (inroom key12 rm1) (inroom robot rm1) (dr-closed dr12) (carriable key12)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2))
    :adds ((next-to robot key12)) :dels nil :bindings nil :op-name goto-obj
    :plist nil)
 #s(observation :name ss2-1-15 :state
    ((pushable b) (next-to b a) (next-to robot key12) (arm-empty)
     (is-key dr12 key12) (unlocked dr12) (dr-to-rm dr12 rm2)
     (dr-to-rm dr12 rm1) (inroom b rm1) (inroom a rm1) (inroom key12 rm1)
     (inroom robot rm1) (dr-closed dr12) (carriable key12)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2))
    :adds ((holding key12)) :dels ((arm-empty)) :bindings nil :op-name
    pickup-obj :plist nil)
 #s(observation :name ss2-1-16 :state
    ((pushable b) (holding key12) (next-to b a) (next-to robot key12)
     (is-key dr12 key12) (unlocked dr12) (dr-to-rm dr12 rm2)
     (dr-to-rm dr12 rm1) (inroom b rm1) (inroom a rm1) (inroom key12 rm1)
     (inroom robot rm1) (dr-closed dr12) (carriable key12)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2))
    :adds ((next-to robot dr12)) :dels ((next-to robot key12)) :bindings nil
    :op-name goto-dr :plist nil)
 #s(observation :name ss2-1-17 :state
    ((pushable b) (holding key12) (next-to b a) (next-to robot dr12)
     (is-key dr12 key12) (unlocked dr12) (dr-to-rm dr12 rm2)
     (dr-to-rm dr12 rm1) (inroom b rm1) (inroom a rm1) (inroom key12 rm1)
     (inroom robot rm1) (dr-closed dr12) (carriable key12)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2))
    :adds ((locked dr12)) :dels ((unlocked dr12)) :bindings nil :op-name lock
    :plist nil)
 #s(observation :name ss2-1-18 :state
    ((pushable b) (holding key12) (next-to b a) (next-to robot dr12)
     (is-key dr12 key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1) (locked dr12)
     (inroom b rm1) (inroom a rm1) (inroom key12 rm1) (inroom robot rm1)
     (dr-closed dr12) (carriable key12) (connects dr12 rm2 rm1)
     (connects dr12 rm1 rm2))
    :adds ((arm-empty) (next-to robot key12)) :dels ((holding key12)) :bindings
    nil :op-name putdown :plist nil)) 
(#s(observation :name ss2-2-19 :state
    ((is-key dr12 key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (unlocked dr12) (pushable a) (arm-empty) (connects dr12 rm2 rm1)
     (connects dr12 rm1 rm2) (dr-open dr12) (inroom c rm2) (inroom b rm1)
     (inroom a rm2) (inroom key12 rm1) (inroom robot rm1) (carriable key12))
    :adds ((next-to robot dr12)) :dels nil :bindings nil :op-name goto-dr
    :plist nil)
 #s(observation :name ss2-2-20 :state
    ((is-key dr12 key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (unlocked dr12) (pushable a) (next-to robot dr12) (arm-empty)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (dr-open dr12)
     (inroom c rm2) (inroom b rm1) (inroom a rm2) (inroom key12 rm1)
     (inroom robot rm1) (carriable key12))
    :adds ((inroom robot rm2)) :dels ((inroom robot rm1)) :bindings nil
    :op-name go-thru-dr :plist nil)
 #s(observation :name ss2-2-21 :state
    ((is-key dr12 key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (unlocked dr12) (pushable a) (next-to robot dr12) (arm-empty)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (dr-open dr12)
     (inroom c rm2) (inroom b rm1) (inroom a rm2) (inroom key12 rm1)
     (inroom robot rm2) (carriable key12))
    :adds ((dr-closed dr12)) :dels ((dr-open dr12)) :bindings nil :op-name
    close-door :plist nil)) 
(#s(observation :name ss2-3-22 :state
    ((dr-closed dr12) (is-key dr12 key12) (dr-to-rm dr12 rm2)
     (dr-to-rm dr12 rm1) (unlocked dr12) (pushable c) (arm-empty)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (inroom c rm1)
     (inroom b rm2) (inroom a rm2) (inroom key12 rm1) (inroom robot rm2)
     (carriable key12))
    :adds ((next-to robot dr12)) :dels nil :bindings nil :op-name goto-dr
    :plist nil)
 #s(observation :name ss2-3-23 :state
    ((dr-closed dr12) (is-key dr12 key12) (dr-to-rm dr12 rm2)
     (dr-to-rm dr12 rm1) (unlocked dr12) (pushable c) (next-to robot dr12)
     (arm-empty) (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (inroom c rm1)
     (inroom b rm2) (inroom a rm2) (inroom key12 rm1) (inroom robot rm2)
     (carriable key12))
    :adds ((dr-open dr12)) :dels ((dr-closed dr12)) :bindings nil :op-name
    open-door :plist nil)
 #s(observation :name ss2-3-24 :state
    ((is-key dr12 key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (unlocked dr12) (pushable c) (next-to robot dr12) (arm-empty)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (dr-open dr12)
     (inroom c rm1) (inroom b rm2) (inroom a rm2) (inroom key12 rm1)
     (inroom robot rm2) (carriable key12))
    :adds ((inroom robot rm1)) :dels ((inroom robot rm2)) :bindings nil
    :op-name go-thru-dr :plist nil)
 #s(observation :name ss2-3-25 :state
    ((is-key dr12 key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (unlocked dr12) (pushable c) (next-to robot dr12) (arm-empty)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (dr-open dr12)
     (inroom c rm1) (inroom b rm2) (inroom a rm2) (inroom key12 rm1)
     (inroom robot rm1) (carriable key12))
    :adds ((next-to robot c)) :dels ((next-to robot dr12)) :bindings nil
    :op-name goto-obj :plist nil)
 #s(observation :name ss2-3-26 :state
    ((is-key dr12 key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (unlocked dr12) (pushable c) (next-to robot c) (arm-empty)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (dr-open dr12)
     (inroom c rm1) (inroom b rm2) (inroom a rm2) (inroom key12 rm1)
     (inroom robot rm1) (carriable key12))
    :adds ((next-to robot dr12) (next-to c dr12)) :dels ((next-to robot c))
    :bindings nil :op-name push-to-dr :plist nil)
 #s(observation :name ss2-3-27 :state
    ((is-key dr12 key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (unlocked dr12) (pushable c) (next-to c dr12) (next-to robot dr12)
     (arm-empty) (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (dr-open dr12)
     (inroom c rm1) (inroom b rm2) (inroom a rm2) (inroom key12 rm1)
     (inroom robot rm1) (carriable key12))
    :adds ((next-to robot c)) :dels ((next-to robot dr12)) :bindings nil
    :op-name goto-obj :plist nil)
 #s(observation :name ss2-3-28 :state
    ((is-key dr12 key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (unlocked dr12) (pushable c) (next-to robot c) (next-to c dr12)
     (arm-empty) (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (dr-open dr12)
     (inroom c rm1) (inroom b rm2) (inroom a rm2) (inroom key12 rm1)
     (inroom robot rm1) (carriable key12))
    :adds ((inroom c rm2) (inroom robot rm2)) :dels
    ((inroom c rm1) (inroom robot rm1) (next-to c dr12) (next-to robot c))
    :bindings nil :op-name push-thru-dr :plist nil)) 
(#s(observation :name ss2-4-29 :state
    ((is-key dr12 key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (unlocked dr12) (pushable a) (arm-empty) (connects dr12 rm2 rm1)
     (connects dr12 rm1 rm2) (dr-open dr12) (inroom b rm2) (inroom a rm1)
     (inroom key12 rm2) (inroom robot rm1) (carriable key12))
    :adds ((next-to robot dr12)) :dels nil :bindings nil :op-name goto-dr
    :plist nil)
 #s(observation :name ss2-4-30 :state
    ((is-key dr12 key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (unlocked dr12) (pushable a) (next-to robot dr12) (arm-empty)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (dr-open dr12)
     (inroom b rm2) (inroom a rm1) (inroom key12 rm2) (inroom robot rm1)
     (carriable key12))
    :adds ((inroom robot rm2)) :dels ((inroom robot rm1)) :bindings nil
    :op-name go-thru-dr :plist nil)
 #s(observation :name ss2-4-31 :state
    ((is-key dr12 key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (unlocked dr12) (pushable a) (next-to robot dr12) (arm-empty)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (dr-open dr12)
     (inroom b rm2) (inroom a rm1) (inroom key12 rm2) (inroom robot rm2)
     (carriable key12))
    :adds ((next-to robot key12)) :dels ((next-to robot dr12)) :bindings nil
    :op-name goto-obj :plist nil)
 #s(observation :name ss2-4-32 :state
    ((is-key dr12 key12) (dr-to-rm dr12 rm2) (dr-to-rm dr12 rm1)
     (unlocked dr12) (pushable a) (next-to robot key12) (arm-empty)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (dr-open dr12)
     (inroom b rm2) (inroom a rm1) (inroom key12 rm2) (inroom robot rm2)
     (carriable key12))
    :adds ((holding key12)) :dels ((arm-empty)) :bindings nil :op-name
    pickup-obj :plist nil)
 #s(observation :name ss2-4-33 :state
    ((holding key12) (is-key dr12 key12) (dr-to-rm dr12 rm2)
     (dr-to-rm dr12 rm1) (unlocked dr12) (pushable a) (next-to robot key12)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (dr-open dr12)
     (inroom b rm2) (inroom a rm1) (inroom key12 rm2) (inroom robot rm2)
     (carriable key12))
    :adds ((next-to robot dr12)) :dels ((next-to robot key12)) :bindings nil
    :op-name goto-dr :plist nil)
 #s(observation :name ss2-4-34 :state
    ((holding key12) (is-key dr12 key12) (dr-to-rm dr12 rm2)
     (dr-to-rm dr12 rm1) (unlocked dr12) (pushable a) (next-to robot dr12)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (dr-open dr12)
     (inroom b rm2) (inroom a rm1) (inroom key12 rm2) (inroom robot rm2)
     (carriable key12))
    :adds ((inroom key12 rm1) (inroom robot rm1)) :dels
    ((inroom key12 rm2) (inroom robot rm2) (next-to robot dr12)) :bindings nil
    :op-name carry-thru-dr :plist nil)
 #s(observation :name ss2-4-35 :state
    ((holding key12) (is-key dr12 key12) (dr-to-rm dr12 rm2)
     (dr-to-rm dr12 rm1) (unlocked dr12) (pushable a) (connects dr12 rm2 rm1)
     (connects dr12 rm1 rm2) (dr-open dr12) (inroom b rm2) (inroom a rm1)
     (inroom robot rm1) (inroom key12 rm1) (carriable key12))
    :adds ((next-to robot dr12)) :dels nil :bindings nil :op-name goto-dr
    :plist nil)
 #s(observation :name ss2-4-36 :state
    ((holding key12) (is-key dr12 key12) (dr-to-rm dr12 rm2)
     (dr-to-rm dr12 rm1) (unlocked dr12) (pushable a) (next-to robot dr12)
     (connects dr12 rm2 rm1) (connects dr12 rm1 rm2) (dr-open dr12)
     (inroom b rm2) (inroom a rm1) (inroom robot rm1) (inroom key12 rm1)
     (carriable key12))
    :adds ((dr-closed dr12)) :dels ((dr-open dr12)) :bindings nil :op-name
    close-door :plist nil)) 
(#s(observation :name strips-prob-37 :state
    ((dr-closed door34) (dr-closed door24) (dr-to-rm door12 room1)
     (dr-to-rm door12 room2) (dr-to-rm door13 room1) (dr-to-rm door13 room3)
     (dr-to-rm door34 room3) (dr-to-rm door34 room4) (dr-to-rm door24 room2)
     (dr-to-rm door24 room4) (unlocked door34) (pushable box1) (pushable box2)
     (pushable box3) (locked door24) (arm-empty) (connects door12 room1 room2)
     (connects door13 room1 room3) (connects door34 room3 room4)
     (connects door24 room2 room4) (connects door24 room4 room2)
     (connects door34 room4 room3) (connects door13 room3 room1)
     (connects door12 room2 room1) (dr-open door12) (dr-open door13)
     (inroom robot room1) (inroom box1 room3) (inroom box2 room3)
     (inroom box3 room4))
    :adds ((next-to robot door13)) :dels nil :bindings nil :op-name goto-dr
    :plist nil)
 #s(observation :name strips-prob-38 :state
    ((dr-closed door34) (dr-closed door24) (dr-to-rm door12 room1)
     (dr-to-rm door12 room2) (dr-to-rm door13 room1) (dr-to-rm door13 room3)
     (dr-to-rm door34 room3) (dr-to-rm door34 room4) (dr-to-rm door24 room2)
     (dr-to-rm door24 room4) (unlocked door34) (pushable box1) (pushable box2)
     (pushable box3) (next-to robot door13) (locked door24) (arm-empty)
     (connects door12 room1 room2) (connects door13 room1 room3)
     (connects door34 room3 room4) (connects door24 room2 room4)
     (connects door24 room4 room2) (connects door34 room4 room3)
     (connects door13 room3 room1) (connects door12 room2 room1)
     (dr-open door12) (dr-open door13) (inroom robot room1) (inroom box1 room3)
     (inroom box2 room3) (inroom box3 room4))
    :adds ((inroom robot room3)) :dels ((inroom robot room1)) :bindings nil
    :op-name go-thru-dr :plist nil)
 #s(observation :name strips-prob-39 :state
    ((dr-closed door34) (dr-closed door24) (dr-to-rm door12 room1)
     (dr-to-rm door12 room2) (dr-to-rm door13 room1) (dr-to-rm door13 room3)
     (dr-to-rm door34 room3) (dr-to-rm door34 room4) (dr-to-rm door24 room2)
     (dr-to-rm door24 room4) (unlocked door34) (pushable box1) (pushable box2)
     (pushable box3) (next-to robot door13) (locked door24) (arm-empty)
     (connects door12 room1 room2) (connects door13 room1 room3)
     (connects door34 room3 room4) (connects door24 room2 room4)
     (connects door24 room4 room2) (connects door34 room4 room3)
     (connects door13 room3 room1) (connects door12 room2 room1)
     (dr-open door12) (dr-open door13) (inroom box1 room3) (inroom box2 room3)
     (inroom box3 room4) (inroom robot room3))
    :adds ((next-to robot door34)) :dels ((next-to robot door13)) :bindings nil
    :op-name goto-dr :plist nil)
 #s(observation :name strips-prob-40 :state
    ((dr-closed door34) (dr-closed door24) (dr-to-rm door12 room1)
     (dr-to-rm door12 room2) (dr-to-rm door13 room1) (dr-to-rm door13 room3)
     (dr-to-rm door34 room3) (dr-to-rm door34 room4) (dr-to-rm door24 room2)
     (dr-to-rm door24 room4) (unlocked door34) (pushable box1) (pushable box2)
     (pushable box3) (next-to robot door34) (locked door24) (arm-empty)
     (connects door12 room1 room2) (connects door13 room1 room3)
     (connects door34 room3 room4) (connects door24 room2 room4)
     (connects door24 room4 room2) (connects door34 room4 room3)
     (connects door13 room3 room1) (connects door12 room2 room1)
     (dr-open door12) (dr-open door13) (inroom box1 room3) (inroom box2 room3)
     (inroom box3 room4) (inroom robot room3))
    :adds ((dr-open door34)) :dels ((dr-closed door34)) :bindings nil :op-name
    open-door :plist nil)
 #s(observation :name strips-prob-41 :state
    ((dr-closed door24) (dr-to-rm door12 room1) (dr-to-rm door12 room2)
     (dr-to-rm door13 room1) (dr-to-rm door13 room3) (dr-to-rm door34 room3)
     (dr-to-rm door34 room4) (dr-to-rm door24 room2) (dr-to-rm door24 room4)
     (unlocked door34) (pushable box1) (pushable box2) (pushable box3)
     (next-to robot door34) (locked door24) (arm-empty)
     (connects door12 room1 room2) (connects door13 room1 room3)
     (connects door34 room3 room4) (connects door24 room2 room4)
     (connects door24 room4 room2) (connects door34 room4 room3)
     (connects door13 room3 room1) (connects door12 room2 room1)
     (dr-open door12) (dr-open door13) (dr-open door34) (inroom box1 room3)
     (inroom box2 room3) (inroom box3 room4) (inroom robot room3))
    :adds ((inroom robot room4)) :dels ((inroom robot room3)) :bindings nil
    :op-name go-thru-dr :plist nil)
 #s(observation :name strips-prob-42 :state
    ((dr-closed door24) (dr-to-rm door12 room1) (dr-to-rm door12 room2)
     (dr-to-rm door13 room1) (dr-to-rm door13 room3) (dr-to-rm door34 room3)
     (dr-to-rm door34 room4) (dr-to-rm door24 room2) (dr-to-rm door24 room4)
     (unlocked door34) (pushable box1) (pushable box2) (pushable box3)
     (next-to robot door34) (locked door24) (arm-empty)
     (connects door12 room1 room2) (connects door13 room1 room3)
     (connects door34 room3 room4) (connects door24 room2 room4)
     (connects door24 room4 room2) (connects door34 room4 room3)
     (connects door13 room3 room1) (connects door12 room2 room1)
     (dr-open door12) (dr-open door13) (dr-open door34) (inroom box1 room3)
     (inroom box2 room3) (inroom box3 room4) (inroom robot room4))
    :adds ((dr-closed door34)) :dels ((dr-open door34)) :bindings nil :op-name
    close-door :plist nil)
 #s(observation :name strips-prob-43 :state
    ((dr-closed door34) (dr-closed door24) (dr-to-rm door12 room1)
     (dr-to-rm door12 room2) (dr-to-rm door13 room1) (dr-to-rm door13 room3)
     (dr-to-rm door34 room3) (dr-to-rm door34 room4) (dr-to-rm door24 room2)
     (dr-to-rm door24 room4) (unlocked door34) (pushable box1) (pushable box2)
     (pushable box3) (next-to robot door34) (locked door24) (arm-empty)
     (connects door12 room1 room2) (connects door13 room1 room3)
     (connects door34 room3 room4) (connects door24 room2 room4)
     (connects door24 room4 room2) (connects door34 room4 room3)
     (connects door13 room3 room1) (connects door12 room2 room1)
     (dr-open door12) (dr-open door13) (inroom box1 room3) (inroom box2 room3)
     (inroom box3 room4) (inroom robot room4))
    :adds ((next-to robot box3)) :dels ((next-to robot door34)) :bindings nil
    :op-name goto-obj :plist nil)) 
(#s(observation :name test-44 :state
    ((next-to robot b) (next-to b dr12) (arm-empty) (inroom b rm1)
     (carriable b))
    :adds ((holding b)) :dels ((next-to b dr12) (arm-empty)) :bindings nil
    :op-name pickup-obj :plist nil)) 