4143 --- Digital Equipment Corp ?
4144 --- Alpha Data Parallel Systems, Ltd.

416c --- Aladdin Knowledge Systems