Minicomp TK31, TK32, TK33, Tk42, TK43