; Number of problems: 25 
; Number of blocks: 5 
; Number of goals: 5 
(setq *TEST-PROBS* '(

(ST-76
 (and (next-to robot e) (locked dclkril) (inroom d rram)
  (inroom robot rril) (inroom b runi))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to e a) (unlocked dclkril) (dr-open dclkril)
  (dr-closed dpdpclk) (locked dpdpclk) (unlocked dramclk)
  (dr-open dramclk) (dr-closed dmyspdp) (locked dmyspdp)
  (dr-closed dramhal) (locked dramhal) (unlocked dmysram)
  (dr-closed dmysram) (unlocked dunimys) (dr-open dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable e)
  (carriable d) (carriable c) (carriable b) (carriable a)
  (pushable e) (pushable d) (pushable a) (is-object clkril-key)
  (is-object pdpclk-key) (is-object ramclk-key)
  (is-object myspdp-key) (is-object ramhal-key)
  (is-object mysram-key) (is-object unimys-key) (is-object e) (is-box e)
  (is-object d) (is-box d) (is-object c) (is-box c) (is-object b) (is-box b) (is-object a) (is-box a)
  (inroom e rril) (inroom d rhal) (inroom c rclk) (inroom b rram)
  (inroom a rril) (inroom clkril-key rhal) (inroom pdpclk-key rpdp)
  (inroom ramclk-key rclk) (inroom myspdp-key rram)
  (inroom ramhal-key rpdp) (inroom mysram-key rhal)
  (inroom unimys-key rpdp) (inroom robot runi) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-77
 (and (holding myspdp-key) (unlocked dclkril) (locked dpdpclk)
  (inroom c rmys) (inroom e rhal))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to a d) (dr-closed dclkril) (locked dclkril)
  (unlocked dpdpclk) (dr-closed dpdpclk) (unlocked dramclk)
  (dr-closed dramclk) (unlocked dmyspdp) (dr-open dmyspdp)
  (unlocked dramhal) (dr-closed dramhal) (dr-closed dmysram)
  (locked dmysram) (unlocked dunimys) (dr-open dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable a)
  (pushable e) (pushable c) (is-object clkril-key)
  (is-object pdpclk-key) (is-object ramclk-key)
  (is-object myspdp-key) (is-object ramhal-key)
  (is-object mysram-key) (is-object unimys-key) (is-object e) (is-box e)
  (is-object d) (is-box d) (is-object c) (is-box c) (is-object b) (is-box b) (is-object a) (is-box a)
  (inroom e rhal) (inroom d rpdp) (inroom c rmys) (inroom b rram)
  (inroom a rpdp) (inroom clkril-key runi) (inroom pdpclk-key rhal)
  (inroom ramclk-key runi) (inroom myspdp-key rpdp)
  (inroom ramhal-key rclk) (inroom mysram-key runi)
  (inroom unimys-key rclk) (inroom robot rclk) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-78
 (and (inroom mysram-key rril) (arm-empty) (next-to robot d)
  (inroom c rram) (dr-closed dmysram))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to robot a) (unlocked dclkril) (dr-open dclkril)
  (dr-closed dpdpclk) (locked dpdpclk) (unlocked dramclk)
  (dr-closed dramclk) (unlocked dmyspdp) (dr-closed dmyspdp)
  (unlocked dramhal) (dr-closed dramhal) (unlocked dmysram)
  (dr-open dmysram) (dr-closed dunimys) (locked dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable d)
  (carriable c) (pushable b) (pushable a) (is-object clkril-key)
  (is-object pdpclk-key) (is-object ramclk-key)
  (is-object myspdp-key) (is-object ramhal-key)
  (is-object mysram-key) (is-object unimys-key) (is-object e) (is-box e)
  (is-object d) (is-box d) (is-object c) (is-box c) (is-object b) (is-box b) (is-object a) (is-box a)
  (inroom e rhal) (inroom d rpdp) (inroom c rram) (inroom b runi)
  (inroom a rclk) (inroom clkril-key rclk) (inroom pdpclk-key rhal)
  (inroom ramclk-key rmys) (inroom myspdp-key rclk)
  (inroom ramhal-key rclk) (inroom mysram-key runi)
  (inroom unimys-key runi) (inroom robot rclk) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-79
 (and (arm-empty) (locked dclkril) (locked dramhal)
  (unlocked dunimys) (inroom c rmys))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to robot b) (next-to a c) (unlocked dclkril)
  (dr-closed dclkril) (unlocked dpdpclk) (dr-open dpdpclk)
  (unlocked dramclk) (dr-open dramclk) (unlocked dmyspdp)
  (dr-closed dmyspdp) (unlocked dramhal) (dr-closed dramhal)
  (dr-closed dmysram) (locked dmysram) (unlocked dunimys)
  (dr-closed dunimys) (is-room rril) (is-room rclk) (is-room rpdp)
  (is-room rhal) (is-room rram) (is-room rmys) (is-room runi)
  (is-door dclkril) (is-door dpdpclk) (is-door dramclk)
  (is-door dmyspdp) (is-door dramhal) (is-door dmysram)
  (is-door dunimys) (carriable e) (pushable e) (pushable d)
  (pushable c) (pushable a) (is-object clkril-key)
  (is-object pdpclk-key) (is-object ramclk-key)
  (is-object myspdp-key) (is-object ramhal-key)
  (is-object mysram-key) (is-object unimys-key) (is-object e) (is-box e)
  (is-object d) (is-box d) (is-object c) (is-box c) (is-object b) (is-box b) (is-object a) (is-box a)
  (inroom e rhal) (inroom d rmys) (inroom c rril) (inroom b rram)
  (inroom a rril) (inroom clkril-key rmys) (inroom pdpclk-key rclk)
  (inroom ramclk-key rhal) (inroom myspdp-key rhal)
  (inroom ramhal-key rmys) (inroom mysram-key runi)
  (inroom unimys-key rpdp) (inroom robot rram) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-80
 (and (inroom robot rmys) (holding myspdp-key) (arm-empty)
  (inroom a rclk) (inroom ramhal-key runi))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to robot b) (unlocked dclkril) (dr-open dclkril)
  (dr-closed dpdpclk) (locked dpdpclk) (dr-closed dramclk)
  (locked dramclk) (dr-closed dmyspdp) (locked dmyspdp)
  (unlocked dramhal) (dr-closed dramhal) (unlocked dmysram)
  (dr-closed dmysram) (dr-closed dunimys) (locked dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable e)
  (carriable b) (pushable e) (pushable d) (pushable a)
  (is-object clkril-key) (is-object pdpclk-key)
  (is-object ramclk-key) (is-object myspdp-key)
  (is-object ramhal-key) (is-object mysram-key)
  (is-object unimys-key) (is-object e) (is-box e) (is-object d) (is-box d) (is-object c) (is-box c)
  (is-object b) (is-box b) (is-object a) (is-box a) (inroom e rpdp) (inroom d rhal)
  (inroom c rram) (inroom b runi) (inroom a rril)
  (inroom clkril-key rril) (inroom pdpclk-key rril)
  (inroom ramclk-key rram) (inroom myspdp-key rmys)
  (inroom ramhal-key rril) (inroom mysram-key rclk)
  (inroom unimys-key rclk) (inroom robot runi) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-81
 (and (inroom pdpclk-key rram) (inroom robot rclk) (next-to c e)
  (inroom c runi) (inroom b rril))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to robot d) (dr-closed dclkril) (locked dclkril)
  (unlocked dpdpclk) (dr-open dpdpclk) (unlocked dramclk)
  (dr-closed dramclk) (unlocked dmyspdp) (dr-closed dmyspdp)
  (unlocked dramhal) (dr-closed dramhal) (dr-closed dmysram)
  (locked dmysram) (unlocked dunimys) (dr-closed dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable d)
  (carriable b) (carriable a) (pushable e) (pushable c) (pushable a)
  (is-object clkril-key) (is-object pdpclk-key)
  (is-object ramclk-key) (is-object myspdp-key)
  (is-object ramhal-key) (is-object mysram-key)
  (is-object unimys-key) (is-object e) (is-box e) (is-object d) (is-box d) (is-object c) (is-box c)
  (is-object b) (is-box b) (is-object a) (is-box a) (inroom e runi) (inroom d rclk)
  (inroom c rram) (inroom b rmys) (inroom a rpdp)
  (inroom clkril-key rpdp) (inroom pdpclk-key rmys)
  (inroom ramclk-key rclk) (inroom myspdp-key rclk)
  (inroom ramhal-key rclk) (inroom mysram-key rmys)
  (inroom unimys-key runi) (inroom robot rclk) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-82
 (and (next-to robot e) (dr-closed dclkril) (locked dclkril)
  (unlocked dramclk) (inroom b rram))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to robot c) (next-to a b) (unlocked dclkril)
  (dr-open dclkril) (unlocked dpdpclk) (dr-closed dpdpclk)
  (dr-closed dramclk) (locked dramclk) (unlocked dmyspdp)
  (dr-closed dmyspdp) (unlocked dramhal) (dr-open dramhal)
  (unlocked dmysram) (dr-closed dmysram) (unlocked dunimys)
  (dr-open dunimys) (is-room rril) (is-room rclk) (is-room rpdp)
  (is-room rhal) (is-room rram) (is-room rmys) (is-room runi)
  (is-door dclkril) (is-door dpdpclk) (is-door dramclk)
  (is-door dmyspdp) (is-door dramhal) (is-door dmysram)
  (is-door dunimys) (carriable e) (pushable d) (pushable c)
  (pushable b) (is-object clkril-key) (is-object pdpclk-key)
  (is-object ramclk-key) (is-object myspdp-key)
  (is-object ramhal-key) (is-object mysram-key)
  (is-object unimys-key) (is-object e) (is-box e) (is-object d) (is-box d) (is-object c) (is-box c)
  (is-object b) (is-box b) (is-object a) (is-box a) (inroom e rclk) (inroom d rril)
  (inroom c rpdp) (inroom b rhal) (inroom a rhal)
  (inroom clkril-key rhal) (inroom pdpclk-key rhal)
  (inroom ramclk-key rclk) (inroom myspdp-key runi)
  (inroom ramhal-key rclk) (inroom mysram-key rril)
  (inroom unimys-key runi) (inroom robot rpdp) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-83
 (and (unlocked dramclk) (dr-closed dunimys) (inroom a runi)
  (inroom ramclk-key rril) (inroom robot rpdp))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to b c) (next-to d b) (dr-closed dclkril) (locked dclkril)
  (dr-closed dpdpclk) (locked dpdpclk) (dr-closed dramclk)
  (locked dramclk) (unlocked dmyspdp) (dr-closed dmyspdp)
  (unlocked dramhal) (dr-closed dramhal) (unlocked dmysram)
  (dr-open dmysram) (unlocked dunimys) (dr-open dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable d)
  (carriable a) (is-object clkril-key) (is-object pdpclk-key)
  (is-object ramclk-key) (is-object myspdp-key)
  (is-object ramhal-key) (is-object mysram-key)
  (is-object unimys-key) (is-object e) (is-box e) (is-object d) (is-box d) (is-object c) (is-box c)
  (is-object b) (is-box b) (is-object a) (is-box a) (inroom e rram) (inroom d rmys)
  (inroom c rmys) (inroom b rmys) (inroom a rclk)
  (inroom clkril-key rhal) (inroom pdpclk-key rpdp)
  (inroom ramclk-key rram) (inroom myspdp-key rhal)
  (inroom ramhal-key rpdp) (inroom mysram-key runi)
  (inroom unimys-key runi) (inroom robot rhal) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-84
 (and (inroom robot runi) (inroom ramclk-key rmys)
  (inroom clkril-key rmys) (inroom mysram-key rclk) (inroom e rpdp))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to robot c) (next-to d c) (unlocked dclkril)
  (dr-closed dclkril) (dr-closed dpdpclk) (locked dpdpclk)
  (unlocked dramclk) (dr-closed dramclk) (dr-closed dmyspdp)
  (locked dmyspdp) (dr-closed dramhal) (locked dramhal)
  (unlocked dmysram) (dr-closed dmysram) (dr-closed dunimys)
  (locked dunimys) (is-room rril) (is-room rclk) (is-room rpdp)
  (is-room rhal) (is-room rram) (is-room rmys) (is-room runi)
  (is-door dclkril) (is-door dpdpclk) (is-door dramclk)
  (is-door dmyspdp) (is-door dramhal) (is-door dmysram)
  (is-door dunimys) (carriable e) (carriable b) (carriable a)
  (pushable e) (pushable a) (is-object clkril-key)
  (is-object pdpclk-key) (is-object ramclk-key)
  (is-object myspdp-key) (is-object ramhal-key)
  (is-object mysram-key) (is-object unimys-key) (is-object e) (is-box e)
  (is-object d) (is-box d) (is-object c) (is-box c) (is-object b) (is-box b) (is-object a) (is-box a)
  (inroom e runi) (inroom d rpdp) (inroom c rpdp) (inroom b rhal)
  (inroom a rclk) (inroom clkril-key rril) (inroom pdpclk-key runi)
  (inroom ramclk-key rpdp) (inroom myspdp-key rram)
  (inroom ramhal-key rhal) (inroom mysram-key runi)
  (inroom unimys-key runi) (inroom robot rpdp) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-85
 (and (dr-closed dramhal) (holding b) (inroom robot rhal)
  (inroom ramhal-key runi) (inroom c rram))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to robot e) (unlocked dclkril) (dr-open dclkril)
  (unlocked dpdpclk) (dr-open dpdpclk) (unlocked dramclk)
  (dr-open dramclk) (dr-closed dmyspdp) (locked dmyspdp)
  (unlocked dramhal) (dr-open dramhal) (dr-closed dmysram)
  (locked dmysram) (unlocked dunimys) (dr-open dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable c)
  (carriable a) (pushable d) (pushable b) (is-object clkril-key)
  (is-object pdpclk-key) (is-object ramclk-key)
  (is-object myspdp-key) (is-object ramhal-key)
  (is-object mysram-key) (is-object unimys-key) (is-object e) (is-box e)
  (is-object d) (is-box d) (is-object c) (is-box c) (is-object b) (is-box b) (is-object a) (is-box a)
  (inroom e rclk) (inroom d rmys) (inroom c rpdp) (inroom b runi)
  (inroom a rram) (inroom clkril-key rmys) (inroom pdpclk-key rhal)
  (inroom ramclk-key rril) (inroom myspdp-key rram)
  (inroom ramhal-key rclk) (inroom mysram-key rhal)
  (inroom unimys-key rmys) (inroom robot rclk) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-86
 (and (inroom d rclk) (inroom ramclk-key rclk) (dr-closed dpdpclk)
  (inroom robot rril) (dr-open dramhal))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to robot b) (next-to c b) (next-to d a) (dr-closed dclkril)
  (locked dclkril) (unlocked dpdpclk) (dr-closed dpdpclk)
  (dr-closed dramclk) (locked dramclk) (unlocked dmyspdp)
  (dr-open dmyspdp) (unlocked dramhal) (dr-closed dramhal)
  (dr-closed dmysram) (locked dmysram) (unlocked dunimys)
  (dr-open dunimys) (is-room rril) (is-room rclk) (is-room rpdp)
  (is-room rhal) (is-room rram) (is-room rmys) (is-room runi)
  (is-door dclkril) (is-door dpdpclk) (is-door dramclk)
  (is-door dmyspdp) (is-door dramhal) (is-door dmysram)
  (is-door dunimys) (carriable c) (pushable d) (pushable c)
  (pushable b) (is-object clkril-key) (is-object pdpclk-key)
  (is-object ramclk-key) (is-object myspdp-key)
  (is-object ramhal-key) (is-object mysram-key)
  (is-object unimys-key) (is-object e) (is-box e) (is-object d) (is-box d) (is-object c) (is-box c)
  (is-object b) (is-box b) (is-object a) (is-box a) (inroom e runi) (inroom d rril)
  (inroom c rhal) (inroom b rhal) (inroom a rril)
  (inroom clkril-key rhal) (inroom pdpclk-key rril)
  (inroom ramclk-key rmys) (inroom myspdp-key rpdp)
  (inroom ramhal-key rpdp) (inroom mysram-key rpdp)
  (inroom unimys-key rclk) (inroom robot rhal) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-87
 (and (inroom pdpclk-key rhal) (inroom d rram) (inroom robot rclk)
  (dr-closed dclkril) (arm-empty))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to robot c) (unlocked dclkril) (dr-open dclkril)
  (unlocked dpdpclk) (dr-closed dpdpclk) (dr-closed dramclk)
  (locked dramclk) (unlocked dmyspdp) (dr-open dmyspdp)
  (dr-closed dramhal) (locked dramhal) (unlocked dmysram)
  (dr-closed dmysram) (dr-closed dunimys) (locked dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable e)
  (carriable d) (pushable b) (pushable a) (is-object clkril-key)
  (is-object pdpclk-key) (is-object ramclk-key)
  (is-object myspdp-key) (is-object ramhal-key)
  (is-object mysram-key) (is-object unimys-key) (is-object e) (is-box e)
  (is-object d) (is-box d) (is-object c) (is-box c) (is-object b) (is-box b) (is-object a) (is-box a)
  (inroom e rpdp) (inroom d rram) (inroom c rclk) (inroom b rril)
  (inroom a rmys) (inroom clkril-key rmys) (inroom pdpclk-key rril)
  (inroom ramclk-key rclk) (inroom myspdp-key rram)
  (inroom ramhal-key rpdp) (inroom mysram-key rclk)
  (inroom unimys-key rclk) (inroom robot rclk) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-88
 (and (inroom a rmys) (inroom c rhal) (next-to b d) (inroom e rril)
  (dr-open dmysram))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to c e) (unlocked dclkril) (dr-closed dclkril)
  (unlocked dpdpclk) (dr-closed dpdpclk) (dr-closed dramclk)
  (locked dramclk) (dr-closed dmyspdp) (locked dmyspdp)
  (dr-closed dramhal) (locked dramhal) (dr-closed dmysram)
  (locked dmysram) (dr-closed dunimys) (locked dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable c)
  (carriable a) (pushable e) (pushable b) (pushable a)
  (is-object clkril-key) (is-object pdpclk-key)
  (is-object ramclk-key) (is-object myspdp-key)
  (is-object ramhal-key) (is-object mysram-key)
  (is-object unimys-key) (is-object e) (is-box e) (is-object d) (is-box d) (is-object c) (is-box c)
  (is-object b) (is-box b) (is-object a) (is-box a) (inroom e rclk) (inroom d runi)
  (inroom c rclk) (inroom b rhal) (inroom a rram)
  (inroom clkril-key rril) (inroom pdpclk-key rclk)
  (inroom ramclk-key runi) (inroom myspdp-key rpdp)
  (inroom ramhal-key runi) (inroom mysram-key runi)
  (inroom unimys-key runi) (inroom robot rril) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-89
 (and (inroom clkril-key rpdp) (inroom c rril) (locked dramclk)
  (next-to d b) (inroom a rclk))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (unlocked dclkril) (dr-open dclkril) (dr-closed dpdpclk)
  (locked dpdpclk) (unlocked dramclk) (dr-open dramclk)
  (unlocked dmyspdp) (dr-closed dmyspdp) (unlocked dramhal)
  (dr-open dramhal) (dr-closed dmysram) (locked dmysram)
  (dr-closed dunimys) (locked dunimys) (is-room rril) (is-room rclk)
  (is-room rpdp) (is-room rhal) (is-room rram) (is-room rmys)
  (is-room runi) (is-door dclkril) (is-door dpdpclk)
  (is-door dramclk) (is-door dmyspdp) (is-door dramhal)
  (is-door dmysram) (is-door dunimys) (carriable e) (carriable d)
  (carriable c) (pushable b) (pushable a) (is-object clkril-key)
  (is-object pdpclk-key) (is-object ramclk-key)
  (is-object myspdp-key) (is-object ramhal-key)
  (is-object mysram-key) (is-object unimys-key) (is-object e) (is-box e)
  (is-object d) (is-box d) (is-object c) (is-box c) (is-object b) (is-box b) (is-object a) (is-box a)
  (inroom e rram) (inroom d rril) (inroom c runi) (inroom b rpdp)
  (inroom a rmys) (inroom clkril-key runi) (inroom pdpclk-key rril)
  (inroom ramclk-key rmys) (inroom myspdp-key rmys)
  (inroom ramhal-key runi) (inroom mysram-key runi)
  (inroom unimys-key runi) (inroom robot rhal) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-90
 (and (inroom e rclk) (dr-closed dmyspdp) (inroom d rmys)
  (dr-open dpdpclk) (inroom a rclk))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to c d) (unlocked dclkril) (dr-closed dclkril)
  (dr-closed dpdpclk) (locked dpdpclk) (unlocked dramclk)
  (dr-closed dramclk) (unlocked dmyspdp) (dr-open dmyspdp)
  (dr-closed dramhal) (locked dramhal) (unlocked dmysram)
  (dr-open dmysram) (dr-closed dunimys) (locked dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable e)
  (carriable d) (carriable b) (pushable e) (pushable d) (pushable a)
  (is-object clkril-key) (is-object pdpclk-key)
  (is-object ramclk-key) (is-object myspdp-key)
  (is-object ramhal-key) (is-object mysram-key)
  (is-object unimys-key) (is-object e) (is-box e) (is-object d) (is-box d) (is-object c) (is-box c)
  (is-object b) (is-box b) (is-object a) (is-box a) (inroom e rmys) (inroom d rpdp)
  (inroom c rpdp) (inroom b runi) (inroom a rril)
  (inroom clkril-key rhal) (inroom pdpclk-key rhal)
  (inroom ramclk-key rclk) (inroom myspdp-key rhal)
  (inroom ramhal-key rram) (inroom mysram-key rclk)
  (inroom unimys-key rram) (inroom robot rhal) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-91
 (and (inroom a rclk) (inroom e rram) (inroom b rpdp)
  (dr-closed dunimys) (holding d))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to robot b) (unlocked dclkril) (dr-closed dclkril)
  (dr-closed dpdpclk) (locked dpdpclk) (unlocked dramclk)
  (dr-open dramclk) (unlocked dmyspdp) (dr-closed dmyspdp)
  (unlocked dramhal) (dr-open dramhal) (dr-closed dmysram)
  (locked dmysram) (unlocked dunimys) (dr-open dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable e)
  (carriable c) (carriable b) (carriable a) (pushable e) (pushable d)
  (is-object clkril-key) (is-object pdpclk-key)
  (is-object ramclk-key) (is-object myspdp-key)
  (is-object ramhal-key) (is-object mysram-key)
  (is-object unimys-key) (is-object e) (is-box e) (is-object d) (is-box d) (is-object c) (is-box c)
  (is-object b) (is-box b) (is-object a) (is-box a) (inroom e rpdp) (inroom d rmys)
  (inroom c rril) (inroom b runi) (inroom a rclk)
  (inroom clkril-key rhal) (inroom pdpclk-key rpdp)
  (inroom ramclk-key rclk) (inroom myspdp-key rmys)
  (inroom ramhal-key rmys) (inroom mysram-key rclk)
  (inroom unimys-key runi) (inroom robot runi) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-92
 (and (unlocked dclkril) (dr-open dunimys) (inroom pdpclk-key rclk)
  (dr-closed dramhal) (inroom robot rclk))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (dr-closed dclkril) (locked dclkril) (unlocked dpdpclk)
  (dr-closed dpdpclk) (unlocked dramclk) (dr-open dramclk)
  (unlocked dmyspdp) (dr-closed dmyspdp) (unlocked dramhal)
  (dr-closed dramhal) (unlocked dmysram) (dr-closed dmysram)
  (unlocked dunimys) (dr-closed dunimys) (is-room rril)
  (is-room rclk) (is-room rpdp) (is-room rhal) (is-room rram)
  (is-room rmys) (is-room runi) (is-door dclkril) (is-door dpdpclk)
  (is-door dramclk) (is-door dmyspdp) (is-door dramhal)
  (is-door dmysram) (is-door dunimys) (carriable c) (carriable b)
  (pushable c) (is-object clkril-key) (is-object pdpclk-key)
  (is-object ramclk-key) (is-object myspdp-key)
  (is-object ramhal-key) (is-object mysram-key)
  (is-object unimys-key) (is-object e) (is-box e) (is-object d) (is-box d) (is-object c) (is-box c)
  (is-object b) (is-box b) (is-object a) (is-box a) (inroom e rhal) (inroom d rmys)
  (inroom c rmys) (inroom b runi) (inroom a rril)
  (inroom clkril-key rpdp) (inroom pdpclk-key runi)
  (inroom ramclk-key rram) (inroom myspdp-key rmys)
  (inroom ramhal-key runi) (inroom mysram-key rpdp)
  (inroom unimys-key rpdp) (inroom robot rpdp) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-93
 (and (holding b) (locked dramhal) (inroom c rclk)
  (inroom unimys-key rclk) (dr-open dclkril))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to c d) (unlocked dclkril) (dr-closed dclkril)
  (unlocked dpdpclk) (dr-open dpdpclk) (unlocked dramclk)
  (dr-open dramclk) (dr-closed dmyspdp) (locked dmyspdp)
  (unlocked dramhal) (dr-closed dramhal) (unlocked dmysram)
  (dr-open dmysram) (dr-closed dunimys) (locked dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable c)
  (pushable e) (pushable c) (pushable a) (is-object clkril-key)
  (is-object pdpclk-key) (is-object ramclk-key)
  (is-object myspdp-key) (is-object ramhal-key)
  (is-object mysram-key) (is-object unimys-key) (is-object e) (is-box e)
  (is-object d) (is-box d) (is-object c) (is-box c) (is-object b) (is-box b) (is-object a) (is-box a)
  (inroom e rmys) (inroom d rpdp) (inroom c rpdp) (inroom b runi)
  (inroom a rril) (inroom clkril-key rpdp) (inroom pdpclk-key rclk)
  (inroom ramclk-key runi) (inroom myspdp-key runi)
  (inroom ramhal-key rpdp) (inroom mysram-key rram)
  (inroom unimys-key rhal) (inroom robot rhal) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-94
 (and (locked dpdpclk) (next-to robot a) (inroom a rmys)
  (dr-closed dramclk) (inroom robot rmys))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (unlocked dclkril) (dr-closed dclkril) (unlocked dpdpclk)
  (dr-closed dpdpclk) (unlocked dramclk) (dr-open dramclk)
  (dr-closed dmyspdp) (locked dmyspdp) (unlocked dramhal)
  (dr-open dramhal) (dr-closed dmysram) (locked dmysram)
  (unlocked dunimys) (dr-open dunimys) (is-room rril) (is-room rclk)
  (is-room rpdp) (is-room rhal) (is-room rram) (is-room rmys)
  (is-room runi) (is-door dclkril) (is-door dpdpclk)
  (is-door dramclk) (is-door dmyspdp) (is-door dramhal)
  (is-door dmysram) (is-door dunimys) (carriable e) (carriable b)
  (carriable a) (pushable e) (pushable b) (pushable a)
  (is-object clkril-key) (is-object pdpclk-key)
  (is-object ramclk-key) (is-object myspdp-key)
  (is-object ramhal-key) (is-object mysram-key)
  (is-object unimys-key) (is-object e) (is-box e) (is-object d) (is-box d) (is-object c) (is-box c)
  (is-object b) (is-box b) (is-object a) (is-box a) (inroom e rram) (inroom d rhal)
  (inroom c rmys) (inroom b rpdp) (inroom a rmys)
  (inroom clkril-key rclk) (inroom pdpclk-key rmys)
  (inroom ramclk-key rril) (inroom myspdp-key rmys)
  (inroom ramhal-key rril) (inroom mysram-key runi)
  (inroom unimys-key rclk) (inroom robot rril) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-95
 (and (inroom ramhal-key rril) (inroom c rril) (inroom b rmys)
  (dr-closed dramclk) (dr-closed dmyspdp))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to a d) (next-to b e) (dr-closed dclkril) (locked dclkril)
  (unlocked dpdpclk) (dr-closed dpdpclk) (unlocked dramclk)
  (dr-open dramclk) (unlocked dmyspdp) (dr-closed dmyspdp)
  (unlocked dramhal) (dr-closed dramhal) (unlocked dmysram)
  (dr-closed dmysram) (unlocked dunimys) (dr-open dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable d)
  (carriable c) (carriable b) (pushable c) (is-object clkril-key)
  (is-object pdpclk-key) (is-object ramclk-key)
  (is-object myspdp-key) (is-object ramhal-key)
  (is-object mysram-key) (is-object unimys-key) (is-object e) (is-box e)
  (is-object d) (is-box d) (is-object c) (is-box c) (is-object b) (is-box b) (is-object a) (is-box a)
  (inroom e rril) (inroom d rclk) (inroom c rram) (inroom b rril)
  (inroom a rclk) (inroom clkril-key runi) (inroom pdpclk-key rhal)
  (inroom ramclk-key rmys) (inroom myspdp-key rmys)
  (inroom ramhal-key rmys) (inroom mysram-key rmys)
  (inroom unimys-key rhal) (inroom robot rpdp) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-96
 (and (inroom myspdp-key rram) (holding ramclk-key)
  (dr-closed dramclk) (dr-open dpdpclk) (inroom a rclk))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to c e) (unlocked dclkril) (dr-open dclkril)
  (unlocked dpdpclk) (dr-closed dpdpclk) (unlocked dramclk)
  (dr-closed dramclk) (unlocked dmyspdp) (dr-closed dmyspdp)
  (unlocked dramhal) (dr-open dramhal) (dr-closed dmysram)
  (locked dmysram) (dr-closed dunimys) (locked dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable e)
  (carriable a) (pushable e) (pushable a) (is-object clkril-key)
  (is-object pdpclk-key) (is-object ramclk-key)
  (is-object myspdp-key) (is-object ramhal-key)
  (is-object mysram-key) (is-object unimys-key) (is-object e) (is-box e)
  (is-object d) (is-box d) (is-object c) (is-box c) (is-object b) (is-box b) (is-object a) (is-box a)
  (inroom e runi) (inroom d rhal) (inroom c runi) (inroom b rclk)
  (inroom a rmys) (inroom clkril-key rmys) (inroom pdpclk-key rmys)
  (inroom ramclk-key rhal) (inroom myspdp-key rril)
  (inroom ramhal-key rril) (inroom mysram-key rmys)
  (inroom unimys-key rhal) (inroom robot rril) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-97
 (and (next-to robot e) (inroom d rclk) (inroom b rril)
  (dr-closed dpdpclk) (inroom robot rram))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to a b) (next-to d b) (unlocked dclkril) (dr-closed dclkril)
  (dr-closed dpdpclk) (locked dpdpclk) (unlocked dramclk)
  (dr-open dramclk) (unlocked dmyspdp) (dr-closed dmyspdp)
  (unlocked dramhal) (dr-open dramhal) (unlocked dmysram)
  (dr-closed dmysram) (unlocked dunimys) (dr-closed dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable d)
  (pushable e) (pushable d) (pushable b) (pushable a)
  (is-object clkril-key) (is-object pdpclk-key)
  (is-object ramclk-key) (is-object myspdp-key)
  (is-object ramhal-key) (is-object mysram-key)
  (is-object unimys-key) (is-object e) (is-box e) (is-object d) (is-box d) (is-object c) (is-box c)
  (is-object b) (is-box b) (is-object a) (is-box a) (inroom e rpdp) (inroom d rram)
  (inroom c rclk) (inroom b rram) (inroom a rram)
  (inroom clkril-key rram) (inroom pdpclk-key rmys)
  (inroom ramclk-key rclk) (inroom myspdp-key rhal)
  (inroom ramhal-key runi) (inroom mysram-key runi)
  (inroom unimys-key rclk) (inroom robot rmys) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-98
 (and (dr-open dramclk) (inroom c rram) (arm-empty)
  (dr-closed dramhal) (inroom b rram))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to robot d) (next-to e b) (unlocked dclkril)
  (dr-closed dclkril) (dr-closed dpdpclk) (locked dpdpclk)
  (dr-closed dramclk) (locked dramclk) (dr-closed dmyspdp)
  (locked dmyspdp) (unlocked dramhal) (dr-open dramhal)
  (unlocked dmysram) (dr-open dmysram) (dr-closed dunimys)
  (locked dunimys) (is-room rril) (is-room rclk) (is-room rpdp)
  (is-room rhal) (is-room rram) (is-room rmys) (is-room runi)
  (is-door dclkril) (is-door dpdpclk) (is-door dramclk)
  (is-door dmyspdp) (is-door dramhal) (is-door dmysram)
  (is-door dunimys) (carriable e) (carriable c) (carriable b)
  (pushable e) (pushable d) (is-object clkril-key)
  (is-object pdpclk-key) (is-object ramclk-key)
  (is-object myspdp-key) (is-object ramhal-key)
  (is-object mysram-key) (is-object unimys-key) (is-object e) (is-box e)
  (is-object d) (is-box d) (is-object c) (is-box c) (is-object b) (is-box b) (is-object a) (is-box a)
  (inroom e rmys) (inroom d rmys) (inroom c rril) (inroom b rmys)
  (inroom a rclk) (inroom clkril-key rpdp) (inroom pdpclk-key rram)
  (inroom ramclk-key runi) (inroom myspdp-key rpdp)
  (inroom ramhal-key rram) (inroom mysram-key rril)
  (inroom unimys-key runi) (inroom robot rmys) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-99
 (and (arm-empty) (inroom b runi) (inroom a rril) (unlocked dpdpclk)
  (unlocked dmyspdp))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to b e) (next-to c d) (unlocked dclkril) (dr-closed dclkril)
  (dr-closed dpdpclk) (locked dpdpclk) (unlocked dramclk)
  (dr-open dramclk) (unlocked dmyspdp) (dr-closed dmyspdp)
  (dr-closed dramhal) (locked dramhal) (unlocked dmysram)
  (dr-open dmysram) (dr-closed dunimys) (locked dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable e)
  (carriable c) (pushable e) (pushable d) (pushable c) (pushable b)
  (pushable a) (is-object clkril-key) (is-object pdpclk-key)
  (is-object ramclk-key) (is-object myspdp-key)
  (is-object ramhal-key) (is-object mysram-key)
  (is-object unimys-key) (is-object e) (is-box e) (is-object d) (is-box d) (is-object c) (is-box c)
  (is-object b) (is-box b) (is-object a) (is-box a) (inroom e rhal) (inroom d rril)
  (inroom c rril) (inroom b rhal) (inroom a rclk)
  (inroom clkril-key rram) (inroom pdpclk-key rpdp)
  (inroom ramclk-key rclk) (inroom myspdp-key rril)
  (inroom ramhal-key rclk) (inroom mysram-key rril)
  (inroom unimys-key rram) (inroom robot rram) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
