DEC TC11 maindec listings?

[Mattis Lind]

I have been looking for TC11 maindec listings in the usual places, but
didn't find any. I think they should be named ZTCA, ZTCB, ZTCC, ZTCD and
ZTCE.

Does anyone know of an online location or happen to have an offline paper
original?

/Mattis