The conjectural computation of $\operatorname{TR}^3_{13-\lambda_4}(\mathbb{Z};2)$

Let $\operatorname{TR}^3_{13-\lambda_4}(\mathbb{Z};2)$ be the indicated equivariant topological Hochschild homology group, where $\lambda_4$ is the relevant $RO(S^1)$-representation. The $\operatorname{TR}$-group conjecture in degree 13.

$$\operatorname{TR}^3_{13-\lambda_4}(\mathbb{Z};2)\cong\mathbb{Z}/2\oplus\mathbb{Z}/8.$$

This group is one of the terms needed for the conjectural computation of $K_{13}(A,I)$, while the source states that the other terms in its decomposition are readily computed.