(ST-100
 (and (next-to d a) (unlocked dpdpclk) (locked dunimys)
  (dr-closed dpdpclk) (arm-empty))
 ((arm-empty) (dr-to-rm dclkril rril) (dr-to-rm dclkril rclk)
  (connects dclkril rril rclk) (connects dclkril rclk rril)
  (dr-to-rm dpdpclk rclk) (dr-to-rm dpdpclk rpdp)
  (connects dpdpclk rclk rpdp) (connects dpdpclk rpdp rclk)
  (dr-to-rm dramclk rclk) (dr-to-rm dramclk rram)
  (connects dramclk rclk rram) (connects dramclk rram rclk)
  (dr-to-rm dmyspdp rpdp) (dr-to-rm dmyspdp rmys)
  (connects dmyspdp rpdp rmys) (connects dmyspdp rmys rpdp)
  (dr-to-rm dramhal rhal) (dr-to-rm dramhal rram)
  (connects dramhal rhal rram) (connects dramhal rram rhal)
  (dr-to-rm dmysram rram) (dr-to-rm dmysram rmys)
  (connects dmysram rram rmys) (connects dmysram rmys rram)
  (dr-to-rm dunimys rmys) (dr-to-rm dunimys runi)
  (connects dunimys rmys runi) (connects dunimys runi rmys)
  (next-to c d) (next-to e a) (dr-closed dclkril) (locked dclkril)
  (unlocked dpdpclk) (dr-open dpdpclk) (dr-closed dramclk)
  (locked dramclk) (unlocked dmyspdp) (dr-open dmyspdp)
  (unlocked dramhal) (dr-open dramhal) (unlocked dmysram)
  (dr-closed dmysram) (unlocked dunimys) (dr-open dunimys)
  (is-room rril) (is-room rclk) (is-room rpdp) (is-room rhal)
  (is-room rram) (is-room rmys) (is-room runi) (is-door dclkril)
  (is-door dpdpclk) (is-door dramclk) (is-door dmyspdp)
  (is-door dramhal) (is-door dmysram) (is-door dunimys) (carriable e)
  (pushable c) (pushable a) (is-object clkril-key)
  (is-object pdpclk-key) (is-object ramclk-key)
  (is-object myspdp-key) (is-object ramhal-key)
  (is-object mysram-key) (is-object unimys-key) (is-object e) (is-box e)
  (is-object d) (is-box d) (is-object c) (is-box c) (is-object b) (is-box b) (is-object a) (is-box a)
  (inroom e rclk) (inroom d rpdp) (inroom c rpdp) (inroom b rram)
  (inroom a rclk) (inroom clkril-key rhal) (inroom pdpclk-key rhal)
  (inroom ramclk-key rclk) (inroom myspdp-key rclk)
  (inroom ramhal-key rram) (inroom mysram-key rril)
  (inroom unimys-key rram) (inroom robot rhal) (carriable clkril-key)
  (is-key dclkril clkril-key) (carriable pdpclk-key)
  (is-key dpdpclk pdpclk-key) (carriable ramclk-key)
  (is-key dramclk ramclk-key) (carriable myspdp-key)
  (is-key dmyspdp myspdp-key) (carriable ramhal-key)
  (is-key dramhal ramhal-key) (carriable mysram-key)
  (is-key dmysram mysram-key) (carriable unimys-key)
  (is-key dunimys unimys-key))) 
))