;;cpu time (non-gc) 8001 msec user, 1034 msec system
;;cpu time (gc)     2033 msec user, 133 msec system
;;cpu time (total)  10034 msec user, 1167 msec system
;;real time  41054 msec
;;space allocation:
;; 448393 cons cells, 185 symbols, 5512272 other bytes,

(setq *SAVED-RULES* (quote 
((|sr11|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (ON <G-33> <G-32>))
        (CANDIDATE-GOAL <NODE> (ON-TABLE <G-32>))))
  (RHS (PREFER GOAL (ON-TABLE <G-32>) (ON <G-33> <G-32>))) (CUM-SAVINGS 30) (EST-SAVINGS 30)
  (PROBLEM NIL) (MATCH-TIME 0) (UNIQUE-SIG (GOAL-PREF <V39>)) (STATIC T) (WAS-LEARNED STATIC)
  (PRIORITY 0)
  ((PREFER GOAL (ON-TABLE <G-32>) (ON <G-33> <G-32>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (ON <G-33> <G-32>))
        (CANDIDATE-GOAL <NODE> (ON-TABLE <G-32>))))
  (RULE-TYPE GOAL-PREF))
 (|sr10|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (HOLDING <G-31>))
        (CANDIDATE-GOAL <NODE> (ON-TABLE <G-1>))))
  (RHS (PREFER GOAL (ON-TABLE <G-1>) (HOLDING <G-31>))) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL)
  (MATCH-TIME 0) (UNIQUE-SIG (GOAL-PREF <V40>)) (STATIC T) (WAS-LEARNED STATIC) (PRIORITY 0)
  ((PREFER GOAL (ON-TABLE <G-1>) (HOLDING <G-31>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (HOLDING <G-31>))
        (CANDIDATE-GOAL <NODE> (ON-TABLE <G-1>))))
  (RULE-TYPE GOAL-PREF))
 (|sr9|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (ON <G-23> <G-22>))
        (CANDIDATE-GOAL <NODE> (ON <G-22> <G-3>))))
  (RHS (PREFER GOAL (ON <G-22> <G-3>) (ON <G-23> <G-22>))) (CUM-SAVINGS 30) (EST-SAVINGS 30)
  (PROBLEM NIL) (MATCH-TIME 0) (UNIQUE-SIG (GOAL-PREF <V41>)) (STATIC T) (WAS-LEARNED STATIC)
  (PRIORITY 0)
  ((PREFER GOAL (ON <G-22> <G-3>) (ON <G-23> <G-22>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (ON <G-23> <G-22>))
        (CANDIDATE-GOAL <NODE> (ON <G-22> <G-3>))))
  (RULE-TYPE GOAL-PREF))
 (|sr8|
  (LHS
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (HOLDING <G-21>))
        (CANDIDATE-GOAL <NODE> (ON <G-2> <G-3>))))
  (RHS (PREFER GOAL (ON <G-2> <G-3>) (HOLDING <G-21>))) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL)
  (MATCH-TIME 0) (UNIQUE-SIG (GOAL-PREF <V42>)) (STATIC T) (WAS-LEARNED STATIC) (PRIORITY 0)
  ((PREFER GOAL (ON <G-2> <G-3>) (HOLDING <G-21>))
   (AND (CURRENT-NODE <NODE>) (CANDIDATE-GOAL <NODE> (HOLDING <G-21>))
        (CANDIDATE-GOAL <NODE> (ON <G-2> <G-3>))))
  (RULE-TYPE GOAL-PREF))
 (|sr7|
  (LHS
   (AND (CURRENT-NODE <V38>) (CURRENT-GOAL <V38> (HOLDING <G-4>)) (CANDIDATE-OP <V38> PICK-UP)
        (KNOWN <V38> (~ (ON-TABLE <G-4>)))))
  (RHS (REJECT OPERATOR PICK-UP)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (OP-FAILS <V43>)) (SIG-FOR-EBS (OP-SIG <V38> (HOLDING <G-4>) PICK-UP))
  (LHS-FOR-EBS (AND (KNOWN <V38> (~ (ON-TABLE <G-4>))))) (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT OPERATOR PICK-UP)
   (AND (CURRENT-NODE <V38>) (CURRENT-GOAL <V38> (HOLDING <G-4>)) (CANDIDATE-OP <V38> PICK-UP)
        (KNOWN <V38> (~ (ON-TABLE <G-4>)))))
  (RULE-TYPE OP-REJECT))
 (|sr6|
  (LHS
   (AND (CURRENT-NODE <V37>) (CURRENT-GOAL <V37> (HOLDING <G-4>)) (CANDIDATE-OP <V37> UNSTACK)
        (KNOWN <V37> (~ (ON <G-4> <V17>)))))
  (RHS (REJECT OPERATOR UNSTACK)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (OP-FAILS <V44>)) (SIG-FOR-EBS (OP-SIG <V37> (HOLDING <G-4>) UNSTACK))
  (LHS-FOR-EBS (AND (KNOWN <V37> (~ (ON <G-4> <V17>))))) (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT OPERATOR UNSTACK)
   (AND (CURRENT-NODE <V37>) (CURRENT-GOAL <V37> (HOLDING <G-4>)) (CANDIDATE-OP <V37> UNSTACK)
        (KNOWN <V37> (~ (ON <G-4> <V17>)))))
  (RULE-TYPE OP-REJECT))
 (|sr5|
  (LHS
   (AND (CURRENT-NODE <V36>) (CURRENT-GOAL <V36> (CLEAR <G-5>)) (CANDIDATE-OP <V36> PUT-DOWN)
        (KNOWN <V36> (~ (HOLDING <G-5>)))))
  (RHS (REJECT OPERATOR PUT-DOWN)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (OP-FAILS <V45>)) (SIG-FOR-EBS (OP-SIG <V36> (CLEAR <G-5>) PUT-DOWN))
  (LHS-FOR-EBS (AND (KNOWN <V36> (~ (HOLDING <G-5>))))) (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT OPERATOR PUT-DOWN)
   (AND (CURRENT-NODE <V36>) (CURRENT-GOAL <V36> (CLEAR <G-5>)) (CANDIDATE-OP <V36> PUT-DOWN)
        (KNOWN <V36> (~ (HOLDING <G-5>)))))
  (RULE-TYPE OP-REJECT))
 (|sr4|
  (LHS
   (AND (CURRENT-NODE <V35>) (CURRENT-GOAL <V35> (CLEAR <G-5>)) (CANDIDATE-OP <V35> STACK)
        (KNOWN <V35> (~ (HOLDING <G-5>)))))
  (RHS (REJECT OPERATOR STACK)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (OP-FAILS <V46>)) (SIG-FOR-EBS (OP-SIG <V35> (CLEAR <G-5>) STACK))
  (LHS-FOR-EBS (AND (KNOWN <V35> (~ (HOLDING <G-5>))))) (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT OPERATOR STACK)
   (AND (CURRENT-NODE <V35>) (CURRENT-GOAL <V35> (CLEAR <G-5>)) (CANDIDATE-OP <V35> STACK)
        (KNOWN <V35> (~ (HOLDING <G-5>)))))
  (RULE-TYPE OP-REJECT))
 (|sr3|
  (LHS
   (AND (CURRENT-NODE <V34>) (CURRENT-GOAL <V34> (CLEAR <G-5>)) (CANDIDATE-OP <V34> UNSTACK)
        (KNOWN <V34> (~ (ON <V23> <G-5>)))))
  (RHS (REJECT OPERATOR UNSTACK)) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (OP-FAILS <V47>)) (SIG-FOR-EBS (OP-SIG <V34> (CLEAR <G-5>) UNSTACK))
  (LHS-FOR-EBS (AND (KNOWN <V34> (~ (ON <V23> <G-5>))))) (STATIC T) (WAS-LEARNED STATIC)
  ((REJECT OPERATOR UNSTACK)
   (AND (CURRENT-NODE <V34>) (CURRENT-GOAL <V34> (CLEAR <G-5>)) (CANDIDATE-OP <V34> UNSTACK)
        (KNOWN <V34> (~ (ON <V23> <G-5>)))))
  (RULE-TYPE OP-REJECT))
 (|sr2|
  (LHS
   (AND (CURRENT-NODE <V48>) (CURRENT-GOAL <V48> (HOLDING <G-4>)) (CURRENT-OP <V48> UNSTACK)
        (KNOWN <V48> (ON <G-4> <V17>))))
  (RHS (SELECT BINDINGS (<G-4> <V17>))) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (BINDINGS-FAIL <V49>))
  (SIG-FOR-EBS (BINDINGS-SIG <V48> (HOLDING <G-4>) UNSTACK (<G-4> <V17>)))
  (LHS-FOR-EBS (AND (KNOWN <V48> (ON <G-4> <V17>)))) (STATIC T) (WAS-LEARNED STATIC)
  ((SELECT BINDINGS (<G-4> <V17>))
   (AND (CURRENT-NODE <V48>) (CURRENT-GOAL <V48> (HOLDING <G-4>)) (CURRENT-OP <V48> UNSTACK)
        (KNOWN <V48> (ON <G-4> <V17>))))
  (RULE-TYPE BINDINGS-SELECT))
 (|sr1|
  (LHS
   (AND (CURRENT-NODE <V50>) (CURRENT-GOAL <V50> (CLEAR <G-5>)) (CURRENT-OP <V50> UNSTACK)
        (KNOWN <V50> (ON <V23> <G-5>))))
  (RHS (SELECT BINDINGS (<V23> <G-5>))) (CUM-SAVINGS 30) (EST-SAVINGS 30) (PROBLEM NIL) (MATCH-TIME 0)
  (UNIQUE-SIG (BINDINGS-FAIL <V51>))
  (SIG-FOR-EBS (BINDINGS-SIG <V50> (CLEAR <G-5>) UNSTACK (<V23> <G-5>)))
  (LHS-FOR-EBS (AND (KNOWN <V50> (ON <V23> <G-5>)))) (STATIC T) (WAS-LEARNED STATIC)
  ((SELECT BINDINGS (<V23> <G-5>))
   (AND (CURRENT-NODE <V50>) (CURRENT-GOAL <V50> (CLEAR <G-5>)) (CURRENT-OP <V50> UNSTACK)
        (KNOWN <V50> (ON <V23> <G-5>))))
  (RULE-TYPE BINDINGS-SELECT)))))