Applied Symbolics Inc