---- needle/fprod ----        
Semantics         93          
Semantics BP      0           
Thm Terms         0           
Thm Context       0           
Thm Metatheory    176         
BOILERPLATE:      0           
TOTAL:            269         
