(load "main")
;Loading "main.scm"(teacher setting (strength power) to 15)
(teacher setting (gain) to -10)
(teacher setting (swing) to 6)
(teacher setting (min-input-impedance) to 10000)
(teacher setting (simple-estimate gain-heuristic))
(teacher setting (amplifying operation q bias))
(teacher setting (beta-infinite beta-heuristic q bias))
(teacher setting (emitter-follows vbe-heuristic q bias))

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 
(Variables
 are
 ((resistance rc CE) (resistance re CE)
                     (resistance rb1 CE)
                     (resistance rb2 CE)
                     (potential c bias CE)
                     (potential b bias CE)
                     (potential e bias CE)
                     (current collector q bias CE)))

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 
; (>rhs:R:1:operation q bias)? (x83 .2)
; (>lhs:R:1:operation q bias)? (x84 0)
(You can try to determine (current collector q bias CE))

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 

Variable to set: 
(current collector q bias)

Value: 
.01
(Trying to set (current collector q bias) to .01)
"Nothing can be further deduced.  You need to set another unknown."

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 

Variable to set: 
(potential c bias)

Value: 
10
(Trying to set (potential c bias) to 10)
Your setting caused a contradiction: 
;(CEP118 contradiction found by (<swing-high) (CEP116 CEP75))
;(CEP116 (v:lhs:swing-high) = 16 set by (+lhs:swing-high) (CEP67 CEP114))
;(CEP75 (potential vcc bias) = 15 set by (-rhs:kvl power bias) (CEP74 CEP49))
;(CEP67 (swing) = 6 set by assumption (CEP68))
;(CEP114 (v:1:lhs:swing-high) = 10 set by (-1:lhs:swing-high) (CEP112 CEP49))
;(CEP74 (voltage power bias) = 15 set by (=rhs:voltage-source power bias) (CEP63))
;(CEP49 (potential gnd bias) = 0 set by (v:rhs:bias-ground) ())
;(CEP112 (potential c bias) = 10 set by assumption (CEP113))
;(CEP63 (strength power) = 15 set by assumption (CEP64))
(QED)
(The contradiction is supported by these assumptions)
(((strength power) (swing) (potential c bias)))
(Please retract one of these supports that you have set)
((potential c bias))

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 

Variable to be retracted: 
(potential c bias)
"Nothing can be further deduced.  You need to set another unknown."

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 

Variable to set: 
(potential c bias)

Value: 
8
(Trying to set (potential c bias) to 8)
"Accepted"

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 
(You can try to determine (resistance rc CE))

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 

Variable to set: 
(resistance rc)

Value: 
800
(Trying to set (resistance rc) to 800)
(value set does not match the value from the constraint propagator, try again)

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 

Variable to set: 
(resistance rc)

Value: 
700
(Trying to set (resistance rc) to 700)
(value set is correct)
; ((resistance rc) = 700.)
;   (set by (*rhs:ohm rc bias))
;     (because ((voltage rc bias) (current t1 rc bias)))
700.

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 
((resistance rc CE) = 700.)
((potential c bias CE) = 8)
((current collector q bias CE) = .01)

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 
(You can try to determine (resistance re CE))

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 
i do not understand

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 

Variable to set: 
(resistance re)

Value: 
70
(Trying to set (resistance re) to 70)
(value set is correct)
; ((resistance re) = 70.)
;   (set by (/0:rhs:lhs:R:0:gain-heuristic))
;     (because ((resistance rc) (v:0:rhs:lhs:R:0:gain-heuristic)))
70.

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 
(You can try to determine (potential e bias CE))

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 

Variable to set: 
(potential e bias)

Value: 
.7
(Trying to set (potential e bias) to .7)
(value set is correct)
; ((potential e bias) = .7000000000000001)
;   (set by (-rhs:kvl re bias))
;     (because ((voltage re bias) (potential gnd bias)))
.7000000000000001

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 

Variable to set: 
(potential b bias)

Value: 
1.3
(Trying to set (potential b bias) to 1.3)
(value set is correct)
; ((potential b bias) = 1.3)
;   (set by (-rhs:kvl-be q bias))
;     (because ((vbe q bias) (potential e bias)))
1.3

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 
((resistance rc CE) = 700.)
((resistance re CE) = 70.)
((potential c bias CE) = 8)
((potential b bias CE) = 1.3)
((potential e bias CE) = .7000000000000001)
((current collector q bias CE) = .01)

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 
(offering random suggestion)
(You can try to determine (resistance rb1 CE))

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 

Variable to set: 
(resistance rb1)

Value: 
210769
(Trying to set (resistance rb1) to 210769)
"Accepted"

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 

Variable to set: 
(resistance rb2)

Value: 
20000
(Trying to set (resistance rb2) to 20000)
(value set is correct)
; ((resistance rb2) = 19999.978102189783)
;   (set by (*rhs:ohm rb2 bias))
;     (because ((voltage rb2 bias) (current t1 rb2 bias)))
19999.978102189783

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 
(offering random suggestion)
(All interesting variables have been set)

What next? [d = don't know, s = set value, r = retract, a= list all variables

  w = what's set, v = value of variable, q = quit] 
(Thank you)
 -- done
;Unspecified return value