---- needle/fomega ----       
Semantics         123         
Semantics BP      0           
Thm Terms         0           
Thm Context       0           
Thm Metatheory    468         
BOILERPLATE:      0           
TOTAL:            591         
