---- needle/stlc ----         
Semantics         42          
Semantics BP      0           
Thm Terms         0           
Thm Context       0           
Thm Metatheory    41          
BOILERPLATE:      0           
TOTAL:            83          
